11*x + 12*x - 2 + f - 1. Let l be z(-1). Which is bigger: 2/29 or l?
2/29
Let v be (-4)/12*(-31008)/34. Which is smaller: 302 or v?
302
Let y = -1/2287 + -6767/214978. Which is greater: y or 1?
1
Let g be (18/(-12))/((-6)/(-16)). Let u = g + 14. Suppose -5*t + u*t = -15. Is -3 at most t?
True
Suppose -d - 13 = -3*h, h + 4*h - 19 = 3*d. Let o be 75/(-4) - d/8. Which is smaller: o or -20?
-20
Let a(l) = 4*l - 11. Let y be a(4). Let x = y - 6. Is x at most 2/163?
True
Let g(p) = p**2 + 13*p + 19. Suppose 22*x - 7*x + 120 = 0. Let c be g(x). Which is smaller: c or -2?
c
Let k = 2.9 + -2.25. Let a = k + -0.45. Are 35 and a nonequal?
True
Let n(w) = 2*w**2 - 22*w + 32. Let o be n(6). Are -205/7 and o equal?
False
Let n = 12.8 - 14. Let h = n - 3.4. Let g = -0.4 + h. Is 1 > g?
True
Let n = 662 + -1039. Which is bigger: -2 or n?
-2
Suppose -5*i + 69 = 64. Is 23/24 != i?
True
Let y be 8 - 5 - 5*11. Let k be 1/(-3 - y/16). Suppose -k = 2*o - 0. Which is smaller: o or 2?
o
Let h = -0.05743 - -7.10043. Let k = h + -0.043. Is k less than -0.1?
False
Suppose 3*d + 10 + 8 = 3*h, 0 = -4*h + 2*d + 32. Is h != 10?
False
Let a be 14/10 + (-28)/70. Let j be (-3 - -3)/(a + 1). Which is greater: j or 3?
3
Let a(l) = 51*l + 687. Let h be a(-3). Are h and 534 equal?
True
Suppose -55*v + 10 = -53*v. Suppose 0 = -0*y + 5*y - v. Is y bigger than 6?
False
Suppose 4*i = 61 - 17. Let a = i + -11. Let n be (-2)/(-6)*(a + 24). Is n != 8?
False
Let j = -9190825/11 + 836281. Let x = -752 + j. Let s be ((-10)/(-4))/5*-2. Which is greater: x or s?
x
Suppose -4*p - p + n + 11 = 0, 0 = p - 5*n - 7. Suppose p*w - 10*w - 8 = 0. Which is smaller: 4/9 or w?
w
Let m be (2 - 2)/(0 + -1). Suppose -3 + 43 = -2*y. Let j be (-5)/y*4*-1. Is j > m?
False
Let y = 151/321 + -2/535. Let c = 195 - 196. Is c smaller than y?
True
Let r = 3738619/1060 + -3527. Let u = -6377/18020 - r. Which is smaller: u or 1?
u
Let u be (-31)/(0 - 4/(-4)). Let a = u - -38. Suppose a*n + 31 = -95. Which is greater: n or -19?
n
Let r(h) = 4*h - 108. Let k be r(18). Is k at most -3?
True
Let r = -866 - -1876. Let f = r - 995.02. Let i = 15 - f. Is 0 less than i?
True
Let l be 603/21 + -4 + (-30)/(-7). Let d = l - 49. Which is smaller: d or -21?
-21
Let m = -128 - -124. Let n be -4 + ((-46)/(-12))/(m - -5). Is n equal to -1?
False
Let w = -9 + 0. Let y = w + 8.86. Let r = -0.5878 - -0.6878. Which is smaller: r or y?
y
Let y be 1/(-9)*2 + (-5999)/(-63). Let d = y + -286/3. Do d and -2 have the same value?
False
Let l(y) = -5*y**3 - 82*y**2 - 29*y + 59. Let d be l(-16). Let m = 2 - 1. Is d equal to m?
False
Let k be (-31)/6 - 80/64*-4. Which is smaller: 0.019 or k?
k
Suppose 0 = -3*s - 12*b + 11*b + 465, 5*s - 4*b = 792. Which is bigger: s or 155?
s
Let d = 37 + -38. Suppose -133 = 5*j - 1123. Let h be 3 - (j/51 + -1). Is h less than d?
False
Let m = -1 - -5. Suppose 4*i = -0*i + 32. Suppose 4*q - i + 3 = 5*w, 2*w + 19 = 5*q. Is m at most as big as q?
True
Suppose 64 + 569 = l. Let m = -1918/3 + l. Let n = -17/3 - m. Which is bigger: 2/7 or n?
n
Let j(c) = -3*c**2 + c + 15. Let h be j(4). Let z = -22 - h. Which is smaller: z or 2?
2
Suppose 2*w = -2*a + 5*w + 105, 123 = 2*a + 3*w. Is 59 less than or equal to a?
False
Let s be 130/(-10) + 0 + 1. Let h = -300.7 + 301. Which is greater: h or s?
h
Let w be 3771/(-627) + 8/76. Let c = 6 + w. Is 0 at most c?
True
Suppose -26*l - 11771 = 6845. Is l greater than or equal to -716?
True
Let x = -26/5 - -367/85. Is -1 at least x?
False
Let l = 88.3 - 66.3. Which is smaller: l or 0.5?
0.5
Let p(w) = w**3 - w**2 - w + 2. Let q be p(0). Suppose -q*d + 0 = -2. Which is bigger: d or 15/8?
15/8
Let r = 2 + -56. Let n be r/(-72) - (0 + 2). Is n at most 0?
True
Let y be 258/20 + -1 - (-36)/(-72). Let h = y - 223/20. Which is smaller: h or 12?
h
Let u(f) = -f**2 - 4*f + 13. Let t be u(-6). Let r be ((-70)/(-26))/(-7)*-1. Which is greater: r or t?
t
Let t = 118.7 + -171.6. Let j = 53 + t. Is j greater than or equal to -29?
True
Let u be 2262/1260 - 8/(-10). Let j = u - 13/6. Suppose -7*l + 0 = 7. Is j greater than l?
True
Suppose -2*w + 4*i - 2 = 0, 3*i = -2*w - i + 6. Suppose -4*d = -4*f, 5*f = -0*d - 2*d + 7. Let r be (-1 - 28/(-24))*d. Does w = r?
False
Let s = -32/67 + -650/603. Let z be 138/(-3) + -1*4. Let p be 180/z + (-3)/(-5). Which is greater: p or s?
s
Let d = 1249 - 11243/9. Which is smaller: d or 5?
d
Let y = 11/9 - 4/3. Suppose 4*f = 2*l + 28, -l + 2*f + 10 = -2*l. Let x(h) = -h - 12. Let g be x(l). Is y >= g?
False
Let o = -2241/4 - -555. Let g = 3/19912 - -980639/179208. Let a = g + o. Which is smaller: -1 or a?
-1
Let j(b) = -b**2 + 7*b - 11. Let y(z) = 6*z - 1. Let i be y(1). Let m be j(i). Let g be (-184)/8*1/m. Which is greater: 22 or g?
g
Let j(i) = 9*i**2 - 12*i**2 + i**2 + 1 - i. Let l be j(-2). Let c be 2 + -3*(-3 - l). Which is smaller: c or -2?
c
Let t be (-276)/((-99)/18 + 4). Which is bigger: 185 or t?
185
Suppose 9*z = -970 - 164. Is 0.01 less than z?
False
Let b = -220 - -227. Is 7 at least b?
True
Let l(u) = u**3 + 17*u**2 - 28*u - 30. Let z be l(-17). Is z greater than 447?
False
Let y be ((-2)/(-5))/((-5)/(-25)). Suppose 37 = 7*l + 16. Do l and y have the same value?
False
Let a = -20 - -17. Let j(y) = -3*y - 6. Let t be j(a). Which is smaller: t or 1?
1
Let u = 5/424 - -4195/3816. Suppose -2*p - 5 = -3*f - 1, -3*p + 7 = 2*f. Which is bigger: u or f?
f
Let q = 316 + -324. Let a = -10 + 2. Let w = q - a. Is -1/17 less than or equal to w?
True
Let r be 63/6 - 3/6. Let y be 12/10*r/3. Suppose -3*a = -y*j + 19, j + 4*a = -0*j - 19. Which is smaller: 2/5 or j?
2/5
Let b = 0.658 - -75.342. Is 4 at least b?
False
Suppose 2*k - 5*k + 12 = 0. Suppose 5*n - 31 = -k*b, 6*n - 2*b - 4 = 2*n. Let x = n + 12. Is x <= 15?
True
Let f = 992 + -1092. Is f greater than -0.1?
False
Let d = 58.85 - -8.35. Let r = 67 - d. Is r less than or equal to -41?
False
Let y(b) = 3*b - 23 - b + 45. Let i be y(-10). Suppose i*h - 3*p = -9, 2*h = -3*p - 4 - 11. Is h at most -7?
False
Suppose -74 - 115 = -4*r + 5*x, r + 3*x = 26. Suppose 0 = -r*h + 46*h. Which is bigger: h or -1/13?
h
Let v = 0 - -1. Let f be (-3)/5 - (-1589)/(-60). Let m = f - -27. Is m at most as big as v?
True
Let i(w) = -84*w + 86. Let l be i(1). Do l and -40/9 have the same value?
False
Let v(j) = 7 - 4*j**3 + 7*j**3 + 11*j**2 + j - 2*j**3. Let u be v(-11). Let l(o) = o**2 + 4*o - 7. Let d be l(u). Is d less than or equal to -6?
True
Let c = 319 + -206. Do -6 and c have different values?
True
Let b = -1 + -13.6. Let c = 209 - 224. Let s = b - c. Which is smaller: s or -3?
-3
Suppose -27 = -h - 5*x - 0, -3*h + 2*x = -47. Let u = -15 + h. Suppose 7*n - 5 = u*n. Which is smaller: n or 0.2?
0.2
Let v = 510 - 489. Is v at most as big as -5/6?
False
Let a be (-22)/88 - 83/4. Let n = a + 9. Are -12 and n equal?
True
Suppose -7*o = -0*o - 28. Suppose 9*z = 13*z - o. Do 0 and z have the same value?
False
Let o = 2 - 39. Let a = o - -38. Do a and -4/7 have the same value?
False
Let x = -11.6 - 14.4. Which is smaller: x or -2/5?
x
Let b(h) = 4*h - 20. Let p be b(6). Let u be 2/(-9) + (-112)/(-18). Let x(v) = -v + 11. Let f be x(u). Is p bigger than f?
False
Let l = 7/41 + 156/287. Is l less than -2?
False
Let a = -7.89 - -18.89. Is -1/16 < a?
True
Suppose 0 = t + 3*v + 84, 5*v - 1 = -21. Is -74 bigger than t?
False
Let h(x) = -5*x - 48. Let j be h(0). Is j greater than or equal to -45?
False
Let i = -7 + 5. Let l be (-8)/5*50/(-30). Let k = -74/21 + l. Is k greater than or equal to i?
True
Suppose -3*k = -2 + 20. Let r = 123 + -129. Is k >= r?
True
Let g = -2.9 - 10.7. Let r = g + 13.8. Let v = -2 - -6. Which is greater: r or v?
v
Suppose 11 = 2*o + u, -5*o + 14 = -3*o + 2*u. Suppose -4*j + 4*k - 80 = 44, -152 = o*j + 3*k. Let s = 26 + j. Is s != -8?
True
Suppose -54*t = -46*t - 176. Is t < 18?
False
Let f = -17.2 - 15.8. Is f equal to -2?
False
Let o be 1350/744 - (-14)/56. Is o less than or equal to 3?
True
Suppose -4011 = 14*h + 8757. Which is smaller: h or -913?
-913
Let u = -7 + 4. Let l = 15802 + -203049/13. Let h = l + -183. Which is smaller: h or u?
u
Let b = -137/10 + 231/10. Do b and 9 have the same value?
False
Suppose -13 = 7*a - 6. Let p be (4/8)/(a/11). Suppose 4*w = -20, 0 = 2*o - 3*o - w - 11. Is p not equal to o