o or r?
o
Let m = 9 + -5. Let h = -249 + 249. Suppose h = -3*y - 4*y - 14. Is y equal to m?
False
Let f(j) be the first derivative of -j**2/2 + 65*j + 8. Let y be f(0). Suppose 5*r - 51 - 44 = 5*h, 3*h = -r - y. Do h and -20 have the same value?
False
Let h be (6894/15 + (-4)/(-10))*(775 - 773). Is 3677/4 at least as big as h?
False
Let m be (36/198)/(51 - 3). Is m equal to -1?
False
Suppose a + 2*c = 3*c, -a + 2*c = 4. Suppose -5*k + 113 = -7*v + 11*v, 0 = -4*k + a*v + 112. Suppose 0*z + 4*u - 22 = -z, 5*z + 5*u = 125. Is k bigger than z?
False
Let v = -61.092 - -61. Let r = 0.292 + v. Which is smaller: r or -0.05?
-0.05
Let k be (13 + 413/35)/(1/5). Suppose -46 = 2*u - 5*r - 73, 0 = 4*u + 4*r - k. Let x = 48 + -23. Which is smaller: x or u?
x
Suppose -3*b - 8*u + 4*u - 21 = 0, 5*b = -4*u - 35. Suppose 3*i + 9 = 0, 3*z + 2*i = 5*z - 10. Suppose -z = p + 8. Which is smaller: p or b?
p
Suppose -3*c + 21 = 4*f, 391*c = 5*f + 388*c + 21. Let b = 3 + -2. Let j be 143/540 - b/4. Which is smaller: j or f?
f
Let t = -427.95 - -504. Let b = t - 76. Are -1 and b unequal?
True
Suppose -2*q - 5*x + 4*x - 1927 = 0, -4*q - 3884 = -4*x. Which is greater: q or -964?
-964
Let r(d) be the second derivative of d**5/20 - d**4/12 - d**3/3 + d**2/2 - 8*d. Let p be r(2). Let z be 4/33*(9 + (-245)/28). Which is greater: z or p?
p
Let p(g) = -g**3 + 9*g**2 + 12*g - 15. Let x be p(10). Let o be (-6)/(x + (-322)/63). Is o at most as big as 55?
True
Let v(r) = -r**3 + 8*r**2 - 3*r + 112. Let y be v(9). Is y at most -90?
False
Suppose -5*a + w + 22 = 0, -4*w + 3*w - 2 = -a. Suppose -4*m + 28 = -a*r + 3*r, 2*m + 5*r = 2. Let s = -6 + m. Which is smaller: -7/11 or s?
-7/11
Let q be -38*(11 - 5475/30). Is 6519 less than q?
False
Let k be (-1649)/(-238) - 7 - (-2)/28. Which is smaller: k or -1/17657?
-1/17657
Let o = 116077/7 - 16583. Which is smaller: o or 565/8?
o
Let a(z) = -z**2 - 51*z - 569. Let p be a(-19). Which is smaller: -17 or p?
-17
Let g = 8 - 9. Let z = -2/3405 + -3101/517560. Which is smaller: z or g?
g
Suppose 82*i = -5099 + 596401. Which is smaller: 7210 or i?
7210
Suppose 2*k + 4*k = -0*k. Suppose 2*g - 38 - 14 = k. Suppose 5*b + g = 21. Which is smaller: -7/17 or b?
b
Let p = 55.3 - 5.1. Let d = p + 0.8. Which is smaller: d or 3?
3
Let z = 4/2739 - 2150123/5478. Suppose -2*k + 792 = -2*c, 15*c + 1971 = 10*c + 2*k. Is z >= c?
True
Let j(u) = -5*u**2 + 180*u - 168. Let k be j(1). Suppose 3*a + 6 = 3. Is a less than k?
True
Suppose 5*a - 4*w + 1715 + 1376 = 0, -4*a - 2478 = 2*w. Which is greater: -620 or a?
a
Let j = -398/3 + 2804/21. Let m = -11 - -11. Which is bigger: j or m?
j
Let w = -8976 - -8976.2. Which is greater: w or 730/9?
730/9
Let l = -89 - -89. Suppose l = 2*c - 2*a + a - 6, 6 = 2*c + 2*a. Suppose c*x = 3*q + 99, 0 = -4*q - 5*x + x - 140. Which is smaller: q or -33?
q
Suppose 4*u = -8, -2*h - 5*u + 3*u = -74. Let y = h - 57. Suppose -2*v = -v + 18. Is y equal to v?
True
Suppose -5*d = 4*h - 19, -h + 4*h + 3*d - 12 = 0. Let y be 0/(-68) - ((-2506)/738 - 0). Let n = y - 31/9. Which is bigger: h or n?
h
Let b = 0.0434 - -498.9566. Let y = b - 499.1. Let o = 22 - 22.52. Do y and o have the same value?
False
Let s(c) = c + 1. Let h be s(3). Suppose 2*n = a - 2*a, -35 = h*a + n. Let g = -1.9 + 2. Is g less than a?
False
Let o(m) = 28*m - 42. Let d be o(-8). Let t = -408 - d. Are -142 and t equal?
True
Suppose -62 = -4*k - 5*t, -4*k - 5 = -2*t - 53. Let u(f) = 3*f**2 - 21*f + 46. Let c be u(3). Is k >= c?
True
Suppose -4*l = -5*p - 58, -2 = -l - 5. Let i be (10 - (13 + 3) - -8)*-13. Which is bigger: p or i?
p
Suppose -2*j - j = 39. Let i = j - -14. Let z be (-8 + -8 + 14)/(-60). Are z and i non-equal?
True
Let q = -183 - -53. Let y = -0.19744 + -140.80256. Let s = q - y. Are s and -3 non-equal?
True
Let x be ((-4169)/(-275) + -13)*(-15)/12. Is x at least -11?
True
Suppose -3*h + 39 = -z, 0*h + z = -h + 13. Suppose -4*x = -2*o - 10, 4*o + 0*o + 12 = 0. Let s = 12 + x. Is h greater than s?
False
Suppose -17*l - 247 = -3086. Suppose 205 = -9*w + 4*w + 5*j, -4*w + j - l = 0. Which is smaller: -41 or w?
w
Let q(d) = 13*d**2 - 9*d + 1. Let x(y) = 12*y**2 - 10*y. Let a(u) = 7*q(u) - 6*x(u). Let j be a(2). Let t = -115 + j. Which is smaller: t or -39?
-39
Let l be 0 + 20412/(-13) + -2. Let d = -1571 - l. Let a = 298/247 - d. Is a equal to -1?
False
Let o(q) = 2*q**2 + 35. Let y be o(0). Suppose r + y = 34. Do r and -3/7 have different values?
True
Suppose 0 = 3*y - 3. Let g = 72038 - 4538392/63. Is g < y?
True
Let i be 269/(-60) + (-850)/(-10200). Let w be (-2)/3 - 4/12. Let o(b) = 6*b**3 + 2*b**2 + b. Let l be o(w). Which is smaller: l or i?
l
Let u be (-90)/32 - -3 - 7/(-28). Let k = 245 + -245.1. Is k at least u?
False
Let h = 7.87 - 7.3. Let b = h + -0.22. Let g be (7 - 1/(-5)) + -7. Which is smaller: b or g?
g
Let c = 0 + 0. Let d(z) = 3*z**2 + 28*z + 77. Let v be d(-24). Let i = v + -39652/35. Is c < i?
True
Let s = 4607 + -18425/4. Which is bigger: 25 or s?
25
Let i be 110/(-99)*114/(-95) - (-1616)/(-6). Are i and -249 nonequal?
True
Let t = 13712/20559 + -2/6853. Which is bigger: t or 319?
319
Let x = 205 - 203. Suppose 5*n + x*c - 3*c + 345 = 0, -75 = n + c. Which is bigger: n or -69?
-69
Suppose n - 3*u + 7*u = 0, 0 = 2*n + u + 35. Let s be (32/n)/1*(-39)/6. Is s bigger than 10?
True
Let r = 20 - 20. Which is smaller: r or -11/612?
-11/612
Let f = 0.1716 - 0.1716. Is 1/231 > f?
True
Let k = -146 - -265. Let z = 0.836 + 0.164. Which is smaller: z or k?
z
Let l be (-22)/(-6) + (-4)/(-12) - 3. Let d be 5/l - (-288)/9. Suppose -2*q = 2*q - 4*f - 84, 5*f = q - d. Is q less than or equal to 15?
False
Let i be (76/190)/((-102)/30 + 3). Which is greater: -1/932 or i?
-1/932
Let v = 243659/1020 - 2867/12. Which is smaller: v or 0?
v
Let n = -17 + 17. Let b = -605 - -604.6. Which is greater: b or n?
n
Let d be ((-1)/(-10))/(5/(-1017230)). Let y = 20257 + d. Let b = 88 + y. Is -1/5 at most as big as b?
True
Let f = 195 - 391. Let y = -195 - f. Let u be 1/19 - (-2 - -2). Are y and u equal?
False
Let h = 121 + -364/3. Let n = -237 + 118. Is n <= h?
True
Let s be ((39 - 18) + -20)*(-1)/(-2). Which is smaller: s or 1/256?
1/256
Let z = 3/116 + -313/3132. Let w(x) = -7*x - 201. Let g be w(-29). Suppose 5*b + 5 = 5*s, -3 = -s - g. Which is bigger: z or b?
b
Let l = -140 - -126.3. Let z = 17.7 + l. Is 10 equal to z?
False
Suppose -4*i - b - 104 = -460, -i - 4*b = -104. Let n be (-1)/(-2) + 22*(-4)/(-16). Suppose -4*t = -n*t + i. Which is bigger: 43 or t?
t
Suppose -6*q - 5*w + 642 = -5*q, -5*q - 3*w = -3144. Let h be 4/(-22) + (-241281)/q. Is h at most as big as -386?
False
Let d = -10112 + 10111.6. Is d smaller than -18/143?
True
Let t(l) = -236*l + 7079. Let r be t(30). Are r and 19/844 non-equal?
True
Let v = -11 - -11.11. Let a = 0.01 - v. Is 2/19 less than or equal to a?
False
Let v = 2/23315 - -2308169/186520. Suppose -5*z - 58 = -3*q, 5*z - 8 = -3*q - 0*q. Do q and v have the same value?
False
Let n = 76 - 90. Let m be n - (-176)/12 - (-22)/(-12). Which is smaller: -4 or m?
-4
Let g be (-3)/9*-33 + (-76)/10. Which is smaller: 2.75 or g?
2.75
Let a = -155/63 - -17/9. Is 14.1 at most a?
False
Suppose -4 = -4*r - s, 0 = -0*s + s. Let b be 1 + r - -128*(-4)/168. Let z = 1 + b. Is 0 greater than z?
True
Let s = -72/1799 + 905834/22723169. Which is smaller: s or 0?
s
Let o = -32 - -32.029. Let y = 0.401 + o. Let h = -0.43 + y. Which is smaller: 9 or h?
h
Let m be ((-1 - -52)/3)/((-2)/(-2)). Suppose -4*l + 3*b = -2*l - 29, 3*l - 60 = -b. Which is smaller: l or m?
m
Let s = 17 - 5. Let h = 3 + s. Let b(g) = -47*g - 31. Let m be b(-1). Which is smaller: m or h?
h
Let r be (-12 - 19491/(-1701)) + 10/14. Is 0.1 less than or equal to r?
True
Let r = 732 + -856. Let w = r - -123.67. Is 8 < w?
False
Let d = -7187 + 7173. Suppose 3*h + h = -3*f + 19, -4*h + 17 = f. Let c be 82/(-7) - h/14. Which is bigger: c or d?
c
Let n = 34491 + -34510. Do 95 and n have the same value?
False
Suppose 48*g - 54 + 6 = 0. Which is smaller: -13/51 or g?
-13/51
Suppose 2*h - 24516 = 3*i, -h + 5*i + 9438 = -2848. Which is smaller: h or 12247?
h
Let o be 4 + -6 + (-1746)/4. Which is smaller: -439 or o?
-439
Suppose 7606 = x + 2*x + w, -3*x + 7604 = -w. Is x at least 2535?
True
Let o = 15.55 -