0 or o?
410
Let r(j) = 94*j**2 + 253*j - 2164. Let d be r(9). Do d and 7727 have the same value?
True
Let j = 118.2 + -69.52. Let v = -8330 + 8379. Let z = v - j. Is 0.1 bigger than z?
False
Let k(v) = -7*v**2 + 28*v - 7. Let c(m) = 6*m**2 - 27*m + 7. Let h(u) = 3*c(u) + 2*k(u). Let f be h(6). Which is greater: 4/73 or f?
f
Let s = -3188 + 3187. Is s less than -13?
False
Let g = -502 + 303. Let b be 1 + 0 + (g/(-2))/1. Is b at least as big as 101?
False
Let n be (-6)/(-5)*10/4. Let a be (n*(-3)/18)/(2/(-4)). Let y be (-20)/(-70) - (-1 + a). Is 13 greater than or equal to y?
True
Let a(r) be the third derivative of r**6/120 + 3*r**5/20 + 3*r**4/8 - r**3 + 5*r**2. Let z be a(-7). Suppose 1747*o - 1759*o = -372. Does z = o?
False
Let q = -5795/2098869 - -4/2903. Is q > 0?
False
Let v(r) = r**3 + 17*r**2 - 24*r - 11. Let i be v(-18). Suppose 3*z - i = u, 3*z = z + 5*u + 56. Is z at most 34?
True
Let o(f) = f - 26. Let k be o(12). Let y = 15 + k. Let q be (-2898)/(-1764) - 1*2. Which is smaller: q or y?
q
Let w = -4481 - -8473. Which is smaller: 3991 or w?
3991
Suppose 14 = 2*j - 2*p, -3*j + 5*p + 23 + 6 = 0. Suppose -o - 17 = -4*o - l, o = -4*l + 24. Suppose 4*h - 5*u - j = -44, -h + o*u - 24 = 0. Is h < -3?
True
Let f be 934/30 - 0 - (-9 - 685/(-75)). Which is bigger: -2 or f?
f
Suppose 0 = w - 4*w + 9*w. Suppose w = -5*c - c + 414. Let t be ((-46)/c)/(2/(-36)). Is 12 at most as big as t?
True
Let g(p) be the second derivative of -2/3*p**4 + 0 - 8*p**2 - 7/6*p**3 - 15*p. Let c be g(-3). Is -68 at least c?
False
Let c be 11/44*8*268/130. Let n = 36/5 - c. Which is smaller: n or 2?
2
Let p(m) = m**3 + 4*m**2 + m. Let h be p(-4). Let i = -5694 + 5693.9. Which is greater: h or i?
i
Let b = -41 + 44. Suppose -b*p = -0*p - 3. Let y be (-5 + p)*-4 + -4 + 1. Which is smaller: 0 or y?
0
Suppose 0 = 5*l + 5*q - 20, 12*l - 293*q = -292*q + 204. Let b be (-2)/7 + 4/14. Let u be (-2 + b)*(-17)/2. Which is smaller: u or l?
l
Let i = -26 - -18. Let b be 3666/580*(2 + 40/(-12)). Let y = b + 53/29. Is y bigger than i?
True
Let h = -14.89 + 15. Let u = 0.09 + h. Let x = -5828 - -5841. Is x at most as big as u?
False
Suppose -4*m + 187 - 67 = 0. Suppose -146*w + m = -147*w. Is w greater than or equal to -29?
False
Let u be (582/12)/(3/54*-3). Let w be 2037/u - -1*1*-6. Is -11 less than w?
False
Let o = 636 - 12088/19. Let p(b) = -12*b - 230. Let v be p(0). Let h = 230 + v. Is h > o?
True
Let w = -0.021 - -16.021. Let t = 16 - w. Let v(z) = -15*z**3 + z**2 - z - 1. Let l be v(-1). Which is smaller: l or t?
t
Let t = -22 - 55. Let c = -296844 - -296768. Do t and c have different values?
True
Let n = -135 + 76. Let b = 137 - n. Suppose 4*l + b = 4*h - 64, l + 3*h = -61. Which is smaller: -63 or l?
l
Let v = 5.5056 + -2.5056. Is -4950 != v?
True
Let c(j) = 2*j + 31. Let u be c(-14). Suppose -u*x = 0, m + 3*x - 20 = 8*x. Is 20 < m?
False
Suppose -3*t = -15, f - 5*t + 9 + 60 = 0. Let b(o) = o**2 - 23*o - 35. Let v be b(21). Let g = v + 32. Is f greater than g?
True
Let g(u) = u**2 - 5*u + 1. Let t = 7 - 70. Let s = t + 69. Let i be g(s). Do 3 and i have the same value?
False
Let y(m) = m**3 + 28*m**2 + 8*m + 26. Let r be y(-29). Which is greater: -1046 or r?
-1046
Suppose -u = x - 3, 2*x - 11 + 3 = -u. Suppose 2*t + x = -5*y, -2*t = 5*y - 3*t + 5. Let k be 5*1/5 + 12 + y. Is 14 at least as big as k?
True
Let p = -37526 - -209357548/5579. Which is greater: p or -1?
p
Let n = -0.0258 - -3.1258. Let s = -3.2 + n. Which is bigger: -6 or s?
s
Let x be 1/(-4) + (-11)/4. Let k = -367 + 372. Suppose -z + 4*z = -2*j + 19, -4*j = -5*z - k. Which is bigger: x or j?
j
Let r = -86.76 + 80.66. Is r less than or equal to -1.1?
True
Let v be (0/7)/(((-27)/36)/((-7)/28)). Which is greater: -3/1693 or v?
v
Let c = -5.8257 - 0.1743. Let p = -35 + 30.1. Let o = 5 + p. Which is smaller: o or c?
c
Let v = -70/3 - -23. Let t = -139 - -62273/448. Let n = t + 7391/448. Which is bigger: n or v?
n
Let r = 17 - 16. Let h be (11/44)/(2/(-8) + 0). Let v be (r - 63/(-12))/(h/4). Which is smaller: -24 or v?
v
Let z = -93 + 59.2. Let i = z - -39.8. Let l = -2/3 - -11/12. Which is greater: l or i?
i
Let a(t) = 2*t - 15. Let p(i) = i - 8. Let v(f) = -2*a(f) + 5*p(f). Let n be v(-4). Which is smaller: n or -5/4?
n
Let o = -1156 - -1156. Is o equal to 43/83?
False
Suppose 0 = -5*q - 5, 0 = 5*v - q + 24 - 25. Is -1/847 at most as big as v?
True
Suppose 0 = -3*i + 10 - 7. Let f = 1625/3724 + -3/196. Which is greater: f or i?
i
Let k = 31.048 - 31.048. Which is smaller: k or -6.287?
-6.287
Suppose 4*l = 5*q + 431, 16*q - 12*q = 5*l - 550. Let k = l - 1251/11. Which is smaller: k or 1?
k
Suppose 0 = 2*q - 4*p - 400, q - 13*p - 242 = -18*p. Which is bigger: q or 210?
q
Let m(r) = 24 + 11*r + 5*r - 21*r + 6*r. Let h(o) = -12*o + 58. Let q be h(4). Let y be m(q). Which is smaller: 35 or y?
y
Let h = -1/10626 + -396701/31878. Let q(s) = 189*s - 1525. Let a be q(8). Which is smaller: a or h?
a
Let h be (22/1)/(4 - 5). Let j = 25 + h. Suppose j*y - 9 = -21. Is y greater than -38/7?
True
Suppose 13434 = -3*u - 5*z + 33804, 0 = -2*u - 7*z + 13547. Is u > 6804?
True
Let m = 255 + -247. Suppose -v - 4*b + 71 = 0, m*v - 4*v - 3*b = 227. Do v and 57 have different values?
True
Suppose -3*h - 6 = -5*x, 2*h + 1 = 4*x - 3. Let f be (8 - 4) + (-66)/3. Let z be 48/f + (-10)/(-5). Which is bigger: h or z?
z
Suppose -3*g - 2*o = -315, -5*g + 3*o + 735 = 2*g. Do 527/5 and g have the same value?
False
Let s be 25 - (-20787)/585 - (-2)/(-6). Which is bigger: s or 59?
s
Let y = -0.4 - -0.6. Let a = 0.9 - -0.08. Let r = a + -0.92. Which is smaller: y or r?
r
Let j(o) = -o**3 + 5*o**2 + 6*o - 5. Let z be j(6). Let i = -1609 - -1606. Which is smaller: i or z?
z
Suppose -68*i - 130187 + 805971 = 0. Is 9938 at most as big as i?
True
Suppose c - 3*c = 12. Let q = 22 - 27. Let g be q/2*(-6)/(-3). Which is smaller: g or c?
c
Let l(y) = y**2 - 5*y + 8. Let d be l(4). Suppose z + s + 2 - 6 = 0, -16 = -d*s. Let i = 1 - 1.05. Which is smaller: i or z?
i
Let c be ((-2205)/(-99) + -17)*58/38 - 8. Is 0.2 bigger than c?
True
Suppose -c = -v + 5, 0 = -c + v + 3*v - 20. Let l be (1/(-2)*4987)/(-7 + c). Let w = l - 356. Is w equal to -1?
False
Let i be 7036040/(-293168) - (7 - 31). Which is bigger: 1 or i?
1
Suppose 16 = i + 3*i + u, 4*u = 0. Suppose -2*w - 326 = -5*g, -i*g + 4*w = -2*g - 140. Let q = 67 - g. Is 3 smaller than q?
False
Let r = -340.285 + 0.285. Which is smaller: -3/8 or r?
r
Suppose -2*t = -7*t + 5*z - 230, -3*t + 5*z = 142. Is -48 != t?
True
Let h be (-1320)/2*(-18)/(-15). Let v = 5522/7 + h. Do v and -3 have different values?
True
Let u(k) = 96*k - 512. Let r be u(5). Do -56 and r have the same value?
False
Let c be (-1710)/85 - ((-132)/(-34) + -4). Let i be (-4 - 5/5) + c. Which is smaller: i or -51/2?
-51/2
Let v = -44 - -50. Let s be v + (0 - 8) - (-2 - 0). Which is greater: -1/203 or s?
s
Let i = -38/87 + 65/348. Which is smaller: i or 313?
i
Suppose 0 = i - 2*i. Let k = i - -8. Let u be (1 - (-1)/2)*4284/756. Is u greater than k?
True
Let c be (3 - 3) + (-537530)/(-59730) - 9. Is c at least 1?
False
Let a = -84.198 + 0.198. Let q be -1*(4 + -5) + (2 - -13)/(-15). Which is smaller: a or q?
a
Let x = -303 - -174. Let w = -76 - x. Let q = w - 53.1. Are q and 1.2 equal?
False
Let d = 136 + 124. Let f be (-850)/d + 3/6 - -4. Is 2 at most as big as f?
False
Let j = 2382 - 1575. Let w = 812 - j. Which is bigger: 9 or w?
9
Let g(i) = i**3 + 31*i**2 + 6*i + 251. Let x be g(-31). Let r = 24 - -39. Does r = x?
False
Suppose 1479 = -34*m + 85*m. Which is smaller: -1/108 or m?
-1/108
Suppose 5*k - 12 = -5*u + 68, 36 = 4*k - 3*u. Let h be ((-198)/(-660))/(k/(-35)). Which is smaller: 0 or h?
h
Let b(q) = -189*q**2 + 335*q + 1346. Let a be b(-4). Which is bigger: -3016 or a?
-3016
Suppose -3*g + 3*w = -3, 2 = g - 5*w + 1. Let n be (24/(-3) + 7)/((-1)/g). Let x be (25/(-10) + 4)/(n/(-2)). Which is smaller: x or -4?
-4
Let h be -5 - (-4608)/120 - (1*-5 + 2). Which is greater: 37 or h?
37
Let h be (-55)/33*(-15)/25. Which is smaller: 16/47 or h?
16/47
Let t = -13909 + 13909.1. Which is greater: t or 1588?
1588
Suppose -4*b = -0*b - 48. Let w(r) = r**3 - 10*r**2 - 23*r - 11. Let v be w(12). Let l be (-282)/(-22) + v/((-33)/(-6)). Which is grea