= d**2 - 6*d + 3. Let k be q(2). Let t be -2 - ((-510)/(-200))/(6/k). Which is smaller: t or 1/3?
t
Let j be (-56 + 66)*2/(-5). Which is bigger: j or -105/31?
-105/31
Let t be 8/(-5) - 4/10. Let w = -124 - -141. Let j be (w - 15)*(-1)/3. Is j greater than t?
True
Suppose -20*v + 27*v = 21. Suppose 6*j = -2*w + 2*j + 154, -4*j + 239 = v*w. Which is smaller: 84 or w?
84
Let s = -0.092 + 1.012. Let c = s + 1.08. Is -1/13 < c?
True
Let s(c) = -22*c + 102. Let i be s(-6). Do 232 and i have the same value?
False
Let j = -58 + 74. Let v = -16 + j. Which is smaller: v or 2/55?
v
Let n(t) = 15*t + t**2 + 8 + 14 - 2 - 6. Let o be n(-13). Is -11 less than or equal to o?
False
Let s be ((-43)/172)/((-2)/((-24)/(-9))). Is 102 >= s?
True
Let d(v) = v**2 - 16. Let f be d(9). Let h = -179 + f. Are h and 0.1 unequal?
True
Suppose 11*q - 464 = -5*q. Which is smaller: q or 7?
7
Let j = -0.1 - 0.9. Let r = 460/51 - 142/17. Which is smaller: j or r?
j
Suppose -39432 = 66*b - 2934. Is b at most as big as -553?
True
Suppose -i = -0*s + s - 18, -5*i - 4*s = -90. Let d = i + -19. Which is smaller: d or -24/11?
-24/11
Let o = -33 + 32. Let z = -60 + 59.97. Which is smaller: o or z?
o
Let q = 197 - 75. Which is bigger: q or 119?
q
Let m(j) = 2*j**2 + 18*j + 21. Let r be m(-10). Which is smaller: 2/19 or r?
2/19
Let d = 38 + -49. Let j(m) = -m**3 - 11*m**2 + m + 22. Let l be j(d). Which is smaller: l or 9?
9
Suppose 16 = 996*j - 1012*j. Is j equal to -8/91?
False
Suppose 0 = 3*a + 2*o - 532, -2*a + 459 = -4*o + 83. Let c be (24/a)/(-1 - 6/(-9)). Let q = 3 + -3.2. Is q > c?
True
Let x = -0.84 + 0.916. Let w = -23.924 - x. Are 0 and w equal?
False
Suppose 0 = 3*h + 4*y - 100, -21*y + 59 = 2*h - 26*y. Is 29 <= h?
True
Let p = -811 - -810.82. Let b be (1/2)/(14/8). Which is greater: p or b?
b
Let t be (16/42)/((-4)/6). Let i be (15/3)/(174/44 - 4). Let s = i - -110. Which is smaller: s or t?
t
Let b = 0.4 - 12.4. Let v = -3105 - -3100. Is v smaller than b?
False
Let u = 0.018 - 0.388. Let p = 0.37 + u. Is p not equal to 16?
True
Let j = -7 - -4. Let m = 570 + -570. Is m < j?
False
Suppose -7*u + 17*u = -50. Which is smaller: 5 or u?
u
Let k = 449 - 451. Are k and -5 equal?
False
Suppose 2*t - 3*k = -101, -5*k - 86 = -61. Which is bigger: t or -57?
-57
Let r = 26105/33 + -791. Let q(d) = d**3 - 3*d**2 + 1. Let h be q(3). Are r and h unequal?
True
Let o(x) = 18*x - 3 + 0 - 16*x - 2. Let q be o(1). Which is bigger: -4 or q?
q
Suppose 0 = -5*n + n - y - 304, n = -2*y - 83. Which is greater: -76 or n?
n
Let h = -26 - -30. Suppose -3*x + 4*l - 12 = x, 2*l - h = 0. Does -4 = x?
False
Suppose 0*d - d + 2 = -3*n, -2*d + 3 = -5*n. Let w be d + 0*(-5)/25. Let q be 0/10 - 4/(-14). Which is greater: q or w?
q
Let b be (-7)/(-10) + (2 - 2). Let i(a) = -a + 22. Let g be i(20). Which is greater: g or b?
g
Let v(m) = -4*m + 2*m + 4*m - 3. Let z be v(2). Let t be (2 - 2) + z/(-1). Is -1/2 less than or equal to t?
False
Suppose 27*h - 10 - 476 = 0. Do 18 and h have the same value?
True
Suppose 4*n - n = -3*k - 15, 4*n + 4 = 4*k. Let h be (24/4 - 1) + k. Let x = -8 - h. Is 0.1 at least as big as x?
True
Let l = 59 - 62.6. Let a = l - -3.8. Which is smaller: 2/9 or a?
a
Suppose h - 5*u - 26 = 0, -5*u - 22 = -h - u. Let w(z) = -9*z**2 + z**2 + 3*z**3 - 14*z - 2*z**3 + 14 - 4*z**2. Let a be w(13). Is a < h?
True
Suppose -4*p = 27 - 39. Suppose -p = -2*r + 11. Is 0.2 <= r?
True
Suppose -24*s + 28*s = -5*q - 2843, 3538 = -5*s - q. Which is smaller: -706 or s?
s
Suppose -38*o + 37*o + 3 = 0. Is o >= 3?
True
Let y = -28.83 - -0.23. Let r = y - -16.7. Let a = r - -12. Which is smaller: 0.4 or a?
a
Let t = -22 - -26. Suppose -t*d - 16 = 3*k, 12 = k - 6*d + 3*d. Let y(v) = v**3 - 1. Let m be y(k). Which is smaller: -1/7 or m?
m
Suppose 2*k - 36 = -2*k. Suppose -o + 10*o = k. Is -1/95 greater than o?
False
Let m = 1.8824 - -0.1176. Is m equal to -0.459?
False
Let v be (-6 - (-198)/8)*4/(-13). Which is smaller: -5 or v?
v
Let b(t) = -4*t**2 + 49*t + 13. Suppose 4*l - 21 = 27. Let w be b(l). Which is greater: 24 or w?
w
Let r be ((-6)/(-10))/(1/(-5)). Let s be (-60)/(-225)*r/(-2). Is 0 smaller than s?
True
Let z(k) = -69*k - 25. Let i be z(-1). Is i >= 44?
True
Let l = 2 - 2. Let r = -344 + 336. Which is smaller: l or r?
r
Let z = 72 + -72.29. Let m = -0.97 + 1.07. Is z greater than m?
False
Let s(g) = -61*g - 154. Let v be s(-5). Is v less than or equal to 151?
True
Let u = 1072 - 1071.84. Which is smaller: u or -0.2?
-0.2
Suppose 6 = -f + 5. Let g be (0/(-2) - -1) + f. Let w = -17/168 + -1/42. Which is bigger: g or w?
g
Suppose 8*r + 126 = 118. Is r != 2/217?
True
Suppose 2*v - 3*f - 791 = 0, 2*v - f - 794 = 3*f. Suppose 0 = -6*n - v - 605. Let l be n/(-110) - 3/5. Which is bigger: 0 or l?
l
Let l(o) = 3*o - 78. Let c be l(26). Which is smaller: -2/17 or c?
-2/17
Suppose -p + 4 = -3*s + 2, 5*s + 3 = 2*p. Which is greater: 28/23 or p?
28/23
Let i = -771 + -122. Let w = i + 11618/13. Which is smaller: 1 or w?
w
Suppose -d - 4*d = 2125. Let k be d/(-15) - (-4)/6. Suppose 7*o - 3*o = 12, -5*x + k = -2*o. Are x and 0 nonequal?
True
Let o = 139 + -202. Suppose 37*k - 504 = 45*k. Does k = o?
True
Let d = 6.4 - 0. Let z = 0.6 - d. Which is greater: -2/7 or z?
-2/7
Let f = 163 - 151. Suppose 2*c - 14 = 4*o, -2*c + 5 + 15 = -2*o. Is f > c?
False
Suppose -18*c + 2*n + 2 = -14*c, -23 = -c - 4*n. Suppose 2*k - 28 = -r, -c*k - 2 = -5*r - 18. Which is smaller: k or -0.2?
-0.2
Let n(v) = -v**3 - 10*v**2 - 12*v + 54. Let m be n(-8). Is m not equal to 23?
True
Let r = 0.1154 + -0.1154. Let l = 0.094 + -0.012. Which is bigger: l or r?
l
Let t(i) = -2*i**3 + i**2 - 1. Let s be t(-1). Let h be ((-9)/11)/(3/s). Suppose 5*a = -l + 4*l - 7, -5*l = 2*a + 9. Is h equal to l?
False
Let d = 128 - 388/3. Let w = 12 + -24. Is d < w?
False
Let a = -506 + 494. Do -2/3 and a have the same value?
False
Suppose 3*k - 2233 = 5*s + 1603, 2*k - 4*s = 2558. Which is smaller: k or 1278?
k
Let l = 247109 + -1239962/5. Let r = -887 - l. Which is bigger: -5 or r?
r
Let q be 89*(1 - 0)/(-1). Let u = -625/7 - q. Is -1 less than u?
True
Let h = -79 + 36. Let r(u) = -u**2 - 56*u - 297. Let v be r(-51). Which is smaller: h or v?
h
Suppose 165 = -54*s + 43*s. Suppose g = y - 10, -5*y = -7 + 32. Is s greater than g?
False
Let h = 3 + 8. Let r = h - 16. Which is smaller: 2 or r?
r
Let b(s) = -5*s + 26. Let r be b(5). Is -2/65 >= r?
False
Suppose -12*j - 4238 = -638. Which is bigger: -301 or j?
j
Let a = -2576/11 + 234. Let y = -0.8 + 0.3. Let p = 0.4 + y. Is p bigger than a?
True
Suppose 0 = 3*l + 5*b - 4, -13 = -4*l + 2*b - b. Suppose n = -l + 5. Suppose 0 = 3*k + n*k. Are k and 1/4 equal?
False
Suppose -2*c + 10 = 4*n, 0*c - 5*n + 15 = 5*c. Let a = -0.004 - 21.996. Let y = a + 24. Which is smaller: y or c?
c
Suppose -5*q - 42 = b, -9*b = -4*q - 4*b - 51. Which is smaller: -2 or q?
q
Let d(q) = q**3 + q**2 - q + 3. Let p be d(0). Let u(x) = 5*x**2 + 3*x - 1. Let l be u(2). Suppose -l = -8*m + p*m. Which is smaller: 6 or m?
m
Let r be 15 - (-6 + 3) - 4/(-2). Let i = 20 - r. Is 3/14 <= i?
False
Let u(s) = 5*s**2 + 15*s - 3. Let l be u(-3). Are l and 1/18 nonequal?
True
Let m = 49 - 9. Suppose 5*d = -10 + m. Let x(o) = o**3 - 7*o**2 + 5*o + 5. Let p be x(d). Is p <= -2?
False
Let p be (-3 + 6)/(-3) - 27. Let i = -27 - p. Let z = 368 - 12513/34. Which is smaller: z or i?
z
Let r(l) be the first derivative of -l**2/2 + l + 3. Let t be ((-8)/(-5))/((-8)/(-20)). Let c be r(t). Is c > -2?
False
Let l = 2853 + -82731/29. Is l > -2/3?
True
Let y = -17 + 16.99. Let p = -11.19 + y. Let c = p + 11. Is c <= 1?
True
Let a = -718 - -721.37. Let i = a - 0.37. Is i at most 4?
True
Let r = -57646154507/2724 + 63487030/3. Let b = r - -4/227. Which is smaller: b or 24?
24
Let v = 186 - 185. Is -7 smaller than v?
True
Let o be (((-180)/66)/(-5))/1. Let s = -2 - -2. Which is bigger: s or o?
o
Suppose 18 = 5*s - 4*s. Suppose 2*y - 48 + s = -2*j, -52 = -4*j - 2*y. Is 9 less than or equal to j?
True
Suppose 13*c + 28 = 28. Is -6/85 at least c?
False
Let d = -69.3 - -69. Which is bigger: d or 33?
33
Let a = 1 + 0. Let r = -4 + -77. Let n = 408/5 + r. Are n and a unequal?
True
Let o(z) = 3*z - 1. Let u be o(4). Let k(j) = -j**3 + 11*j**2 + 2*j - 21. Let r be k(u). Which is big