t r be ((-9)/(-6) - c)*2. Is r less than t?
False
Let i(d) = 4*d - 1. Let v be i(5). Which is bigger: -2/7 or v?
v
Let i be 0 + (-2)/2 + 3. Let m be (-24)/63 + i/(-7). Is m > -1?
True
Let r be (-2)/(-5) - 112/(-20). Suppose -r = 2*l + l. Is -2 at least l?
True
Suppose -v = 3 - 4. Is 18/11 greater than v?
True
Let z = 1 + 32. Is z at most -1/2?
False
Let s = 2629/7 + -375. Let p be 0/((1 - 3)/(-2)). Is s equal to p?
False
Let u = -8 + 8.2. Let a = u - -0.3. Is a bigger than 0?
True
Let b = -23.16 - -1.16. Does b = 2/9?
False
Let r be (6/(-2))/((-18)/4). Let w(q) = q**3 + 7*q + 1 + 0*q**3 - q - 3 - 6*q**2. Let x be w(5). Does r = x?
False
Let c = -2.7 + 0.7. Let o = -0.3 + 1.3. Let t = 1.1 - o. Are t and c equal?
False
Let p be -2 + 15/(-10) - -4. Which is smaller: p or 1?
p
Suppose 0 = -4*l - 14 - 6. Let d = 5 + l. Let q = -1 - d. Is -2/7 not equal to q?
True
Let b(n) = 2*n + 4. Let p be b(-3). Let m(y) = 4*y - 2. Let k be m(-1). Let t(s) = s**2 + 8*s + 10. Let d be t(k). Is d bigger than p?
False
Let n(h) = -h**2 - 5*h - 6. Let x be 26/(-6) - (-2)/6. Let j be n(x). Let a be 3/4 + j/(-8). Is 0 at least as big as a?
False
Let y = -3 + 9. Suppose y*m - 7 = -3*n + 2*m, -5*m + 5 = 0. Which is greater: n or 2/11?
n
Suppose 3*g - 180 = -2*g. Let o be (-2)/(-9) + 1/g. Suppose -r - 3 = -4*r. Which is greater: o or r?
r
Let b = -109 - -91. Is b greater than 0.4?
False
Suppose -3*q = 2*q + 5. Let f be (-2)/((-27)/(-24) + q). Let s be f/(-18) - 12/18. Which is greater: 0 or s?
s
Suppose 0 = -5*m - 25, 5*u - 35 = -0*m + 3*m. Suppose 7*h - 20 = -4*b + 3*h, -3*h = u*b - 15. Let x be 4/10 + 2/5. Is b <= x?
True
Let f be (-2)/5 - (-171)/15. Let q = -6 + f. Are q and 5 non-equal?
False
Let v be -1*1*(0 - (6 - -118)). Is v less than 124?
False
Let r be (8/(-108))/(1/3). Let w(i) = -i + 2. Let k be w(-2). Let l(y) = -y + 4. Let n be l(k). Which is bigger: r or n?
n
Suppose -2 = -i + 4*l + 2, 3*i = 2*l + 2. Let m = -18 - -22. Let c be m/10 + (-110)/150. Are c and i equal?
False
Let d = 2.73 - 1.66. Let r = -0.07 + d. Suppose -5*z = -9 - 6. Are z and r unequal?
True
Let x = -6 + 4. Let b be 0 + (x - -2) + -14. Which is bigger: -1 or b?
-1
Let h = -2/73 - -121/1752. Which is bigger: 0 or h?
h
Let c = 8 - 24. Is c smaller than 0?
True
Let q = 23 - 16. Let f = -5 + q. Is f >= 1?
True
Suppose 10 = 3*k - 5, 33 = j + 4*k. Is j equal to 11?
False
Suppose 0*f = -5*f. Let d = -9 + 6. Let w be (3/d - f)/1. Is -1/2 <= w?
False
Suppose 0 = -3*l + 2*l + 4. Suppose 6 = l*i - 2. Suppose -1 = -3*p + i. Is p greater than 0?
True
Let c be -2 + (3 - (-1300)/18). Suppose 4*a - 365 = -a. Let s = c - a. Which is smaller: s or 2/5?
s
Let q = 1.9 - 2. Is -0.01 less than or equal to q?
False
Let s = 27 - 26. Which is smaller: -2/93 or s?
-2/93
Let f be -3 + (-123)/(-18) - 4. Is -0.1 >= f?
True
Let z(k) = 2*k + 3. Let o be z(-6). Which is greater: o or -10?
o
Suppose -m - 34 = -4*k - 2*m, -5*k - 2*m = -44. Suppose k - 2 = v - 2*x, -20 = 5*x. Does -2 = v?
True
Let s be (-2)/7 - (-66)/(-14). Let o = s + 5. Is 1/4 not equal to o?
True
Suppose 0 = 2*b - 2*d - 2*d + 58, 3*d = 0. Let t = -41 - b. Do t and -11 have different values?
True
Let l = 1.4 - 1.68. Let h = 0.08 + l. Which is smaller: h or -5?
-5
Let k be (24/28)/((-1)/7). Let d(f) = -f**3 - 7*f**2 - 7*f - 6. Let n be d(k). Is 2/23 equal to n?
False
Let u = -19 - -19. Let t be (-9)/(-12)*(-4)/(-1). Let y be (-1)/t + 3/9. Is y >= u?
True
Let w be 2/3 - (-39)/(-72). Which is bigger: -1 or w?
w
Let d(s) = s**3 - 7*s**2 + 5*s + 6. Let k be d(6). Suppose k = -6*i + 2*i. Which is bigger: 2 or i?
2
Let x = 0.005 - 5.005. Which is bigger: x or -0.1?
-0.1
Let t be (-8)/56 + (-3)/(-14). Is t > 1?
False
Let b be 12*1*9/(-24). Let y = 5 + b. Let f = -1.05 - -0.05. Which is greater: f or y?
y
Let n be (1/2)/((-6)/72). Let q(a) = 3*a**3 + a**2 - a. Let s be q(1). Let u be (s/n)/((-9)/6). Is u bigger than 1?
False
Let v = -545/411 - 1/137. Let b = v - -2/3. Which is greater: b or 0?
0
Let t be (-1)/2 + (-14)/(-4). Suppose t*z - z = 2. Suppose 5*k - z = -16. Is -2 at least as big as k?
True
Let y(k) = k + 10. Let h be y(-5). Suppose -h*i = -2*u, 2*i - 5*u = -i - 19. Let g = i - 1. Is g greater than or equal to 4/9?
True
Let g = 3/79 + -185/711. Is -4 >= g?
False
Let u(y) = -y**3 - 12*y**2 - 10*y + 10. Let r = 7 - 8. Let v be r*(11 + 0/(-3)). Let z be u(v). Are z and -1 equal?
True
Let m(n) = n**2 - 15*n + 14. Let q be m(14). Which is smaller: q or -1/2?
-1/2
Let q = 47 + -46.77. Let u = q + -3.23. Let y = 0.03 + -2.03. Is u != y?
True
Suppose -2*t + 9*t = -49. Which is smaller: -8 or t?
-8
Let u be 38*1*(-3)/12. Let y = u - -10. Is -0.04 less than or equal to y?
True
Suppose -3*c - 1 = 5. Let b = 4 + c. Suppose b*s = -s. Is s <= -1?
False
Let h = -0.1 + 0.3. Let g be (1/(3 + -4))/1. Let y be -2 + 116/36 + g. Which is smaller: y or h?
h
Suppose 16 - 19 = -g. Suppose 4*k + 19 = 7. Let a = k + g. Do a and 2 have the same value?
False
Let r(h) = -h**3 + 5*h**2 + h + 1. Let y be r(5). Let t be 1 + (3 - y)/3. Are t and 1 unequal?
True
Let t = 1/44992 - -6208181/32169280. Let k = -1/143 - t. Which is smaller: k or 0?
k
Let w = 2.6 + -2.5. Which is smaller: -16 or w?
-16
Suppose -3*d - 4 = -1. Let r = -7 + 10. Suppose -2*u - 2 = 0, -2*z - 5*u = -r*z + 3. Is d smaller than z?
False
Suppose 2*i + 3*i = 15. Suppose -2*y - i = -y. Are y and -2 equal?
False
Suppose 5 = t + 2. Suppose -t*l + 4*w + 8 = 0, 21 - 3 = 5*l - 2*w. Which is smaller: 3 or l?
3
Let f(d) = -d**3 + 6*d**2 - 6*d + 5. Let t be f(5). Suppose t = 2*b + b. Which is smaller: 16 or b?
b
Let u = 1 - 0. Let n = -14 + 15.1. Let c = u - n. Is 0.1 equal to c?
False
Let n = 4 + -2. Let q be n/(2*(-2)/6). Which is smaller: -2 or q?
q
Let d(o) = -3 - o - 3*o + 7 - 2. Let g be d(-2). Let p be ((-4)/g)/((-12)/10). Which is bigger: p or 0?
p
Let k = -3 + 9. Let x = k - 11. Is -1/2 at least x?
True
Suppose -n + 2 - 1 = 0. Suppose n + 3 = -2*u. Which is greater: -3 or u?
u
Let n = -12 - 17. Is n <= -28?
True
Suppose 0 = -3*w + a + 70, -w - 2*a + 4*a + 25 = 0. Let z = -16 + w. Suppose 0 = -3*g - 15, 2*h - 3*g = -0*h + z. Are h and -3 unequal?
True
Let a = -11 + 17. Let z = -6.1 + a. Is -14 bigger than z?
False
Let x = 0.4 - 0.7. Suppose -3*d + 16 = d. Suppose -d*c = 5*o + 8, o - 3*c = -4*c - 2. Are o and x equal?
False
Suppose m + 0*m - 2 = 2*s, -m = 0. Let f be -2 - 0/(3 + 0). Which is smaller: f or s?
f
Suppose o = -3*o. Suppose -4*d + 3 + 2 = 5*v, o = -2*d - 2*v + 2. Which is bigger: d or -2?
d
Let a be (2 + 64/(-20))*(-3)/9. Let u be 4 + (1 + 1)*-1. Suppose m = -m - u. Do m and a have the same value?
False
Let y be 6 - (0/(-4) - 2). Let z be (52/y)/((-3)/(-2)). Is z < 4?
False
Suppose 4*b - 4*q + 9*q = -53, b - 8 = 3*q. Let r be (2/b)/(4/6). Suppose 2 = -3*g + g. Which is smaller: g or r?
g
Let i = -47 - -47.1. Which is bigger: i or 5/2?
5/2
Suppose -1 = -p + 7. Suppose -90 = -p*r + 3*r. Let v = -88/5 + r. Which is greater: -1 or v?
v
Let p = -1 - -17. Suppose -8*h + 72 = -64. Are p and h equal?
False
Let i(y) = 9*y**2 - 4*y + 3. Let w be i(2). Suppose -1 = -3*h - w. Let v be 4/h - 22/(-30). Is -2/5 at most as big as v?
True
Let a = 35 + -87. Let r = 52.94 + a. Let w = 0.06 + r. Which is bigger: w or -2/11?
w
Let f(g) = g**2 + 3*g + 2. Let b be f(3). Suppose r + 3*r = -b. Which is greater: -4 or r?
-4
Let s be (-1)/(6/4)*(-42)/28. Let f be (-4)/(-3)*(-2)/8. Which is smaller: s or f?
f
Let p = 59 + -50. Is 2/3 at least as big as p?
False
Suppose -j + 4*j - 66 = 0. Is j > 22?
False
Let f = -0.005 - -0.005. Is f less than -23/3?
False
Let p(w) = -5*w**2 - 2*w + 1. Let c(u) = u**2 - u + 1. Let b(i) = -6*c(i) - p(i). Let v be b(6). Suppose v*d = -0*d. Does -1/5 = d?
False
Let z be (7 + -1)*6/12. Suppose 3*k = -0*k - z, 3*o - 4*k = 4. Let v(q) = -q**3 + 9*q**2 + 9*q + 7. Let a be v(10). Which is bigger: o or a?
o
Let c be (3/(-28))/(12/(-16)). Which is smaller: -17/3 or c?
-17/3
Let l = 1674/7 + -239. Let u = -0.4 + 0.2. Which is smaller: u or l?
u
Let i be ((-63)/28)/9 - 43/4. Suppose 4*t + 3 = -41. Is i smaller than t?
False
Suppose -r = -3*w - 6*r + 99, 0 = 5*w - 5*r - 125. Suppose -b = -0*b - 4*d - w, -3*b - 4*d + 20 = 0. Let s = b - 5. Is 7 at most as big as s?
True
Let v(n) = -n**3 - 10*n**2 + 2*n + 7. Let a 