
Suppose -r + 3 - 5 = 0. Let x(y) = -y**2 - y. Let c be x(r). Suppose 3 = -6*z - 3. Is z less than c?
False
Let a = 6 - 5. Let b be a*(-1 + 7)*1. Does b = 6?
True
Suppose -d - 3 + 0 = -4*c, -4*d - 2*c = -6. Let l be d*(-8 + 3 - -1). Which is smaller: l or -5?
-5
Suppose -5*z - 14 = -x, z + 3*z + 16 = -4*x. Let o = -33 - -22. Is x at least as big as o?
True
Let m = 797/28 - 115/4. Do -13 and m have the same value?
False
Let f = -15 + 8. Let q = 8 + f. Which is smaller: 1/2 or q?
1/2
Let n(g) = 3*g + 2. Let d be n(-4). Let r be (-6)/(-15) - (-7)/d. Is 0 > r?
True
Let i = 0.05 + -0.1. Let m = i + -0.15. Which is smaller: 2/7 or m?
m
Let o(d) = -3*d. Let m be o(-6). Which is smaller: m or 17?
17
Let w be (-1 - (-4070)/3346) + 0. Let o = -1/478 + w. Let r = -5/42 - o. Which is smaller: 0 or r?
r
Suppose -12*x - 8*x = -60. Let k(s) = s**2 + 4*s + 3. Let z = -4 + 2. Let c be k(z). Do x and c have the same value?
False
Let a = -11/8 - -1. Is -1 greater than or equal to a?
False
Suppose -g = g + 12. Is -6 greater than g?
False
Let l(x) = 3*x + 1. Let z be l(1). Let i be (2/z)/((-1)/6). Suppose 4*p = 3*m - 2, -2*p = 4*m + 15 - 3. Which is smaller: i or p?
i
Let p = -0.2 - 0.8. Let z = 12 - 12. Which is smaller: z or p?
p
Let u be 291/(-30) + 6/30. Which is greater: -11 or u?
u
Let g = 0.15 - -9.85. Which is greater: g or 2/7?
g
Let z be (-4)/12 + (-14)/(-12). Is 0.1 less than z?
True
Suppose 2*k = 2, 3*k + 2 = -x + 6*x. Let h = 0.1 + 0.9. Is h <= x?
True
Let d = 35 - 35. Let j = 4.1 + -0.1. Is j less than or equal to d?
False
Suppose d + 3*d = 4. Is d greater than 3/17?
True
Let d = 39/35 + -5/7. Is -0.02 > d?
False
Let m = 17 - 22. Which is bigger: m or -0.1?
-0.1
Let d = 1.2 + -1. Let n = -0.8 - d. Let c = 4 - 2. Which is greater: c or n?
c
Let r = 21 - 23. Let d be (0/(0 + r))/(-2). Is 1/5 > d?
True
Let p = 10 - 3. Suppose j + 6 = 5*k, 3*j = 4*k - 0*j - p. Is 0 less than k?
True
Let q(n) = n**2 + 3*n + 2. Let z be q(-3). Suppose 0 = 5*w + 3*l - 2*l - 25, -z*w + 3*l = -10. Is -1/4 not equal to w?
True
Suppose 80 = 3*y + 2*y. Let v be (-2)/y + (-1)/(-2). Is -1 greater than or equal to v?
False
Let f(g) = g**2 + 8*g + 8. Let u be f(-6). Let c = u + 2. Is -4/7 equal to c?
False
Let k be -3*(-2)/3 + (-56)/12. Which is smaller: k or -3?
-3
Let s(k) = k**3 - 5*k**2 + 4*k. Let p be s(3). Let n be 20/(-8)*6/(-5). Let q = n + -8. Is p at least q?
False
Let h be (-1)/(-2)*0*-1. Suppose y - 2*y + 3 = h. Is 1 less than y?
True
Let f = -0.2 - -0.3. Let o = 2 - 2. Let g = f + o. Which is bigger: 0.4 or g?
0.4
Let f = 26 + -25. Is f not equal to 2/3?
True
Let j = 149/4 - 37. Suppose 0 = 6*n - n. Suppose 3*w - 2*r - 7 = n, -3*r - 13 = -w - w. Which is greater: w or j?
j
Let v be 1/1 + (1 - 16). Let z be v/3 - 8/(-12). Suppose l - 3*k = 10, -4*l = k - 2*k + 4. Which is smaller: l or z?
z
Let s = -159 - -159. Which is greater: s or -2/181?
s
Let j = -23 - -25. Suppose 9 = 2*q + q. Is j less than q?
True
Suppose -3*t = -8*t - 15. Let d be (t - -3)/(-2 - 1). Is d less than or equal to -1?
False
Let a = -11/310 + 7/310. Which is smaller: 0 or a?
a
Let l be (-18)/(-14) - 9/(-63). Is l > 0?
True
Suppose 3*t - 9 = -u, u - t = 3 + 2. Suppose 6 = -3*s + u*s. Suppose 0 = -3*k + 2*p + 16, 2*k - 3*p = -4*p - 1. Is k > s?
False
Suppose 5*b + 98 = 2*b - 2*s, -5*s = 20. Is b equal to -2/3?
False
Let m = -28 - -27.9. Is 14 less than m?
False
Let x be (-4)/(-14) + (-135)/(-140). Suppose 5*j = -o + 1, -4*o + 0 + 4 = 5*j. Suppose -c + 4*c - 6 = j. Is x at least c?
False
Let d(v) = -13*v - 1. Let i be d(-2). Suppose 3*s + 2*s + i = 0. Let w = 2 + s. Is w less than 0?
True
Let j = -1.7 - -0.7. Let i = j - 0. Let w = -0.2 + 1.2. Are w and i nonequal?
True
Let k = 37/30 + -16/15. Which is bigger: 1 or k?
1
Let j = -1/20 - 109/220. Suppose -3*p = -2*p + 2. Is j at least p?
True
Let l(h) = h**3 + 7*h**2 + 6*h - 1. Let g(k) = k**2 - k + 3. Let n be g(0). Let y be n/((-9)/12) - 2. Let j be l(y). Which is bigger: -3/7 or j?
-3/7
Let u = -2.1 + 2. Let r be (10/20)/((-2)/(17 - 1)). Which is smaller: r or u?
r
Let d = -389 + 11669/30. Are -1 and d unequal?
True
Suppose 2*x = -x - 9. Let p be (-2)/(-1)*(-3 + 1). Let z = -7 - p. Is x bigger than z?
False
Let n = -13 + 12. Let c = -116 - -2434/21. Is n greater than c?
False
Let h(z) = z**2 - 6*z + 7. Let k be h(5). Let i = 28 + -27. Which is bigger: i or k?
k
Let i = -66 + 3628/55. Is i > 1?
False
Let o(r) = -r**3 - 5*r**2 + 5*r - 2. Let h be o(-6). Suppose 4*k - 5*k - 3 = -n, -h*n = 3*k - 19. Which is smaller: k or -2?
-2
Let h = 10.13 + -0.13. Which is bigger: h or 1?
h
Let d be (-12)/14*154/(-44). Is d less than or equal to 14/9?
False
Let s = -7.11 + 7. Let d = s + -0.89. Which is smaller: -0.1 or d?
d
Suppose 11 = 4*a + 7*a. Is 6 at least a?
True
Suppose 4*s - 8 = 8. Is s at least 3?
True
Let u be 39/(-12) - 3/(-1). Is u at least as big as 1?
False
Let k(u) = -u**3 - 8*u**2 + 9*u + 10. Let m be k(-9). Let h(b) = b**3 - 11*b**2 + 9*b + 11. Let f be h(m). Is 2 at most f?
False
Let j = -18.7 + 18.3. Let n = -15 - -11. Do j and n have different values?
True
Let v = 44/7 + -169/28. Do v and 0.8 have different values?
True
Let m be ((-8)/(-42))/(2/(-3)). Suppose 10*o - o = 0. Are o and m unequal?
True
Let r = 50.9 + -52. Which is smaller: r or 0.2?
r
Let g = 8 - 7. Let b = 142 + -1276/9. Which is greater: b or g?
g
Let i = -1.3 - -0.3. Which is smaller: 3/8 or i?
i
Suppose 5 = 4*y - y + a, -a = -2. Let z = 3 - 2. Let v be -2*3/(-6)*z. Is y < v?
False
Let c(o) = 6*o**2 - 1. Let g be c(1). Suppose g*y - 9 = 2*y, -5*y + 315 = -3*t. Let u = -702/7 - t. Which is smaller: 1 or u?
u
Let r = 820 - 9014/11. Let a be 21/6 + (-1)/(-2). Suppose 0 = g + a*g. Which is bigger: r or g?
r
Let s = 23 - -71. Let l = s + -656/7. Suppose -5*a = -3*a + 2. Which is bigger: l or a?
l
Let n = -0.16 - 0.54. Let l = -4.3 - -4. Let b = l + n. Is b bigger than -2/7?
False
Let y = 74 - -10. Let t be 127*(-2)/y - 0. Let r = -20/7 - t. Is -1 != r?
True
Let z(l) = -l**2 + 10*l + 19. Let n be z(12). Are -19/4 and n equal?
False
Let d = -10 + 13. Suppose 4*n + j - 11 = 0, 0 = -3*n + d*j + 2*j - 9. Suppose 4*l + 4 = 0, 1 = 3*a - 2*l - 7. Are a and n unequal?
False
Suppose 4*b = 5*i + 3, 5*i = -0*i - 3*b + 11. Let u(n) = -n + 1. Let t be u(i). Is t smaller than -1?
False
Let u = 0.1 - -3.9. Let r = -6 + u. Let g = -4/17 + -1/68. Is g at least r?
True
Let y = 14 - 10. Suppose -y*s = s. Let h = -92 + 642/7. Which is bigger: s or h?
s
Suppose 8*p - 9*p + 38 = -4*s, -4*p - 3*s = -247. Are 58 and p equal?
True
Let b = -204 - -143. Which is smaller: 0.2 or b?
b
Suppose -2*z + s + 3 = 0, -3*z - z - 9 = -5*s. Suppose 0 = l - 3 + z. Which is bigger: l or -4/3?
l
Let t be 3/((-396)/273) + (-8)/(-32). Is -3 less than or equal to t?
True
Let k = 0.5 + -0.8. Let j = k - 0.7. Let a = j + 2. Which is bigger: a or -6?
a
Suppose b + 4*a + 0 - 43 = 0, 98 = 2*b + 5*a. Let n = b - 355/6. Is n at most -1?
False
Let m(x) = 4*x + 10. Let r be m(-9). Let b = r - -37. Do b and 1/4 have the same value?
False
Let t = 54 - 107/2. Which is smaller: 0.02 or t?
0.02
Suppose 2*g + 10 = 70. Let m be (-3 - 0)/g*2. Let w(x) = -x**3 - 4*x**2 + 6*x + 5. Let i be w(-5). Which is greater: m or i?
i
Let o(y) = 2*y - 1. Let r be o(2). Suppose -r*u + 32 = 4*x, u = -u - 5*x + 33. Let f = 3 - u. Which is smaller: -2 or f?
-2
Let k = -7 + 11. Let d be (-1 + 1)*2/k. Is d less than -0.1?
False
Suppose 3*c = 8 + 1. Let m be c/(-105) + (-9)/(-15). Which is smaller: m or 2?
m
Let s = -11 - -14. Suppose 14 + 4 = -s*v. Which is bigger: v or -4?
-4
Suppose -2*r + 0*r = 0. Let u be (-4)/(-6) - (-43)/3. Let n be 4/(-9)*u/10. Do n and r have different values?
True
Let l be 10/25 + 6/10. Suppose 4*r - 7 - l = 0. Suppose 3*n + 2*t + 0*t + 6 = 0, r*t + 6 = 0. Which is bigger: -4/5 or n?
n
Suppose 57 = -7*r - 76. Which is smaller: -21 or r?
-21
Suppose 4*u = u - 3. Is -2/75 less than u?
False
Suppose 3*i - 5*q = -9, 3*q - 11 + 2 = 0. Suppose 2*d + 6 = i*n, 4 + 1 = 3*n + d. Which is bigger: 0 or n?
n
Let x = -1.8 - -8.8. Let w = 5 - x. Let q = -1.9 - w. Are q and 0.3 equal?
False
Let c be ((-2)/(-6))/(4/6). Suppose 0 = 4*t - 3 - 1. Which is bigger: t or c?
t
Let p be -4 + 1 + -5 + 7. Let x be p/(-5) - (-2)/(-10). Suppose 4*s - 2*k + 3*k - 3 = 