r: 0 or s?
0
Let w = 0 + 0. Suppose w*r = 5*r. Let k = 16254/5 - 3251. Which is smaller: k or r?
k
Let x = -494 - -495. Is x at most as big as 1/1664?
False
Let l(f) be the third derivative of -f**5/20 - f**4/24 + 2*f**3/3 - 10*f**2. Let v be l(2). Let b be 6/v - (-115)/150. Do b and 0 have different values?
True
Let h be 8/(-6)*6/(-4). Suppose -1 = h*c + 3. Let v = -83 + 84. Which is bigger: c or v?
v
Let l = 3285/4 - 826. Is l < -6?
False
Let q(c) = -2*c**3 + 70*c**2 + 2*c - 85. Let y be q(35). Which is smaller: y or -28?
-28
Let a be 10/24 + (-6)/(-108)*6. Is a bigger than -64?
True
Let z be (-54)/(-81)*(0 + 3/(-7)). Let o = -3/10 + -1/5. Which is bigger: o or z?
z
Let o(s) = -s**2 + 17*s + 3. Let y be o(17). Suppose 0*x - y*x + 9 = 2*m, 4*m = 4*x - 12. Let q be -1 - ((-18)/11 + 1). Which is smaller: q or m?
q
Let u be -2 + 0 - (-9 - -4). Suppose d - 9 = -2*y - u, 5*y = d - 20. Suppose -3*c + 11 = -d. Does c = 7?
True
Let j be (-2)/((-1)/1 - -170). Let k = j + 356/1521. Is k greater than 0?
True
Let c = 6.21 - 6.09. Let k = 0.03 + 0.05. Let g = c + k. Are g and 2 non-equal?
True
Let w = 536 - 536. Which is greater: w or -6/157?
w
Suppose -97*h = -27*h - 1260. Let i(g) = 1. Let y(f) = -f**2 + f. Let m(b) = 5*i(b) - y(b). Let l be m(4). Which is greater: l or h?
h
Let a be -1 - -3 - 303/33. Let d = 8 + a. Let t = d + -103/99. Is t bigger than 1?
False
Suppose -5*w = 4*d + 657, -3*w = -2*d - 2*d + 375. Is w at most as big as -130?
False
Let w(z) = 2*z + 5. Let d be w(-6). Let q be 0 + (d/48 - 0). Let g = q + -3/16. Are g and -1 equal?
False
Let y = -24 - -20. Let v(w) = w**3 + 5*w**2 + 4*w + 1. Let d be v(y). Suppose 0 = -2*m + 5*r + d, r - 1 = 4*m + 6. Which is smaller: m or 0?
m
Let z(t) = 86*t**2 - 6*t + 3. Let r be z(1). Which is smaller: r or 85?
r
Suppose -18 = -2*a - 0*c + 2*c, 3*c + 15 = 0. Suppose -6*d = -a*d - 6. Suppose d*f - 27 - 3 = 0. Which is smaller: f or 9?
9
Let n be (-363)/(-15) - (-12)/15. Let b(a) = 6*a - 6. Let g be b(5). Are n and g nonequal?
True
Let w = 358 + -284. Which is smaller: 76 or w?
w
Let x = 26 - 12. Let n be (2/x)/(7/(-35)). Is -1 at least n?
False
Let h be 2/7 - (-5252)/(-56). Which is smaller: h or -93?
h
Let l be 102/(-4)*(-28)/6. Is 118 less than or equal to l?
True
Let h(z) = -z**2 - 5*z - 10. Suppose -20 = -2*l - 0. Suppose -l = 3*q + 5. Let r be h(q). Is r equal to -9?
False
Let k = 1.2 - 1. Suppose n = 7 + 39. Let w = n + -365/8. Which is greater: w or k?
w
Let x be 88/1 + (2 - 0). Suppose -5*r - x = -7*r. Let q be r/200 - (-3)/(-24). Is q less than -1?
False
Let h(k) = 5*k - 1 - 4*k - 4 + 0*k. Let w be h(4). Is -2 < w?
True
Suppose -3*n + 4 = -5, 4*n = -l + 57. Let y = 14 - l. Is -33 not equal to y?
True
Let o(x) = 17*x**3 + 5*x**2 - 9*x + 3. Let h be o(2). Is h greater than 139?
True
Let p(o) = o**3 - 6*o**2 - 7*o - 1. Let m be p(-1). Are -50/23 and m equal?
False
Let d(z) be the first derivative of -z**2/2 - 3*z + 21. Let i be d(-4). Let r be (11/(-11))/(38/4). Which is bigger: r or i?
i
Let l(h) be the third derivative of -h**6/120 - h**5/30 + 5*h**4/12 - 5*h**3/3 - 10*h**2. Let m be l(-5). Do 15 and m have different values?
False
Let o = -269 - -272. Which is smaller: o or 78/23?
o
Let y = 165 + -165.1. Is 4 at least as big as y?
True
Let l(m) be the second derivative of m**3/6 - 3*m**2/2 + m. Let i be l(0). Let u = -11596/3 - -3863. Which is smaller: u or i?
i
Let x(r) = -249*r. Let t be x(1). Let b be 3/((-81)/6) + t/(-27). Is b at least 9?
True
Suppose 0 = h + 5*k + 20, 2*h + k = -2*k - 12. Suppose 25*t - 20*t + 15 = h. Let q = -62 + 121/2. Which is bigger: t or q?
q
Let o(k) = -k - 13. Let l be o(0). Let v(x) = 3*x**2 - 21*x + 8. Let m be v(6). Which is bigger: m or l?
m
Let a = 0 - -10. Let t = a + -10.1. Let s = 0.1 + t. Is s greater than 2?
False
Let p = 236 + -216. Is p bigger than -1?
True
Let n = 1911 + -1762.3. Let t = -149 + n. Let k = 8 - 6. Do k and t have different values?
True
Suppose 0 = 2*q + 5*m - 26, m - 3*m = -3*q + 1. Let h = q + 2. Let t = 16/31 - 50/217. Does t = h?
False
Suppose -6 = 5*n + 3*u, n + n - 3*u - 6 = 0. Suppose n = 5*k - 4*m - 8, 5*k - 6*k - 2 = m. Let i = -1/73 + 223/292. Which is bigger: i or k?
i
Let s(x) = x**2 + 19*x + 59. Let g be s(-15). Does g = 1/265?
False
Let k(x) = x**2 + 14*x. Let z = 4 + -19. Let f be k(z). Suppose 6*y - f = y. Is y < 1?
False
Let t be -5*(-12)/20 + 0 + -2. Which is smaller: -2/215 or t?
-2/215
Let m = 858821/6496290 + -2/112005. Let h = m + 1/29. Is 0 greater than or equal to h?
False
Let o(k) = -k + 7. Let g be o(4). Suppose 0 = g*f - 19 - 5. Which is smaller: 0.6 or f?
0.6
Let c = 159 - 158. Let u = -368/83 + 436633/1079. Let h = u - 400. Which is smaller: c or h?
h
Let h = 54.08 - 54. Is -5/8 equal to h?
False
Let s(f) = -f**2 - 2*f. Let v be s(-4). Let z be (21/v - -1) + 2. Suppose 8*i - 5*i = 0. Is z less than or equal to i?
False
Let o be 925/(-1725) + 4/6. Which is smaller: 0 or o?
0
Let a be 2/((-8)/(-17)) + (-1)/4. Suppose a*h + 11 = h - x, 0 = -5*h + 3*x + 5. Is h less than -3?
False
Let d = -13.4 + 13. Let x = d + 8.5. Let s = x + -9. Which is smaller: -0.2 or s?
s
Let o be (-28504)/18 + -11 + 9. Let t = o + 1588. Which is smaller: t or 3?
t
Suppose 5*r - 15 = 45. Let n be (r/(-36))/(26/6). Which is smaller: 1 or n?
n
Let y = -17.015 - -0.015. Let w = y + 16.9. Is w greater than -13?
True
Suppose v + 2*v - 27 = 0. Suppose 4*m - p = 7, 0*m - 4*m - p = -v. Suppose -h - 3*x = -9, -10 = m*h - 2*x - 4. Which is bigger: h or 2/33?
2/33
Let k = 295 + -295.04. Which is bigger: 1/5 or k?
1/5
Let r = 34 - 28. Suppose y = -0*x - 2*x + 15, x = -2*y + 6. Which is bigger: x or r?
x
Let d = 4.5 - 4.7. Are d and -520 unequal?
True
Let c be 6/(-12)*((-90)/(-12))/3. Do 105 and c have different values?
True
Let x be ((-24)/126)/((-4)/(-14)). Which is bigger: x or -3.42?
x
Let k be 2*(21/(-6))/(-7)*11. Suppose 60 = k*x - 7*x. Suppose -4*n + 46 = -18. Which is greater: x or n?
n
Let z = -75/287 + -1/41. Let s = -1.86 - 14.14. Is z smaller than s?
False
Let w(x) = -9 - x + 0 - 15. Let k be w(-14). Let n be 20/(-24)*(-3)/k. Which is smaller: n or 0?
n
Let p(u) = -u**2 + 13*u - 14. Let l be p(12). Let o be 4 + -6 - 1*l. Let q be ((-2)/(-15))/(12/(-15)). Which is bigger: q or o?
o
Let g(j) = -3*j**2 - 23*j + 14. Let q be g(-8). Suppose -3 = -q*f + 3*f. Which is smaller: -4/29 or f?
-4/29
Let f = -87 + -9. Let k = 96 + f. Let u = -3 - -2. Is k greater than u?
True
Let b = 0.223 - -0.777. Let a = -0.3 + 0.2. Is a bigger than b?
False
Let a = -2 - 2. Let t = a - 10. Let d = -8 - t. Is d less than 6?
False
Suppose 4*v = -i - 2432, -2*v - 2*i = i + 1206. Is -608 <= v?
False
Suppose 7 + 53 = -5*j. Let u be (j/40)/(2 - (-38)/(-10)). Is u at most -1?
False
Suppose 3*y = 7*y + 8. Let z be (0 - -1 - 0)*174/(-290). Are y and z unequal?
True
Let x be (-8)/(-20) + (-40910655072)/(-10070). Let o = 4062628 - x. Let b = -20/53 + o. Which is greater: 1 or b?
1
Let p(o) = -2*o**2 - o + 2. Let s be p(1). Which is bigger: s or -11/45?
-11/45
Suppose -25*m = -21*m + 60. Let w = m - -13. Which is smaller: -5 or w?
-5
Suppose -3*y = 3*y - 18. Let f be (-3)/((-156)/56 + y). Let n be 51/(-36) - f/21. Is -0.1 not equal to n?
True
Let j(d) = 2*d**3 + 2*d**2 - 1. Let c be j(-2). Let k be c/6*33/(-27). Let w be (-4)/18 + 68/144. Which is greater: k or w?
k
Suppose -2*b - 1459 = -2043. Let m be -4 + 3 + (-3205)/11. Let v = m + b. Which is bigger: 1 or v?
1
Let j = 6.6 - -3.4. Let a = 7 - j. Is a less than or equal to -2?
True
Let d be 2/8 + 3 + 115203/(-252). Let q = -434 + 888. Let z = d + q. Do z and -1 have different values?
True
Let m = -86 + 66. Let g = m - -21. Which is greater: g or -1.6?
g
Suppose -3*q = k - 80, 4*q - q = 2*k + 92. Let f be 255/9 + 1/(-3). Is q greater than or equal to f?
True
Suppose -2*m = -3*m. Let z = 45753/28 + -1634. Which is greater: z or m?
z
Let c be ((-4 - -9) + 24)*(-1)/6. Is c != -6?
True
Let w(i) = -6*i + 3 + i**2 - 2 + 5. Let s be w(5). Let o be -1*(1 + -1 - (6 - 7)). Which is greater: s or o?
s
Let b = 870 - 870. Which is smaller: b or -1/486?
-1/486
Let a = -4458/17 + 1154486/4403. Which is greater: a or -1?
a
Let g be 3/(-3) + -1 + 2. Let u be ((-2)/(-64))/(4/(-8)). Which is smaller: g or u?
u
Let c = -18977 + 151621/8. Whic