uppose -b = 5*z + h, 3*b + 5*z + 9 - 1 = 0. Do -2 and b have the same value?
False
Let w = 95 - 121. Which is smaller: w or -28?
-28
Let w = 12 - 12. Which is bigger: w or 2/53?
2/53
Let l be 0 + -1*1 + -1. Let v = 5.2 + -6. Let o = 0.9 + v. Does l = o?
False
Let m be 70/(-12)*(-27)/30. Let a = -551 + 2189/4. Let z = m + a. Which is smaller: z or 1?
1
Let d = 26 - 15. Is 12 at least d?
True
Let n be 1 + 0/1 - -1. Suppose 0 = -4*r + 5*r + 2. Let i = r - n. Is i < -4?
False
Let m = 4.4 - 6. Let z = m - -1. Which is greater: z or 1?
1
Let v be (-1)/(-11) - (-4 - -4). Does v = 1?
False
Suppose k - 5*k = -16. Suppose 0*h = k*h - 4. Which is greater: -3/7 or h?
h
Let x = -7 - 7. Let c = x + 13. Is c smaller than 1/33?
True
Suppose 18*j = 19*j + 28. Is j >= -28?
True
Let w = -6516689/1892 - -37875/11. Let i = 4/43 - w. Are i and 0 unequal?
True
Suppose -2*d = -d - 49. Suppose 1 = -4*i + d. Let x be 20/21 - 8/i. Which is smaller: -0.1 or x?
-0.1
Let i be (-2)/(-5) + (-230)/(-50). Suppose -2*n + 6*v - 10 = 3*v, 18 = -n - i*v. Is n >= -7?
False
Let r = 11 + -8. Suppose 9 = r*v - 3. Suppose -2*c = -5*y + 8, -2*c - 3*y = -v*c - 4. Is -2/7 < c?
True
Let s be (-6)/(-9)*9/2. Let u = -2009/2 - -1034. Let n = u + -30. Which is greater: s or n?
s
Let n = 99 + -99. Which is smaller: -37 or n?
-37
Let g = -142/305 - -4/61. Suppose -c + 8 = c. Suppose 0 = -4*y + 2*d + d + 13, -15 = -3*y + c*d. Which is bigger: g or y?
y
Let a(s) = -s + 8. Let m be a(7). Let j = -7 - -5. Let v = j + m. Are v and -2 nonequal?
True
Suppose 2*t = -3*s - 2*t + 32, 2*t = -2*s + 18. Which is smaller: s or 5/2?
5/2
Let s = -132672/5 - -26336. Let p = s - -199. Which is smaller: 0.1 or p?
0.1
Suppose 4*y = 4*l - 1 + 5, -4*l - 4 = -3*y. Let k = -2878/3 + 942. Let w = -413/24 - k. Is w < y?
False
Let g(u) be the first derivative of u**3/3 + 5*u**2/2 - 8*u + 2. Let q be g(-7). Suppose -12 - 4 = -4*y, 2*y = 2*p + q. Which is bigger: -1 or p?
p
Let p(s) = s**2 + 6*s + 3. Suppose 0*z - 8 = -2*z. Suppose -z*t = 1 + 23. Let g be p(t). Which is bigger: 2 or g?
g
Let a = 2608/29 - 90. Which is greater: a or -1?
a
Suppose 71 = -3*h - x, -2*h - 2*x - 46 = -0*h. Let i be 6/h - 3/4. Let u = 145/6 - 24. Is u less than i?
False
Let m = 0.18 + -6.68. Let t = m - -3.4. Let c = 3 + t. Is 0 at least as big as c?
True
Let d(r) = -2*r + 14. Let l be d(8). Let a(z) = z**3 + 6*z**2 + 3*z + 4. Let o be a(-5). Let i be 0/(-3) + (-8)/o. Is l less than i?
True
Let q = 898/5 - 180. Is q equal to -0.072?
False
Suppose 0*g - 3*g = -g. Which is smaller: 1/82 or g?
g
Let a(p) be the first derivative of p**2/2 - 7*p - 7. Suppose 0 = -3*s + 17 + 4. Let i be a(s). Which is bigger: -2 or i?
i
Let x = 4502/15 - 300. Which is smaller: x or -1?
-1
Let s be 0 + 2/1 + -2. Suppose s = 3*f - 6*f + 21. Is f <= 7?
True
Let s(i) be the second derivative of -4*i**2 + 0 + 1/12*i**4 + 5/6*i**3 - 2*i. Let j be s(-6). Which is smaller: j or -1?
j
Let m = -146/65 - -12/5. Suppose 0 = -0*f - f. Is m at most as big as f?
False
Suppose 0*m + 5*m - 5 = 0. Let f = -6/83 - -316/2075. Which is smaller: f or m?
f
Let v = 1339/7 - 191. Which is smaller: v or -1?
-1
Let u = 77/5 + -16. Suppose -3*l - 43 = -40. Which is smaller: l or u?
l
Let d = 41/74 + -2/37. Let k = -11.02 - -0.02. Which is bigger: k or d?
d
Let p be (-2)/6 + (-1)/3. Let x = -108 + 106. Which is smaller: p or x?
x
Let w(j) = -j**2 + 5. Let k be w(0). Suppose -k*u = -0*u. Is 3/4 != u?
True
Suppose -3*l + 5*g + 31 = 0, -2*l = -g - 0*g - 9. Which is smaller: l or 1?
1
Let c = -38 - -58. Are 19 and c equal?
False
Let l(o) = -o**2 + 8*o - 16. Let t be l(5). Suppose 5*x = -s + 5, 5 = -3*x - 1. Let v be s/(-28) + 1/4. Is t bigger than v?
False
Suppose v - 42 = 4*v. Let d be (12/14)/((-2)/v). Suppose 17 = -5*g - 4*h, -2*h = -0 + d. Are 0 and g equal?
False
Let x(t) = t**3 - 5*t**2 - 5*t - 5. Let i be x(6). Let a be 0 - (0 + 0) - -2. Which is bigger: a or i?
a
Suppose 3*v - 35 = 4*w, v - 4*w - 20 = -w. Suppose -v*l = -0*l + 5*c, -l - 4 = 5*c. Let o = -4/3 + 1. Is l at least as big as o?
True
Let r(g) = -g**2 + 5*g + 6. Let l(v) = -6*v. Let h be l(-1). Let m be r(h). Are -2/5 and m unequal?
True
Let u(o) = o**2 - 4*o + 4. Let y be u(6). Suppose -5*w + 3*w - 5*b = y, -b - 17 = 5*w. Let c = 8 + -9. Which is bigger: c or w?
c
Let l = -213408116548/14679 + 14538328. Let n = 10/233 - l. Is 0 <= n?
True
Let o = -3 + 8. Suppose 2*t - 3 = o*t. Which is greater: 1/3 or t?
1/3
Let p be 5/(-15) + 71/33. Let m = p - 362/187. Is 1 at least as big as m?
True
Let x(v) = -v**3 + v**2 + 4*v - 2. Let q(t) = 3*t**3 - t**2 - 9*t + 5. Let s(p) = 2*q(p) + 5*x(p). Let h be s(-2). Let f = 1.8 + -2. Which is bigger: h or f?
h
Let c be ((-9)/12)/3*16/54. Which is bigger: -1 or c?
c
Let h = 35 + -5. Suppose -4*b + h = b. Are b and -1 equal?
False
Let h = 74/25 + -2293/800. Which is smaller: 1 or h?
h
Let w be (15/25)/((-3)/4). Does w = -1?
False
Let t = -11 - -8. Let u be t/(-15)*15/27. Is -1 bigger than u?
False
Let s = 0 + -1. Let p be (-1 - 1)*(-5)/(-10). Do s and p have different values?
False
Let g(a) = 13*a**2 - 4*a + 4. Let j be g(2). Is j greater than 48?
False
Suppose 0 = 2*t + t - 9. Suppose t = -4*u - 1. Which is bigger: 1/3 or u?
1/3
Let c = -5 + 9. Let n be -1 + 12*(-1)/(-2). Do c and n have the same value?
False
Let t = -70/17 + 1627/391. Is t smaller than 1?
True
Let m be ((1/(-2))/(40/(-16)))/(-1). Let d = -1 - -4. Suppose 2*h + 1 = d. Which is smaller: m or h?
m
Let j be (6/(-4))/(24/(-16)). Are j and -2/7 equal?
False
Let j(x) = -10*x**2 - 1 - 4*x + 7*x - x**3 - 3*x. Let r be j(-10). Let f be 2/(-4)*(-4)/9. Are f and r non-equal?
True
Let s = -2 + 2. Let x be (3 - 1)/((-1)/59). Let c = x + 592/5. Which is bigger: c or s?
c
Let t be -2 + (-10)/(-6) - 22/(-30). Let q = -0.1 - -10.1. Which is smaller: t or q?
t
Let a = -51.9 + 34. Let j = 16.93 + a. Let k = -0.03 + j. Is k at least as big as 2/5?
False
Suppose -2*l - 203 = -n, 5*l = -0*l - 3*n - 513. Let j = -310/3 - l. Which is greater: j or 1?
1
Let y(k) = -6*k**2 + 5*k - 3. Let h be y(2). Do -16 and h have different values?
True
Let x be 2/(-8) + 12/(-16). Let y be 4/12*(4 + x). Let m = 0 - -0.1. Is m > y?
False
Let p(m) = 3*m**2 - 7*m + 11. Let d(t) = 5*t**2 - 11*t + 17. Let c(i) = 5*d(i) - 8*p(i). Let j be c(0). Which is greater: -2 or j?
-2
Let s = 5.9 - 6. Suppose -4*o = -0 + 4. Is s smaller than o?
False
Let b = -33 - -36.9. Let h = -4 + b. Are h and -7/4 nonequal?
True
Let t = -0.21 - -2.01. Let j = -0.3 - t. Let w = j - -2. Which is greater: -2 or w?
w
Suppose 5*q - 9 = 2*s, 4*s - 1 = 3*q - 12. Is 5 != q?
True
Let v = 1228 + -133854/109. Which is smaller: 0 or v?
v
Let r = -12 + 11. Suppose -3*o = -3 - 6. Suppose 2*g = o*n - 15, 0*g + 20 = -5*g + 4*n. Is r <= g?
True
Let w = 95 - 91. Which is smaller: 0 or w?
0
Let f be ((-1068)/270 + 4)*(-1 + 22). Is f less than 1?
True
Let b(a) = 39*a**3 + a**2 + 2*a - 3. Let m be b(1). Is m != 36?
True
Let p = -137 + 135. Let g be 1 + (-2)/((-4)/(-5)). Which is smaller: g or p?
p
Let k(j) = j**3 + 5*j**2 + 9*j + 13. Let q be k(-4). Suppose -8 = o - 1. Is q less than o?
False
Suppose 0*r - 3*r - 12 = 0, -3*h = 3*r + 57. Is -16 equal to h?
False
Suppose -4 = 2*a - h - 16, a - 6 = -3*h. Let g be 4/a - (-2300)/42. Let x = 55 - g. Which is smaller: 0 or x?
x
Suppose -12 = -l + 3*l. Let k(j) = j**2 + 12*j + 9. Let b(s) = s. Let v(g) = 4*b(g) - k(g). Let h be v(l). Which is bigger: 2 or h?
h
Suppose -3*z = -5*z + 8. Let a be (21/30)/(z/344). Let y = a - 61. Which is smaller: -1 or y?
-1
Let r be 796/2100 - 4/14. Let q = -6/25 - r. Which is smaller: q or 1?
q
Let d be ((-10)/15)/((-62)/12). Is d greater than or equal to 0?
True
Let v(n) = n**3 + 4*n**2 - 3*n + 6. Let y be v(-5). Let r = y - -5. Suppose -13 = -4*h - r. Are 3 and h equal?
True
Let w = -3.4 + 3.3. Which is bigger: -1.1 or w?
w
Let s be ((-5)/2)/5*24. Let t be s/30 + (-4)/(-35). Are t and 1 nonequal?
True
Let m be (1/1)/(-2)*12. Is m equal to -6?
True
Suppose k - q = -4*q - 4, -k + 2*q - 9 = 0. Let b = k - -14. Let d = -6 + b. Which is bigger: 2 or d?
2
Suppose -4*j = 3*j - j. Are j and 4/37 equal?
False
Suppose -8 = 7*n - 1. Do 0 and n have the same value?
False
Let i(s) = s**2 - 7*s - 1. Let l be i(4). Is -2/3 not equal to l?
True
Let l(o) = o**2