east -6/17?
True
Let u = -753 + 580. Is -185 >= u?
False
Suppose 4*q = -5*v + 31, 10 + 0 = 4*q - 2*v. Suppose q + 20 = -f + d, -80 = 5*f + 5*d. Let b be 15/f - (9/6 + -3). Is b equal to -0.6?
False
Let s = -25.88 + -3.52. Let x = -8.4 - s. Let c = -20.2 + 20. Which is bigger: x or c?
x
Suppose -6*h = -5*f + 2, 22*h = 25*h + 6. Which is smaller: 487 or f?
f
Let s = -466.959 + 0.959. Let a = s + 465.87. Is a bigger than -0.3?
True
Let u = -3114 - -2171. Which is smaller: -3767/4 or u?
u
Let s be (-3 + 5037/1683)*28/(-56). Let k be (-3)/6*(1 + 1). Which is greater: k or s?
s
Let j = 4272 + -4273.552. Is j at least as big as -0.1?
False
Let v be ((-250)/6)/((-69)/303). Let j be ((-122)/(-6))/(-3 + 78/27). Let l = j + v. Which is greater: l or 1?
1
Let h = -12746459987/1385 - -9203217. Let v be 1/(-3*(-554)/12). Let j = v + h. Is j < -3?
True
Let v be (-3)/(360/56) - (10/3)/(-5). Let j(q) = 2*q**2 - 4*q + 2. Let u be j(2). Let o be 0 + 22/(-12) + u. Which is greater: v or o?
v
Suppose 79 + 15 = 2*o. Suppose -3*j + o = 56. Let b(m) = -m + 4. Let r be b(4). Which is smaller: j or r?
j
Let m be (4 - 3333/115) + (-6 - 248/(-40)). Which is greater: -26 or m?
m
Let p be (2 - (0 - -3)) + -3. Let g = 3.6359 - 0.0859. Let t = -3.61 + g. Which is smaller: p or t?
p
Let c = 189 - 161. Let j = 21 + -14. Let n = c - j. Do n and 23 have the same value?
False
Let c = -19162 - -19156. Is c less than 1493?
True
Suppose -p = -s + 5*s - 44, -s + 3*p + 11 = 0. Suppose 2 = 9*i + s. Let g be (4 + 10 + 3)*(i + 0). Which is bigger: -16 or g?
-16
Let x = -70 - -70. Let z be (25 - 25)/(x - -2). Let g be (-57)/(-185) - 7/35. Which is smaller: g or z?
z
Let p = -7631 - -7642.6. Is p > 18?
False
Let v = -236.8 - -40.8. Let b = 196.01 + v. Which is bigger: 0.1 or b?
0.1
Let x be 1/(-5) + (-22)/(-10). Let p(u) = -2*u + 2. Let y be p(x). Suppose j + 18 = 7*t + 6*j, 0 = 5*t - 2*j + 15. Which is smaller: t or y?
y
Suppose 0 = -0*x - 2*x + 68. Let w = x + -28. Suppose w*h - h = 4*p, -5*h = -3*p. Which is smaller: -0.03 or h?
-0.03
Let u = 49810 - 46651. Is u < 3163?
True
Let b = 7498 + -11598. Which is greater: b or -20501/5?
b
Let z = 4007.994 + -4008. Which is greater: 5/11 or z?
5/11
Let q be (-14)/(((-1015)/(-14))/29). Which is smaller: -8 or q?
-8
Let i be 39314/(-56056) - (-2)/(-8). Let c = 24/49 + i. Is c greater than or equal to -2?
True
Let i = -1083.3 + 1051.3. Which is greater: 3/7 or i?
3/7
Let y be 3*10/(-15)*(-110)/4. Suppose 4*x - 5 = y. Suppose 0*u = -3*u - x, -5*p = 4*u + 30. Is p <= 6?
True
Suppose 2*w + 4*r = 18, -8*w + 4*w - r = -22. Suppose 5*d = -3*q - 93, 0 = -q + 3*q + w*d + 67. Which is smaller: q or -29?
-29
Let o = -60.28 + 87.28. Which is bigger: o or 3/5?
o
Let v = 770 - 195. Let t = v - 805. Which is smaller: 0 or t?
t
Let k be (-2)/5 + (-152)/(-320)*4. Which is greater: k or -1499?
k
Let k = 13901/1347024 - 2/4431. Which is smaller: k or 0?
0
Suppose 89 = -w - 2*d + 11, 0 = -d - 2. Which is bigger: -82 or w?
w
Let s(g) = 2*g**3 - 50*g + 3. Let u be s(5). Let v be (-20)/(-6) - (-1)/(-3). Suppose 3 = x - v*r, 1 = 2*x - 4*r - u. Which is smaller: x or -11/10?
-11/10
Suppose a + 9 = -2*a, -2*t + 9 = -3*a. Suppose 2*l - b = -3, t = l + b + 4 - 10. Let h be 4/(-18) - 112/1116. Which is greater: l or h?
l
Let p = -1318 + 1900. Suppose 574*d = p*d + 264. Let a = -1303/38 - -15/19. Is a greater than or equal to d?
False
Let n = 7 + -6.7. Let d be ((-69)/(-92))/((-54)/(-8)). Which is smaller: d or n?
d
Let g(a) = -a + 21. Let z be g(-5). Let p = -58 + z. Let f be ((-1)/(-3))/(1 + p/33). Is 10 less than or equal to f?
True
Let s(g) = -5*g**2 - 49*g - 400. Let f be s(35). Do -8242 and f have the same value?
False
Let t be (-2)/((-61)/(-212) - 19/76). Let a = -43 - t. Is a smaller than 5?
False
Let w = -4932/7 + 59191/84. Are w and 927 equal?
False
Let x(t) = -2*t**2 - 48*t - 154. Let s be x(-4). Let j be 46/10 + 6/(-10). Suppose 47 = 5*d - j*l + 8, -4*d = l - 27. Is d less than s?
False
Let j = 0 + 0. Let k = -643368187/204 + 9457373/3. Let a = k - -1308. Is j greater than or equal to a?
False
Suppose 2*j = -5*d - 1, 7*d - 11 = 4*j + 8*d. Let g(c) = 4*c**3 + 11*c**2 + 23*c + 3. Let r be g(j). Which is smaller: r or -71?
r
Suppose -8*w = -4*w + 413 + 255. Which is smaller: -1505/9 or w?
-1505/9
Suppose 28*y - 2*y = 7*y + 54587. Are y and 2874 equal?
False
Let y = -132 + 148. Suppose -5*m = -3*m + y. Which is greater: -1 or m?
-1
Let h(d) = 6*d. Let l be h(-10). Let t = 221 - 279. Which is smaller: l or t?
l
Let m(n) = -5*n + 2*n**2 - 13*n + 33 + 32*n. Let y be m(-7). Which is smaller: y or 31?
31
Let r = -121 + 132.14. Let k = r - 11. Let t = k + -0.04. Which is smaller: t or -2?
-2
Let c be ((-2420)/60)/((-55)/18 - -3). Is c equal to 729?
False
Let l(w) = 3*w**3 - 6*w**3 + 2*w + w**2 + 1 + 2*w**3. Let h be l(0). Which is smaller: -2/451 or h?
-2/451
Let a(t) = 17*t + 4696. Let w be a(-67). Which is smaller: w or 3559?
w
Let p(w) = -76*w**3 - w + 1. Let k be p(1). Let n = k + 92. Suppose 37*g = 551 - 33. Which is bigger: g or n?
n
Let d = -5 + 1. Let i = -61441 + 61390. Which is greater: i or d?
d
Let s = 2428 - 1897.25. Let d = s - -1.25. Is d >= 1?
True
Let s be (-3 - (-92)/20)/((-16364)/20 - -10). Which is smaller: -1 or s?
-1
Let j = 99 - 215. Let x = 118 + j. Is -2 smaller than x?
True
Let x = -4921 + 4956. Let g = 0.009 - 0.309. Which is smaller: g or x?
g
Suppose -4*l + 19 = 5*f, 4*l = -4*f + 3*f + 7. Let m be f/5*29/3. Let t = 25 - 18. Is t > m?
True
Let z = 12 - 12. Let r = 3 - z. Suppose -m + r*s = -0*m + 19, 5*m = -s - 31. Which is smaller: m or -8?
-8
Let j = 69 + -74. Let x = -13.7 - j. Let a = -15.7 - x. Do 5 and a have the same value?
False
Let b be (37/111)/((-1168)/60). Are b and 0.2 equal?
False
Let q(d) = d**2 - 8*d + 9. Let m(j) = j**3 - 4*j**2 - 2*j + 12. Let h be m(4). Let w be q(h). Let i be w/((-546)/(-3678)) + 4/26. Is -47 >= i?
True
Suppose 150*f - 75*f = 86*f. Is f != 733/4?
True
Let o be (-675168)/1440 + (-6)/45. Is o not equal to -462?
True
Let j be ((-72)/(-27))/(2/(-3))*-2. Suppose -174 = j*f - 14*f. Which is smaller: 1 or f?
1
Let s be -1 - ((-320)/(-15))/((-130)/(-19155)). Let v = s + 3135. Which is bigger: -10 or v?
v
Let o be (-88)/260 - (-6)/15. Let f(x) = 3*x**3 - 4*x**2 + 4. Let c be f(2). Suppose 0 = 3*w + 4*t + 5, -4 = 14*w - c*w + 3*t. Which is smaller: o or w?
o
Let z = 19656 + -19929. Which is smaller: z or -275?
-275
Let j be (1 - 0)*(4 - -2). Suppose p - j = -p. Suppose p*y + 0*g + 71 = 2*g, 3*g + 15 = 0. Is y greater than or equal to -27?
True
Let w be 5*19/(-1) + (-4)/2. Let s = w - -91. Let y be s/(-6)*1*1/83. Do 1 and y have different values?
True
Let n = -214453/106 + 2023. Is 1 at most as big as n?
False
Let i(z) = 0 + 12*z**2 - 92 - 11*z**2 - 10*z. Let o be i(17). Is o smaller than -1/2?
False
Let l = 0.1 - 0.1. Let b be 5 + (-2 - (-5 - -4)). Suppose 5*c = b*v + 215, 2*c - 4*c + 98 = -4*v. Is c less than or equal to l?
False
Let n(f) = -f - 15. Let l be n(0). Let i(r) = -r**3 - 14*r**2 + 17*r + 33. Let a be i(l). Suppose s + a*s - 106 = -3*u, 0 = 3*s - 12. Is u bigger than 61/2?
False
Let w = 29358/5 + -5872. Which is smaller: -336 or w?
-336
Let n be ((-1320)/48)/55 + 10/(-4). Are n and 6628 equal?
False
Let o = -196 - -223.9. Let t = o + -27.9. Do t and -3/26 have the same value?
False
Let i = 0.434 + 176.566. Let p = 176.89 - i. Is 0 != p?
True
Suppose -180*s + 4 = 4*v - 181*s, 5*s + 36 = 4*v. Does v = 2/124513?
False
Let j = 2 - -4. Let s(b) = b**3 + 3*b**2 - 10*b + 2. Let c be s(-5). Suppose -3*g - 5*o - 3 = 2, c*g - 2*o = 18. Which is smaller: j or g?
g
Suppose 506*i + 1404 = 398*i. Is -152 at least as big as i?
False
Suppose 49*k - 1813 = -11956. Is -2/3 < k?
False
Let o(x) = x**3 + 5*x**2 - 3*x - 12. Let l be o(0). Let c be 18/(-66) - l/2. Which is bigger: 5 or c?
c
Suppose 53*f - 6738 - 7815 = -94*f. Is f at least as big as 93?
True
Let w = 60118/5 + -12004. Is w > 21?
False
Let d be 31/5 + (-84)/70. Let m(o) = -3*o + 10. Let n be 6/12 + (27/(-2))/(-3). Let i be m(n). Which is smaller: d or i?
i
Let s = -12889 - -12889.3. Is -5/121 greater than s?
False
Let s = -2 + 2. Let d(b) = -26*b + 9. Let c(a) = 95*a - 35. Let k(u) = -6*c(u) - 22*d(u). Let v be k(s). Is v not equal to 37/3?
True
Suppose m = -0 