 1660 + 576. Suppose 2*a + 3*w - 10 = -84, -w - l = 5*a. Are a and -33 nonequal?
True
Let y(h) = -9*h**3 - 8*h**2 + 6*h + 15. Let i be y(-3). Is i greater than 168?
False
Let h = -4 - 1. Let i(y) = 2*y + 16. Let s be i(h). Are 5 and s equal?
False
Let h = -47 - -32. Let t = 25 + -11. Let d = h + t. Which is greater: -2 or d?
d
Let y be (2*2/72)/((-52)/208). Which is smaller: y or 3/26?
y
Suppose 19 = -3*v - 4*i, v + i - 2 + 7 = 0. Let u be ((-4)/(-55))/((-26)/(-65)). Which is smaller: u or v?
v
Let v = -36 - -41. Suppose 2*u = v*u. Which is smaller: u or -3/40?
-3/40
Let t = 56.9 - 151.9. Is t at most as big as 1?
True
Let q = 27 - 22. Let t be ((-14)/(-70))/(1/q). Do t and -84 have different values?
True
Suppose -3*q - 2*f = -f - 25, -5*q - f + 39 = 0. Which is smaller: q or 9?
q
Let c be 280/50*10/12. Let j(g) = 4*g + 1. Let v be j(1). Is c bigger than v?
False
Let n = -4 + 5. Let v = 13.28 + 0.72. Which is bigger: v or n?
v
Let u = -10.24 + 0.24. Let t = u - -8. Let i = t + 0. Is -1/2 greater than or equal to i?
True
Let d = -34.4 + 34.9. Is -2/41 bigger than d?
False
Let o be ((-2)/4)/(164/(-8)). Let l(f) = -f**2 - 42*f - 79. Let d be l(-40). Is d > o?
True
Let t = 14 + -14. Let w = t - -0.4. Let m = 256/847 + -2/121. Which is smaller: m or w?
m
Let g(d) = -13*d + 11. Let j(q) = -7*q + 6. Let o(z) = -6*g(z) + 11*j(z). Let s be o(0). Let h be 22/(-143) - 118/(-260). Is s <= h?
True
Let x = -239/10 - -16949/710. Let z = -3 + 4. Which is bigger: z or x?
z
Let x = 293989/59 - 4983. Is x equal to -1?
False
Let q = -1214 - -1732. Is 519 at least as big as q?
True
Let o(u) = -3*u**2 - 26*u - 47. Let s be o(-10). Which is greater: s or -90?
s
Suppose -3*k - 4*j + 32 = j, 0 = -5*k + j + 16. Let s be -1 + 100/8 - 8. Does k = s?
False
Let n = 15 - 11. Suppose -2*m = -n*f + 18, f = 5*f - 20. Suppose -4*r + 2 = 6. Is r < m?
True
Let d be ((-9)/6 - -1)*(6 - -2). Let h = -0.3 - -0.4. Which is smaller: d or h?
d
Let i be -1*51 - (8 - (-2 - -15)). Which is smaller: i or -44?
i
Let v(j) = -3*j**2 - 7*j - 8. Let l be v(-4). Let n = l - -31. Suppose 0 = 2*y + 2*c + 10, -n*y - 25 = -3*c + 14. Which is greater: 0 or y?
0
Let f be 1/(-6) + (-76)/(-24). Let g be f/(6/10) + -2. Suppose -4*l - d - g = -2*d, -4 = 3*l + d. Which is smaller: -1/15 or l?
l
Let r = 1.51 - 1.6. Let y = 0.077 + 0.313. Let i = y + r. Is -1 at least as big as i?
False
Let t = 8 + -2. Let i be (825/6)/25*(-12)/(-11). Is t <= i?
True
Let k be 0/((-10 - -4) + 4). Suppose 3*y - 4*f + 12 = y, -4*y + 3*f - 9 = k. Let c = 4/49 - -5/539. Is y < c?
True
Suppose -13*d + 44 = 83. Which is smaller: d or 4?
d
Suppose 10145 + 14009 = -26*c. Is c < -0.1?
True
Let x be 9/(-5)*(-120)/18. Let n = 21 - 7. Is n at most as big as x?
False
Let w be ((28/48)/7)/(483/(-42)). Is 1 greater than w?
True
Let j = -0.06 - -0.16. Let b = 0.68 + -0.5. Which is smaller: b or j?
j
Suppose -17*z + 16*z = 9. Let w be (-41)/(-2) + (-2 - z/6). Is w != 21?
True
Suppose -23*v + 8 = -15. Which is smaller: v or -4/45?
-4/45
Suppose -30 = 16*a - 14. Let q be ((-10)/6)/(-15 + 18). Is q at least as big as a?
True
Let r = 21.8 + -40.8. Is r greater than -1?
False
Let p = 12 - 11.9. Let u = p + -0.24. Let v = -0.07 - 0.93. Is u != v?
True
Let z be 100/(-240)*(-218)/5. Which is greater: z or 17?
z
Suppose -5*h + 2 + 8 = 0. Suppose 5*a - n - 217 = 0, -2*n - h = -8. Do 44 and a have the same value?
True
Let t(w) be the first derivative of -w**3/3 + 7*w**2 - 12*w + 4. Let h be t(13). Suppose 3*b - 24 + 0 = 0. Are h and b unequal?
True
Let o(z) = -5*z + z + 26 + 3. Let i be o(9). Is -6 not equal to i?
True
Let i be (-24)/(-414)*6/4. Let z(k) = -k**2 - 5*k - 5. Let u be z(-4). Let t be (-7 + 8)*(0 + u). Which is bigger: i or t?
i
Suppose -4*v = z + 1, 2 = -5*v + v - 2*z. Let f = 163/10 - 13549/830. Which is greater: f or v?
v
Let u = 21 + -20.9. Let q be (4/6)/((-16)/(-3)). Which is smaller: q or u?
u
Suppose -2*g + 0*g - 16 = 0. Let h be (g/(-2))/(-4) - -1. Suppose -4*i - 6 - 6 = h. Is i less than or equal to -2?
True
Let q = -0.7099 - -0.2059. Which is greater: q or -0.1?
-0.1
Let j = -27.6 + 27.6. Which is bigger: j or 0.1?
0.1
Let o = 51 - -185. Which is bigger: 239 or o?
239
Let s = 21 - 43. Let c(v) = v**3 - 11*v**2 + 9*v - 12. Let o be c(10). Do o and s have different values?
False
Let b(o) = -o**3 - 29*o**2 + 31*o + 44. Let h be b(-30). Which is bigger: 102/7 or h?
102/7
Let n be (-16 - -8) + 2*708/176. Are n and 0 nonequal?
True
Let k = -3.5 + -14.5. Let z(f) = -4*f - 6. Let x(q) = -9*q - 12. Let v(s) = -3*x(s) + 7*z(s). Let w be v(-6). Which is smaller: k or w?
k
Let q be (-8)/10*30/(-84). Let x be 33/5 - 2/(-5). Is q not equal to x?
True
Let s be 20/(-30) + (-4)/(-42). Is s > 3?
False
Suppose 0 = 4*o + 5*h + 148, -h + 48 = -o - 5*h. Let m = o + 39. Is 9 > m?
True
Suppose -2*f - 3*a - 165 - 39 = 0, -a + 510 = -5*f. Which is greater: 3 or f?
3
Let j = -1358 - -1408. Which is greater: j or 52?
52
Let w = -331 + 331. Is 2 at least as big as w?
True
Suppose 30 = -7*v + 2*v - 2*a, -3*v + 2*a = 18. Suppose -3*x + 34 = 2*x + 4*l, 0 = 4*l + 16. Suppose 0 = b - 3*b - x. Which is smaller: v or b?
v
Suppose -3*u = 9, -3*c + 4*u - 93 = -0*u. Let y be (c/(-30) - 1) + 0. Is 0 > y?
False
Let z = 2583 + -62003/24. Is 1 bigger than z?
True
Let s = -2 - -5. Suppose -s*r - 7 = 4*n, -3*n + 7 + 9 = -2*r. Suppose -48*w + 37 + 11 = 0. Which is smaller: w or n?
w
Suppose 0 = -h + u - 5, h - u + 6 = -h. Which is greater: 2/91 or h?
2/91
Let a(s) = 86*s**2 - 3*s - 23. Let n be a(-10). Let v = n + -34219/4. Let f = -52 + v. Which is greater: -3/7 or f?
f
Let b = 1.9 + -1.99. Let w = 0.29 + b. Let o be ((1 - -1) + 2)*-1. Is o at least w?
False
Suppose d - 121 = 5*p, -3*d - p = p - 329. Which is greater: d or 112?
112
Let s be -1 + 8 + 684/(-104). Is -1 != s?
True
Suppose 4*h - n = 9, -2*h + 0*n = 2*n - 12. Are h and 19/7 equal?
False
Let n(b) = b**3 + 12*b**2 + 10*b - 1. Let f be n(-11). Suppose f*s - 14 = 12*s. Which is bigger: s or -22/3?
s
Let m = 11 - 22. Let w = -8 - m. Suppose -w*t + 7 - 1 = 0. Which is greater: t or -1/7?
t
Let h = 21 + -16. Suppose h*r + r = -18. Let c be 1 - (r + (-6)/(-4)). Do 4 and c have the same value?
False
Let y(g) = -g - 67. Let i be y(-12). Is i bigger than -55?
False
Let n be (18/27)/(3 + (-105)/36). Are 8 and n nonequal?
False
Let t be (-75)/73 + 1 + 0. Let h be 0*(-3 + 2)*10/10. Are t and h equal?
False
Suppose 0 = 5*o - 4*d - 28, 0 = -5*o - 3*d + d + 16. Suppose 2*a - c = -7, -20 = 4*a - 8*c + o*c. Which is bigger: -6/5 or a?
-6/5
Suppose -n - 1 = 1. Suppose 4*g = 4*z - 44, 2*g = -3*z - 3*g + 9. Let j = 19/2 - z. Which is bigger: j or n?
j
Let b be 208/(-28) + (-20)/35. Let f = b - -6. Which is smaller: f or -0.06?
f
Suppose -3*m - 229 = -5*c + 534, 2*m = 5*c - 512. Do -253 and m have different values?
True
Let t = -105/2 - -553/10. Suppose 13 + 5 = 3*d + 3*q, 3*d + q - 10 = 0. Is t greater than or equal to d?
True
Let a(c) = 39 - 13 - 42 - 19 + 6*c. Let z be a(6). Is z not equal to 2/3?
True
Let a = 150 + -71. Let g = a - 235/3. Is g less than 2?
True
Let w be (50/(-15) + 4)*-9. Let i = w - -7. Is i greater than or equal to 5/6?
True
Let t be (-60)/(-9)*(-6 + (-9)/(-3)). Let l be (4/t)/(3/(-285)). Let f be (-2)/6 + (-174)/(-9). Are l and f unequal?
False
Let y be (2/4)/(2/4). Let s = -123 + 69. Let a = s - -55. Is a less than or equal to y?
True
Let n = -6719/117 - -1580/13. Let o = 64 - n. Let i = 21 + -22. Is i <= o?
True
Let q = 893/34 - 26. Which is greater: q or 0?
q
Let k = -122.04 + 102. Let c = 20 + k. Is c less than 3?
True
Let t(b) = 0*b - 3*b - b. Let p be t(-3). Let u be (110/p)/(-5) + 1. Which is smaller: -1 or u?
-1
Suppose -108*c + 558 = -90*c. Let o(m) = 6*m - 9. Let f be o(7). Is c smaller than f?
True
Suppose -5*r + 5*j + 6 = 21, 5*j = 4*r + 7. Let q = 7 + r. Let c be (-5)/20 + (-62)/(-120). Is q >= c?
False
Let v = -526.08 - -528. Which is smaller: 0.1 or v?
0.1
Let d = 44630/29 + -1540. Is 0 less than d?
False
Let k = 413.9 - 414. Let a = -0.02 - -0.23. Is k at most a?
True
Let b be (2/4)/(-13 + -252 - -3). Which is greater: b or 1?
1
Let l be (-1)/(-5)*(-7 - 18/(-4)). Which is greater: -8 or l?
l
Suppose 0 = -3*v - v + 8. Suppose -2*g + j = -41, -18 = 3*j - 3. Suppose -t + 17 - g = 0. Do v and t 