8 = 5*x + 2*g. Let q(f) = f**3 + 6*f**2 + 2*f - 7. Let z be q(-5). Let p be (-8)/6*15/z. Which is greater: p or x?
x
Suppose 3 = -5*i - 3*p, -i - 4*i - 4*p + 1 = 0. Let a be 1/((6/i)/16). Let m be 0/(7/((-14)/(-6))). Is m > a?
True
Let a(o) = o**2 + 13*o + 11. Let n be a(-7). Which is greater: -5 or n?
-5
Suppose p = 3*k + 4*p + 777, 260 = -k - 2*p. Let v be (2/8)/(k/664). Let y = 1/43 - v. Do y and 1 have the same value?
False
Suppose 5*q + l + 124 = 0, 5*q + 140 - 4 = -4*l. Is -122/5 < q?
True
Let p(w) = -3*w + 11. Let t = -5 + 12. Let z be p(t). Let u = -1 + z. Which is greater: -12 or u?
u
Let j = 228 + -121. Which is greater: j or 105?
j
Let u = 18220 - 19404302/1065. Which is bigger: 1 or u?
1
Let l be (-2)/15 - (-15 - 1012/(-60)). Which is smaller: -13/11 or l?
l
Let p = 42 + -40. Suppose -2*h + 26 = -p*y, 0*h + h + 19 = -y. Which is greater: y or -14?
-14
Let w(j) = -12*j - 409. Let x be w(-34). Let v be (-2 + -3)*2/8. Which is smaller: x or v?
v
Let p be -22*(((-5)/(-95))/(-1))/1. Is 1 not equal to p?
True
Let v(f) = -2*f**3 + 0 + 2*f**3 + 2*f**2 + 4 - f**3. Let d be v(3). Which is smaller: -4 or d?
d
Suppose 10*y + 20 = 5*y. Let w be ((-3 - -7) + y)*-1. Which is greater: 1/11 or w?
1/11
Let n be 4 - 8 - (-250)/72. Let l = n + 1/36. Is 0.06 != l?
True
Let g = -64.3 + 65.3. Which is bigger: g or -977?
g
Let w = 44 + -58. Let f(l) = -l**3 - 13*l**2 + 15*l + 9. Let q be f(w). Is 2 != q?
True
Let h(a) = -a**2 + 50*a - 512. Let w be h(13). Which is bigger: w or -38?
w
Suppose 2*o + 3*o = -20. Let y be (o/(-10))/(6/(-30)). Let u be (-42)/4 - 1/y. Is u greater than -10?
False
Let h = 77 - 78. Which is greater: 4/39 or h?
4/39
Suppose -2*m = -4*m + 12. Let y be (-1 + m)*(-99)/(-9). Suppose 5*f - y = 5*c, 2*f - 3*c + 0*c - 24 = 0. Which is bigger: f or 1?
f
Let y(d) = -4*d + 16. Let h be y(5). Let t be -2 - (0 + h) - -82. Is -0.1 at most as big as t?
True
Let d(v) = -3*v + 2. Let h be d(4). Let i be ((-3)/(-5))/(h/(-200)). Suppose -3*w + 6*w - 12 = 3*n, -i = 3*w + 3*n. Which is smaller: w or 1/23?
w
Let f(d) = d**2 - 14*d + 46. Let x be f(7). Let j = -0.4 + 0.3. Let a = j + 0. Is x greater than or equal to a?
False
Let t be 4/28 - (-1203)/7. Suppose -3*u + t = -26. Suppose 7*g - 4*g = -u. Which is smaller: g or -23?
-23
Let f be (1/3)/(5/225). Let b be (-3)/15*(-50)/f. Is 2 bigger than b?
True
Let h = 3/379 - -4912/1895. Let f(n) = 2*n - 1. Let o(j) = j. Let u(d) = -f(d) + 5*o(d). Let q be u(1). Which is smaller: q or h?
h
Suppose 5*k + 2*j = 31 + 31, 2*j = -8. Let z(n) = -n**3 - 2*n**2 + 4*n - 2. Let q be z(2). Let a = q + k. Is a smaller than 2?
False
Suppose 0 = 129*f - 124*f - 120. Suppose -6 = 9*w - f. Is -7 at least as big as w?
False
Let t be 14/3*-3 - -2. Suppose -39 = 2*b + b. Let f = b - t. Is f not equal to -2/9?
True
Let m be 5/(-40) + 1*(-3)/8. Suppose 3*o - 16 + 1 = 0. Suppose -5*t - i = -4*i - 1, -5*t + o*i = 5. Is m bigger than t?
False
Let b be 18 - 5 - 10 - -2. Which is bigger: b or -88?
b
Let w = 287938/5 + -57782. Let k = w + 196. Let m(q) = -q**3 - q**2 + q. Let x be m(0). Which is smaller: x or k?
x
Suppose 0 = 2*t - 48 - 18. Suppose -85 = 2*i - t. Is -27 less than or equal to i?
True
Let n be 513/(-168) - (-19 - -16). Which is smaller: 0 or n?
n
Let i be 4/(-6) - (-8)/(-24). Let o be -3 - -1 - (i + -2). Let c be o + 7/4 + -2. Which is bigger: c or 1?
1
Let a(g) = g**3 - 3*g**2 + 9*g - 14. Let w be a(6). Let f be (-6)/27 + w/18. Let k = f - 24. Is -17 < k?
True
Let a = -3 + 2.98. Let p = -2.02 - a. Let j = 2.3 + p. Is -1 <= j?
True
Suppose -3*z = -a - 2*a + 18, -15 = -5*z - 4*a. Let t be -3 + (4 - z) + -1. Do t and 2/3 have different values?
True
Let u = 303/4 + -151189/1996. Which is smaller: u or 0?
0
Let a(x) = -x + 3. Let z be a(4). Which is smaller: -79 or z?
-79
Let f be (((-6)/3)/(-4))/((-5)/(-10)). Which is greater: f or -0.18?
f
Let v(f) = -5*f**3 - f**2 + 2*f + 3. Let q be v(-1). Suppose q*i + 13 + 62 = 0. Is -15 at most i?
True
Suppose 5*z - 7*t - 1 = -6*t, -1 = -2*z + t. Is z smaller than 2/1641?
True
Let f = 32157/614 + -34/2149. Let i = f + -167/7. Is 29 greater than or equal to i?
True
Let r = 31 - 27. Suppose 2*w = -4*s + 18, -w = -5*s + 3*w - 10. Suppose -r = 2*g + s*g. Is -5/6 bigger than g?
True
Let g be -9 + (-7)/(-7) + 7. Which is greater: -40/27 or g?
g
Suppose -5*y + 4 = -3*y. Suppose a = y*p - 4*p + 35, -a + 56 = -5*p. Which is smaller: a or 0.1?
0.1
Suppose -8*m + 20 = -4*m. Suppose 11 = c + 3*j, -2*c + 4*c = m*j - 22. Let a be (0 - 2/14) + 0. Which is bigger: a or c?
a
Let n = 509 - 307. Which is smaller: n or 199?
199
Let u(v) = v**3 + 5*v**2 + 4*v - 2. Let f be u(-4). Let l be f - 25/(-9) - 1. Let x = 1.41 - 2.51. Which is smaller: l or x?
x
Suppose 0 = s - 3 + 8, 0 = -3*l + 5*s - 26. Let r = 387 + -1611/4. Which is smaller: l or r?
l
Let i = 0.52 + 0.36. Let z = -0.8 + i. Let s = z - 2.08. Are 3 and s equal?
False
Let y = -815 + 939. Is 124 smaller than y?
False
Let v = 1.9 + -3. Let d = -3.1 + 3.2. Let g = v + d. Is g greater than 0?
False
Let w be -2 + (-41)/(-8) + 19/(-152). Let h be (-16)/(-4) + (2 - 0). Are h and w unequal?
True
Let t = 257 - 246. Which is smaller: 9 or t?
9
Let s = 20.47 - 254.47. Which is smaller: 4 or s?
s
Let m be (5 - 4) + 3550 + 1. Let g = 586078/165 - m. Which is bigger: g or -1?
g
Suppose 24*a - 19*a = -3*c - 402, -246 = 3*a + 3*c. Do -72 and a have the same value?
False
Let q(b) = b**3 + 5*b**2 + 8*b + 7. Let i be q(-3). Which is greater: i or -6/49?
i
Let b = -31/21 + 8/7. Let z = -18.85 - -19. Let j = -0.05 + z. Which is greater: b or j?
j
Let b = 96992/137 + -708. Which is bigger: 1 or b?
1
Let s = 678 + -650. Are s and 29 unequal?
True
Let z be 4 - ((-1)/(-106) + 0)*426. Which is bigger: 1 or z?
1
Suppose -3*p = -2*p. Suppose -3*k + 94 = 3*y - 4*k, 5*k + 80 = 2*y. Let n be (3/y)/(6/(-36)). Are n and p non-equal?
True
Let q be ((-42)/(-15))/(1/10). Let p = 15 + -11. Suppose -j + p*j + 3 = -5*d, -4*d = -4*j + q. Which is smaller: d or -3/2?
d
Let w = -0.09 - -1.09. Let n(c) = c**3 - 5*c**2 - 39*c + 11. Let j be n(9). Which is smaller: j or w?
j
Let q be -1 - (8*(-3)/6 - -3). Let p be (22/45)/((-423)/108). Let t = p - 2/235. Which is greater: q or t?
q
Let u = 723 - 717. Which is smaller: 2/3 or u?
2/3
Let r = -1548/7 + 6998/35. Let k(v) = -3*v + 7. Let o be k(-5). Let q = o + r. Is -4 bigger than q?
False
Let q(r) = 25*r**2 + 4*r + 3. Let f be q(-1). Let w = -262/11 + f. Which is greater: -0.2 or w?
w
Let z = -3782/11 + 344. Suppose -2*o = -4*o. Let c = o + 0. Which is greater: z or c?
z
Let a = 14 + -26. Let o(p) = -p**3 - 11*p**2 + 11*p - 10. Let g be o(a). Suppose -g*k = 3*k - 10. Is k less than 8/3?
True
Let q(p) = 6*p - 13. Suppose 4*w = b - 6*b + 13, 0 = 3*b - 5*w - 30. Let j be q(b). Is j at most as big as 16?
False
Let t(a) = a**2 - 3*a + 2. Let d be t(3). Suppose -d = -3*m + 4. Suppose 0*u + 2 = u. Are u and m unequal?
False
Let r = 0.03 - -0.97. Let s(y) = -y**2 - 21*y + 31. Let v be s(-22). Which is greater: v or r?
v
Suppose 0 = -q - q - 4*z - 20, 0 = -4*q - 4*z - 28. Let o(r) = -r**2 - 2*r - 10. Let i be o(q). Which is greater: -1 or i?
-1
Let f = 1/10244 - -25277/3411252. Which is smaller: f or 0?
0
Let m(u) = u**3 - 3*u - 3. Let q be (3 + -4 - -2)*3. Let k be m(q). Suppose 0 = -3*t + x + 6, t - 5*x + 9*x = k. Which is greater: 5 or t?
5
Let d(p) = -25*p + 36. Let w be d(-9). Which is smaller: w or -1?
-1
Suppose z + 2 = 2*k + 9, 2*k + 4 = 4*z. Let h be -3 + (-4 + 3)/z. Let o be ((-67)/(-35) + h)*-5. Is -1 bigger than o?
False
Suppose 4*g - 7*g = -36. Let d be -20 - (-9 - g/(-3)). Is -14 less than or equal to d?
False
Let j be (1 - 4)/(-2 + -1). Is 5/76 equal to j?
False
Suppose 0 = -13*g + 17*g + 4. Let p be (-5)/525 - g/7. Is p bigger than -1?
True
Let n = -221.8598 + -0.1402. Is n != -1?
True
Let x be ((-3)/(-5))/(4/20). Suppose -5*a - 4*z + 1 = 0, -x*z - 1 = a + a. Is a at least as big as 2/73?
True
Let w = -1499 + 1675. Is w greater than or equal to 174?
True
Suppose -5 = 2*o - n, -6*n = -2*n - 20. Suppose w = -o*w - 8. Does w = 0.2?
False
Let y(h) = -52*h + 415. Let a be y(8). Which is greater: 6/227 or a?
6/227
Let s(m) = -5*m + 2 + 4*m - 3. Let x be s(-4). Let g be 1/((-13)/(9 - 35)). Is g > x?
False
Let h(z) = 8*z + 90. Let s be h(-1