Suppose -4*d = 2*w + k, 5*d + 24 = -3*w - w. Let p = -16 - -15. Are w and p equal?
True
Let y = 0 + -0.2. Which is smaller: 6 or y?
y
Let l(x) be the first derivative of x**4/4 + 5*x**3/3 + 5*x**2/2 + 3*x + 4. Let r be l(-4). Is -1 greater than or equal to r?
True
Let m(y) = -10*y + 11. Let s be m(2). Is -2 < s?
False
Let b = -27 - -27.1. Which is bigger: b or -2/7?
b
Let f = -33 - -46. Let p be -4 + f - (-2 - -2). Which is bigger: p or 10?
10
Let d = 16 - 15. Is d less than or equal to -4?
False
Let k be ((-6)/(-9))/(1*11). Let t = -8/11 + k. Which is greater: t or 1/4?
1/4
Suppose 0 = -3*t - 20 + 32. Which is smaller: t or 11?
t
Let j(g) = -g**2 - 7*g + 2. Let c be j(-7). Suppose -t - c = -0. Is t less than -4?
False
Let u = 0.18 + -0.32. Which is greater: u or 1?
1
Let q = -136 - -200. Let c = 385/6 - q. Which is smaller: 1 or c?
c
Let y(x) = -x**2 + 5*x + 8. Let m be 92/16 + (-2)/(-8). Let v be y(m). Are 2 and v equal?
True
Let b be (-12)/(-14)*14/(-2). Which is smaller: b or -7?
-7
Let p = 3 + -2.9. Let h = p - -0.9. Let y = 6 + -7. Is h greater than y?
True
Let p(v) = -v**3 + 7*v**2 - 7*v + 5. Let y be p(6). Suppose -4*g + 5*m - 267 = -g, -162 = 2*g + 2*m. Let r be 2/(-7) - 45/g. Is y smaller than r?
True
Let h be ((-6)/(-16))/((-2)/(-16)). Is 7/3 greater than h?
False
Let f(l) = -l**3 - 3*l**2 + 3*l - 1. Let d be f(-3). Let m be ((-2)/d)/((-32)/40). Which is greater: -4 or m?
m
Let d = -2 - -1. Let a be 52/16 - d/(-4). Suppose -2*x + a*x = -4. Is x at most -3?
True
Let q be (-6)/8 - 120/96. Suppose 5*u - u = 0. Let a = u + -3. Is q less than a?
False
Let t = 1.3 + -0.6. Let q = t + 0.3. Let m = -26 + 25.9. Are q and m unequal?
True
Suppose -6 = -2*c + 4. Suppose 30 = -3*o + 3*t, -o + 36 = -c*o + 3*t. Is o at most -6?
True
Let q be ((-57)/330)/(4/24). Let j = q - -7/11. Let z = 2 + -1. Does j = z?
False
Let n(y) = y + 1 + 0*y + 0*y. Let c be n(4). Suppose -c*u = -4*q - 3, 3*u - 2*q - 2 = u. Which is bigger: u or -3/2?
u
Let f = -95 - -575/6. Which is smaller: f or 0.2?
0.2
Let v be ((-6)/9)/((-20)/(-18)). Suppose -2*z + 6 = 0, 2*u + 5*z = u + 13. Let x be u*(-4 + 3 + 2). Is v equal to x?
False
Suppose 0*c + 5*u = -3*c - 9, c - 8 = 2*u. Let d be 36/(-27)*(-3)/c. Suppose -s - s = d. Is -1 > s?
False
Let q(b) = 4*b**2 + 3*b - 1. Let r be q(-3). Let v = -83 + r. Let g = v + 343/6. Which is smaller: g or 1?
g
Suppose -2*i - 15 = -7*i. Let t be i*2/4*-2. Suppose 2*c + 2 = -4. Is c != t?
False
Let p be (-7 + 7)*(1 - 2). Let l(v) = v**3 - 1. Let s(m) = m + 10. Let q be s(-10). Let b be l(q). Which is bigger: b or p?
p
Let h be (-6)/16*-2*-2. Suppose t + 2*q - 10 = -3*t, -q = -4*t - 5. Suppose d - 7 = 2*x, 4*x + 3*d + 4 - 5 = t. Which is smaller: h or x?
x
Let y = 20.8 + -4.8. Which is greater: y or 2/5?
y
Let c(a) = -a**2 + 19 - 11*a + 2*a**2 - 7. Let x be c(9). Is x bigger than -2?
False
Let r(h) = -2*h + 13. Let i be r(13). Which is smaller: -10 or i?
i
Suppose 8*q = 17 - 9. Suppose -2*o = 4*w - 3*w - 7, -3*o + 15 = 3*w. Let m be (w/(9/15))/6. Which is greater: m or q?
q
Let f be -4*1*1/(-4). Is f less than -4/23?
False
Let b be (2 - 20)/(-6 + -11). Which is smaller: 2 or b?
b
Let f be 327/4 + 1/4. Let d be f/310 + 1/(-5). Is d < -1?
False
Let x = 1 - 2. Let m be (-3)/(-3 + 0) + x. Suppose m = -5*w + 3*w. Is w != 0?
False
Let a = -19 + 11. Let k be 1/(-2*(-2)/a). Is -2/3 at least k?
True
Let o = -87 + 169/2. Which is bigger: -2 or o?
-2
Suppose -12 = -3*m + 2*x, 2*x + 7 = 1. Let l be ((-2)/4)/(-4 + m). Let t be ((1 + -1)/(-4))/(-2). Which is smaller: l or t?
t
Suppose 3 + 24 = -3*c. Which is smaller: c or -10?
-10
Let h be (18/(-39))/3 - 320/(-52). Is h greater than 3?
True
Let k = -10/101 + 1080/707. Is k at least as big as 2?
False
Suppose 0*b - 18 = -3*b. Let i be 2 + (-3)/((-9)/b). Is 2 not equal to i?
True
Let a = 0.0262 - -27.0738. Let d = -26 + a. Let q = -0.8 + d. Is q greater than or equal to -0.2?
True
Suppose 714 - 21 = 11*n. Is 63 > n?
False
Suppose -5*n - 20 = 10. Let v(c) = -c**3 + c**2 - 1. Let o(f) = 7*f**3 - f**2 - 6*f + 5. Let i(q) = o(q) + 6*v(q). Let x be i(n). Is x <= 0?
True
Let b(l) = 2*l**3 + l**2 - l + 1. Let a be b(1). Suppose -2*y - a*y = -20. Suppose 9*i - y*i = 15. Which is bigger: i or 0?
i
Let m be (16 - -2) + 0 + -1. Let c be m/36 + 6/(-27). Let w = 0.33 - 0.3. Which is greater: c or w?
c
Let r = 4 - 4. Is -2/17 equal to r?
False
Suppose -x = 4*x. Is -1/15 less than x?
True
Let s = 8/11 - 51/55. Let k(u) = -u**2 + 8*u + 2. Let j be k(8). Suppose 2*v = -i - 3, -4*v + v - i - j = 0. Is v bigger than s?
True
Let q = 0.13 + -1.43. Let m = -0.3 - q. Let n = m + -1.5. Which is greater: n or -0.1?
-0.1
Let z be (-15)/6*24/(-15). Let y = z + -4. Let c be (-4)/(-14) + (-8)/(-21). Is c bigger than y?
True
Let o be -4 - -11*2/5. Which is smaller: o or 18?
o
Suppose -3*s + 16 = -4*s. Is -15 greater than or equal to s?
True
Let f(n) = -n**3 - 6*n**2 + 7*n + 6. Let s be f(-7). Let o(z) = -z**3 - 5*z**2 - 5*z + 2. Let t be o(-4). Does t = s?
True
Let c(v) = v**3 - 4*v**2 - 6*v + 1. Let a be c(5). Let f be (-10)/a + -1 + -1. Let o = 43 - 128/3. Which is greater: f or o?
f
Let d be 5/(-4)*6/(-10). Let x(z) = -z**3 - 8*z**2 - 8*z + 9. Let q be x(-7). Let r = 16 - q. Is r bigger than d?
False
Suppose -4*h - 4 = -0. Which is bigger: h or 4?
4
Let q(a) = 4*a - 43. Let b be q(7). Is b < -15?
False
Let j(x) = -2*x - 9. Let i be j(-6). Suppose -4*o + 4*m = 5*m - i, 3*o + 5*m - 15 = 0. Let s = 1 + o. Which is smaller: 0 or s?
0
Let n(l) = l**3 - 10*l**2 + 22*l - 14. Let u be n(6). Are u and -26 nonequal?
False
Let v(q) = q + 3. Let n be v(-5). Let x = -78 - -82.1. Let l = 4 - x. Is l bigger than n?
True
Let b be 0 - 9/4 - (-15)/60. Which is smaller: 0 or b?
b
Suppose -6*o + 2*o + 37 = 5*t, -4*t - 12 = -2*o. Let d be (-8)/22*(-4)/o. Which is smaller: d or 1?
d
Let y = 12 + -14. Which is smaller: -1 or y?
y
Suppose 84 = -3*z + 5*y - 77, 4*z - y + 243 = 0. Are -60 and z non-equal?
True
Let d(s) = s**2 + 14*s + 34. Let x be d(-11). Which is bigger: 12/53 or x?
x
Let c = -2/1225 + -13449/15925. Is -1 not equal to c?
True
Suppose m - 6 = -2. Let r = m + -4. Let k = -0.01 + 2.01. Which is smaller: r or k?
r
Let d = 17/26 + -2/13. Which is bigger: -14 or d?
d
Let v = -105 + 105.1. Let m = -1.7 + -8.3. Is m greater than v?
False
Let v = -8 + 9. Suppose 3 = -h + v. Are -2 and h equal?
True
Let x = 4 - 3. Suppose -4*d + 3*d + 4 = 2*y, -3*d + 3*y - 6 = 0. Which is greater: x or d?
x
Suppose -6 = -4*p + p. Let f = 0 - 1. Which is bigger: p or f?
p
Let o be 0 - (-1 + -1 + 1). Suppose 3*y - 1 - 2 = 0. Let a = y - o. Which is greater: -1/3 or a?
a
Let r = 18 - 16. Is 3 greater than r?
True
Let k(q) = -q**3 + 6*q**2 - 3*q - 2. Let s be k(5). Let f(y) = y - 15. Let b be f(s). Do b and -7 have the same value?
True
Let a = -0.1 + 0.2. Let r = 1.1 + 0.3. Let u = r + -2.4. Which is bigger: a or u?
a
Suppose -40 = 2*f + 3*f. Is f not equal to -9?
True
Suppose -3*o - z + 3*z = 6, 0 = 5*o - 3*z + 10. Does o = -2?
True
Let t = 25 + -22. Let s be -4 + t + 83/81. Which is smaller: s or 0?
0
Let w = 8 + -5. Suppose 216 = -w*o - 3*d, -2*d + 0*d = -5*o - 381. Let a be ((-10)/o)/(1/(-9)). Which is bigger: a or -1?
-1
Let x be ((-12)/8)/(70/36). Let u = x + 12/35. Is 0 at most u?
False
Suppose 4*d - 14 = v - 4*v, 3*d = 4*v + 23. Suppose 0 = -o + 2*o - d*z + 16, 2*o + 5*z - 13 = 0. Is o less than or equal to 1/9?
True
Let m be 1/3 + -2*52/24. Which is smaller: -19/6 or m?
m
Let q = 0.101 - -0.099. Which is smaller: -0.065 or q?
-0.065
Let u be 6/4 - 83/4. Let o = -19 - u. Is -0.1 < o?
True
Let d = 5.8 + -5.7. Is d less than or equal to -2?
False
Let t be (3/(-12)*-250)/(-1). Let a = t + 60. Is -4 smaller than a?
True
Suppose -5*r - 5*p = -25, -5*r - 20 = -r - 4*p. Which is smaller: r or -10/13?
-10/13
Let p be (-152)/(-48) - 1/6. Let t = -4 + p. Which is bigger: t or 1/3?
1/3
Let p = 38353/4 + -9541. Let a = -33/2 + p. Let i = 31 - a. Is -1 >= i?
False
Let f be 2/(-3) + ((-1000)/(-12))/(-10). Which is greater: -11 or f?
f
Suppose -t + 0*t - 7 = -2*x, 4*t - 4*x = -12. Suppose 2*s + t = 21. Suppose 2*v = -3*g + 13, -v = -3*v - 2*g + s. Which is smaller: v or 1?
1
Let j be 6*6/4 + 4. Is -1 at least j?
False
Suppose 4*c - y + 136 + 77 = 0, -5*c + y = 265. Is c greater 