
r
Let c(h) be the third derivative of -h**5/60 + 7*h**4/12 - 7*h**3/2 - 3*h**2 + 10*h. Suppose -3*t + 40 = -2. Let q be c(t). Which is bigger: -22 or q?
q
Let s(c) = 11*c**2 + c. Let n be s(1). Let d be 8/n - (-1 + 116/12). Which is greater: d or -3?
-3
Let h = 0 + -0.1. Let f be (-88)/(-66) - (-3)/((-4239)/1911). Is h less than f?
True
Let m(p) = -p**3 + 2*p**2 - 3*p + 1. Let b be m(1). Is b not equal to 1/733?
True
Let j be (734928/73500 - 0) + 30/(-3). Which is bigger: j or 1?
1
Suppose 2*v = 3*v + 3. Let j be 0 + 1/(v + 2). Let f = -2031/11473 + -5/1043. Is f at least j?
True
Let q = -1610 + 1611. Is q at least as big as 4/10227?
True
Suppose 5*a = 39 + 26. Suppose 0 = 46*k - 56*k + 4960. Let o = 504 - k. Which is smaller: o or a?
o
Let s(w) = 16*w + 36. Let x be s(-9). Let h = 76 + -184. Is h bigger than x?
False
Let u be (282/(-4))/(-1)*2. Let n = 260366/1791 + -760/199. Let s = n - u. Is 1 at least s?
True
Let p be (3/6)/(1/6). Let b(v) = v**2 - 2*v + 81. Let o be b(17). Let d be 6*(o/(-162))/(-4). Which is smaller: d or p?
p
Let q = 0.42 + -0.2. Let j = -2.72 + -1.28. Which is smaller: q or j?
j
Let x be 0 + -1 + ((-91)/(-273))/((-587)/(-1788)). Is 0 bigger than x?
False
Let i = -2259 + 2256. Which is smaller: 580 or i?
i
Let m = 70 - 75. Let o be m/(-4)*4/10. Which is greater: 0.82 or o?
0.82
Let x be (-2796)/(-9468) - 19/57. Which is smaller: 1 or x?
x
Let h be ((-1090)/10)/((2/10)/1). Let b = 13628/25 + h. Is b != 0?
True
Suppose 409 - 1859 = 58*q. Which is smaller: q or 4?
q
Suppose 811*a - 926*a + 481045 = 0. Which is greater: 4184 or a?
4184
Let k(i) = -i**3 - 46*i**2 + 7*i + 19. Let m be k(-46). Which is bigger: 0.03 or m?
0.03
Let v be 1/(-7)*-2 + (-224)/784. Let o = 142 + -154. Which is greater: v or o?
v
Let j be (8/(-12))/((-5)/(-90)). Suppose z - 3 = 0, 4*v - 3*z - 23 = -8*z. Let d be 3 + (v - (-61)/j). Is 1 bigger than d?
True
Let u = -1497 + 1490.69. Let d = u + 5.45. Is -1 less than d?
True
Let q(n) = n**2 + 15*n - 17. Suppose 319*i - 6 = 313*i. Let x be q(i). Let w be (-4)/290 + -10 + 10. Which is smaller: x or w?
x
Let j(i) = -230*i**3 + 15*i**2 - 8. Let w be j(6). Let f be w/3705 + 16/(-12). Let r = f - 1/741. Are -14 and r nonequal?
True
Let j be 1/((-3)/(-12)) + -92. Let w = j + 193. Suppose 2*x + w = -5*n, -2*x - n - 113 = -4*n. Is -55 != x?
False
Let d = 7 - 4. Suppose 0 = 4*x + d - 11. Suppose -4*a - 50 = x*i, -77 = 5*i - 4*a + 2*a. Is i less than -16?
True
Let h = 24 - 12. Let t = -913 - -888. Let g = h + t. Is -13 smaller than g?
False
Suppose -5*x + 4*b = 6*b + 174, -3*x - 2*b = 106. Which is smaller: x or -435/13?
x
Let f = 41 - 40. Suppose j = -10 + 29. Let l(p) = 3*p - 64. Let n be l(j). Is f at least n?
True
Let n = -106.52 + 180.53. Let f = -64 - -138. Let a = n - f. Is a smaller than -2/3?
False
Suppose 3*a - 100 = -5*n, 0 = -3*n + 2*n + a + 20. Let t = 7 - n. Let o(d) = d**3 + 12*d**2 - 13*d + 3. Let q be o(t). Which is greater: q or 0?
q
Let u be (-63)/21 - (-4)/(-6). Do u and -0.053 have the same value?
False
Suppose 8*u - 1438 - 173 = 1765. Is u <= 426?
True
Let h = -6875/174 - -235/6. Suppose -12 = -5*d - 2*p, -178*d = -174*d - 2*p + 12. Is d greater than h?
True
Let q be (-20)/(-6) + 1 + (-368)/69. Is -3/1489 >= q?
True
Let h = -469 + 399. Let q be 364/2805 + h/525. Are q and 0 nonequal?
True
Let t = 133.83 - 2.83. Let y = t + -115. Which is bigger: y or -2/13?
y
Suppose -2*m = -3*n - 14, -5*n - 117 = 4*m - 123. Which is bigger: m or -0.065?
m
Let t = 0.25287 - -1.45653. Which is bigger: t or -2/5?
t
Let f = -15.83 + -84.17. Which is bigger: f or 3/7?
3/7
Let k = 430 + -434. Let a be 20/(-90) + k/(-18) - 56. Do -56 and a have different values?
False
Let f(d) = -d**2 + 4*d - 22. Let t be f(4). Let w be ((-2)/8)/(t/(-88)). Which is greater: -9/91 or w?
-9/91
Let l be 3*(-20 + 19)*(-2)/3. Suppose -z - z = 5*j + 676, 0 = -z - l*j - 337. Are -334 and z equal?
False
Let o be 1/(-7 - -9 - 30/16). Let m(c) = -c + 9. Let s be m(o). Which is smaller: s or -4/47?
-4/47
Suppose -26*r = 107 + 75. Let c be 5*(-8)/(-20) + 5 + r. Which is smaller: c or 17/5?
c
Suppose 6*f = 25*f - 1900. Let v be (-22)/(f/15 + -6). Which is smaller: v or -31?
v
Let s = 1190 + -1190.1. Which is bigger: s or -119/8?
s
Let d(r) = r**2 + 40. Let n be d(-9). Let o = -386 + n. Which is greater: o or -266?
o
Let l be 23 - 25 - (10/8 + 0). Suppose -2*m = 1 + 1, -5*m = -2*p - 5. Let j = p + 3. Is j greater than l?
True
Let c be ((-10)/(-8))/((-40)/(-3408)*798/(-140)). Which is smaller: c or -18?
c
Suppose 814 = 2*z - 212. Let r = z - 214. Is 299 at most r?
True
Suppose -4*z + 2*m = -2*m - 20, -3*z + 5*m + 17 = 0. Let v be -2 - (20/3)/(16/24). Let y be (v*1)/(-3) - 1. Is z equal to y?
False
Suppose 10180 + 15395 + 9291 = 149*p. Which is smaller: p or 0.03?
0.03
Suppose 0*h - 2*h = -5*t - 247, -4*t = 12. Suppose 24 - h = 4*c. Let q = -147 - -124. Are q and c equal?
True
Let j = 10 + -11. Let q = 140 + -22. Let v = q + -117.91. Which is smaller: j or v?
j
Let c be (-2)/5 + (64/(-200))/((-18)/135). Is -914 at most as big as c?
True
Let h be (-1725)/(-90) + 5/6. Let q(r) = -3*r**2 + 58*r + 41. Let l be q(h). Is 2/663 at least as big as l?
False
Let n = 406 + -387.6. Let m = 30.4 - n. Let z = 0.1 - 0.1. Are m and z nonequal?
True
Let q(i) = -i**3 + 13*i**2 + 19*i + 92. Let y be q(16). Is -372 >= y?
True
Let d = 0 + -0.2. Suppose -3*b - 191*x = -195*x - 264, -3*b = -2*x - 276. Is b greater than or equal to d?
True
Let a be 26*(3328/(-48))/26*6/2. Is -3528/17 not equal to a?
True
Let o = -201 + 222. Suppose -o*y + 1 - 1 = 0. Which is smaller: y or -426?
-426
Let k(q) = 20*q - 6. Let v be k(-2). Let n = -47 - v. Let l = 2/1521 + -6122/28899. Is n greater than l?
False
Suppose -3257*d = -3242*d - 46245. Which is smaller: d or 3084?
d
Let p be (-312)/(-16)*(-64)/12. Let d be 0*((-34)/(-52) - (-16)/p). Is d at most as big as 0.117?
True
Let c(j) = -16*j + 93. Let d(m) = 5*m - 29. Let g be d(7). Let o be c(g). Which is smaller: -20/9 or o?
o
Let o = -89315 - -400935033/4489. Is o not equal to -1?
True
Let o = 319 + -433. Let f = o - -1474/13. Is f equal to 0?
False
Suppose 16*y + 2071 = -5577. Let d = -454 - y. Which is greater: 25 or d?
25
Let o be (59 - -33)*(-3)/(-2). Which is bigger: 1510/11 or o?
o
Let x(d) = -3*d**3 + 3*d**2 + 121*d + 38. Let g be x(12). Which is bigger: g or -3261?
-3261
Let b be (-40)/80*6/1082. Is b greater than or equal to 1?
False
Let z = -1 + 2. Let h be (-84)/(-22) + (-4)/(-22). Suppose 0 = -h*j - z - 7. Which is bigger: j or -3?
j
Let c = 0.0091 + -23.1091. Let t = c + 23. Let m = -1016 - -1010. Which is greater: m or t?
t
Let z = -32579 - -53462152/1641. Which is smaller: -1 or z?
-1
Suppose -3*y = 2*u - 4 - 0, 5*y - 6 = -4*u. Let f(j) = -3*j + 3. Let w be f(y). Suppose -r + 9*c + 98 = 0, 4*c = 2*r - 28 - 14. Which is smaller: w or r?
w
Let y(a) = a**3 + 9*a**2 - 8*a. Let n be y(-10). Let x be ((-5)/n*4)/3. Let m(g) = g**2 + 7*g + 6. Let p be m(-6). Is x > p?
True
Let d = -38392 - -38392. Let h = -85555/52976748 + -1/43388. Which is smaller: h or d?
h
Let i = 2284.933 - 2284. Let u = -0.067 - i. Is u >= 11.9?
False
Let d = -2/953 - 20924/20013. Let m(o) = 2*o**2 + 328*o - 6156. Let g be m(17). Is d greater than or equal to g?
True
Let n be 7/(-6) + (2 - 1) + 67790/(-60). Is -1129 at least n?
True
Let h = -43 - -75. Suppose 61*s - 55*s - 1128 = -41*s. Is h > s?
True
Let t(d) = -d**3 + 26*d**2. Let w be t(26). Suppose 280*m - 278*m + 2 = w. Which is bigger: m or 2/11?
2/11
Let j = -0.52 + 21.52. Let t = 33 - 33.044. Let b = t - -0.144. Is b <= j?
True
Let r = -268 + 268. Suppose r = 5*u - 5*f - 40, 0*f + 2*f - 26 = -5*u. Which is smaller: 5 or u?
5
Let p = 3511 + -894. Is p at least as big as 2617?
True
Suppose -7*m + 40 = -6*m. Suppose -5*n = 2*k - 4, 2*k - 2*n - m = 2*n. Suppose -g + 4*g - k = 0. Which is greater: -1 or g?
g
Suppose 28*t - 4 = -4. Is t at least as big as -104?
True
Let s = 335 - 334.9. Which is bigger: s or 391?
391
Suppose -1 + 9 = 8*k. Suppose 5*r = 2*l - 5, 0 = 4*l - r - 2 + k. Is 2/35 at most l?
False
Let f = 158 + -156. Suppose -2*h + 5*c = f*h - 47, -2*c = -10. Let d = 17 - -1. Is h bigger than d?
False
Let x be (-47 - (-10894)/234)*(-3)/(-4). Let g = -15 + 15.9. Let n = g + -0.41. Is x <= n?
