han -173?
True
Let p = 1166.72 - 1140. Let j = p - -0.28. Does j = -1?
False
Let u = 6 + 44. Suppose -31*y = -32*y - 3*c + 34, 6*y = -3*c + 279. Which is greater: u or y?
u
Let z = -0.23 + 2.73. Let s = 13.5 + z. Let q = 11 - s. Does q = 1/2?
False
Let o = 62.5 + -62. Is o <= 0.11?
False
Let m(f) = -8*f - 2 + 7*f - f. Let o be m(1). Let a be o/(-72)*8/2. Is -1 <= a?
True
Let t be (0 - -2)/(9/36). Let o be 414/(-21) + t/(-28). Let j be o/2*(-3)/(-6). Is 0.1 >= j?
True
Let s = 196 + -56. Suppose 14*h = -0*h - s. Which is smaller: h or -49/5?
h
Suppose 12 + 10 = -11*s. Let r = 10 + -11.6. Which is smaller: s or r?
s
Let x = -16105/4 - -3891. Let h = -136 - x. Which is bigger: 2/11 or h?
2/11
Let m = -0.299 - -0.099. Let v = -7.5 - -7.47. Is v at most m?
False
Suppose -5*q + 3*p = 0, q + q = p + 1. Suppose -4*m = -3*i - 50, -3*i - q*m = 6 + 9. Is i less than -8?
True
Let w(o) = -o**2 + 4*o - 3. Let b be w(4). Let g be (-16)/(-8) - (b + 8). Is g greater than or equal to -0.1?
False
Let y = -1.7 + 0.9. Let w = 0.3 + y. Let v = -1613 + 1611. Which is smaller: w or v?
v
Suppose 1109*h - 1125*h = 928. Is h not equal to -50?
True
Let z = -141 - -1271/9. Which is smaller: 1 or z?
z
Let n(f) = 5*f - 8 - 3*f - f. Let j be -2*2*9/(288/(-88)). Let r be n(j). Which is smaller: 0 or r?
0
Let b = 1.96 - 1.79. Which is smaller: -4 or b?
-4
Let k = 4.689 - 4.8. Let b = k + 0.011. Is b >= 2/5?
False
Let o = 0.3054 - 0.3454. Let x = 0.1 + 0.01. Is x not equal to o?
True
Suppose -9*u + 13*u = -20, 5*u = 4*s - 41. Is 5/2 smaller than s?
True
Suppose 4*q = -q. Suppose q = -0*d - 5*d - 4*l + 59, -2*d + 19 = -3*l. Suppose 5*o = d - 1. Are o and 3 equal?
False
Let f = 0.8 + -1.1. Let q = 2.4 - -3. Let j = q - 5.4. Is j greater than or equal to f?
True
Let u = 37 + -30. Suppose 4*g = u*g. Which is smaller: g or -2/67?
-2/67
Let r = 2191 + -17559/8. Is r < -4?
False
Suppose -5*i = -0*i + 5*t - 5, 3*i - 2*t = -2. Let f = -21 - -32. Let s = -299/27 + f. Which is bigger: s or i?
i
Let u = 2096 - 1601. Is u less than 495?
False
Let k be 0 + (-4 - 26/(-4)). Let b = k - 17/6. Suppose -h + 0*h - 1 = 0. Is h bigger than b?
False
Suppose -2*h - a = -17 - 4, 2*h = -4*a + 36. Let w(v) = 8*v**2 - v - 2. Let k be w(-1). Which is smaller: h or k?
k
Let w(j) = -64*j + 2. Let p be w(-1). Let g be -1*4/p*(-2 - -26). Is g at most as big as -1?
True
Let k be -1 + (-646)/12 + (-200)/(-240). Is -0.1 greater than or equal to k?
True
Suppose -4*h - 2322 = -2*x - 426, -4 = 2*x. Is -474 greater than or equal to h?
True
Let j(n) = -n**3 - 3*n**2 + 4*n + 3. Suppose -4*s + 3*p + 7 = 21, 0 = 2*s - p + 6. Let r be j(s). Is r less than or equal to -11?
False
Let a = -1.3 - -1.34. Let d = a + 0.06. Let n = -106 - -105.79. Is d at most as big as n?
False
Let r = 261.5 - 130.8. Let q = r - 129. Which is bigger: q or -0.1?
q
Let u be 0*(7/(-2))/7 - 297. Is u not equal to -296?
True
Suppose -4*q = -0*q - 284. Let r be (-6)/(q/(-2) + -2). Let o = -1/25 - r. Is -4/11 >= o?
False
Let d = 0.43 - 0.83. Is -0.06 < d?
False
Let a = 9 - 9.5. Suppose 8*w = 10*w + 4. Is a smaller than w?
False
Suppose 5*i - g = 32, 6 = -i - 4*g + 4. Let w be ((-20)/i)/((-30)/45) - 1. Is 5 >= w?
True
Suppose 0 = 4*j - 2*s - 6, 3 = -3*j + s + 5. Do -32/15 and j have the same value?
False
Let d(y) = 10*y - 14. Let m be d(6). Suppose -4*p - 10 - m = 0. Which is smaller: p or -13?
p
Let z = -7 - -16. Suppose -5*b + z*b = 8. Let o be -2 + ((-3)/(-2) - -1). Is b < o?
False
Let q be -16 + 26 + (-30)/4. Which is smaller: -2/39 or q?
-2/39
Let f = -431 + 19827/46. Suppose 2*p + 0 - 18 = 0. Suppose -p = 3*u - 6. Is u equal to f?
False
Suppose -2*r - 2*r + 8 = 0, 0 = -4*o + 3*r + 154. Let i = 28 - o. Is -13 at least i?
False
Let j be 55/(-6 - 370/(-60)). Which is smaller: 329 or j?
329
Suppose 7 = 3*c - 2*u, -4*u - 3 = -2*c - 1. Let j be c/(-12) + 2/8. Is j < 1/14?
True
Let b be (1 + -2)/(2/(-10)). Suppose 310 = -b*f - 1030. Let d = 5626/21 + f. Which is smaller: 0 or d?
d
Suppose c = 19 + 149. Let l be c/81 - (-2)/(-1). Let g(u) = u - 6. Let d be g(6). Which is bigger: l or d?
l
Let w be 0/(3 + (-1 - 4)). Suppose 0 = 2*a - 3*u + 4, 5*a + w*u - 4*u - 4 = 0. Suppose 0 = -a*g - 2*l - 22, -3*l = 4*g + 18 + 7. Which is smaller: g or -2/3?
g
Let h be (-30)/(-4 - 2) - 2*2. Let v be 4 - h - 175/65. Suppose 4*a - 3*w = -10, 2*a + 4*w = -0*a + 6. Which is smaller: a or v?
a
Let f = 3.7 - 0.7. Let v = -2.2 + 2.45. Let g = 0.05 - v. Which is smaller: g or f?
g
Let t = -8 - -5. Let a(l) = l**3 + 2*l**2 - 3*l. Let z be a(t). Let w = z + 1. Is w bigger than -2/11?
True
Let b(y) = y**3 + 3*y**2 - 20*y - 9. Let h be b(4). Are h and 23 equal?
True
Let m = 3558 + -167240/47. Which is smaller: m or 1?
m
Let c(k) = k**3 - 2*k**2 + 2*k - 3. Let h be c(2). Let n be -3*(h + (-36)/33). Let r be (5 - 4)/((-2)/(-2)). Is r >= n?
True
Let i be (-2)/(-4) - ((-12)/(-2) - 6). Let k = -211 - -166. Which is greater: k or i?
i
Let x be (-236)/(-462) - (-98)/(-147). Which is greater: 0 or x?
0
Let s(z) = -z**2 - z. Let f be s(0). Suppose 12 = 2*k - 5*k, 0 = -3*u + 2*k + 8. Suppose u*j = -2*j - 2. Is j bigger than f?
False
Let m be (3 + 0/4)*-1 + -128. Is m < -131?
False
Suppose 3*i - 30 = -5*f + 134, -4*i = 5*f - 217. Which is smaller: i or 158/3?
158/3
Let v = 0.0411 - 1.0411. Is v >= 0.19?
False
Let o be (-1)/5*135/1269. Which is smaller: -1 or o?
-1
Suppose -4*u + 22 + 6 = 0. Suppose u*j - 3*j - 24 = 0. Suppose f - 12 = -f. Are f and j unequal?
False
Let m(q) = q**2 + 9*q + 9. Let j be m(-8). Let a(k) = -k**3 + 4*k**2 - 3*k. Let o be a(2). Let g be ((-128)/(-34) - 4)/o. Are g and j equal?
False
Let f = -0.94 + 0.11. Which is bigger: f or 1/2?
1/2
Let i = -16.545 + 0.145. Let p = i - -16. Let f = 5 + -6. Which is smaller: p or f?
f
Let x be (-2)/(-2) - (-14 - -11). Suppose 4*d - 3*f - 51 = -0*f, -x*d + 57 = -f. Is 29/2 smaller than d?
True
Let x be 2848/28 + (-2)/(-7). Let p = 91 - x. Which is greater: p or 0?
0
Let h(a) = 17*a**2 + 2*a**2 + 2*a**3 - 3*a**2 - 7 + 17*a - 3*a**3. Let f be h(17). Which is bigger: -25/4 or f?
-25/4
Let z = 60.95 + -63. Let a = z + 2. Let r = 0.15 + a. Which is smaller: -1/3 or r?
-1/3
Suppose 51 = 3*f - 3*i, 3*f + 5*i = -9 + 52. Is f <= 16?
True
Let y = -12/7185715 + -7486074431/2069485920. Let c = -5/288 - y. Which is smaller: 3 or c?
3
Suppose 0 = 3*h - 3. Suppose -3*o + 1 = -2*q - h, -3*q = 4*o + 3. Suppose -3*v + o*v = 0. Which is bigger: v or -2?
v
Let x be (-500)/164 - (-1 + -2). Suppose m + 13 = 4*o - 4, 4*m = -3*o + 27. Let j be (-6)/(-15) + 3/o. Is j at most x?
False
Let h(f) = f**3 + 8*f**2 - 10*f + 4. Suppose -14 = 2*m - 2*i, -m = -6*m - 4*i - 53. Let k be h(m). Let c = 96 + -82. Which is bigger: c or k?
c
Let p = -12 - -13. Suppose 5 = 2*h + p. Suppose -2*w + h*y + 12 = 3*w, y = -w + 8. Which is greater: 2 or w?
w
Suppose 5*r = -5*h - 90, -h - 4*r - 21 - 6 = 0. Is h not equal to -27?
True
Let t(g) = g**3 + 10*g**2 + 10*g + 21. Let p be t(-9). Suppose -2*u - 34 = -p. Which is smaller: -12 or u?
-12
Let z be ((-28)/(-70))/((-4)/(-230)). Do z and 400/17 have the same value?
False
Let w be 6*(-3)/(-2 - -11). Which is bigger: w or -5?
w
Suppose -2*y + 0*k = 5*k - 39, -4*y - 2*k + 38 = 0. Suppose y*m + 24 = 11*m. Let o be (4/m)/(8/(-36)). Is o equal to -6?
False
Let z = 0.2 - 0.21. Let n = -48.82 + 48.92. Is n greater than z?
True
Let u = 4.964 - -0.036. Let k(x) = x - 10. Let z be k(8). Let p be (-2)/12 + z/12. Is u at most p?
False
Let o = -1564/273 + 4/273. Which is smaller: -7 or o?
-7
Let j = 52 + -83. Let t = j + 29. Which is smaller: 31 or t?
t
Let c = 31 + -30. Suppose 31 = 2*t + 41, -v + 22 = -3*t. Is v at most as big as c?
False
Let h = 74/63 + -8/9. Let u = 1178/25 - 47. Let w = -119/575 + u. Is h >= w?
True
Let t be ((-8)/20)/(4/16)*-30. Is t at least as big as 48?
True
Let w(t) = -11*t - 120. Let d be w(-13). Is 6 greater than d?
False
Let s be -7 - -6 - -7 - 7. Is -206 >= s?
False
Let v = -98 - -197/2. Is v <= -3?
False
Let c = -101 - -110. Let x = 0.984 + 0.016. Is x at least as big as c?
False
Let g = 1.8 - -10. Let k = -12 + g. Suppose 5*v - 57 + 37 = 0. Is k equal to v?
False
Let o = -462487/31 - -14917. Which is smaller: -1 or o?
o
Let s = -4 - -3. Let t = -48 + 48.072. Let i = t - 2.072. Which is smaller: i or s?
i
Let