pose -4*i + 2*s - 54 = 74, -4*s - 16 = 0. Is i at least as big as -35?
True
Let v = -3 - -2. Let a be (1872/(-14) - v)*-1. Let s = a + -133. Which is greater: s or 0?
0
Let u(q) = q. Let j be u(2). Let y be (0/(-1))/((-4)/j). Which is bigger: y or -2/11?
y
Let s be ((-4)/10)/((-2)/10). Suppose 0*r = 2*r - 6. Suppose r*w - 7 = f, -2*f + 3*w + 0 = 5. Do s and f have the same value?
True
Let h(f) = -13*f**2. Let y be h(-1). Let j = y + 13. Which is greater: -1/7 or j?
j
Let f = -26.96 - -27. Is f at most 2/5?
True
Suppose -4*m + 20 = m. Let o be (0 - -1)/((-1)/(-104)). Let h be o/60 - m/10. Is h at most as big as 1?
False
Let i be (-6)/(-189) + 1/3*0. Which is smaller: -1 or i?
-1
Let w = 0.28 - 5.28. Let x = 0 - 4. Let f = x - w. Which is bigger: f or -1?
f
Suppose v + d = 3, v = 6*v - 4*d - 6. Suppose -2*m - v = -10. Is m > 3?
True
Let z be -3 + (0 - (-1 + 0)). Which is smaller: -1 or z?
z
Suppose -17*y = -4*y - 39. Is 1/22 <= y?
True
Let n = -0.009 + 0.109. Which is greater: 0.03 or n?
n
Let p = 7 + -4. Suppose 16 = -k + 5*m, k - p*m = -5*m + 5. Is k equal to -1?
True
Suppose -4 = 3*i + 20. Let r be 4/12 + i/(-3). Let o = r - 7. Which is smaller: -5 or o?
-5
Let x be (-4)/6*(-84)/(-18). Let q = 10/3 + x. Is -1 less than q?
True
Suppose 8 = -2*r + 22. Suppose -1 = r*m - 6*m. Does -5 = m?
False
Suppose 80*a - 84*a = 0. Which is smaller: a or -6?
-6
Let i(m) = -3*m**3 - m**2 + m + 1. Let t be i(-1). Let k be 1/t + 3/6. Is 1 equal to k?
True
Let q(g) = -30*g - 51. Let x be q(-6). Are 129 and x nonequal?
False
Suppose 0 = d - 5*c, 3*c = 3*d - 8*d. Let v = -6 + 5. Are v and d non-equal?
True
Let p = 29 + -85/3. Suppose 0 = 5*o - 6 - 9. Let g = -3 + o. Which is bigger: p or g?
p
Let u = -59 - -57.18. Let x = -0.18 + u. Is x at most -0.1?
True
Let u(f) = -f**2 + 7*f - 9. Let i be u(6). Let r(m) = m**2 + m - 3. Let v be r(i). Let o = 0 - v. Which is greater: o or -2?
-2
Let u = 4 + -2. Suppose 15 = -k - u*k. Which is smaller: -4 or k?
k
Let o = 59/189 + -11/27. Which is smaller: o or 0?
o
Let c = 2 + -1. Let b = -30 + 29. Which is smaller: c or b?
b
Let o be (2/(-20))/(18/3265). Let c = o + 73/4. Which is greater: -1 or c?
c
Suppose 0 = 8*o + 49 - 137. Is o < 11?
False
Let v = 7 + -11. Let d = v - -6. Let t = 3 - d. Is t > 0.1?
True
Let z be (-2)/(-4)*(0 + 16). Which is smaller: z or 9?
z
Let m be (5/(-2))/((-2)/4). Let g be ((-2)/m)/((-756)/680). Let d = -2/27 + g. Is -1/8 greater than d?
False
Suppose 0 = 3*n - 4*v - 9, 2*n - 7 + 3 = 2*v. Is -1/24 greater than or equal to n?
True
Let g = 3 - 2.9. Let t = 16 - 15.6. Which is bigger: g or t?
t
Suppose -5 - 3 = f. Let b = f + 12. Let q be (b/6)/2*1. Does 0 = q?
False
Let u be 2/((-1)/3 + 0). Let b = 13 - 11. Let y be -1*(3 + b + 0). Which is smaller: y or u?
u
Let u(z) = z**2 + 17*z + 9. Let v be u(-20). Which is greater: v or 70?
70
Suppose 276 = 5*b - 4*p, -4*p + 170 = 3*b - 2*p. Is 56 greater than b?
False
Let m be 1/((-5)/1275*-5). Are 51 and m nonequal?
False
Suppose -25 = 3*g - 13. Are -2/3 and g unequal?
True
Let h = -0.3 + 0.2. Let l be ((-85)/30 + 3)*2. Is l at least as big as h?
True
Let r be -1 + (2*-1 - -4). Let q = 0 + r. Do q and 2/25 have the same value?
False
Let n(c) = 0*c - 2*c - 3*c**2 - c**2 - 1. Let h(z) = -z - 8. Let f be h(-7). Let o be n(f). Do o and -3 have the same value?
True
Let g = -151/156 + 7/52. Which is smaller: 0 or g?
g
Let w(z) = -z + 6. Let a be w(5). Let q = a - -1. Let o = 887/3 - 295. Is q bigger than o?
True
Let g = 16 - 27. Which is greater: -12 or g?
g
Let t be ((-3)/(-18))/((-1)/(-3)). Let p = 3 - -0.2. Let u = 3 - p. Is t >= u?
True
Let v = 3/61 + 101/427. Suppose -10 = -5*m - 5*u, -4*m + 10 = 3*u - 0. Suppose 2*a - 3*b = -7 - 5, -b = -m. Is v greater than a?
True
Let b(t) = t**2 - 5*t + 1. Let r = 0 - -4. Let p be b(r). Is -5 less than or equal to p?
True
Suppose l + 8*y + 29 = 4*y, -4*l = -y + 31. Let i = l - -6. Let q = -7 + 2. Is q less than or equal to i?
True
Suppose 16 - 21 = -j. Is 2 <= j?
True
Let x = 4.4 - -1.6. Let m = x + -7. Are 6 and m nonequal?
True
Suppose 2*d = 5*c - 15, -3*d + 5*c = -6*d + 15. Is 2 <= d?
False
Let x be (-85)/165 - (-4)/22. Let a = 1 - -1. Which is bigger: a or x?
a
Let h = 5 + -4. Let w = h - 1. Let b = 2 + w. Is b equal to 3?
False
Let t = -5 - -2. Which is smaller: -1 or t?
t
Let i = -2.03 - -0.03. Let z = 14 + -10. Let n = 4.2 - z. Which is smaller: n or i?
i
Let m be (0/(-6))/(0 + 2/(-2)). Let u be ((-1)/2*0)/(-1). Is u at least as big as m?
True
Let u = -4.9 - -6. Let o = 1 - u. Which is bigger: -4/11 or o?
o
Let w be 2 + -5 + (5 - 1). Let f be -2 - (-1 - (-2 - w)). Let a be 1/(-4) + (-9)/f. Which is greater: 1/2 or a?
a
Let j = 0.02 + 1.98. Let n = j + -2. Let i be 5/(-15)*(-2)/(-3). Which is smaller: n or i?
i
Let p(k) = k**3 + 5*k**2 - 2*k + 13. Let c be p(-5). Which is smaller: c or 21?
21
Let d be 2 - 2 - (-8)/(-14). Let c = -19 + 23. Let w be (c/(-3))/((-2)/(-3)). Which is smaller: d or w?
w
Suppose 2*n - 2*p + p - 4 = 0, 0 = -5*n - 3*p + 32. Suppose 0 = k + 3*w + 5, 0*k - 4*k + 4*w - n = 0. Is -0.1 less than k?
False
Suppose -4*o = 3*c + 8 - 1, 0 = -4*c - 2*o + 4. Suppose c*n = n - 4. Suppose q - 5*q = 3*y + 19, -3*q - y = 13. Which is bigger: n or q?
n
Let b = -10 - -5. Let n = -0.1 - -0.2. Is n at least b?
True
Let n(x) = -x**2 - 6*x + 11. Let h be n(-8). Do -3 and h have the same value?
False
Suppose -3*l + 6 = -l. Suppose l*u = -g + 4*u - 6, 5*u - 27 = 2*g. Let y = -16/7 + 94/35. Are g and y non-equal?
True
Let x(r) = 2*r + 1. Let q be x(3). Which is greater: 5 or q?
q
Let p = -0.1 - -0.5. Let d = -0.4 + p. Is d bigger than -4?
True
Let x be 4/(-10) - (-23)/20. Let f(g) = -7 + 2 + g - 1 + 1. Let q be f(6). Is q less than or equal to x?
False
Let x = -0.1 - -0.1. Let o = x - -0.2. Let j = o - 1.2. Which is bigger: j or 0?
0
Let d be -1*1/2*-4. Let w be (-14)/(-30)*(4 + -7 + 8). Is d at least as big as w?
False
Suppose -2*x - 4*a = -0*a - 34, 0 = -x + 5*a + 3. Which is greater: x or 2/9?
x
Let g(w) = w**3 + 16*w**2 + 15*w + 9. Let v be g(-15). Is 0 at least v?
False
Let k(p) = p**3 + 8*p**2 - p + 10. Let s be k(-8). Suppose -5*u + s = -12. Let n be ((-3)/u)/((-2)/(-28)). Which is smaller: -6 or n?
n
Suppose z + 42 = -4*t - 0*z, 0 = t + 5*z + 20. Which is bigger: -11 or t?
t
Suppose -w - 3*w - 8 = 0. Is -3 less than or equal to w?
True
Let a(p) be the first derivative of -p**5/120 - p**4/24 + p**3 + 4. Let i(z) be the third derivative of a(z). Let o be i(0). Which is bigger: -1/8 or o?
-1/8
Let h be (-25)/(-10)*-6 - (4 + 0). Which is smaller: h or -3?
h
Let x = -0.6 - -0.5. Let j = -1 + 1.2. Let b = j + x. Which is greater: b or -1?
b
Let x be 36/8*22/(-429). Let p be (-2)/3 - 2/(-3). Is p > x?
True
Let w = 13 + -23. Which is bigger: -17/2 or w?
-17/2
Let t be 2/(-4) - (-248)/60. Let u be 1/4 + 98/(-24). Let h = t + u. Is 1/3 smaller than h?
False
Suppose 0 = -0*z + z. Suppose -4*n + 5*h - 2*h - 1 = 0, z = -3*h - 3. Let m = 1/2 + n. Which is smaller: m or -1?
-1
Let t be (-6)/21 + (-4)/14. Let x(d) = -d**3 + 3*d**2 + 5*d - 2. Let c be x(4). Suppose -3*j + 2*u + 1 = 0, 3*u + 3 = -j + c*u. Is t > j?
True
Let x be (0 - 1/(-3)) + 880/60. Is x at most as big as 180/11?
True
Suppose 2*r + 18 = -p, -5*p + r = -r + 114. Which is smaller: p or -23?
-23
Let z(k) = 5*k**3 - 7*k**2 + k - 6. Let n(m) = -6*m**3 + 8*m**2 - 2*m + 7. Let i(a) = 4*n(a) + 5*z(a). Let u be i(4). Is u greater than -2?
True
Suppose -13 - 2 = -3*t. Suppose 0 = -3*o - 0*o + 2*k + 5, t*o - k = 13. Is 2 not equal to o?
True
Let u = -6587/12 - -1901/4. Let g = u - -73. Which is smaller: g or 0?
g
Suppose 5*x = -5*k, 3 = -3*k + 3*x - 3. Let m(s) be the second derivative of -s**5/20 + s**4/12 + s**3/6 - s**2 + s. Let a be m(0). Is k < a?
False
Let k = -9 - -9. Which is smaller: -1/23 or k?
-1/23
Let i be 2 + 3/(-3) - 0. Let d be 2/((-4)/i)*-6. Suppose 0 = 5*y + 2*k - 5, -d*k - 4 = y + 8. Do 2 and y have the same value?
False
Let u(r) be the third derivative of -r**4/24 + r**3/3 + 12*r**2. Let x = 6 + -1. Let l be u(x). Is l at least -3?
True
Let j(y) be the second derivative of 1/3*y**3 + 0 - 3*y**2 - 2*y. Let h be j(4). Which is smaller: 2/3 or h?
2/3
Let x be (-4)/(-20) + (-1893)/(-135). Let b = -298/21 + x. Are b and 0 equal?
False
Let f be (-2)/3*9