et g be -8 + -7 + 16 - (-1 - 0). Is 3/19 not equal to g?
True
Let r be (-10 - (-2 + 0))*(-1)/4. Is 0.4 >= r?
False
Let g(m) = -m - 6*m**2 + 2*m + m**2 + 1 + m**3 + 3. Let l be g(4). Let w be (0 - l)/(-4) - -1. Which is greater: w or -2/13?
-2/13
Let j = -8.3 + 8. Let v be (-20)/(-12)*23/((-690)/(-4)). Is v greater than j?
True
Suppose 0 = -2*a + s - 145, 4*a - 5*s + 24 = -263. Let i(z) = 21*z + 10. Let b be i(-4). Which is greater: a or b?
a
Let x = 52 + -71. Let f(u) = 2*u + 37. Let m be f(x). Are 1/87 and m non-equal?
True
Let k = -247 - -183. Is k != -64?
False
Let q = 77 - 73.5. Let b = q - 3.4. Is b less than 23?
True
Let r(v) = -v**2 + 4*v - 1. Let j be r(6). Let x be (j - -12)*(1 + -2). Which is bigger: 2/7 or x?
x
Let l = -60.1 + 60.1. Which is smaller: l or 449?
l
Let x = 58 + -58. Suppose -w + 9 = -x*w. Are 9 and w non-equal?
False
Let o = 2 - 4. Let j(x) = -4*x**3 + 2 + 6 + 7*x + 5*x**3 - 9*x**2 - 3. Let m be j(8). Which is smaller: m or o?
m
Let g be (-3)/4 + (-49975)/(-20). Let t = 42490/17 - g. Is t equal to 2?
False
Let o(c) be the third derivative of c**5/20 - 5*c**4/24 + 5*c**3/3 - 7*c**2. Let d be o(5). Is d at least as big as 61?
False
Suppose 4*t + 32 = 3*f, 19 = -3*t + 3*f - 2*f. Let a be 0 + 2 - (t - -7). Is a less than -1?
False
Let n = -26 + 29. Suppose -n*f - 2*f + 20 = 0. Suppose -f*d + 4*i = -8, d = 4*d + 5*i - 6. Are 0 and d unequal?
True
Let q be (-46720 - (-6 - -3)) + 1. Let o be (-2)/360*q/(-148). Let g = -2/555 - o. Which is greater: 1 or g?
g
Suppose 16*c - 12*c = -8. Let o = c + 4. Which is bigger: 1 or o?
o
Let k = 5 + 5. Let m(r) = -r**3 + 27*r**2 - 25*r - 26. Let b be m(26). Suppose 19*s - 200 + 10 = b. Is s < k?
False
Let f(r) = -4*r - 13. Let s be f(-5). Let i(g) = g**3 + 6*g**2 - 5*g - 6. Let v be i(-6). Let b = -18 + v. Which is smaller: b or s?
b
Let g be (5 - (-1251)/(-243))*1/2. Let f be 66/18 - 2/(-6). Suppose 0 = -0*o - 3*o - m + 5, -20 = 5*o - f*m. Which is smaller: o or g?
g
Let x = 16 + 21. Let o = x + -74. Let f = o + 17. Does f = 0.1?
False
Let p(w) = -w**2 - 3*w. Let n be p(4). Let t = n + -2. Which is bigger: t or -28?
-28
Suppose 5*k - 2*k = -5*t + 56, t = 3*k + 4. Let s = -4 - 0. Which is bigger: t or s?
t
Let f be ((-8847)/108)/(3/(-4)). Let k = f - 108. Let j = -205/153 + k. Which is bigger: j or 0?
0
Let q = -339 + 4063/12. Which is smaller: q or 1?
q
Suppose -5 = -2*b - 1. Let y(i) = 2*i**2 + 0*i**b - 3*i**2 - 8*i + 8 - 5. Let t be y(-8). Is t greater than 1/4?
True
Suppose -5*i = -i. Suppose -12 = a - i*a. Let z(j) = 28*j + 185. Let l be z(-7). Which is bigger: a or l?
l
Suppose -12*b + 28 = -14*b. Let p = b + 26. Which is smaller: 14 or p?
p
Suppose 22 = 2*k - 58. Let z be 12/(-32) + (-641)/k. Which is smaller: -17 or z?
-17
Suppose 0 = -3*z + 10*z - 21. Suppose 0 = z*a - 0*a. Suppose 0*q + 3*q = a. Is 8 greater than q?
True
Let m = 15806 - 15794. Suppose -3*y + b = -8*y + 70, 42 = 3*y + 2*b. Is y at least as big as m?
True
Let r be 1270/(-40) - (-6)/8 - 4. Let s be 10/r - ((-55)/(-28) + -2). Are -54/11 and s nonequal?
True
Let q = -18 + -57. Let r be 35/q*(-20)/(-8). Let d = 0 - 2. Which is bigger: d or r?
r
Let n be (-19 - -14)/(4 - 0). Suppose -5*h = -3 - 27. Let r(c) = c**3 - 7*c**2 + 5*c + 4. Let p be r(h). Is n smaller than p?
False
Let o = -172.6 + 74.6. Let p be -2 - ((-54)/8)/3. Which is smaller: p or o?
o
Suppose 5*u = 5*c + 225 + 105, -2*u + 4*c = -130. Let p = 5485267/42 + -261337/2. Let y = p + u. Is y not equal to -2/7?
True
Let g = 7 + -3. Suppose 0 = l - 3*l - 54. Let i = -25 - l. Is g < i?
False
Let q = 3402/17 + -200. Suppose -t - 4*t = -25. Let h = t - 5. Is h at most q?
True
Suppose 3*h - 1 = 17. Suppose -h*d = -d - 5. Let q be d*(1 + (-3 - -3)). Is q > 2/5?
True
Suppose 0*v = -i - v + 20, 5 = v. Suppose -z - 4*z = 5*c + i, 0 = 5*z + 15. Is -5/19 greater than c?
False
Let v be 0*-1*(-2)/(-4). Let x(t) = -t**3 + 7*t**2 - 6*t. Let i be x(6). Let w be (i - v - -1)*1. Which is greater: w or -2/5?
w
Let d = -73.95 + 2.95. Is -0.1 >= d?
True
Let n = 33 + -33.03. Let v = n - -3.03. Is -0.2 greater than v?
False
Suppose 12*k - 470 = 10*k - 4*r, 4*k - 4*r - 940 = 0. Is 236 greater than or equal to k?
True
Let p be 3/(3/6*3). Suppose -p*t = -0*t + 10. Suppose 0 = 4*q - 87 + 111. Is q smaller than t?
True
Let c = 3482/9 - 386. Let n = c - 70/99. Which is bigger: 1 or n?
1
Let l(a) = 14*a + 12 + 8*a**2 + 14*a - 33*a + a**3. Let n be l(-9). Which is greater: n or -22?
-22
Let a = -9315 - -558917/60. Let l = -13/12 + a. Suppose 2*z + 2*o = o, -5*z - 2*o = 2. Which is smaller: z or l?
z
Let b = -1117/37236 + 3/428. Let k(h) = -h**3 - 15*h**2 - 16*h - 29. Let f = 43 + -57. Let s be k(f). Which is smaller: b or s?
s
Suppose t + 5*a + 30 = 0, 28 = -2*t + t - 4*a. Let d = t - -25. Suppose -5*p = -d*b + 100, 0*p = 3*p - 4*b + 63. Is p not equal to -17?
False
Suppose -2*m + 17 = -3*v, 0*v - 16 = -2*m + 4*v. Suppose 16*g = m*g - 24. Which is greater: 2/7 or g?
2/7
Let s(h) = -h**3 + 28*h**2 - 66*h + 28. Let y be s(25). Are 252 and y unequal?
True
Let z(d) = -d - 1. Let q(r) = 9*r. Let a(f) = -2*q(f) - 10*z(f). Let w be a(3). Let i be 11/(-33) + w/12. Is -2 at most as big as i?
True
Let f = -5513/4 - -1391. Which is smaller: f or 14?
f
Let f = 1717 + -1717.15. Is f at least -0.05?
False
Let z be -4 + 4 + (-24)/(-4). Let h = z - 7. Let k be 3 - 28/5 - 8/(-4). Which is smaller: k or h?
h
Suppose 47*g - 61*g = 14. Are g and 1/58 equal?
False
Let g be ((-6)/(-342)*-6)/(-1). Let d = 2 + -1. Which is greater: g or d?
d
Let y be 1*((-4)/(-3))/(5 - 7). Is y smaller than -2/935?
True
Let j = 35 - 27. Let b = j + -13. Let t be -4 - b/((-30)/(-28)). Which is bigger: t or 20?
20
Let n = 5237/495 + -53/5. Let b(f) = 2*f**2 - 7*f + 5. Let d be b(2). Is n at most d?
False
Let g(m) = m**3 + 8*m**2 + 5*m - 15. Let l be g(-7). Let n be 29/((-4)/((-4)/l)). Is n <= -29?
True
Let q = 48 + -77.9. Let l = q + 30. Is l less than or equal to 1?
True
Let n be 30/(-12)*(-16)/1060. Let q = -2.9 + 3. Is q < n?
False
Let t(d) = 2*d**3 + 27*d**2 + 2*d - 11. Let h(a) = -a**3 - 13*a**2 - a + 5. Let y(m) = -13*h(m) - 6*t(m). Let f be y(-7). Which is smaller: -5 or f?
f
Let y be (1/(-8))/(-1) + (-20)/160. Is -8/15 less than y?
True
Let q be ((-1426)/(-69))/(4/(-3) + 1). Which is smaller: q or -61?
q
Let u be (68/3)/(1 + (-2)/6). Let r be ((-4)/(-6))/(u/(-51)). Which is greater: r or -11/5?
r
Let o = 128 + -133. Let z be -3*12/3 + 2. Let y be 5/2*z/5. Is y less than o?
False
Let n be (12/15 - (-102)/(-90))*-1251. Is n smaller than 416?
False
Let i(v) = -5 - 12*v**2 + 12*v - 2 + 1 + v**3. Let g be i(11). Let w = g + -9. Is -11/4 not equal to w?
True
Let o = 3 - 3.25. Are -0.1 and o nonequal?
True
Let z(g) be the first derivative of -g**4/4 - g**3/3 + 5*g + 5. Let j be z(0). Suppose -o + j*o = 4. Do 0 and o have different values?
True
Let g(m) = -m**3 + 7*m**2 - 4*m - 5. Let s be 90/25 + (-4)/(-10). Suppose 2*f - s = 8. Let q be g(f). Is q at most 1/4?
False
Let s = -2 + 1. Let i be (-1)/4 - 14/24. Is i <= s?
False
Suppose 2*o - o = 0. Suppose 13*k + 148 - 191 = -30*k. Is k smaller than o?
False
Suppose 0 = 94*t - 95*t. Let y be 6/(-21) - 200/(-308). Which is greater: y or t?
y
Suppose 0 = 4*t - 5*b - 106, 4*t + 95 = 7*t + 4*b. Let k = 13 + -22. Let l be t/8 - (-36)/k. Is -1 at most as big as l?
True
Let w(x) = x**2 + 4*x + 37. Let f be w(0). Let z be (24/(-15))/(-1 - (-268)/280). Is f not equal to z?
True
Suppose -5*y = m + 35, 0*y = -2*m + y - 59. Is -27 > m?
True
Let n be ((-7346)/34)/((-6)/6). Let d = 216 - n. Are d and 0 unequal?
True
Let j be 12*(-5)/(60/8). Let c be (0 - j/(-220)*1)*5. Which is bigger: -0.1 or c?
-0.1
Let p be (-546)/(-140) + 6/4. Suppose 3 = -2*i - 3, 0 = -5*h + 2*i + 36. Which is greater: h or p?
h
Let a = 214 + 106. Which is bigger: a or 318?
a
Let u(p) = -p**2 + 30*p - 199. Let l be u(20). Let m = -54/7 + 433/56. Is l less than m?
False
Let g = 1 + -1.02. Let v be (9/(-1))/(-3) + -3. Let o be (1 - -2 - 2)*v. Is o equal to g?
False
Let x = -6.1 - -5.7. Which is bigger: 30 or x?
30
Let k = 53 - 50. Which is smaller: 64/27 or k?
64/27
Suppose -i = s + 4*i - 14, -5*s - 4*i + 7 = 0. Let r be (-10015)/(-32)*(-6)/15. Let j = r + 125. Is j < s?
False
Suppose -3*j = -x - 3*x - 7, -2*x + 3 = 5*j. Do 1