ose 5*q + 123 = x + 837, -2*q = -x - 285. Are q and 3 unequal?
True
Suppose 2*c = 5*n - 3*c - 2145, 2*c = -4*n + 1746. Is 434 bigger than n?
False
Let s = 150 + -148.28. Which is greater: -2/7 or s?
s
Let a = -219 - -207. Which is bigger: a or -13?
a
Let z = 4.03 + -4. Let f = z + 0.17. Let i = 415.2 + -414. Which is bigger: i or f?
i
Let x = -0.064 - -0.014. Let c = x + -21.95. Which is smaller: 1 or c?
c
Let s be (-1 - (-15)/6)*2. Let b be (-16)/3 - s - -2. Which is smaller: b or -5?
b
Let n(v) = -v**3 - 15*v**2 - 13*v + 16. Let z be n(-14). Suppose -3*b - 14 = -j, z*j = -4*b + 9 + 9. Is j greater than or equal to 1?
True
Let p = -99 - -104. Let b be (-190)/(-35) + p/((-70)/6). Is b at most as big as 5?
True
Let z = 26 - -28. Let c = z + -70. Is -18 bigger than c?
False
Suppose -h + 4 = -3*j, 5*h + 14*j = 9*j. Let x be (-1107)/2205 + (-4)/(-10). Which is bigger: h or x?
h
Let v be 21*5/25*5. Let x be (56/12 + -4)*v. Is 12 < x?
True
Let q = 13.9 - 9.5. Let c = 5.4 - q. Which is smaller: 73 or c?
c
Let r = 13.67 + -13.68. Let a = 18/7 + -19/7. Is a at most r?
True
Suppose -2*i - 51*t + 307 = -54*t, 5*i - 5*t - 770 = 0. Which is smaller: i or 154?
154
Let h = -1687 + 1658. Let g = -4.1 - -4. Which is smaller: g or h?
h
Let l be 3 - -1 - (-1 - 10/5). Is 15 < l?
False
Let j = 211/2 + -106. Let a = -1.1 - -1. Which is smaller: a or j?
j
Suppose 5*x + n = -3*n - 56, -16 = x + 2*n. Let s be x/(-44) - (-922)/11. Let w be (-39)/26 + 118/s. Is 1 at least as big as w?
True
Suppose 0 = 9*k - 147 + 21. Let m = k + -15. Is 1/13 equal to m?
False
Let b be 102/(-27) + 2/(-9). Let z(n) = 2*n**2 + 26*n - 5. Let h be z(-13). Is h greater than b?
False
Let v(q) = -5*q**2 + 2*q + 6. Let z be v(2). Let t be ((-16)/(-20))/(524/z). Which is smaller: t or -1?
-1
Suppose 2*n - 2*x + 84 = -2*n, 2*x = -8. Let g = n + 33. Suppose b = -4*m + 3*m + g, -2*m = 4*b - 32. Is 6 less than or equal to b?
True
Suppose -38*n + 42*n = 16, -o + 2*n - 9 = 0. Which is smaller: o or -1/108?
o
Let k(s) = 2*s - 1. Let x be k(9). Let r = x + -40. Does -23 = r?
True
Let n be (-42)/(-12) - (-3)/(-2). Let m be (2/(-8))/(1/(-4)). Let x be ((-28)/40)/(m/(-2)). Is n < x?
False
Let m = -17 - -32. Let a = 1325 - 1323. Is m at least a?
True
Let c be 3*((-1477)/21 - -4). Which is bigger: -198 or c?
-198
Suppose -4*j - 11*m = -8*m - 663, 182 = j + 4*m. Which is smaller: j or 164?
j
Let r = 498 - 1163. Let l be (-12)/28 - r/294. Which is bigger: l or 3?
3
Let y(l) = -2*l + 8. Suppose 2*h - 7*h - 75 = 0. Let x = 22 + h. Let s be y(x). Which is smaller: s or -7?
-7
Let z = -15 + 15.18. Let c = 10.18 - z. Let u = c - 5. Which is greater: u or 2?
u
Suppose -4*x = -2*x - 6. Suppose 1 = 2*j + x. Let f = 1041 - 9367/9. Which is smaller: f or j?
j
Let o be (-2)/6 - 566/12. Let r = -49 - o. Let f = 86 - 87. Is r < f?
True
Let u = 7.5 + -1.5. Let f = -10.1 + 17.1. Let l = f - u. Is 0.2 bigger than l?
False
Suppose 4*s - 12 = 38*x - 36*x, x + 3 = s. Let b(j) = 2*j**2 + 3*j - 4. Let c(a) = -2*a + 7. Let n be c(5). Let r be b(n). Which is smaller: r or x?
x
Suppose 45*j = -28 - 62. Which is bigger: j or -24?
j
Let y = -10.77 - -11. Let s = y - 0.13. Let p be (4 - 0)*(-2)/20. Is s <= p?
False
Suppose -11*k = 10998 + 937. Which is greater: -1086 or k?
k
Let d = -49 - -55. Let p = 4 - d. Is -1/5 bigger than p?
True
Suppose -151 = c + 3*n, 4*c + 3*n + 631 = -0*n. Let z = 319/2 + c. Which is greater: -9/2 or z?
z
Let s be 1 - (1/(-2))/(-1). Suppose 26*b + 3 = 23*b - q, 3*b + 5*q = -15. Which is greater: b or s?
s
Let t = 76 + -71. Suppose -2*y + 5*y + 25 = -t*h, 0 = -2*y + 5*h + 25. Is y at most as big as 1/5?
True
Let o be -10 - (1 + 0/1). Let q = 169 - 181. Which is greater: q or o?
o
Let s = 18283/9 - 2031. Is 35 smaller than s?
False
Let z(b) = 3*b**2 - 4*b - 7. Let t be z(4). Let k be 10/t + 66/10. Suppose -k*l - 3 = -4*l. Is l equal to -6?
False
Suppose 2*d - 5 = -1. Suppose 52 = d*k - 56. Let f be (-3)/(3 + k/(-4)). Which is bigger: f or 2/3?
2/3
Let h = 296168/4255 + -4/851. Let f = h + -70. Is 1 > f?
True
Suppose -2*u + 16 = 2. Let h = 4 - -11. Suppose -2*i = 5*l - h, 2*i = 2*l + 6 + 2. Are i and u non-equal?
True
Suppose -3*p = 3*t + 7 - 1, 2*t - 5*p - 31 = 0. Suppose t*m + 5*u + 40 = -45, -2*m + 2*u = 30. Let x be m/(-21) - (-12)/(-18). Is x <= 4?
True
Let i = 85.39 - 85. Let k = i + -0.19. Which is greater: 1 or k?
1
Suppose 0 = -8*q + 4*q - 8. Let m(n) = -n**3 - 6*n**2 - 1. Let p = -15 - -9. Let w be m(p). Which is greater: q or w?
w
Let j = 12.84 + -13. Let u = 0.36 + j. Is 3 != u?
True
Let u = -3 + 3.2. Let o = -0.3 + u. Let k be (-1)/(-9)*(3 - -3). Which is greater: o or k?
k
Let o(r) = 4*r**2 - 3*r**2 - 11*r + 11 - 2*r**2. Let h be o(-12). Let c = 8 + h. Is c >= 5?
True
Suppose -4 = 4*w - 5*h - 5, w - 4*h = -8. Suppose -q + w*q = -135. Is -45 at most as big as q?
True
Suppose 4*x - 16 = -0*x. Suppose -l + 3 - x = 0. Let m be ((-180)/(-22))/(-5) + 2. Which is smaller: m or l?
l
Let n(o) = o**2 + 11*o + 4. Let x be n(-11). Suppose 4 = x*r - 0*r. Is 2/71 <= r?
True
Let g(p) = 2*p**2 - 11*p + 3. Let d be g(5). Let x be (-1)/d - (-4)/(-6). Which is smaller: x or -1?
-1
Let f(p) = p**2 + 10*p - 4. Let u be f(-10). Let k(q) = -q - 3. Let m be k(u). Let x = -2 + m. Which is smaller: x or -2/9?
x
Let t be 0/(3 - 2 - -1). Let o = 31 + -27. Let j be 39/63 + o/(-3). Which is smaller: j or t?
j
Let d be 5030/60*8/118. Let t = d - 1/59. Is t at most 7?
True
Suppose -5*b = g + 33, -2*b - 55 = 3*g + 18. Let r = 223/38 - 102/19. Do g and r have the same value?
False
Let p = -149923/16 - -9370. Suppose 0*r - r = 0. Is p < r?
True
Let s = 5 - 6. Let h = -6/511 - 1413/10220. Which is smaller: h or s?
s
Suppose -2*t + 40 = 4*k + 3*t, 3*t = 4*k - 40. Suppose 0 = 8*m - 7*m + k. Let b be 1 - 1/(2/m). Which is greater: b or 7?
7
Suppose -4*r - h + 18 = 0, -4*r + 2*h + 6 = -3*h. Let f = -10 + r. Let c = 18 + -17. Which is greater: f or c?
c
Suppose -99*d = 6460 + 767. Which is smaller: 16 or d?
d
Let h = 0.1 + -0.2. Let j be (10/(-4))/((-5)/4). Let p(b) = b**2 + b - 2. Let m be p(j). Are m and h unequal?
True
Let w = 3 + -3. Suppose 2*c = -w*c - 10. Let k = 583/4 + -605/4. Is k less than or equal to c?
True
Let v = -1035 - -1034. Which is bigger: -11/162 or v?
-11/162
Let m = 0.11 + -0.21. Let f = -17.1 + 18. Let z = m - f. Is -3 bigger than z?
False
Let c(i) = -i**2 + 4*i + 1. Let r be c(4). Which is smaller: r or -2/109?
-2/109
Let q = -79.8 - -74. Let k = q - -0.8. Let p = -5.1 - k. Is -0.06 at least p?
True
Let z(h) be the second derivative of -h**3/2 + 10*h**2 - 4*h. Let a be z(9). Which is greater: -2 or a?
-2
Let p = -237 - -237. Do p and -3/65 have the same value?
False
Let r be 0/(-3)*(-8)/(-24). Which is smaller: r or 1/23?
r
Let z = -2.73 + 2.13. Which is greater: -1.5 or z?
z
Let a = 2 - -7. Suppose -3*n = 3*u + a, 5*n = u + 6 + 3. Let l be (-8)/8 - (-4)/n. Is 3 greater than or equal to l?
True
Let z be (-39)/(-120) - 1/4. Let r = 31/120 + z. Is r > 0.16?
True
Let y = 1.3 - -0.1. Let p = -0.82 + -0.48. Let u = p + y. Which is greater: -2 or u?
u
Let h(q) = q**2 - 8*q - 9. Suppose 5*b - 15 = l, 6*l = -4*b + l + 12. Suppose -7*g + b*g = -36. Let s be h(g). Which is bigger: s or -4/21?
s
Let a be 94/10 - (-10)/(-25). Let n = a - 7. Suppose 4*f = n*f - 2. Which is greater: -6 or f?
f
Let o(w) = w + 6. Suppose 4*a - 4*j - 92 = 0, 5*a = a + 5*j + 96. Let s = 13 - a. Let i be o(s). Are 1/9 and i nonequal?
True
Let i = 1175/2 - 574. Is i < 15?
True
Let g(v) = -v**3 - 5*v**2 - 5*v + 1. Let f be g(-4). Suppose 0 = f*c - 9*q + 4*q - 45, 2*c - 3*q - 23 = 0. Which is smaller: 5 or c?
c
Let o = -212 - -216. Which is bigger: o or -37?
o
Let l = -8 + 7.9. Let h = 25 + -24.94. Is h greater than or equal to l?
True
Let f(v) = -v**3 - 4*v**2 + 3*v + 2. Let g be f(-4). Let s(c) = 2*c - 40. Let l be s(15). Is g at least as big as l?
True
Let v(x) = -2*x**2 + 39*x + 109. Let a be v(22). Is a greater than or equal to -4/411?
False
Let q be 1/(-1 - (-33)/36). Let f(t) = -t**3 - 13*t**2 - 7*t + 27. Let u be f(q). Which is greater: u or -34?
u
Let v(o) = -o**2 - 30*o - 83. Let l be v(-21). Is 106 < l?
False
Let a = -562.9 - -563. Which is greater: a or 0.131?
0.131
Let u = 3731/10 - 373. Are u and 1 non-equal?
True
Let j be 6/2 - (-8 + 