et x = 73 - 73.09. Is 1/3 at most x?
False
Let b be (4 - 7) + 0 + 3. Let l be (-6)/(((-4)/(-3))/(-2)). Suppose -i - 2*c + l = 0, -3*i + 4*c = -1 + 14. Which is smaller: b or i?
b
Let o(u) = u**2 + 8*u + 5. Let g be o(-5). Does -14 = g?
False
Let a(b) = b**3 + b**2 - b. Let f be a(0). Let s = 20 + -17. Suppose f = 5*n - s*n + 4. Is n < -2?
False
Let a be (9/18)/(2/(-4)). Which is greater: -2/19 or a?
-2/19
Let y = -12 - -15. Let p(i) = i**3 - 4*i**2 + 4*i - 4. Let g be p(y). Let s = -4 - -2. Are g and s unequal?
True
Let v = -19/2 + 59/6. Let h(m) = -m**2 - 10*m + 10. Let r be h(-10). Suppose 4*a = 5*u - 25, 0*u + 3*a = -5*u - r. Which is greater: v or u?
u
Let t be (-1 + 5 + -1 - 3)/1. Let q(n) = -n**2 + n + 1. Suppose -5*z + 2 = 7. Let g be q(z). Which is smaller: g or t?
g
Let x(p) = p + 7. Let h be 1*-5*(-8)/(-5). Let m be x(h). Let o be 4 - -2*(0 + m). Is 2 greater than o?
False
Let n = -0.1 + 0.3. Let m = -0.6 + -0.4. Which is smaller: m or n?
m
Let j(m) = m**3 + 7*m**2 + 5*m - 5. Suppose 23 = -2*w - 15. Let t = w + 13. Let y be j(t). Do -3/11 and y have different values?
True
Let u be 0 + (-3 - -3) + 1. Let d be ((-28)/(-8))/(u/2). Suppose 4*c - 4*s - 3 = -d*s, 0 = 2*c + 2*s - 2. Which is smaller: -2/11 or c?
-2/11
Let n = 8 - 2. Suppose -2*b - n = 2*w, -4*w - 6 = 5*b + 6. Which is greater: w or 0?
0
Suppose -w = -5*w. Is 3/14 smaller than w?
False
Let q = 3 + -6. Is q < 1?
True
Let a be 4 - 2 - (1 + -1). Suppose 3 = -4*c + a*q - 9, 0 = -3*q. Let h = -7 + 5. Which is greater: c or h?
h
Let z = 37633243/554790 - -2/92465. Let a = -68 + z. Let t(m) = -3*m + 2. Let h be t(1). Which is smaller: h or a?
h
Suppose 80 = 2*y + 20. Let q = -61/2 + y. Is q less than -1?
False
Let m(o) = 11 - 2*o**2 - 6*o**2 + 7*o**2 + 6*o - 3. Let s be m(6). Are s and 7 nonequal?
True
Let w = 5 + -33/7. Suppose 5*r = r - 12. Let k be (-1)/2*(-4)/r. Which is greater: k or w?
w
Suppose -f + 1 = 4*n, -f + 1 = 5*n + 5. Which is bigger: 20 or f?
f
Suppose -5*a - 4 = -2*r + 10, 2*a + 23 = -5*r. Let u be (a/(-1) - 0) + -1. Let z be -1 - -2 - (-3)/u. Is 2 at least z?
True
Let q(a) = -a**2 + 6*a + 1. Let d be q(5). Let y = d - 8. Which is smaller: y or -1/2?
y
Let y = 271/2 - 17885/132. Which is greater: y or 0?
y
Let f = -27 + 28. Does f = 1/15?
False
Let w be -6*1/(-2) + -7. Let f be (-12)/60 - w/(-10). Is 1/4 > f?
True
Let s = 1.3 - 1.2. Which is bigger: s or 6/11?
6/11
Suppose 0 = -5*a + 8*a - 6. Suppose -a*r + 12 - 10 = 0. Is -1/6 at least r?
False
Let j(n) = -n**2 - 4*n + 2. Let v(b) = -b + 7. Let u be v(11). Let h be j(u). Which is bigger: h or -0.1?
h
Let z(l) = -l**2 + 2*l**2 + 0*l**2 + 0*l**2 + 1 - 14*l. Let y be z(14). Which is smaller: 2 or y?
y
Let s be (2/10)/(18/(-45)). Which is smaller: -5 or s?
-5
Let x be (-4)/(-26) - (7520/(-2665) - -3). Is x greater than -1?
True
Suppose u - 4 + 8 = 0. Which is smaller: -5 or u?
-5
Let a = 0.12 - 0.12. Is a smaller than 0?
False
Let j(i) = i**2 - 4*i - 3. Let s be j(4). Suppose -4*t = -t + 9. Are s and t equal?
True
Suppose -5*o + 1 = -89. Let i = o + -6. Let u(d) = d**2 - 12*d + 1. Let h be u(i). Which is smaller: h or 4/5?
4/5
Let j(d) = d**2 + 7*d - 8. Let s be j(-6). Is s != -13?
True
Let k be (-1)/(-1 - (-10)/(-4)). Are k and -43 equal?
False
Let s = -83 + -109. Let k be (-1343)/7 + 2/7. Let r = s - k. Is r less than 0?
True
Let p be (4 + -2)*(-6)/4. Let l be 26/(-4) - (-9)/18. Let w(c) = c**3 + 6*c**2 + 2*c + 8. Let f be w(l). Which is smaller: p or f?
f
Suppose 0*h + h - 25 = 0. Let a be h/10*6/5. Which is greater: a or 4?
4
Let c be (-4)/6 - 36/27. Let t be -3*-2*10/(-24). Do t and c have the same value?
False
Suppose -3*r = -f + 20, -2*f = -r - 0*r - 5. Suppose 5 = -5*m - w - 17, -4*w = m - 7. Which is smaller: m or r?
r
Let a(h) = h**2 + 4*h. Let b be a(-5). Let p be (-2*b)/((-2)/2). Suppose -2*v + 3*r + 13 = 2*r, 3*v - 2*r = 17. Is v != p?
True
Let y = -9 + 17/2. Let u be (-2)/(6*(-1)/(-9)). Is y at least as big as u?
True
Suppose 54 = -f - f. Let a be 6/33 - f/33. Which is bigger: 1/4 or a?
a
Let m be (-1)/1 - (-2)/2. Let a(b) = -b**2 + 7*b - 1. Let w be a(7). Let j = w + m. Which is greater: 2/13 or j?
2/13
Let s be (-2)/5 + (-532)/(-855). Suppose -3 = -c - 2*r, -6*c + 15 = -c - 5*r. Suppose 8*w = c*w. Is s bigger than w?
True
Let a = -1094059991/3453018295 + -319/224645. Let c = -2/809 - a. Let h = c + -64/323. Are h and 0 equal?
False
Let i(d) = -d**2 + 5*d + 8. Let c be i(7). Let v be 2/c - (-2)/4. Are v and -0.1 equal?
False
Suppose b + 4*x - 2 = -17, 3*b - 5*x + 11 = 0. Which is bigger: -0.05 or b?
-0.05
Suppose 3*j + 46 = -4*d - 6, 5*j = 2*d + 52. Suppose 3*k - 3*i = 33, k + 4*k = 2*i + 64. Let f be 4/d - k/(-8). Which is greater: f or -1?
f
Let y = 1 + 0. Are 1 and y nonequal?
False
Suppose 3*c = -4*p + 2*p - 10, -5*p = -3*c + 25. Which is smaller: 2/157 or c?
c
Let l = -2 + 7. Suppose -5*o - 62 = -3*k, -o - l*k + 4 = -6. Is -9 equal to o?
False
Let x = -122 + 121.9. Let w be ((-4)/(-6) - 1) + 0. Is x > w?
True
Let p = -304 - -304. Let m = -0.1 - 0.9. Are m and p equal?
False
Let u = -85.3 + 85. Which is bigger: 16 or u?
16
Let d = 22 - 23. Does d = 1/3?
False
Let a be 2/8 + 99/36. Let l = -2 - -3. Let u = l - a. Is u at least -1?
False
Let x(g) = 6*g**2 - 1. Let k be x(-1). Let r = 5 + 0. Is k at least as big as r?
True
Suppose -2*f - 18 = -5*f. Let n = 19/3 - f. Which is smaller: 1 or n?
n
Suppose 1 + 7 = -4*n. Let j(b) = -2*b - 2. Let y be j(-4). Let w = y - 9. Is w greater than n?
False
Suppose 9 = -t + 13. Let b be (-18)/4 - (-6)/t. Let h be 6/(-4)*8/3. Which is greater: b or h?
b
Suppose 0 = 2*f - 4*l + l - 26, -5*f + 5*l = -75. Is 19 <= f?
True
Let y = 56 + -223/4. Is 1 bigger than y?
True
Let u = -9 - -6. Let r be (6/4)/((-6)/8). Do u and r have the same value?
False
Let s = 67.1 - 67. Is s less than or equal to 139?
True
Let b = -0.016 + -0.184. Which is bigger: b or -19?
b
Let f = -0.037 - 6.163. Let c = f + -2.8. Which is smaller: c or 0.2?
c
Suppose -2*x + 4*t = t - 9, 0 = -2*t - 10. Let a be (2/6)/(1/(-3)). Is x bigger than a?
False
Let u be -1 + 3 - 1 - 1. Suppose 3*j = -2*t + 20, 2*j + 5*t - 23 = 5. Which is greater: u or j?
j
Let a be 1/(18 + 3) - 0. Is a >= 1?
False
Let k = 44 - 41. Is k less than -5?
False
Let j be (2/4)/(-5 + 3). Let n = -2 - 0. Let o = n + 2.1. Which is smaller: j or o?
j
Let r(s) = 2 + 4*s + s - 10*s + 8*s. Let b be r(-3). Which is smaller: b or -5?
b
Let k = -0.2 + 0.5. Let c = 247 - 246. Is k >= c?
False
Let o = -140 + 300. Let t be (-4)/(-18) + o/495. Is t != 2?
True
Let p(q) = q + 22. Let y be p(-19). Let v(f) = f + 12. Let w be v(-10). Does y = w?
False
Suppose 0 = 5*t + 5*f - 5, 3*t = -0*t + 4*f + 3. Is -1/19 bigger than t?
False
Let c = 157/14 - 3719/336. Let o = c - -3/16. Suppose -j - 3*j = -k + 11, 2*k - 7 = 3*j. Which is smaller: k or o?
k
Let r = 411/7 - 59. Suppose -29 = n - i, -4*i - i + 41 = -n. Let m be ((-4)/(-10))/(n/(-10)). Is m != r?
True
Let m(q) = q**3 + 5*q**2 + 6*q + 4. Suppose -5*l - 2*u - u - 5 = 0, -2*u + 10 = 0. Let k be m(l). Is -5 < k?
True
Let n = 2.94 + 0.06. Let y = n + -7. Is 2/3 at least as big as y?
True
Let a = 1.1 - -6.9. Which is bigger: -0.1 or a?
a
Let f be 3/(-6) - (-20)/8. Suppose 5*r - 2*s = 13, -f*s + 11 = -2*r + 5*r. Suppose -r*p - 5 = 2*p. Is -1/4 not equal to p?
True
Let x be (3 + -2)/(4/3). Suppose 19 = k - 2*p - 3*p, -3*k - 4*p = 0. Let d = 5 - k. Is d bigger than x?
True
Let g = -546 - -1069/2. Which is smaller: g or 0?
g
Let q be (-38)/12 + (-21)/(-7). Let s be (1*(-2 + 3))/(-1). Which is smaller: s or q?
s
Suppose 0 = 3*s + 5*q + 7, -2*s = -3*q - 7 - 1. Is 3/10 at most s?
True
Suppose 250 = 226*p - 221*p. Is p at most as big as 50?
True
Suppose -5*k - 1 = -21. Suppose 8 = -4*o + 2*q, 0*o + k*q + 4 = -2*o. Let m be 4/(-21)*(-3)/o. Is m <= 2/5?
True
Let d be -1 - 0*1/2. Let y be -1 + -2 - d - 1. Let w = -37 + 34. Is y greater than w?
False
Let j = 1/643 + -1317/19933. Is -0.1 not equal to j?
True
Suppose 30 = -2*i - 2*m, 0*i - 67 = 5*i + m. Let z = -15 - i. Is z < -1?
True
Let n = 1.1 + -0.1. Let p = -23.23 - -23. Let q = -0.43 - p. Is q not equal to n?
True
Let h(q) = -q - 2. Let x be h(-5). Suppose -2*p - z = x, -5*p + 0*z - 4 = -z. Let u = 0 + p. Which is smaller: u or 2/7?
u
Let a(r) = r. Let y be a(2). 