
Let i = 9 - 18. Let m be (-12)/4 + (-23)/i. Let j(r) = r**2 - 4*r + 2. Let p be j(3). Is p < m?
True
Let c = -3 - -5. Let v be 15 + (-1 - (3 - c)). Let d be 15/v + 16/(-104). Which is greater: d or 2?
2
Let t be (-18)/(-3) - (9 - 5). Suppose p = t*h - 4, 2*p + 0*p - 5*h = -8. Let f be (-13)/(-36) - (-1)/p. Which is greater: f or -1?
f
Let n be -2 - -6 - (-246)/(-42). Suppose 0 = f - 2*f - 3. Are n and f non-equal?
True
Let o = 874.4 - 870. Which is smaller: -2 or o?
-2
Let l = 179 + -112. Let j = -71 + l. Which is smaller: j or -2?
j
Suppose 2*h + 0 - 4 = 0. Let m be (-1)/h*600/12. Is -24 greater than m?
True
Let n(g) = -4*g**2 + 3*g + 4. Let i be n(6). Is i equal to -123?
False
Let g = -203.244 + 203.3. Which is bigger: 0.1 or g?
0.1
Suppose -17 = -7*w + 88. Let z be 15/(-28) + ((-180)/16)/w. Do 1 and z have the same value?
False
Let i(t) = -t**3 + 5*t**2 + 2*t - 6. Let j be i(5). Let z(g) = -g + 4. Let s be z(0). Let v = s - j. Which is smaller: v or 2/17?
v
Let f = 0.4 - 0.3. Let t = -0.06 + 0.4. Let h = 0.44 - t. Is f >= h?
True
Let l be 2/324*(306/12)/17. Is l less than 1?
True
Let q = -1564.9 + 1565. Are q and 609 nonequal?
True
Let z be (-424)/(-18)*(-147)/14. Which is smaller: -248 or z?
-248
Let u = -116 + 89. Let b = u + -70. Is -1 less than or equal to b?
False
Suppose 22*w + 327 = 19*w. Is -109 != w?
False
Suppose -3*n = -1757 - 1. Let x = -1718/3 + n. Is x less than 12?
False
Let l = -3604/5 - -768. Let t = 47 - l. Let k = 2/121 - -85/2178. Which is smaller: k or t?
t
Let k(q) = -q**2 + 13*q - 9. Let j be k(12). Let g be ((-44)/(-6))/(j/(-9)). Let s be (-11)/(-22) - (-13)/g. Which is bigger: s or 0?
0
Suppose -10*s = -7*s - 15. Suppose 36 = s*m - 5*u + 2*u, 5*m - 57 = -4*u. Suppose 6*g + 12 = m*g. Which is smaller: 6 or g?
g
Let f be ((-12)/(-13))/((-1)/6). Is f bigger than -5?
False
Let j(m) = m**3 + 12*m**2 + 14*m + 27. Let f be j(-11). Let i be f/(-4)*(-130)/39. Is i smaller than -46/11?
True
Let z = 50/69 - 6755/276. Which is smaller: -23 or z?
z
Let r = 0.11 + -14.11. Let c = -0.175 - -0.075. Is r bigger than c?
False
Suppose -h - 4 + 3 = 0. Let v be 84/(-7) - (-8)/2. Let o be 42/(-20) - 12/v. Is o at least h?
True
Let i = -15 - -19. Let m be ((-9)/i + 3)/((-12)/8). Let u be 2 + (-2 - (-1)/(-1)). Which is smaller: m or u?
u
Let l = 0.04 + 0.96. Suppose 2*t - 994 = 5*g, g + 158 = 5*t - 50. Let q be 42/(-231) + 8/g. Which is greater: q or l?
l
Let q = -25 - -18. Which is smaller: -41/7 or q?
q
Let n = 502 + -502.04. Which is smaller: n or -4/7?
-4/7
Suppose 5*o = -5*j - 10, 0 = j - 6*j - o - 6. Let u be 3441/(-5180) + 3/(-60). Is u <= j?
False
Let b = 0.234 - 0.3. Do 3 and b have the same value?
False
Let m = 10023739/536 + -18701. Which is smaller: 1 or m?
m
Let s = 0.91 + 0.09. Let v be (-9 - 0) + -2 - -3. Let d = v - -9. Is s equal to d?
True
Let o = 1 - -1. Let i = -0.14 + 0.17. Let n = -0.03 + i. Which is smaller: n or o?
n
Let f = 23.6 + -24. Let q = 0.59 + f. Let h = -0.29 + q. Is h < 0.2?
True
Let i = 46 + -33. Let o = 18 - 5. Is o at most as big as i?
True
Let d be (-10 - (-21 - -1)) + -10. Suppose 7*a = 4*a - 9. Is d >= a?
True
Let s = -1 - -0.9. Let j = -6.6 + 7.03. Let z = 0.73 - j. Which is greater: s or z?
z
Let u be 0 + -4 + 6*4. Let t(j) = -2*j**2 + 18*j + 4. Let r be t(8). Is u greater than r?
False
Let q be (-102)/68 + 6/(-4). Which is smaller: q or -2/13?
q
Suppose 15 - 1 = h - 2*v, -3*h + 42 = -5*v. Suppose 3 = h*w - 13*w. Is w at least 4?
False
Suppose -40*y + 28*y + 72 = 0. Let j(n) = 4*n - 4. Let l be j(3). Is l greater than or equal to y?
True
Suppose -3*r = -2*r - 4, 3*r + 448 = 5*v. Let y = -70 + v. Is y less than or equal to 22?
True
Let l = -176 - -175. Let f = -3 + 14. Which is smaller: l or f?
l
Let l = 17 + 2. Suppose k = -2*q + 4*k + l, -5*k - 31 = -3*q. Which is smaller: 1 or q?
1
Suppose 3*d + 3*q + 19 = 7, -5*d - 4*q = 18. Which is bigger: 2 or d?
2
Suppose 5*p + 2*g - 212 = 0, 64 = 4*p - 3*p - 5*g. Which is greater: 40 or p?
p
Let d = -185 + 119. Let h = -19 - d. Is 47 less than h?
False
Let s(z) = -2*z**3 - 7*z**2 - 20*z + 10. Let q be s(6). Which is smaller: q or 0?
q
Let s = 4 - 3.975. Let r = -1.025 + s. Let g = 5 - 11. Which is greater: g or r?
r
Let f be (12/(-2))/(9/(-6)). Suppose 0 = 4*q + f, -g - 4*q = 0. Is g at most as big as -5?
False
Let k = -0.2 + 1.2. Let q = 111 + -111.69. Let m = q + 0.6. Is k bigger than m?
True
Let r = -1.38 + 0.98. Let u(d) = -5*d**2 + 3*d - 1. Let h be u(2). Let x be (-8)/h + 1/(-3). Are r and x equal?
False
Let m be 2*(-26)/(-68) + -1. Let g be 143/44 - 2/8. Suppose 0 = -g*p + p. Which is smaller: p or m?
m
Let m = 2.298 - 2.35. Is m smaller than 0.2?
True
Let m(w) = w**3 - 14 - 94*w + 92*w + 0*w**3 - 9*w**2. Let t be m(9). Is t != -31?
True
Let d = 0.002 + -1.102. Let o = 0.9 + -0.2. Let l = d + o. Is -1 not equal to l?
True
Suppose 0 = g + 3, 4*g - 3*g - 17 = -2*q. Let o be (3 - 26/q) + 83/5. Suppose i - 2*k - 3 = 13, -5*k + 64 = 4*i. Is o less than or equal to i?
False
Let x = 50 - 50.6. Let c = -0.5 - x. Which is bigger: 0.3 or c?
0.3
Let k(y) = y - 2. Let t be k(4). Let w(u) = 3*u**3 - 2*u**2 - 4*u**3 + 3 + 6*u + 8*u**2 - u**t. Let j be w(6). Is j smaller than 3?
False
Let g = -3025958367 + 93824839446/31. Let s = -648884 + g. Let u = s + -473. Is 0 at least as big as u?
False
Let w = 111 + -67. Let l be (-2 - w/(-32))*12. Which is smaller: -8 or l?
-8
Let u(p) be the second derivative of -p**4/12 + 7*p**3/6 - 7*p**2/2 + 12*p. Let n be u(6). Is n at most as big as -1/12?
True
Let i = -11 - -8. Suppose 3*a = 4*h - 54, -5*h + 2*h = -4*a - 44. Let x = 9 - h. Is x greater than or equal to i?
True
Let l = -29 + 13. Which is bigger: -6 or l?
-6
Suppose 4*x + 10 = -5*b - 11, -5*b = 2*x + 13. Let k be 18/(-8)*(-8)/(-5). Which is smaller: x or k?
x
Let d(m) = m**3 + 16*m**2 - 19*m + 19. Let s be d(-17). Let w = -266/5 + s. Do w and -0.1 have the same value?
False
Let a = -196 + 216. Does a = 2/5?
False
Let n be (12/3 - -1)*1. Suppose -n*s - 21 = -71. Are 10 and s unequal?
False
Suppose -h + 2*h = 3. Suppose 2*c + 6 = h*c. Let w be 1/(-6) + 7/c. Is -1/14 greater than w?
False
Let i = -8 + 6. Suppose 3*b - 14 = -5*l, 5*l - 2 - 10 = -4*b. Is b equal to i?
True
Let l(v) = 5 - 1 + 5 - v - 3. Let h be l(0). Let i be (-20)/h*45/10. Is -15 < i?
False
Suppose 9*z + 41 + 49 = 0. Let b be (1/9)/(z/(-30)). Which is bigger: b or -1?
b
Suppose 5*p = 10, -4*q + 3*q + 9 = 5*p. Is q greater than -9?
True
Suppose 28*u - 26*u - 12 = 0. Suppose -u*s - 3 = -3*s. Let x = 58/3 + -21. Which is smaller: s or x?
x
Let u = -0.1 + -6.9. Let d = -217/30 - -41/6. Is d < u?
False
Let y(v) = -v**3 - 3*v**2 + 2*v - 1. Let b be y(-4). Let m = b + -11. Let a be 3/m - (-56)/32. Is a bigger than -1/10?
True
Let h(m) = m**3 + 14*m**2 + 12*m - 14. Let z be h(-13). Let d = -2/795 - 496/13515. Are d and z equal?
False
Let v = -20/9 + 109/45. Which is smaller: -42 or v?
-42
Let h be -6 + ((-494)/(-8))/13. Is h < -3?
False
Let z = -1119 + 1118. Let f = -3 + 3.2. Let t = 1.2 - f. Is z greater than or equal to t?
False
Let b = 25 - 24. Suppose -5*q = -5*k + 5, 0*k + 2*q = 3*k - 2. Suppose k = 4*p - p - 36. Which is greater: b or p?
p
Let b be (15/45)/(2/(-24)). Let c be b*(0 - 4)/(-2). Let v be 4*(-4)/c - 13. Which is smaller: -10 or v?
v
Suppose 3*m + 4*z + 22 = 0, m - 4*z + 2 = -16. Let n be (-33)/(-33) - (-1)/(m/6). Which is bigger: -7/5 or n?
n
Let v = -31 + 19. Let d be (27/v)/((-22)/(-8)). Which is greater: -1 or d?
d
Let h = -37 - -41. Suppose 0 = -h*j - 4, -5*j - 4 = p - 9*j. Which is bigger: p or -3?
-3
Let o = -0.0598 - -7.0598. Let y be ((-2)/(-4))/((-18)/8). Is o != y?
True
Let s = -91/3 - -31. Suppose 8*l = 3*l + 40. Suppose l*h = 2*g + 3*h - 20, -4*g - 3*h - 12 = 0. Which is smaller: g or s?
g
Let j = -0.217 + 0.077. Which is greater: j or -1?
j
Let d be 1*((-3)/(9/15) - -6). Is d less than -2/85?
False
Suppose 32*l + 70356 = -9*l. Are l and -1717 unequal?
True
Suppose -18*n - 2135 + 4263 = 2146. Let q = -65177/545 + 598/5. Let c = -425/1199 - q. Is c not equal to n?
True
Suppose 0 = 15*m - 2898 + 78. Suppose -12*h = -m - 4. Is 16 bigger than h?
False
Let h = -15877.03 - -15877. Let d = 0.1 + -0.1. Which is smaller: d or h?
h
Suppose -3 = -14*x + 11*x. Which is smaller: -4/429 or x?