 + -1.2. Suppose -5*w + w + 20 = 0. Suppose -2*t - 2*r + 2 = 0, t + w = 4*t + r. Which is smaller: z or t?
z
Suppose 3*t + 4 = -4*c, -2*c - 28 = -32. Is -49/13 at least as big as t?
True
Suppose -209*k - 516 = -203*k. Which is bigger: k or 2/9?
2/9
Let n(x) = x**2 + 4*x - 1. Let c be n(-2). Let g be (3/c)/(2/(-10)). Suppose -5*p + 3*u = 48, -2*u = g*p + 3*u + 56. Is p smaller than -11?
True
Let s be (-4)/12*-3*1. Let b be (4/(-8))/(1/(-38)). Let o be 5/(-50) - b/(-40). Which is smaller: s or o?
o
Let z = 1/198 - -61/7524. Let l be (-49)/(-228) + (-10)/(-95). Let b = l + z. Which is smaller: 0.3 or b?
0.3
Suppose 4*r + r = -5*m - 95, -3*r + m - 61 = 0. Let n be (3 - (-88)/r) + 3/5. Which is bigger: n or 4?
4
Let z = -24 + 28. Let l = z - -3. Which is bigger: l or -0.2?
l
Let g(b) = 25*b - 149. Let c be g(6). Let f = 3/11 - 2/11. Is c at most f?
False
Suppose -10*i + 8*i + 12 = 0. Suppose -2*a = 2*g + 8, 4*a - i*g + 3*g + 30 = 0. Is a less than -9?
False
Let a be (-14)/(-2)*(1 + -2). Suppose 2*c = 4*x + 36, -2*c - c = -3*x - 30. Is a bigger than x?
True
Let f(n) = -n**3 + 14*n**2 - 3*n - 25. Let t be f(14). Is -67 at least as big as t?
True
Let x(v) = v**2 + v + 85. Let f be x(-10). Is f at least 172?
True
Let m be 4/(((-11)/1)/495). Is m equal to -184?
False
Let s = 2 + 23. Let d = 28 - s. Which is smaller: d or 11/4?
11/4
Suppose 0*v = -3*v + 99. Let g be v/(-176)*2/6*10. Which is smaller: 0 or g?
g
Suppose -2*d - 3*n = -2, n + 0 - 1 = -d. Is 4/301 equal to d?
False
Let x = -5.1547 + 0.1547. Which is smaller: 1/81 or x?
x
Let x(g) = -g**2 + g. Let u be x(1). Suppose u = -2*b - 1 + 13. Let p be ((-9)/(-3) - 0) + 2. Is b at most p?
False
Let a(n) = 11*n**3 - 15*n**2 + 7*n + 11. Let o(j) = -5*j**3 + 7*j**2 - 3*j - 5. Let h(v) = 6*a(v) + 13*o(v). Let z be h(-2). Is -4 not equal to z?
True
Let h = 12 - 6. Let q = 2.7 - -1.3. Let l = -3 + q. Are l and h unequal?
True
Let g = -611/42 - -89/6. Let w = 79.5 + -65. Let n = -4.5 - w. Which is bigger: n or g?
g
Let x(k) be the second derivative of -k**4/12 - k**3 - 7*k**2/2 - 22*k. Let b be x(-3). Does 8 = b?
False
Let f = 21 - 32. Let t = f + 10. Let a = 7.2 + -7. Which is bigger: t or a?
a
Let w be -4 - (1 + -8) - (-6 + 14). Is w bigger than 11.6?
False
Suppose 0 = 31*i - 27*i + 16. Let y be (201/9)/(4/(-48)*i). Is y bigger than 66?
True
Let o = -0.5 - -3.5. Let k be 4*-1 - (-8)/(-2). Let x = 10 + k. Is o > x?
True
Let j be (-8)/(-6) - (-4)/(-12). Let q be (4/(-18) - (-20)/(-30))/6. Which is smaller: j or q?
q
Let u be (24/150)/((-2)/(-215)). Which is greater: u or 0?
u
Let r be 55*2*(6 - 136/24). Which is smaller: r or 37?
r
Let x be (2 - (-26)/(-10))*(-2)/(-30). Is -3/4 at most as big as x?
True
Suppose 2*d - c = -46, 0 = -0*d - 2*d - 2*c - 40. Let y = 1899 - 1920. Which is greater: d or y?
y
Let g be (-4)/(-6) + (257/(-3) - 8). Is g less than -91?
True
Let n = 186 - 185. Is n greater than 44?
False
Let o(p) = p**3 + p**2 - p + 2. Let g be o(-2). Let n = 131/18 + 19. Let i = n + -151/6. Is g greater than i?
False
Let m(r) = r**2 + 24*r - 6. Let y be m(-8). Is -136 > y?
False
Suppose 0*f + 2*f = 0. Suppose t + 59 = -g, -g = -f*t + 4*t + 59. Is g greater than -58?
False
Let s(f) = -f**2 - 30*f + 48. Let z be s(-31). Which is smaller: -27 or z?
-27
Let q = -4 - -1. Let f = 3.4 + q. Are f and -2/9 unequal?
True
Let h(n) = -n + 8. Let c be (2/11 + (-117)/99)*-13. Let s be h(c). Which is smaller: s or -7?
-7
Let r = -0.834 + -0.166. Are r and -35 nonequal?
True
Let y(p) = -5*p - 25. Let f be y(-5). Suppose -4*x = 3*i + 61, f = -4*i - 5*x - 75 - 5. Which is smaller: -14 or i?
i
Let d(v) = -14*v**3 - 2*v**2 + 17*v - 14. Let k(n) = 5*n**3 + n**2 - 6*n + 5. Let r(u) = -4*d(u) - 11*k(u). Let l be r(-2). Is -16 greater than or equal to l?
False
Let u be 84/4*2/(-12). Are u and -10 equal?
False
Let u(f) = f**3 - 3*f**2 + 2*f - 4. Suppose -3*r - 5*d - 10 = -7*r, -28 = -4*r - 4*d. Let p be u(r). Is p at least as big as 57?
False
Let l = -38 + 14. Let s = -5.984 - -5.784. Does l = s?
False
Suppose -8*l = 4*l - 120. Let y be 414/72 + l/(-2). Is y > 2?
False
Let u be (-83)/(-7) - (-1)/(-3)*0. Let p = u - 582/49. Which is smaller: p or -1?
-1
Let b = -5.7 - -6.1. Which is bigger: 3/23 or b?
b
Let a = -29932/51 - -587. Which is smaller: 0 or a?
0
Let s = 2950964/559 + -5279. Which is greater: 1 or s?
1
Let x(y) = y + 9. Let v be x(0). Suppose -112 = 5*w + 3*w. Let c(u) = -2*u - 18. Let z be c(w). Do v and z have the same value?
False
Let d = -1878 - -1877. Which is smaller: d or 0.381?
d
Let i be (2 - 1)*-1 - -6. Let n be (-1)/(i + -3 + -1). Suppose 6 = -2*m, 5*m + 1 + 14 = t. Is n at least t?
False
Suppose -2 = -2*x + 2. Let h = -4 + x. Let o = 148 - 148. Which is smaller: h or o?
h
Let l = 41.27 + 0.73. Let x = l + -42.043. Which is greater: 1/4 or x?
1/4
Suppose -5*x = 5*w - 145, 6*w - 5*x - 89 = 2*w. Let s be w/5 - (-5)/(-25). Suppose -5*q - s = 5*b, 0 = q - 6*q + 2*b - 5. Is -2 equal to q?
False
Let a be (230/184)/((-19)/(-20) + -1). Is -118/5 bigger than a?
True
Let n = -27 - -21. Let f be (-6 - -2) + (-26)/n. Let v = 2.94 + 0.06. Is v > f?
True
Let j = -21 - -5. Let m = j + 16. Is m less than -2?
False
Suppose -4*m = 3*a - 24, -2*m - a + 2*a = -2. Suppose m*t = -4*r + 4, 2*r = 2*t - 3*r + 5. Which is greater: t or -1/56?
t
Let l be -15 + (2 - 3) + 0. Let p be 2/(-6)*l/3. Let d = -23/18 + p. Which is smaller: 1/4 or d?
1/4
Suppose -12*x - 15 = -9*x. Which is bigger: 70 or x?
70
Suppose -n + 2 = 1. Let y = n - -4. Let a be 2/y + 8/40. Which is greater: -1 or a?
a
Let b be (-4)/(-6)*((-15)/25)/(2/79). Suppose -4*y - 2*o - 48 = -y, 3*y = o - 48. Is y greater than or equal to b?
False
Let b(i) = i**3 + 26*i**2 + 104*i - 20. Let x be b(-21). Which is greater: -1/19 or x?
x
Suppose 0 = 5*f + 53 + 42. Suppose -49 = 26*j + 393. Which is smaller: f or j?
f
Let l be (-866)/(72/(63/(-7))). Is 107 bigger than l?
False
Suppose 0 = 21*h - 17*h + 8, 2*t = -4*h + 118. Is t less than or equal to 14?
False
Let j = -0.1 - 0. Is j equal to -0.3?
False
Let y = -0.0578 + 40.5578. Do 1 and y have different values?
True
Let d = -62 + 45. Which is greater: -2 or d?
-2
Suppose -98 - 7 = 5*v. Let u = -21 - v. Suppose -5*h = -3*m - 14, u = -2*m - 0*m - 6. Which is greater: h or 0?
h
Let h(b) = b**3 + 8*b**2 - 10*b - 15. Let z be h(-7). Suppose 4*k = -0*k + z. Which is smaller: 24 or k?
24
Let f(z) = z**3 + 6*z**2 - z + 49. Let m be f(-7). Which is smaller: 5 or m?
5
Suppose -4*h - 32 - 8 = 0. Is h smaller than -41/4?
False
Let l = 24 - 29. Let q be 11/4 + (0 - l/20). Which is smaller: q or 22/5?
q
Let j(n) = 3 + 18*n - 27*n + 2 + 12. Let x be j(5). Is -31 bigger than x?
False
Let n(d) = d**2 + 8*d + 3. Let f be n(-7). Let g(t) = -3*t - 4. Let u be g(f). Suppose 10*y + 108 = 22*y. Which is smaller: u or y?
u
Let u(x) be the first derivative of x**3/3 - 3*x**2/2 - 2*x - 11. Let y be u(5). Suppose -y = -2*h - 3*h + 2*t, 3*t - 11 = -4*h. Which is smaller: h or 5/6?
5/6
Let h = 1128428 - 357710357/317. Let d = h + -5156101/1271487. Let r = -2/191 + d. Which is greater: 0 or r?
r
Let s = 28 + -58. Let q = s - -30.02. Which is bigger: q or 0?
q
Suppose 3*i = 5*i. Let t be i - (166 + (0 - -4)). Let m be 12/(-5)*t/(-51). Which is greater: -20/3 or m?
-20/3
Let m = -290 - -294. Which is greater: m or 1?
m
Let l = 41 - 3. Let p = -222 + 221. Is p greater than l?
False
Suppose 22*d + 618 = -1406. Is d at least as big as -92?
True
Suppose 6*i - 144 = 2*i. Let j(m) = -m**2 - 13*m + 16. Let d be j(-14). Suppose -d*s + i = s. Is 12 smaller than s?
False
Let o = 10.458 - 10.558. Let m = -267/58 - -3/29. Is o equal to m?
False
Let w = 84 + 7. Suppose -5*p + 71 = 4*y - 4*p, -2*p = 5*y - w. Which is greater: y or 2?
y
Let x = -366 + 230. Let f = x + 143. Is f at most as big as 7?
True
Let s = 14/31 - -20/93. Let d = -26 + 28.4. Let n = d - 2. Which is bigger: n or s?
s
Let y(n) = 4*n**2 + 7*n + 5. Let k be y(-5). Suppose 5*a + k = -0*a + 2*b, -3*a - b - 31 = 0. Which is smaller: -66/5 or a?
-66/5
Let q = -14 + 19. Let x be (-5)/(-20) + q/(-4). Let z be (-3 - 208/(-68))*x. Is 0 at most as big as z?
False
Let l(m) be the second derivative of m**6/360 - m**5/120 + m**4/24 - 7*m**3/6 + 9*m. Let f(v) be the second derivative of l(v). Let c be f(2). Is 4 equal to