 3*u(j). Let b be n(-11). Are -3 and b non-equal?
False
Suppose 18 = -22*h + 19*h. Let w be (h - -1)*2/(-8) - 0. Which is smaller: 1 or w?
1
Let x = 0.315 - 32.315. Let w = -47 - -102. Let o = x + w. Is o equal to 1?
False
Let n = -0.938 + 1.121. Which is bigger: 0 or n?
n
Let k = 115.937 + -116. Let z = k + -0.007. Which is bigger: 3 or z?
3
Suppose -n + 42 = -0*n. Let d = 21 - n. Which is smaller: d or -20?
d
Let f = 310 + -322. Which is bigger: -22 or f?
f
Suppose -15*x + 12*x - 5*d + 6 = 0, 8 = 4*x - d. Which is greater: 477 or x?
477
Let m = -71 - -70.987. Let t = 1.013 + m. Is 0.04 at most as big as t?
True
Let n = -153 - -163. Which is greater: n or 18?
18
Let s = -491 - -857. Let j = s - 4029/11. Is j at most 0?
True
Let n = 5 - 7. Which is greater: 259 or n?
259
Let n(t) = 2*t + 28. Let a be n(-14). Let s be 3 - (6/3)/(a + 1). Is s smaller than 2/137?
False
Suppose -11 = 2*f + i + 2*i, -2*i = 2. Suppose 22*s - 27*s + 10 = 0. Suppose 0 = -2*u - s*m - 12, 0 = 4*u - 3*m - 0*m + 3. Is f <= u?
True
Let f(x) = 6*x**3 - x + 1. Let u be f(1). Suppose 10*t = 9*t + 4. Suppose 0 = -u*r + 8*r + t. Which is smaller: r or 0.3?
r
Let c = -54 - -329/6. Let s be 5/((-1)/5*-5). Suppose 3*g + s*m + 23 = 1, 5*m + 28 = 3*g. Is g less than c?
False
Let t = 0 + -1. Let s be (-1978)/516 + 4*1. Which is bigger: s or t?
s
Let c be (-4)/(-14) + (-10542)/(-147). Let j = -3524/49 + c. Which is bigger: 1 or j?
1
Suppose 3*d - 10 = g - 1, -3*g - 3*d + 9 = 0. Let w be (-6)/18*10614/13. Let n = w - -272. Which is smaller: n or g?
n
Let n = 3 + -4. Let o be 112/40*n/2. Are o and -2 non-equal?
True
Suppose -17*i + 276 = -370. Let r = -36 + i. Does 14/9 = r?
False
Let p = 39 - 38.82. Let k = -0.28 + p. Is k less than -1/12?
True
Let z(l) = -l**3 - l**2 + 4*l - 11. Let w be z(2). Let b = 16 - 30. Which is smaller: w or b?
w
Let h(u) = u**3 - 5*u**2 + 7*u - 4. Let w(b) = -2*b + 26. Let g be w(11). Let x be h(g). Which is smaller: x or 1?
1
Let j(f) = 6*f + 33. Let s be j(-11). Let q = s + 37. Which is greater: q or -2?
q
Let y = -661 + 664.7. Which is bigger: y or 0?
y
Let x be 30/(14*(-12)/(-32)). Let p = -31/7 + x. Let g = -19 - -19. Is g at least as big as p?
False
Let j = 15 + -27. Let o = 4.9 + -12.9. Let q = o - j. Are q and -0.3 non-equal?
True
Let d(z) = 7*z**3 - 5*z**3 - 4*z**3 + 5*z - 11*z**2 - 3. Let y be d(-6). Let r be 1 + (y - (-27)/(-6)). Is 0 >= r?
True
Let x = 0.564 + 22.136. Let u = x - 23. Let r = 0.4 + -0.1. Which is bigger: r or u?
r
Let x = -402 - -1599/4. Is -6 bigger than x?
False
Let u be (3/(-63)*1)/((-49)/(-735)). Is -31 bigger than u?
False
Suppose -f - 11*f + 144 = 0. Let s = 0 - 2. Let k be (1/s)/((-111)/f). Which is bigger: k or 0?
k
Let h(n) = n**3 + 12*n**2 - 14*n - 15. Let y be h(-13). Let j be (y/(-1 + -3))/((-6)/(-60)). Let i be 6 - 0*1/(-2). Which is greater: i or j?
i
Suppose 4*q + q + 3*p = 7, 2*q = 3*p + 7. Let u be (2 - 3)*(-6 - -10). Let l = u + q. Which is bigger: l or -1?
-1
Let c = 348/95 + 52/19. Let y be 21/6*7*(-4)/(-14). Which is greater: y or c?
y
Let q be 363/(-2)*(-124)/93. Is 241 > q?
False
Suppose -5*d + 5*t - 10 + 0 = 0, -2*t = -3*d - 3. Which is bigger: d or -0.2?
d
Let n be -216*7/(-1498) + (0 - 1). Suppose -5*a = 2*o - 8, a - 16 = -a - 4*o. Which is bigger: n or a?
n
Let n be 18/(-1)*21/(-14). Suppose 31*j + 4 = n*j. Let k = -31/814 - 5/222. Which is smaller: k or j?
j
Let l be 2*-4*(-6)/(-8). Let k be 8*(7/(-35) + (-3)/10). Which is bigger: l or k?
k
Let w = -236.2 - -215. Let c = 21 + w. Let f = -0.06 - 1.94. Is c >= f?
True
Let m be (-4)/(-12) + (-2)/((-6)/131). Let v = -75 + m. Is -33 less than v?
True
Suppose -521*g + 982*g - 1353 = 494*g. Suppose -y = -z + 35, 4*y - 58 = 6*y - 5*z. Are y and g nonequal?
True
Let g = -20018/39 - -513. Is g at least -1?
True
Let y = -0.11 + 20.11. Let v = y - 21. Which is bigger: v or 0.6?
0.6
Let a be 160/(-15)*3/(-2). Let u be (-51)/90 + a/40. Which is smaller: -1 or u?
-1
Suppose o = -5*x + 2*x + 1, 3*x + 1 = o. Let v(f) = -5*f + 2*f + 0*f - 2. Let l be v(x). Which is smaller: -12 or l?
-12
Let u(m) = -m**3 - 8*m**2 - 8*m - 4. Let w be u(-7). Suppose -4*x = w*k - 10, -3*x + 18 = -3*k - 0*x. Let a be (-2)/(-2) - (1 - k). Is -6/5 > a?
True
Let s(r) = 2*r + 5*r**2 - 2*r**2 + 2 - r + r. Let m be s(-1). Suppose -2*g - 2 = -2*p, g + p = -p + 14. Are g and m unequal?
True
Let q = 5418/13 + -1912528/4589. Which is bigger: 0 or q?
q
Let x = 2664 - 2790.7. Let f = x + 127. Let n = -41 + 167/4. Is f at most n?
True
Let x = 16831/28 - 441319/364. Let l = 611 + x. Let c = -2 + 3. Which is smaller: l or c?
l
Let g = 17 + -15. Suppose 4*u + 6 = g*s, 3*u + 4*s - 3 = -2. Let j = 12 - u. Is j greater than or equal to -2/3?
True
Suppose 0*s - 2*s = 0. Let d(b) = 2*b**2 - 3. Let n be d(2). Suppose q + 17 = n*j, 5*q + 25 = -j + 6*j. Do s and q have the same value?
False
Let d = -2.054 + 0.854. Which is smaller: -3 or d?
-3
Let z = 14 + 4. Let s be ((-4)/19 - (0 - 0))/z. Are s and -1 equal?
False
Suppose 2*s + 14 - 8 = 0, -4*s = 2*q + 16. Is -13/8 at most q?
False
Suppose 2*h - 4*a = -53 - 107, -h - a - 83 = 0. Let y be 36/3*(h/(-20) + -4). Let v be (-14)/(-8) + 1/4. Which is smaller: y or v?
y
Let w = 143 + -175. Do w and -34 have the same value?
False
Suppose -3*c = -4*c - 30. Let r be c/12*(-4)/(-22). Is 1 != r?
True
Suppose 35 = 5*s - 5*l, -2*s - 3 = 2*l + 3. Suppose 2*c = -z + 79, 0*c - 124 = -3*c + 4*z. Let p be (0 + 15/(-9))*(-28)/c. Which is smaller: p or s?
p
Let r(d) = -d - 63. Let h be r(-27). Which is greater: h or -110/3?
h
Let k = -54 - -52. Which is greater: k or 14?
14
Let x = -40321 - -524467/13. Is x at most 23?
True
Suppose 5*x - 11 = 9. Suppose 0 = -2*h - 2 + x. Which is smaller: h or 4/3?
h
Let f be ((-3)/(-3))/(24/(-168)). Suppose -122 = 3*m + o, -3*m - 60 = 2*o + 58. Let r be ((-6)/18)/((-2)/m). Is r greater than f?
False
Let c = -42 + 33. Let l = -14 - c. Is -6 at least as big as l?
False
Let r be 0/((5 - 14)/(-9)). Which is smaller: r or 54?
r
Let t = 162/25 - 14381/2200. Which is smaller: 1 or t?
t
Let o(h) = -12*h + 59. Let i be o(-6). Is i not equal to 132?
True
Let z(i) = 7 - i**3 + 0*i**3 - 3*i - 2 + 2*i**2 + 3*i**2. Let h be z(4). Which is bigger: 75/8 or h?
75/8
Let x = -2994018/6919 - -4760/11. Is x less than 0?
False
Let l = -18697.917 + 18685. Let q = l + -0.083. Is q less than 5?
True
Let p = -6 + 5. Let u = -1605241/60 + 26755. Let v = u + -13/12. Which is bigger: p or v?
v
Let a(w) = -1886*w + 15088. Let n be a(8). Let x be (1/2)/((-1)/6). Which is smaller: x or n?
x
Suppose b + 54 - 53 = 0. Which is greater: 2 or b?
2
Let m = -1.6 + 2. Let r be (-6)/(-15) + 85/(-25). Let i be 1/r*(-9)/(-18). Is m <= i?
False
Suppose 2*t + 4*t = 4*t. Suppose -7*c + 4*c - 3 = t. Is c less than or equal to -1?
True
Let h be (24/(-10) - -1)/(4/(-10)). Let n = h + -1307/374. Is n greater than or equal to -1?
True
Let h be 2 + (-8 - -503 - 8). Do h and 490 have the same value?
False
Suppose -6*k = -k. Let w = 4 - k. Let v be (-6)/w*(-16)/(-24). Which is smaller: v or -3/2?
-3/2
Let f be -4 - ((-3 - 2) + -2). Suppose 180 = f*g - 8*g. Let b be (-3)/(-21)*(-7)/g. Are 0 and b non-equal?
True
Let d be 72/(-38) + (8 - 6). Is 0 <= d?
True
Let b be 1/1*3 - 0. Let n = 36 + -35.82. Let u = n - 0.38. Is u at most as big as b?
True
Let h = -14/53 - 1994/477. Suppose -7*c = -15*c - 24. Which is smaller: h or c?
h
Let y = 896 + -97665/109. Let v be (-2)/(3052/(-422) + 0). Let x = y - v. Which is smaller: 11 or x?
x
Suppose -h - 28*y + 32*y = -20, -20 = 4*y. Which is smaller: -15/76 or h?
-15/76
Let u be 6/4*2/6. Let j be (-1)/(-3*5/135). Suppose -i = 2*i + 3*h - j, -2*h = -4*i + 6. Is i at least u?
True
Let x(h) be the first derivative of -h**4/4 + h**3/3 + 5*h**2 - h + 19. Let m be x(4). Is m > -10?
True
Let r = 9.419 + -9.5. Let d = 0.119 - r. Is 6 greater than d?
True
Suppose -2*h = -2*q - 4, 11 = 5*h + 4*q + 46. Let r be h/(12/56) - -2. Let z be ((-5)/r)/((-25)/(-10)). Which is bigger: z or 0?
z
Suppose 5*i + 2*w + 68 = -1004, -2*i - 3*w = 431. Is i equal to -214?
True
Let q = 121 + 6. Which is smaller: q or -2/9?
-2/9
Let w be (0 + -2)/((-16)/(-56)). Let v(j) = -3*j**3 + j. Let k be v(1). Let p be -2*(w/k)/7. Is p smaller than 1/11?
True
Let u(t) = -2*t**2 - 5*t + 4. Let v be u(-4). L