 at least -27?
True
Let v = -1/198000 - 100957999/198000. Let l = -511 - v. Is l less than -1?
True
Let g = -0.3 - -0.25. Let w = -2.95 - -3.1. Let h = w + g. Is 9 less than h?
False
Let p = 3 + 1.9. Let r = -0.1 - p. Let t = -7 - r. Is t at most 1?
True
Suppose -1208 = 248*j - 256*j. Which is bigger: 752/5 or j?
j
Let p be ((-14)/4)/(1/2). Let g be 5/(-90)*3 - p/(-48). Which is greater: g or -1?
g
Suppose -15*z + 3*q + 23 = -11*z, q = 2*z - 11. Which is bigger: -20 or z?
z
Let r = -190 + 184.3. Is -4 less than r?
False
Let v(u) = -3*u - 31. Let i be v(-9). Let g be i*(-6)/152*1*2. Which is smaller: g or 1?
g
Suppose -34 - 252 = 3*d + 4*q, -d = 2*q + 92. Let m = d + 80. Is m < -21?
True
Let x(w) = w**2 + 5*w - 66. Let y be x(-13). Is 34 at most as big as y?
True
Let d be (-1 + (-16)/(-20))*(-6)/(-354). Which is smaller: 0 or d?
d
Suppose 3*s + 3*g = 12, -s - 64*g = -61*g - 14. Which is bigger: 6/221 or s?
6/221
Suppose 0 = -b + 1 - 16. Let m be (-2)/16*100/b. Is 2 less than m?
False
Let o be 13/104 - 51/24. Is o greater than or equal to -13/6?
True
Let f be 7 + 1 + 4 + 112. Is f <= 124?
True
Let v = -0.184 - -24.284. Let a = 24 - v. Which is greater: 8 or a?
8
Suppose 0 = j + 3*j + 4. Let d be (j + 2)*(-3 - -4). Let p = 496.14 - 496. Which is smaller: d or p?
p
Let d = 898 + -1207. Do d and -307 have the same value?
False
Suppose 80 = -0*r + r. Let n = r + -163/2. Is n at least -2?
True
Suppose 14*p + 31 = -17*p. Is p bigger than 3/80?
False
Let j be (-3917)/356 + 59 + -48. Is j < -2/3?
False
Let w(s) = -3*s**3 + 14*s**2 - 18*s - 5. Let f be w(4). Let q = 70 + -117. Is f bigger than q?
True
Suppose 0 = -3*g - 15, -j + g + 4*g = -29. Suppose -j*t = -t. Let y = 269 - 539/2. Is t bigger than y?
True
Let i(q) = q**3 - 8*q**2 - 8*q - 6. Let f be i(9). Let u(a) = 6*a**2 - f*a + 6*a**2 - 6 + 0*a + 4. Let x be u(-1). Is x less than 13?
False
Let r = 473 - 474. Which is smaller: r or -6/103?
r
Suppose 48*f + 92*f = 140. Let k be 4/6*18/(-69). Are k and f equal?
False
Suppose -90*b = -95*b - 5, 3*b = 4*f + 1. Is 1/914 <= f?
False
Suppose -13*h + 625 = -1208. Is h bigger than 140?
True
Suppose 0 = -2*a + 130 - 24. Let u = 45625/886 + 2/443. Which is smaller: u or a?
u
Suppose 12 = 15*h + 117. Which is greater: -14 or h?
h
Let w = 90 + -88. Are -7 and w nonequal?
True
Suppose 0 = -50*b - 18 - 32. Let s = 161/50 + -31/10. Which is smaller: b or s?
b
Let s(j) = -j**3 - 8*j**2 + 2*j. Let r be s(-8). Suppose 92 + 4 = -6*k. Is k less than r?
False
Let h be 4 + 1 - (-6)/(-1). Do h and 100 have different values?
True
Let c(n) = n**3 - 5*n**2 + 4. Suppose -5*b + 6 = -3*b. Let g be c(b). Let l be (-12)/(-84) + 23/g. Which is smaller: l or -4?
-4
Let x be (4 - 0) + (17 - 20). Let l be ((-1)/(1/8))/x. Is l <= -10?
False
Let v = -0.1 + -0.5. Suppose -5*s + 4 = -16. Let b be -1*s*(-2)/28. Is b equal to v?
False
Let r = 549/11 - 50. Suppose 2*z = -0*z + 2. Suppose 3*d - 4*o + z = 13, -2*d + 5*o + 15 = 0. Does d = r?
False
Let c(x) = -x**3 - 7*x**2 + 8*x - 4. Suppose -3*j - 5*m - 58 = -24, 5*m + 18 = -j. Let h be c(j). Let q = -55 + 51. Is h >= q?
True
Let z be (-15)/(-25) + 6/(-10). Suppose -7*m + 6 = -183. Let a = m - 12. Is z bigger than a?
False
Suppose 3*q + r = -239, q + 170*r + 77 = 171*r. Is -6 not equal to q?
True
Let f(n) = -n**3 + 6*n**2 - 3*n - 9. Let h be f(5). Let s(i) = -2*i**3 + i**2 + 2*i - 1. Let a be s(h). Are a and 12 non-equal?
True
Suppose -8*o - z = -7*o + 145, -2*o = -4*z + 296. Are -149 and o nonequal?
True
Let h = 32/81 - -4/81. Is h >= -1?
True
Let b(i) = -i**3 - 4*i**2 + 21*i - 23. Let g be b(3). Which is smaller: g or -25?
-25
Let x be -3 + 3*(40/24 - 7). Is 5/18 less than or equal to x?
False
Let q = -22 + 21. Let x be 1739/(q + (-64)/(-20)). Let w = -791 + x. Which is smaller: w or 1?
w
Let w = 35 - 38. Is 3 smaller than w?
False
Suppose -k = 5*o - 4*k - 17, -4*o - 5*k = 16. Let s be (-3)/(-9) - (-74)/30. Let x = s + -13/5. Is o <= x?
False
Let g = -3 + 3.02. Is g at most -2.5?
False
Let d(q) = 3*q**2 - 16*q - 7. Let x be d(7). Which is bigger: x or 13?
x
Let s = -35 - -34.5. Let l = -0.48 - s. Is l less than or equal to 0?
False
Let t(z) = -z**3 - 16*z**2 - 29*z + 26. Let s be t(-14). Suppose 9*i - 553 = -211. Which is smaller: s or i?
i
Let c(b) = b**3. Let t(s) = -5*s**3 + 6*s**2 - s - 3. Let i be (-2)/7 - (-25)/(-35). Let l(w) = i*t(w) - 6*c(w). Let n be l(-6). Is n > -5?
True
Let x = 1087 + -1089. Which is greater: x or 91?
91
Let a(n) = -n**2 - 12*n + 31. Let m be a(-14). Suppose -m*z + 3 = 15. Which is greater: z or -1?
-1
Let w be 8 + 0/(-7) + -289. Are -281 and w equal?
True
Let c = 383 + -765/2. Let b be (-2 - 0) + 3 + -1. Which is greater: c or b?
c
Let d be 8/(-44*3/(-12)). Is 0.3 at most d?
True
Let w = 1326 - 1331. Suppose -13 = 3*y - 2*j, 5*y - 4*y + 3*j = -8. Is w equal to y?
True
Let a(g) = g**2 - 21*g - 41. Let z be a(26). Do z and 89 have the same value?
True
Let r = 200 - 201. Suppose -3*p + 0 = -6. Let i be -2 - ((-7)/(-4) - p). Is i bigger than r?
False
Let u = -334 - -225. Let x = 108 + u. Which is smaller: -2/13 or x?
x
Suppose 6*t - t - 25 = 0. Let z = 1 - t. Let b = -5 + 4. Which is smaller: b or z?
z
Let y be ((-2)/24)/(1/(-2)). Let g = -41 - -53. Suppose 14 - g = -2*t. Do t and y have different values?
True
Suppose 0 = 10*z + 4*z + 2576. Which is smaller: -181 or z?
z
Let h(t) = 73*t + 159. Let v be h(-6). Does -278 = v?
False
Let v = -0.052 - -0.152. Let g = -4.9 - v. Let h = -1 - -2. Is g > h?
False
Let g = -68 + 62. Let q = -15 - g. Which is greater: q or 0?
0
Let v(n) = n + 16. Let j be v(-40). Which is smaller: j or -50?
-50
Let i(k) = -k**2 + 11*k - 12. Let b be i(8). Suppose -3*c + b = -0. Suppose 4*s = 4*p - 16, 0 = -2*p + c*s - 7*s - 17. Is 3/7 >= p?
True
Suppose -y - 95 = u, 5*u - 98 = -3*y - 393. Which is smaller: y or 0.1?
y
Suppose -27*d - 25*d = -18*d. Which is smaller: d or -12/65?
-12/65
Let x(b) = -3*b + 21. Let f be x(8). Let s = f - -3. Is s bigger than -2/39?
True
Suppose -23*s = -20*s + 174. Let x = s - -76. Is 2 >= x?
False
Let t = -10/3 + 26/15. Suppose -10*n - 3 = 7. Which is bigger: t or n?
n
Let i = 0.179 - 1.179. Let s = -8 + 8.5. Is s >= i?
True
Suppose -3*y = 11*l - 15*l + 341, -3*y = 2*l + 329. Is -219/2 smaller than y?
False
Let r = -133/2 - -67. Which is bigger: r or 12?
12
Let y = -213 + 545. Let c = 1651/5 - y. Is -3 at most as big as c?
True
Let w be (-213)/(-144) + (-75)/45. Which is smaller: 2/5 or w?
w
Suppose 0 = -s - 5*x - 12 - 4, -4*s - 30 = 3*x. Let a(c) = -6*c**2 + 6*c - 2. Let y(p) = -p**3 + p**2 + p + 1. Let d(q) = -a(q) - y(q). Let u be d(s). Is u < 4?
False
Suppose -5*w = -0*w + 5*s + 15, 0 = w + 4*s - 12. Are -36/5 and w equal?
False
Let a be (-47 + 2)/3 + 0. Let r = a - -14. Let u be (15 - 14)*r/(-3). Which is smaller: u or -1/2?
-1/2
Let r = -2246 - -2239. Let l be (-2)/((-1)/7*-2). Is l bigger than r?
False
Let s = -2692 - -2365. Is s >= -330?
True
Suppose 2*p - 5*g = -278, 2*g + 2*g = -3*p - 394. Are p and -134 non-equal?
False
Let p be ((-1)/1)/(2/(-60)). Suppose 5*s = -15 - p. Which is greater: -10 or s?
s
Let m(c) = -c**2 + 6*c - 6. Let p be m(5). Let i = -347/3 - -115. Which is smaller: p or i?
p
Let s = -0.0184 - 1.1216. Which is smaller: 0.2 or s?
s
Suppose -x = 3 - 6. Let p be (44/1408)/(-1 - x/(-2)). Is p > 1?
False
Let j be (-146)/11 - (-99 + 89). Which is smaller: j or -3?
j
Let z(m) = -37*m**3 - 2*m**2 + 5*m + 24. Let a be z(-2). Are 302 and a equal?
True
Let h = -16 + 27. Suppose 0 = 21*l + 4*l + 75. Which is smaller: h or l?
l
Let f = -309/2 + 160. Let u(p) = p**2 - 6*p + 11. Let g be u(5). Is f greater than or equal to g?
False
Let r be (-2)/7 - 370/(-70). Suppose -2*m - 5 = 3*m, 0 = b - r*m - 19. Let k be 5/(-5)*(-2)/b. Which is bigger: k or 1?
1
Let w be (-1 - 4)/20*8/(-36). Which is smaller: 1/3 or w?
w
Suppose -268 = -14*s - 30. Do s and 186/11 have different values?
True
Let k = -4882054/187 - -26103. Let f = k - -46/11. Suppose 0 = 4*n - 2*x - 6, 5*n + 5*x + 20 = -10. Is n less than f?
True
Let z = 220 - 218. Which is bigger: 24/13 or z?
z
Let v be (-7593*4/(-328))/(-2). Let h = v + 185/4. Is h greater than 1?
False
Let x be ((-90)/3348)/(5/(-45)). Which is bigger: 0 or x?
x
Let o = -1295 + 1217. Is o at most -232/3?
True
Let a = -420 -