-5*d = 223 + 77. Which is smaller: d or -59?
d
Let g = -38 + 18. Let j be (-5)/g + 3/4. Are j and 1 unequal?
False
Let h(v) = v**3 + 5*v**2 + 4*v + 2. Let n be h(-4). Let q be n/(4 + 0 - -18). Is q at most 0?
False
Let m be -4 - (16/4 + -70). Let g = m - 67. Are -5 and g nonequal?
False
Let a be 14/(-231)*3 - (-202)/143. Which is smaller: a or 1?
1
Let l be (1 - (-135)/6) + (-24)/48. Which is bigger: l or 22?
l
Let x = 0.01 - -0.05. Let d = 104 + -103.42. Let z = d - 0.68. Which is greater: z or x?
x
Let z(n) be the third derivative of n**5/60 - 11*n**4/24 + 13*n**3/6 - 7*n**2. Let f be z(10). Suppose -f*y + 7 = -2*y. Which is smaller: y or 6?
6
Suppose -z = 5*k - 13 - 25, -4*k - 152 = -4*z. Is 30 greater than or equal to z?
False
Let o = 86 - 81. Suppose o*w + 3*y - 17 = 0, -2*w + 4*y = -w - 8. Which is smaller: w or 9?
w
Let b be 3/2 + 15/(-18). Which is smaller: 0 or b?
0
Suppose -q - 3*q = 2*u - 56, 3*u - 5*q - 84 = 0. Let g be -4 - (-4)/u*26. Which is smaller: -2 or g?
-2
Let w be 3/12 - (-12)/16. Let j(h) be the third derivative of -h**4/24 + 7*h**3/6 + 4*h**2. Let p be j(6). Are p and w equal?
True
Let v(c) = -186*c - 45. Let g be v(-2). Is g less than or equal to 2?
False
Let y be 6/27 + (-146030)/(-342). Let j = y + -427. Which is smaller: j or 1?
j
Suppose -3*w + u + 19 = 0, w - 3*w + 18 = 2*u. Let f(m) = -m**3 + 20*m**2 - 37*m + 26. Let t be f(18). Is t at least w?
True
Let z = -1099 - -1098. Which is smaller: -0.0029 or z?
z
Let n(u) = -5*u + 29. Let s be n(6). Let y = -421/1062 - -7/59. Do y and s have the same value?
False
Suppose 0 = 5*b + 2 - 37. Let h = b - -123. Let o be 66/h + (-11)/55. Is o != -1?
True
Let i(b) = b + 9. Suppose 2*p = 0, 12 = 3*k + 2*p - 6*p. Let a(h) = -2*h - 3. Let r be a(k). Let q be i(r). Which is greater: q or -1?
-1
Suppose -44*n = -2*o - 39*n, o - 3*n = 0. Which is smaller: o or -1/2820?
-1/2820
Let p = -123 - -617/5. Suppose 2 = -18*f + 17*f. Is f less than p?
True
Suppose 2*w - 5*j = -6 - 30, 0 = 3*w - 3*j + 36. Let h = 7 - 13. Is h < w?
False
Let w = 10/143 - -68/143. Which is bigger: w or -15?
w
Let o(j) = j**3 - j**2 + j + 1. Let d be o(0). Let f = 197 + -57. Let k be -3 + f/15 - 5. Which is bigger: k or d?
k
Suppose -2*b = -4*j - 6 - 22, -2*j = 4*b - 46. Let s be 10/(-8) - (-3)/b. Let x = 2.04 + -8.04. Which is smaller: x or s?
x
Let f be (21/(-27))/1 - 12/36. Which is smaller: f or 1/6?
f
Let u = -0.44 + 0.3. Let o = u - 0.15. Let h = o + -15.71. Is h less than or equal to 0?
True
Let t = -0.152 - 0.848. Let f be -57*-3*3/(-27). Let i = f + 10. Is i > t?
False
Let p = 0.133 - 0.033. Is 16 at least as big as p?
True
Suppose 4*t - 16 = -4*k, -3*t = -3*k - 5 - 7. Suppose s - 2 - 2 = -3*v, -14 = t*s - 3*v. Let x be 2/7 + 85/(-28). Is s greater than x?
True
Suppose 0 = -5*m - 17*m + 8*m. Let l(j) = -j**3 + 6*j**2 - 5*j + 2. Let v be l(5). Which is greater: v or m?
v
Suppose -2 = n + n + 3*d, -5*d - 15 = n. Let j be 15/n - (-1 - -3). Let u be 3*2*j/(-6). Is u less than -5?
False
Let z be ((-1756)/5)/(-2) + 82/205. Is -0.1 bigger than z?
False
Suppose 3*h + 4*y = -2, 4*h + 7 = y - 2. Let a be (-5 - (6 + (-170)/25)) + 1. Which is bigger: h or a?
h
Let b be ((-60)/48)/((-2)/24). Suppose -3*n + 4*n = 14. Which is bigger: b or n?
b
Let n = 1.184 - 2.984. Is -10 at least as big as n?
False
Let m(z) = 5*z**2 + 4*z + 3. Let q be m(0). Let s = 109 - 531/5. Which is smaller: q or s?
s
Let v = -698/5 + 140. Which is bigger: 1/21 or v?
v
Let c = -704 - -703.9. Which is smaller: -8.8 or c?
-8.8
Let u = -2004/23 - 1296/115. Is -98 smaller than u?
False
Let f be (86/(-20))/((-24)/60). Which is smaller: 0.1 or f?
0.1
Let i = 180 - 180. Which is smaller: -1/3 or i?
-1/3
Suppose -8*m = 689 + 119. Let c = m - -96. Which is bigger: c or -6?
c
Suppose 0*p - 9 = -3*p. Suppose -a = p*g - 81, 2*a - g = -a + 283. Let q = -58 + a. Does 35 = q?
True
Let a = -0.67 - -0.07. Let w = -2 - -1.4. Let t = w - a. Is 1.2 bigger than t?
True
Let d = -334.98 + 323. Let w = d - 0.02. Let m = w + 11. Is m greater than or equal to 2?
False
Suppose 2*j + 5*h = 9, -5*j + 27 = -j + h. Suppose j*i - 2*i = -15. Let o = i + 1. Which is smaller: -5/7 or o?
o
Let q = 0.972 + -0.032. Let p = 0.64 - q. Is p equal to -16?
False
Let o(v) be the third derivative of v**4/24 - 11*v**3/6 - 14*v**2. Let y be o(9). Let l = 11 + -13. Do y and l have different values?
False
Let r(o) = o**2 + 12*o + 22. Let l be r(-7). Which is greater: l or -11?
-11
Suppose x = 7*t - 11*t + 81, -3*x = 9. Are 149/7 and t equal?
False
Let m be 0*1/9*3. Let f = -5311/91 - -872/13. Let b = f + -9. Which is smaller: b or m?
b
Let t = 30 - 24. Let j be 15/(-24)*t - -4. Which is greater: 3/2 or j?
3/2
Let d be (4 - 1)*(-7)/(-21). Let z be 9 - (-2 + -1 + d). Let m = z - 12. Is m > 2/11?
False
Let l(u) = 5*u + 29. Let m = -33 - -27. Let p be l(m). Are p and 2/21 nonequal?
True
Suppose 0 = -3*z - 0*z - 96. Suppose -18 - 12 = 3*w - 5*t, 5*t - 20 = w. Let m be w/(-2)*z/100. Which is smaller: -1 or m?
-1
Let q be (24/(-25))/(-1*(-54)/(-1980)). Which is smaller: q or 36?
q
Let p = 4697 - 61031/13. Let u = 917/403 - p. Which is smaller: 0 or u?
u
Let m be (-2 + 5 - 2) + 2. Suppose -2*k - k + 12 = -4*i, 4*i + m*k = -36. Is -6 less than i?
False
Let h = 99 + -106.1. Let b = 7 + h. Let i = b + -0.9. Which is smaller: 2/5 or i?
i
Let l(o) = 2*o**3 - o**2 - o + 2. Let y be l(2). Suppose 5*r - y - 8 = 0. Suppose 0 = -2*q + r - 2. Which is greater: 0 or q?
q
Suppose -4*i = -9*i + 1360. Let p be 2/1 - i/132. Is p != 0?
True
Let o(j) = -j**3 - 4*j**2 + 12*j + 1. Let q be o(-6). Let r = -358/52275 + -4/425. Which is greater: r or q?
q
Let j be ((-32)/2544)/((-3)/(-36)). Which is bigger: 1 or j?
1
Let v be (-692)/30 + (-4)/(-10). Let x = v + 23. Is x equal to -1?
False
Let c = -24.65 - -24. Let u = 33.35 - c. Let z = 32 - u. Do -6/5 and z have the same value?
False
Let t be 420/(-900)*18/(-21). Which is bigger: t or -0.205?
t
Let v = -667.2 - -597. Let u = 70 + v. Which is smaller: -21 or u?
-21
Suppose 288*v = 282*v + 36. Let i = 93/10 - 41/10. Which is bigger: i or v?
v
Suppose 0 = 3*k - 55 + 91. Is -5 != k?
True
Let q = 90 + -88. Suppose -10 = -4*a - 2*u, q*u = 2*a - 3*u + 13. Is -3 less than a?
True
Let t = 36.106 - 36.1. Which is smaller: -2 or t?
-2
Let d be 2*(-1)/4*2 - 6. Let l(j) = j**3 + 7*j**2 - 4*j - 14. Let h be l(d). Are h and 13 nonequal?
True
Let j be 3/2*(-2)/3. Let h(g) = 6*g**2 + 8*g + 2. Let w(f) = -f. Let c(s) = -h(s) - 5*w(s). Let o be c(j). Which is bigger: o or -4?
-4
Let j(d) = d**2 - 9*d. Let w be j(9). Suppose -v = -w*v + 12. Is v at least as big as -5?
False
Let m be 362/66 - 4/(-22). Let y be 1*14/(-6)*(-57 - -54). Which is smaller: y or m?
m
Let t = 9 - 9. Suppose t = -4*l - 22 - 6. Let q be l/(7/(-3)) - 2. Do 1 and q have different values?
False
Let i be (-7)/(14/908) + 2. Let d = i + 6772/15. Let h = d - -71/105. Which is greater: h or -1?
h
Let z = -31.98 + 32. Is z greater than 1/7?
False
Suppose 0 = 3*v + m - 12, 0 = -5*v + 2*m + 3*m. Let a = v - -11. Suppose 0 = -5*c - 6 - a. Is c bigger than -4?
False
Let f = -165 - -169. Suppose -f*h - 4*p = -20, 8*p + 10 = h + 10*p. Which is bigger: h or -4?
h
Suppose 7*g - 5*g = -6. Let f = 5 - 55. Let p be f/18 + (-6)/27. Do p and g have the same value?
True
Let m(n) = -4*n + 56. Let i be m(-7). Let h = i + -83. Is 47 greater than or equal to h?
True
Let s = -655.973 - -655. Let f = s + 0.023. Is 0 at least as big as f?
True
Let w = 0.3 + -1.1. Suppose 5*a + 10 = x, -33*x + 15 = -30*x. Which is smaller: w or a?
a
Let u be (-3)/(-2)*2*4/350. Let z = u - -3/35. Is z > 0.1?
True
Let s be (-7 + 1)/(((-20)/(-8))/(-5)). Let f(r) = r**3 - 11*r**2 - 13*r - 27. Let x be f(s). Are x and -38 non-equal?
True
Let i = 0.5 - 1. Let b be 2 - 3 - (-1672)/(-20). Let z = b + 85. Which is greater: z or i?
z
Let p = 1/3102 + -499427/15510. Is p at least -32?
False
Let y be -5 + 344/28 - 2/7. Let z be 3/y - 178/7. Are z and -26 equal?
False
Let f be 6 + (-1)/(3*4/48). Suppose -v + 0 - f = -2*q, -2*q + 10 = -3*v. Which is smaller: 25 or q?
q
Let t(z) be the third derivative of z**6/120 + z**5/12 - 5*z**4/24 + 5*z**3/6 - 12*z**2. Let a be t(-6). Is a less than -2?
False
Let v(h) = h**3 + 24*h**2 + 128*h - 15. Let u be v(-16). Suppose 2*x = x - 19.