-4*q - 2*k - k = -10, k = 2. Is q > t?
True
Let x = -0.24 + 3.84. Let f = -3 + x. Let y = f - 0.4. Are y and 0 equal?
False
Let x = 4.14 + -0.14. Which is smaller: x or 0?
0
Let d be -1 - -1 - (-4 + -1). Suppose 0 = 2*u + 10, -5*j + 35 = -d*u. Suppose 0 = -2*r - 2, -p + 4*p - 3*r = 0. Is p greater than j?
False
Let k = -3 - -3.06. Let y = -0.24 - k. Let a = y - 0.7. Which is smaller: a or 1?
a
Suppose 5*u - 25 = -5*p, 2*p + p - 12 = -4*u. Let g = p - 10. Which is smaller: -1/2 or g?
g
Let o = -3 + 1.5. Is 2 less than o?
False
Let t(b) = b**2 - 6*b + 10. Let l be t(2). Do -3/8 and l have different values?
True
Let o = -0.03 - -0.83. Let s = -1 + o. Do 1/3 and s have the same value?
False
Let o be (23 + -22)/((1 + -11)/(-2)). Suppose -4*m = i - 9*m + 9, -2*i = 2*m - 6. Is i at most as big as o?
False
Let b = 3 + 0. Suppose -5*c = -2*q + 3*q + 2, -b*q + 2*c + 11 = 0. Suppose q*u = 7*u + 12, 0 = -2*r + 2*u + 6. Is -1 at most r?
True
Suppose 3*z + 5 = 5*n, 0 = -0*z - z - 5*n + 5. Let x be 2/((-78)/(-9)) + z. Let v = x + -25/52. Is v greater than -2?
True
Let c = -19097381/165 + 115741. Let v = -7/11 - c. Is 1 equal to v?
False
Let s = 0.024 + -0.024. Does -10 = s?
False
Let b = 2.3 - 0.3. Suppose 2 - 21 = -x. Suppose -16*v + x*v = 3. Is v at most as big as b?
True
Let x be 1 + (10/(-30) - 52/6). Which is greater: -2 or x?
-2
Let v = -1.1 + -5.9. Let a = 0.063 - 6.963. Let z = v - a. Is z > 4/7?
False
Suppose 0 = -3*f - 5 - 4. Let v(x) = -x + 4. Let b be v(6). Is f <= b?
True
Suppose -6 = -2*o - 2. Suppose q = -o*q - 126. Let f be 20/q - (-4)/12. Is f smaller than 1?
True
Suppose 0*a - 54 = a. Let n be (-12)/a - 13/18. Which is smaller: 0.2 or n?
n
Let w be (4/(-25))/(4/10). Is 23 not equal to w?
True
Let h be (5 - 7) + 4 + -1. Is 0 not equal to h?
True
Let g(w) = w + 7. Let k be g(-3). Suppose z = -t + 5 + 2, -k*t + 8 = -z. Suppose u = -z*u. Is -4 >= u?
False
Let x be 9/4 - (-2)/(-8). Suppose x*f = 3*n - 10, -f = -2*n + 3*n. Are f and -1 non-equal?
True
Let b = -18/665 - -62262/665. Let v = -93 + b. Suppose 2*w - 4 + 2 = 0. Is v greater than w?
False
Let l be (-14)/12*4/(-1). Which is smaller: l or 4?
4
Let i = 0.23 + -3.33. Let j = i + 3. Which is greater: 0 or j?
0
Let w = 38 + -35.7. Let k = w - -0.7. Let t = k + -5. Is t at most -0.1?
True
Let r = -15 + 15. Which is smaller: -2/9 or r?
-2/9
Suppose 4*s + 3*a - 7 = 0, -4*s - s = -3*a - 2. Is s bigger than -17?
True
Let b = -0.1 + 5.1. Let c = -7 + 12. Let v = c - b. Which is bigger: v or -1?
v
Let q = 6121/19 + -322. Let r(j) = j**3 - 2*j**2 - 6*j - 9. Let l be r(4). Which is greater: l or q?
q
Let n = 66 - 66.01. Is n at most as big as 5?
True
Let w be (-8)/(-2) - (-10 + 11) - -3. Which is smaller: w or -2?
-2
Suppose h = -4*h + 10. Suppose 2*a + 3*u + u = -18, -h*a - 23 = 5*u. Which is smaller: a or 3?
a
Suppose -3 = -w - 2. Let p = 8 - 4. Suppose r - 5 = -p*r. Is r != w?
False
Let z = 7 - 10. Is 2 at least as big as z?
True
Let x = -68 + 128. Let c be (-6)/(-15)*25/x. Let k be (0 - 2) + 2 + 0. Which is smaller: c or k?
k
Suppose 3*b = -0*b + 3. Suppose -5*t + 113 + 162 = 0. Let x = -273/5 + t. Which is bigger: x or b?
b
Let k be (51/170)/((-6)/5). Does 6 = k?
False
Suppose 2*q + 0*q - 10 = -3*a, 14 = 5*q + 2*a. Suppose -5 = 5*r, -5*y + q*r = -3*r - 5. Is y <= -1?
False
Let y be 0*(1 - (0/(-2))/(-3)). Is -2/131 >= y?
False
Let b(w) = -3*w - 6. Let q be b(-4). Are q and 9 nonequal?
True
Let j be 29/(-90) - 16/(-72). Suppose 2*f + 5*p = 4*f - 22, 5*f - 13 = 2*p. Is j greater than f?
False
Let x = 10 - 10.09. Let q = x - 0.01. Does 1 = q?
False
Let f = 404 + -5647/14. Let l = 3/14 - f. Which is smaller: l or -1?
-1
Let b = -3.4 + 0.4. Let s = b + 0.8. Let c = -2 - s. Which is smaller: c or -1/2?
-1/2
Let l(j) = 12*j + 2 - 4 + 10*j**2 - 9 - 3 - j**3. Let q be l(11). Is q less than -4?
False
Let k = -0.39 + -1.61. Is k less than or equal to -0.3?
True
Let z be (3 - 2)*2*1. Suppose -g = 1 - z. Let n = g + 0. Which is bigger: n or 0.2?
n
Let c = 3 + -2. Let i(a) = a**3 - a**2 + 2*a - 1. Let n be i(1). Let k be n - c/1 - 0. Which is smaller: k or 1?
k
Let s = -11/28 + 1/7. Let d(y) = y**3 - y**2 + y + 4. Let i be d(0). Suppose 5 = i*c + c. Which is bigger: c or s?
c
Let y(p) = 3*p - 10. Let z be y(4). Which is smaller: -56 or z?
-56
Suppose -4*j = -2*l - 0*j + 164, -2*l + 5*j + 169 = 0. Let t be (2/8)/(81/l). Suppose 2*d - 3*d + 1 = 0. Is t bigger than d?
False
Let x = 19 - 12. Let k = x - 3. Suppose -5*m - k = -m. Is m != 0?
True
Let c be (11 - 0)*(-1 - 0). Let n = 13 + c. Which is smaller: 4/3 or n?
4/3
Let t = 3 + -4. Let n(r) = 6*r**2 + 2*r + 1. Let q be n(t). Suppose -3*f + 13 = -4*f - 5*o, 0 = q*f - 2*o + 11. Which is smaller: -1 or f?
f
Suppose -3*z - 19 = -2*j, 0*j + 5*z = -2*j - 5. Suppose -3 - j = 4*y. Which is smaller: y or -1?
y
Let s(f) = f**2 + 3*f + 1. Let l be s(-2). Let m(a) = -a**2 + 4*a + 1. Let q be m(4). Let p(g) = g - 1. Let z be p(q). Are z and l equal?
False
Let v = -10 - -9.8. Let u be (-4985)/(-12425) - 2/10. Let d = -6/71 - u. Which is smaller: d or v?
d
Let r(m) = m + 13. Let i be r(-11). Is -6 equal to i?
False
Let x be (-340)/6 - (-2)/3. Is x equal to -56?
True
Let w = 20 - 37. Let a = 12 + w. Let y = -8 - a. Which is smaller: -0.2 or y?
y
Let c = -21 - -21. Which is greater: c or -3?
c
Suppose -3 + 1 = -u. Suppose 3*o + u*o = 5. Let c be ((-4)/114)/(o/3). Which is greater: 1 or c?
1
Let j = -5 - -2. Let d be 1 - ((-6)/3 - j). Suppose 3*i = x + x, 4*x + 5*i = d. Which is smaller: 1 or x?
x
Let d = -174.8 + 175. Which is greater: 3 or d?
3
Suppose 2*u - 98 = -3*l - 251, 5*l + 254 = -3*u. Let b be (-14)/l + (-54)/140. Is -1 at most as big as b?
True
Suppose y - 3*x = -5, 3*x - 5*x = 3*y - 40. Which is smaller: y or 9?
9
Let k(w) = -w**3 - 9*w**2 - 5*w + 18. Let r be k(-8). Which is bigger: r or -5?
-5
Suppose 2*k + 3*n + 7 + 6 = 0, 0 = -5*k + n + 10. Which is greater: 3 or k?
3
Let t be 2/12 - (-379)/(-6). Let a be 3 - (-57)/t*3. Let s = -0.3 - -0.1. Which is bigger: s or a?
a
Let j be (0/(-4))/5*(-2)/4. Do -3 and j have the same value?
False
Let h = -27 + 98. Which is smaller: 72 or h?
h
Let c = 17/76 - -10/19. Suppose 3*g = -2*g + 4*g. Which is greater: g or c?
c
Let j = -39 - -25. Let g be (-1)/j*-2*758. Let y = 108 + g. Is y < -1?
False
Let a = 51/5 - 3453/340. Let s = a + 12/17. Suppose b = -3*g + 5, -6*b + 4*g = -4*b. Is s at most b?
True
Let y = -1 + 141. Let b be (32/y)/((-1)/5). Which is greater: b or -1?
-1
Let r be 3/12*7/(819/(-48)). Is r at most as big as 1?
True
Suppose -5*m = l + 35, 0 = 5*l - 18 - 7. Let h be (-48)/(-22) - m/(-44). Let g be 2/5 + (-6)/(-15). Is h greater than g?
True
Let w(l) = -22*l - 9. Let b be w(-9). Let u be ((-9)/b)/((-1)/6). Which is bigger: u or 1?
1
Suppose -5*t + 4*a - 1 = 0, -2*a + 0*a - 2 = 0. Do t and -1/25 have different values?
True
Let l = 13/9 - 16/9. Which is smaller: l or -0.017?
l
Let t = -35 - -34.9. Which is greater: -11 or t?
t
Suppose s = -5*k + 12, -6*k = -k + 5*s - 20. Let h = -1 + 3. Suppose 5 = n + 3*g, -2*n - h*g + 12 = 3*n. Is n at most as big as k?
True
Let r = -5 - 4. Let a = 9 + r. Which is bigger: a or 1?
1
Let q = -597860/119 + 5024. Let a = 38/119 + q. Which is smaller: -1 or a?
-1
Suppose 0 = -3*j - m + 4, -j = j - 5*m - 31. Suppose -5 = -i - j. Is i bigger than -0.1?
True
Let k be 4*(206/(-68) - -3). Is 3/4 smaller than k?
False
Let i = -561/35 - -78/5. Which is smaller: 0 or i?
i
Let r(c) = 2 - 6*c**2 - 8 - c - c**3 - 2. Let t be r(-6). Let y be (-2)/10 + t/5. Is y at most -1?
False
Let i = 1 - -1. Suppose 2 = i*l - 2. Suppose -3 = -r - q - l, q = 2*r + 1. Is -1 at most r?
True
Let h = 1.95 + 0.05. Let y = 2.06 - h. Which is greater: y or -1?
y
Let r(a) = a**3 + 5*a**2 + 2*a + 5. Let s be r(-5). Let l be -1*2*4 + 2. Let o = s - l. Which is smaller: o or 3?
o
Let t = -7 + 3. Let l = -1 + 1.1. Which is bigger: l or t?
l
Let s(n) = n**3 - 7*n**2 + 8*n - 8. Let h be s(6). Suppose 0 = 3*w - 1 + h. Which is bigger: -3/10 or w?
-3/10
Let s be ((-16)/(-12))/(3/(-6)). Is -2 less than s?
False
Let a be (-3)/15 + 24/20. Which is smaller: a or 2?
a
Let v = 9 + 2. Which is smaller: 10 or v?
10
Let j = 25 + -13. Which is bigger: j or 13?
13
Let n = 34 - 59. Let o = n - -14. Let t = o - -11. Which is bigger: t or