e m and u non-equal?
True
Let c = 82.6 - 89. Let j = -24.6 + c. Which is greater: j or -1?
-1
Let c = 0 + 0. Let u = c - 0. Let f = 0 + 2. Which is greater: u or f?
f
Suppose 64*i - 65*i = 5*z + 1, 4*z + 2 = -2*i. Let f(h) = 4*h - 1. Let c be f(1). Let p be (-1)/c + (0 - 0). Which is greater: i or p?
p
Let q be ((-8)/9 + 1)/((-5)/(-8)). Is 1 < q?
False
Suppose -k + i + 6 = 0, -5*k - 17 = 4*i - 2. Let c = 42102 - 210489/5. Does c = k?
False
Let x = -956343/497 - -5453/71. Let h = x - -1842. Is h less than or equal to -6?
False
Let c(a) = -96*a - 100. Let w be c(-1). Let u = -1375/498 - 6/83. Are u and w equal?
False
Let r = 0.59 - 0.04. Let d = r - 0.35. Are -29 and d unequal?
True
Let z be 24 + -10*(-14)/(-35). Is z at least 57?
False
Let f = 16 - -31. Let a = 28 - f. Let k = a + 21. Which is greater: k or 1?
k
Suppose -5 = 2*q - u - 4, -3*u + 3 = 3*q. Suppose 4*t - t - 5*t = q. Let n be (6/105)/(24/(-10)). Which is bigger: n or t?
t
Let v = -14 - -3. Let w = v + 32/3. Which is smaller: -0.1 or w?
w
Let d(w) = -w**3 + 8*w**2 - 8*w + 7. Let o be d(7). Let m be 3*-3 - 9/(-3). Let j be (10 - 0)*m/12. Which is smaller: j or o?
j
Suppose -2 = 5*f - 7. Let k be f/12 + 7/(-21). Let s(v) = 2*v - 15. Let h be s(8). Which is smaller: k or h?
k
Suppose 3*b + 4*b = -84. Let k(x) = x**3 + 13*x**2 + 12*x + 1. Let n be k(b). Is n != 2/107?
True
Let d = 94/11287 + -56075414/191879. Let l(t) = 11*t**3 + 2*t**2 - 2*t - 19. Let g be l(-3). Let v = g - d. Is 1 <= v?
False
Suppose -5*p = -3*t - 115, p - 3*t = t + 6. Let f be 4/(-26) + 134/p. Suppose i - h = 6 - 2, 4*i - 14 = 2*h. Is f <= i?
False
Let n(x) = 23*x - 346. Let j be n(15). Let c = 24 + -16. Which is smaller: c or j?
j
Suppose 3*l - 20 = -3*f + 7, 0 = f - 5*l - 39. Let r be f/(-49)*7/(-2). Which is smaller: 3/4 or r?
3/4
Suppose 7 = 2*q - c, 0 = q + q + 3*c + 5. Let x = 32 + -28. Let n be (-4)/10 + (715/100 - x). Are n and q non-equal?
True
Suppose -3*v + 100 = 19. Let i be (-28)/(-45) + 3 + (-87)/v. Does 2/11 = i?
False
Suppose 2*l + 3*a = -112, -3*l - a - 112 = -l. Let b = -54 - l. Is -2 greater than or equal to b?
False
Let k = 319/2 + -160. Which is smaller: k or 53?
k
Suppose -5*u = -c - 2, -u + 5 = 4. Let r = c - 2. Let d = -2832/13 + 2828/13. Which is smaller: r or d?
d
Let g = 69.8 - 69. Is g equal to 11?
False
Let m = -10 - -19. Let t = 925.9 + -926. Which is smaller: t or m?
t
Let y = 4472.8 + -4473. Let i be ((-3)/2)/(-1)*-8. Which is smaller: i or y?
i
Let g = -15 + 15. Suppose g = a - 0 + 1. Let j = -554/9 + 61. Which is greater: j or a?
j
Let j = -42 + 31. Which is greater: j or 7?
7
Let s be (-32)/(-182) + 954/(-117) + 8. Which is greater: s or 8?
8
Suppose -5*g + 10 = -3*u, 5*u - 2 = 3*g - 4*g. Suppose -x + u = 1. Does x = 2?
False
Suppose 3*t + 4305 = 8*t. Let r = -18085/21 + t. Which is greater: 1 or r?
1
Let i be (315/126)/(2/436). Is 544 greater than i?
False
Let w = -168 - -241. Let u = w + -214/3. Let x be ((-2)/8)/((3/(-8))/3). Which is bigger: x or u?
x
Let r be ((-640)/(-50))/(2/4010). Let n = r - 718313/28. Let i = 41/4 - n. Which is smaller: 2 or i?
i
Suppose -s - 5*k + 34 = -2*s, k - 218 = 5*s. Is -136/3 not equal to s?
True
Let n be 5/(-5) + -1 + -6. Let u = 11 + n. Suppose 5 + u = -2*t. Are -1 and t unequal?
True
Let y = -4496/5 - -436082/485. Which is bigger: -1 or y?
y
Let h = -115.1 - -118.1. Let t = -17.58 - 0.42. Is h at least as big as t?
True
Suppose -13*c = 13*c. Is c != 6/137?
True
Let v = -306 + 5205/17. Which is smaller: 1 or v?
v
Suppose -2*u + g = -113, 3*u + 3*g = 251 - 77. Suppose -3*v = -0*y + 3*y + 72, 3*y = 2*v - u. Let b be y*4/(-48)*-4. Which is smaller: -13/2 or b?
b
Let x = -14 + 14.13. Let c = x - 0.93. Let l = -1.8 - c. Which is smaller: l or -1/2?
l
Let p be 1980/704*4/10. Suppose -5*f + 14 = 3*j, -2*j + 12 = 4*f + 2. Is p <= f?
False
Let r be (27/14 - 2)*(-320)/2600. Is r > -1?
True
Let l(t) = 75*t**2 + 1. Let n be l(-1). Let o = 71 - n. Is o < -6?
False
Let b = 1.1 + 1.3. Let d = 0.125 + -4.725. Let s = d - b. Which is greater: s or 0.2?
0.2
Let m = -11/61 - 28/183. Is m smaller than -587?
False
Let i = 4/77 + -401/308. Let o = -1 - -1. Is i > o?
False
Suppose 0 = 3*g + 3*i - 102, -5*i = 6 - 16. Let f = -2.5 + 2.6. Which is greater: f or g?
g
Let j = 40 + -39. Suppose 2*s - 6*c + 3*c = 7, 0 = -c - j. Is s > 12/5?
False
Let n = -3 + 5. Let v = 8.51 - 10.51. Which is bigger: v or n?
n
Let w = 2.1 + -2.2. Let q = -0.2 + w. Let s be (4/30)/((-3)/(-9)). Is s < q?
False
Let g be (-1350)/60 - (-3)/2. Which is bigger: g or -19?
-19
Let w(f) = 2*f - 38. Let h be w(-21). Let x = -31 + 20. Let m be 2/x + h/55. Is m greater than -1?
False
Suppose 0*l - 2*l - 4 = 0. Let z(i) = -i**2 - 10*i + 22. Suppose -7*p - 36 = -4*p. Let x be z(p). Is l at most x?
True
Suppose -2 = w + 4*c - 11, -c + 32 = 2*w. Suppose 0 = -x + 8 + w. Is x > 24?
True
Let t = 27 + -30. Let c = 406 + -213. Let i = c + -393/2. Which is bigger: t or i?
t
Let a = 133 + -79. Suppose 0 = 3*l - 39 - a. Is 30 bigger than l?
False
Suppose 0 = -4*g + 5*g + 22. Let p be g/(-12) + (6 - 8). Is -11 at least p?
False
Let o be 7 - -1 - -1 - 0/11. Which is smaller: 7 or o?
7
Suppose 352 = 17*c - 15*c. Which is bigger: c or 177?
177
Suppose p + p - 11 = -3*b, 6 = 2*b. Let x be -1 + p/(42/44). Which is smaller: x or -1?
-1
Let z(c) be the first derivative of 4*c**2 - 7. Let v(j) = j. Let x(p) = 10*v(p) - z(p). Let h be x(-3). Which is bigger: h or -7?
h
Let m = 0.2 + -3.2. Let v = -7 - m. Let i be ((-2)/(-18))/(22/(-66)). Is i smaller than v?
False
Suppose 385 = -53*o + 48*o. Is 0.01 smaller than o?
False
Let k = -79 + 58.8. Let y = k + 18. Let m = -2 - y. Which is greater: m or -13?
m
Let v(g) = 3*g**2 - 2*g - 7. Let j be v(7). Suppose 3*z + j = z. Let i be (-1)/(-3) - (-39)/z. Which is greater: -1 or i?
i
Let r(p) = -p**3 - 10*p**2 + 8*p - 3. Let o be r(-11). Suppose 0 = 3*l - 4*u - o, -6*u + 4*u = l. Is 9 not equal to l?
True
Let u = -427 + 426.98. Do -13/4 and u have the same value?
False
Let x = -362/7 + 52. Let u be 6/24 - 21/(-12). Suppose 6*v - 4*v = -u. Is x at most v?
False
Let d(v) = -14*v + 3. Let z be d(1). Suppose 0 = -3*i + 30 - 3. Let h = z + i. Is 0 bigger than h?
True
Let m(s) = 13*s**2 + 29*s - 16. Let d(h) = -3*h**2 - 7*h + 4. Let c(y) = 9*d(y) + 2*m(y). Let x be c(-7). Which is bigger: x or -12?
x
Let h(a) = 6*a - 5. Let u be h(0). Let q be 1/(0 - (-2 + (-2 - u))). Which is smaller: -2/135 or q?
q
Suppose -5 = 5*h + 5. Let u be 2/h*(0 - 2). Suppose u*d = -4*a - 26, -a = -2*d - 5 - 1. Is d less than -4?
True
Let g(i) = i**2 - 19*i + 8. Let d = 45 + -26. Let o be g(d). Let l be (-6)/(-24) + 214/o. Is 28 less than l?
False
Let w = -157/1848 + -1/168. Which is smaller: 0 or w?
w
Let a = 2 - -7.4. Let b = -8.7 + a. Is b > -4?
True
Let n be (6/(-4))/((-3060)/3840). Is n less than or equal to 0?
False
Let w be (48/10)/(6/30). Suppose 2 = d, d - w = -2*u - 2*d. Is 7 less than u?
True
Let q = 34.043 + -0.043. Let k = 31 - q. Which is smaller: 1/6 or k?
k
Suppose -c = c. Let g(y) = c*y + 2*y + y - 4 - 2*y. Let x be g(4). Does -2/9 = x?
False
Suppose 2*j + 3*w = 12, j + 3*w - 16 = -4. Which is smaller: j or -30/23?
-30/23
Suppose -3*y = -0*y + 27. Let u = y - -5. Let f = 2 + u. Is f at least -3/2?
False
Let l(i) = i**2 - 5*i - 4. Let t be l(4). Let f be t/(-12)*9/(-2). Let r be (-1 + -2)*(-2)/f. Which is greater: r or -4/3?
-4/3
Suppose -h = 2*h + 12. Let f(b) = -b**2 - 15*b - 4. Suppose -s + 75 = -6*s. Let d be f(s). Is h less than d?
False
Let y = -13/15 - -19/15. Let l = -89/24 + 29/8. Which is bigger: l or y?
y
Let l = 162 - 150.7. Let g = l - 11. Let b = 9.8 + -10. Which is greater: b or g?
g
Let g be 8*5/(-10) + 303/79. Which is greater: g or 0?
0
Let p(v) = 4*v - 1 - 2*v + 2*v**2 - v**2. Let h be 1 - 1*(7 - 4)/(-3). Let q be p(h). Is q not equal to 6?
True
Let o be ((-3)/6)/((-4)/40). Suppose 32 = -3*w - w - o*y, 3*w = 2*y - 1. Are -1 and w nonequal?
True
Suppose -4*i = -4*g - 6 - 14, i - 4*g = 20. Which is greater: i or -205?
i
Let c = 0.21 - -1.79. Let a = c + -2.07. Let i = 15.93 - a. Is i at most 2/5?
False
Let t(h) = -h**3 + 10*h**2 + 15*h - 6. Let q be t(10). Suppose q = -5*s + s. Let g be (-4)/18 + 100/s. Does g = -3?
True
Let z(b) = -16*b**3 - 6*b**2 + 12*b + 38. Let x be z(-2). D