h is bigger: 1 or k?
1
Suppose 0 = 2*w - 4, 0*q + 12 = 2*q + 3*w. Suppose q*k = 8*k - 5. Let f be 3/(-36)*9/2. Which is smaller: k or f?
f
Suppose -38 = -5*h - 43. Are -1/5 and h non-equal?
True
Let q(n) = -3*n - 2. Let d be q(-4). Are 9 and d unequal?
True
Let g be 2791/108 - 1/(-3). Let l = -963/4 + 267. Let z = l - g. Which is bigger: -0.1 or z?
z
Let v be 5/(-2)*10*12/100. Let w = -6.3 + 6. Are w and v nonequal?
True
Suppose 0*q + 3*q + 5*o + 28 = 0, 0 = -4*q + 3*o + 11. Let b(i) = i - 6. Let c = -5 - -11. Let a be b(c). Which is smaller: a or q?
q
Suppose -g - 4*x + 2*x = 0, -g + 5*x = -7. Suppose -g*n = -n. Which is smaller: 2/27 or n?
n
Let q(v) = 5*v**3 + 6*v**2 - 1. Let d(t) = 6*t**3 + 7*t**2 - t - 2. Let i(p) = 4*d(p) - 5*q(p). Let k be i(-2). Is 4 <= k?
True
Suppose -2 = 4*r - 10. Let t(w) = -w + 7. Let f be t(7). Are r and f unequal?
True
Suppose -8 = 11*k + 3. Which is bigger: k or -4?
k
Let v = -66 - -200/3. Let b = 11 + -11.8. Let s = b - 0.2. Is s equal to v?
False
Let j be ((-1)/2)/((-5)/(-30)). Let k = j - -7. Which is bigger: 2 or k?
k
Suppose t + 5*l = 28, 0 = -2*t + 3*t + 3*l - 18. Let c(p) = p**2 - 2*p - 3. Let y be c(t). Are 1/4 and y equal?
False
Let i = 3 - 0. Let x = i + -1. Let d = x - 2.1. Which is smaller: 1/4 or d?
d
Let l(x) = 4*x**3 + x**2 + 2*x + 2. Let p be l(-4). Let b = 1234/5 + p. Is 1 at most as big as b?
False
Let z(y) = y**2 + 3*y - 2. Let l be z(-4). Suppose 4*w - 4*o = -8, w + l*o - 2 = -1. Let i be 3/(-15)*1 - 2/(-10). Which is smaller: i or w?
w
Let n(r) = r - 12. Let o be n(6). Let c = -16 + o. Let p be (-6)/27 - c/18. Which is greater: p or 0.1?
p
Let y = 27 + -24. Suppose 0*m - m + y = 0. Is m != -2/5?
True
Let o = -557 + 556.9. Let q(l) = l**3 - l**2 - 3*l + 2. Let s be q(2). Suppose s = -0*z + 4*z. Is z != o?
True
Let r(k) = 4*k + 53. Let f be r(-12). Are 1 and f equal?
False
Suppose -4*j = -0*j - 20. Let k = -1.4 - -1.5. Is k at least j?
False
Let i = -17 - -16. Which is smaller: 1 or i?
i
Suppose 10 = 2*s + 4. Suppose 2*u = -s*u. Is u equal to 1/13?
False
Let i = -1395317553/4085 + 341571. Let v = 4/95 - i. Which is greater: v or 0?
v
Let o = -4 + 9. Let y = o - 4. Which is greater: 2 or y?
2
Let w = -4 + 6. Let y be (-6)/4 + 3/w. Suppose -4*k = -2*k - 6. Do k and y have the same value?
False
Let u = 25972/49 - 530. Let a = 100 - 100. Which is smaller: a or u?
a
Let g(m) = -m**2 + 6*m + 9. Let p be g(7). Suppose 7 = -3*z - p. Does -2/5 = z?
False
Let b(x) = 2*x**2 - 7*x + 4. Let r be ((-4)/6)/(8/(-36)). Let u(m) = -m**2 + 6*m - 4. Let f(g) = r*u(g) + 2*b(g). Let i be f(-5). Which is bigger: 2 or i?
2
Let z = -102 + 399/4. Is -3 smaller than z?
True
Suppose -2*z + 4*l - 20 = 0, 3*z + l + 15 = 2*l. Let q(h) = h**3 + 5*h**2 + 5*h + 3. Let i be q(z). Is i > 2/5?
False
Suppose -1 = -u - 2. Let v be -2 - -2 - (2 + 0). Is v at most as big as u?
True
Let x = 84 + -83.5. Which is smaller: x or 0.9?
x
Let v = 11 + 1. Which is smaller: 13 or v?
v
Let q = -4 - -7. Suppose q*t + 0*k = k + 25, 0 = 4*t - k - 35. Let y be (-3)/30 - 4/t. Which is bigger: -2 or y?
y
Let b = -0.02 + 0.42. Let a = -0.2 + b. Let h = -0.4 + a. Which is bigger: 0 or h?
0
Let q = -10 + 16. Let b be (-3)/(q/4) - -2. Let h(w) = -w**2 - w - 4. Let p be h(b). Is p equal to -4?
True
Let d = -0.1 + -0.9. Let l(g) = g**2 + 3*g - 10. Let i be l(-5). Which is bigger: i or d?
i
Suppose -3*b = -7 - 8. Suppose 5*c = 4*x + x, b*c = x + 8. Are x and 0.3 equal?
False
Suppose 5*y + 47 = 42. Is y at most -7/12?
True
Let t = -3.95 - 0.05. Let l = -4.2 - t. Are l and 2 nonequal?
True
Let w(l) = 0*l + 2 - l**3 - l - 5. Let s be w(0). Let b = s + 5. Which is greater: b or 0?
b
Let r = -0.1 + 0.1. Let a = 1 - r. Let u = 1.1 - a. Is 2/5 <= u?
False
Let k be (-14 - -10)*(6/4)/(-3). Does 3 = k?
False
Let v = 2/281 + -2254/843. Let r = -9 + 14. Let m = r + -9. Is v < m?
False
Let b be -11 + 4 + 11 - 1*2. Is 1 smaller than b?
True
Let t(n) = -3*n + 10. Let u(b) = -2*b + 7. Let g(v) = -5*t(v) + 7*u(v). Let q be g(0). Which is smaller: 1/3 or q?
q
Let c = -104 - -518/5. Let b be 5 + -1 + (-2 - 2). Is c less than or equal to b?
True
Let d = -5.04 + 5. Let s = 0.26 - d. Let f = 2.3 - s. Which is greater: -0.2 or f?
f
Let s(f) = -f**2 + 20*f - 34. Let m be s(17). Which is smaller: 18 or m?
m
Let f = -4 - -5. Let n = 20 - 27. Are f and n unequal?
True
Let t = 5 - 9. Let l = t - -7. Suppose 0*s + l*s = 24. Which is smaller: s or 9?
s
Suppose -6*u = -2*u + 4, b = u + 2. Which is smaller: b or 16/9?
b
Let r(i) be the second derivative of i**3/6 - 2*i**2 - 5*i. Let o be r(-5). Is o < -8?
True
Suppose -2*b - 5*r - 1 = 1, b + 1 = -3*r. Let x = 1 + -4. Let d = 3.2 + x. Do d and b have the same value?
False
Let o = -1.2 + -4.8. Let j = -3 - o. Let s = j - 2.9. Which is smaller: -3 or s?
-3
Let b be 1*(4 - (-664)/(-164)). Which is bigger: b or 1?
1
Suppose -11*n = 540 - 166. Which is smaller: -35 or n?
-35
Let j(k) = k**3 + 2*k**2 - 2*k + 1. Let x be j(-2). Is x smaller than 7?
True
Let r = -12.84 - 0.16. Let g = r - -12.9. Suppose 3 = -2*x - 3. Are x and g nonequal?
True
Let h(s) = s - 1. Let c(y) = -1. Let f(m) = 2*c(m) - h(m). Let i be f(-1). Which is greater: i or -3/5?
i
Let i(z) = -2*z - 11. Let x be i(-8). Let n(g) = -g**2 - 7*g + 4. Let a be n(-7). Suppose 3*j - 4 = 2*s, x*j - 13 = s - a. Is 1 not equal to s?
False
Let h = -90 + 69. Is 0 bigger than h?
True
Let p = 13/5 - 66/25. Let t = -5 - -6. Which is bigger: p or t?
t
Suppose -2*g = 3*v - 6, -9 = -2*g - g. Let k be v - (-3)/((-27)/15). Do -1 and k have the same value?
False
Let n = -0.66 - -0.06. Let p = 0.62 + -0.12. Let c = p + n. Is c bigger than -1?
True
Let l = 9 - 8. Which is greater: l or 2/9?
l
Let h = -18 + 25. Let d = -1155.97 - -1163. Let t = d - h. Which is smaller: -1/4 or t?
-1/4
Suppose 780 = 20*n - 0*n. Is n greater than 40?
False
Suppose -5*t + 2*t - 3 = 0. Let o = 0.085 + -5.985. Let j = o + 6. Is t less than or equal to j?
True
Suppose -a + 4 - 1 = 0. Suppose 0 = o - a*o - 4. Suppose 0 = -0*y - 3*y - 6. Is o at most as big as y?
True
Suppose -2*y + 0 + 6 = 0. Suppose -8 = 3*j + o, y*j - 3 = -5*o - 19. Is -2 at least as big as j?
True
Let w = 40 - 20. Let d(p) = p + 4. Let n be d(0). Suppose 0 = s + n*s - w. Is s greater than 4?
False
Let o = 31 + -6. Let c be 5/o - 1/5. Is c less than -0.3?
False
Let p = 92 - 102.4. Let x = -9.79 + -0.21. Let r = p - x. Is 0.1 equal to r?
False
Let y be (12 + -3 + 1)/1. Let p(g) = 15*g - 66. Let m be p(5). Which is bigger: m or y?
y
Suppose 3*l = 3*p + 72, -5*l + 66 = -3*p - 0*l. Which is smaller: p or -26?
p
Let j = -0.038 - -2.138. Let x = j - 2. Which is smaller: -3 or x?
-3
Suppose -2*u + 4 = 44. Let i = u - -19. Is i less than -3/19?
True
Let a(g) = 2*g**3 + g + 1. Let z be a(-1). Let p(x) = x + 3. Let c = -24 - -18. Let r be p(c). Which is bigger: z or r?
z
Suppose 27*q + 36 = 31*q. Are 1 and q nonequal?
True
Let v(p) be the second derivative of -p**4/12 + 5*p**3/3 - 5*p**2/2 - 4*p. Let x be v(9). Let m = x - 5. Is m > 2/21?
False
Let k(s) = -s**3 + 7*s**2 + 9*s - 8. Let d be k(8). Suppose d*h - h = -4*m + 1, -5*m = -3*h - 3. Suppose m = -3*g + 8 - 2. Is 2 bigger than g?
False
Let q = -5 - -9. Suppose -2*j = 10, -2*j - 9 = -q*s - j. Suppose -3 + s = -2*f. Which is smaller: f or 2/5?
2/5
Suppose s - 6*x - 25 = -2*x, 15 = -s - 4*x. Let u = -6 + s. Is -2/11 >= u?
True
Let p = -589/3 - -196. Which is bigger: p or -179?
p
Let i(x) = -6*x + 4. Let g be i(0). Which is smaller: g or -1?
-1
Let q = -525 + 3688/7. Let a = -13744 - -384877/28. Let v = q - a. Which is smaller: -1 or v?
-1
Let q = -10 + 0.5. Let v = 9 + q. Which is greater: v or -0.1?
-0.1
Let y be (-2 - 50/(-15)) + (-52)/30. Suppose 3*i + 3*h = 3, 0 = -3*i + 4*h - 2*h + 3. Is y bigger than i?
False
Let p = -3/2 + 7/6. Let v = 18.8 - 19. Is v at least p?
True
Let k = 35 - 34.73. Let g = k - 1.27. Are g and 0.01 non-equal?
True
Let q = 49 - -3. Suppose 0 = -2*u + 2*j - q, -3*j = -0*u - u - 30. Let y be 3 + -1 + u/14. Is -0.5 greater than y?
False
Let o = -4/35 + 2/5. Are o and 0 unequal?
True
Let l be ((-1764)/128)/(-7) - 2. Which is smaller: l or -1?
-1
Suppose 4*o - 2*a - 4 = 0, -o + 8 = -2*a - 2*a. Which is greater: 8/11 or o?
8/11
Let w be ((-2 + 1)*1)/1. Let i(a) = -4*a**2 - 2*a - 1. Let h be