Let r = 28 - j. Is r smaller than a?
True
Let o be (1/(-10))/((-6)/15). Let f = 13/20 - o. Let z = -459/44 + 41/4. Is f <= z?
False
Let t be 1/2 + (-12)/(-8). Let s = t + -3. Suppose m = 4*m + 3. Is s greater than m?
False
Suppose 5*n + 3*r - 5*r = 24, -5*r - 10 = 0. Let g(y) = y**3 - 5*y**2 + 6*y - 4. Let q be g(n). Let h = q - 4. Is -0.2 <= h?
True
Let y = -0.2 - -0.08. Let g = 0.32 + y. Is g bigger than -0.1?
True
Suppose -2*s + 0 = -18. Suppose 2*m = 3*v - s, -12 = -4*v + m + 4*m. Suppose 4*j = -1 - v. Which is smaller: j or 3?
j
Suppose -5*f = 25, 0*p = 5*p - 3*f - 45. Suppose -3*a + p*a + 6 = 0. Which is bigger: a or -1?
-1
Let j = -3 - -7. Let b = -1 - j. Let t = b - -4. Do -1 and t have the same value?
True
Let z = 0.96 + -1.1. Let o = z + 0.04. Is o not equal to 13?
True
Let a(f) = -2*f - 17 + 2*f + 5 - f. Let c be a(0). Let k = c + 4. Which is smaller: k or -9?
-9
Let x = 3 - 17. Let g = x + 10. Is -4 greater than or equal to g?
True
Let o = 62 - 62. Is -16 less than or equal to o?
True
Let p = -3/4 + 71/84. Is p at least 1?
False
Let m = 16 - 15. Which is smaller: -5/11 or m?
-5/11
Let x be 12 - ((-6)/2 + 3). Which is greater: 10 or x?
x
Let n be (2 - 2)*1*-1. Suppose 5*k - 22 + 2 = n. Which is bigger: k or 5?
5
Let g = -6 - -7.2. Let f = g + -0.8. Is -2/9 less than or equal to f?
True
Suppose 0 = -4*x + 3*f - 5*f - 16, 0 = 2*f + 4. Suppose p = -p - 4. Is x < p?
True
Let m(j) = j**2 - 2*j + 1. Let y be m(3). Suppose -y*o + o + 24 = 0. Are o and 8 non-equal?
False
Let v be 2*(3 + -1) + -1. Suppose p - 38 = -4*i, 4*i - v*p + 8*p = 30. Let f be 2/i - 24/45. Which is greater: f or 1?
1
Let u be 0 + (-4)/(-1) + 0. Let t be ((-12)/15)/((-4)/(-50)). Let d be 12/10*t/(-3). Are u and d equal?
True
Let h be 2/5 + 6/(-15). Suppose 4*v - 12 = o, -2*o + 3*v + 1 = -h. Suppose -12 = -2*y + 5*t + o, -t - 4 = 0. Are y and 1/3 non-equal?
True
Let m(d) = d**2 + 4*d + 1. Let l be m(-4). Let c = -1 + l. Suppose 0 = -v + 6*v. Is v at least as big as c?
True
Let f = -76 - -79. Is 0.1 not equal to f?
True
Let m be -7 + 235/25 + (-2)/10. Let y(b) = -b**2 - 10*b - 6. Let u be y(-9). Which is smaller: u or m?
m
Let a = -16 - -26. Let k be (-4)/(-2) + (-12)/a. Which is bigger: 2 or k?
2
Suppose 4*k - r = -143, k - 5*r + 52 = -8*r. Let a = k + 705/19. Is a >= 1?
False
Suppose 13*b = 20*b + 7. Is b > 1/84?
False
Let v be (-30)/9*9/21. Is v > -1?
False
Let z(t) = t**2 + 12*t + 2. Let p be z(-11). Let i = p + 8. Is i bigger than -2/37?
False
Let k be 9/6*(-2 + 4). Let w be 15/k*(1 - 2). Which is bigger: -6 or w?
w
Let b(s) = 2*s + 12. Let q be b(-6). Is q < -1?
False
Suppose -p + 6 = 3*b + 2*p, b - 4*p = 2. Which is greater: 6/7 or b?
b
Let w = 3110 - 6341/2. Let v = 58 + w. Are -3 and v equal?
False
Let m = 70/9 - 2554/333. Let p = m + -168/185. Is p greater than -2?
True
Let y be (-11 - (-2 - -1))*(-6)/135. Do 0.06 and y have the same value?
False
Let q(m) = 13*m - 30. Let d be q(8). Let i = -30575 + 274507/9. Let a = i + d. Which is smaller: -1 or a?
-1
Let s(c) = -c**2 - 7*c - 1. Let p be s(-6). Let n be (-5 + p)/(0 - 1). Which is smaller: n or -2/15?
-2/15
Suppose 5*i + 1 = -29. Is i >= 1?
False
Let f = 8/159 + 8093/318. Let d(y) = -7*y**2 + 2. Let v be d(2). Let u = f + v. Is u bigger than 1?
False
Suppose 2*b - 31 = -2*q + 5*q, 1 = 2*q + 3*b. Suppose -2*r - i - 15 = 0, i - 11 = -4*r - 38. Which is greater: q or r?
r
Let y(q) = -q**3 + 1. Let f be y(0). Suppose -f = -5*u + 4. Which is smaller: 2/3 or u?
2/3
Suppose 0 = -5*f, f - 4 = 3*h - 1. Is -1/5 equal to h?
False
Let k be -3*2*2/28. Let o(p) = p - 6. Let b be o(6). Is b greater than k?
True
Let a(q) = q**2 + q. Let l be a(-2). Suppose j + j + l = 0. Let x be (-2)/(0 - j - 0). Which is bigger: x or -1?
-1
Let y be (-1 + 1)/2*1. Suppose 0 = 5*b + 5*i - 3*i - 4, 4*b = -4*i - 4. Let m be (y - b)/(-2)*1. Which is smaller: 0.7 or m?
0.7
Suppose i - 1 = 2. Let o be (-4)/7 - (i + -3). Do 0 and o have the same value?
False
Suppose 2*r - 20 = -2*r. Which is smaller: 15/4 or r?
15/4
Let w be ((-2)/21)/1*-24. Let u(s) = s**3 - 2*s**2 - 3*s - 2. Let v be u(3). Let q = w + v. Which is bigger: 1 or q?
1
Suppose 2*h = -2*h + 12. Let q(o) = o**2 - 2*o - 2. Let l be q(h). Let r(m) = m. Let b be r(0). Which is greater: b or l?
l
Let s = -3/46 - -105/23. Which is bigger: s or 6?
6
Let d be (186/8)/((-9)/15). Let q = d + 455/12. Do -2 and q have the same value?
False
Let x = -18 + 33. Let v = -11 + x. Is 1 >= v?
False
Let w = 105 - 103. Which is smaller: 0.1 or w?
0.1
Suppose -2*l = -2*d - 12, 0*l + l - 6 = 4*d. Let q be (l/10)/(3/(-4)). Which is bigger: q or 0?
0
Let c be (9/15)/((-1)/(-5)). Suppose 3*f - 18 = -o, 2*o + 12 = o + c*f. Suppose -2*g + o = -g. Is g at least as big as 2?
True
Let s = 10.74 + 0.26. Let n = -5 + s. Is n at most as big as -2?
False
Let c = 3 - 0. Suppose c*x - 8 = 5*x. Is -4 greater than x?
False
Suppose -11*m = -4*m. Suppose 12 = -6*d + 3*d - 3*g, -5*d - 17 = 2*g. Are m and d non-equal?
True
Suppose 13 = 4*x - 3*x + 4*g, 0 = -2*x + g - 1. Is -1/116 greater than x?
False
Suppose -p = -2*p + 2. Suppose 8 = -2*b + 2*u, 3*b - 6 - 6 = -3*u. Let j = p - b. Is j > 0?
True
Let x = -14 - -18. Which is greater: 3 or x?
x
Let d(x) = x**2 - 4*x - 4. Let b be d(5). Let z = -642/5 - -128. Is b equal to z?
False
Let p = -2.9 + 1.8. Let v = 6.1 + p. Let f = 4 - v. Are f and 2 non-equal?
True
Let t = -179 + 171. Let v(a) = -a**2 - 4*a - 4. Let j be v(-5). Which is smaller: j or t?
j
Let h(s) = s**3 - 4*s**2 - 2*s + 1. Let m be 21/(-2)*(-8)/12. Let j(l) = -l**3 + 6*l**2 + 9*l - 10. Let b be j(m). Let t be h(b). Is -8 < t?
True
Let w = -83 - -80. Which is greater: w or -0.1?
-0.1
Let s = -0.4 + 0.6. Is s not equal to -0.1?
True
Suppose -12 = -2*k + 6*g - 2*g, 3*k + g = 4. Let w be (-1 - k)*2/(-1). Let x be w/4 - (-9)/(-2). Is -2 equal to x?
False
Let m(b) = -b**2 + 19*b - 32. Let g be m(17). Which is smaller: g or 0.16?
0.16
Let z be ((-34)/63)/((-1)/(-3)). Let r = z - -9/7. Which is greater: r or 1?
1
Let v = -0.5 - -0.4. Let j be (-6)/3 + 1 + 2. Let n = j - 0. Is v at most as big as n?
True
Let s = 0 - 2. Let i be (-1 - -2)*-1 - s. Suppose 2*x - 8 = -w - 3*w, -4*w = x - 4. Is i > w?
True
Let q = 377.1 + -398. Let v = q + 20. Which is bigger: v or 0.1?
0.1
Let s be 185/20 - (-2)/(-8). Let z = s - 5. Suppose z*d = 16, -w = -5*d + 2 + 19. Which is bigger: -3/2 or w?
w
Let q = 0.97 - 1.1. Let n = 0 + -0.03. Let l = q - n. Which is bigger: l or -1?
l
Let s = 13226/13 + -1018. Are s and -1 equal?
False
Let n = 0.3 - 0.4. Which is greater: -8/5 or n?
n
Let v = 4 + -4.4. Which is smaller: 1 or v?
v
Let p = -803/5 + 160. Suppose -4 = -2*f - 0*f. Suppose f*x - 2 = 4*c - 18, -5*x + 2*c = 8. Is p greater than or equal to x?
False
Suppose -4*i + 9*i - 15 = 0. Let t be 1/(i/(2 + 4)). Which is bigger: t or -3?
t
Let w = 13 - 67/5. Let d = -11.7 - -13. Let o = d + -0.3. Is o at most as big as w?
False
Let o = -58/7 - -283/35. Which is bigger: -1 or o?
o
Let k = 60 + -298/5. Is 0 != k?
True
Let r be -3 + (-1 - (-4 + 1)). Let i be -3 - 0*r/(-3). Which is smaller: i or -4?
-4
Suppose 0*k + 56 = 4*k + 2*z, -66 = -4*k + 3*z. Let d be ((-2)/(-6))/((-5)/k). Is -3/7 != d?
True
Let f(a) = -a + 2. Let i be f(6). Let o be 8/5 - i/10. Suppose c - 6 = -o*c. Are c and 1 nonequal?
True
Let p = 3.02 - 3. Let j = p - 3.02. Let h = 0.4 - 0.4. Is j smaller than h?
True
Let m = -9 - -9.5. Let t = 0.3 - m. Which is smaller: t or 0.1?
t
Let b = 21 - 16. Let q = 15 + -11. Is b at most as big as q?
False
Let p = 7 + -5. Let m be ((-16)/p)/(2/6). Let k = m + 47/2. Which is bigger: -1 or k?
k
Let q be (5*(-6)/(-135))/(-1). Is 0 not equal to q?
True
Let i = 4.2 + 4.8. Let g = -0.2 + 0.3. Is i greater than or equal to g?
True
Suppose j + 0*j = -a, -5*a = j - 8. Let m be (3*1)/(9/(-6)). Does j = m?
True
Suppose 15*r - 11*r = -8. Which is greater: r or -0.2?
-0.2
Let f(j) = 2*j**2 + 5*j - 2. Let g be f(-3). Is g less than -3/16?
False
Let r = -7 - -9. Suppose r*n = -5*h - 23, -3*n + 3*h + 2 = 5. Is n less than -4?
False
Let t be ((-16)/6)/(4/(-6)). Let w(x) = 3*x**2 - 2*x + 1. Let o be w(1). Suppose -4*z = 4*r, -o*r + r + 24 = -5*z. Is r greater than or equal to t?
True
Let v be (-2)/(-3) - (-4)/3. Let i be ((-3)/v)/(3/4). Let n be 3 + 3 + -8 + 1. Are n 