 Let u be i(c). Let y be (-126)/9 - u/(-2). Does y = -12?
False
Let x = -3/2821 - -59301/56420. Is 0 at least as big as x?
False
Suppose -15*z + 20*z = -40. Let r be 3/2*(-12)/18. Are z and r unequal?
True
Let q be (-11)/((-132)/40)*(-3)/174. Which is greater: q or 0?
0
Let j be (-4)/28 + (-3069)/(-21). Let t = j + -146. Which is smaller: -50 or t?
-50
Let n = 13/30 - 203/330. Let i(f) = f**3 + 3*f**2 - 6*f - 5. Let j be i(-4). Let o be (-5)/(-6) + j/18. Which is smaller: n or o?
n
Let n = 20 - 46. Let k be (-16)/(-6)*(-39)/n. Suppose 0 = -0*d + 4*d + k. Which is smaller: d or -2/11?
d
Let p = 458 - 475. Is p less than or equal to -14?
True
Let k = -8/7 + 121/112. Suppose -7*h - 115 = -2*h - n, 5 = n. Let p = h - -22. Which is smaller: p or k?
k
Suppose -6 + 16 = 5*x. Let r be (6/(-14))/((-74)/518). Which is smaller: r or x?
x
Suppose -8*i - 41 = -33. Which is smaller: 2/977 or i?
i
Let k = -25 - -36. Let d = 10.8 - k. Suppose 4*t - 5 = f, -15 = 4*t + 4*f - f. Which is smaller: t or d?
d
Suppose -4*c - 39 = -7*c. Let g(l) = -l**3 + 12*l**2 + 13*l. Let d be g(c). Suppose d = -b + 6*b + 15. Which is greater: b or -5?
b
Let c = -58264/149 + 391. Which is bigger: -1 or c?
c
Let f = 169/7 - 24. Is -1 != f?
True
Suppose 6*o - o = -60. Let p = 138/11 + o. Which is smaller: 2 or p?
p
Suppose -2*c = 4*t - 216, 2*t - 10*c + 8*c - 120 = 0. Is 55 less than t?
True
Let o = 0.16 + -0.46. Let i = o + -1.7. Is i < 11?
True
Suppose -4*i + 82 = -5*b - 76, 6 = 3*b. Let n be 24/(-36) + (-8)/i. Let l = 71 - 73. Which is bigger: l or n?
n
Let u(b) = -b + 11. Let z be u(4). Let v be -1*1/z*(-2)/(-1). Are v and -31 equal?
False
Let n be (57385/(-19130) - -3)/(4/(-16)). Is 0 != n?
True
Let v(f) = 5*f + 156. Let g be v(-7). Are 243/2 and g nonequal?
True
Let a(w) = -w**2 - 20*w + 15. Let f be a(-18). Let v = f - 52. Which is smaller: -3/26 or v?
v
Let n be -1 + 444 - (-13)/((-13)/(-3)). Are n and 445 nonequal?
True
Let u be (-2)/(-6) + (4 - (-4355)/(-150)). Let b = 47/2 + u. Is b at most as big as -0.08?
True
Let r(y) = y**3 + 3*y**2 - 4*y + 4. Let u be r(-4). Suppose -2*o = -4*n, 6 - 2 = u*n. Suppose 3*a - 25 = -o*a. Is 4 less than or equal to a?
True
Suppose -3 - 4 = -7*k. Suppose 2*a + 2*x + 2 = 0, -3*x - 4 = -4*a - k. Which is smaller: a or 2?
a
Let s be (4/(-3))/((-214)/210 + 1). Suppose 0 = -55*b + 54*b + s. Is 69 less than b?
True
Suppose -2*m = 2*v + 112, -2*v + 2*m - 25 = 103. Which is smaller: -59 or v?
v
Let t(x) be the first derivative of x**3 - 7*x**2/2 - 7*x + 1. Let n be t(4). Is 18 <= n?
False
Let g = -2.07 + 1.07. Which is smaller: g or -6/7?
g
Let z = -1 + 2. Suppose -4*m = -2*u - 2, -6*u + 3*u + 17 = 4*m. Suppose 0 = -m*d + d. Which is greater: z or d?
z
Let t = 29979/13 - 2305. Are t and 0 equal?
False
Let g be 6/4*4/(-6). Let x be (140/6)/((-22)/(-99)). Let w be (14/x)/(4/6). Which is smaller: g or w?
g
Let s = 1 + -1. Let z be 54/14 - (-8)/56. Let x be -1 - (1/z)/((-45)/140). Is x at least s?
False
Let h(a) = 36*a - 244. Let u be h(18). Which is smaller: u or 402?
402
Let r = 999 - 1375. Do r and -374 have the same value?
False
Let x = 164 + -219. Which is smaller: -54 or x?
x
Let h(m) = -4*m - 8. Let g be h(-3). Suppose -3*b + 20 = g*i, b - 5*i + 10*i - 25 = 0. Is 2/41 bigger than b?
True
Suppose 0*j - 3*j + 6 = 0. Suppose 12 - 8 = -j*b. Let z be (-2)/(-11) + (-80)/(-165). Which is bigger: b or z?
z
Suppose 0*a - 65 = a. Which is bigger: -66 or a?
a
Let i be (7 - 1)*2/3. Let v = 2314 + -2316. Which is smaller: v or i?
v
Let x be ((-6)/20)/(72/984). Which is smaller: -5 or x?
-5
Let z = 18 + -17. Is 6/53 at most as big as z?
True
Suppose 0 = 2*v - h + 736, -178 = -v - 3*h - 553. Which is smaller: -367 or v?
v
Suppose -5*x - 8 = 2. Let u(a) = a**2 + 5*a + 6. Let o be u(-3). Let k be o/(0 + 1 + 2 - 5). Is k at least as big as x?
True
Let t = 38.9 + -44.9. Which is smaller: t or -1?
t
Let z be 35/(-57) + (-2)/(-3). Let q be (1 + 1 + -2)/(-1). Suppose -10 = 2*j - q*j, -2*m = -j - 3. Is z < m?
False
Suppose h + 3 = -2*l - 2, 4*l - 67 = 5*h. Let u = h - -7. Let g be (108/28 - -1) + u. Which is greater: 1 or g?
1
Let y = 17421/37 - 471. Are y and 1 nonequal?
True
Let h = 4.34 - 0.04. Let m = 2.3 - h. Let t = -2.3 - m. Is -1 bigger than t?
False
Let q = 255 + 89. Which is greater: q or 345?
345
Let s be ((-2)/9)/((-56)/(-784)). Is 0 bigger than s?
True
Let f = -247 - -260. Is f < -8?
False
Let k = -47 - -11. Let f be (-352)/k + 2/9. Let t = f + -11. Which is smaller: t or -4/11?
t
Let h = 45 - 51. Let o be 10/45 + h/27. Is o at most -4/23?
False
Let u = -1553 + 1553. Are u and -1/1205 nonequal?
True
Suppose 0 = -2*a + 2 - 6. Let l(k) = 4*k + 9. Let p be l(a). Is p <= 2/121?
False
Let y = -1 - -2. Let u = 19 - 591/31. Which is smaller: y or u?
u
Suppose 2*l - 6 = -3*l - q, 5*l + 4*q = 9. Let h be l/((20/8)/(-5)). Which is smaller: h or -4?
-4
Suppose -5*f = y - 0*y + 16, -2*y - 16 = 2*f. Suppose -7 = 5*c + 3. Is y <= c?
True
Let f = 7.4 - 11.4. Suppose 6*d = d. Suppose 0 = -2*w + 3*a + 8 + 6, d = 3*a + 12. Do f and w have the same value?
False
Let m(v) = 2*v - 1. Suppose -16 = -5*z - 2*n - 4, -3*z = 2*n - 8. Let i be m(z). Suppose -5*l = 4*x - 19, i*l - 6 + 1 = 4*x. Which is smaller: x or -3/10?
-3/10
Let u be -1 + 6 - (-181)/(-37). Is u smaller than 1?
True
Let y = 21884/33 - 663. Are y and 0 nonequal?
True
Suppose -109*g = -97*g + 1980. Is g < -655/4?
True
Let m(d) = 72 - 34 - 40 + 4*d. Let w(x) = -x**2 + 3*x + 5. Let i be w(4). Let h be m(i). Is h equal to 2?
True
Let t be (-4)/14 - 4356/(-17892). Which is smaller: 0 or t?
t
Let u = 3 - 1. Suppose 5*g + u*z = 42, 0*z = -g - 3*z + 11. Is g less than 8?
False
Let p be (-365)/(-25) - 4/(-10). Suppose 11*r = 7*r - 12. Which is smaller: p or r?
r
Let r = 6 - 5. Let t = -87 - -19054/219. Let a = 1321/1533 - t. Which is greater: a or r?
r
Let t = -25/3 + 23/3. Which is smaller: 134 or t?
t
Suppose -2*z + 3*x + 18 = 0, -4*x = -6*z + 9*z - 44. Let h be (-1)/(((-110)/z)/11). Suppose -3*i + 3*y = -12, 4*y + 4 = 2*y. Which is smaller: h or i?
h
Let b = -1.341 + 0.341. Suppose 0 = -p + 4 - 13. Which is greater: b or p?
b
Suppose 4*y + 39 = -u, 2*y = -4*u + 3 - 33. Which is bigger: -7 or y?
-7
Let v be 0 + 6 + (8 - 7). Suppose v = -l - 0. Let h be l/(-15) + 6/(-9). Which is greater: h or 1?
1
Suppose 0 = -k - 2*j + 25 + 19, 0 = 3*k + j - 137. Is k less than 43?
False
Let r = -51 + 141. Is r at least as big as 1/2?
True
Let z(m) = -2*m**3 + 23*m**2 + 12*m - 4. Let o be z(12). Let l be (-1 - o)/(150/(-20)). Is 0.01 < l?
False
Let h = 205 - 229. Suppose 2*j = j - 24. Is h <= j?
True
Let u = -12 - -35. Suppose 5*b - 2*l = -26, 2*b - 7*b + l = u. Suppose 3*z - o + 3*o = -6, -2*o + 10 = -5*z. Is b greater than or equal to z?
False
Let y(u) = u - 6. Let n = 4 + 2. Let s be y(n). Let q be (-1)/3 + (-21)/(-36). Which is greater: q or s?
q
Let i = 52.9 - 627.9. Let x = i - -581.03. Let j = x + -0.03. Are -1/2 and j nonequal?
True
Suppose -3 - 5 = 8*d. Which is greater: -16/11 or d?
d
Let h(z) = -z + 1. Let b be h(-3). Let m(f) = -f**2 + 4*f + 22. Let s be m(7). Let x be -1 + s/(2/16). Is b less than x?
True
Let w = 6713 - 167769/25. Which is bigger: w or 2?
w
Suppose 3*d + 105 - 22 = 5*t, -t - 4*d + 35 = 0. Let c be (35/1)/(-12 - -7 - -7). Let r = c - t. Which is greater: r or 0.2?
0.2
Suppose 5*p + 4*t + 14 = -8, 3*p - 4*t = 6. Let q = 5 + p. Let f be -1 - ((-2)/3)/((-12)/(-78)). Are q and f equal?
False
Let x be (-74)/259 - (-556)/182. Are 2 and x equal?
False
Let i be (-32690)/49 - (20/7 + -2). Is -668 at most as big as i?
True
Let r(v) = v**3 + v**2 + v + 76. Let d be r(0). Let q be (4/(-6))/(0 - d/(-12)). Is q not equal to -1?
True
Let f = 65.5 - 61. Let h = 0.27 + -1.27. Is h smaller than f?
True
Let j(i) = -7*i - 10. Let z be j(-8). Let c be (-400)/9 - (-4 + 6). Let w = z + c. Which is smaller: w or -1?
-1
Suppose -893 = 14*r + 2383. Are -233 and r nonequal?
True
Let o(u) = u**3 - 8*u**2 - u + 10. Let i be o(8). Suppose 3*f = v - 2*v + 7, 0 = i*f + 3*v. Suppose f*j = 1 + 14. Which is smaller: j or 6?
j
Suppose 16*a = 11*a - 4*f - 349, 5*a = 4*f - 341. Let g be 2*(138/4)/(-1). Is g at least as big as a?
True
Let i = -6/11 + -2/77. Suppose 3*r + 2*r = -10. Which is bigger: i or r?
i
Let n = 59 + -111. Let o = -52 - n