s c at least 1?
False
Let n be -2*(((-48)/14)/3 + 1). Is n at most as big as 26?
True
Let r = -8 - -10. Is 5 equal to r?
False
Let t be ((-1)/(-11))/(9/(-12)). Let j = t + 49/132. Which is smaller: j or 0?
0
Let u = 43 + -43.1. Suppose -4*p + 3 = -1. Do p and u have the same value?
False
Suppose 5*y - t + 24 = 0, -2*y + 0*t = -5*t + 28. Which is greater: -5 or y?
y
Let s be 11/5 + 12/(-6). Let l be (-2 - -1)*(-1 + 0). Which is smaller: l or s?
s
Let d = 43/3 + -15. Let g be 3 - (-46)/(-11) - -1. Let a = g + 17/33. Is a at most as big as d?
False
Let p(q) = -2*q**2 - 8*q - 5. Let d be p(-5). Let x = d + 24. Which is greater: 8 or x?
x
Let s(b) = -b**3 - 2*b**2 - b + 4. Let y be s(-5). Let j = -254/3 + y. Suppose -o + 0 + 2 = 0. Which is smaller: j or o?
j
Let r = 9.269 + -0.329. Let i = 0.06 + r. Let v = i - 7. Which is smaller: v or 3?
v
Let l be (20/(-6))/((-88)/4542). Let p = 172 - l. Which is smaller: -1 or p?
-1
Suppose -3*p = p. Suppose p = 5*x - 0*x + 50. Which is bigger: -11 or x?
x
Let l = -17 - -31. Which is smaller: l or 15?
l
Let z = -0.1 + 3.1. Suppose 0*c - 4*c = -8. Which is bigger: c or z?
z
Suppose 0 = -s - i + 1 - 3, -s = -4*i - 13. Is s at most as big as -1/85?
False
Suppose 0 = -2*m + 3*m + 3. Are -4 and m nonequal?
True
Let d = 56 + -443/8. Is d greater than 1?
False
Suppose -4*m + 5*c + 43 = -7*m, 3*c - 3 = 3*m. Let y be (m/(-16))/(6/4). Suppose 16*q = 15*q + 1. Do q and y have the same value?
False
Let f = 1.007 - 0.007. Is f bigger than 3?
False
Let s be 4*(1/(-1))/(-4). Which is bigger: -1/11 or s?
s
Suppose 0 = -4*r + 3*r - b + 2, 0 = 4*b - 8. Which is greater: r or -2/57?
r
Let d be 3 - (15/3 + -2). Let l = -3.2 - -2.7. Which is smaller: l or d?
l
Let r = -0.3 + 0.4. Let d = 17.9 + -19. Let l = r + d. Which is smaller: l or 1?
l
Let y(b) = 8*b + 38. Let l be y(-5). Is l less than -13/18?
True
Let q(x) = 6*x + 1. Let a(n) = -13*n - 2. Let i(p) = -3*a(p) - 7*q(p). Let h be i(-4). Is h < 9?
False
Let d be 27 + 0 - (8 - 2). Which is bigger: 10 or d?
d
Let s be -9 + 10 - (1 - (-1 - 0)). Is s < -2/261?
True
Let r = -0.2 - -7.2. Let j = r + -7. Is j smaller than -2/19?
False
Let g = 26 + -21. Suppose -4*j = -j + 4*w + 15, g*j - 10 = 5*w. Let r = -86/1095 - 4/73. Which is bigger: j or r?
r
Suppose -c + 4*m = 2*m + 4, 5*m = c + 10. Is c at most as big as 7?
True
Let q(k) = -2*k**3 + 15*k**2 + 6*k + 18. Let t be q(8). Which is greater: 13/7 or t?
t
Suppose 0 = -4*w + 3*x + x + 16, -4*w = 5*x + 20. Suppose -10 = -4*h - 2*j, -3*h + 0*j = -j + 5. Is h less than w?
False
Let w be (-2)/4*(-462)/(-63). Suppose u + 5 = -2*v - 0*u, -2*u + 17 = -5*v. Let h = w - v. Is -1 <= h?
True
Suppose -3*d = -6*d. Is 1/33 less than or equal to d?
False
Let a = 191 - 191. Let x = 127794/7 + -18198. Let v = -58 + x. Which is bigger: v or a?
v
Suppose -5*m + 4 - 9 = -2*k, 39 = 3*k + 3*m. Suppose -g = -2*r + 2, 3*r + 0*g = 3*g - 3. Suppose -5*h + k = -r*b + 2*b, 0 = h + 4*b + 19. Is 1 less than h?
False
Suppose q - 8 = -3*q. Suppose -3 = -q*o - 3*f - 0, -4*o - 5*f = -1. Is o >= -7?
True
Let y be (6/5)/(6/20). Suppose 0*s = y*s. Suppose n + n + 4 = s. Is n at least as big as -0.1?
False
Let i = -16/15 + 7/5. Let t = 2 - 12. Let g = t + 11. Which is smaller: g or i?
i
Suppose 4*l + 2*n - 42 = 22, -5*n + 10 = 0. Let x be (-111)/l - (-6)/15. Let b = x + 7. Is b >= 0?
True
Let a = 7 + -9. Which is smaller: -5/8 or a?
a
Let g = 27747/854 - -4/427. Let i = g + -589/18. Is i at most as big as 0.2?
True
Let g = -6 + 3. Let y be -1 - -1 - (-6 - -2). Suppose -y*w - r = 4, 0*w - 3*r = -3*w - 18. Is w bigger than g?
True
Suppose -5 = -2*d - 1. Let y be 177/(-6) - (-3)/(-3). Let b = -30 - y. Which is bigger: d or b?
d
Let v be ((-6)/9)/(8/(-6)). Suppose 0*t = -4*t + 8. Is v at least as big as t?
False
Let q = -71/10 - -15/2. Which is smaller: -1 or q?
-1
Let d = 32/7 + -107/28. Let f(a) = a**3 - 2*a - 1. Let r be f(-1). Suppose 3*y + r*y = 0. Which is smaller: y or d?
y
Let m = -32 + 26. Is -6 smaller than m?
False
Let t = -12407/423 + -1/423. Suppose -4*j = -5*j - 30. Let f = j - t. Which is bigger: f or 0.05?
0.05
Let n be 5/20 - 4/16. Is -1/3 equal to n?
False
Let g = 1/4 + 0. Suppose 4*u + 2*o = 3 + 3, -o + 4 = u. Which is smaller: g or u?
u
Let j = -8 + 7. Is j smaller than -1?
False
Let y(r) = -3*r - 1. Let w be y(-3). Let x be 2/w - 6/(-8). Is 1 bigger than x?
False
Let i(v) = v**3 - 17*v**2 - v + 16. Let r be i(17). Is r less than -72?
False
Let c = -0.09 - -0.09. Let i = c - -1. Do 1 and i have the same value?
True
Let d = 207/539 - 1/49. Let o be 0 + (-27)/21 + 1. Which is smaller: o or d?
o
Suppose 3*p = -2*p + 285. Let a be 4/14 + p/21. Is 3 at least as big as a?
True
Suppose 3*f = 7*f - 4*k - 8, -5*k = 3*f - 46. Let x = -24 - -10. Let t be x/(-49) - (-80)/14. Which is smaller: t or f?
t
Let t be 2/6 + 32/12. Suppose n = -t*n. Let z = -2 + 3. Which is bigger: n or z?
z
Let p = 1 - -5. Let q be (9/p)/(2/4). Suppose -6 = 3*o - q*r, -5*o = 2*r + 3 - 0. Is o smaller than -3?
False
Let x = 0.01 - -0.16. Is -1 != x?
True
Let p = 7 - -5. Let r = p + -13. Is 11 at least r?
True
Let m = -1 - -6. Let l = m - 4. Let o be (l/4)/(-1 - -2). Which is smaller: 1 or o?
o
Let g be 8/5 + 8/20. Let v be (-30)/(-16)*(-4)/(-6). Which is bigger: v or g?
g
Let b = 183 + -75. Is b bigger than 0?
True
Let f be (4/(-33))/((-133)/(-201)). Let q = f - -6/77. Which is bigger: -1 or q?
q
Suppose -f = -7 - 3. Which is smaller: 9 or f?
9
Let i = 22.2 + -22. Is i >= -1?
True
Let d = 1852/2125 - 6/125. Which is greater: 1 or d?
1
Let h(l) be the second derivative of l**3/3 - l**2 - l. Let b be h(-4). Let s be (32/(-40))/(4/b). Which is smaller: s or 0.2?
0.2
Suppose 0 = -5*s - 3*t + 72, 8 = t + 4. Suppose -p - 3*p + 5*n + 6 = 0, -s = -5*p + 4*n. Let u = 7 + -4. Are p and u unequal?
True
Let q be 52/(-171) + (-4)/18. Are q and -1 nonequal?
True
Suppose 5*r = 7 - 2. Suppose a + a = -8. Let l be r + a + 4/2. Is l at most -4/3?
False
Let w(k) = -k**2 - 3*k + 2. Let v be w(-5). Is v equal to -8?
True
Let b be (1 + -2)*(-20)/(-5). Is b greater than or equal to -23/5?
True
Let j = 10 - 15. Which is bigger: 1 or j?
1
Let s(d) = 64*d + 1. Let x be s(1). Suppose 2*m = -x - 295. Let q be m/(-46) + -3 - 1. Are q and 1/2 non-equal?
True
Let v be ((-5)/13)/((-5)/(-10)). Which is smaller: 0 or v?
v
Suppose 0 = 17*g - 13*g - 16. Suppose g*d + 5 = -3*s, d - 6*d = 4*s + 7. Let i be (0/1 - -2)/1. Is d less than i?
True
Let j = -1.991 + -0.009. Let t(i) = -10*i. Let x be t(4). Let a = x + 119/3. Which is bigger: j or a?
a
Let c = 0.69 + -0.7. Let a = 0.01 + c. Is a less than 1?
True
Let z = -54 + 24. Let q = z - -59/2. Let g be (1 - 0)*4/(-2). Which is bigger: g or q?
q
Suppose -3*f - 41 - 10 = 0. Are f and 2/9 equal?
False
Let a be ((-20)/(-14) + -2)/(10 + -12). Is a equal to 1?
False
Suppose 5*w - 44 = -4*a, -3*a + 1 = -2. Is 8 > w?
False
Let n = 91.9 - 92. Which is bigger: n or -13?
n
Suppose n = 148 - 38. Let y be 35/n - 1/2. Let f(h) = -h**3 - 3*h**2 - 4*h - 3. Let p be f(-2). Which is greater: p or y?
p
Let s(a) = 10*a + 74. Let u be s(-7). Is -8 >= u?
False
Let a be 1/(-1)*2 - (-372)/183. Which is smaller: -1 or a?
-1
Suppose 0 = 4*y - 18 + 6. Are -2 and y nonequal?
True
Let g(l) = 3*l**2 + 2*l - 1. Let c be g(1). Let v(p) = -p - 4. Let f be v(-3). Let n be (c/6)/f*3. Are n and 2 nonequal?
True
Let y = -2.2 + 2. Suppose 0 = v - 3, 0 = -5*r - 4*v + 1 + 1. Is y greater than r?
True
Let a(v) = v**3 - 9*v**2 + 9*v - 7. Let p be a(8). Is 1/29 >= p?
False
Let l be (-1)/(-1 - 3/(-4)). Let j = 2 - l. Is j at least as big as -4?
True
Let m = 5 + -3. Let l(n) = -11*n + 14*n - 2*n**2 - 3 + n**2. Let f be l(m). Is f bigger than -2?
True
Let v = -14 + 26. Let y = 7 - v. Let k(s) = -s**2 - s. Let w be k(-3). Is y < w?
False
Let v = 1.29 + -3.85. Let d = v - 0.24. Let f = d - -3. Is 0.2 > f?
False
Let w(d) = -14*d**3 + d**2. Let b be w(-1). Let u = b + -11. Suppose -20 = -4*q, 2*o + u*q - 14 - 2 = 0. Which is smaller: o or 0?
o
Let o(f) = f**3 + 13*f**2 + 13*f - 4. Let p be o(-11). Let h be (-6)/(-2) - p/35. Which is smaller: h or 0?
0
Let u be 2468/6120 - 4/10. Which is bigger: 0 or u?
u
Let w = 0.23 + -0.13. Is w less than 5?
True
Let x = -9 - -13. Let t(s) = -4*s**3 - 2*s - 1. Let v be t(-1). Which is bigger