r: r or 25/57?
25/57
Suppose -28 = 3*n + 4*j + 7, -4*n - 30 = 2*j. Let u(z) be the second derivative of -5*z**3/6 - 14*z**2 + 4*z - 9. Let b be u(n). Which is smaller: -11/6 or b?
b
Let o = 21 - 35. Let n be 28/o*10/(-46). Suppose 2 - 8 = -3*s + 3*r, 5*s - 6 = 3*r. Do n and s have different values?
True
Let b = -218 + 221. Suppose 5*c + 25 = -4*a, -2*c = b*a + c + 15. Which is smaller: a or -2?
-2
Let z be 5 + 6 + 1130/(-100) + (-40989)/(-136730). Which is greater: 1 or z?
1
Let v(f) = -3*f**2 + 15*f - 3. Let m be v(5). Let u(q) = 3 - q**2 + q - 5*q + 2*q. Let c be u(m). Which is greater: c or 5?
5
Let u be (-58)/203 - (-17580)/(-14). Which is smaller: u or -1253?
u
Suppose -25*l + 99 = -1. Suppose p + 24 = l*p. Which is smaller: 48/7 or p?
48/7
Let s(b) be the third derivative of -7/24*b**4 + 6*b**2 - 1/60*b**5 + 0 + 0*b + 14/3*b**3. Let q be s(3). Which is smaller: q or 0?
q
Let j be -1*3 + 1682/(-266). Let q = 150/19 + j. Let h = q - -78/35. Which is smaller: 2 or h?
h
Suppose 6*k - k = 820. Let c = 493/3 - k. Which is bigger: 36 or c?
36
Let j(s) be the first derivative of -s**2/2 + s - 18. Let d be j(-4). Suppose 0 = -3*o - 2*o + d. Is o > 1/3?
True
Let y = -0.109 - 182.891. Let n = y + 202. Is -1 bigger than n?
False
Let y be (-6 - -8)*(-67 - -14). Which is smaller: y or -952/9?
y
Let i(g) = -11*g**2 + 634*g + 149. Let m be i(60). Which is smaller: m or -1412?
-1412
Let o be 128/22 - (-12)/66. Let u be (1 - 0)*1*o. Let c be (-5 + 11)/((-1)/(-12)*9). Which is smaller: c or u?
u
Let f(o) = -2*o**3 - 8*o**2 - 26*o - 103. Let j be f(-4). Which is smaller: 27/343 or j?
27/343
Let m be (1 + (-4 - (-85)/30))/((-4)/(-36)). Is -1613 not equal to m?
True
Let q(b) = b**2 - 25*b + 106. Let a be q(12). Let o = a + 51. Let v = 205/7 - 33839/1155. Is v less than o?
True
Let w be ((-18132)/216*-6)/((-12)/(-504)). Is w < 21156?
True
Let v = 298 - 289. Suppose -d = -w - v, -3*w + 2*d = -2*w + 5. Is w greater than -12?
False
Let p = -80 + 44. Let z = p + 44. Suppose -c + 4 = -g, -3*g + c + 2 = -z*g. Which is greater: g or -1/7?
-1/7
Suppose -266*k + 268*k - 4 = 0. Suppose 2*n + 10 = 0, 2*j + k*n = -3*n - 23. Which is smaller: j or 2/79?
2/79
Let f be 14/((-1)/(-11)*-6). Let p = -1235/48 - f. Let n = -2.8 - -3. Is n < p?
False
Let m be 20/(-4) + (-155)/(-3). Let w = -599/12 + m. Let f(z) = -z**2 - 14*z - 28. Let j be f(-12). Is j smaller than w?
True
Let j(k) = 25*k + 88. Let g be j(-9). Let z = g + 5. Are -132 and z unequal?
False
Suppose 0 = 3*f - 3*v + 7*v - 220, 3*f - 222 = -3*v. Let k = 16 - f. Let l = -57 - k. Which is smaller: 17/4 or l?
l
Suppose -22 = y + 49. Suppose -4 = -8*w + 12. Suppose -o = -w*o - 71. Is o != y?
False
Let t = -0.34 + 55.34. Let x = t + -37. Let v = 15 - x. Is v > -1?
False
Suppose 5*i - 4*h = 15, 5*i = 3*h - 4 + 14. Let w = 271 + -256. Let g be w/285*15/(4 + -1). Are i and g equal?
False
Suppose -2*p - 240 + 352 = 0. Is 39 smaller than p?
True
Suppose 103 - 328 = 5*k. Let n = 81 + k. Let i be ((-12)/(-10))/(n/280). Is 9 at least as big as i?
False
Let u(z) = z**2 - 2*z + 2. Let r(o) = -6*o**2 + 10*o - 10. Let c(l) = -2*r(l) - 11*u(l). Let f = 15 + -18. Let b be c(f). Are 1 and b equal?
True
Let z(x) = x**3 - 25*x**2 - 966*x + 12. Let r be z(46). Which is greater: r or 161/12?
161/12
Suppose 32*l = 3*p + 33*l + 13208, -p + 2*l = 4398. Which is smaller: -4401 or p?
p
Suppose 0 = -4*q - y + 9, 7 = q + 3*y + 2. Let j be ((-20)/25)/((-8)/20). Suppose -4*l - 83 = -x, q = j*x - 4. Are -20 and l equal?
True
Let z(c) = -46*c - 48*c + 175 + 16 + 148*c + 53. Let v be z(-5). Which is bigger: -27 or v?
v
Let p = -921 + 948. Let t be ((-25)/(-75))/((-24)/p - -1). Let i = 1156/345 + -2/115. Which is smaller: t or i?
t
Suppose 3*c + 336 = -2*o, -c - 2*o - 112 = o. Let n = 101 + c. Suppose -2*w - 48 = 2*w. Do w and n have the same value?
False
Let l be 3/((-6)/(-4))*(-2)/3126. Let w = l + 1913/2084. Is -1/5 at least as big as w?
False
Let w = 23/4 + -149/28. Is 3/10 less than w?
True
Let x be (-13)/((-11115)/2620)*24/16*1. Which is bigger: x or 5?
5
Let l = -12601/126 - -100. Let z = l - -43/126. Which is bigger: 0.064 or z?
z
Suppose -4*u + 44 = -2*u. Let i(s) = -2 + 3 - 3*s**2 - u*s**3 + 1. Let r be i(-1). Which is smaller: r or 20?
20
Let j be 135*-6 + (-20 - -18). Let y = 488 + j. Let d be y/(-672) - 1/(-7). Is d smaller than 1?
True
Let c = -7429.1 + 7029. Let x = c + 400. Which is smaller: -1 or x?
-1
Let d(q) = 3*q**2 - 7*q - 5. Let m be d(6). Let o = -25363 + 25425. Is m at least o?
False
Let c = -12757/33072 - -17/624. Are c and -1 unequal?
True
Let o be (-2 - (-1)/1)*-3. Suppose 3*h = 5*s - 14, 5*h + 3 = 4*s - o. Suppose 17 = -3*q + s*v, 5*q - 5*v = -10*v + 30. Which is bigger: 1/175 or q?
q
Suppose 0*y - 5*c + 69 = -2*y, 0 = -5*y - 2*c - 158. Let w = y + 37. Suppose 3*v + w = -7. Which is smaller: -7 or v?
-7
Let z = -45 + 21. Let q be (-1)/2*z/50. Let p be (1256 + -32)/72 + (-18)/1. Is p > q?
False
Suppose 17660 = -5*c + 2*l, 12*l - 13*l - 14128 = 4*c. Let p = c + 681678/193. Is p bigger than -1?
True
Let x be (-8 + (220/(-12))/(-11))*-57. Which is smaller: x or 363?
x
Let j = -101 - -237. Let q = 144 - j. Which is bigger: 22 or q?
22
Let q(g) = -144*g - 1441. Let b be q(-10). Which is smaller: b or 13/718?
b
Suppose -m + 5*g - 11 = -3*m, 4*g - 16 = -4*m. Suppose -4*y + y = -3*u + 3, -m = -3*u - y. Which is smaller: 13/9 or u?
u
Let d = 34 + -20. Let a = -435.904 + 418.904. Which is bigger: a or d?
d
Let h(u) = -809*u - 6182. Let a be h(21). Which is smaller: -23172 or a?
-23172
Let g = 1286.1 + -1286.31. Let n(y) = y**2 + y + 1. Let x be n(-1). Is g less than or equal to x?
True
Let l = -173 - -161. Suppose 2*f + 16 = 3*u, 5*f + 2*u = 6*u - 47. Let c = l - f. Which is smaller: c or 1/3?
c
Let v = -5288/85 + 1044/17. Which is smaller: v or -31?
-31
Let c = -1216 - -2267. Let k = 3125/3 - c. Is k bigger than -10?
True
Let h = -0.091 - -0.148. Let a = 0.745 + -1.302. Let k = h + a. Which is smaller: k or -6?
-6
Suppose -4*g - 50*g = 65*g - 477309. Is g greater than 4011?
False
Suppose -4636 = 64*i + 56*i - 124*i. Which is smaller: i or 4641/4?
i
Suppose 2*r - 24 = 4*h, -5*r = -2*r - 3*h - 45. Let p(o) = 3*o - 55. Let w be p(r). Is w <= 2/31?
True
Let f = -156 + 252. Let d = 96.42 - f. Let b = d - 5.42. Is -8 bigger than b?
False
Let r be (-21)/14 + (6/12 - 0). Which is smaller: r or -70/51?
-70/51
Let t = -24 + -281. Let s = t - -307. Is s at least -0.35?
True
Let d be 11/(-408*(-4)/(-327) + 5). Does d = 0?
False
Let y = 4 - 3. Let k(l) = -l**3 - 7*l**2 - 4*l + 16. Let p be k(-6). Let u be (-10)/p*(-24)/(-210). Which is greater: y or u?
y
Let n be ((-648)/2268)/(((-1)/14)/1). Let w = -119/300 - 14/75. Let t = -1/12 - w. Which is greater: n or t?
n
Let i(m) = 219*m - 1315. Let s be i(6). Which is smaller: s or -320?
-320
Suppose -5*m + 0*z - 85 = 5*z, -3*m = -3*z + 33. Let o be m/(-63) + 1408/(-18). Is o at most -77?
True
Let n be ((-45)/(-6))/((-21)/(-70)). Let k be n/(-3)*(9 + -12). Let q be -4 + (-3 - k)/(-4). Is q greater than or equal to 2?
True
Suppose 0 = 5*z + 17*z + 71280. Let f be (4/(-6))/(6/z). Are f and 0.1 nonequal?
True
Let l(i) = -101*i + 123. Let g be l(3). Let k = g + 173. Let u = -14 + 5. Is k bigger than u?
True
Let v = -220 - -109. Let r = v + 82. Do r and -0.3 have different values?
True
Let l(u) = -u**3 + 20*u**2 - 108*u - 21. Let m be l(20). Do -2180 and m have the same value?
False
Let s(w) = -w**3 + 24*w**2 + w - 7. Let q be s(24). Suppose -g - 188 = -2*x, q*x - 12*x = 2*g + 377. Is g greater than or equal to -186?
True
Let k(d) = -2*d**3 - d**2 - 5*d + 7. Suppose -4*w = 2*y - 14, w - 2*y = 4 - 13. Let h be k(w). Are h and -1/258 unequal?
True
Let j = -6 + 5.97. Let o(r) = r**3 + 6*r**2 + 8*r + 13. Let c = -96 - -91. Let m be o(c). Is m at least j?
False
Suppose -3*h - 5*g + 4 + 62 = 0, 44 = 2*h + 2*g. Let l be ((0 + -3)/(-21))/(h/154). Is l at most 1/79?
False
Let a be (-116)/72 + 100/(-600). Let t = -3/14 - -5/7. Do a and t have the same value?
False
Suppose -2*a = 2*a + 4*h - 16, 5*a = -h + 24. Suppose -a*v = 2*z + 4 - 1, 3*z = 5*v + 8. Which is smaller: z or 2/71?
2/71
Let o(w) = 4*w**2 - 4*w + 9. Let y(g) = g**2 - 3*g + 5. Let u(k) = 3*o(k) - 5*y(k). Let a be u(-1). Is 3 bigger than a?
False
Suppose