(v) = 5*v**2 - 3*v + 4. Let z(t) = -7*c(t) + 6*r(t). Let j be z(-10). Suppose -15 = -f + j*f. Is -2 >= f?
True
Let t be -3*(10/3)/((-4)/(-14)). Is -33 < t?
False
Let i(a) = a**2 - a - 2. Suppose 9*t - 2 = 8*t. Let h be i(t). Which is smaller: h or 7?
h
Let t(h) = h**2 - 30*h + 53. Let s be t(28). Let c = -1 - -1.1. Which is smaller: c or s?
s
Let o(b) = b + 4. Let c be o(0). Let r be ((-9)/c)/(1/4). Let s be 2/(-10)*30/r. Are s and 1 non-equal?
True
Let u = 5 + -5. Suppose 3*x - 3*q - 3 = -8*q, u = 4*q. Let m be 12/16*x/(-3). Which is greater: -3 or m?
m
Let j be (-3)/(-2)*16/6. Let d = -4 + j. Let s = 934/13 - 72. Which is bigger: s or d?
d
Let w be (-6)/(0 - (2 - 0)). Let t be (-1)/(-1 - 1/w). Which is greater: 2 or t?
2
Suppose 7*s + 243 = -2*s. Which is bigger: -29 or s?
s
Let n = -27 - -27.04. Is n greater than or equal to -0.3?
True
Suppose -n = -2*z, 5*n + 3*z - z = 0. Is n < 0.09?
True
Let u be 20*18*(-7)/(-14). Let b be (-12)/78 - u/(-663). Is 2 smaller than b?
False
Let l(u) = 3*u - 34. Let m be l(18). Is m less than 22?
True
Let k = 142 - 130. Does 23/2 = k?
False
Suppose 2*k + 2*l + 6 = 0, -5*k + l = -7 - 2. Suppose 1 = 2*x + 31. Let g be (-2 - x/6)*0. Which is smaller: k or g?
g
Let a = -2 - -3. Let b = a + -1.1. Which is smaller: b or -0.5?
-0.5
Suppose 0 = -z - 3*j + 6 - 22, 43 = -4*z - 5*j. Let o = -4 - z. Suppose 2*c = o*c. Is c > -2/3?
True
Suppose -2*i - 2*i + 76 = 0. Let k = -18 + i. Let d be (6/(-28))/(6/8). Is k at least as big as d?
True
Let f = -41/700 + -3/140. Let z = 5 + -1. Suppose -i = -z*i. Are f and i unequal?
True
Suppose 7*f = 2*f. Let i be ((-12)/16)/((-6)/76). Let q = -9 + i. Is q less than or equal to f?
False
Let s = -0.19 + 0.54. Which is greater: -0.1 or s?
s
Let b(j) = -5*j + 2. Let s be b(-2). Suppose -2*q + 2 = -q. Let n be (s/3)/(1 - q). Which is smaller: n or -3?
n
Let r be (-85)/(-10)*-6 - 1. Is -52 greater than or equal to r?
True
Let d = -0.1 - 0. Is d bigger than 3/5?
False
Let j(o) = o**2 - o + 3. Let w be j(0). Suppose -4*r + 7*r - w = 0. Let i = -1 + 2. Is r < i?
False
Let v = -7 + 5. Let p = v - -2.2. Is p <= 2/3?
True
Suppose -5*v - 6 = 3*y + 21, -y + 5*v + 11 = 0. Let a be (-2)/(2*(y + 3)). Which is greater: a or 2/15?
a
Let x be 254/(-114) + 3 - 1. Let k = x - 2/19. Is k <= -1?
False
Let a = 25.05 + -25. Is a < 0.1?
True
Let x = -27.5 + 24.5. Let o = 5 + -3. Suppose -3*i - 2*i - 15 = p, -o*i - 6 = -2*p. Which is smaller: p or x?
x
Let w = -6 - -9. Suppose -q + 5*p - 14 = 0, -5*p = -w*q - 0*q - 2. Are 6 and q non-equal?
False
Let g(f) = -f**2 + f + 4. Let j be g(0). Which is smaller: j or 2?
2
Let f(s) = -s - 3. Let x be f(-2). Which is greater: x or -2?
x
Suppose 0 + 2 = m. Suppose m*z - 3*f = -f, -2*z = 4*f. Which is smaller: 1/19 or z?
z
Suppose -8 = -3*l + 4*a, 0 = -0*l + 4*l + 5*a + 41. Let k = -3 - l. Is 3/7 < k?
True
Let c = -77 + 233/3. Let m(x) = x**3 + 7*x**2 + 7*x + 7. Let k be m(-6). Which is bigger: c or k?
k
Let z = 4793/900 + -281/50. Let y = z + 2/45. Is -1/2 >= y?
False
Let z = 16 - 13. Suppose 4*g - 13 = -d, -d = -4*g - 0*d + 19. Suppose -2*v + g*v = 4. Which is smaller: z or v?
v
Let a be 2/(-2)*(0 + -1). Let s be ((-21)/(-14))/((-2)/(-4)). Is s at least as big as a?
True
Let h = 17.7 + -5.7. Which is greater: h or -4?
h
Let l = -0.1 + -0.2. Let x = l + 0.3. Let n = -0.1 + x. Which is bigger: -1/4 or n?
n
Let y = -11 - -19. Let v = -7 + y. Which is greater: v or 0.3?
v
Let d(j) be the first derivative of -j**4/4 - j**3/3 - j**2/2 - 3. Let f be d(-1). Are f and -1 nonequal?
True
Let a = 9 + -14. Suppose -j - 13 = -7. Is a >= j?
True
Let v(a) = a**3 + 6*a**2 + a + 7. Let c be v(-6). Let m be (-2)/(0 - 3/1). Which is smaller: c or m?
m
Let t be 5/6*21/(-14). Which is greater: t or -0.02?
-0.02
Let a(w) = 7*w**2 + 3. Let z be a(3). Suppose 15 = -3*f - 2*f, 0 = 3*m - 3*f - z. Is 19 smaller than m?
False
Let s = 6.33 + -6.7. Let p = 0.03 - s. Let l = -0.6 - p. Which is bigger: 6 or l?
6
Let i = 0.58 + 0.42. Which is smaller: i or -4?
-4
Let b = -221/7 + 33. Which is smaller: -1 or b?
-1
Let c(q) = -q**2 - 10*q - 10. Let z be c(-8). Let j be (z/16)/(1/4). Are -0.1 and j nonequal?
True
Let x = 0.9 + -0.2. Let i = x - 0.8. Are -4 and i non-equal?
True
Let f be (-7)/6*2/14. Let b = -2/3 - f. Are b and 0 unequal?
True
Let x = -53 - -52.9. Which is greater: -2.5 or x?
x
Let a = 34 + -9. Let s be (-2)/8 - a/(-68). Suppose -3*v + 4 = v. Which is smaller: v or s?
s
Let m be 6/10 - (-624)/10. Let j = -317/5 + m. Let f = -3 + 2. Does f = j?
False
Let c be (-162)/(-78) + (-2 - 0). Is c at least -1?
True
Let c = -2555168/176895 + 2/19655. Is c greater than or equal to -13?
False
Let r be ((-4)/(-20))/(3/6). Is r equal to -0.21?
False
Let q be (-612)/(-1022) - 4/7. Do q and -1 have the same value?
False
Let w = 9 - 7. Let b = -1 - 0. Is b less than w?
True
Let f = -18.92 - 0.08. Is f equal to -0.1?
False
Let g = -5 - -30. Let v = -18 + g. Is 7 at most as big as v?
True
Let i = -0.86 - -0.7. Let b = i + -0.94. Let r = b - -0.1. Is r bigger than 0?
False
Let q be (2 + -3)/((-1)/(-1)). Let j be (9/(-135))/((-1)/(-3)). Is j at least q?
True
Let c be (-2)/3 + 77/120. Let u = c - -89/360. Let i = 4/63 + u. Which is greater: 1 or i?
1
Let x be (-5 - -1) + 1 - -15. Suppose 5*m - 4*m = -4*p + x, 0 = -5*m + 5*p - 65. Let b be (0 + (-4)/2)/m. Which is greater: 0.1 or b?
b
Let c = 167/5 - 301/9. Suppose -3*b + 7 = 2*j, b - 3*j + 13 = 3*b. Is b >= c?
False
Let s = 0 - 1. Let k = -0.4 + 0.5. Let t = -0.2 + k. Which is bigger: t or s?
t
Let l(v) = -v**2 + 6. Let r be l(-3). Let p = 0.04 - 2.04. Let n = p - -1.9. Is n less than or equal to r?
False
Let b be (-1)/(-2) + 1651/10. Suppose 3*m - a = -496, 154 = -2*m - 5*a - 171. Let y = b + m. Which is bigger: y or 0?
y
Let b = 73 - 60. Is 16 equal to b?
False
Let w = 18 - 11. Suppose -w + 2 = -5*o. Suppose -3*l + 5*l = 0. Which is smaller: o or l?
l
Suppose -5*x = -p + 3 + 2, 20 = 4*p - 5*x. Let g = p - 8. Is -2 bigger than g?
True
Let p be 2 + -4 - -6 - 4. Which is smaller: p or 4/3?
p
Let q = -3 - -6. Let n be -5 + q - (2 + -4). Which is smaller: -2/5 or n?
-2/5
Let n = 81 + -82. Is n at most as big as -5?
False
Let h be ((-12)/(-9))/((-16)/24). Is h > -7?
True
Let l be (2/20)/(6/105). Let a be (1/2)/((-1)/4). Which is bigger: a or l?
l
Let n = -2 - -1. Let i be (1 - (-1 - n)) + 1. Let j be 312/169 + 4/26. Is i at least j?
True
Let f = -0.7 + 0.3. Let m = 5 + -4.9. Which is bigger: f or m?
m
Let h(u) = 3*u + 13. Suppose 7*j - 6*j = -8. Let a be h(j). Is a at least -11?
True
Let f(g) = -g**3 + 9*g**2 - 7*g - 10. Let h be f(8). Do -8/5 and h have different values?
True
Suppose -4*l - 48 = 8. Do l and -14 have the same value?
True
Let a = -2.2 + 0.1. Let m = 2.1 + a. Which is greater: 0.2 or m?
0.2
Let x = 81 + -50. Which is bigger: 29 or x?
x
Let l = 37 + -33.8. Let j = l + -3. Is 2/13 at least as big as j?
False
Let a = 4 + -1. Suppose a*x = 2*x - 1. Is -2 at least x?
False
Suppose 2*a + 2*a - 96 = 0. Let r = -13 + a. Suppose 0 = -4*s + 4*p + 3 + 5, -4*s + 3*p + r = 0. Is 5 > s?
False
Let i = 0 + 1. Let g = i - 0. Let w be (1 + -1 + 1)/g. Are w and 1 nonequal?
False
Suppose -46 = 5*v - 4*v. Is -45 equal to v?
False
Let f(q) = q. Let g be f(-2). Let w(d) = -2*d**3 - d**2. Let r be w(g). Let x be 0 - (r/9 + -1). Is x > 0?
False
Let d = 21 - 22.25. Let q = d + 1.1. Which is bigger: q or 0?
0
Let a = -2 + 5. Suppose a*o = -o. Is -6/11 smaller than o?
True
Suppose 0 = -5*z + 91 + 119. Is 42 >= z?
True
Let p be 6/4*(4 + (-8368)/2094). Which is bigger: -1 or p?
p
Let b = 1 + -4. Let x be (-4 - -2)*b/2. Are x and 1 unequal?
True
Let v = -16.5 + 9.1. Let q = -0.4 - v. Let m = 6.9 - q. Which is smaller: m or 0.3?
m
Let x = -51 - -355/7. Suppose -10*p + 15*p = 5. Is x != p?
True
Let m = 15 + -11. Suppose 0 = -2*g - m + 2. Is -1.1 at most as big as g?
True
Suppose 0 = 5*x + 16 + 19. Is -7 smaller than x?
False
Let d be 0 + (-270)/(-51) - 5. Is 0 greater than or equal to d?
False
Let f = -5 + 4. Let k = f + 0. Is k < 2/7?
True
Let d = 0.14 + -0.1. Let u = 3 - 3. Which is greater: d or u?
d
Let q = 689/126 + -1343/18. Let w = 69 + q. Is 0 less than w?
False
Suppose -5*f = 5 - 15. Suppose f*p = p. Which is greater: 2 or p?
2
Let k(y) = -14*y - 23. Let m be k(-4). Which