et f = -1175.9 - -1250. Is f less than 2/3?
False
Suppose -2*q + 57 = -249. Is 151 smaller than q?
True
Let f = 33.19 - 33. Let c = -0.39 + f. Let y = 0.1 + c. Is y at least as big as 1.5?
False
Suppose -4*l - 16 = 4*f - 4, 0 = -2*f + 2*l + 6. Is f at least 353?
False
Let p = -35 - -16. Let b be (-4)/10*(-5)/p. Is 0 less than b?
False
Let m = 27358/23 + -1190. Which is greater: -1 or m?
m
Let n = 216 - 434. Is -216 at least n?
True
Let f = 28 - 11. Let m = f - 16. Suppose -5*q + 10 = -20. Which is smaller: m or q?
m
Let t be 9 + 10 + -21 + 24. Is 8 < t?
True
Let k = -0.1 + 0.1. Let d = -0.2 + k. Let t = -430 - -859/2. Which is smaller: t or d?
t
Let m = 0.207 + 168.793. Let u = 125 - m. Is u <= 0?
True
Let k be (-146)/657 + ((-28)/(-18))/(-2). Is k greater than -5/18?
False
Let z be (-12)/(-14)*18/(-27). Let r(h) = h**3 + 4*h**2 - 8*h - 12. Let o be r(-5). Suppose -o*w - i - 3 = -1, -5*w + 4*i = -8. Which is smaller: z or w?
z
Let x = 292 + -240. Do 54 and x have different values?
True
Suppose 2*u + 5*x - 139 = 0, -3*u - 3*x = -183 - 21. Is 66 at most as big as u?
True
Let w = -6.7 - -6.65. Which is smaller: w or 3/4?
w
Suppose 0 = -3*a - 37 + 145. Suppose 3*r - 9 = 3*k, 3*k + 2*r + a = -k. Let i be 3/k + 240/(-28). Which is smaller: -10 or i?
-10
Let o = 17 + -20. Let z = -0.02 + -0.08. Let u = 0.1 - z. Which is smaller: o or u?
o
Let z be (-116)/10 + (-12)/(-20). Let r be 4 - -1 - (-7 - z). Are 1/11 and r equal?
False
Let w = -8 - 0. Let y = -12 - w. Let f(d) = -d**2 + 5*d + 2. Let a be f(6). Is y >= a?
True
Suppose 5*k + 6 - 13 = -4*q, k = 5*q + 13. Let p be 39/(-10) - (q + -2). Are p and -0.2 non-equal?
True
Let a = -184707/85 + 2173. Let g(l) = -56*l - 112. Let w be g(-2). Which is smaller: w or a?
a
Suppose z - 4*h + 73 + 17 = 0, 4*z = -3*h - 417. Let l = -50 - z. Do 51 and l have the same value?
False
Suppose -64 = -16*w + 112. Let l = 186 - 110. Let p be l/(-539) - (-2)/w. Are p and -1 nonequal?
True
Let q = -255 - -124. Let o = 121 - q. Let l be 2/(-12) - 30/o. Which is smaller: l or -17?
-17
Suppose -f + 4*n - 30 = -43, -2*n - 8 = -2*f. Let u = 23 - 41. Let k be 0 - 0 - 4/u. Does k = f?
False
Let q be 4 - (387/24)/3. Suppose x = -2*p + 5*x + 8, -2*p + 3*x + 6 = 0. Is p greater than or equal to q?
True
Let b be (2/5)/((-55)/275). Let f be 4/(-10) + (-36)/10. Are f and b unequal?
True
Let k = 529/310 + -56/31. Which is bigger: k or 1?
1
Let h = 3 + -2.8. Let p = -1094 + 1089. Is p < h?
True
Suppose -38*k + 1183 = -51*k. Is -89 greater than or equal to k?
True
Suppose -t = -5*t + 8. Suppose 0 = q + t*q - 15. Suppose -5 = 5*u + q. Is -2 bigger than u?
False
Suppose 5*j = 3*j + 12. Let h be (-38)/14 - j/21. Let w = h - -8. Which is bigger: 6 or w?
6
Suppose -3*n = 4*j - 7*j - 9, -j + 2 = 0. Suppose 6*w = n*w + 100. Let o be (-56)/w - 3/(-5). Is o smaller than 1?
True
Let g(r) = -r + 15. Let f be g(13). Let a = 7 + f. Suppose a = o + 4*z, 5*o - 9 = -2*z - 0. Are 4/13 and o non-equal?
True
Let c(z) = z + 20. Let n be c(-10). Is 2 greater than n?
False
Let u be (-3816)/30*(-5)/(-14). Which is smaller: -45 or u?
u
Let z be 74*(-3 - (-92)/32). Let d(q) = -2*q**2 + 4*q - 3. Let x be d(3). Are z and x nonequal?
True
Let h = 434 + -3475/8. Which is smaller: 12/5 or h?
h
Suppose 6*v = 3*v + 12. Suppose -3*i + 3*p = -0*i - 3, 4*p = -v*i + 4. Let a be (i + (-50)/54)*-3. Which is bigger: -1 or a?
a
Let j be (-1)/2 - 55/2. Let f be (-21)/j*2*2. Suppose f*r + 1 = 4*r. Which is bigger: r or 2/13?
r
Let x be 2/14*(80 + 333). Is x <= 1?
False
Suppose 3*u = 3*a - 12, 0 = 2*u + 5*a - 24 - 3. Let f be 6 - (u - (-1 - 0)). Suppose i + 3*x = -9, -5*i - 8 = 4*x + f. Is 1 bigger than i?
True
Let d be 5/(-10) + -1 + 2. Let m be (-4946)/40 - (-4)/16. Let z = m + 123. Are d and z equal?
False
Let d(i) = 280*i + 218. Let u be d(4). Is 1338 not equal to u?
False
Let l(a) = a**3 + 7*a**2 + 5*a - 4. Let z be l(-6). Suppose z*k + 10 = -k + 4*x, 0 = 4*x + 8. Let r be (-2)/(-3)*-6*(-1 + 3). Are r and k equal?
False
Suppose -20*d - 513 + 93 = 0. Is d smaller than -19?
True
Let i be ((-174)/(0 - -2))/(-1). Let u be (-1 - (-93)/i)*6. Let c = 3/203 + u. Which is smaller: 1 or c?
c
Let y = 4 - -2. Let w(i) = i - 13. Let o be w(y). Let x = 5 + o. Which is smaller: -2/3 or x?
x
Suppose 0 = 4334*n - 4335*n - 8. Let j = 7 - 31. Let y = j + 17. Is n bigger than y?
False
Let w = -667 + 686. Which is greater: w or -4?
w
Let i = 19.38 + -2.28. Let h = i - 18. Let p = -1 - h. Are 2/5 and p nonequal?
True
Suppose -6 = 60*n - 6. Which is smaller: 379 or n?
n
Let o = -591/2 - -268. Which is smaller: -28 or o?
-28
Suppose 12*g = 7*g + 55. Let h be ((-2)/(-4))/(g/(-22)). Let r = -5284/87 + 182/3. Is h < r?
True
Let i = 236 - 2120/9. Suppose -12 + 4 = -4*t. Let m = -3 + t. Which is greater: m or i?
i
Let g = -53 - -49. Let y be (-3 + (-4)/g)/38. Which is bigger: y or 1?
1
Let r = -2 - 1. Let l be 6*((-3)/(-2))/r. Let i be 4/l*30/(-32). Which is greater: 0 or i?
i
Let f be 10/8*-1*(-4)/(-20). Suppose 6*w - w = 0. Suppose w = 3*o - 2*o - 4*x + 4, 4*o + 5*x = 5. Which is greater: f or o?
o
Suppose 0 = 3*f - 4*r - 566, -5*f - 161*r = -156*r - 885. Is 180 less than f?
True
Let m be (-6)/(0/2 + -1). Let c be (-16)/(-3)*-1 + (-15)/(-45). Let i = m + c. Is i smaller than -2?
False
Let r = 1120.9 + -1205. Let g = r + 84. Are g and -87/2 non-equal?
True
Suppose 0 = 4*s - 2*s - 16. Suppose -n = -g + 8, -2*g - 5*n + n - s = 0. Suppose -2*j + 2*o = -2, j + 0 + g = -4*o. Is j <= -7?
False
Let f = -97 - -232. Let p = f - 135.06. Are -2/7 and p non-equal?
True
Let q = -1110013272/665 + 1669195. Let p = 12/133 + q. Is p > 4/5?
True
Suppose -7 = -4*g - 31. Let r = g - -17. Let u(q) = 6*q**2 + q + 1. Let b be u(1). Is r greater than b?
True
Let h be (-5 + 2)/(1/(-9)*1). Is 26 not equal to h?
True
Suppose -16*l + 13 + 19 = 0. Suppose -5*d + 7 = l*d. Let m be 2 + 0 - (-36)/(-17). Is m at most d?
True
Let o = -1756/9779 + -2/889. Let w(g) = -g**3 - 3*g**2 - g - 3. Let s be w(-3). Are o and s equal?
False
Suppose -45*a + 146 + 79 = 0. Which is bigger: a or 19/3?
19/3
Let l = -1296 - -1548. Is l equal to 251?
False
Let b be (-161)/(-35) + (-3)/5. Let t(a) = -2*a + 9. Let z be t(b). Which is smaller: -1/5 or z?
-1/5
Suppose 4*s = 2*o + 10, 0*o + 4*s - 5 = -3*o. Let w be (o - 10/(-4))*(-36)/(-1512). Is 0 > w?
False
Let t(l) = -l**3 + 3*l**2 + 8*l - 5. Let v be 15/(-25) - (-28)/5. Let i be t(v). Let n = -8 - i. Which is smaller: 6 or n?
6
Let f = 706 + -706. Is -21 <= f?
True
Let w = -24 + 27. Let a be (w/36)/(2/28). Which is bigger: a or 2/11?
a
Let n be -6*(2 - 51/6). Do 40 and n have different values?
True
Suppose -6 = p + p. Let d = -2 - p. Do d and -3 have different values?
True
Suppose -5*p + 33 = -27. Let f be 6*(45/(-10) - -2) + 1. Let c = p + f. Is 0 greater than or equal to c?
True
Let z be ((-11)/(-4))/((-9)/(-36)). Let k = 3 - z. Which is smaller: -6 or k?
k
Let d = -3706.93 + 3743. Let k = -36 + d. Which is bigger: k or 0.1?
0.1
Let u = -14240 - -42191/3. Are u and -175 equal?
False
Suppose 17*r = 22*r + 230. Let t = 45 + r. Which is smaller: -23 or t?
-23
Let r = -30 - -29. Which is smaller: 2.86 or r?
r
Let u = -965 + 8713/9. Which is greater: u or 3?
u
Let m(y) = 59*y**3 + 3*y**2 - 1. Let d be m(1). Which is smaller: 65 or d?
d
Let s = -7 - -4. Let y = 3 + s. Let q = -6 + 8. Is y less than or equal to q?
True
Let h be (2/(-7))/((-7)/931). Which is smaller: h or 268/7?
h
Let l = 5 - 11. Let d = 8 + l. Let x = 511.02 - 511. Is x equal to d?
False
Let v = 96 - 314/3. Let j = 26 + -34. Is v bigger than j?
False
Let h be (-2617)/(-15) + 1/5 - 0. Let n = -90169/30 - -17005/6. Let m = n + h. Which is smaller: -1/2 or m?
-1/2
Suppose -25 = -2*x - 5*l, -3*x - l + 5 = -2*x. Suppose x = 21*u - 26*u - 70. Is 0 bigger than u?
True
Let w be 402/(-9)*45/10. Which is bigger: w or -200?
-200
Suppose 3*y - 11 = 31. Let z be 28/(-20) + (-834)/(-60). Which is smaller: y or z?
z
Let f = -132 - -128. Let w be 302/(-8) - 4/4. Let g = w - -39. Does g = f?
False
Let o = -8 - -8.6. Let f = o - -18.4. Let u = f + -18. Are u and 0.1 equal?
False
Suppose -5*a - 13 = 2*y, -a = 3*y - 2*a - 6. Let r be (-3 - y*-2)*(-7 + 8). Is r > -10/7?
True
Suppose -6*t - 131 = -155. Let y be 4/(-6) - (-140)/12. Suppose -3*m + y = p, m = 6*m - 