3/2 + 6*t**2. Let u be v(-3). Let o be 16/u*(-21)/14. Which is smaller: o or 1?
1
Let l = 7 + -7.26. Let y = 0.3 + l. Which is smaller: -0.3 or y?
-0.3
Let x(y) = y**2 + 14*y + 71. Let z be x(-26). Which is smaller: 384 or z?
z
Let p(o) = o**3 + 25*o**2 + 72*o + 124. Let j be p(-22). Which is greater: j or 4?
4
Let b be ((-9)/2)/(-9) - -1. Let i = -0.6 + -2.4. Let o = i + 3.2. Does o = b?
False
Let a be (-1 + -76)*(-18)/63. Suppose 0 = -3*r - 4*u + a, 3*u = -r - 4*r + 22. Let v be (-1)/2 + 13/10. Which is greater: v or r?
r
Let s(h) = -h**2 + 67*h - 129. Let b be s(65). Let o be (-1)/2 + (-2)/(-4). Which is greater: o or b?
b
Suppose -5*t + 270 = -11*q + 16*q, -4*t = -3*q + 176. Is 55 != q?
True
Suppose 3*n = 5*h - 24, -2*h + 28 = h + 5*n. Let o be (21/2)/(39/26). Which is smaller: h or o?
h
Let y = -49 + 84. Let t = y - 33. Do 5 and t have different values?
True
Let g = -83.7 - 6.3. Which is greater: 2 or g?
2
Let i = -390 - -330. Is i bigger than -355/6?
False
Let y = 1.1 - 1.02. Let t = 0.11 - y. Let o = -0.27 + 0.17. Which is smaller: o or t?
o
Let p be 21/56*-2*-8. Is p >= 42?
False
Let a = -3.2 - -3. Let s = 20.02 + -21.043. Let p = s + 0.023. Is a at most as big as p?
False
Let w be ((-2)/(-6) - 239/(-3))/(-1). Does w = -78?
False
Let y = 75 - 527/7. Let v = 7 + 2. Suppose -v*p = -5*p - 4. Are y and p equal?
False
Let b = -120.8 - -106.02. Let r = b - -15. Which is greater: 0.1 or r?
r
Suppose 0 = -12*b + 11*b - 2*y + 152, 5*y = 25. Which is bigger: 143 or b?
143
Let p = 101/65 - 15/13. Let g(n) = 3*n**2 + n - 1. Let i be g(1). Suppose i*l = 5*m + 20, -4*l + 21 = -3*m + 2*m. Which is smaller: m or p?
m
Let g(q) = -q**3 - 29*q**2 + 8*q + 50. Let a(y) = -y**3 - 29*y**2 + 7*y + 51. Let w(b) = -6*a(b) + 5*g(b). Let m be w(-29). Are 0 and m nonequal?
True
Let y = 129/286 - 15/22. Let r be 1/3 - (-14)/(-42). Does r = y?
False
Let g = -23892/7 + 62095322/18193. Which is smaller: -1 or g?
-1
Suppose -105 = -6*i + 183. Which is smaller: 46 or i?
46
Let m be (-2)/5 - (-2 - (-2063)/5). Is m less than -411?
False
Let h = -10 + 4. Let j = h - 9. Let m = -15.1 - j. Which is smaller: -1.6 or m?
-1.6
Let c be 19*(52/(-18) + (-10)/90). Suppose 45 = -t - 11. Is t > c?
True
Let s = 141/91 - 22/13. Suppose 4*u - 4*c = 0, 5*c - 9 + 6 = 2*u. Which is smaller: s or u?
s
Suppose 20 + 28 = 4*v. Let j be 2/(-3) + (-4)/v. Let k be (-115)/(-35) - (-3)/j. Is k equal to -1?
False
Suppose -21*j - 38 + 164 = 0. Which is smaller: -5 or j?
-5
Suppose -4*r - 3*h + 11 = 0, -5*r + 9*h - 25 = 5*h. Is r at least as big as -2/331?
False
Suppose -4*s - 4*y = -68, s + 2*s + y - 47 = 0. Let p = s + -13. Suppose -p*l = -l. Which is greater: 5 or l?
5
Let z = -0.02 - -0.12. Let k = z + -1.6. Let r = 2 + k. Which is smaller: -1 or r?
-1
Let k = -6 + 32. Let q = k + -32. Is q equal to 0.4?
False
Let h = -1494 - -1494.1. Are -183 and h equal?
False
Let k(r) = -r**3 + 16*r**2 - 16*r + 7. Let b be k(15). Let w(o) = -6*o**3 - 2*o**2 + o. Let d be w(1). Which is bigger: d or b?
d
Let n = 232891237/213206917 - 5211/2768921. Let r = -2/4291 - n. Let s = 2 - 2. Is r at least as big as s?
False
Suppose 0 = b + 5*m - 3*m - 16, m = 5. Suppose f = b*f + 15. Is f less than -1?
True
Suppose 21 = 2*m + 3*z + 180, 0 = 5*m - 2*z + 350. Which is bigger: -71 or m?
-71
Let c = -785 + 1156. Let f = c - 589. Let i = f - -1086/5. Is i > 0?
False
Let n = -129 - -106. Suppose 44 = b - 3*b. Which is smaller: b or n?
n
Suppose 349 - 1287 = -2*s. Let g be (-2)/(-8) - s/(-28). Suppose g = 3*l + 20. Are l and 4/11 non-equal?
True
Suppose 4*k = 1 - 5. Let a be (33/(-60))/(k/(-4)). Let t = a + 14/5. Which is smaller: t or 0?
0
Suppose 2*u + u - 1 = -5*n, u + 1 = -3*n. Suppose -3*t = -4*h - 5, u*t = -2*h - 0 - 6. Is -3 at most h?
True
Let i = -569.2 - -569. Which is smaller: -7/2 or i?
-7/2
Let a = 39 - -19. Let p be (-7)/(-7) - (2 + (-64)/a). Do 1 and p have the same value?
False
Let v = 30/13 + -124/65. Which is bigger: v or -104?
v
Suppose 0 = -4*d - d + 5. Let o = 738 + -742.2. Is o equal to d?
False
Let r = -38 - -67. Let j = 556 + -526. Let y = j - r. Which is smaller: -3/8 or y?
-3/8
Suppose -10*o + 5*o - 4*j - 45 = 0, -5*j = 4*o + 27. Let u be 0 - 0 - (3 + -2). Let w(d) = -d**3 - d**2 + 1. Let m be w(u). Which is bigger: o or m?
m
Suppose 429 = -5*t + 4*h - 245, 0 = -t - h - 142. Which is bigger: t or -139?
t
Suppose 0 = 24*a - 27*a - q + 2834, -3*a + 2830 = -q. Is a less than or equal to 943?
False
Let v = 2381627/375 - 6351. Is v greater than or equal to 0?
True
Let h = 891 + -23163/26. Is h greater than -1?
True
Suppose 3*t = 4*f - 3, -3*t - 2*f = -0*f + 3. Suppose -4*r + 33 = -23. Are r and t equal?
False
Let r be ((-4)/6)/(219/(-9)). Let u be 11/(99/48)*3. Suppose -2*d - 6 - 1 = 3*g, 4*g = 4*d - u. Which is greater: r or d?
d
Let n = -27974 - -27975. Let i = 3218 + -125494/39. Is n > i?
True
Let w = -12 - -12.1. Let a = -0.1 + 0.1. Let r = w + a. Is 0.2 <= r?
False
Let r(n) = 7*n + 22. Let b be r(-7). Which is bigger: b or 0?
0
Let q = 0.17 + 15.83. Let t = q + -14.3. Let f = 2.5 - t. Is -1 at least as big as f?
False
Let d(u) = 11*u**2 - 9*u - 25. Let b be d(-3). Which is smaller: b or 103?
b
Suppose 20*h = -37 - 3. Suppose -2*t = -3 - 3. Let f be h - (t - (-111)/(-22)). Is f equal to 0?
False
Let u = 18 - 20. Let o be (-1 - u) + (-28)/7. Which is smaller: o or -5?
-5
Suppose 20*c + 27*c = 9*c - 456. Let a(l) = -l**3 + 7*l**2 - 7*l - 6. Let b be a(6). Is b < c?
False
Let f = -5321/2 + 2536. Let g = 119 + f. Which is greater: g or -7?
g
Let z = -1827866759/31620498 + 61/115826. Let r = 405/7 + z. Which is smaller: 1/3 or r?
r
Let b be (-52)/(-286) + 2*(-124)/(-814). Which is smaller: b or -1?
-1
Let o(a) = a**3 - 11*a**2 - 10*a - 14. Let f be o(12). Let b be 10*8/f*-1. Let q be 1 + (-1 - b/(-324)). Which is greater: 0 or q?
0
Let q(a) = 3*a**2 - 20*a - 10. Let m be q(7). Let h(p) = -2*p**2 - p + 3. Let j be h(m). Which is bigger: 3 or j?
3
Suppose 2*s = -172 + 200. Suppose -2*k = 3*k + c - 174, 4*c + 4 = 0. Suppose 0 = 3*g + 2*l - k, -2*l = 2*g - 30 + 10. Which is bigger: g or s?
g
Let o = -124.895 + -0.105. Let g = o + 124.03. Let w = 1 + g. Which is bigger: w or -1/2?
w
Let y = -359/9 - -5131/153. Is y greater than -6?
False
Suppose 2*o = 3*h, 2*o + 2*o = 4*h. Let p(s) = -s**2 + 11*s. Let y be p(11). Suppose -3*q + 7*q + 8 = y. Is q >= o?
False
Let p = 125 - 3499/28. Suppose -16 = -y + 3*k, -y + k + 41 = 3*k. Let x = y - 30. Which is bigger: p or x?
x
Let n(h) = 2*h**3 - 24*h**2 + 23*h - 10. Let c be n(11). Which is greater: 14/121 or c?
c
Let o be (-9372)/110*20/(-6). Which is smaller: o or 1137/4?
o
Let l = -139.2 - -139. Is 6.2 smaller than l?
False
Suppose -3*z + 22 = 4*i, 0 = -i + 2*i + 3*z - 10. Suppose -2*y - a + i = 0, 2*y + y - 6 = -5*a. Suppose 4*h = -y*h - 6. Is -3/7 at least h?
True
Let d = -279 - 99. Which is bigger: -379 or d?
d
Let k(f) = f + 6. Let v be k(0). Let g = 21567 + -21564. Are g and v unequal?
True
Let w = -108 + 108.73. Let p = w + -4.73. Which is greater: p or -7?
p
Suppose 176*x = 175*x + 25. Which is smaller: 28 or x?
x
Let x = 3014/3 - 1005. Is x != 47.4?
True
Let o = 2821 - 2820. Is -1/5132 greater than or equal to o?
False
Let q = -4.17 + 4.14. Which is bigger: q or -1/16?
q
Let u(f) = -f + 1. Let j be u(2). Let t = -7994/27 + 296. Is t greater than j?
True
Suppose 2*q + 36 = 5*c - 80, -4*q - 2*c = 232. Which is smaller: -2 or q?
q
Let d = -9617/5 + 1931. Is d less than -0.4?
False
Let f = -149613986/39 - -3837071. Let g = -815 + f. Are g and 1 non-equal?
True
Let a be (-2 - -2) + -3 + 2 + 0. Let r(v) = v**3 - 2*v**2 - v. Let f be r(a). Which is greater: f or 2?
2
Let o be (-40)/10 - (-5 + 2). Is 2/9 smaller than o?
False
Let m = -298871/1870 + 1758/11. Which is smaller: 1 or m?
m
Let n(s) = 80*s + 125. Let v be n(-13). Is v bigger than -915?
False
Let t be ((-11)/(-2))/(59/826). Is t smaller than 536/7?
False
Let g be 102/(-10) - 2/(-10). Let t be 3/(-18)*(-111)/g. Let w = t + 9/4. Is w > 2?
False
Let t = 12 - 4. Let s = -5 + t. Suppose -5*x - 3*c - 20 = 0, s*x + 7 = -4*c - 16. Which is smaller: x or -2/3?
x
Let i = 85 - 86. Do i and -1/33 have different values?
True
Suppose 0*h + 5*h = -3*c - 3, 0 = -2*h + 3*c + 3. Suppose 4*v = v + 5*y - 5, 3*v + 2 = 2*y. Is h