Let i = 36 + -57. Are i and l unequal?
True
Let r be 2/(-8) + 135/12. Suppose -r = -3*o + 2*q + 2, 3*o + q = 7. Which is greater: o or 5?
5
Suppose 329*w - 327*w + 13 = -5*b, -3*w = -4*b + 8. Which is bigger: b or 3/77?
3/77
Let j = -1291 - -886. Is 0 != j?
True
Let i(k) = 4*k**2 - 2*k - 2. Let y be i(2). Let p be (-6)/(-9) + y/(-6). Let x be (-2)/(-1) + 4 + (-207)/33. Are p and x non-equal?
True
Suppose 4*a = 5*m + 32, m - 2 = -2*a - 0. Suppose 0 = i + 2*i + a*z - 9, 3*i + 2*z = 5. Does i = 2/17?
False
Let h = -4 - -9. Suppose 5*b - h*v = 0, -5*b = -0*b + 4*v. Suppose b = t + 2*t + 3. Which is greater: t or 2/25?
2/25
Let c = -234 - -234. Which is smaller: -4 or c?
-4
Let y(v) = -8 + 5*v**2 - 2*v + 9*v**2 - v**3 - 20*v**2. Let a be y(-6). Suppose 4*h + 48 = a. Is -10 less than h?
False
Let s be (-5 - (-148)/30)*(3 + 3). Is s >= -4/9?
True
Suppose -2034 = -4*n - 2058. Let r = -17 - -67/4. Is r equal to n?
False
Let h be ((-5)/(-24))/5*(-8469)/112. Let s = -1/128 - h. Is s smaller than 3?
False
Let b(v) = -290*v**2 - 2*v - 3. Let n be b(-1). Let j be n/(-526)*(-3)/21. Let s = -2/263 - j. Which is bigger: s or 1?
1
Let n be (-58)/(-11) + 10/(-5). Let k = n - 111/44. Let t = 0 - 0. Is t smaller than k?
True
Suppose 3*v = -0*v - 3. Let s be 12/(-15)*5/v. Suppose -3 = s*k + 1. Is k less than -4/7?
True
Suppose -4*u = 5*v + u + 25, 2*v = 2*u + 10. Let n be (1 - -2) + (-102)/26. Let t = -97/91 - n. Is v < t?
False
Let j = 0.4 + -0.2. Let i = 19.84 - 19.8. Is j smaller than i?
False
Let d = 40027 - 56117851/1402. Which is greater: d or 0?
d
Let p = -42 - -74. Let n = p + -52. Let h = 20.1 + n. Which is smaller: 0.07 or h?
0.07
Let m = 1 + -0.9. Let k = 4 - -14. Which is smaller: k or m?
m
Let d = 14 - 13.78. Let l = -0.2 + d. Let c = -25 + 25. Which is bigger: c or l?
l
Suppose c = -2*z + 1 - 5, 3*z + 3*c = -9. Let w be 0 + 96/(-92) - z. Which is bigger: -1 or w?
w
Let b(u) = -26*u**2 - 2*u. Let i be b(2). Let r be i/30 + 6/10. Let w = 2 - r. Is 6 smaller than w?
False
Let a = -104 - -53. Let m = -53 - a. Is m > -0.1?
False
Let v(q) = -12*q**2 - 4*q + 88. Let h be v(7). Is h at most as big as -528?
True
Let m = -696 - -694. Let h be (3 - 2)*(0 + -4). Is m greater than h?
True
Let c = -44 + 27. Let x = 3 + c. Which is bigger: x or 2/5?
2/5
Suppose 0 = -f + 4*f - 5*z + 130, 4*f - 5*z + 165 = 0. Which is smaller: f or -217/6?
-217/6
Let d = 161 - 160. Which is smaller: 1/169 or d?
1/169
Suppose 0 = -0*d - 2*d + 26. Let k(q) = 11*q**2 - 15*q. Let g be k(2). Which is greater: g or d?
g
Suppose y + w + 46 = 0, -4*y = -3*w + 135 + 28. Let o = y - -30. Is o at most as big as -13?
True
Suppose -5*h = 3*n + 202 + 192, 2*n + 83 = -h. Which is smaller: h or -78?
-78
Let v = -2.2 - -2. Let z(f) = f**3 - 3*f**2 - 8*f + 5. Let s be z(-2). Which is bigger: s or v?
s
Suppose 16 = m - 41. Let j = 59 - m. Is j smaller than 28?
True
Let d = 0.105 + -0.105. Is 5.4 < d?
False
Suppose -4*a + 2075 = 5*t, t + 0*a - 2*a - 429 = 0. Let h = t - 1231/3. Which is bigger: h or 10?
10
Suppose -21*d + 8 = -13*d. Do d and -9/32 have the same value?
False
Suppose 3 = -3*z - 0. Let x be (-13)/(z/11*1). Let d be (-26)/(-22) - 26/x. Is 1 at least as big as d?
True
Let q be (60/50)/(1/(-5)). Let s be q/18 + (-302)/(-6). Let j be (-8)/s*25/10. Is -0.01 equal to j?
False
Let b(m) = -m**2 - 10*m - 10. Let z be b(-9). Is z < -1/561?
True
Let a be (-6)/10 + 1568/2450. Which is smaller: 1 or a?
a
Suppose -3*s + a + 10 = 0, 0 = -s + 2*a + 13 - 3. Which is greater: s or 29/23?
s
Suppose 2023 = 844*b - 851*b. Which is bigger: -0.1 or b?
-0.1
Suppose 0 = 3*v + 1 - 7. Let q be -1 + 0/1 + v. Which is smaller: q or -1/24?
-1/24
Let s = 0.55 - 0.05. Let z = -27 + 7. Let a be ((-2)/5)/(12/z). Which is bigger: s or a?
a
Suppose -w - 2*w = 1191. Let b = w + 22. Let v be (-40)/b*6/8. Which is bigger: 1 or v?
1
Let o(j) = -2*j**2 - 2*j + 12. Let s be o(7). Let i = 63 + s. Let k = i - -33. Is -3 at most k?
False
Let q be 8/(-6 + -10)*-130. Which is bigger: q or 64?
q
Let j = -2/3257 - 1644759/42341. Let p = -39 - j. Is p at most 0?
True
Let s be (-4)/(-1) - (-692)/(-174). Which is greater: 0 or s?
s
Let y = 106 - 83. Suppose -y*h + 54*h - 26*h = 0. Which is bigger: h or 4/19?
4/19
Let r(y) = -18*y - 1. Let b be r(1). Let h = -326 + 307. Is b at least h?
True
Let k = 19.2 - 19. Suppose -4 = -3*x + 14. Let c(o) = -o**3 + 6*o**2 - 1. Let g be c(x). Is k bigger than g?
True
Let s be (498/415)/(-2 + 757/380). Do -152 and s have different values?
False
Let f be 49501/(-8932) - -1*(-4)/(-14). Let s = f + 2/319. Which is smaller: -5 or s?
s
Let x(n) = -n**3 + 26*n**2 + 49. Let s be x(26). Suppose -48*k + s*k - 78 = 0. Is 78 < k?
False
Suppose -3*s - 2*d = 2 - 0, 2 = -2*d. Let r(t) = 5*t - 1. Let a be r(s). Which is smaller: -1/133 or a?
a
Let q be ((-9)/(-68))/((-10)/80*3). Are q and 1 equal?
False
Suppose -4*v - 5*j + 24 = 0, 0 = -j + 4. Suppose 5 = 4*l + v. Is 1/20 at most as big as l?
True
Let x = -469 - -480. Do 11 and x have the same value?
True
Let r(t) = -t**2 - 20*t - 18. Let o be r(-19). Is o bigger than -4/125?
True
Let c(d) = 5*d - 35. Let f be c(8). Suppose -f*p + 11 = 6. Is p at most 1/6?
False
Let w(t) = t**2 + 3*t - 5. Let h be w(2). Suppose h*s + 32 = 7. Let j be 0/1 - (-2 - -3). Which is smaller: s or j?
s
Suppose -18*k = -23*k + 5. Let o be ((-3)/9)/(1/(-3)). Is o smaller than k?
False
Let f be ((-28)/(-8))/7*6. Suppose -2*k - 6 = -4*i, 4*k = -i - f + 27. Let s = 1 - i. Which is smaller: 2 or s?
s
Let o = 2 + -0.6. Let c = -1211/780 - -19/12. Let b = c + -69/130. Which is smaller: b or o?
b
Suppose 0 = -2*s - 3*s - 3*w + 2, 3 = s - 2*w. Suppose -i = 0, -2*q - 2*q + 2*i = 16. Let u be (-4)/66 - q/12. Which is smaller: s or u?
u
Let n be (-15)/(-10)*-10 + -1. Let h be 0*(-3 - 52/n). Is 3/34 bigger than h?
True
Let x = -2.8 + 3. Let g = -166.9 - -167.917. Let u = -0.117 + g. Is x at most u?
True
Suppose -4*h = -0 + 4. Suppose 0 = y - 0*y + 3*k + 64, -3*y - 4*k - 172 = 0. Let l be ((72/y)/(-3))/(-1). Are l and h nonequal?
True
Let f be 6/3*8/64*-30. Which is bigger: -8 or f?
f
Suppose -a + 4*x - 37 = 14, 3*x - 3 = 0. Which is smaller: 1 or a?
a
Let q be ((-75)/(-1575))/(62/(-3)). Which is smaller: q or 0?
q
Suppose -o = 4*h + 33 - 9, 27 = -2*o - h. Do o and -144/11 have the same value?
False
Suppose -4*c + 15 - 3 = -4*r, -4*c = -5*r - 11. Let d = -10 - 15. Let n = d + 25. Are r and n nonequal?
True
Let k(z) = z**2 - 12*z + 17. Let y be k(8). Let m = y + 20. Suppose -5 = -5*j + m. Is 2 smaller than j?
False
Let c = 2689.983 + -2685. Let h = -0.017 - c. Which is smaller: h or 0.1?
h
Let c be (-13 + 13)*(-1)/3. Suppose 4*v + 5*d + 11 = c, 0 = 4*v - 7*v - 2*d - 3. Let t be ((-2)/36)/(v/4). Which is greater: t or 0?
0
Suppose -3*a = 5*p + 14 - 46, -4*p + 27 = a. Which is smaller: p or -1?
-1
Let h = 935 + -12153/13. Which is bigger: 1 or h?
1
Let r(z) = 9*z - 173. Let j be r(5). Which is smaller: j or 0?
j
Suppose 93 + 136 = 5*m - 2*p, p - 88 = -2*m. Suppose -5*t + 55 = -5*b - 0*t, -5*b = -3*t + m. Let g be 119/(-34)*(-24)/(-14). Is b bigger than g?
False
Let m(c) = c**2 + 9*c + 6. Let n be m(-8). Suppose -4*t - 16 = 0, 0*r = -4*r + t - 24. Let v be 2/r - (-12)/(-21). Is v bigger than n?
True
Let w(h) = h**3 + 6*h**2 + 4*h. Let k be w(-4). Which is greater: k or 83/5?
83/5
Let i = 1 + -2. Let q = 6.648 - 47.648. Which is greater: q or i?
i
Let z = 12101 - 7054881/583. Which is bigger: -1 or z?
z
Suppose 4*w = 2*i - 2, -3*i + 0*i = -3*w - 9. Let r = -779 - -781. Suppose r*y + i*h + 0 - 7 = 0, 12 = 2*y + 4*h. Is y at most 16?
True
Let g be ((-42)/15 - -2)*70/(-4). Suppose -l - 8 = g. Does -23 = l?
False
Suppose 0 = -3*m - s, -5*m - 5*s = -2*s. Suppose m = -5*n + 2 + 3. Let v = 320 + -4477/14. Which is smaller: n or v?
v
Let w be 12/(-10)*(5 - 0). Let u = w - -9. Suppose 0 = 3*m - 3*d + 6, 6*m - 5*m = -2*d + 13. Is u not equal to m?
False
Suppose -5 = -12*b + 17*b. Let p be 7/(98/4) + b. Is -1 at most p?
True
Let p(v) = -v**2 - 22*v - 33. Let n be p(-2). Which is bigger: n or -16?
n
Let o(l) = -28 - 6*l - 12*l + 24*l. Let p be o(10). Which is smaller: 34 or p?
p
Let i = -118 - -175. Let g = i + -41. Is g equal to 16?
True
Let k(x) = x - 8. Let l be k(6). Let j be (3/20)/(l/8). Suppose 4*y + 5*f + 15 = 0, 4