 -2/45 unequal?
True
Let r = -9 - -12. Suppose 5*j + 3 = -2, 2*g = r*j + 39. Suppose k + g = -2*k. Which is smaller: k or -5?
k
Let h = -3/221 + -869/1105. Are h and 2 non-equal?
True
Let k(t) = t + 9. Let b be k(-9). Suppose b = 3*a - 6*a. Is 0 at least a?
True
Let n = 133/4 + -33. Let b be 3 - (0 - (-1 - 0)). Let g(u) = u**3 - u**2 - 4*u + 3. Let m be g(b). Which is bigger: n or m?
n
Let f(m) = -m + 2. Let q be f(-8). Is 10 greater than q?
False
Let i(k) = 2*k**2 - k + 2. Suppose 5*f = -5*s - 10, -f + 3 - 5 = -3*s. Let q be i(s). Is q less than or equal to 11/4?
True
Let m = -10/1901 + -3809494/20911. Let c = m + 182. Which is greater: -1 or c?
c
Let d = -102 + 85. Which is bigger: d or -16?
-16
Let g = 0.2 - 0.1. Let q = 0.1 + -0.1. Let j = q - g. Is j > 0?
False
Suppose -3*y = 2*h + 9, -3*h + 4*y = -0*y - 12. Suppose 0 = -5*j - h*j. Suppose j = -3*t - 2*t + 25, -k = -5*t + 24. Is k greater than or equal to 0?
True
Suppose -6 = -z + 4*z. Let m be z*(5 - (1 + 2)). Are m and -4 equal?
True
Let g = -49.56 + 1.66. Let a = g + 43. Let y = a + 5. Which is smaller: 1 or y?
y
Suppose 0*q - 2*q - 12 = 0. Let h(j) be the second derivative of -j**4/12 - 5*j**3/6 + 3*j**2 + 4*j. Let b be h(q). Do b and 2/3 have different values?
True
Let q = -1.4 - -1.2. Which is bigger: -2/43 or q?
-2/43
Suppose -4*k - 7 = 5. Is -0.1 bigger than k?
True
Suppose 5*a - a = 4. Suppose -4 = -5*b + a. Suppose p + 2 = b. Which is smaller: -1/2 or p?
p
Suppose -2*g - 2*i + 2 = 0, 5 = -7*g + 2*g + 5*i. Suppose g*q - 2 = 2*q. Which is smaller: q or 0?
q
Let p = 0.15 + 4.85. Is p at least as big as 13?
False
Let k = -6 + 9. Let w = 1 - k. Let t be 2/(-10) - w/10. Which is smaller: 1 or t?
t
Let m = -0.028 - 27.972. Which is bigger: -1 or m?
-1
Let b = -0.2 + 0.1. Let f = -0.1 + 0.1. Let z = 2 - f. Which is bigger: z or b?
z
Suppose -g = -2*b - 6, -10 = g - b + 3*b. Let s be (-6)/(-21) + g/(-14). Let d be 1/2 + 3/(-6). Which is greater: d or s?
s
Let b be 32/(-14) + (-2)/(-7). Let k be 2 + -1 + -2 + 5. Suppose -4 = k*s - 0. Which is greater: s or b?
s
Let a(i) = -6 + 2*i + 6. Let t be a(-5). Let x be (-1)/4 - t/72. Which is smaller: x or 1?
x
Suppose -25 = -6*b + b - 5*w, 3*w + 25 = b. Let p be (-5)/b*(-4)/(-22). Are p and 1 nonequal?
True
Let u = -10/207 - -4/69. Which is smaller: 0 or u?
0
Let m = -13 + 20. Let n = m - 7. Is -3/7 <= n?
True
Let p = 125 + -124. Which is smaller: p or -33?
-33
Let q = -5 + 21/4. Suppose x + 2 = -d, 0*d + 3*d + 5*x = -12. Which is smaller: q or d?
q
Let p = -88 - -114. Which is greater: p or 1?
p
Let g be (2 + -5)*(1 + 0). Let b = -1 + g. Is -4 smaller than b?
False
Let s = 6 + -5.92. Let u = 0.58 - s. Let l = 0.5 + u. Is 2 at least l?
True
Let g = 3 + -2.9. Let q = g - 3.1. Let a = -5 - q. Which is greater: 1 or a?
1
Let s = 7 - 10. Let f = s + -2. Is -5 less than or equal to f?
True
Let h(z) = z - 17. Let f(t) = -1. Let c(j) = 5*f(j) - h(j). Let q be c(15). Let n be 2/6 - (-52)/(-12). Which is smaller: n or q?
n
Let n be 3*(-2)/(-6) + 8. Let z = n - 9. Suppose 2*c + 4 = -2*c. Is c smaller than z?
True
Suppose -3*l + 16 = -l. Suppose -4*t - 4*m - l = 0, 5*t + 3*m - m + 7 = 0. Does t = 4?
False
Let u = 0.07 + -0.01. Let o = u + 5.94. Which is smaller: 1/3 or o?
1/3
Let a(g) = g**3 + g**2 - g - 1. Let m be a(-1). Let x(s) = -3*s - 1. Let r be x(2). Let n be (1/4)/(r/(-8)). Do m and n have different values?
True
Let p = 7 - 5.3. Let v = 3 - p. Let r = v + -0.3. Does 0.8 = r?
False
Suppose 0 = -5*f - 5, 3*t - 9 = 4*t + 4*f. Which is greater: -6 or t?
t
Suppose -53 + 158 = -7*k. Which is smaller: -10 or k?
k
Let j = -0.9 + 0.9. Are j and -2/33 non-equal?
True
Let l = 17 + -16. Let q(r) = r**3 - 2*r**2 - 3*r. Let y be q(3). Do y and l have the same value?
False
Let y = 26 + -14. Is y at most as big as 12?
True
Let g = -136/11 + 1687/132. Are 1 and g nonequal?
True
Let z = -4.11 + -0.49. Is z >= 2?
False
Let u = -6 - 3. Let p = u + 2. Let i = p - -5. Is 0 not equal to i?
True
Suppose 0*t + 2*t = 6. Suppose 0 = -4*s - 5*v + 6, 2 = t*s + 5*v. Suppose 4*f = s*i + i + 5, f + 3 = -3*i. Is -2 smaller than i?
True
Suppose 2*q + 0*q - 4*s + 12 = 0, -2*q = s - 3. Suppose q = l - 4*l + 3. Let b be (0 - 2)/(l/(-1)). Which is smaller: 3 or b?
b
Let q be ((-134)/(-3))/1 + -2. Let s = 43 - q. Is 0 greater than s?
False
Let a(p) = 6*p - 12. Let h be a(-10). Let r be (1/(-2))/(4/h). Which is smaller: 8 or r?
8
Suppose 24 = 3*t - 5*t. Let q be (-1 - t/(-8))*1. Which is smaller: -4 or q?
-4
Let s be 0/(5 - 3) - -1. Is s bigger than 1/105?
True
Let w(o) = 10*o**2 - 16*o + 11. Let c be w(4). Are 108 and c equal?
False
Let h(u) = u**2 + 5*u - 23. Let a be h(-8). Is a <= -1/58?
False
Suppose 2*k + 4*o + 8 = 0, -k + 3*k - 2*o - 10 = 0. Which is bigger: 4 or k?
4
Let q be ((-3)/(10 - 4))/1. Which is greater: -0.4 or q?
-0.4
Suppose 0*i + 1 = -2*i - 3*z, -5*z - 9 = -4*i. Which is smaller: 11 or i?
i
Let a = -3512619 - -9343566839/2660. Let k = a + -1/140. Is 0 > k?
False
Let g(r) = r**3 + r**2 - r + 1. Let q = 3 - 0. Suppose 0 - 3 = -q*t. Let p be g(t). Is 0 > p?
False
Let g = 649/943 + -30/41. Which is smaller: g or 1?
g
Let h = 146 + -76. Is h less than or equal to 71?
True
Suppose 2*g - 4*f + 4 = 0, -4*f = 2*g - 11 + 39. Suppose 0*n + 3*n + 12 = 0, 28 = -3*u - n. Is g less than u?
False
Let t = -3/64 + 47/320. Let p be ((-2)/(-2))/(2 - 3). Which is smaller: t or p?
p
Suppose -4*u - 8 = -4*m, -2*m + 0*m - 26 = 3*u. Let x = u - -8. Let f = 47/66 - 1/22. Which is smaller: x or f?
f
Let g(u) = u**2 - u - 2. Let j(f) = f - 7. Let o be j(5). Let m be g(o). Let k be ((-2)/4)/(m/16). Is -1 at most k?
False
Let y be (-4)/(-42)*-9*(-4)/24. Suppose -3 = -h - 4. Let j = h + 1. Which is greater: j or y?
y
Let s = -5 - -1. Suppose -3*q = -z + 14, -2*q - 4 = q + z. Which is smaller: s or q?
s
Suppose -2*u + 8 = 2. Suppose 5*x - z = -14, 5 = u*z - 8*z. Which is greater: x or 0?
0
Let r(z) = -2*z - 6. Let y be r(-5). Suppose -y*t - 15 = t. Let h = t - 0. Is h <= -3?
True
Let q be (8/14)/(11/77). Which is smaller: 1/6 or q?
1/6
Let s = 5 - 6. Let v = s - -1.15. Let b = -0.05 + v. Is -2/3 != b?
True
Let a be (13 + -7)*(-1)/(-15). Let o(x) = -x**2 - 3*x + 1. Let t be o(-3). Suppose 0 = -f - d + 14, 4 = f - 2*d - t. Is f at least a?
True
Let u = -29 - -28. Are u and 5 nonequal?
True
Suppose -4*h + h + 12 = 0. Suppose h*f + 3 = 4*s - s, 0 = -2*s - 6. Suppose -2*b = -5*b - 6. Are b and f equal?
False
Suppose -5*z + 0*z + 3 = -3*x, 15 = -4*x + 3*z. Let s be -2*((-9)/x + 1). Which is bigger: s or -6?
s
Let p(z) = -3*z - 1. Let t(o) = -10*o - 4. Let a(f) = 21*p(f) - 6*t(f). Let n be a(2). Is -4 >= n?
False
Let s = 5 + -8. Let n = s - -1. Let i be n*-3*(-1)/6. Is -1/3 bigger than i?
True
Suppose -3*q = -4*s - 37, 3*s - 5*q = -2*s - 50. Let m = -7 - s. Is m at least as big as 0?
True
Let m = -2.89 - 0.11. Which is smaller: m or 3/5?
m
Suppose 7*c = 5*c - 14. Is c at most -7?
True
Suppose a + 1 = 3. Let t be (a - 0) + 4/(-2). Let s be 1/(-13 + 4 + -1). Is t greater than or equal to s?
True
Suppose 5*r + 41 = 9*r - 5*y, 0 = -r - 2*y + 7. Is r less than 55/7?
False
Let a(b) = b + 15. Let o be a(-9). Let g be 2 - 15/o - -2. Are g and 2 unequal?
True
Let g = 17.7 - -0.3. Let t = 19 - g. Which is smaller: 10 or t?
t
Suppose 5*k + t - 10 = 0, 3*k - 3*t + 1 = -11. Is k greater than -8?
True
Let o = 0.1 - -0.9. Let q = 0.17 - 0.17. Which is greater: q or o?
o
Let d be 1 + (-3 - -1) + 4. Suppose 2*i + 64 = d*t, 4*t = 2*i + 6*t + 84. Let v = -113/3 - i. Which is smaller: 4 or v?
v
Let t be (-1)/9*24/100. Is 0 less than t?
False
Let c(o) = -o**3 + 13*o**2 - 12*o - 12. Let b be c(12). Which is smaller: b or -13?
-13
Suppose 7*j - 4*j + 27 = 0. Let c be 6/2 - (-39)/j. Is -1 less than or equal to c?
False
Let i = -69 + 71. Suppose 0 = -3*y - 5*h + 44, -14 = -y - 6*h + 4*h. Suppose -i*t - y = t. Is t less than -6?
False
Let f = -20 - -30. Let y = -16 + f. Is y <= -6?
True
Let x be 0 - -2 - 30/18. Which is smaller: x or -1.5?
-1.5
Let a = 8 - 8. Suppose a*p - p = -1. Which is bigger: 2/31 or p?
p
Let l = -206/3 - -68. Let u = -9 - -9. Suppose u*g = -5*y - 2*g, 5*y - g = 0. Do l and y have the same value?
False
Let h = -0.3 + 0.8. Let n = 0.4 - h. Let i = 0 + n. Do i and 0.1 have the same value?
False
Let x = 3 + 