 l non-equal?
True
Let x = 43 + -25. Let s = 5/76 + 9617/532. Which is bigger: x or s?
s
Let h = -0.1 - -0.4. Let w = 19 + -31. Let p be (-2)/w*(-18 + 10). Does p = h?
False
Let q be (32/28*(-462)/(-132))/((-34)/(-33)). Which is greater: 3 or q?
q
Let j = -36 + 55. Let h = -410900 + 410914. Which is greater: h or j?
j
Let i = 12013/198 + -2018/33. Let o = i - -7/18. Suppose 0 = -3*d + 4 - 1. Which is greater: o or d?
d
Let f(s) = 8*s - 48. Let q be f(6). Suppose q = 5*r + d, 3*r + 6*d + 12 = 3*d. Which is smaller: 35/4 or r?
r
Let d be (31/8)/(28633/(-836)). Which is smaller: 1 or d?
d
Let m = 1666.7 + -1667.9. Is m at most as big as -360?
False
Suppose 5765 = -179*u + 76828. Is u != 1189/3?
True
Let k be 1*-3 - 26962/61. Let g = 406 + k. Are 7 and g nonequal?
True
Let q be 6/(-15)*20/(-4) - -1. Let t be -4 + -1 - (180/q)/5. Which is smaller: -16 or t?
t
Let i be ((-354)/(-26))/((-434)/70). Let w = i - -21/13. Is 0 at least w?
True
Suppose -120 = -10*z + 1310. Let c = z - 95. Do 48 and c have the same value?
True
Let n = -1520 - -956. Let a be (1/18)/(4 - (-2308)/n). Let h = a - -1/2. Is h bigger than -2?
True
Let x(p) be the second derivative of -p**5/20 - p**4/3 + 5*p**3/6 - 9*p**2/2 - 13*p. Suppose 0*w - 2*w - 8 = 0. Let j be x(w). Is j equal to -27?
False
Let v = -13 - -28. Let x = 0.92 - 0.82. Do v and x have different values?
True
Let l = 8 + -4. Suppose 6*j = l*j + 10. Suppose j = -10*y + 9*y - s, -4 = -2*s. Is y bigger than -7?
False
Let a = -24 - -12. Let m(k) = -k**3 + 5*k**2 - 3*k - 5. Let c be m(3). Suppose -4*l - 28 = -3*y + 22, -2*l - c*y = 14. Which is smaller: a or l?
a
Let z = 4711/8 - 587. Let c = 233 + -233. Which is greater: c or z?
z
Let k = 0.04 + -2.04. Let l = 2.01 + k. Let x = -70.762 - -77.762. Is x at least l?
True
Suppose 70 - 232 = 162*v. Let h = 357/25 - 57/4. Is v >= h?
False
Let m = -127.386 + 0.386. Is m greater than -1/5?
False
Let l be -814 + -10*((-90)/(-48)*-4 - -8). Are l and 0.7 nonequal?
True
Let q = 39.83 + -39.79. Are 22.9 and q equal?
False
Let k = 99 - 75. Suppose 0 = -k*s + 25*s + 3. Which is smaller: -2 or s?
s
Let q = 5 + 38. Suppose -138 = -5*j - q. Is 18 at most j?
True
Suppose 4*x - 3*x = -2. Let f be (-7)/x*(-260)/(-35). Let c = 12 - f. Is c > -27/2?
False
Let z(x) = 3*x**3 - 72*x**2 - x - 1. Let f be z(17). Which is smaller: -2/9 or f?
f
Let r = -50.39 - -110.2. Let f = -58.9 + r. Is f bigger than 5?
False
Suppose -4304 = -7*j - 9*j. Suppose 2*p = 3*y - 60 - 90, -5*y = 3*p - j. Let a = y + -60. Is -13 greater than a?
False
Let h be -1*1/(3/(-63)). Let i = -31 + h. Let j be i/3 + (-8)/(-6). Are j and -8/3 equal?
False
Let j = 12.748 + 59.078. Let c = -75.8 + j. Let k = c + -0.026. Is -9 less than or equal to k?
True
Let q(r) = -r**3 + 9*r**2 - 9*r - 35. Let x be q(7). Let d(j) = -j**3 - 5*j**2 + 48. Let o be d(x). Which is smaller: 45 or o?
45
Let v = 56 + -16. Suppose 1 = -4*g + 2*t - 3, -3*g - 8 = -4*t. Suppose g = u + 5 - 1, 0 = -s + 5*u + 59. Is v greater than s?
True
Let l = -3122.984 + 1799.077. Let v = l - -1323. Let r = v - 0.093. Is r >= -25?
True
Let t(y) = 407 + 4*y**2 - 809 + 401. Let z = 4 + -5. Let m be t(z). Which is greater: 4 or m?
4
Suppose 31 = -o + 86. Suppose -o*r = -56*r + 2. Suppose r - 2 = 3*w. Which is bigger: w or -2/7?
w
Suppose -f = f + 88. Let o be 1881/(-1254)*104/12. Which is greater: f or o?
o
Let r = 73 + -73.289. Let a = r - -18.289. Which is greater: a or -2?
a
Let q(g) = g - 1. Let b(i) = 5*i + 74. Let y(x) = -b(x) - 5*q(x). Let h be y(-9). Which is smaller: h or 25?
h
Let q be (-40)/50 + 49/5. Let i(t) = -2*t**2 + 19*t - 29. Let j be i(q). Is j < -106/5?
False
Let n = 103 - 121.9. Let q = -17.2 - n. Is -2 bigger than q?
False
Let w(y) = 214*y + 3982. Let u be w(-16). Is 558 at most as big as u?
True
Let t = -55.93 - -33.03. Is 1/10 greater than t?
True
Let b be (-634)/1090 + (216/60)/6. Let w = -19.2 - -19. Which is greater: b or w?
b
Let d be (-81 + 266)/(1/(-13)). Is -2403 at least as big as d?
True
Let t(x) = x**2 - 10*x - 651. Let a be t(31). Which is greater: 3993 or a?
3993
Suppose 0 = -d + 4, 161 = -166*n + 171*n - d. Which is greater: n or 427?
427
Let s = 2738/19 - 144. Let x be (0 - 305/(-60)) + -1. Let n = -13/3 + x. Is s >= n?
True
Suppose 46*w + 6964 - 22374 = 0. Which is greater: 326 or w?
w
Let c = 802 - 810. Let b be c/((-56)/49)*(-3)/(-7). Let f be 244/70 + (-8)/28. Is b at most f?
True
Let k = 64.1 + -64. Let u be ((-15)/(-25))/(2/20). Let y be 3/((2961/u)/7). Does y = k?
False
Let i be ((-65)/(-20) + -3)*(-1)/2794. Let x = i - 5051549/33528. Is x < -152?
False
Suppose 0 = -3*v - 5*j + 7, 40 = 6*v - 11*v + 2*j. Is 48 less than v?
False
Let m = -2675 - -2674. Is 4/1677 at least as big as m?
True
Let w = -19870 + 19308. Does w = -5062/9?
False
Let v = 2356 + -2312. Which is smaller: v or 9?
9
Let y = -43/2 - -22. Let k = -59 - -59.46. Let b = k + -1.46. Which is greater: y or b?
y
Let y(i) be the first derivative of 7*i + 2/3*i**3 - 5/2*i**2 + 11. Let g be y(2). Which is greater: -8 or g?
g
Let p(m) be the first derivative of 32*m**3 + m**2/2 + 7*m - 4. Let c be p(-3). Let y = -51211/59 + c. Which is bigger: 1 or y?
1
Let b = -30 - -32. Let d be 14 - (-7)/((-14)/8). Let k be 1/b - 225/d. Is k less than -23?
False
Let i be (54/15)/(7/(-35)). Let f be (-9)/(-6)*4/i. Which is smaller: 42 or f?
f
Let t be (-16)/(-136) + 264/68. Is 94/19 smaller than t?
False
Let k = 3203 + -3205. Are -11/16 and k non-equal?
True
Let c(o) = -2*o**2 - 42*o + 5. Let w be c(-21). Suppose m = -3*v + 117, -1 - w = -2*m. Let a be 17 + -13 + 15*(-10)/v. Which is smaller: a or -1?
-1
Suppose 3*m + 4*o = -47, -o + 86 = 2*m - 7*m. Let w(x) = -9*x - 30. Let u be w(-4). Let v be (-116)/8 + (-3)/u. Is v at most m?
False
Let r(c) = -10*c**2 + 22*c - 11. Let v(y) = -29*y**2 + 65*y - 29. Let g(s) = 7*r(s) - 2*v(s). Let i be g(5). Is i equal to -1?
False
Let p = -48 + 282. Let j = p + -233. Which is smaller: j or 2/71?
2/71
Suppose -34 = -3*j + 5*q - 8, -3*q - 10 = j. Let f be 27/(-9)*(j + 21). Which is bigger: f or -68?
-68
Let p be (-2)/(-2)*68*7/28. Suppose 2 = -5*g - x + p, x - 11 = -3*g. Is 21/8 greater than g?
True
Let c = 36 - 3. Let z(d) be the third derivative of 11*d**6/40 - d**5/30 + d**4/6 - d**3/2 + 62*d**2 + 2*d. Let q be z(1). Which is smaller: c or q?
q
Suppose 0 = -2*g - 12 + 10. Let l be (-1)/(-4)*(-1)/(-119). Let t = l + -965/6188. Is t >= g?
True
Let d = -2962 - -2835. Which is smaller: d or -133?
-133
Let n = 114638 + -576084/5. Which is bigger: n or -580?
n
Let b = -2549 - -2534. Which is smaller: -221/15 or b?
b
Let i be 6 + -8 + ((-4)/1 - -15). Let y be 147/12 - 6/24. Is i <= y?
True
Let q = -52/545 + 339/9265. Which is greater: q or 7?
7
Let j = -186 - -2788/15. Suppose 34 = 8*y + 9*y. Suppose 5*p - h - y = 0, 9*p - 4*h = 5*p - 8. Which is smaller: j or p?
j
Let t = 2013 - 1045. Is 967 not equal to t?
True
Suppose 16 = k - 5*x, -2*k - x - 2 = -12. Let c be (-5 - (-4)/8) + (-3)/k. Is c greater than -6?
True
Let h(c) = -c**3 - 17*c**2 + 39*c - 16. Let b = -310 - -291. Let m be h(b). Is m greater than or equal to -35?
True
Let a = -25 + 22. Let k be 1/(((-12)/342)/((-2)/a)). Is -18 not equal to k?
True
Let j = -24.2 - 3.8. Let l = 33.1099 + -0.1099. Let t = j + l. Is -0.1 less than t?
True
Let r(a) = 9*a + 50. Let g be r(-8). Let s be 6/8 + (g/72 - 2). Do -1 and s have the same value?
False
Let m be (24/18)/((-41)/15 - -1). Let g = 25850345/221 + -116969. Let k = m + g. Is -2/9 greater than k?
False
Let r = -129/121 + 164177/153428. Which is bigger: 0 or r?
r
Suppose -r + 5 = 2*g, -4*r - 5*g + 1 = -7. Does r = 1992?
False
Suppose 0 = 111*a - 305*a - 2328. Let m = 20 - 32. Is a greater than m?
False
Suppose -3 = g - 10. Let s = -22138 + 44287/2. Which is bigger: s or g?
g
Suppose 8*f + 0 + 8 = 0. Let j be (3/(-66))/((-7)/(-140)). Does f = j?
False
Let w be (-3641743)/(-357) - 28/(-714). Are 10202 and w non-equal?
True
Let c(s) = -s + 12. Let d be c(10). Let g be 10/38*d/(-5). Let l = -2376 + 2377. Which is bigger: g or l?
l
Suppose -d + 15 = 4*q, 6*q + 6 = 5*q + 3*d. Let p be (q/(-1550))/(((-81)/12)/9). Which is smaller: p or 0?
0
Let z be 22*(2 - (-10)/(-4)). Suppose 3*w - 4658 = -14*w. Suppose 42 = -w*k + 268*k. Which is smaller: k or z?
z
Let b be 64/