-2*k**2 + 51*k + 44. Let i be z(26). Suppose p - i - 8 = 0. Which is smaller: 32 or p?
p
Let x(o) = -2*o + 22. Let i be x(11). Suppose i = 7*y - 71 + 204. Which is smaller: -17 or y?
y
Let u(i) = i**2 + i + 7. Let v be u(0). Let o(c) = -28 + v*c**2 + c**2 - 9 - 7*c - 7*c**2. Let t be o(11). Which is smaller: 8 or t?
t
Suppose 3*m + u = 6, 0*u = 2*m - 4*u - 4. Let k be 4 - (-14 - (0 + m)). Suppose -21 = -3*h + 2*i + 49, 5*i - k = 0. Which is bigger: h or 27?
27
Let m(s) = 16*s - 32. Let r be m(2). Let y = 8948/21 + -426. Do r and y have the same value?
False
Suppose -y - 3*w - 246 + 192 = 0, y + 42 = w. Which is smaller: -363/8 or y?
-363/8
Let d = 3255 + -3361. Suppose -9 = 3*h, 3*j - h - 4 = -10. Which is greater: j or d?
j
Suppose -20 = -5*p - 0*p, -3*z - 4*p = -10. Let n be 0/((-4 - z) + 0). Which is smaller: -4/53 or n?
-4/53
Let c = -28 + 40. Let a be 71/((-7029)/(-54)) - 12/(-297)*289. Which is greater: a or c?
a
Let w = 18161/87208170 - -1/22106. Are 0 and w equal?
False
Let q(n) = 3*n**2 + 3*n + 1. Let d be q(3). Let w = 176 - 172.15. Let m = w + -3.75. Is m greater than or equal to d?
False
Let s be ((1/2 - 0)*386/965)/(-5717). Are 1 and s non-equal?
True
Let p be 6*(-2)/15*(-46795)/196. Is p at most as big as 193?
True
Suppose 0 = 39*m + 114 - 153. Let q be -2 - 12731/(-25)*-1. Let v = q - -511. Do m and v have the same value?
False
Let n = -0.0461 + -2021.9539. Which is bigger: 2/5 or n?
2/5
Let m(h) = h**2 + h - 5. Let o be m(-8). Suppose 0 = 5*t + 36 - o. Suppose -55 + 64 = t*r. Which is smaller: r or -3?
-3
Let k be (296/2 - 0) + -1. Let g be (298/26)/((-472)/(-6136)). Which is bigger: g or k?
g
Suppose 0*b - 4*b - 5*n + 47 = 0, 2 = b - 2*n. Let z be (12/(-56))/(6/b). Suppose -24 = -4*d + d. Is d greater than z?
True
Let n = -6092 + 6093. Which is smaller: n or -5/812?
-5/812
Suppose 5*f - 51 = -26. Let r(n) = 4*n**2 + 10*n - 13. Let x be r(f). Suppose x = -14*m - 73. Is m equal to 0.1?
False
Let c = -62 - -85. Let i = c + -60. Let r = 34 + i. Which is bigger: -0.04 or r?
-0.04
Let x = -63688/15 - -4246. Which is greater: -837 or x?
x
Let r = -86 - -154. Suppose 35 = 63*y - r*y. Is y not equal to -2?
True
Let k(w) = w**3 + 27*w**2 - 10. Suppose -26*p + 58*p + 864 = 0. Let i be k(p). Is 17 <= i?
False
Suppose 5*r + 25 = 5*p, -r + 0*p = 5*p + 29. Let w be (273/r - -2)*3. Let l be (-6)/(-1 - w/10). Which is smaller: l or 0?
l
Let y(a) = -a**3 - 4*a**2 + a + 4. Let n be y(-4). Suppose 3*i = 217 + 584. Let f = 5077/19 - i. Is f <= n?
False
Let z(t) = -4*t**3 - 16*t**2 - 5*t - 71. Let i be z(-7). Let p be (3/(-10))/(i/(-32) + -6). Which is smaller: p or -1?
-1
Let b = 0.354 + -0.834. Let c = 33 - 33.38. Let w = c - b. Which is bigger: 1 or w?
1
Let d = -2598 - -7685/3. Is 5 > d?
True
Let j be ((-56)/(-252))/((-5)/90). Let v be 3348/(-693) - (-2)/7. Are v and j unequal?
True
Let i be 6/14*25694270/570. Is 0.2 bigger than i?
False
Suppose -61 = -3*x + a, -5*x - 626 = 2*a - 713. Is x <= -22?
False
Let b(x) = x**3 + 10*x**2 + x + 16. Let r be b(-10). Let q be ((-7)/(7/2))/(r - 4). Suppose -5*i - 3*o = 9, 2*i - o = -6*o - 15. Is q at least i?
False
Let p = 8884 + -9817. Which is smaller: -937 or p?
-937
Let b be ((-2 - -3)*0)/(636/318). Which is greater: -42 or b?
b
Let a be (12*675/60)/((-2 - -3) + -2). Let g = -29 + 27. Which is greater: a or g?
g
Let m be (-1 - 2)*(198/(-27))/22. Which is smaller: m or -2/13957?
-2/13957
Let u = 25.91 - -0.09. Let o = u + -13. Let n = o + -5. Is n smaller than 2?
False
Let l = -3388 - -1456841/430. Let q = l - 867/3010. Which is smaller: q or -2/1253?
q
Suppose 0 = 77*s - 7697 - 6394. Is s <= 185?
True
Let k = 3598 + 1883. Let t be ((k/(-4))/(-9))/3. Are t and 51 unequal?
True
Let d be (95/57)/((-15)/18). Let v = 24 + d. Which is smaller: v or 64/3?
64/3
Let m = -986 + 880. Is -104 bigger than m?
True
Suppose 65*k + 927 + 30 = 54*k. Is 7 at most k?
False
Let y = -4131.2 - -4337.33. Let b = y + -206. Is -2 greater than or equal to b?
False
Suppose -b + 31 = -2*p - 2*p, 3*b = 2*p + 113. Let q = b + -37. Let x(f) = 9*f**2 - 6*f + 6. Let a be x(q). Is 30 bigger than a?
False
Let q = -1009 + 1002. Let i = 1 - 10. Is i < q?
True
Let h(d) = -7*d - 26. Let q be h(-4). Let w(s) = -6*s + 3*s + q*s - 4 - 6. Let v be w(-7). Is v > -9?
True
Let j = 1767/14 - 474/7. Let o = -391/6 + j. Let b = 2992 - 2993. Which is greater: o or b?
b
Let h = 74/3 - 25. Let x = 637 - 389. Let v = -249.7 + x. Is h < v?
False
Let g be (-2)/3 - -3*5154/27. Suppose -g + 230 = -3*j. Which is bigger: j or 113?
j
Let w = 4.431 + -0.031. Let b = 4.8 - w. Let l = -26 - -27. Which is smaller: b or l?
b
Let o = 10036 - 10039. Suppose 20 = -3*p + 2*x, 0 = 2*x + 3 + 1. Which is greater: o or p?
o
Let w be 8/(-2) + -3 + -3 + 12. Suppose 5*f - 67 = -w*b, -4*f = 2*b - 88 + 34. Which is smaller: f or -3?
-3
Suppose 4*r + l = 27, -1 = 2*l + 9. Suppose r*y + 20 = 12*y. Suppose 31 = -y*s + 61. Which is smaller: 34/7 or s?
34/7
Let i = -35/179 + 1633/11098. Is i at least as big as 6?
False
Let q be (-12)/(-21) + -14 + 35232/2632. Is 128 less than q?
False
Let t(s) = s**2 - 10*s - 13. Let g(n) = -n**3 - 16*n**2 - 15*n + 10. Suppose 2*m + m = -2*r - 42, -2*m = 5*r + 83. Let o be g(r). Let p be t(o). Is -15 > p?
False
Suppose 4*g = -3*h - 1837, 29 = 3*h + 38. Which is smaller: 0 or g?
g
Let y = 3185 + -3184. Does y = -2/4105?
False
Let v = -177 - -168. Let d be ((216/32)/v)/((-1)/92). Does -2/7 = d?
False
Let j = 340.5 - 345. Let b = 2.1 + -0.6. Let w = j + b. Which is greater: w or 3/8?
3/8
Let j be 4 + (-1 - (-3 + 3474/267 + -7)). Are 0 and j unequal?
True
Let q = 3.263 + -3.333. Which is bigger: -9.2 or q?
q
Let d be (-4)/8 + -69*2/(-16). Let i(f) = -8*f + 33. Let v be i(3). Is v equal to d?
False
Let r = 0.04326 + 243.95674. Is 1/6 at most r?
True
Let l be 1394/2100 + -5 + (-42)/(-10). Let p = l + -1/150. Is p != 2/3?
True
Let d = -29969 - -29968.98. Suppose -3*u - 31 + 10 = 0. Which is bigger: u or d?
d
Let c be (-152)/12 - (-2)/(-6). Let m = -2.3726 - -2.4126. Is c smaller than m?
True
Suppose -3*j + 2*j + 8 = 0. Suppose -j*u + 10*u = 0. Let k be 125/242 - 1/2. Which is smaller: u or k?
u
Suppose -5*f + 202 = 2*j, 0 = -5*f + 3*f. Suppose 2*o = 8*c - 12*c + 414, 81 = c - 4*o. Is c at least as big as j?
True
Suppose -2*r - 30 = -5*r. Let f(x) = 2*x**2 + 69*x - 29. Let l be f(-35). Suppose 0 = -3*t + 3*h + 33, -3*h + l*h + 12 = 0. Is t at least r?
False
Let x = -31981 - -31500. Is -487 greater than x?
False
Let h = 0.014 - 6.964. Let m = h + 3.8. Let y = m - -3. Which is smaller: y or 1?
y
Let o = -37431 + 36759. Which is smaller: o or -695?
-695
Let q be -6*(-3)/(-7 - -4). Let z be (1092/(-7))/q + 4*-1. Suppose z = -6*t + 22. Is t bigger than -3/5?
True
Let y be (18/7)/(45/420). Let s = 242 + -214. Do y and s have the same value?
False
Suppose -115 = 4*s - 15. Let p be -2*(-10)/(-200)*(-4)/s. Which is greater: 1 or p?
1
Let m = -710 + 1190. Let d = 405 - m. Which is bigger: -0.6 or d?
-0.6
Let l be 2/(16/30) - (-19)/76. Let r = l + 5. Let w be ((3/r)/(-1))/(57/18). Is w at most as big as -1?
False
Let o(t) = 2*t**3 - 16*t**2 + t + 82. Let l be o(6). Suppose 345 = a - 6*a. Let b = l - a. Is 10 at most b?
True
Suppose 0 = -4*k + 4*a - 11512, -41*a = -k - 44*a - 2906. Which is bigger: -2884 or k?
-2884
Let t = -513385/6 + 86242. Let i be (12 + (-782)/51)*(-2028)/(-10). Let r = i + t. Which is bigger: r or 1?
r
Suppose 3*o = 183 + 171. Let f = -39 + o. Let k = f - 66. Which is greater: k or 7?
k
Suppose -3*c = -3*n - 12, -3*c - 2*c = -4*n - 18. Let i be -156 + (1 + -55)/(-6). Which is bigger: n or i?
n
Suppose 6*y + 623 + 775 = 0. Is -231 less than y?
False
Suppose 80*y - 60 = 74*y. Suppose -y*m = -14*m - 76. Which is smaller: m or -1/3?
m
Let o = -15 - -15.01. Let r = 1511 + -1523. Is r not equal to o?
True
Let g = -20475 - -20597.91. Let j = g + 1.09. Is j at least as big as 0?
True
Let s(l) = -17*l - 3. Let b be s(-2). Suppose 0 = -14*q - 384 + 524. Let w be (-180)/50 - -3 - (-336)/q. Which is smaller: w or b?
b
Suppose -6*o - 16*o + 23*o = 15*o. Are o and -8/1767 equal?
False
Let v(o) = 3*o**3 - 11*o**2 + 8*o + 4. Let a(r) = -4*r**3 + 12*r**2 - 8*r - 3. Let c(g) = -5*a(g) - 6*v(g). Let n be c(-4). Is -120/13 > n?
False
Suppose 4*n - 3*b + 146 = 0, -1