4*x + 1. Let i be a(-4). Let g = i + -11. Suppose 0 = -g*m + 3*m. Is 0 greater than or equal to m?
True
Let o = -28514 + 10635728/373. Let r = o - 26531/2984. Let d = r + 53/8. Is d bigger than -3?
True
Suppose 2*h = -0*h, -4*h - 20 = -5*w. Let b = w - 14. Let r be -3 + 7/((-21)/b). Which is greater: r or 1?
1
Let h be 4/(-6) - (-7)/(-21). Let j(f) = f**3 + 6*f**2 - 8*f - 10. Let d(g) = g**3 + g - 7. Let b be d(0). Let m be j(b). Are m and h equal?
False
Suppose 0 = -13*q + 4*q + 189. Let l(n) = n**2 - 18*n - 19. Let i be l(q). Which is smaller: i or 45?
i
Suppose 3*v + v + q = 137, -55 = -2*v - 5*q. Let d(s) = 5*s - 72. Let a be d(21). Which is bigger: a or v?
v
Let w = -57 + 30. Let t be w/18*10/(-3). Suppose 2*d = t + 1. Which is smaller: d or 4?
d
Let q = 1273/462 - 55/21. Let o(f) = f - 6. Let a be o(5). Which is bigger: a or q?
q
Suppose 2*m + 114 = 4*m - 3*g, m = -g + 67. Suppose -p + 27 = v - 4*v, 0 = 4*p - 3*v - m. Suppose 3*t + 0 = k - 8, 5*t = 3*k - p. Which is smaller: 1/9 or k?
k
Let b(p) = -p**2 + 10*p - 13. Let v be b(8). Suppose -20 = 4*z - 2*n, 0 = -v*n + 7*n. Is 0 smaller than z?
False
Let v be (-8)/(-3) + (-20)/(-15). Suppose -v*a + 3*q - 122 = -9*a, 5*a = -5*q + 130. Is a equal to 22?
True
Let b be 1/(-1 - (-15)/18). Let q be ((-20)/(-30))/((-20)/b). Which is bigger: 0 or q?
q
Let d(j) = j**3 - j. Let v(s) = 3*s**3 + 28*s**2 - 6*s + 27. Let t(f) = 4*d(f) - v(f). Let k be t(28). Is k >= 29?
True
Let w = -0.3 + 5.3. Let t = 10323/13 + -794. Which is smaller: w or t?
t
Suppose -5 = 2*q - 13. Let j = 2 + 0. Suppose 0 = -q*w - j*r - 14, 1 = r - 2. Is -2 at least as big as w?
True
Let f(m) = m**3 + 7*m**2 - 8*m + 4. Let w be f(-8). Suppose 5*v + 3*n - 2*n = 29, -5*v + w*n + 34 = 0. Suppose 63 = v*u - 9*u. Which is greater: -22 or u?
u
Let w = 156 + -155.8. Is -202 smaller than w?
True
Let y be -3*1*(-10)/15. Suppose 2*i = y*z - 0*z - 6, -4*i - 2*z = 0. Is i less than -3/22?
True
Suppose -850 = -2*q - 2*w, 0 = -3*q + 4*w + 629 + 681. Is q > 431?
False
Let d = 219.1 - 219. Is d at least 1/6?
False
Let i = 7 - 13. Let h be i/12*14/(-1). Let p = h - 5. Which is smaller: 1 or p?
1
Let y be 2/(-6) - 1/(-39). Let l = 8 - 80. Let z = l - -73. Is y < z?
True
Let p be (-4)/(-4)*(3 - (-3 + 11)). Which is smaller: p or -39/8?
p
Suppose -5*r - 285 = -10*r. Let p = r + -58. Is -2/33 <= p?
False
Let h be 3/4*64/456. Let f(n) = -n - 2. Let j be f(-3). Are j and h non-equal?
True
Suppose -2*z = 3*z - 10. Let q be 1/(-6) + z/12. Suppose 5 = 5*b - q. Which is smaller: 2 or b?
b
Let v(x) = x**3 - 10*x**2 - 2*x + 25. Let a be v(10). Let o be (-2)/8 - 117/(-4). Suppose a*j - o = 36. Is 13 at most j?
True
Let j = 3 - 7. Let y be 99/93 + j/4. Which is bigger: 0 or y?
y
Suppose 21*z - 17*z = 0. Is z greater than 33?
False
Suppose 5*i + l = -2, -5*l = 3*i - l - 9. Let f = -3499/13 + 269. Is i equal to f?
False
Let r = 812/3 + -271. Which is smaller: r or 5/31?
r
Let a = 151.5 + -163. Let d = a + -43.5. Is -0.1 <= d?
False
Let t(j) = 15*j + 120. Let p be t(-8). Which is bigger: p or 16/15?
16/15
Let i = -7801/495 + 142/9. Is 1 at most as big as i?
False
Let q(v) = -2*v + 3*v + 220 - 116 - 124. Let u be q(-24). Is u > -44?
False
Let n = 117 - 117.1. Let z = -63/2 + 32. Is n greater than z?
False
Let x be (-618)/162 - 4/(-1). Let s be 1408/7560 + 1/5. Let v = x + s. Which is bigger: -0.2 or v?
v
Let a = 5 + -8. Let b = 148 - 151. Do a and b have different values?
False
Let u be (72/40)/(1/10). Let s be (-6 + 96/u)/(52/6). Suppose 3*p + 0 = -3. Which is smaller: s or p?
p
Let r = 591 + -582. Let w(c) = 3*c**2 - 6*c + 7. Let o(z) = -4*z**2 + 7*z - 7. Let y(s) = -4*o(s) - 5*w(s). Let h be y(-5). Which is bigger: h or r?
r
Let t be (34 - 42)*4/228. Is t bigger than 1?
False
Let r be 4/22 + 84/22. Suppose 7*f = r*f. Suppose f = 5*y - 2*y. Are 0 and y equal?
True
Let c = -85 + 82. Is 37 at least c?
True
Let w = 3254 - 3255. Let b = 1020380/7 + -145495. Let r = b + -273. Which is greater: w or r?
r
Suppose 0 = -2*b + 11*b - 8*b. Which is greater: b or -39?
b
Let d = -41 - -82. Is 18 bigger than d?
False
Let j = 57 + -51. Let k be (j + (-50)/9)*(3 - 0). Is 2 <= k?
False
Let c = 5041 - 14963/3. Is 53 less than c?
True
Suppose 17 - 5 = x. Let o be 9/x + 45/(-12). Let d be 352/456 + 2/o. Is d != 0?
True
Let l be (-30)/165 - (-875)/1485. Which is bigger: l or -1?
l
Let x = 1399 + -1373. Which is greater: x or -3?
x
Let w = -72 - -37. Does w = -0.3?
False
Let w = -11 - -13.1. Let a = w + -1.9. Is -3/8 > a?
False
Suppose -6*b + 4*b = -6. Let g = b - 3. Let m be 62/(-130) + ((-138)/30 - -5). Which is greater: m or g?
g
Let r = 0.11 + -0.09. Let q = r + 0.02. Let l = -0.6 + 0.5. Which is greater: l or q?
q
Let p = 0.803 + -0.332. Is 0 greater than or equal to p?
False
Suppose 0 = 2*c + 12*c - 84. Let f be (-4)/c + 10/(-3). Let v = 5 - 10. Is v greater than or equal to f?
False
Let l(x) = x**2 + 11*x - 2. Let k be l(-11). Let z be k/(-7) - (-176)/(-28). Let b be (-11)/55 + z/(-5). Does b = -2/25?
False
Let q = -781 + 107. Are -674 and q nonequal?
False
Suppose -269 + 85 = -8*j. Is 22 >= j?
False
Suppose 2*u - 20 = -4*a - 2*u, -25 = -5*a - 2*u. Suppose -a*t + 7*t = 12. Suppose 0 = -g + 12 - 5. Is g greater than t?
True
Suppose 11*b - 15*b = -60. Let v be (-310)/(-15) - 2/(-6). Suppose -18*i + b*i = v. Which is smaller: i or -8?
-8
Suppose 18 = 3*q - 5*w, -2*q - w - 1 = -0*w. Which is smaller: -5 or q?
-5
Let k = 14.3 - -3.7. Let y = -20.1 + 4.1. Let f = k + y. Which is bigger: 3/7 or f?
f
Let d be -32*3/(30/(-65)). Suppose 4*u + d = -0*u. Which is greater: -51 or u?
-51
Let j = 5 + 0. Let l be 4 + (-4 - (-128)/(-7)). Let g = -18 - l. Is g >= j?
False
Suppose 2*y - 52 = 8. Let c be ((-12)/y)/(3/30). Is c at most as big as -4?
True
Let j be 13 + -12 - (-13)/(-1). Let i be 52/(-80) - (2 - j/(-5)). Which is greater: -1 or i?
i
Let f(t) = -t**2 - 3*t - 1. Let m be f(0). Let c(o) = -o**3 + 4*o**2 - 2*o - 1. Let g be c(3). Let k be 4/(-88)*(g + 4). Which is greater: m or k?
k
Let k(r) = 2*r**2 + r + 1. Let j be k(-3). Suppose -9*b - j = -5*b. Let s be ((-4)/(-14))/(b/(-16)). Is 0 < s?
True
Let z = -126.86 - -128. Let y = z + -0.26. Let c = 0.12 + y. Is c < 7/3?
True
Let q be (-466)/(-14) - (-2)/(-7). Let t = q - 55. Let l = t - -47/2. Is 3 bigger than l?
True
Let x be (-24 + 24)*(-1)/(-3). Which is bigger: -5/148 or x?
x
Let y be (-11)/(308/(-70))*(-24)/10. Which is smaller: -27/5 or y?
y
Suppose 0 = 5*x - r - 23, 0 = 2*x + 3*x + r - 17. Suppose -x*t + 0*t - 4 = 0. Let n be (-3 + 2 + 0)*t. Is n equal to 1/6?
False
Let w be -5 + (-68)/(-7) - 1. Let z = -24/7 + w. Are 0.34 and z nonequal?
True
Let x = -24859/12 + 2073. Let z = x + -7/12. Suppose -5*y - 4 + 14 = 0. Which is smaller: y or z?
z
Let y be 4 + -1 + (-1 - 0) + 4. Is y equal to 6?
True
Let l = -487 - -8303/17. Which is smaller: l or 0?
0
Let t be (10/(-4))/(6/12). Let a be 3 - 7 - 18/t. Which is smaller: a or -1/56?
a
Let j(l) = -l**3 - 6*l**2 + l + 8. Let f be j(-6). Let g be 380/154 + f/(-7). Let k = 107/44 - g. Do 0 and k have the same value?
False
Let c = 853 + -850. Let o = 4 + -12. Are o and c unequal?
True
Let w = -7 - -7. Let g = -0.3 - w. Let y = -0.24 + 0.24. Is y at most g?
False
Let y(m) = 3*m - 28. Let f be ((-9)/4)/(0 - 3/12). Let n be y(f). Which is smaller: n or -1/22?
n
Suppose -9*n = -30 - 6. Suppose -2*v - 5*o = 12, 0 = -2*v + 4*o + 2 + n. Which is smaller: 36 or v?
v
Suppose -5*c - 3*t = -2*c - 15, -4*c = 5*t - 24. Is -2/633 less than c?
True
Let y = -0.68 + 1.21. Let v = -0.33 + y. Which is bigger: -2 or v?
v
Let g = -56 - -109. Let u = g + -425/8. Is 0 smaller than u?
False
Suppose -2*q + 19 = -15. Let u = q - 19. Is -3 greater than or equal to u?
False
Let f(j) = -3*j**3 + 1. Let r be f(-1). Suppose -r*v = 21 - 5. Let c be (-3)/(-4 + 58)*v. Which is greater: c or 3?
3
Let q(t) = t**3 + 21*t**2 - 49*t - 46. Let g be q(-23). Which is greater: g or 35?
35
Let g(d) = -d**2 + 35*d + 104. Let f be g(38). Is -10 >= f?
True
Let a = -471 - -440. Which is smaller: -32 or a?
-32
Suppose -5*h + 112 = 1782. Are -333 and h nonequal?
True
Let r = 1.036 - 0.016. Let y = r + -0.02. Which is smaller: 3/5 or y?
3/5
Let h(c) = -c + 20. Let v = 8 - 15. Let z be h(v). Which is greater: z or 26?
z
Let j = 2.66 - 2.96. Is