 = -z**3 + 2*z**2 + 30*z + 55. Let m be f(7). Which is smaller: m or 29?
m
Suppose y - 195 = -4*h + 10, -5*h + 4*y + 272 = 0. Do h and 60 have the same value?
False
Suppose 57*u - 52*u + 130 = 0. Is u bigger than -27?
True
Suppose 4*w + 2*a - 38 = 0, -4*a - 55 = -5*w + a. Which is smaller: -4 or w?
-4
Suppose 111 = -6*m + 105. Which is smaller: m or -5/49?
m
Let z = -9.6 + 15.6. Let a be -1 + (-1 - (-1 + 3)). Let u be 2/a + (-2)/(-4). Which is greater: z or u?
z
Let l = 167 + -59. Let s = -45 + l. Let a be (-4)/18 - (-140)/s. Do 0 and a have the same value?
False
Let r(w) = 12*w - 11. Let b be r(2). Is -29 < b?
True
Let s be (-6)/(-8)*2/(-23). Let l = s + 199/230. Let h be 1/(-3)*14/14*(-10 - -9). Which is greater: l or h?
l
Let v(b) = 8 - 2 + 5 + b + 63*b**3 - 64*b**3 - 10*b**2. Let j be v(-10). Are 2 and j unequal?
True
Suppose -4*d = 8, -5*o - d + 3*d = -4. Suppose 0 = -4*p - o*l - l + 8, 4*p - 8 = 4*l. Is p less than or equal to 16/5?
True
Let r(z) = -z**3 - 2*z**2 + 5*z + 6. Let x be r(-3). Suppose x = -2*y + 4*a - 6, -2*y = -4*y - a - 6. Which is smaller: -7 or y?
-7
Let a = 1497267/2150 - 10107/86. Let d = a + -579. Do 0 and d have different values?
True
Suppose 0 = -o - 33 - 60. Let q = o - -54. Do -39 and q have the same value?
True
Suppose 6*c - 3*c + 300 = 0. Let f = c + 100. Which is greater: f or -2/155?
f
Let d be ((-8)/6)/(9 + (-25)/15). Is 62 > d?
True
Let p(q) = -2*q - 8. Let x be p(-4). Are -8 and x unequal?
True
Let q = 1370/7 + -196. Suppose 5*f - 3*r - 195 = 0, -3*f + 5*r + 133 = -0*f. Is f bigger than q?
True
Let x be 12*(2 - (7/14 + 1)). Is x <= 9?
True
Let m = -0.103 + -9.797. Let f = m + 5.9. Which is smaller: 5 or f?
f
Suppose 37*c + 416 = 29*c. Which is smaller: c or -48?
c
Let m = 0.01 - -0.27. Let w = -1.28 + m. Which is smaller: -27 or w?
-27
Let y(u) = 1 - 10*u + 2*u - 2*u. Let s = -81 + 82. Let q be y(s). Is -7 at least q?
True
Suppose 7*p - 9*p = 2. Let u be ((-6)/15)/(p/(-1)). Is 0.1 less than or equal to u?
False
Let w = -43/158 + -31751/316. Let b = w + 441/4. Suppose 2*t - 21 = -3*o, 3*o - 28 = -3*t + 2*o. Which is smaller: t or b?
t
Let h(m) = m**3 + 7*m**2 - 10*m + 4. Let p be h(-8). Let b = p + -14. Suppose -10 = -4*v - b. Is v > 1/5?
True
Let h = 76 + -125. Let d = 48 + h. Is d != 0.04?
True
Let z = -6545264/5 + 201456680416/153895. Let m = 237212649/707917 - z. Let k = -335 + m. Is -1 < k?
True
Suppose 0 = -5*p + 3 + 7. Suppose 4*l = p*l + 4. Let j = -1/8 + -3/8. Is l smaller than j?
False
Suppose 5*j = -2 - 13. Let y be -1*4*1/4. Let h be (-2)/(-2)*3/y. Is h at most as big as j?
True
Suppose -1 + 1 = 13*z. Is z greater than or equal to 2/239?
False
Suppose 2*r + 6 + 0 = 5*o, 16 = -r - 4*o. Let j = r - -15. Which is smaller: j or 1?
1
Suppose -4*r + 3*z + 3 = -0, 0 = r - 5*z - 22. Let o be 14*r*(-4)/12. Let m be (12/9)/(o/3). Is m >= 6?
False
Let z be ((-10)/6)/((-1)/18). Let u be 2/11 + 2834/143. Let y be ((-1)/u)/(4/z). Is -1 at least as big as y?
False
Let x = -38/45 - -23/45. Which is greater: -142 or x?
x
Let c(n) = 2*n + 34. Let i be c(-8). Let f(q) = q**2 - 17*q - 44. Let z be f(i). Is -26 at least z?
True
Let j = -4 - -3.97. Let g = 367/15 - 1111/45. Are j and g equal?
False
Let u = 3109/360165 + 3/1847. Which is greater: u or 1?
1
Let z = 62 - 61.69. Let a = z + -0.21. Which is greater: a or 5?
5
Let w be 132/(-14)*(-28)/4. Let i = w - 196/3. Suppose 0 = 2*z + 5*s - 10, s + 4 = 6. Is i smaller than z?
False
Let b(w) = -4*w + 23. Let o(g) = -3*g + 1. Let f be o(-4). Let x be b(f). Is -0.1 >= x?
True
Let h = -4 - -4. Let w be 3 - (-1 - h - -1). Let u be (24/28)/((-6)/(-28)). Is w greater than or equal to u?
False
Let x = 12 - 12.2. Which is bigger: x or -0.33?
x
Let c be (-25)/(-35)*(-14 - 13). Which is greater: -18 or c?
-18
Suppose -s - 5*o = -27, -4*s + 3*s = 4*o - 22. Is s greater than or equal to 4/7?
True
Let p be 6/(-8)*(-18)/(-27). Suppose 3*y = -0*y. Suppose 4 = -2*q - y. Is q less than or equal to p?
True
Let w(a) = -a**3 + 30*a**2 - 26*a + 66. Let b be w(30). Does b = -714?
True
Suppose 4*z - 33 = -5*u - 5, -21 = -3*z + 3*u. Let m be ((-4)/z)/(40/(-140)). Let c be ((-5)/(-6))/((-3)/m). Is c at most as big as -1?
False
Let r = -0.02 - 15.98. Let b = 15.94 + r. Let x = -0.1 + 0.2. Which is greater: b or x?
x
Let r(o) = -o**3 + 9*o**2 - 6*o + 17. Suppose 5*v - 19 = 16. Let z be r(v). Are z and 72 unequal?
True
Suppose -2*i - 2*m = 2*i - 2, 5*m = -25. Suppose -5 = -i*r + 28. Suppose -r = -5*g + 34. Does g = 10?
False
Let f = 10420 - 302182/29. Suppose -3*n - 9 = 2*m - 4, 3*m - n - 9 = 0. Suppose -z = -m*z - 1. Which is smaller: f or z?
z
Let o be ((-9)/3 - -6) + -83. Let a = o + 58. Which is greater: a or -25?
a
Let h = -0.057 - -0.148. Are 0 and h nonequal?
True
Let t = -103 - -109. Let s be (-1)/2 - (125/22 - t). Which is greater: s or -5?
s
Let l = -3 + -20. Let f = 25 + l. Let c = f + -3. Which is bigger: c or 0?
0
Let t = -1850/1343 + -12/79. Which is bigger: t or -2?
t
Let q be (3/(-6))/((-1)/34). Let b = 2011/7 - 287. Is q > b?
True
Let y be (-1)/(3*(-1)/15). Suppose -40 = y*u + 3*x, 4*u = -0*x + 2*x - 54. Do -9 and u have the same value?
False
Let f(x) = 201*x - 152. Let d be f(-5). Which is bigger: -1156 or d?
-1156
Let k(r) = -r - 2. Let f be k(9). Let z(g) = -g**3 - 10*g**2 + 9*g - 23. Let s be z(f). Which is bigger: s or 2/161?
2/161
Let v be -1 + 2 + 6313/(-354). Which is smaller: -16 or v?
v
Let t = 2635.7 - 2637. Which is smaller: t or 116?
t
Let f be (-8)/80*-295*-2. Which is greater: f or -57?
-57
Let p(q) be the third derivative of q**6/120 - q**5/30 - q**4/24 - 6*q**2. Let h be p(2). Let w(c) = c**3 - 4*c**2 + 4. Let g be w(2). Which is smaller: h or g?
g
Let k be (-1)/(-2)*182 + 2. Suppose -33 = 4*a - k. Suppose z + a = 6*z. Is z less than or equal to 4?
True
Let g = 84095272/2351 + -35770. Is g >= 1?
False
Let u = -12 - -14. Let d = 112.1 + -112. Is d < u?
True
Let s = 31 + -31. Let u = -0.6 + 4.6. Let y = u + -3.99. Is s > y?
False
Let q(z) = -z**2 + 5*z + 31. Let b be q(9). Let f(r) = r**3 + 4*r**2 + r + 1. Let d be f(-4). Is b equal to d?
False
Suppose -5*n = -5*y - 135, -5*n - 2*y - 50 = -164. Suppose -h + 5*h = n. Which is bigger: h or 4?
h
Let r(x) = -x**3 + 8*x**2 - 2*x + 14. Let q be r(8). Suppose -a - 1 + 2 = 0. Let p = -2 - a. Is q at most as big as p?
False
Let j = 605 - 451. Is j > 153?
True
Let d = 513 - 541. Is -22 greater than or equal to d?
True
Let r be ((-15)/45)/((-1)/((-12)/(-4))). Which is bigger: r or 44/25?
44/25
Let a = 448 + -459. Let j(l) = 2*l**2 - 2*l - 7. Let z be j(5). Suppose z = -5*h + 2*h. Is a smaller than h?
False
Suppose q + 14 = 3*q. Let d = q + -4. Suppose h + 15 = -2*h - 4*w, -w - d = 0. Is h smaller than 0?
True
Suppose 22*w + 11*w = -66. Is -22/39 not equal to w?
True
Let g be 6/(-42)*-7 + 65. Is 64 greater than or equal to g?
False
Let b = 0 + 1. Let a = -208169/7 + 29650. Let m = a - -89. Is m >= b?
False
Let n be 425/340 + 2/(-24)*23. Which is greater: n or 410?
410
Let y be ((-4)/(-66))/((-2)/18). Let a = 1057 - 1057. Which is smaller: y or a?
y
Suppose 0 = 4*d - 2*d - 10. Suppose 11 = d*w - 14. Let s be (-30)/(-9)*((-3)/2 - -3). Is s greater than or equal to w?
True
Let l(f) = 2*f - 4. Let q be l(3). Suppose q = -2*s - 0. Let g be 2*(-4 - (-61)/15). Which is bigger: s or g?
g
Let q be (-2 - 1) + (-33)/(-3). Let h(m) = -m**3 + 8*m**2 + m - 1. Let p be h(q). Suppose -3 + p = 4*z. Is z greater than or equal to 12/11?
False
Let k be 79/5 - 1/(-5). Suppose 0*w - k = -4*w. Suppose 2*p = w*p. Is p at most 3/7?
True
Let s = -3764 - -1065211/283. Which is greater: 1 or s?
1
Let u be (-7)/18 - 27/(-81). Which is bigger: -10 or u?
u
Let t = 29419 + -87101/3. Let y = 391 - t. Is y bigger than 7?
False
Let z = -9.92 + 144.16. Let o = 134 - z. Are o and -2 equal?
False
Let d = 0.03 - -1.97. Suppose 0 = -4*w - 8 - 0. Let b be 360/(-378) + w/(-3). Which is bigger: d or b?
d
Let k = 72 + -42. Let n = k - 33. Are n and -1/8 equal?
False
Suppose a = -o + 37 - 27, -5*o - 3*a = -60. Which is bigger: o or 139/9?
139/9
Let m(u) = -2*u**2 + 48*u - 295. Let y be m(11). Is -0.3 at most as big as y?
False
Let l = 39/2 + -18. Let d = -12.98 - 0.02. Let o = d - -13.1. Which is smaller: o or l?
o
Let i = 197 + -85. Which is smaller: i or -2?
-2
Le