95 + -92179/215820. Let u be 1*1/(-36) + 0. Let a = x - u. Which is smaller: 0.02 or a?
a
Suppose 0 = 4*k - 3*h - 4, 0 = 3*k - 4*h - 1 - 2. Let m = -7 - -11. Let r = -3.9 + m. Is r not equal to k?
True
Let k be 1*1/(-33)*-6. Is -1 at least as big as k?
False
Let b = 1 + 2. Suppose 6*g - 5*g = 21. Let n = g - 83/4. Which is greater: b or n?
b
Let r = -244 - -1705/7. Let i(w) = w - 3. Let g be i(2). Is r greater than or equal to g?
True
Let i = 239 + -1676/7. Let l(z) = z**2 + 3*z + 4. Let u be l(-3). Let p be (0 - -2)*2/u. Which is smaller: i or p?
i
Suppose 0 = 7*m + 60 + 108. Which is smaller: m or -23?
m
Let c be 1 + 0 + 2 + (4 - -6). Is c > 66/5?
False
Suppose -4*i + i + 24 = 0. Let r be ((-3)/(-5))/(i/20). Let q = 12 - 10. Which is greater: q or r?
q
Let l be 3 + (0 - 23/7). Let g = -3/368 + -531/2576. Let r = g + l. Is -2 not equal to r?
True
Let m = -2.3 - -2.6. Let k = 0.2 - m. Let a = 0.35 - 0.05. Do k and a have different values?
True
Suppose -5*g + 0*g - 10 = 0, -5*g = -4*n + 18. Let d(z) = z + 1. Let m be d(5). Suppose 3*t = -0 + m. Is t greater than n?
False
Let o(d) = -3*d**3 + 2*d**2 + 2*d + 1. Let n be o(-1). Which is bigger: n or 9?
9
Let w be 1 + 0 + 10 + -6. Is w less than 4?
False
Let j be (2 - (-5)/(-3))*69. Suppose -5*z + j = 3*x, z = -4*z - x + 21. Is z < 6?
True
Let l = 1103 + -88241/80. Which is bigger: l or 1?
1
Let f be (-4)/42 - (-1)/(-3). Is f equal to -1?
False
Let p(n) = n + 13. Let b be p(-8). Let f(q) = -q - 1. Let i be f(b). Let a be 25/44 + i/8. Which is smaller: a or 0?
a
Let i be 10/15*(-4 - -1). Let u be i/6 - 3/(-9). Is u at least as big as 2?
False
Let v = -8 - -16. Suppose -q = 3*p - v, -5*q + 18 = -p - 6. Let h = -75/4 + 837/44. Is p at least h?
True
Let n = 87 - 88. Which is greater: 5/43 or n?
5/43
Suppose 0 = -8*c - 9 + 1. Let i = -12 - -2. Let s = i + 49/5. Is s bigger than c?
True
Let v = 3.6 + -5. Let t = v + 1.5. Which is bigger: 1 or t?
1
Let u be 2/9 - (-4)/(-18). Let o(b) = b**3 - 6*b**2 + 6*b + 3. Let d be o(5). Let k be d/3 + -1 + -1. Is k at least u?
True
Let u(d) be the third derivative of d**4/24 + 7*d**3/6 + 2*d**2. Let j be u(-4). Let f = -1 + j. Which is smaller: 3 or f?
f
Let g = 0.15 - 0.05. Let j = 0.5 + -0.3. Let h = j + -0.1. Is h != g?
False
Let z(l) = 34*l - 1. Let d be z(1). Let p = 197/6 - d. Let t be 1*(1 - (-1 - -1)). Is p smaller than t?
True
Let f be (-22)/(-18) - (-12)/(-54). Let w(i) = -1 - i**2 - i + i**3 + 0*i + 3*i. Let q be w(f). Is q equal to 0?
False
Let i = -8 + 12. Suppose -23 = i*q - 7. Do q and -5/2 have different values?
True
Let l = -0.02 + 0.1. Let u = l + -3.08. Let t = -2 - u. Do t and 0.2 have the same value?
False
Let v = 3 - 0. Suppose -5*s = 17 + v. Which is bigger: -2 or s?
-2
Let c be 4 - 12/3 - 5. Let f(p) = p**2 + 2*p - 11. Let o be f(c). Does o = 3?
False
Let x be 4/5 + 356/(-420). Is 0 >= x?
True
Let y = 17 - -3. Let d = y - 11. Is 10 at least d?
True
Let v = 3 + -5. Let m = -0.3 + 0.3. Let n = -2 - m. Is n greater than or equal to v?
True
Let h be (12/4)/(6/4)*-1. Suppose 4 = -4*q - 4. Is q > h?
False
Let b = 15 - 11. Suppose -6 - 2 = -b*j. Suppose 5*y + 4*w = -w + 15, j*w = 10. Is y at least -2/3?
False
Let l(o) = -o**3 - 5*o**2 + o + 3. Let q be l(-5). Suppose 8*k - 280 = 4*k. Let n = k - 212/3. Which is smaller: q or n?
q
Let f = 14 + -3. Let d = -12 + f. Do d and 0.6 have the same value?
False
Let y = -7 - -10. Suppose s = 2*s - y. Let q(a) = a - 3. Let l be q(5). Which is smaller: s or l?
l
Suppose 3*c - 2*c + 4 = -4*v, 2*c - 3 = 3*v. Let s = -20 + 10. Let t = 61/6 + s. Which is greater: v or t?
t
Suppose u - 3*z = 6*u - 4, -2*u + z - 5 = 0. Let n be (u/(-6))/((-12)/(-18)). Which is bigger: 0 or n?
n
Let j be 12/(-8)*(-8)/6. Let o be (4 - 14/3) + j. Which is smaller: 1 or o?
1
Let x = 29 + -119/4. Let v = 10 - 10. Is v at most x?
False
Let l be (3 + -4)*(0 - -1). Suppose 2*k = -k. Suppose k = 5*u - 5*c + 30, 20 = -c + 6*c. Are u and l nonequal?
True
Let i = 14 - 16. Which is smaller: 7 or i?
i
Let u = -47 + 45. Is u at most 15?
True
Let y be -1*(1 - (-1 - -1)). Let p = 7853/54 + -291/2. Do p and y have the same value?
False
Let x be 2 + 3*42/(-45). Is -1 <= x?
True
Let n = -28 - -27. Which is smaller: -5/4 or n?
-5/4
Let t be -1 + -1 - (-18 + 0). Suppose 4*b + 18 = 6*b + 5*q, 4*b = 3*q - t. Is b at most 3?
True
Let o(v) = -v**2 + 5*v - 1. Let y be o(5). Let t be (-14 + 10)*2/(-116). Which is bigger: y or t?
t
Let f = -10 + 14. Let x be (-3)/(3 - 30/f). Is 2 bigger than x?
True
Let q = -5.4 + 5.49. Which is greater: 2 or q?
2
Let v = 0 - -2. Suppose -s - v = 2. Let f be s/(-60)*(4 - 1). Which is greater: 1 or f?
1
Let c = 0.38 - -0.02. Let n = c + -0.4. Let m = 11 - 21/2. Does m = n?
False
Let b = 3/65 - -233/585. Is b smaller than 0?
False
Let z be -3 - -1 - (-24)/11. Let k(l) = -l - 3. Suppose -5*n - 12 = 3. Let f be k(n). Which is greater: f or z?
z
Let h = 4 + -6. Let d be ((-12)/(-9))/(h/3). Is d <= 1?
True
Let i be 4/((-60)/(-129))*1. Is 9 at least i?
True
Let m = 0.32 - 1.12. Is 2/11 less than m?
False
Let z(x) = 5*x - 1. Let j be z(1). Suppose 3*q = -q - j. Let a = 10/33 + 16/165. Which is smaller: q or a?
q
Suppose -s + 6*s + 15 = 5*x, -5*s - 5*x = -5. Let q be (2/(-56))/(6/(-24)). Which is bigger: q or s?
q
Suppose -2*j - 9 = -4*l + 19, -2*l + 5*j + 6 = 0. Suppose -4*y + 12 = 0, l*y = 3*v + 3*y + 9. Are v and -0.1 nonequal?
True
Let r be (1 - 1)/((-3)/(-3)). Suppose r*m - 5 = -5*m. Is m at least as big as -1/2?
True
Suppose 5*m + 13 = -v + 3, -2*v + m = 20. Is -10 less than v?
False
Let t = 7 - 6. Suppose -5*x + 21 = t. Which is greater: -1 or x?
x
Let g be 1/4 + (-2)/8. Let l(z) = -z**3 + 3*z**2 + 4*z + 2. Let i be l(4). Let w be (i/(-8))/(10/(-8)). Which is smaller: g or w?
g
Let j(b) = b**2 + 3*b - 6. Let h be j(-5). Let u be (h + -5)/(1 + 0). Is -3 less than or equal to u?
True
Let c be -6 + 5/(5/(-2)). Is c greater than -9?
True
Let i be (-19)/76 + 46/(-8). Suppose -3*k + 6*k + 9 = 0. Is k at most i?
False
Let g(x) = x**2 - 11*x + 36. Let o be g(8). Is 10 <= o?
True
Let h(m) = -10*m - 4. Let p be h(-2). Suppose 2*j = -6 - p. Is j at most as big as -11?
True
Let p(w) = -w**2 + 4*w + 4. Suppose 4*a = 3*j - 39, 4*a = 4*j - 24 - 16. Let g be (-2 - a/6)*-10. Let z be p(g). Do -2/3 and z have the same value?
False
Let g = 10 - 6. Suppose -j + 4 = g*m, 2*j + 2*j - 5 = -5*m. Is 1 not equal to m?
False
Let l = 37 + -14. Let y = 23 - l. Which is smaller: -2/5 or y?
-2/5
Let r(y) = y - 7. Let z be r(10). Suppose 4*w - 12 = 0, 0*w - z*w - 15 = -3*l. Is l greater than or equal to 2/5?
True
Let r be (-174)/(-18) - 1/(-3). Suppose -5*g + 10*g + r = 0. Which is smaller: g or -1?
g
Let n(y) = -y**2 + 4*y + 7. Suppose 4*v = 3*t + 1 + 16, -4*v - 3*t = -23. Let w be n(v). Which is smaller: -2 or w?
-2
Suppose 3*k + 2*z - 6 = -2*z, -k = -5*z + 17. Let s = 1 - 1. Suppose s = 2*t - 5 + 11. Is t greater than k?
False
Let a be (-2)/(-3 + (-35)/(-10)). Let l be 7*-3*2/(-7). Let t be (l/(-126))/((-2)/a). Do 1 and t have different values?
True
Let h be (-8)/10*785/(-2). Suppose 146 = -4*p - h. Let w = -572/5 - p. Is w at least 0?
True
Suppose 3*t = -9, -t - t = u + 4. Suppose -u*r - q + 3 = 0, -q = -5*r + q - 6. Suppose r = -2*i - i. Is 0 equal to i?
True
Suppose -5*g + 2*i + 29 = 0, -3*g + 5 = 5*i - 0. Suppose 0 = g*l + 2 - 12. Is l at most as big as 2?
True
Suppose c - 1 = -0*c + l, 0 = -2*l. Let y be (c/(-6))/(13/(-26)). Which is smaller: y or 1?
y
Let v be 74 - 1*(-2 - 1). Let d = 537/7 - v. Which is greater: d or 2/3?
2/3
Suppose -5*t - 18 = 42. Let a be (-35)/4 - t/(-48). Which is smaller: a or 0.1?
a
Let k = -10 + 4. Which is bigger: 0 or k?
0
Let i = 10 - 48/5. Which is smaller: -0.09 or i?
-0.09
Suppose 5*o - 3*o = 0. Suppose o*a - 28 = a + 3*b, 2*b = 2*a + 16. Is -12 at most as big as a?
False
Let i be 2/11 + 438/132. Which is smaller: i or 3?
3
Let n = 19.1 - 15. Let i = 0.2 + -4.2. Let b = i + n. Which is smaller: b or -3?
-3
Suppose -5*n + 3*c + 25 = 0, -4*n + 3*c = 4*c - 20. Suppose 2*j + 9 = -n*k, j - 2 - 1 = 0. Suppose 3*w + 16 = -w. Which is greater: k or w?
k
Suppose 3*s = -3 - 0. Do 1/12 and s have the same value?
False
Let b = 83 - 41. Which is smaller: b or 0.2?
0.2
Let j = 5.8 - -0.2. Let n = -6.3 + j. Which is bigger: -2 or n?