False
Let i be (3 - 3)/(5 - 3). Let a(q) = q - 4. Let h be a(5). Suppose 0*f + f - h = 0. Which is smaller: i or f?
i
Let u(d) = d**3 + 4*d**2 + 3. Let n be u(-4). Suppose i = 2*h + h + 5, 0 = h + 3*i - 5. Is h at most as big as n?
True
Let k be 3*3/(-81)*-6. Does k = -7.8?
False
Suppose -4*o - 4 = -0. Let w(f) = f + 4. Let d be w(-4). Let t be 0 - 2 - (0 - d). Is o greater than or equal to t?
True
Let v be 4/(1/(-2) + 0). Which is greater: v or -9?
v
Let h = 18.9 - 19. Which is bigger: h or -0.11?
h
Let a = 7.03 + -0.03. Let n = -130 - -130. Which is greater: a or n?
a
Suppose 4*z - 141 + 137 = 0. Which is smaller: z or 10/7?
z
Let n = 6 + -2. Suppose -l + g - 3*g = 4, -14 = 5*l + n*g. Let d = -47/2 + 23. Is l at most d?
True
Let o = 4/21 - 62/105. Suppose -4*x + 1 = j - 3*x, 4*x = 4. Suppose -5*b + 6 - 21 = j. Which is bigger: b or o?
o
Suppose -u = 51 - 9. Let a = -65581/5 + 13158. Let o = u + a. Is o at least 2?
False
Let r(h) = 5*h**2 - 2*h - 1. Let x be r(2). Let o = 89/6 - x. Which is greater: o or 1?
1
Let v = 56 + -69.8. Let p = 14 + v. Which is bigger: 4 or p?
4
Let l = 151 + -124. Do l and 29 have different values?
True
Suppose 2*g = -i + 3*i + 2, -4*g - 4*i - 28 = 0. Suppose 0 = -3*h + 4 - 16. Are g and h equal?
False
Let w be 2/(2/3) + 4. Does w = 4?
False
Let r be (-1 - (0 - 0)) + -15. Let i be 10/(-12)*r/20. Which is smaller: i or -10/7?
-10/7
Let d(b) = -b**2 - b. Let z(x) = -6*x**2 - 6*x + 1. Let u(n) = -4*d(n) + z(n). Let j be u(1). Are -2 and j equal?
False
Let l be (2/(-6))/(2/(-18)). Suppose 2*a = b + 7, -l*a = -2*a + 5*b + 2. Suppose -4*o + 1 = -a*o. Which is smaller: 1/3 or o?
1/3
Suppose 0 = -2*y + 2*j + 3 - 11, 17 = -4*y + 5*j. Do y and -3 have different values?
False
Suppose 41 = 2*m + 49. Which is smaller: -9 or m?
-9
Let n(f) = -f**3 - 5*f**2 + f + 8. Let a(k) = k**2 - 1. Let j(q) = 6*a(q) + n(q). Let m be j(2). Is 1 at least m?
True
Let k be (-300)/(-21) - (76/(-28) - -3). Suppose 3*z + z = 52. Is z smaller than k?
True
Let s = -39/19 + 455/342. Let v = 13/2 - 59/9. Let n = v - s. Is -0.2 > n?
False
Let c be (15 + -1)*(-21)/(-14). Suppose c = -3*s + 5*w, -4*s = -2*s + 5*w - 11. Is s > -1?
False
Let w = 3 + -2. Is 3 at most w?
False
Suppose -2*h - 5*h = 7. Is h equal to -3/2?
False
Suppose 171 = 5*z + 2*h, 3*z - 3*h = -4*h + 103. Is z >= 36?
False
Let g = 1 + 0. Let m = g + -2/3. Which is greater: 2/5 or m?
2/5
Let l be 1/3*12/(-12). Which is bigger: l or 1/39?
1/39
Suppose -2*u - 5 = 3*h, u + 2*h + 2*h = -10. Let p(o) = -4*o**2 - u*o**3 + 0*o - 5 + 0*o**2 + o**3 + 5*o. Let l be p(-5). Which is bigger: -3 or l?
-3
Suppose 30 = -5*c - 5*j, 2*c = -0*c + 4*j + 18. Suppose 4*a - 2 + 1 = m, -3*a = 4*m + 4. Are m and c nonequal?
False
Let c(f) be the third derivative of f**5/120 - f**4/4 - f**3/3 - f**2. Let t(w) be the first derivative of c(w). Let p be t(3). Which is greater: -2 or p?
-2
Let c(p) = -p**3 + 7*p**2 - 5*p + 4. Let t be c(6). Let j be (-24)/t + 4/10. Which is bigger: j or -0.3?
-0.3
Let q be 2 - (0 - (2 + -2)). Suppose 0*j - q*j = 0. Suppose -9 = -3*k - j*k. Is k at most as big as 3?
True
Let v = -12 + 12. Let b = -1 - 1.9. Let l = b + 3. Does l = v?
False
Let w = -33809/93744 + 3/3472. Let u be (-7)/(-28) + (-38)/216. Let g = w + u. Is -0.2 greater than g?
True
Suppose 5*q + t = -36, 0*t = -q - 3*t - 10. Let a = -7 - q. Which is greater: 0.5 or a?
0.5
Let l = 57 + -50. Is 41/6 bigger than l?
False
Let c = -0.033 + -0.057. Does c = -1?
False
Let a = -0.2 - -0.2. Let b = 2.6 + 2. Let p = -4 + b. Is p bigger than a?
True
Suppose -3*t = -5*s - 7*t - 13, 31 = -5*s + 2*t. Let v(h) = h**2 + 6*h + 6. Let b be v(s). Is 9/5 at most as big as b?
False
Suppose 5*d - 2*u = -0*u - 27, 3*d + 20 = 5*u. Is -1/2 less than d?
False
Let d = 614/247 + -33/13. Which is bigger: d or 1?
1
Let a = -0.005 - 0.095. Which is bigger: a or 0?
0
Let q(v) = 2*v**2 - 2*v + 1. Let f be q(-2). Let i be 15/f - 2/13. Suppose -4 = 3*c + l, -3*c + i = -l + 3. Are c and -1/2 non-equal?
True
Let r = -130 + 156. Is 24 smaller than r?
True
Let t = 27 - 86. Let i be -3 - (0 - t/(-19)). Is -1 greater than or equal to i?
False
Suppose 8 = 4*u + 4*q, 0 = -4*u - 5*q - 0*q + 11. Which is smaller: -8 or u?
-8
Suppose 4*t - 6 = -2*p, 15 = 2*t - 0*t + 5*p. Suppose d - 3*g - 4 = 0, t*g + 4 = d + 4*g. Let a be 6/d*(-15)/(-9). Is 3 less than a?
False
Let x = 0.14 - -1.06. Let s = x - 0.2. Which is bigger: s or -0.2?
s
Let o(w) = -w**3 + 13*w**2 - 11*w + 3. Let m be o(12). Suppose d + 2*d - m = 0. Does 2/5 = d?
False
Let k = -11 - -1. Let g be ((-2)/k)/((-12)/(-30)). Which is smaller: 1 or g?
g
Suppose -76 = -5*q + 74. Suppose -q - 15 = -5*s. Is s less than or equal to 9?
True
Let q = 9 + -14. Let n = q - -4. Let w be (12/104)/((-3)/4). Which is bigger: w or n?
w
Let c = -6 + 8. Suppose c*v = -2*v. Let u be (-10)/3 - 3*(-20)/15. Which is smaller: u or v?
v
Let n = 45 + -45.2. Let t be (-2 - -2)*2/(-2). Which is greater: t or n?
t
Let w = -23.7 + 4.7. Let p = w + 22. Which is bigger: p or -0.2?
p
Let x = -1 + 6. Suppose 0 = 5*k + q + 8, -2*q - 7 = -x*k + 2*q. Let r = 607/7 - 87. Is k equal to r?
False
Suppose 2*j = -u - 2, 2*u = -j - 0*j + 5. Let a be (6/(-9))/(u/(-18)). Are 3 and a unequal?
False
Let u = 0 + 1. Suppose -5*i = 5*k - 35, -4*k - 2*i = -21 + u. Suppose -2*f + 10 = -2*z, -4 = 3*z + 5*f + k. Which is bigger: -5 or z?
z
Let t = -1.33 + 7.43. Let g = -10 + t. Let n = g + 4. Which is smaller: n or 0.2?
n
Suppose 0 = 2*y + q - 9, -4*y = -0*y + 4*q - 16. Let c = y + -4. Which is greater: c or 1/3?
c
Let g be 62/(-6) + (-35)/21. Is g at least as big as -10?
False
Let h = -98.04 - -98. Is h not equal to -1/4?
True
Let y be 160/28 + (-2)/(-7). Let w(r) = r - 1. Let k be w(-5). Let p be 2 - (-3)/y*k. Which is bigger: p or 2?
2
Let w(g) = -g**3 - g + 6. Let f be w(0). Let c = -4 + f. Let a = 1 + 0. Do c and a have the same value?
False
Let f = 66 - 15. Which is greater: 50 or f?
f
Suppose 2*s + 6 = 8*s. Which is bigger: s or -2/13?
s
Let g = 1.27 - 1.2. Which is smaller: 0 or g?
0
Let c be (2/(-4))/((-2)/16). Let l(k) = k. Let x be l(-2). Let w(v) = v**2 + v + 2. Let f be w(x). Is c <= f?
True
Let v = -6 + 5.9. Which is greater: v or -61/4?
v
Let j(y) = -2*y**3 - 5*y**2 - 7*y + 6. Let f(c) = -3*c**3 - 5*c**2 - 7*c + 5. Let z(s) = -3*f(s) + 4*j(s). Let v be z(6). Is v <= 3?
True
Suppose 0*t + 21 = -t. Let x be t/140 + 2/(-8). Suppose 0*r = 5*r. Which is smaller: r or x?
x
Let k = -171/4 + 43. Is k <= 0?
False
Let p be (-4)/(-3)*33/77. Which is smaller: p or -4?
-4
Let p = -26 - -27. Let f be (0 - -1) + (-22)/26. Which is greater: f or p?
p
Let h be (-319)/8 + (-5)/40. Which is smaller: -38 or h?
h
Let i = 41 + -40.9. Is 73 not equal to i?
True
Let l be 1 + 1 - 7/5. Suppose 0*s - s = j + 1, s = j + 1. Do l and s have the same value?
False
Let a be 5 + 0 + (-1)/(-1). Is 19/4 bigger than a?
False
Let u = -645.2 + 586. Let v = -66 - u. Let t = v + 7. Which is smaller: t or 0?
0
Suppose 3*l = 4*a - 8 - 17, 4*l + 10 = 3*a. Which is smaller: a or 9?
9
Let c = 3 - 6. Let q be 14/(-4)*(5 + c). Let y(f) = f + 7. Let j be y(q). Which is greater: j or -1?
j
Let j(i) = -i. Let g be j(6). Let v be (9 + -1 + -1)/(-1). Which is greater: v or g?
g
Let i(t) = t - 2. Let f be i(4). Let n be 4 + -4*(-8)/(-16). Is n at most as big as f?
True
Let q(x) be the first derivative of -x**3/3 - 5*x**2/2 - x - 1. Let c be q(-5). Let v = -4/17 - -79/119. Which is bigger: c or v?
v
Let t be -4 - (-4 - (-2)/37). Is 0 smaller than t?
False
Suppose o + a - 41 = -a, 41 = o + 3*a. Is 42 greater than o?
True
Let w = -71 + 358/5. Let o(g) = 96*g + 1. Let b be o(-1). Let c = -667/7 - b. Which is greater: w or c?
w
Suppose -f - 1 + 3 = 0. Suppose -f*i + 8 = 2*i. Suppose -i*w - 6 = 2*w + 3*n, 4*n - 17 = 3*w. Is w equal to -3?
True
Let u = -79 - -86. Suppose 3*h = 2*a - 6*a + 37, 3*h - 5*a - 1 = 0. Are u and h equal?
True
Let r(y) = -y**3 - y**2 - y + 5. Let o be r(0). Which is bigger: 7 or o?
7
Suppose 5*m - 2*d + 7 = -8, -2*m + 2*d = 6. Let f(g) = -g**2 - 4*g. Let v be f(m). Suppose -h + 4*h - 6 = 0. Which is greater: h or v?
v
Suppose 81 + 51 = -6*m. Is -24 less than m?
True
Let m = 10 + -7. Suppose -m*s - 43 = 2*s + 2*b, 26 = -3*s - b. Is s greater than -9?
False
Let o be (7 - -28)*-1*(-2)/(-12