et k be n(-5). Let s be k/3*(-36)/26. Do 1 and s have the same value?
False
Let j = 4865/32 - 152. Is 1 <= j?
False
Let r(f) = 2*f**2 + 2*f. Let u be r(-2). Suppose 6*t = 3*t, -u*a = t - 32. Are a and 8 unequal?
False
Let g(q) = -q**2 + q + 2. Let v be g(-3). Let l = 10 + v. Let b be (-10)/56*(-4)/(-1). Which is smaller: b or l?
b
Let j = -5 - -7. Suppose -4*l - j = 5*p, -2*l - p + 6 = 4. Suppose 4*x + 10 = l*o, -4*x + 5*x - 14 = -5*o. Which is smaller: 1 or o?
1
Let y = -0.0309 - -1.0309. Let h = -0.01 + -0.14. Which is bigger: y or h?
y
Let h(g) = g - 1. Let o be h(-6). Let v = o + 7. Is 1/4 equal to v?
False
Let m = 18 - 16. Let l = m - 2. Which is bigger: 1 or l?
1
Let c be (36/21)/(8/28). Is 7 > c?
True
Let f(r) = 4*r + 0*r**2 + r**2 - 4 + r**2. Let y be f(3). Let v be y/6 - (5 + -2). Which is smaller: 1 or v?
1
Let c be 2/(-11) - (-1896)/1716. Which is smaller: c or 2?
c
Suppose -12 = -2*n - 4. Suppose 3 = -g + n*g. Suppose -4*z = g - 9. Is 3 bigger than z?
True
Suppose 0 = 16*y - 13*y. Is -7 <= y?
True
Let z = -4 + 6. Let p = 5.7 - 6. Which is bigger: z or p?
z
Let w(c) = -c**3 + 4*c**2 + 1. Let h be w(2). Suppose -2*g = 3*g + 2*k - 54, -2 = -k. Which is smaller: h or g?
h
Let p = -4 - 2. Let i = -21 + 15.2. Let z = p - i. Which is smaller: z or 0?
z
Let z(b) = b**2 - 6*b + 8. Let p be z(4). Which is smaller: -2/99 or p?
-2/99
Let k = 59 - 23. Let b be (k/297)/((-1)/3). Is b greater than 0?
False
Let a(y) = -y + 7. Let p be a(9). Let s(w) = w**2 + 2. Let x be s(p). Suppose 3*m = x*m + 6. Which is greater: -3 or m?
m
Let x = -19 + 9. Do -10 and x have the same value?
True
Suppose 3*i = 8*i - c + 43, -2*c - 40 = 4*i. Is i < -10?
False
Let f = -11 - -12. Let b be f/(-6)*2 + 0. Let a(u) = u + 4. Let q be a(-4). Is b not equal to q?
True
Let a = -29 - -26. Is -2 >= a?
True
Let u = -148 - -103. Is u bigger than -44?
False
Let k = -127/120 - -9/8. Suppose 3*d = 3*v + 15, 2*d + 2*d - 5*v - 25 = 0. Is k < d?
False
Let z = -7 - -6.3. Let u = z - 0.3. Let q = 5 - 4.9. Which is smaller: u or q?
u
Let u = 17 + 9. Is 26 < u?
False
Let z = 40159/5 + -8067. Let t = z - -35. Is t <= 1?
True
Suppose r = 3*r. Suppose 0 = -7*p - 10 + 17. Is p at least r?
True
Let k = -3 - -3.1. Let w = 2 + 0. Let p = -1.9 + w. Is k less than p?
False
Let l = -1 - -1. Let a = 29.9 + -30. Which is bigger: l or a?
l
Let g(z) = z**2 - 10*z + 8. Let h be g(9). Let w be 0*(-1 - (h - -1)). Suppose 4*b - 19 - 1 = -4*y, -2 = 2*y - b. Which is smaller: w or y?
w
Let r be 0*((-11)/(-2) + -5). Let u be (-12)/(-74)*(-1)/(-3). Which is greater: u or r?
u
Let u be 1/2*78/65. Let d = -3 - -4. Which is smaller: u or d?
u
Let d = -14 + 15. Which is smaller: 4/95 or d?
4/95
Let q = 730/9 - 81. Suppose 25 = 3*m + 4*l + l, m - l + 5 = 0. Let o be m/1*4/(-8). Are o and q equal?
False
Let w be (-4)/14 - 6/(-21). Suppose 2*n + w = -6. Is n less than -4?
False
Let o = -2 - -3. Do o and -4 have different values?
True
Suppose -3*a - 32 + 35 = 0. Let s be 14/(-6) - (-2)/6. Let b be 2 + -1 + (-1 - s). Which is smaller: a or b?
a
Let r = 2.5 + 2.5. Is 0.3 at least as big as r?
False
Let x(l) = -l - 3. Let y be x(-2). Are y and -4/39 equal?
False
Let h = -0.3 - -0.1. Which is smaller: 4 or h?
h
Let s = 18.95 + -19. Is s at most as big as -2/5?
False
Let q(a) = a**2 + 3*a + 4. Let f be q(-4). Suppose -14 = 5*p - w, 3*w + 7 = -4*p + f*w. Which is smaller: p or -1?
p
Suppose 0*w - 21 = -3*w. Suppose w*p = 4*p - 3. Is p > -1/2?
False
Suppose 51 + 9 = -2*v. Is v equal to -30?
True
Let g(n) be the first derivative of -2 + 3*n**2 - 6*n**2 + 2*n**2 + 4*n. Let y be g(3). Is y at least as big as -1?
False
Let b be (5 - (-36)/(-8))*-1. Is 5 smaller than b?
False
Let h be (-4)/(-3)*(5 - 8). Let w = 1 + h. Do w and -4 have the same value?
False
Suppose 10*i = 9*i. Let x = 1 + -3. Let w be x/6 - 5/(-6). Are i and w unequal?
True
Let p = -2/17 + 31/119. Which is greater: 6 or p?
6
Let a = -58/5 - -764/65. Which is greater: a or 1?
1
Let k(f) = f**2 - 4*f + 3. Let p be k(1). Is p at least -3?
True
Suppose 8 = 5*v + 13. Is v < 3/7?
True
Let s = -4248/13 - -327. Let u be (-2)/4*(1 - 1). Which is smaller: u or s?
u
Suppose o + 5*y = -10, -3*y + y - 4 = -3*o. Let v be (-3)/9 - 22/6. Let h be 10/v*(-2)/20. Is h != o?
True
Let m be (-3)/(-4)*22/(-6). Let b = m + 29/12. Which is smaller: b or 3?
b
Let a be 16/5 + 6/(-30). Suppose a*g + 15 = 6*g. Let r(t) = t**2 - 4*t - 6. Let w be r(g). Which is smaller: w or -3/7?
w
Let t = 0.9 + -3.9. Let s = 4 + t. Do s and 1 have the same value?
True
Let d = 8 + -7. Suppose s + d - 2 = 0. Let n be 7/(-35) - (-1 + s). Which is bigger: n or 0?
0
Suppose -4*g + 0*g = -r + 56, -5*r = -5*g - 70. Which is greater: -15 or g?
g
Let l = 14/15 + -8/15. Suppose 5 = 4*w - 3*w, 0 = -3*k - w + 8. Which is smaller: l or k?
l
Suppose j + 5 = -4*j. Let w(f) = f**3 - 3*f**2 - 4*f - 3. Suppose 4*l = 3*z + 25, -4*z - 15 = z. Let h be w(l). Which is smaller: h or j?
h
Suppose 0 - 2 = 2*r. Let k = r - -3. Let x be k*(1 - 9/10). Which is smaller: 0 or x?
0
Suppose -4*y = -2*n + 8, 8 = 2*y - 3*y - n. Let m be (6 + -1)*y/5. Which is bigger: -5 or m?
m
Let i = -338 + 574. Let m be (-1 - (-6054)/(-26)) + -2. Let d = i + m. Is 0 at most d?
True
Let t = -7 + 2. Let g = 3 + t. Let b = 1 + g. Is b smaller than 0.2?
True
Let y = 5 + -5. Is -1/3 > y?
False
Let s = -1/4 + 1/2. Is 0.19 bigger than s?
False
Suppose -1 = m - 0. Is -1/5 at least as big as m?
True
Let p be (-6)/8 - (-30)/168. Is p at most as big as -2?
False
Suppose -9 = -5*g + 3*r, 2*g = 6*g + r - 14. Let j(a) = -a**3 - a + 5. Let k be j(0). Suppose k*n = -0*n + 15. Is g at most n?
True
Suppose -2*w + 0 - 2 = 0. Suppose 2*h - 15 = 5*h. Let f = h + 2. Is w equal to f?
False
Let f = -0.7 - -0.67. Let g = f + -7.97. Let o = g + 7.8. Are o and -2 non-equal?
True
Suppose -4*q - 4*p + 2*p = -62, -5*p = 4*q - 65. Let s = 15 - q. Is -3 at least s?
False
Suppose 4*r - 2 = 2. Suppose -3*k = r + 2. Is k smaller than -2/5?
True
Let t = -7 - -8. Is t at most 9?
True
Suppose 2*v + v - 2*c - 44 = 0, -5*c = -4*v + 61. Which is bigger: v or 88/7?
v
Let m be 2 - 8/10 - 1. Let c = -26 - -27. Is c greater than m?
True
Let d be 44/18 - (-4)/(2 - 4). Which is bigger: d or 0?
d
Let y = -0.8 + 1. Let m = 1.44 + -0.44. Which is smaller: y or m?
y
Suppose -5*c + 7 = -2*c + 4*b, -2*b + 8 = 0. Is c < -2?
True
Suppose 0 = 2*j - 4*j - 4. Let s(d) = -d**3 - 2*d**2 + 1. Let p be s(j). Is 2/5 equal to p?
False
Suppose -4*g + 24 = 4*c - 2*c, -g + 11 = 3*c. Suppose -g*u - 8 = -3. Which is greater: -2/23 or u?
-2/23
Suppose -3*l - 1 = 14. Suppose -r - 13 = 2*z + z, -5*z = 2*r + 20. Is l at most as big as z?
False
Let t(b) = b - 4. Let i be t(2). Let n be (-9)/(-2) + -3 + i. Is n at least 0?
False
Let j = -26.9 - -27. Is -67 < j?
True
Let q be (-12)/21 - 2710/(-4865). Is q equal to 0?
False
Let d = -271/5 - -54. Is 0.7 equal to d?
False
Suppose 0*p - 12 = -2*p. Suppose -9 = 3*t + 2*m, -2*m = 3*t - p*m - 9. Let v be (4/(-18))/(2/(-2)). Is t < v?
True
Suppose -51 = -5*c - i + 4*i, 2*i = 3*c - 31. Let s(n) = -n**3 - 13*n**2 - 14*n - 14. Let x be s(-12). Which is smaller: x or c?
c
Suppose -6 = 4*i + 6. Let s = -3 - i. Is 2 > s?
True
Let r = -38 - -113/3. Suppose -j - 6 = 2*j. Let z be -1 + 2 - (j + 3). Is r at least z?
False
Let k = -5/17 + -115/187. Which is bigger: -2 or k?
k
Let d = -53.1 - -53. Which is greater: d or -2/5?
d
Suppose -2*o = 5 + 41. Is 0.1 >= o?
True
Let d = 145858/85 + -1716. Which is greater: 0 or d?
0
Let p = -2.4 - -12.4. Let l = p + -9.94. Let n(t) = t + 10. Let q be n(-9). Is q != l?
True
Let h be -2 + (-11)/((-209)/36). Is h <= -4?
False
Let o = 0.317 + -0.417. Let p = 0.1 - 0.1. Is o equal to p?
False
Suppose 0 = 3*h - h. Suppose 3*o + o = h. Is o less than or equal to -2/3?
False
Suppose -7*s - 14 = 5*k - 3*s, 4*s - 6 = 5*k. Suppose -3*x - 4 = 5. Which is bigger: x or k?
k
Let a = 57 - 57.01. Let s = -7 - -4. Which is smaller: a or s?
s
Let g(u) = -2*u**2 - 5*u - 3. Let b be g(-2). Which is bigger: b or 3/91?
3/91
Let h = -0.12 - -0.32. Is -0.1 >= h?
False
Let p(d) = d**3 - 2*d**2 - 1. Let w be p(2). Suppose -2*g - 3*a - 3 = 0, a + 1 = -5*g - 0*a. Which is smaller: w or g?
w
Let z be (2/3)/((-2)/3). Let s(h) = -h**2 + 4*h - 1. Let y be s(5). Let f be (-10)/12*y/20. 