ue
Let u = 27 + -26.986. Let x = u - 0.014. Which is smaller: x or 1/42?
x
Let a = -0.31 + 13.31. Let o = 11 - 18. Let k = o + a. Which is smaller: 1/3 or k?
1/3
Let x be (2/90)/(1/106). Let v = -14/5 + x. Suppose 0 + 5 = 5*j. Is j at least v?
True
Suppose -56*s = -40*s - 208. Is s not equal to 13?
False
Let i be 0 + -1*(-20)/(-25). Which is smaller: 13/4 or i?
i
Let b = -7 - 6. Let z = b - -13. Which is bigger: z or 2?
2
Suppose -5*l + 4*p - 363 = 103, l = -p - 86. Let t be l - 3 - (-2 + -2)/(-2). Which is greater: -94 or t?
-94
Let k = 49.0396 + -0.0396. Is -1/3 bigger than k?
False
Let q be (-2)/(12/(-5) - -2). Suppose -3 = 2*w - 3*v, q*w - 4*v + 3 = 2*w. Is w <= 13/3?
True
Let p = -14.44 - -14.64. Which is greater: 230 or p?
230
Let l = -624 + 630. Which is greater: l or 52/9?
l
Let h = 307 - 929/3. Let p be -19 - (-2 - (-1 - -3)). Let i = p - -13. Which is greater: i or h?
i
Let x(w) = -w**2 + 14*w - 24. Let h be x(5). Is h <= 18?
False
Suppose -10*z + 378 = 53*z. Which is smaller: -3 or z?
-3
Let a = 1488158/183 - 8132. Let u = 1 - 1. Which is bigger: a or u?
a
Let v(r) = 3*r + 3. Let w be v(-1). Suppose 8 = p + 3*f - 0*f, 2*f - 6 = w. Let c be ((p - 3)*-5)/1. Does 21 = c?
False
Let g(f) = -f**2 + 9*f + 11. Let n be g(10). Which is smaller: -8 or n?
-8
Let v be 4530/(-315) - 2/(-3). Do v and -13 have the same value?
False
Let h = -0.9 + -63.1. Let n = -63 - h. Is 1.1 smaller than n?
False
Let s = -2945/7 + 421. Is s smaller than 150?
True
Let l = 9 + 2. Suppose 4*q = l - 3. Suppose 0 = -5*x + 4*x + q. Which is smaller: -3 or x?
-3
Let v = 17.4 + -14.5. Which is smaller: v or 2/5?
2/5
Let p(x) = 2*x**3 + 3*x**2 + 3*x + 11. Let f be p(-3). Is f at least as big as -27?
True
Let k be (-10)/(-82)*(-176)/(-10120). Which is greater: 0 or k?
k
Let d = -55 - -14. Which is smaller: -122/3 or d?
d
Let w be (-54 + -1)*(693/55 - 11). Is w at most as big as -88?
True
Let t(w) = 2*w**2 + w - 1. Let l(c) = -1 + 7 - c - 3 + 4. Let b be l(9). Let x be t(b). Is x bigger than 6?
False
Let j(w) = -7*w**2 + 3*w - 1. Let v(f) = 6*f**2 - 2*f + 1. Let d(m) = -5*j(m) - 6*v(m). Let p = -12 + 9. Let r be d(p). Are 2/57 and r non-equal?
True
Let d = -1.276 - -0.276. Is -62 less than d?
True
Let v = 24.23 - 16.43. Which is bigger: -0.03 or v?
v
Let x = -0.2 - -1.2. Let k = x + -2. Let u = 159/7 + -23. Which is greater: k or u?
u
Let a(b) = b**2 + 18*b - 29. Let v be a(-20). Suppose 6*k - 11 + v = 0. Let s be 4/15 + (-2)/3. Is s greater than k?
False
Suppose l = -4*w + 17, -3*l + 7 = 8*w - 7*w. Is l at most 1/178?
False
Let u be 9*(-36)/24*(-146)/(-15). Let h = -131 - u. Which is smaller: h or 1?
h
Let o be ((-1)/(-3))/((-2)/6). Let b be 69/189 + o/7. Let f = 2 - 2. Is b > f?
True
Suppose 5 - 1 = -2*l, 82 = 2*s + 4*l. Suppose -3*w = -2*w - 3*v - 20, -5*w + s = -4*v. Suppose 4*z - w + 1 = 0. Is z != 2/5?
True
Let g = 31 + -5. Suppose 1383*v + 54 = 1385*v. Is v at least g?
True
Suppose -5*q = -3*m - 60 - 121, -2*q = -2*m - 74. Let r be 1 - -36 - (1 + 1). Do r and q have different values?
False
Suppose 3*l - 1 = 2*l. Let b = -10 - l. Which is smaller: b or -10?
b
Let f = -7 - -7. Let v(w) = -w**2 + f - 7 - 8*w + 8. Let y be v(-7). Which is smaller: y or 7?
7
Suppose -416*g = -403*g + 13. Suppose -4 = 2*v - v. Let d be v/35*7/6. Is d <= g?
False
Let c be -13*(-2 - (-2)/2). Are 128/9 and c unequal?
True
Let w = -10 - -13. Suppose -12 = -w*v + 3. Let o = -7 + v. Is o <= 2?
True
Let w be 4/14 - 4/14. Let k be 1/5 + (-1066)/130. Let h = w + k. Is h equal to -8?
True
Suppose -40*y - 143 = -503. Is 51/5 < y?
False
Suppose 5*q - 347 = -3*f, -q + 3 + 84 = 5*f. Let a = 0.5 + 0.5. Which is smaller: a or q?
a
Suppose -5*i - 2*w = 28, -4*i + 8*i = -5*w - 36. Let a be i/(3 - (-10)/(-2)). Suppose 5*v = a*c + 3, -4*v + 5 = -9*v. Is c at least -2?
False
Let x be 12/42 - (-1080)/(-56). Suppose -18 = -4*y + 5*y. Is y <= x?
False
Let u = -146.949 - 0.051. Let f = u + 160. Which is bigger: f or 2?
f
Let t be ((-12)/(-1540))/(6/(-12)) - 0. Which is greater: 0 or t?
0
Suppose 4*p - 5*i - 135 = p, 0 = -3*p + 3*i + 135. Suppose -o - p = d, 0 = -2*d + 13 - 5. Is o less than -50?
False
Let u = 55 + -54. Let c be (3*(-2)/(-198))/(u/6). Let q(w) = -w + 2. Let t be q(2). Is t at most c?
True
Let k = 1 - 1. Let j = 951 + -970. Let t be j/(-17) - (1 - k). Is -1 > t?
False
Let z(k) = k - 32 - 25*k + 15*k. Let h be z(-5). Is 14 <= h?
False
Suppose -4*y + 2*b = 54, 4*b = -6*y + 3*y - 57. Let t = -13 - y. Suppose -h - 6 = o, -o + 6 = t*h - 5*h. Are 0.2 and o equal?
False
Let f = -49.29 - -0.29. Let o = -49 - f. Let k = -18 - -287/16. Which is bigger: k or o?
o
Suppose -g - g - 6 = -2*c, 0 = -5*g + 3*c - 17. Let o be 0/g + 0/(-2). Is o <= 2?
True
Let k be (-11)/(-15) - (-28)/(-70). Let l = 1 + 1. Suppose q = 3*q + l. Which is smaller: k or q?
q
Let c = -331 - -591. Which is greater: c or 261?
261
Let h = -8.01 + -0.29. Let l = -0.7 + h. Let m = l - -10. Are -1/5 and m nonequal?
True
Let l = -679 + 679. Is -1/492 at least l?
False
Let f(r) = -4 + 16 + 1 + 3*r. Let l be f(-10). Is l less than -17?
False
Let z = -154 + 277. Are z and 0 equal?
False
Let v(w) = w**3 - 6*w**2 - 8. Let i = -9 - -15. Let k be v(i). Suppose -2*g - 12 = 4. Is g < k?
False
Let u(h) = 3*h + 2. Let d be u(1). Suppose 5*k - 2*l = 5 + 10, -d*l = 4*k - 45. Suppose -25 = -k*v, 2*v = 2*j + 3*j + 10. Is -0.11 not equal to j?
True
Let r be 35/(-7) - -5 - 3/8. Is r greater than or equal to 0.85?
False
Let x be 4/(-10)*5/23. Let h = -2002 + 1998. Which is smaller: x or h?
h
Let a(i) = -7*i - 2. Let s be a(4). Let q = -28 - s. Suppose -q*w = 2*w. Is -1 < w?
True
Let s(y) = 20*y + 2. Let f be s(-1). Suppose -1 = 2*w + 31. Which is smaller: w or f?
f
Let w be (2/(-6))/((-45)/(12 - 21)). Which is smaller: 1/2 or w?
w
Suppose -12*j = -13*j + 117. Which is smaller: 118 or j?
j
Suppose 52 = 12*c + c. Let j be (2 - 4/2)/(-2). Suppose j = -y - c*y. Is 1 bigger than y?
True
Let t(i) be the third derivative of i**6/120 + 3*i**5/20 + 2*i**3/3 - 2*i**2. Let j be t(-9). Suppose 5*r - j + 39 = 0. Is r >= -7?
True
Let x(h) = -h + 15. Let w be x(9). Is w < -33?
False
Suppose -10*f - 199 = -39. Which is bigger: f or -25?
f
Let n be ((-1664)/(-12))/(36/54). Which is greater: n or 207?
n
Let x be (8/(-20))/((-16)/(-1460)). Let o be (0 + -5)/(1/7). Let k = x - o. Is -3 equal to k?
False
Suppose 13 + 27 = -5*l. Let k = 28 - 48. Let o(h) = h**2 + 19*h - 28. Let c be o(k). Are l and c non-equal?
False
Let a(s) = -2*s**2 - 36*s - 33. Let o be a(-17). Let m = -6 - -10. Which is bigger: o or m?
m
Let s = 108 - 105. Suppose -3*x - 2*x + 29 = -s*b, -2*b = x + 2. Is -3 != b?
False
Let t = -1 + 1. Let m = 28784/13 - 5699687/2574. Let l = 1/22 - m. Which is smaller: l or t?
t
Let n be 3 + (-54)/((-3)/3). Let q be 19/n*3/(-20). Is -1 less than or equal to q?
True
Let b = 3126 - 2743. Is b bigger than 383?
False
Suppose 7*j = 2 + 19. Let h be (-18)/(-27)*j/(-2). Which is greater: 15 or h?
15
Suppose -4*u + 81 = -u. Suppose -2*d = d + u. Suppose 4*o + 18 = -22. Which is greater: o or d?
d
Let q = -851 - -7645/9. Let g be 16/(-88) + (-18)/22. Let r be (5/(-10))/(g/(-2)). Which is smaller: q or r?
q
Let g be 2/(-7) - (-1788)/84. Is g at least 17?
True
Let q be 4/(-2 - 0) - 1. Suppose c - 2*c = 4*f - 199, -f - 5*c + 64 = 0. Let m be 4/(-6) - f/21. Is m <= q?
True
Suppose c = 220 + 140. Let r be (-2)/14 + c/2324. Let d = 740/581 + r. Is 2 > d?
True
Let w = 12238 - 8848072/723. Which is smaller: 1 or w?
w
Let g be -3*(-201)/153 - 4 - 0. Which is bigger: 5 or g?
5
Let g be (-1128)/(-368) - 15/25*5. Which is greater: g or 1?
1
Let f be 7467/(-655) + 16/2. Suppose -2*m - 6 = 2. Are m and f unequal?
True
Suppose -5*x + 3*s = -x - 95, -3*x + 72 = -3*s. Let r be (0 + (2 - 1))*22. Is x bigger than r?
True
Let n = -542 - -885. Which is greater: n or 341?
n
Suppose -5*d - 4*j = -46, -20 = -4*d + 2*j - j. Suppose 2*p - 104 = -d*p. Which is bigger: p or 11?
p
Let n(k) = k**3 + 3*k**2 + 2*k - 2. Let r be n(-3). Let y be (-76)/114*6/r. Is y at most 0.19?
False
Let x(b) be the second derivative of 7*b**3/6 - 7*b**2/2 - 11*b. Let y be x(2). Are -0.3 and y nonequal?
True
Let u = -539 + 12386/23. Let v = 365/667 + u. Is 1 >= v?
True
Suppose -4 = 6*g - 4*g, 5*i + 69 = -2*g. Let k = -13 - i. Let n 