 -11 + 23. Let m be (3/6 - (-9)/12)*-4. Let b = m - y. Is b at most as big as -17?
True
Let n be (420/(-126))/((-1)/(-18)). Is n less than or equal to -60?
True
Let l = 61 + -96. Is l greater than or equal to 0.4?
False
Suppose 5*w + 4*s = -s + 60, -w + 2 = -4*s. Let j be 20/15 + (-6)/(-9). Suppose 5 = 5*p + j*y, 4*y - w = 10. Which is greater: 0 or p?
0
Let b = 0.21 + 14.79. Let w = b - 16.2. Let x = -0.8 + w. Which is bigger: -0.2 or x?
-0.2
Let i = -15/2 + 129/14. Let j = 2.5 + -2.5. Are i and j nonequal?
True
Let y(l) = -4*l - 16. Let r = -48 + 48. Let p be y(r). Are -15 and p non-equal?
True
Let m = -102 + 60. Let j = -43 - m. Let n be (-3)/(-3)*(-2)/37. Which is smaller: n or j?
j
Let f = 6.07 - 8.8. Which is bigger: f or 0.2?
0.2
Let f be 150/(-27) + 4/(-9) - -5. Suppose s - 6*s + 20 = -5*l, -4*l = -3*s + 13. Let w be (0 + 4/6)*s. Which is bigger: f or w?
w
Let n = 393612 - 15357305/39. Let k = n - -165. Is k less than or equal to -1?
False
Let t(i) = -i**3 - 29*i**2 - 25*i + 65. Let b be t(-28). Which is greater: -99/5 or b?
b
Suppose -5*k + 12 = -2*k. Let n be 5*(k - 1 - 2). Suppose -o + 41 = n*z - 0*o, -z = -5*o - 29. Is z > 9?
False
Suppose 23*m - 17 = 6*m. Let q be 1 + 117/(-114) + 0. Are q and m non-equal?
True
Let g(n) = n**3 - 6*n**2 + 5*n - 27. Let d be g(6). Which is smaller: d or -1?
-1
Let x(a) = a**3 + 27*a**2 - 34*a + 7. Let r be x(-28). Which is greater: r or 174?
r
Let v = -336373/115 - -2925. Which is smaller: v or 1?
v
Suppose -16*f - 19 = 3*m - 21*f, 0 = -4*m + 3*f - 18. Which is bigger: -5 or m?
m
Let a = -8 + 12. Let m(q) = q**3 - q**2 - q + 2. Let p be m(-2). Let v be 4 + (p/(-4))/(-2). Does v = a?
False
Suppose -k - 20748 = 51*k. Is -400 smaller than k?
True
Let q = -227.9 + 204. Let i = -23 - q. Let g = i - -0.1. Which is greater: -2/9 or g?
g
Suppose 5*g - 3*t = -175, -4 = g + 4*t + 31. Do 8 and g have the same value?
False
Let x = 223787/115 - 1946. Which is smaller: x or -1?
-1
Let z = 30 - -3. Let v = 4 - z. Is -29 <= v?
True
Suppose 0*l + 28 = 2*l. Suppose -13*b - 1 = -l*b. Let t = -7518/47 - -160. Is b less than or equal to t?
False
Let l = -477 - -477.51. Is 0 equal to l?
False
Suppose -5*c - 4*s = -29, -5*c = -3*s + 4*s - 26. Suppose 3*r = c*a - 96, 12 + 87 = 5*a - 2*r. Which is smaller: 19 or a?
19
Let c(a) = a**2 - 9*a + 12. Let l be c(10). Let g be 3289/132 - (-20)/(-12). Which is smaller: g or l?
l
Let u be 7021/(-2652) - (0 + -3). Let z = u + -1/52. Which is smaller: z or 0?
0
Suppose 0 = -3*v - 1 + 25. Let j = 10 - v. Let f be (5/(-12))/5*j. Which is greater: f or 0?
0
Let k be (2 - 1) + (-2)/(-44)*-18. Which is smaller: k or 1/19?
1/19
Let y be (-3)/(-2)*(-24)/18. Let c be -6 - -3 - 14/y. Suppose 2*i - 6 = -c*s, 0*s - 12 = 2*s - 2*i. Which is greater: s or -3?
s
Suppose -g = 4*b, 14*g - 12 = 11*g. Are -1/239 and b equal?
False
Let n = 63 - 66. Let c be 11/3 + 3/9. Which is smaller: n or c?
n
Let z = 561 - 233. Which is bigger: 329 or z?
329
Let l(h) = -6*h - 11. Let m(d) = -14*d - 22. Let v(n) = -5*l(n) + 2*m(n). Let p be v(-11). Is p less than -6?
True
Let b(t) = 3343 - 3389 - 14*t + 0*t. Let x be b(-4). Suppose 5*u - 4*y - 55 = 0, 62 = 4*u - 5*y + 9. Which is bigger: u or x?
x
Let o = 67 - 71. Is o at least as big as -22?
True
Let m be -1*(-14)/(-14)*-1. Let p be (-6)/(-33) + 98/66. Do m and p have different values?
True
Suppose -1 = -2*n + 3. Let z be (-105 - -11)*(0 - n/(-4)). Which is smaller: z or 1?
z
Suppose 0 = -s + 32095 - 5915. Let n be 2/8 - 17297/s. Let g = n - -2/187. Which is smaller: g or -1/2?
-1/2
Let t(k) = k**3 - 8*k**2 - k - 2. Let g be t(8). Let i be 5/g - 4/(-3). Is i >= 1?
False
Let a = 5.04 - 4.5. Let k = -0.6 + a. Is k less than 2/7?
True
Let v = -130 - -129. Which is greater: v or 16/7?
16/7
Suppose 3*x + 163 = 172. Suppose -5*m = -4*r + 9, -2*r + x*r = 4*m + 5. Is -15/14 smaller than m?
True
Let c(d) = -2*d - 2. Suppose 3*s - 2*f = s + 22, -3*s - 4*f = -26. Let k = 8 - s. Let q be c(k). Which is smaller: q or 1?
1
Let u be (6/5)/(24/160). Suppose -u + 0 = -2*g. Let i be (-5)/(-3 + (0 - -2)). Is i != g?
True
Let h = -0.41 - -22.41. Let r = 40 + -69. Let y = r + h. Do -1 and y have different values?
True
Let h = 45.068 - 0.068. Let s = h + -45. Is s <= -14?
False
Suppose -4*o - 3 = 1. Let x be (14/21)/(1/18). Suppose 7*d - x*d = 0. Is d smaller than o?
False
Suppose 3*w + 18 = -0*g - 3*g, w + 4*g + 6 = 0. Let r(o) = -6*o + 12. Let f be r(w). Let u be 36/f*(-2)/6. Is -1.1 less than or equal to u?
True
Let h = 339 + -196. Let d = 140 - h. Is d less than 1?
True
Let f(a) = -a**3 + 8*a**2 - 7*a + 4. Let g be f(7). Suppose 0*m = -3*m - g*s + 646, 876 = 4*m - 2*s. Let o be ((-2)/(-5))/(m/10). Does o = 1?
False
Let q = 1887 - 1887. Is q equal to -20/123?
False
Let z = -1102 - -1102.1. Do 109 and z have different values?
True
Let g = 5666/48965 - 2/1399. Is g less than or equal to -1?
False
Let t(x) = 2*x**3 - 24*x**2 + 2*x - 21. Let k be t(12). Which is smaller: k or 14?
k
Let i be (-3*5)/((-14)/(-28)). Let c be (126/i - -5)*15/(-2). Suppose -5*a - 40 = -5. Are c and a equal?
False
Let a be 12 - 3/12*-844. Which is smaller: a or 226?
a
Let h = -19120022/85205 + 4/17041. Which is bigger: h or -223?
-223
Let t = 489.91 - 473. Let c = t + -17. Which is bigger: 1/2 or c?
1/2
Suppose -5*c - 4042 = -5*p - 1117, 1170 = 2*p - 4*c. Which is bigger: 584 or p?
p
Let l = -0.4 - -0.4. Let h = 0.2 + l. Let a = -806/15 + 323/6. Which is smaller: a or h?
a
Suppose 0 = -3*a - 4*l - 4, -2*a - 2*l + 1 = 3. Suppose -153 = -0*j + 3*j - 3*g, a = 2*j + g + 102. Which is bigger: j or -50?
-50
Suppose 0 = -3*k - 5*z - 7, -3*z + 5*z = -4. Suppose -8*o = -10*o. Which is smaller: k or o?
o
Let b = -830 + 723. Which is bigger: -101 or b?
-101
Let a = -1.4 + 0. Let t = -0.4 - a. Let q = 185.9 + -186. Are q and t equal?
False
Let u be 72/(-42) + (-2)/7 + -77. Is -78 greater than u?
True
Suppose -6*k + 24 = -3*k. Suppose 5*c = d + 52, -3 - 25 = -2*c - 2*d. Is k < c?
True
Let d be 783/60 - 1/(-5). Are 13 and d non-equal?
True
Let b(n) = -n**2 - 49*n - 244. Let z be b(-11). Are z and 175 nonequal?
True
Let z(n) = -6*n**2 - 6*n - 25. Let x be z(-3). Let w = x + 70. Are -0.4 and w equal?
False
Let p = -993 - -992.3. Which is smaller: p or 9?
p
Suppose -356*j + 366 = 10. Let k = -96.957 - -97. Is j < k?
False
Let w be (4/(-90))/((357/(-140))/(-17)). Which is smaller: 0 or w?
w
Let b = -1.3694 - 0.0206. Which is smaller: b or -1/2?
b
Let o = 21.194 - -0.206. Which is smaller: o or 2/9?
2/9
Suppose 6*h - 5 = -179. Is h at most 19?
True
Suppose 115*u = 116*u + 105. Which is greater: u or -421/4?
u
Suppose 7*g - 24 = -g. Suppose w + 4 - 19 = 0. Suppose 2*i - s = -w, 2*i + 20 = -s + g*s. Which is smaller: -4 or i?
i
Let p = -20 - -21. Suppose -4*q + 2*b = 4, 3*b = 4*q - 2*b - 2. Let h be q + p - (4 + -6). Do 18 and h have the same value?
False
Suppose 8*f = 14*f - 96. Let r be 30/4*-1*(0 + -2). Are f and r unequal?
True
Let j = 20 - 18. Let w be (j/(-5))/((-2)/10) - -10. Which is bigger: 11 or w?
w
Suppose 18*b = 15*b. Suppose 2*x - g - 13 - 7 = b, 2*x - 4*g = 20. Which is bigger: x or 12?
12
Let q be ((-7 + 1 + 6)/2)/2. Is q equal to 1/19?
False
Let u be (-1*17/(-7))/((-126)/49). Let s = u - 5/9. Suppose 1 = -5*j - 0*j + 2*a, -4*j - 5*a - 14 = 0. Is s bigger than j?
False
Suppose -7*s + 39 = -108. Let d be 35/s - (-1 - -2). Which is bigger: -22/3 or d?
d
Suppose 85 = 22*w - 17*w. Let f be 3 + (-101)/w + 6 + -3. Is f > -1?
True
Let g(y) = 2*y**2 - 9*y + 9. Let r be g(6). Let q = -49 + r. Let h be q/4*(2 - 0). Are -10 and h nonequal?
True
Suppose 4 = 2*t + n - 5*n, 2*t = -3*n - 24. Let q be t/(-18) + 1/(-3). Let v = -12 + 14. Which is smaller: v or q?
q
Let y = 96.2 + -14.2. Let f = y - 48. Let v = f - 32. Is 2 not equal to v?
False
Suppose -2*n - 28 = -t + n, -1 = n. Let g = 147 - 122. Do t and g have different values?
False
Let n = 43 + -43. Which is bigger: n or 51?
51
Suppose -6*p + 21 = -9. Suppose 2*k - p*k + 6 = 0. Let m be (3/9)/(k/6). Which is bigger: m or -3/17?
m
Let s(x) = -x**3 + 17*x**2 + 19*x - 19. Let j be s(18). Let d be ((-2)/j)/2 - (-4)/(-4). Which is bigger: 3 or d?
3
Let z(f) = f + 10. Let a = 38 - 35. Suppose 0 = 5*r - 25, 0*p + 4 = -a*p - 4*r. Let d be z(p). Which is bigger: 4 or d?
4
Let h = 1