Suppose 5*b - 8 = -j. Is 1 bigger than b?
False
Suppose 0 = -y, -3*u + y + 6 = -3*y. Suppose 3*x = 3*h - u*h + 8, -3*h - 20 = -5*x. Which is bigger: x or 4?
4
Suppose -5*y + 7 = v, -2*v + 6 = -4*y + 6*y. Let o(r) = -4*r - 15. Let w be o(-5). Suppose -b + 3 = 4*g, w*g + 1 = v*b - 5. Which is smaller: -0.2 or g?
-0.2
Suppose 2*k + 177 = 5*u, 2*k + 4*u = -3*k - 360. Let j be 3/12*16/k. Which is smaller: -1 or j?
-1
Let n = 15 + -16. Which is greater: n or 1/7?
1/7
Let p = 64.3 + -65. Are p and -1/3 non-equal?
True
Let n = -10 - -9.7. Which is smaller: n or -5/4?
-5/4
Let f = -17 + 15. Which is smaller: f or 3/8?
f
Suppose 100*l = 101*l - 30. Is l equal to -1?
False
Let c = -0.41 + 1.41. Does c = 1/59?
False
Let y be (9/12)/((-48)/(-64)). Let u = 19 + -8. Let o be (-1 + u/6)*2. Which is greater: o or y?
o
Let i be -1*21*2/3. Let h = -9 - i. Suppose 0 = -0*l + h*l + 15. Which is smaller: -2 or l?
l
Let n(t) = t**3 + 1. Let o(f) = 3*f**3 + 5*f**2 - 4*f + 7. Let v(i) = 2*n(i) - o(i). Let h be v(-6). Let k be (-2)/h - 6/(-168). Which is smaller: k or 1?
k
Let r = 99 + -98.9. Which is bigger: r or -6/19?
r
Let j be (-1 - 174/(-34)) + -4*1. Is j equal to 0?
False
Let p = 1.38 + -1.6. Let z = p - 0.78. Which is smaller: z or 14?
z
Let a = 494/29 + -17. Which is smaller: a or 1?
a
Let l be (-20 + 15)*(-4)/(-10). Is l at most as big as -6/7?
True
Let z(q) = -q**2 - 4*q - 2. Let s(w) = -w - 3. Let y be s(0). Let v be z(y). Which is greater: v or 0?
v
Suppose 3*c - 2*v = 2*v - 26, -5*c + v = 15. Let r be -2 + 1 - (-2)/c. Which is smaller: -3/2 or r?
r
Let z be (81*1)/(-1553 - -1). Let u = 1/97 - z. Let x = 5/16 - u. Does 1 = x?
False
Let i be 3 + 1 + -9 + 12. Is 8 bigger than i?
True
Let u = 0.077 - 0.127. Which is smaller: 1/5 or u?
u
Let s = -46 + 22. Which is smaller: -74/3 or s?
-74/3
Let u(y) = -3*y + 2. Let q be u(-2). Let n(b) = -b**3 + 8 + 7*b**2 + 0*b**2 + 7*b - 2*b**3 + 2*b**3. Let f be n(q). Which is bigger: 1 or f?
1
Let m be (1 + 2/(-4))*6. Which is greater: -1 or m?
m
Suppose -3*l = -0*l - 3. Let s be 66/(-70) + 0 + l. Let p = 97/140 + s. Which is smaller: 1 or p?
p
Let c = 4 - 7. Let x(h) = 5*h**3 - h**2 + 14. Let k(p) = 2*p**3 + 5. Let o(a) = -8*k(a) + 3*x(a). Let t be o(c). Is t smaller than 1?
False
Let i = 13 - 19. Suppose 2*t + 2 = 2*n - 6, -n = 5*t - 4. Suppose 1 = -4*l + 13, 0 = 5*u - n*l + 37. Is u at least as big as i?
True
Suppose x - 6*x = -180. Which is smaller: x or 37?
x
Let n(r) = r - 2. Let a be n(3). Is 4 less than a?
False
Let w(r) = -r**2 + 10*r - 11. Let d(l) = l**2 + 2*l + 4. Let n be d(-4). Suppose -2*u = 5*b - 3*b - n, 57 = 5*b - 4*u. Let p be w(b). Is p <= -2?
True
Let f = 1 - -2. Let q be 5 + 0*1/(-4). Let v(u) = -u + 7. Let w be v(q). Is w > f?
False
Let k be 154/4 + (7/14 - 1). Is 38 at least k?
True
Let i = 25.6 - 25. Is i at most as big as -0.03?
False
Let a = 1.18 - 6.28. Let b = -5 - a. Is -2/7 at most b?
True
Let q = 14.11 + -0.11. Let g = q + -14.6. Is g smaller than 1/2?
True
Suppose 3*j = -3*g - 0*g + 6, 0 = 5*g - 5*j + 20. Is -2/13 != g?
True
Let y = 1.25 - 3.25. Are y and 2 non-equal?
True
Let f = 1812 + -618. Let v = f + -6013/5. Let s = -9 - v. Which is smaller: 2 or s?
s
Let k(s) = -s + 2. Let o be k(0). Let b(y) = -1 - 2*y**o + 1 + y**3 + 0. Let i be b(1). Which is smaller: i or -2?
-2
Let j(y) = y**3 + 4*y**2 + 5*y + 3. Let f be j(-3). Let z = -8 - -4. Is f bigger than z?
True
Let x = -0.054 + -4.046. Let r = x - 0.9. Do r and 2/3 have different values?
True
Let q = -0.7 + 0.7. Let x = q - 0.2. Let s = -2.9 - -3. Do s and x have the same value?
False
Let z = 4442/9 - 495. Does 0 = z?
False
Let z = -15.1 + 15. Which is bigger: -0.2 or z?
z
Let k be (0/(2 + 0))/1. Let j(q) = q**2 - q + 9. Let c be j(k). Let f be ((-2)/3)/((-6)/c). Which is bigger: -3/7 or f?
f
Suppose -m + 4 = -2*m. Let x = m - -2. Let q be -2*(0 - x/4). Is -1 equal to q?
True
Let h(a) = -2*a**2 + a. Let j be h(0). Is 3/110 at most j?
False
Let a be 2 + 5/(10/176). Let m = a - 632/7. Suppose -3*k - n + 9 = 2*k, 0 = -5*k - 5*n + 25. Are m and k equal?
False
Suppose 0 = o + 3*z + 17, -3*o + 1 = -z + 2. Let d(a) = 2*a - 3. Let j be d(3). Let r be (-2)/(-2)*(2 - j). Are r and o non-equal?
True
Let v(g) be the third derivative of -g**6/120 + g**5/20 - g**4/8 + g**3/2 - g**2. Let s be v(2). Let q be s/5 - 5/75. Which is smaller: 0 or q?
0
Let i = -0.37 + -0.33. Is -3 greater than i?
False
Suppose -g - 15 = 2*q + 3*q, -3*g + 4*q + 31 = 0. Suppose -g*b = -2*b. Suppose -5*t + b*t - 15 = 0. Is t at most -1?
True
Let i = 3.2 - 3. Let d be 21/(-6) + -6 + 90/12. Which is bigger: d or i?
i
Let x(t) be the first derivative of 4 - 4/3*t**3 - 4*t + 1/2*t**2 + 1/4*t**4. Let z be x(4). Which is smaller: z or -1?
-1
Let m(w) = -2*w**2 + 1. Let d be m(1). Which is bigger: d or -4?
d
Let c be ((-2)/35)/(4/20). Which is greater: -1.1 or c?
c
Let y(h) = -h**3 - 2*h**2 + 4*h + 2. Let o be y(-3). Let l be (-4)/o + (-420)/98. Which is smaller: 0 or l?
l
Suppose -2*q - 3*p + 0 = 9, -p = 3*q + 3. Suppose f + 3*f = q. Let x be (f/(-2))/(-1 + 0). Is -1 at least x?
False
Let w be (-2)/6*(-3)/(-1). Do 2/17 and w have the same value?
False
Let w = 0.5 + -0.52. Let p = 0.08 - w. Is -2/5 <= p?
True
Let a be (-105)/28 + 3*1. Is a < -2?
False
Suppose a = -1, 0 = -5*m + 6*a - 3*a + 23. Suppose 0 = -3*b + 5*p + 4, 3*p = -2*b + 9. Which is greater: m or b?
m
Let m = -0.098 + -0.002. Is m not equal to 0.26?
True
Suppose 4*l - 6 = 2. Let a(b) be the first derivative of 2*b**3/3 + b**2/2 + b + 1. Let r be a(-1). Is l less than or equal to r?
True
Suppose 0 = -2*a - 0 + 8. Suppose 2*z = -3*m - 5, 3*z = a*m - 17 + 1. Let l be (-8)/2*m/30. Are 0 and l equal?
False
Let w = -79 - -44. Is -35 at most as big as w?
True
Let c(j) = j + 3. Suppose 0 = -4*g + 10*g - 18. Let n be c(g). Does n = 6?
True
Suppose 24 = -10*g + 6*g. Which is bigger: g or -44/7?
g
Let w = -16 + 50. Is w at least -0.1?
True
Let t be ((-2)/4)/(2/(-12)). Let u(g) = -5*g - 1. Let o(w) = -6*w - 2. Let h(j) = -2*o(j) + 3*u(j). Let r be h(-1). Which is smaller: r or t?
t
Let m = 25 + -35. Which is smaller: -9 or m?
m
Let p(v) = -v - 33. Let k be p(-34). Let h(a) = a**2 + 6*a. Let b(r) = -2*r**2 - 12*r. Let d(m) = 2*b(m) + 5*h(m). Let x be d(-6). Which is smaller: k or x?
x
Let u be ((-1)/(-2))/(1/134). Is u bigger than 68?
False
Suppose 26 - 22 = 2*x. Let y = 3 + 0. Is x > y?
False
Let b be 110/(-33) - (-2 + -2). Is 20 equal to b?
False
Let i(z) = -4*z - 10. Let h be i(-3). Suppose -3*n = -4*n - 6. Let j = n - -9. Are h and j unequal?
True
Let f be ((-249)/(-276) + -1)/((-6)/16). Which is smaller: 0 or f?
0
Let t = -0.1 + 0.2. Let j be ((-2)/(-18))/((-2)/4). Is j equal to t?
False
Let m(d) = -d**2 - 4*d + 3. Let i be m(-4). Let x(r) = -r + 6. Let s be x(i). Suppose -s*j = 2 - 5. Are j and 1 equal?
True
Suppose 2*a - 4 = -2*a. Which is greater: a or -3/22?
a
Let a = 4 - 4. Suppose 4*k - y - y - 6 = a, y + 2 = 3*k. Which is smaller: -2 or k?
-2
Let r(a) = a + 1. Let g be r(-2). Let y = 9 - 12. Let n be y + (-6)/21 - -3. Do n and g have the same value?
False
Suppose 7*b + 30 = 2*b. Let h be (26/13)/(4/b). Which is bigger: h or -2?
-2
Let d = -0.2 - -1.2. Let o = -24.4 + 22.4. Is d at least o?
True
Let g = -4 - 37. Is g less than or equal to -42?
False
Let w(q) = q + 16. Let l be w(-9). Suppose 6*x = x + 35. Is l at least as big as x?
True
Let l be 32/(-48) + 70/132. Let z(n) = n**3 + n**2 + n + 1. Let j be z(-1). Which is smaller: l or j?
l
Let p(w) = 2*w - 1. Let s be p(-3). Let q(r) = -r**2 - 7*r + 3. Let z be q(s). Which is smaller: z or 3/2?
3/2
Let r be -2 - ((-612)/130 - (-2)/5). Is r greater than 1?
True
Let c = -0.064 + -1.996. Let n = c + 0.06. Let m = -1/10 + -2/5. Which is greater: n or m?
m
Let x = -0.018 - -4.018. Which is smaller: x or 0.05?
0.05
Suppose -4*c - 3*l - 11 = 0, 9 = 2*c + 4*l + 27. Is 16/13 bigger than c?
True
Suppose -12*i = -11*i + 3. Is -1 less than i?
False
Let x = 9 + -12. Let t be (2/x)/((-6)/(-9)). Which is smaller: t or -5/7?
t
Let m = 37 - 37.02. Let b = 1 - 1. Does m = b?
False
Let g = 9 + -8. Which is smaller: -1/83 or g?
-1/83
Let a = 8 + -6. Suppose -3*w = a*w + 10. Is w equal to -5?
False
Suppose i + 6 = 4*i. Let j be -3*i/(-2)*1. Suppose j*n + 0*n + r = 14, n - 2 = r. Which is b