 g be t(-2). Let b(m) = -8*m + 1. Let c be b(g). Is 9 > c?
False
Let v(m) = -m - 6. Suppose 3*h + 14 = -4. Let p be v(h). Is -1/4 smaller than p?
True
Suppose -3*d + 10 - 40 = 0. Let a = d + 7. Suppose 3*x + 20 = -2*v - x, 5*x + 11 = v. Which is smaller: v or a?
v
Let d(l) be the first derivative of -l**2/2 + 4*l - 3. Let y be d(4). Suppose h = 6*h - 5. Which is smaller: y or h?
y
Let b be (-4)/(-6)*(-1)/(-1). Let q(c) = c**3 - 7*c**2 + 7*c - 3. Let s be q(6). Suppose s*g = -0*g. Which is smaller: g or b?
g
Let y = 7 - 2. Let m = y - 9. Which is smaller: -0.2 or m?
m
Let f(r) = -6 + 2*r - 4*r + r**2 + 2*r. Let d be f(0). Which is smaller: -7 or d?
-7
Let i = 11 - 8. Let r = 3.3 - i. Which is bigger: -1 or r?
r
Let f = -8.3 + 8. Let r = f + 0.9. Which is greater: r or 2/5?
r
Let i be (5 - 0/3) + -1. Let q be (i/(-14))/((-12)/56). Is 0 != q?
True
Let y(q) = -19*q + 27. Let s be y(-3). Is 2/7 smaller than s?
True
Let f(j) = j**3 - 4*j**2 - 5*j. Let c be f(5). Let z be ((-24)/(-306))/((-4)/(-6)). Do c and z have the same value?
False
Let f be -2 - ((-170)/2484 + -2). Let x = f + 1/54. Is 0 not equal to x?
True
Suppose -b - 6 = -3*c, -2*c - b - 2 = -c. Let u = 0.65 - 0.8. Let t = u - -0.05. Which is bigger: t or c?
c
Let g be (-1)/((-7)/16) - (4 - 2). Let y be 0 - -2 - 1 - 1. Which is smaller: g or y?
y
Let a = -1.69 - 0.31. Let c = 2.2 - 0.2. Is c equal to a?
False
Let u = 0.73 - -0.3. Is u != 0.1?
True
Suppose -3*b - h = -12, -5*b + h = -2 - 18. Suppose -b*r = r - 10. Suppose -5*j + 15 = 0, y + y - 4*j + r = 0. Is 3 smaller than y?
True
Suppose 4*d + 2 + 10 = 0. Let s be (-3 - d/1)*-1. Is -2/9 > s?
False
Suppose -24 = -7*k + k. Suppose -k*g + 0*g = -4. Is 1/9 >= g?
False
Let g = 71.4 + -71. Is g greater than 0?
True
Let u = 3.7 - 2.6. Let f = -0.1 + u. Let g = 2.9 - 3. Is f > g?
True
Let z = 28 - 19. Let t = z + -6. Let n = -7.4 - -7.3. Which is bigger: n or t?
t
Let p(m) = -m + 12. Let d be p(0). Suppose -2*a = -6*a + d. Is a less than 1?
False
Let j be 22*(1 + 2 + -2). Let w = j + -13. Let a be (6/(-9))/(12/w). Which is greater: a or -1?
a
Suppose d = -3*d. Suppose d = k - 3*k - 2. Do k and 0.1 have different values?
True
Let y = -4 - -7. Let d = y + -2.9. Let k be 33/(-105) - (-6)/10. Which is smaller: k or d?
d
Let l be 1/7 + 9/(-21). Are l and -3 nonequal?
True
Suppose 2 + 0 = -2*x. Let i = -1 - x. Let s = -1 - 1. Which is greater: s or i?
i
Let k be (2/(8/1))/(-1). Which is bigger: k or -1?
k
Let v(j) = -3*j**2 + j + 2. Let h be v(2). Let y be (h/(-30))/(6/30). Is y < 1?
False
Let x(l) = -l**3 - l**2 + 4. Let o = 4 - 4. Let p be x(o). Do p and 3 have the same value?
False
Suppose 2*t + 2*r + 6 = 0, 2*r - 2 = t - 8. Let y = -13 - -8. Let k = 5 + y. Is t at least as big as k?
True
Let o be (-14)/6 - (-2)/6. Let q be o/(-12)*3/2. Let k(m) = m**3 + 10*m**2 + 16*m + 1. Let y be k(-2). Is q at most as big as y?
True
Let o be (-4 - -1)/(20 + 3). Let s(z) = 3*z + 78. Let w be s(-26). Which is smaller: o or w?
o
Let p = -12/19 - -291/551. Is p at least as big as -1?
True
Let g = 174.04 - 174. Which is greater: g or -1/2?
g
Let y be -10 + -4 + 3 + -2. Let s = -14 - y. Let g be (1/1 + 0)*1. Which is smaller: s or g?
s
Let w = 1 - 3. Let s = 0.6 - -1.4. Let j = 2 + s. Which is smaller: w or j?
w
Let s = 5 - 13. Let g be 2*(1 + s/7). Let a(w) = -2*w - 1. Let r be a(-1). Which is greater: r or g?
r
Let k = 0.56 - -26.44. Let j = k + -25. Let o = -3.2 - -3. Is o at least as big as j?
False
Let x be ((-21)/(-15))/(4 + -5). Is 0.1 at most x?
False
Let k = -20 - -33. Let h = k - 13.1. Which is bigger: h or 3/4?
3/4
Let v = -1137437/19 + 59690. Let z = v - -175. Let g be (-6)/9*6/4. Which is smaller: z or g?
g
Let a = -34 - -33.9. Let n be 2/(-6)*(-6)/4. Is n less than or equal to a?
False
Let l = 268/7 + -38. Which is bigger: 1 or l?
1
Let f = -2/339 + 7801/678. Which is bigger: 12 or f?
12
Let j(w) = -2*w - 6. Let x be j(-6). Let f = -3 + x. Which is greater: 0 or f?
f
Let y(o) = -7*o**2 - 4*o. Let i be y(2). Which is smaller: i or -35?
i
Suppose 0*n + 4*n = r, 2*r = -n. Let c be (-8 - -9) + (-6)/(-2). Suppose 4*o + c*a = 24, r = -3*o - 0*a + a + 18. Is 6 <= o?
True
Let a = 13 - 22. Let w = a - -11. Is w < 2?
False
Suppose 2*y + 2*n = -4, 0*n = -n. Which is bigger: y or 1/5?
1/5
Let i = -20 - -19.1. Which is smaller: 2 or i?
i
Let h = -23 + 38. Which is bigger: 14 or h?
h
Suppose v - 108 = -2*b - v, 4*v = -3*b + 157. Suppose -b + 19 = 5*o. Which is greater: o or -7?
-7
Let j = 10 - 9.2. Is j > 1?
False
Let y(u) = 2*u + 12. Let a be y(-6). Is -6/13 greater than or equal to a?
False
Let o = -6.99 + 7. Let j = -0.09 - o. Is 0.5 bigger than j?
True
Let q = -1 - -2. Which is greater: 0.04 or q?
q
Suppose 0 = -i - 1, f - 14 = -f - 2*i. Suppose a - f = -3*a - 5*d, 2*d + 2 = a. Is a bigger than 10/7?
True
Let a be (7/((-14)/12))/(-2). Suppose 0*j = -j - a. Is j > -2?
False
Let h = -0.1 - -0.1. Let t = -0.05 + h. Let i = t - -2.05. Is -2/7 at least i?
False
Suppose q - 3*q + 2 = 0. Let m(r) = r. Let i(z) = -z. Let g(n) = 6*i(n) + m(n). Let s be g(q). Do -5 and s have the same value?
True
Let x = 12253/13 - 943. Is x greater than -1?
True
Suppose 0 = -5*k + 5*t + 50, -118 = -5*k - 5*t - 38. Is 16 > k?
True
Let y(a) = a**2 - 3*a - 9. Let b be y(6). Which is smaller: 10 or b?
b
Suppose 3 - 13 = 5*y. Suppose -2 = -4*r - 14. Let x = r + 2. Is y at least x?
False
Let q be -1 + 0 + (7 - 6). Suppose -4*a - k = -2*k - 27, 2*a - 5*k - 27 = q. Let o be (-3 + a)*1 + -3. Which is smaller: o or -2/5?
-2/5
Let w be 2/((-2)/3) - -6. Let v = w - 0. Let r = v + -2. Is r less than or equal to 1/2?
False
Let w(c) = -c**3 - 14*c**2 + 16*c + 14. Let k be w(-15). Let j be 4/(-22) - 16/396. Are k and j unequal?
True
Suppose -6*g + 3*g + 3 = 0. Which is greater: -1/3 or g?
g
Suppose 0 = -4*q - 0*q - 16. Let n be (-9)/3*q/9. Is 1 equal to n?
False
Suppose 4*o - 12 = 5*j, -3*o + 2*j - 3 = -5. Do 3 and o have the same value?
False
Suppose 5*a + 5*z - 18 - 17 = 0, 0 = 5*a + 4*z - 32. Let w be (a + (-116)/26)*1. Which is greater: w or 0?
0
Let x(o) = o**3 + 7*o**2 + 11*o + 6. Let d be x(-5). Which is greater: 4/7 or d?
d
Let q = 60 + -59. Suppose n = -0 + 1. Is n bigger than q?
False
Suppose -3*c = k - 13, 0*k - 50 = -5*c + 4*k. Let b be (1/(-2))/(1/c). Let g be b/(-6)*(-2)/(-2). Is 0 at least as big as g?
False
Let n = 0 + -2. Let a(p) = p**2 + p + 1. Let i be a(n). Let q(m) = -m**3 + 9*m**2 + 9*m + 14. Let z be q(10). Are z and i nonequal?
True
Let m(x) = -x**3 - 6*x**2 + 7*x. Let h be m(-7). Suppose q = -c + 1, -9 = -q - 3*c + 2. Let k be q/((-40)/6) + h. Is -1/2 at most k?
True
Suppose -f - 13 = -6. Which is smaller: -8 or f?
-8
Let p = -14 + 20. Suppose p = -x + 2*x. Is 6 at least x?
True
Suppose 4*h - 6 - 9 = g, -5*h = -4*g - 5. Let f = -10 - -12. Which is greater: h or f?
h
Let r be ((-2)/(-4))/(2/1). Let b = -2 - -4. Suppose -2*i + 2 = 4*t, 0*t - b*t - 4*i + 10 = 0. Is t less than r?
True
Let a be (-3 + 1)/(0 - -1). Let d be a + (1 - -2) + 1. Suppose 2*b + 6 = 5*b. Is b smaller than d?
False
Let n be ((-8)/70)/((-6)/15). Is 2/19 greater than or equal to n?
False
Let h = -1.4 - -2.1. Suppose 17*w = 10*w. Which is smaller: h or w?
w
Let d be (-6)/9 + (-38)/(-66). Let r = 19 - 20. Is d at least as big as r?
True
Suppose -2*l - u - 2 = -4*u, 3*u = -l - 1. Let q = -9211/13 - -709. Is q greater than l?
True
Let h = 17 + -16. Let m = 17/15 + -4/3. Which is greater: h or m?
h
Let t(u) = u**3 + 3*u**2 + 3*u + 3. Let m be (2/1 - 1)*-2. Let n be t(m). Let h be -2 - (-2 + (-1 - n)). Are h and 2 nonequal?
False
Let x = 1.3 + -1.5. Does 0.4 = x?
False
Suppose 3*o - 8*o = -q + 122, 110 = -5*o - 5*q. Let z be 4/6*(-9)/o. Let w = -20 - -21. Which is bigger: w or z?
w
Let i(z) = -z**3 - 14*z**2 + 14*z - 10. Let s be i(-15). Is 5 > s?
False
Let h be (-2*1/(-1))/(1/8). Which is smaller: -0.1 or h?
-0.1
Let w be (-1)/2 + 200/32. Let v = w + -6. Let l = 0 - 0. Do l and v have different values?
True
Suppose 3*k - 51 + 15 = 0. Is 51/4 bigger than k?
True
Let w = -7.05 - -7. Let x = w - -2.05. Does x = 1?
False
Let m = -0.34 - -0.74. Is -1/3 at most as big as m?
True
Let y(s) = s + 1. Let j be y(1). Which is bigger: j or -21?
j
Let o = -7 + 5. Suppose u - 5*w - 43 = 0, -2*w + 51 = 2*u - 5*w. Let x = 15 - u.