s big as -6?
True
Let u be 3/(-12) + 124/(-16). Is u >= -8?
True
Suppose -2*r = -3*r. Let a be 12/(-21) - (3 - 3). Is a bigger than r?
False
Let l be 1*((-3 - -1) + 3). Let m be (l/2)/((-2)/(-28)). Are m and 6 nonequal?
True
Suppose -15*s + 14*s = -6. Let r(m) = m**2 - 5*m - 6. Let a be r(s). Which is smaller: 1/9 or a?
a
Suppose -3 - 1 = -4*n. Let w = -22 - -20. Is n less than or equal to w?
False
Let p be 0 - 0 - 2/2. Suppose 2*s + 9 = -k, 5*s = -3*k + 16 - 40. Is p at most k?
False
Let x = 6.1 - 0.1. Let z = -0.081 - -6.181. Let g = z - x. Which is greater: -2/11 or g?
g
Let a be ((-51)/(-578))/(3/4). Which is smaller: a or -0.2?
-0.2
Let g be 0*3/(1 - 4). Let k = 0 + g. Suppose -2*t + 2 + k = 0. Which is smaller: -2/15 or t?
-2/15
Let f = 0.02 - 0.52. Let j = 0.3 + f. Let b = -0.2 + -0.8. Is j less than b?
False
Let w = -0.06 - 0.44. Suppose -15 = 3*i, -5*i + 6 - 29 = -y. Which is smaller: y or w?
y
Suppose 29 = -5*r + 2*y, -4*r + 4*y + 0*y = 28. Which is smaller: -9 or r?
-9
Let r be 75/135*(-12)/(-10). Which is smaller: 1 or r?
r
Let i = 239/5 + -48. Are 0.2 and i unequal?
True
Let i = 12 + -25. Which is smaller: -11 or i?
i
Let v(i) = 13*i + 17. Let j be v(-4). Is -35 at most as big as j?
True
Let c be ((-4)/(-6))/(2/15). Let x = -6 - -6. Suppose x = -0*g - 5*g + c*z + 10, 5*z - 14 = -g. Is g != 3?
True
Suppose 0*i = 5*i + 5. Let z = i - 3. Is -5 greater than z?
False
Let v be (12/(-9))/((-10)/3). Let n = 4.8 + -5. Let a = -0.8 + n. Is a less than or equal to v?
True
Let j(y) = -3*y**3 - 8*y**2 - y + 2. Let l be j(-3). Which is smaller: 13 or l?
13
Let v = 21 - 18. Let q(t) = -t**3 - 4*t**2 + 3. Suppose 0 = -5*w - 2 - 18. Let y be q(w). Do v and y have different values?
False
Let b = 38.21 + -38. Let x = b - 0.2. Let m = -0.11 + x. Is m > -0.1?
False
Let a be 0 - (2 + (-1)/1). Suppose 4*m + 20 = 5*g, 2*g + 3*m = -m + 8. Suppose 4 = -2*o + 3*q - 1, -5*o - g*q - 1 = 0. Is a at most as big as o?
True
Let v(l) = 2*l**2 + 31*l + 17. Let u be v(-15). Let d = 0 - -2. Let t = 5 - d. Which is smaller: u or t?
u
Let g be (-8)/44 - 193589312087/28886. Let c = 6701839 + g. Let n = 3/202 + c. Which is greater: n or 1?
1
Suppose 3*l - 2*v = 7, -3*v - 10 = 2*v. Suppose x = 2*x - l. Is x bigger than 4/5?
True
Let j = -4 - -6. Let b(y) = -y**3 + 10*y**2 + y + 4. Let o be b(9). Let z = o + -472/5. Which is smaller: j or z?
z
Suppose -t = h, 2*h - 4*t + 14 = -h. Let x = -4 + 3. Which is smaller: x or h?
h
Suppose 3*n - 12 = 0, -4 = -2*r - 4*n + 4. Let z be ((-5)/(-10))/((-2)/r). Which is smaller: 6/5 or z?
z
Suppose -4 - 5 = t + 4*y, t - 2*y = 9. Are t and 5 non-equal?
True
Suppose -7*p + 3 = -4*p, 2 = -u + 2*p. Let g(j) = j. Let c be g(0). Do u and c have the same value?
True
Let m = -3 - -14. Let g = m + -10. Let y = 0.8 + -1.1. Is g != y?
True
Let n(v) = v - 13. Let g be n(5). Is -6 bigger than g?
True
Let x(v) = v**3 - 3*v**2 - 2*v - 4. Let z be x(4). Let a be 42/z + 12/8. Suppose -2*r = 2*d + 2, -4*d + 3*r - a = 6. Which is smaller: d or -1?
d
Let g(p) = -p**2 - 5*p + 5. Let c be g(-5). Is c greater than or equal to 11/2?
False
Let y be -2 + -2 + 36/10. Do y and 4 have the same value?
False
Suppose -c = -2*c + 13. Suppose c = -x + 2*x + 5*p, x + 4*p - 10 = 0. Is -1 less than or equal to x?
False
Suppose -4*x + 11 = 3*r, x = -2*r + 4*r. Let b = 1 - r. Which is smaller: b or -0.1?
-0.1
Let w be 16/(-104) + 230/(-26). Which is smaller: w or -8?
w
Let f be -5*(0 + 2/(-2)). Suppose 173 = 31*m - 13. Which is greater: m or f?
m
Let z = -2/97 - 180/679. Let c = 1.88 - 0.95. Let n = 0.07 + c. Which is smaller: z or n?
z
Suppose 4*z = d - 11, 0*z + 3*d = -3*z + 3. Let g(f) = -f**3 - f**2 - 3*f - 3. Let b be g(z). Which is greater: 9 or b?
9
Let m = 10/17 - 33/85. Let x = 7.95 + -8. Are m and x unequal?
True
Let c = 1 - 3. Let v be (c - (-15)/6)*0. Does v = -2/3?
False
Let a = -35/12 + -55/12. Let v = a + 41/6. Let m = -60 + 59. Which is smaller: m or v?
m
Let d = 1 + -4. Let i be (-1)/((-16)/(-36))*2/3. Which is smaller: i or d?
d
Let l(t) = t - 6 + 3*t - 3*t. Let r be l(6). Which is bigger: -1/7 or r?
r
Let q = -2 + 2.6. Let u = q + 2.4. Let h = -3 + u. Is h bigger than 0?
False
Let p be (-12)/(-8) - (-39598)/(-28500). Let z = p - 2/375. Which is smaller: z or -1/4?
-1/4
Suppose 0 = -4*z + 27 - 7. Let m be (4/(-5))/((-1)/z). Suppose 2*w - 6*w = 4*h - 4, -3*w + 2*h = -8. Is m greater than or equal to w?
True
Let g = -35 + 172/5. Are g and -1 non-equal?
True
Let a be 1 - (-9)/((-1)/1). Let s be (a/(-6))/(2/3). Which is greater: s or 1?
s
Let u(z) = -z**3 - 4*z**2 - 2*z + 1. Let s be u(-2). Suppose -3 = -m - 7. Which is smaller: m or s?
m
Suppose 2*s + 5*t + 81 - 10 = 0, -4*t - 66 = 2*s. Is -23 >= s?
True
Let n be 46/10 + 6/15. Suppose 5*j = n - 20. Which is smaller: -4 or j?
-4
Let a(i) = -i**3 - 4*i**2 - i - 1. Let j be a(-4). Let s = 13 - 11. Which is smaller: j or s?
s
Let q = 1118/7 + -160. Suppose 0*c - c - 1 = 2*t, 2*t + 5 = -5*c. Which is smaller: q or c?
c
Let t = -3 - 1. Let v = -5 - t. Let q = 2 + v. Are q and 0 equal?
False
Let c be (-4)/5 - (-1)/(-5). Let g be 10/(-2)*(-1)/(-2). Let m = c - g. Is m > 2?
False
Suppose 17 + 7 = 4*n. Suppose -5*s + 2*p = -3*p + 10, -5*p = -4*s - n. Is s <= 2/3?
True
Suppose 5*p = -3*f - 94, 4*p - 9 + 69 = -2*f. Which is smaller: f or -36?
f
Suppose -4*m = -z, -z = z + 8. Let n = 2.96 + 0.04. Is n greater than or equal to m?
True
Let v = -11.1 + 11. Is v bigger than 2/55?
False
Let k = 2 + -3. Let a be (-2)/(-2) + -1 - 2. Which is bigger: a or k?
k
Let y = -0.1 + -0.3. Is 0 <= y?
False
Let a = 0.1 - -0.9. Let x = 2.2 - a. Let u = x - 1. Which is smaller: u or -1?
-1
Let x = -7 + 7. Do 0.08 and x have the same value?
False
Let v = 39 + -13. Let n = -25 + v. Is n less than -2/3?
False
Let u(z) = 9*z + 1. Let b be u(-1). Let r = 14 + -19. Let d = r - b. Is d > -0.1?
True
Suppose p - 255 = -5*c, -3*c = 2*p - 7*p - 153. Which is smaller: c or 49?
49
Let k(l) = -l - 20. Let z(x) = 1. Let w(q) = k(q) + 4*z(q). Let o be w(-10). Which is greater: -4 or o?
-4
Let b = 0.2 + -0.2. Let y = 2.1 + -2. Let m = -0.1 + y. Is b equal to m?
True
Let x = 5 - 9. Let o(h) = 1. Let i(t) = t**2 + 4*t. Let d(q) = i(q) + o(q). Let s be d(-2). Which is smaller: x or s?
x
Suppose -3*m = -5*m - 32. Which is greater: m or 2?
2
Let h(y) = y + 14. Let m be h(-12). Which is bigger: 3 or m?
3
Let q = -1.1 - -1. Let t = -0.1 - q. Let h = -6 + 8. Which is bigger: t or h?
h
Suppose -j + 0 = 2. Which is smaller: -0.2 or j?
j
Let n be (2 - -1) + (-6 - -2). Are n and -3/10 equal?
False
Let l = 10 - 7. Suppose -l*w - 12 = -5*w. Is w less than 4?
False
Suppose 2*j - 346 = 2*v, v + 873 = 5*j - 2*v. Let q = j - 1241/7. Is 1 >= q?
True
Let v = 56 - 89. Let p be (-20)/55 + (-6)/v. Which is greater: p or 0?
0
Suppose 2*c + 3*g = 3 + 5, -3*c + g - 10 = 0. Is -2 equal to c?
True
Let v be 4/2*(-1)/(-2). Let p be (3/(-9))/(4/(-6)). Which is smaller: p or v?
p
Let d(y) = 7*y + y**3 - 7*y + 3 + 3*y**2. Let w be d(-3). Let r be (3 - w) + 10/8. Are 2 and r equal?
False
Let s(k) = 2*k**2 + 2*k - 3. Let b be s(-3). Suppose -b = 3*p + 3*c, 0 = p + 3*c - 3 + 12. Which is greater: 1/4 or p?
1/4
Let r be (-2)/(-6)*(-495)/30*4. Is -1/2 at most r?
False
Suppose -14 = 2*h + 4. Is -10 at most h?
True
Suppose -5*g = 5*c - 10, -2*g + g = -3*c + 6. Let w be c/4 + 158/36. Let a = w - 221/36. Is a at most -1?
True
Let n be ((-3)/(-6))/(185/20). Is 1 at most as big as n?
False
Let w = 22 - 15. Is -0.1 less than or equal to w?
True
Suppose 3*g + 13 = 2*a - 0*g, -3*g = 2*a + 5. Is a less than -24?
False
Let o = 4.5 - -1.5. Let m = o + -5. Is 2 at most m?
False
Let j = 13 + -27. Let n = -40/3 - j. Let l be 39/18 + 2/(-12). Is n bigger than l?
False
Let t(y) = -y**3 + 7*y**2 - 7*y + 3. Let z be t(6). Suppose 4*b = -3*u, -u + 4*u + 15 = b. Are u and z equal?
False
Let u be (-422)/(-6) - 4/12. Let p be (3 + (-206)/u)*15. Are 2 and p non-equal?
True
Let c(h) = h**2 + h. Let s be c(0). Let l be s - (-3)/((-30)/(-4)). Which is bigger: l or -1/3?
l
Suppose -x - 9 = c + x, -2*c - 5*x - 22 = 0. Are 6/17 and c equal?
False
Suppose 3*j + 2 = j - 2*d, -5 = -j + d. Suppose -2*k = j*k + 16. Is k equal to -1/3?
False
Let g = -9 - -10.1. Let d = g - 1. Let l = d - 0. Are l and -2 non-equal?
True
Let x = 