t v be 4/14 - 244/952. Let w = p - v. Which is greater: w or -3?
w
Suppose 2*c = -2*t - 0*c, -t - 4*c + 3 = 0. Is -4/37 greater than t?
True
Let p be (-1 - -1) + 1/(-2). Let i = 0.15 - 0.1. Let c = 0.95 + i. Is c < p?
False
Suppose -1 - 8 = -d. Let k be (-3)/d*(3 + -4). Which is smaller: k or 0?
0
Let f be 21/(-12) - (-3)/4. Let i = 211 - 1691/8. Is f < i?
True
Suppose 0*d = 11*d + d. Let p = 72 + -650/9. Which is bigger: p or d?
d
Let o = 6.7 - 7. Let n = -3.4 - -0.4. Is n at least o?
False
Suppose -b - 3*z = 16, -2*b - 2 = z + 5. Are 16 and b equal?
False
Let w = 0.16 + 1.84. Which is smaller: w or -1?
-1
Let j be 4/(-10) + (-14)/(-10). Let y be 8/(-3) + ((-12)/(-3) - 1). Which is smaller: y or j?
y
Let d(m) = m**3 - 5*m - 4*m**3 - 2 + 2*m**3 + 0*m**3 - 6*m**2. Let f be d(-5). Let y be (3/(-2))/(1/f). Which is greater: 4 or y?
4
Suppose 2*p + 2 = -2*z + 4, -z - 4*p - 5 = 0. Suppose 2*j - z*a - 9 = 0, 3*j + a = 4*a + 12. Do 3 and j have different values?
False
Let d = 0 - 0. Let u(j) be the third derivative of -j**6/120 + j**3/6 - j**2. Let q be u(d). Is q not equal to 1?
False
Suppose 0 = -5*w + 3*n + 3, 3*w - 2*n - 1 = 1. Is w at least 8?
False
Let t = 6 - 4. Let f be ((-6)/5)/(14/(-10)). Is t > f?
True
Let q = -10 - -8. Suppose 2*c - 5 = -17. Let p = -9 - c. Which is greater: p or q?
q
Suppose -4*f + 8 = 3*w, 0 = -5*f - 5*w + 4 + 1. Which is greater: f or -4?
f
Let p be (5 - 1 - -2)/(-2). Which is bigger: -22/5 or p?
p
Let v = 15 + -10. Is 11/3 at least as big as v?
False
Let f = -13 - -12. Let k be (1/(-9))/(f/(-2)). Which is bigger: k or 0.2?
0.2
Suppose -5*l + 52 = -5*j - 23, -2*l - j = -30. Let c(s) = -2*s + 8. Let d be c(7). Let i be (1/l)/((-2)/d). Which is bigger: -1 or i?
i
Let o = -2575/306 + 76/9. Which is greater: o or 1?
1
Let u(m) = m**3 + 10*m**2 + m + 4. Let a be u(-10). Let g(h) = h + 7. Let j be g(a). Is j at most -2/9?
False
Suppose 0 = -2*w + 6*w + 4. Let f be 37*(-3)/(-108) - 0. Let p = -16/9 + f. Which is bigger: w or p?
p
Suppose 2*u - 3*u + 5 = -3*o, 2*o = u - 5. Suppose -g = -o*s + 4*s + 3, 1 = -4*g - 5*s. Let z = -17/42 + 1/14. Are z and g equal?
False
Suppose -4*x + 5*x = 2. Suppose 0 = -2*f - 2*q - 4, 0 = 5*f + x*q + q + 8. Are 1/15 and f nonequal?
True
Let r be 1 + -3 + 126/64. Which is bigger: 0 or r?
0
Let f = -2 - -1.9. Which is bigger: f or 6?
6
Suppose 0 = -w + 3*y + 4, 0 = -w - 4*y - 0 - 10. Which is smaller: w or -8/5?
w
Let b(a) = 3*a**3 - a. Let k(q) = -q - 6. Let z = -2 + -3. Let v be k(z). Let i be b(v). Which is greater: i or -1/2?
-1/2
Suppose 0 = -g - 0*x - 4*x + 1, -5*x = 5*g - 5. Let b be (8/(-6))/(4/(-6)). Let j be 0 - b/15*-3. Which is bigger: j or g?
g
Let q = 26134 + -339583/13. Let w = -12 + q. Which is smaller: w or 1?
w
Let p = 31 + -18. Is 13 greater than p?
False
Suppose 5*u + 2 = -3. Let s(p) = 4*p - 1. Let v be s(u). Which is smaller: -3 or v?
v
Let f be 10/(-16) + (-9)/24 + 16. Is -0.3 not equal to f?
True
Let x = 30.076 - 0.076. Let a = x + -27. Is -0.2 bigger than a?
False
Let m be ((6/8)/1)/1. Suppose 2*y - 1 = 5. Suppose 2*t + 4*k + 12 = 0, -4*t - y*k = -1 + 10. Which is bigger: m or t?
m
Let c(g) = g**3 - 8*g**2 + 6. Let z be c(8). Suppose p + 3 = 4. Suppose -z = -2*d + 4*i, -d - p = -6*d - 4*i. Which is bigger: d or 2?
2
Let v = 0 - 0. Suppose v = c + 4*c. Which is smaller: -1 or c?
-1
Let c(v) = v**2 - 2*v - 1. Let y be c(-1). Suppose -5*g + 2*o + y = 0, 4*g + 5*o - 28 = -0*g. Let l be (-4)/2*(-1)/g. Which is smaller: -1/3 or l?
-1/3
Let r(o) = -11*o**3 - 5*o**2 - 9*o - 5. Let m be r(-7). Let n = -957461/267 + m. Let q = n - -523/2937. Which is greater: q or -1?
q
Let t be (81/(-28))/((-45)/(-120)). Is -8 > t?
False
Suppose -5*d + 6 = -d - 2*c, 4*d - 4*c = 12. Suppose d*t - x - 2 = -3*t, 29 = -4*t - 5*x. Which is smaller: 1/28 or t?
t
Let d(q) = q + 13. Let g be d(-6). Suppose -3*c = -g*c. Let b = 0 - c. Which is smaller: 2/5 or b?
b
Let w(f) = f**2 + f + 6. Let n be w(0). Are 1 and n non-equal?
True
Suppose -i + 14 = 4*o, -3*o + 0 = -5*i + 1. Let s = -3 - i. Let l be (s - -3) + 2 + 0. Which is greater: l or 1?
1
Suppose 0 = -6*a + a + 25. Let p be (2 - 4)/(3 - a). Is p at most as big as 4?
True
Let f be (-2)/(-3) - (-869)/(-1303). Let s = f + 723169/15636. Let z = -46 + s. Is -2/3 > z?
False
Let p be (-2)/4 - 6/36. Is p smaller than 2?
True
Let b(s) be the first derivative of s**4/4 - s**3 - 5*s**2/2 + 4*s - 1. Let w be b(4). Let a = -97 - -682/7. Which is bigger: w or a?
a
Let m be -1*(3 + -1) - 0. Suppose -2*o + 2 = 4. Is m not equal to o?
True
Suppose 2*p - p - 17 = 3*z, -p + 21 = -4*z. Suppose -4 + p = j. Let x = j - 1. Which is smaller: x or -1/7?
-1/7
Let h be (4 - 4)/(-3) - 39. Let f be (-3 - -2) + h/(-38). Which is smaller: f or 0?
0
Let w = -44 - -57. Is 55/4 not equal to w?
True
Let f be 1/1 - (-10)/(-15). Let l = 13.8 + -1.8. Is l bigger than f?
True
Let x(d) = -2*d + 4. Let y be x(2). Is y greater than or equal to -2/25?
True
Suppose -4*a = 16, -3*a + a = -3*n + 8. Suppose 0*g - 2*t = g - 3, 0 = -g - 4*t + 5. Which is bigger: n or g?
g
Suppose -5*p - 12 = 2*h, 3*p + 4 = -2*h - 0*p. Suppose -4*y = -4 - h. Suppose 2*v = 3*m - y - 0, 3*v + 3 = -5*m. Which is greater: 0.1 or v?
0.1
Let s be (1*4)/((-1)/(-3)). Let m be (-2)/s*-3*-1. Which is bigger: -1 or m?
m
Let p be 1*(2 + -7) - -2. Suppose 0 = -0*c + 2*c + 12. Let w be ((27/c)/3)/p. Which is greater: 1 or w?
1
Suppose 4*k + 2*q = -1 - 1, -q = -2*k - 7. Suppose -n = -4*s + 19, 4*s + 5*n - 3*n = 22. Suppose 0 = -2*m - 3*m - a - 10, s*a = -m - 2. Is k less than m?
False
Let m = -0.58 - -0.38. Suppose 0 = -h - 4*h + 5. Let q = 1/2 - h. Is m greater than q?
True
Let g = 4 - 2. Suppose 3 - 5 = -g*t. Let h = 1 - 1. Which is smaller: h or t?
h
Let q = 18 + -12. Suppose -2*x - 3*w - w + 12 = 0, -4*x + 2*w = q. Is x at most as big as 0?
True
Let f = 1049/15 - 70. Which is smaller: f or -2?
-2
Let y(i) = 17*i - 85. Let g be y(5). Which is smaller: g or 1/97?
g
Let y = -5.3 + 0.3. Let n = y - -5.1. Is -0.1 not equal to n?
True
Let j = -9 + 16.5. Let d = 1.5 - j. Let o = -6 + 5. Does o = d?
False
Let n be ((8/6)/(-2))/(-2). Suppose 2 + 22 = 4*f. Let k be (-6)/(-4)*f/(-9). Is n at most k?
False
Let g = -5 + 3. Let k = g + 1.94. Let a = -0.06 - k. Are a and 0 equal?
True
Suppose 2*f + 0*f - 8 = 0. Suppose -4*v = z + v - f, 3*v + 1 = -4*z. Are 1/3 and z equal?
False
Let y = 0.2 + -4.2. Let l = -0.014 - -3.914. Let u = y + l. Is u greater than 0?
False
Let q = 1/642 - -466/9951. Is 1 less than q?
False
Let j be 6*((-7)/(-4) - 2). Let z = 7 - 6. Which is smaller: z or j?
j
Suppose -37 = -4*b + 5*y, -3*b + 4 = -2*y + 3*y. Suppose u + 1 = -l, 4*u - 5 = -b*l + 2*l. Let m be u*(-1)/10 + 0. Which is smaller: m or 1?
m
Suppose -4*g + 205 + 1 = -2*x, -2*g = 3*x - 99. Do 51 and g have the same value?
True
Let w = 27 + -18. Which is bigger: w or 1?
w
Let h = 0 - -5. Suppose -h*n - 12 = -n. Let x(t) = -t**3 - 5*t**2 - 3*t + 3. Let f be x(-4). Is n at most as big as f?
True
Suppose -1 = -5*w - 6. Which is bigger: 3 or w?
3
Let u(x) = x. Let o be u(8). Suppose -3*y = y + o. Let b be ((-3)/2)/((-1)/(-2)). Is b < y?
True
Suppose 3*h + 3*d - 33 = 0, 3*h + 0*h - 4*d - 33 = 0. Which is smaller: h or 12?
h
Suppose 0 = p - 0*p. Let i be 1/2 + (-3)/(-2). Suppose y - 2 = -i*a + 3*a, -2*a - y + 2 = 0. Is a at least p?
True
Let x = 26 - 21. Is x < 0?
False
Suppose -4*c - 2*t - 6 = 0, 0*c - c - 3*t = 4. Let v be 1/c + (-10)/(-14). Is v less than 5?
True
Let h(o) = o**3 + o**2 + 8*o + 7. Let f be h(-1). Let m = 0 + -2. Let s = 3 + m. Are s and f nonequal?
True
Let z(k) = 3*k - 76. Let g be z(23). Which is smaller: -31/4 or g?
-31/4
Let n be ((-3)/2)/((-3)/(-42)). Let f = n - -24. Are f and 0 unequal?
True
Let m = -11 + 12. Which is bigger: m or 1/3?
m
Let w = 0.02 + -0.08. Let u = 0.04 - w. Are u and 5 unequal?
True
Suppose 0 = -8*o + 11*o - 6. Suppose -5*f - 2*u = -24, 3*f = 2*f - 4*u - 6. Suppose 4 = -o*i + f. Is 1 < i?
False
Suppose 1 = -2*a - 3. Let u be (a/(-3))/(7/3). Which is smaller: 1 or u?
u
Let s(i) = -3*i**2 - 4*i + 7. Let v be s(2). Is v less than or equal to -13?
True
Let c be ((12/(-68))/3)/1. Which is smaller: c or 0?
c
Let g be (-3)/6*-5*(-4)/(-1545). Which is bigger: g or 1?
1
Suppose 11 = 7*i - 10. Which is smaller: 10/3 or i?
i
Suppo