or r?
3
Let y = 149 + -144. Suppose -45 = -y*o - 5. Let t(j) = j**2 - 2. Let q be t(3). Is o greater than q?
True
Let c = 4493 - 4492. Let k = 65 + -3. Is c at least k?
False
Let u(d) = d**2 + 7*d - 12. Let q be u(-9). Let a be (-1)/8*12/q. Which is greater: a or -0.11?
-0.11
Let z be (-2)/5 + (-4)/(-10). Let x = 11904403/55 + -216473. Let w = x - -142/5. Which is smaller: z or w?
w
Let q(k) = k - 1. Let t be q(5). Suppose 5*r = -2*z + 19, 7 = 3*z - t*r + 36. Let d be (z/2 + 3)*8. Which is smaller: 13 or d?
d
Let i be -6 - 20/(-8)*(6 - 4). Let y = -6.97 - -7. Is i greater than y?
False
Suppose -s + 6*s = 30. Suppose -23 = 2*d + 5*k, 3*d + 2*k = -d - s. Let c = 3516 - 3513. Does c = d?
False
Suppose -2*y + 27 = 3. Let t = y - 12. Let m be -10*((-175)/45 - -4). Is t less than m?
False
Let t(h) = -h + 31. Let j be t(13). Suppose -5*l - 23 = -i, -7 = -3*l + 2*i - j. Let b be (2/l)/((-18)/45). Which is smaller: 2/53 or b?
2/53
Suppose 0 = -4*q + 4*r - 0*r + 16, 0 = -2*r. Suppose q*g - 38 = -2*t, 0 = -2*t + 7 - 1. Suppose 3*p + 14 = 5*p. Is p at most as big as g?
True
Let c = -4.34 + 0.34. Let k = 2 - -14. Let s be (2/20)/(k/(-40)). Is s > c?
True
Suppose -9*q + 5*q = 0. Suppose 0 = -3*a - v + 133, v + v + 10 = q. Suppose 21 = a*o - 43*o. Do o and 0 have the same value?
False
Let m = 23911 - 23883.046. Let w = 0.046 + m. Let o = w - 27.78. Is o smaller than -2/7?
False
Let c be ((-4)/6)/(2/6). Let w = -10843/13026 - 2/2171. Are c and w unequal?
True
Let k be 18/(-5)*(-15)/(-6). Is -11 at most k?
True
Let s = -3.051 - -3.181. Is s >= -33?
True
Let f = 96 - 95. Which is smaller: f or -2?
-2
Let s(t) = -6*t**3 + 11*t**2 - 12*t - 9. Let f(n) = -5*n**3 + 10*n**2 - 11*n - 8. Let z(x) = 7*f(x) - 6*s(x). Let i be z(-4). Which is bigger: 19 or i?
19
Suppose 6*n - 3*n + 30 = 0. Let d(p) = -3*p + 0*p + p - 6. Let f be d(n). Is f not equal to 14?
False
Let u be (-3 + (-3748)/(-1248))/(180/80). Is u <= 1?
True
Let g(p) = -p**3 - 6*p**2 + 17*p + 8. Let y be g(-8). Suppose 4*a + 2*i = 30 - 8, -a - i + 5 = y. Suppose 2*k - k = -a. Do -8 and k have different values?
True
Let r = -200 - -278. Is r != 0?
True
Let x(b) = -b**3 - b + 1. Let d be x(1). Let s be 7 - 0 - 0/(-14). Let m be 1 - d - 13/s. Which is bigger: 1 or m?
1
Suppose 123 - 98 = -5*i, 2*v = 2*i + 6. Is v > -398?
True
Suppose 0 = -3*x - 0*u + 4*u - 10, 2*x = -5*u + 1. Let b = -5 - -2. Let d be 1 - b - (x + 3). Which is smaller: d or 4?
d
Let i = -1.02 + 0.12. Let x = -4.9 - i. Let g = 661/2037 - -6/679. Which is bigger: g or x?
g
Let u = 5/116 - -15161/812. Which is greater: 20 or u?
20
Let q(k) = -k**3 - 6*k**2 - 10*k + 11. Let h be q(-5). Let l be 1*1/2*h. Is l not equal to 17?
True
Let m(w) = 2*w - 33. Let u be m(17). Let p be (-40)/(-6)*(-9)/(-6). Let c be (-1 + 16/p)*5. Which is smaller: u or c?
u
Suppose 0 = 5*c + 177 - 167. Is -480 not equal to c?
True
Suppose 2*i - 5*x + x = -4, 2*i - 2*x = 2. Let w be (-169)/i + 2/8. Let v be (24/w)/(2/3). Which is bigger: -2 or v?
v
Let s = 959/2 + -4741/10. Suppose -2*o + 3 + 7 = 0. Which is bigger: o or s?
s
Let a be (-21)/18 - (2 + -5)/18. Let m be (-2)/(-2)*4/4. Let u = m + a. Which is bigger: u or -1?
u
Let x(i) = 40*i - 8. Let h be x(5). Let v = -104 + h. Let a be v/(-21) + -18 + 22. Is -1 != a?
True
Let g = -1055 + 7384/7. Is g less than or equal to -4/39?
True
Let w(s) = -s**3 + 7*s**2 - s + 1. Let o be w(7). Suppose -x + t - 1 = -0, 5*t = 15. Let v = o + x. Which is smaller: -5 or v?
-5
Let n be 1/(-2) - 27/(-6). Suppose -v + 41 = i, 3*v = 5*i + 70 + 53. Suppose -n*s + 4*h - v = -9, -4*h + 29 = -3*s. Is -2 at least s?
True
Let n be 6/(-12) + 7*(-10)/4. Is -17 greater than n?
True
Let s(x) = 12*x - 243. Let t be s(21). Which is greater: 0 or t?
t
Suppose 0 = 3*o - 6*o + 24. Suppose o*s = 3*s + 10. Is s bigger than 5?
False
Let u = 52 - 47. Let d(v) = -v + 7. Let q be d(u). Which is greater: q or 3/5?
q
Let l be (5/20*-5)/((-3)/36). Is l > 14?
True
Let i(r) = -5*r**3 - 6*r**2 + 3*r - 5. Let h be i(5). Let v be h/(-105) - 4/14. Suppose 0 = -7*o + 4*o + 24. Is o greater than v?
True
Let h = -85.2 + 57.9. Let l = h + 26. Let s = 0.7 + l. Is 1/3 at most s?
False
Suppose -4*z + u + 1776 = -880, 3*u = 2*z - 1338. Let i be 4/34 + (-282)/z. Is 1 at most as big as i?
False
Let t(w) = w**2 + 22*w + 6. Let p be t(-22). Is 39/8 at most p?
True
Let l = -56 + 69. Let a = -24 + 35. Let q = a - l. Is -0.08 greater than q?
True
Let y = 104 + -75. Let f = 31 - y. Which is smaller: 1 or f?
1
Suppose -11 = 27*d - 28*d. Suppose -4*n - 2*f - 8 + 78 = 0, -3*n + 58 = -4*f. Let j = n - d. Which is smaller: 6 or j?
6
Suppose 3*d + 18 = -0*d. Suppose 5*n + 2*q + 62 = 0, 0 = -28*n + 26*n - 4*q - 28. Let f be 8/5 - n/d. Do f and -7/5 have the same value?
False
Suppose 555 + 771 = -34*b. Is b != -40?
True
Let w = 160 + -167. Which is smaller: w or 7?
w
Let x = 64 + -37. Suppose -2*i + k = -0*i + x, 2*i = -k - 33. Are i and -14 non-equal?
True
Let n(b) = 8*b**2 + 24*b - 1. Let z be n(-3). Let k be z + -9*(-5)/10. Which is greater: k or 5?
5
Let j = 122.78 + -123. Which is bigger: j or -1.9?
j
Let g(r) = -r**2 + 8*r + 7. Let u be g(8). Suppose u*v - 18 = v. Is v <= 3?
True
Let v = -2.74 - -3.3. Let w = -24.44 - v. Let p = -28 - w. Is 0.5 less than or equal to p?
False
Suppose -4*x - 13 = -17. Is 7/72 not equal to x?
True
Let l(t) = t - 7. Let d be l(10). Suppose z - 1 = d. Suppose 6*s - 25 = s + 5*r, z*r + 18 = 2*s. Is s smaller than 2?
True
Let m = 54 + -9. Let q = 44 - m. Which is greater: q or 0.3?
0.3
Let x = -1003/2 + 502. Is x greater than 44/5?
False
Suppose 3*d = -4*x - 142, -12*x + d = -14*x - 72. Let w = 49 + -84. Is x equal to w?
False
Let z = 2 + 6. Let x = -2.19 + 0.29. Let n = -2 - x. Which is greater: n or z?
z
Let m = -58537/3 - -19846. Which is bigger: m or 333?
m
Let w be -1 - (-4 - -2)*-3. Let y = -9 - w. Let q be ((-154)/4)/7*y. Is 11 smaller than q?
False
Let f(v) = v**3 - v. Let c(r) = -3*r**3 - 6*r**2 - 3. Let b(z) = -c(z) - 2*f(z). Let y be b(-6). Let q be ((-12)/10)/(y/(-45)). Do q and -7 have the same value?
False
Let i = 0.3863 + -0.352. Is i at most 0?
False
Let f be (-399)/36 - (-2 - 2). Let w = 22/3 + f. Which is bigger: 4/11 or w?
4/11
Let l(u) = -u**2 - 17*u - 13. Let c be l(-14). Suppose -g - 2 = k + 2*k, -5*g - 2*k = -c. Is 2 greater than g?
False
Let k = -44 + -17. Let s = k - -59. Are s and 13 nonequal?
True
Suppose -g - g = 0. Let v = 5 + g. Let l be -2 + (-1)/(-1) + 2 + 3. Which is bigger: l or v?
v
Let x = 15.12 - 0.12. Let b = -773 - -758.16. Let k = x + b. Which is smaller: 0.1 or k?
0.1
Let i = -24 + 26. Let v = 8 - i. Let a(h) = h**2 - 3*h - 8. Let y be a(v). Is y <= 19/2?
False
Let l = 1927 - 857517/445. Which is smaller: l or -1?
-1
Let q be -2*(3 - (834/4 + -1)). Which is bigger: q or 407?
q
Let g be (-4 - -10)*((-8)/(-6) + -1). Suppose 11 = l - a, 7*a = -l + g*a + 29. Which is smaller: l or 13?
13
Suppose 0 = 3*h + 3*l - 78, 3*l + 139 = 2*h + 2*h. Let n(b) = -23*b**2 + 22*b**2 - h + 3 - 16*b. Let u be n(-12). Is 19 at least as big as u?
False
Let d be (-2)/(-3) - 272/138. Suppose -64*x = -87*x + 21 - 67. Which is bigger: d or x?
d
Suppose 0 = 4*m - 3*t + 2015, 0 = -3*t + 6 - 3. Which is smaller: m or -504?
-504
Suppose 4*n - 3*d = 14, 0 = -0*n + 3*n - 5*d - 5. Suppose -n*r = -13 - 2. Let y be -4*r/87*1. Is 0 smaller than y?
False
Let u = 6714031 + -2880323246/429. Let l = -120/13 - u. Let z = 25/264 - l. Which is smaller: z or 0?
0
Let a(y) = -y**2 + y - 1129. Let h be a(0). Let w = -12925/12 - h. Let c = w - 52. Is c smaller than 0?
True
Suppose -5*n + 81 - 86 = 0. Suppose -4*j = -3*j. Suppose u + 3*g - 4 = -j*u, g = 5*u + 12. Which is smaller: u or n?
u
Let j = -2 + 3. Let g = 70094/555 + -1263/10. Which is smaller: j or g?
g
Let j(r) = 5*r + 15. Let w be j(15). Is -2/9 bigger than w?
False
Let q = 0.221 - 0.232. Which is smaller: -1/3 or q?
-1/3
Let d = -17 + 16.9. Let l(g) = -6*g. Let i be l(5). Let k be (-22)/i + (-2)/5. Does d = k?
False
Let n = -30 - -33. Suppose -y = n*y - 4*t, 0 = -y + 2*t - 4. Let x be y/10 + 6/10. Which is smaller: 1/4 or x?
1/4
Let u be 4/(-14) + (-444)/(-84). Suppose -15 = -f - u*q, 3 = 3*q - 9. Let j be (f/(-3))/((-1)/(-3)). Is 1 greater than j?
False
Suppose 0*d + 3 = 3*d. Let k be 6/(-10) - (4/(-2))/d. 