pose 0*p - 20 = -p. Suppose 24*t = p*t + 20. Suppose -4*y + 2*y = -t*k + 1, -3 = -5*k + y. Is -8/23 at least as big as k?
False
Let b = 7454 - 7576.04. Let s = b - -122. Let p = 11 + -15. Is p less than s?
True
Suppose 3*f - 10*f - 12*f = 38. Suppose 8*q = 3*q - 100. Let n be f/((-10)/7) - (-8)/q. Which is bigger: -1/3 or n?
n
Let u = -52 - 19. Let l = 0.6 + -0.06. Let v = l + -0.44. Which is smaller: v or u?
u
Let a(u) = -u - 10. Let r(t) be the third derivative of -t**4/24 - 13*t**2. Let k(z) = -a(z) + 5*r(z). Let n be k(6). Which is smaller: -12 or n?
n
Let p be 177/6*6*3/(-9). Let n = 55 + p. Which is bigger: n or -15/4?
-15/4
Let m(l) = -7*l + 3. Let p be m(-5). Let r = -253 - -292. Let k = p - r. Which is bigger: k or -14?
k
Let u = 8542 + -153823/18. Let z = u - -29/9. Is 38 equal to z?
False
Let v(c) = 5*c**3 + 0*c + 3*c**2 + 2*c + 4 - 8*c**3 + c. Let l be v(7). Let i = 9435/11 + l. Which is smaller: i or 2?
i
Suppose 55 = 2*v - 46 + 103. Which is bigger: -35/181 or v?
-35/181
Let w = -2.2 + 1.2. Let r = -3 - w. Suppose 4*q - 4 = 3*b, 0 = -2*q - 3*q + b - 6. Is r at most q?
True
Let b = 1442413889/59 - 24447080. Let t = -613 + b. Let w = 2000 - 1999.8. Which is greater: w or t?
w
Let l(t) = 5*t - 116. Let b = -857 - -872. Let d be l(b). Which is smaller: -38 or d?
d
Let r(x) = 83*x - 1075. Let u be r(13). Which is smaller: 98/37 or u?
98/37
Let s(g) = -g**3 + 21*g**2 - 25*g - 18. Suppose -x + 15 + 5 = 0. Let u be s(x). Which is smaller: -117 or u?
u
Let p be -11 + (-784)/(-70) - 278/(-10). Let l be (p/(-10))/7 - 4044/(-10085). Is l less than or equal to -1?
False
Suppose 0 = 14*w - 79 - 89. Suppose 17 = 2*h - 4*f - 11, 3*f = -4*h + 1. Suppose -30 = -h*q - 6*u + 4*u, 0 = -3*q - 5*u + 5. Which is smaller: q or w?
q
Let y = -109 + 93. Let l(w) = -5*w**2 + 18*w - 20. Let q(a) = -6*a**2 + 18*a - 21. Let o(t) = 7*l(t) - 6*q(t). Let n be o(-18). Is n <= y?
False
Let r = 13.51 + -14. Let d = 41 - 37. Suppose -3*w = -6*w + 4*t + 16, -d = t. Which is smaller: r or w?
r
Let v = -5028 - -3134. Is -1894 >= v?
True
Let a(p) = p**2 + 9*p - 25. Let v be a(2). Let g be (-32)/24*v + 44/(-10). Which is smaller: g or -13?
-13
Let x(p) = -2*p + 9. Let l be x(0). Suppose -212 = -l*w - 23. Suppose 0 = -2*r + w - 21. Is 6/11 > r?
True
Let q = 13/9 - 16/9. Suppose -111 = -12*j + 573. Let s be -4 - (227/(-60) + j/(-342)). Which is greater: q or s?
s
Let h = -2 + 2.2. Let q = 1.2401 + 0.0909. Let f = -1.069 - q. Is h equal to f?
False
Let y = 2967 + -1598. Let a = y - 15069/11. Suppose -1 = -3*i - 4. Which is smaller: a or i?
i
Let s = 129605/38 + -3411. Is 0.21 <= s?
False
Let r = 7.1 + -10.2. Let a = 125 + -292. Let g = a + 166.9. Is g bigger than r?
True
Let q = 2606234/6981 + -1120/3. Is q <= -1?
False
Suppose 7878 = 63*m - 64252 - 118508. Which is greater: 3/4 or m?
m
Let o = 213 - 212. Let m = -0.386 + 0.936. Is m less than or equal to o?
True
Let i(z) = -z**2 + 33*z - 1. Let p be i(0). Is 11/1720 bigger than p?
True
Let h(a) = -586*a - 36. Let i be h(1). Let j = 32964/53 + i. Let f(g) = g - 5. Let q be f(4). Are j and q non-equal?
True
Let b(x) = x**3 - 16*x**2 + 36*x + 1. Let y be b(15). Suppose -3*s + 7*s + 3*o + y = 0, -376 = 5*s - o. Which is smaller: s or -78?
-78
Let f = -325 + 313. Let b be (-15)/f + 3/4 - 2. Which is greater: -3/127 or b?
b
Suppose -1596 = 33*w + 648. Are w and -73 non-equal?
True
Let h = 75615 - 831747/11. Let y = -2 + 3. Is h less than y?
False
Let s = 0.012 + -0.292. Let b = -5.72 + s. Let q = b + 8. Is 1.5 < q?
True
Let w = 8.00718 - 0.00718. Which is greater: 9.3 or w?
9.3
Let x = 30486 - 30486. Is 41/244 less than x?
False
Let t(s) = -s**2 + 8*s - 24. Let b be t(4). Let r be (-4 - (b - -2))*(-13)/18. Is 0 bigger than r?
True
Let q = -2184 - 342. Let d = q - -50533/20. Which is bigger: d or 2?
2
Let r be 20/(-70) + (1927869/264621 - 0) + -7. Are 1 and r equal?
False
Suppose 15*o - o - 4872 = 0. Let b be 415/o - -2*(-25)/40. Do 1 and b have the same value?
False
Let j be (17 + 1)*(-1)/(-3). Let p be (4/j + -1)*(-24)/(-32). Let k be ((-9)/3)/(2 + -3). Which is smaller: k or p?
p
Suppose 198*b - 182*b = -208. Is -23/2 != b?
True
Let a = 133 - 49. Let x be (8/a)/(2/6). Is x greater than -0.91?
True
Let m be -1*(1 - 2)*0. Suppose m = -3*u - 2*u. Let i be -5 - (22 + (-522)/18). Is u smaller than i?
True
Suppose 31 = -p + 3*j, 0 = -4*j + 2*j - 10. Let k = p + 25. Let g be (-20)/(-6)*k/(-14). Is 6 != g?
True
Suppose -29 = -l + 3*p, 3*p = -0*l - 3*l + 111. Let j be l/6 - ((-27)/(-6) - 5). Let a(w) = w**3 + 6*w**2 + 7. Let x be a(-6). Which is bigger: x or j?
x
Let o(l) = l**3 - 26*l**2 + 74*l - 115. Let t be o(23). Is 6/1261 != t?
True
Let b(o) = o**2 + 4*o - 1. Let n(g) = -g**2 - 41*g - 28. Let u be n(-40). Let v be b(u). Which is greater: v or 193?
193
Let f = -1087474/23 + 47273. Is f at least as big as -9?
True
Suppose 0 = -83*p + 83*p + 5*y + 65, y - 9 = 2*p. Let x = -28 + 16. Is x at most as big as p?
True
Suppose o + 4907*z - 23345 = 4906*z, 93378 = 4*o + 2*z. Is o > 23343?
True
Let m = -619/11 - -22877/352. Is 10 bigger than m?
True
Suppose -261*q + 3887 = -j - 266*q, -5*j = -4*q + 19522. Does j = -3900?
False
Suppose 0 = 5*i + 15 - 40, -5*d - i + 1855 = 0. Which is greater: 364 or d?
d
Let m(l) = l**3 + 56*l**2 + 780*l + 1. Let o be m(-26). Which is smaller: o or 43/351?
43/351
Let z be (1914/18 - -5)*624/(-416). Let d = -181 - -13. Is d greater than or equal to z?
False
Let k(r) = -4*r + 222. Let f be k(56). Let b be (-414)/(-522) + 2/f. Which is smaller: -1/3 or b?
-1/3
Let u(m) = 2*m**2 + 33*m + 50. Let p be u(-22). Let j be 1/(-7) + p/28 + -10. Which is bigger: 3/10 or j?
3/10
Suppose 0 = -108*h + 214*h - 152*h - 132986. Which is smaller: -2895 or h?
-2895
Let f(s) = s**2 + 5*s - 17. Let v be f(-7). Let g(i) = i + 34. Let d(y) = -3*y - 69. Let m(p) = v*d(p) - 7*g(p). Let q be m(11). Which is smaller: -7 or q?
q
Let w(h) = -42*h**3 - h**2 + 18*h + 89. Let z be w(-3). Is 1161 bigger than z?
True
Let a be (5 - 7)/(3 - (-194)/(-58)). Let f = a + -6. Is 1/4 at least f?
True
Let y(a) = -2*a**3 - 2*a**2 + 2*a. Let t be ((-16)/56)/(3/21). Let x be y(t). Let h be (-16)/x*(-3)/14. Is 1 at most h?
False
Let w(c) = c**2 + 93*c + 1132. Let a be w(-50). Is -1018 greater than a?
False
Let g be 2336/((6/2)/(-9) - -1). Let q be g/(-14) + 32/112. Let i be q/(-12) - (-20)/120. Which is smaller: i or 41/2?
41/2
Let p(w) = 548*w. Let x be p(1). Let n be 1291184/(-2356) + (-12)/(-114). Let r = n + x. Which is smaller: r or 0?
0
Let i(v) = v**3 + 15*v**2 + 55*v + 8. Let u be i(-9). Which is bigger: -1/87 or u?
-1/87
Let t = 50750 - 280139999/5520. Is 1 at least t?
True
Suppose -4*p + 4785 = -4*x + 1253, 0 = 3*p + x - 2641. Is 881 equal to p?
True
Let p = -13 - -6. Let b be ((-24)/(-96))/(1/(-27)). Which is smaller: b or p?
p
Let r be (-3)/7 + (-53)/(-42). Let k be 4/(-6)*(-45)/30. Let h be -2 + (2 - k) + 2. Is h bigger than r?
True
Let z(i) = -46*i - 5874. Let g be z(-129). Suppose -4*u + 120 = -2*u. Do u and g have different values?
False
Let t(b) = 44*b + 2107. Let f be t(-40). Which is smaller: f or 345?
345
Let v be 4*(-2 - (55 - 4)). Let i = -136 - v. Let u = -59 + i. Is 18 >= u?
True
Let s = 160.318 + 0.082. Let v = 151 - s. Which is bigger: v or -1?
-1
Let h(k) = 13*k**3 + 2*k**2 - 3*k + 7. Let v be h(3). Suppose 3*l + 3*o - v = -l, 5 = o. Let p = -87 + l. Is 4/13 less than p?
True
Let j be (1 + 9 - 5) + (-52)/(-5). Let h be ((-1161)/(-75))/(1 + 0). Let f = h - j. Which is smaller: f or 0?
0
Suppose 0 = 12*o + 2*o + 168. Let x be -4*2/o*9. Suppose -14 = -0*j - 2*j + b, j + b - 10 = 0. Which is bigger: j or x?
j
Suppose -1197 = -100*l + 403. Is l less than 378/23?
True
Let y be (-4)/((16/10)/(-4)). Suppose -5*w + 3*w = 5*u + y, 10 = -2*w. Suppose u = -2*k - k - 3. Which is bigger: -1/22 or k?
-1/22
Let l(r) = -1 + 4 - 2*r + 12*r**2 - 2 + 2. Let u be l(2). Let q(y) = y**2 + 20*y - 295. Let h be q(-31). Is h less than u?
True
Let s be (-464313)/(-8010) + (2/10)/1. Is 59 equal to s?
False
Let f = 7.65 + -589.65. Which is bigger: f or -2/3?
-2/3
Let z be (18/(-24))/(4/(-16)). Suppose -2*c - 3*y = 2*c + z, 6 = -4*c - 2*y. Suppose 0 = p - 4*k - 1 + 4, 0 = 3*p - 2*k + 9. Does c = p?
True
Let q be 10 - (32/(-24) - (-112)/12). Let f = -36 + -