 be n(11). Let b = -350673292081/253 + 1386062595. Let l = o + b. Which is smaller: l or 0?
l
Let p be 6/(-5) - -1 - 1470/(-350). Suppose -16 - 52 = -p*l. Is 147/8 smaller than l?
False
Let h = -12149 - -12150. Which is smaller: h or 12/1123?
12/1123
Let m(b) = -b**2 + 8*b + 1. Let p be m(9). Let g be (0/(-1) - -1) + 24 + p. Suppose -3*i - 4*c + g = 0, -19 - 8 = -i + 4*c. Is i > 11?
False
Suppose -53 = -6*c + 19. Let f be 7/c*((-99)/2)/(-11). Is 2 at least f?
False
Suppose 3*c = 2*c - 81. Let a(r) = -12*r + 291. Let x be a(31). Let q = c - x. Which is smaller: q or 3?
q
Let f(p) = -11*p**3 + 3*p**2 + 8. Let d(r) = -4*r**3 + r**2 + 3. Let v(j) = 8*d(j) - 3*f(j). Let c = 86 - 86. Let s be v(c). Which is greater: s or -2/123?
s
Let v(z) = 2*z**2 - 3*z. Let m be v(2). Suppose -21 = -m*t - 17. Let g be (-4 + t)/(1 + 1). Which is smaller: 6/61 or g?
g
Let s(n) = -n**2 + 19*n + 8. Let a be s(8). Suppose -11*p = -13*p + a. Let o be ((7 + -3)/20)/(p/10). Which is smaller: o or -1?
-1
Let y = 0.3 + -0.1. Let x = -3222.36 - -3222.4. Is y >= x?
True
Suppose -3*z - 4*x - 976 = 0, -29*z + 2*x - 660 = -27*z. Which is bigger: -327 or z?
-327
Suppose 4*k = -4*z + 568, 6*k - k = -z + 130. Let r = 138 - z. Suppose 4*g = 3*g - 8. Is r bigger than g?
True
Let p = 4905/8 - 614. Let c(y) = 3*y**3 - 8*y**2 - 12*y - 2. Let l(r) = 5*r**3 - 8*r**2 - 12*r - 3. Let k(z) = 3*c(z) - 2*l(z). Let v be k(-6). Is v < p?
False
Let a = 4.08 + -42.68. Let s = a + 40. Let u = 672 - 669. Do u and s have the same value?
False
Let r = -21705 - -21892. Let o = -105 + 292. Are r and o equal?
True
Let s be ((28/(-16))/7)/((-37)/(-4588)). Which is greater: -25 or s?
-25
Let l be (20/(-12))/(2/(-6)). Suppose -353 = l*x - 2*v, -x - 2*v - 25 = 48. Let f = -281/4 - x. Which is smaller: f or 0.06?
0.06
Let b(v) = 9*v - 2. Let t be b(3). Suppose 0 = -5*x - 2*k - 319, 414*k - 256 = 4*x + 416*k. Let s be x*(-2 - t/(-15)). Is 22 greater than s?
True
Let o = -0.117 + 7.517. Let i = o + -6.5. Is i at most as big as 5?
True
Let n = -0.035 - 5.065. Let q = n + 5. Let u(a) = 2*a + 16. Let y be u(-5). Which is smaller: q or y?
q
Let d(g) = -3*g + 19. Suppose -15 = -3*h - 6. Suppose -3*i + 16 = 5*s - 0*i, 0 = h*s - i - 18. Let t be d(s). Which is greater: t or 3?
t
Let n = -434 - -4780/11. Let i(c) = -2*c**2 - 13*c - 6. Let o be i(-6). Which is smaller: o or n?
o
Let k = 5165/7743 - 1/2581. Is k at least as big as -174.3?
True
Let a = 34 - 28. Suppose 0 = a*s - 1 + 43. Suppose -12*p = -3*p. Is p greater than s?
True
Let u(d) = 27*d - 37. Let y be u(1). Let z be 4/y + (-18074)/(-2835) + -6. Is z less than or equal to 1?
True
Let g = 14.5 + -19. Suppose 3*a + 8 + 1 = 0, -3*k + 2*a = 27. Let w be (-4)/6*k/22. Which is greater: g or w?
w
Let t be (0 - -5)*(-2)/(-5). Let c be 5 - ((-1023)/(-345) + t). Let x = c - 1194/1265. Which is smaller: x or 0?
x
Let d be (44 + 10)/(((-4)/26)/((-18)/(-6))). Is -1052 at most d?
False
Suppose -2 - 13 = -5*m. Let k = -0.88 + -53.12. Let d = k - -53.88. Which is greater: d or m?
m
Let z = -31373/34 + 1843/2. Does z = 3?
False
Let l be (3/708)/(2/(-12)). Let g be 0/((-117)/(-15) + 25/125 - 7). Is l >= g?
False
Let y = 983617/92795 + 2/18559. Let x(o) = o**3 + o**2 + o + 5. Let q be x(0). Suppose 3*i - 57 = -q*b + 4*i, -5*b + 2*i = -59. Is y not equal to b?
True
Let g be 842/258 + -4 + 0 - (-10)/15. Is g at least 6?
False
Suppose f + o + 6 = 0, -f - 5*o + 8 = 34. Which is smaller: f or 2/5183?
f
Let d = -13729960/59 + 232718. Is d less than 8?
True
Let t = -16679/24 - -695. Let u = -2.7 - -0.7. Is t at most as big as u?
False
Suppose 0*r - 3 = -r. Suppose -11 = r*u + 49. Are u and 2 equal?
False
Let w = -10241.84 + 10242. Let c = -4.05 - -4. Let i = c - -2.05. Is i < w?
False
Let t = 931.1797 + -0.1797. Let f = 933.035 - t. Let j = f - 0.035. Is j bigger than -0.05?
True
Let z(f) = -1 - 50*f + 94*f - 43*f - f**3. Let g(r) = 7*r**3 - 11*r**2 + 3*r + 19. Let s(h) = g(h) + 6*z(h). Let q be s(10). Are 11/4 and q equal?
False
Let s(v) = -v**2 - v - 1. Let c be s(-2). Let o be (c - 40/(-12))/(2/(-82)). Let g(n) = n**2 + 9*n + 6. Let l be g(-5). Is o greater than or equal to l?
True
Let o = -35 - -85. Let r = -861 - -913. Which is smaller: o or r?
o
Suppose 0 = 2*j - 3*j + 2. Suppose j*s = 4*s. Let g be 5/(-15) + ((-4)/(-1))/(-96). Are s and g unequal?
True
Suppose -9*o - 2472 = -3*o. Let a = -276 - o. Suppose 3*y + a = 1. Is -46 bigger than y?
False
Let k be (-63644931)/(-10604550) - (7 + -1). Let s = -1/6427 - k. Which is smaller: s or 0?
s
Let o = -42 + 42. Let d = 3399/7 + -218646/455. Let m = d - 24/5. Which is bigger: m or o?
m
Let z be (101/2)/((-3115)/1780). Which is bigger: -30 or z?
z
Let d = -33 + 36. Suppose -84 = 2*s - d*i, s - 5 = -i - 37. Let f = -37 - s. Which is smaller: f or -7/6?
-7/6
Let r be 3/12 + (-225)/36. Let b(t) = -4*t - 22. Let u be b(r). Let w be -3*(-6)/3 - u - -43. Is w > 48?
False
Let l be 7/(-28) - 1824/128. Which is smaller: 69 or l?
l
Suppose 8*j + 2*c = 6*j - 10, -2*j + 3*c = -10. Is j not equal to 10/121?
True
Let c(m) = -m**2 + 15*m - 56. Let b be c(9). Let h be (9/(-348))/((-3)/b). Is 0 at most as big as h?
False
Let d(h) = -16*h - 26. Let m be d(-4). Suppose m*o = o - 9620. Is o less than -259?
True
Let f(t) = 689*t + 5512. Let p be f(-8). Are -3/589 and p unequal?
True
Let f = 4.1 + -0.7. Let j = f + -3.4. Let n = 186 + -135. Which is smaller: j or n?
j
Let v = -15653 - -22606. Which is greater: -1 or v?
v
Suppose -5*m = -q + 8, -5*q + 5*m + 41 = -79. Suppose -2*j + 94 - q = 0. Suppose -u + 2*d = 0, u - 3*d = 5*u + j. Which is smaller: u or -7?
-7
Suppose -5*k + k = -48. Suppose -3*o = -4*g + k + 21, 0 = -5*g - 3*o + 48. Suppose 0 = -2*f + g*f + 7. Which is greater: f or -2/7?
-2/7
Let b be -5 + 0 + 1 - (-2 + (24 - -86)). Let t = 16 - 128. Is b at most t?
True
Let x = 25321 + -25335. Which is bigger: x or -240?
x
Let y = 5928 + -5929. Which is greater: y or -4/1685?
-4/1685
Let t be (-201364)/69802 + 16/(-136) - (-6)/2. Which is smaller: -1 or t?
-1
Suppose 4*u = 4*s + 4, 0 = u - 4*u + 2*s + 1. Is u at least as big as 9/232?
False
Let q(o) = 9*o + 1. Let j(s) = 5*s + 1. Let x(v) = 1. Let w(h) = -j(h) + x(h). Let i be w(0). Let p be q(i). Which is bigger: -2/475 or p?
p
Let i be (1080/42)/(6/28). Let t = -120 + i. Is t <= -1/159?
False
Let q be 72/48 - (-5319)/(-3498). Is q equal to -1?
False
Let f(a) = 2*a + 87. Let k(c) = -3*c - 89. Let s(q) = -4*f(q) - 3*k(q). Let j be s(14). Is j equal to -67?
True
Let z = 3902 - 3915. Which is greater: z or -15?
z
Let p = 10/57 + -647/3363. Let v(r) = r - 9. Let k be v(8). Are p and k equal?
False
Let f be 4/(-2) - 128/12. Let o be (5 + 1190/252 + -10)*12/(-20). Which is greater: f or o?
o
Let v(g) = g**2 + 21*g - 23. Let t be v(-20). Let y = -19 - t. Suppose -3*s + 21 = -3*n - y, 30 = -2*n - 3*s. Do n and -41/3 have the same value?
False
Let z(l) = -113*l - 91. Let k be z(-2). Is k at least 32?
True
Suppose -18*n - 10*n - 286 = -286. Which is bigger: 28/391 or n?
28/391
Let n be 213148/(-15) - ((-10437)/(-315) + -33). Is -14209 != n?
True
Suppose 74 + 2 = 4*t. Suppose 4*b + 0*b = -3*a - t, 3*b = 3*a - 9. Let h = 86/11 + -1744/209. Which is smaller: a or h?
a
Let m(b) = b**2 + 7*b - 13. Let z be m(-9). Suppose 226 = -5*t + 4*q - 396, z*t = 5*q - 620. Which is bigger: t or -127?
t
Let g = -266 - -482. Let j = g - 225. Is j smaller than -59/7?
True
Let b = 2456 + -326647/133. Which is smaller: b or 2/15?
b
Let d be -77 + 66 + (-62)/(-4). Let b be 99/36 - 6/8. Suppose -3*k - 1 = 4*l, -2*k = -4*k + b*l + 18. Is d at most k?
True
Let o = -699 + 466. Let w = o - -106. Is 0 at least w?
True
Let g(f) = 110*f**2 + 208*f + 20. Let a be g(-5). Is a less than or equal to 1728?
False
Let q = -4805 + 4777. Is q at least -5?
False
Suppose 3 = -l - 0. Let n = l - -25. Suppose 21*k = n*k - 37. Is k less than 38?
True
Let d = 16874 - 16486. Suppose -5*n - f = -5*f - 1927, 3*n = -3*f + 1167. Which is greater: n or d?
d
Let p(f) = -f**3 + 4*f**2 + 4*f + 6. Let o be p(5). Let k = 1345016/1531557105 - 6/665605. Is o at most k?
False
Let t = -5685 + 45411/8. Let f = 34 + -44. Is t equal to f?
False
Let o = -0.01 - 0.08. Let r be 0/1 + 30/240 + (-15)/248. Is o equal to r?
False
Let s = 3203 - 2605. Is -0.2 greater than or eq