
y
Suppose 0 = 3*m - 3*i + 9, -3*m + 2*m - 15 = -5*i. Suppose m = r + 1 + 7. Let p be r/12*(-6)/14. Which is bigger: p or 1/3?
1/3
Let t(a) be the first derivative of a**3/3 - a**2 - a + 1. Let w be t(-1). Let x = w + -1. Which is smaller: -2/15 or x?
-2/15
Let u = 8 - 8. Suppose -3 = -t - u. Suppose 22 = -k + 5*a - 2, 3*k = -t*a + 18. Are k and -1/7 non-equal?
True
Let r(w) = -w - 9. Let y be r(-13). Suppose -10 = -3*h - y. Which is smaller: h or 4?
h
Let y(k) = -5*k**2 + 3*k - 2. Let c be y(2). Is -16 > c?
False
Let j(h) = -h**2 - 2*h + 4. Let o be (21/3 - -1)*1. Let m = o - 11. Let c be j(m). Which is smaller: c or -2/9?
-2/9
Suppose -g - 5 = 1. Let k = -5 - g. Let h be (-6)/21 - 2/(-14). Which is smaller: h or k?
h
Let l(f) = -f**2 + 9*f - 1. Let a(v) = -v - 1. Let x(g) = -3*a(g) - l(g). Let d be x(5). Which is smaller: d or -3?
-3
Let t be 1/((-27)/15 - -2). Suppose 4*b - 5*x - 97 = 0, 0*x - t*x = 3*b - 29. Is b >= 17?
True
Let p = 1 + -2. Let i = -3 - p. Suppose -5*x - 30 = 5*b + 5, 3 = -5*b + 3*x. Is b greater than or equal to i?
False
Suppose -6 + 1 = p. Is -4 < p?
False
Let u(f) = -f**3 - 4*f**2 + 9*f + 2. Let m be u(-6). Let v be (6/m)/((-132)/16). Is 1 at least v?
True
Let n = -0.3 + 0.1. Let v = 0.1 - -0.2. Is n smaller than v?
True
Let n be 0*(-1)/1 + 6. Suppose -2*k - 24 = -n*k. Suppose 0 = 3*q + 3, 4*h + q - k = -3. Which is bigger: 3/5 or h?
h
Let t = 153 - 152. Let y be (10/(-6))/(1/3). Let i be ((-2)/(-4))/(y/4). Is t at most i?
False
Let b(r) = r**2 + r - 92. Let x be b(0). Are -91 and x equal?
False
Suppose 0 = -t + 4*d + 10, 2 = d - 2*d. Suppose -2 = t*n - 0. Are -1/2 and n non-equal?
True
Let q = 75/7 - 1193/112. Is -1 at least as big as q?
False
Let q = -12.2 - -1.2. Let j = q - -9.2. Let i = -0.8 - j. Which is bigger: -1 or i?
i
Let b = 3 + 10. Is b not equal to 2?
True
Suppose -5*j - k = -18, 3*k - k = -4*j + 18. Suppose 4*r - 4 = -4*p, -57 = -5*r + 4*p - 7. Suppose -3*y + 0 + r = 0. Which is smaller: j or y?
y
Suppose -3*h = -7*h + 4*p + 12, -4*h = -p - 6. Let m be ((-1)/(-3))/(3 - (-63)/(-27)). Is m <= h?
True
Let j be (3 - -2) + 1*-1. Suppose -4 = -x, -o + j*x = -0*x + 13. Suppose 5*m - 4 = -o*r - 30, -4*r + 2*m = 0. Which is smaller: r or -3/2?
r
Let q = 6148 - 8849. Let i = q + 10881/4. Let u = i + -19. Is u at most 0?
False
Let p = 9 - 6. Suppose -p*m - 4 = -7*m. Let x be (-2)/8*16/14. Which is smaller: m or x?
x
Let r(d) = -d**3 - 6*d**2 - 2*d - 3. Let s be r(-5). Is -18 bigger than s?
False
Suppose 3*h = 2*l - 7*l + 30, -l - 2*h = -13. Suppose -5*u = 5 - 25. Let s be (-6)/u*24/(-9). Which is bigger: l or s?
s
Suppose -4*m = 4, 0 = -0*b - 3*b + 5*m + 2. Let w be (-3)/3 + b + -5. Which is smaller: -8 or w?
-8
Let u(d) = 3*d + 3. Let v be u(-3). Suppose -5*p - 16 = -p. Let o = v - p. Which is smaller: o or -3?
-3
Let u = 83367/143 - 583. Which is greater: 0 or u?
0
Let a(w) = w**2 + w - 2. Let c be a(0). Let m be (1/2)/(c + 1). Is m < 6?
True
Suppose -5*g + 15 + 10 = 0. Suppose -g = 5*l - 3*l - 3*s, -5*l + 5*s - 10 = 0. Let u = 3/4 - 5/12. Are u and l equal?
False
Let f = 62 + -33. Suppose -p = a, -2*p + 8 = -5*a + f. Let r = 0.2 + -0.2. Which is smaller: p or r?
p
Let v = 4081/9 + -453. Let c(l) = l**3 + 9*l**2 + 1. Let n(t) = -10*t**2 + 1. Let r be n(-1). Let o be c(r). Is o greater than or equal to v?
True
Suppose -136 = -v + 25. Let l = v - 2413/15. Which is greater: l or 1?
1
Let y(m) = -m**2 + 4*m - 2. Let s be y(5). Let r(i) = i**2 + 6*i - 7. Let u be r(s). Is -1 equal to u?
False
Let l = -7.2 + 7. Let z = -4.8 + l. Which is bigger: z or 2?
2
Let o be (366/4590)/(3/(-18)). Let f = -4/51 - o. Which is smaller: 1 or f?
f
Let l = 0.8 + -0.8. Let m = -0.3 - l. Do -0.3 and m have the same value?
True
Suppose -2*x + 5*t + 33 = 0, 2*x + 3 = -3*t + 28. Suppose 2 = -4*l + x. Suppose -l*n = -6*n - 6. Which is greater: 1/3 or n?
1/3
Let o(m) = -m**3 - 20*m**2 - 21*m - 24. Let p be o(-19). Which is smaller: 16 or p?
p
Let w = -17 + 22. Is w <= 0?
False
Let w = 5 - 3. Suppose h - 3 = w*h. Which is smaller: h or 2?
h
Let o = 9 + 1. Suppose -5*i + 2*m = -2, -3*i + 2*m - m + 1 = 0. Suppose 0 = 5*n - 0*n - 2*w - 18, i = n - 2*w - o. Which is smaller: n or 1?
1
Let u be (4/(-6)*3)/(-1). Suppose 4 = u*w + 2*g, 2*w = -3*g - 0 + 6. Let v be 2/(-9)*(2 + 1). Which is smaller: w or v?
v
Suppose 0*s + 3*s - 12 = 0. Suppose -s*a + 0 = -4. Are a and 2/5 equal?
False
Let z be (4/(-246))/(6/(-9)). Suppose -3*w - o = -3*o + 5, 4*w = 2*o - 4. Which is greater: w or z?
w
Suppose 1 = 3*z - 2. Suppose -c + 3*c + 2 = 0. Let k = c + z. Is k <= 1/4?
True
Let a = -0.28 - 32.62. Let d = 35 + a. Let c = d + -0.1. Is 2 != c?
False
Let j be (-36)/(-15) - 3/(-5). Suppose -j = 4*s - 7*s. Does 0 = s?
False
Let p = -10 + 21/2. Let u be 0*(-2 + -1 - -2). Is u >= p?
False
Let a = -15 - -14. Which is bigger: a or 2?
2
Suppose 5 = 5*g - 10. Suppose 4*o - 2*n - g = -11, -5*n - 22 = 4*o. Which is greater: -2 or o?
-2
Let i = 0.6 + -0.67. Let x = 0.17 + i. Which is bigger: -0.1 or x?
x
Let v = 0.3 - -0.7. Let y = 5 + v. Is y at most as big as 0?
False
Let c = -117 + 117. Let f be (6/(-10))/((-3)/2). Is c at least f?
False
Let b(x) = -x**2 + 10*x + 11. Let q be b(11). Let w(k) = -k**3 + k**2 - 2. Let l be w(q). Is -2 bigger than l?
False
Let m = 54 + -54. Which is smaller: -4/13 or m?
-4/13
Let c(j) be the third derivative of -j**5/60 - j**4/3 - j**3/6 + j**2. Let m be c(-7). Is 6 > m?
False
Let f(l) = l**2 - 3*l + 2. Let o be f(4). Let p be (o/(-162))/((-10)/(-12)). Which is bigger: p or 1?
1
Let c be ((-10)/(-3) + 1)*57. Let n = 348021/1375 + -786/125. Let m = n - c. Which is greater: m or -1?
m
Suppose -8*c = -4*c + 5*q + 4, 2 = -2*c + q. Suppose -5*g + 0*p + 5*p - 5 = 0, 0 = 4*g + 3*p - 3. Are c and g equal?
False
Let m be (-1)/(-2) - 30/20. Let f = 1.5 + -1.4. Do f and m have the same value?
False
Let s be 57/38*(-4)/6. Is s equal to -1/11?
False
Let p(q) be the second derivative of -q**4/12 - q**3 + 2*q**2 + 2*q. Let g be p(-6). Suppose t = g*t. Is t less than 2?
True
Suppose 5 - 41 = -6*r. Let s be r/10 - (-26)/(-10). Which is smaller: s or -4?
-4
Let c = 0.2 + -0.1. Suppose 5*k - 6*k - 3*y - 16 = 0, 5*k + 15 = -2*y. Is c at least k?
True
Let w = 2 - 2. Let z be (-2)/(-55)*(-10)/2. Is w smaller than z?
False
Suppose 4*x = -2*x - 84. Which is smaller: -10 or x?
x
Let o be -2 - (72/21)/(-2). Let t(q) = -q**3 + 8*q**2 + 2*q - 12. Let c be t(8). Suppose -j = -c*u + 2*j + 13, -10 = -u + 3*j. Which is bigger: u or o?
u
Let u be 38/12 - 3/6. Let g = -15 - -20. Suppose g*v - 23 = -8. Which is smaller: u or v?
u
Let t = -5 - -3. Let j = 470/3 - 158. Which is smaller: t or j?
t
Suppose k - o = -k - 13, -3*k = 3*o + 15. Let d = 1 + 0. Suppose d = -3*u - 17. Is u at most k?
True
Let j = -1 - 2. Let g(y) = y**3 + 5*y**2 - 7*y - 5. Let u be g(-6). Let b be (-2 + (-1 - 0))*u. Are b and j non-equal?
False
Let b(z) = 2*z. Let n(m) = -2*m. Let l(r) = 3*b(r) + 4*n(r). Let i be l(1). Let t be 1*1*(-5 - i). Are -2 and t non-equal?
True
Let o(x) = x**2 - 7*x + 6. Let r be o(6). Suppose r*f = -f. Let d be -2 + (0 - 8/(-6)). Which is bigger: d or f?
f
Suppose p + 5*d - 25 = 0, 5*p - d - 25 = -6*d. Let i = 0 + p. Suppose 0 = 5*u - u + 4. Which is greater: i or u?
i
Suppose -6 = 5*k + 2*q, k + 3*q + 0 - 4 = 0. Let z be ((-5)/15)/(k/(-6)). Is -6 > z?
False
Let a = 0.3 - -0.7. Let b = a + -1. Let g = -1.9 + 2.9. Which is greater: b or g?
g
Let j be (2 + (-33)/18)/(-3). Suppose 2*o = -10, 5*l - 14 = 6*l + 3*o. Which is smaller: l or j?
j
Let f be -1 + (-2)/(-8) + (-115)/(-100). Is f at least -2?
True
Let a = -0.12 - -1.12. Which is bigger: a or 10?
10
Let w be (60/(-15))/((-4)/(-2) - 4). Which is smaller: w or -34?
-34
Let x be ((-10)/10)/(2/10). Which is smaller: x or -6?
-6
Let u be 16/(-4)*14/(-4). Suppose 5*z - u = 3*s + 19, -2*z + 4*s = -16. Let g(v) = -v + 4. Let w be g(z). Are -3 and w unequal?
True
Let l = -119 + 121. Which is greater: l or 35?
35
Let t be (24/(-20))/(2/(-115)). Let o be 4/(-6)*(-3)/t. Let h = o + 128/345. Which is smaller: 3/8 or h?
3/8
Let f = 0.11 + -0.01. Let j = -0.025 - 0.275. Which is smaller: j or f?
j
Let z be 2/(-3) + (-52)/(-51). Is -1 equal to z?
False
Let x be (-47)/7 + (-2 - -3). Which is smaller: x or -6?
-6
Suppose -2 = -3*c + 4. Let b 