 -5*q + 136. Suppose q = -7*t - 43. Is 1 at least t?
True
Suppose -4 = 2*n - 5*j - 18, 4*n - 3*j = 0. Let w be (-3)/3*(n - 5). Let i be (-20)/w*(-12)/27. Is i greater than 2?
False
Let q be 161/84 - ((-65)/15 + 5). Let j be 2*2/(-8)*-2. Let l be j/(5/2 - 2). Is l greater than or equal to q?
True
Let b be 6/(-21) - 89/7. Let z be ((-24)/(-36))/((-4)/78). Is z < b?
False
Let o = 67 - 75.6. Let j = 9 + o. Do -5 and j have different values?
True
Let x be (((-7560)/16)/7)/((-6)/8). Is 91 at least x?
True
Let y(n) = -n**3 + 6*n**2 - 2*n - 2. Let d be y(4). Is 19 smaller than d?
True
Suppose -87*c + 98*c = -11. Which is smaller: -9/5 or c?
-9/5
Let d = 100.3 + -96. Let q = d - 4. Which is smaller: 0 or q?
0
Let n be 2838/(-10) + (-72)/360. Are -284 and n non-equal?
False
Let u be (2025/486)/((-1)/(-18)). Is u greater than or equal to 72?
True
Let w(p) = -p**2 - 7*p. Let t be w(-8). Suppose b - 8 - 10 = -3*s, -4*s - 54 = -3*b. Suppose b = -2*q - 0. Do q and t have the same value?
False
Let u = -662/9 + 47008/639. Which is smaller: -1 or u?
-1
Suppose -325 = 5*d + 175. Let r = 105 + d. Which is bigger: r or -6?
r
Let m = 175 - 485/3. Let h(g) = -g**3 + 8*g**2 + 3*g - 10. Let c be h(8). Which is smaller: c or m?
m
Let j be (-105)/28*(-8)/6. Suppose -s - 60 = -5*s + 4*l, -5*l = -s + 19. Suppose 3*n + s = -5*a, a = 2*a - 2*n - 5. Which is bigger: a or j?
j
Suppose -y + 4*o + 2 = 0, 2*y = 4*y - 2*o - 16. Suppose -10 = -5*w, h + y = -0*h + 5*w. Let g be (-11)/(-22)*6*1. Which is bigger: g or h?
g
Let a(g) = -4*g + 8. Let p be a(-9). Let w = -28 + p. Let j = -15 + w. Is j bigger than 1/26?
True
Let j = -0.149 + -63.851. Let b = 64.5 + j. Is b < 2/5?
False
Let j = -0.003 - 0.707. Let o = 0.12 + j. Let v = 0.09 + o. Which is smaller: 2 or v?
v
Suppose -339*k = -328*k. Which is smaller: -1/10 or k?
-1/10
Suppose 13*c = 22*c + 6462. Is -718 at most c?
True
Let s be (-9)/2*(-27)/243. Which is smaller: s or 2?
s
Let i = 155085 - 14888291/96. Let j = 1/32 + i. Which is smaller: j or 1?
j
Let h = -2 - 0.7. Let f = 3.7 + h. Is f less than -1/9?
False
Let l = 243 - 248. Is l bigger than 2/13?
False
Let b = -0.322 - -0.372. Let w = -27 - -27.85. Let a = w + b. Is -1 less than a?
True
Let y be 2 + (-4)/(-4) - 0. Let b(h) = -7 + y + h + 0*h. Let g be b(3). Which is greater: g or 1/3?
1/3
Suppose -3*g + 213 = 57. Let r = g - 51. Is r <= -4?
False
Let k(f) = -f**3 + 3*f - 2. Let i be k(3). Let r be 3 + i/12 + -3. Which is greater: -1 or r?
-1
Let a be (-1)/((-5)/(15/(-201)))*6. Is a smaller than -1?
False
Let i be ((-4 - -2) + -10)*(-6)/(-28). Let p be 1 - 45/12 - 3/(-4). Does p = i?
False
Let k be -2 + 1 + (-63)/(-57). Suppose -10*r = -j - 23, 4*r + 3*j - 8*j - 23 = 0. Is k at most as big as r?
True
Let n(o) = -20*o - 6. Let l(q) = 59*q + 17. Let g(k) = 4*l(k) + 11*n(k). Let v be g(-6). Which is bigger: -93 or v?
-93
Let i(u) = 8*u**2 + u - 14. Let s be i(-5). Let l = s + -5248/29. Is 1 < l?
False
Let g be (77/1320)/((-4)/(-9130)). Let a = g + -400/3. Is 0 less than a?
False
Suppose 32*r = 14*r - 18. Which is smaller: 4 or r?
r
Let g = 4401/7 + -629. Which is greater: 2.68 or g?
2.68
Let u = 1348 - 1349. Let g be 2 + (-4)/3 - 1. Which is smaller: u or g?
u
Let o = -0.457 + -4.543. Is 5 smaller than o?
False
Let s be (16 + -20)*3/(-4). Suppose s*y - 38 = -4*l, 4*y - 2*l - 32 = 2*l. Let x(g) = -3*g + 1. Let w be x(-3). Is y less than w?
False
Let s(a) = a + 15. Let v be s(-8). Suppose 0 = 2*h + v - 5. Let i = 10 + h. Is 9 greater than i?
False
Let h = -789/553 - 1/553. Let q(k) be the first derivative of k**4/4 - 2*k**3 + 5*k**2/2 - k - 2. Let v be q(5). Is v > h?
True
Let p = 22 + 30. Suppose -5*g - p = -3*d, -g - d + 0*d - 4 = 0. Let x be -1*2 - 14/g. Which is bigger: -13 or x?
x
Let j(d) = -2*d**3 - 2*d**2 + 10*d + 21. Let z be j(-3). Is z <= 27?
True
Let p(q) = -56*q**3 + 10*q**2 - 23*q - 3. Let n be p(2). Are n and -456 non-equal?
True
Let q = 4635/167063 + 1/2353. Let r(k) = k - 5. Let u be r(15). Let z be (-3)/(-5) + 4/u. Which is bigger: q or z?
z
Suppose 9*i = 7*i + 2*j + 8, 0 = -3*i + 7*j - 4. Let l(b) = 7*b - 3. Let m be l(2). Which is greater: m or i?
m
Suppose 2 = 4*o - 3*z, -o + 13 - 5 = 3*z. Let x(s) = -4*s**2 + 19*s + o*s**2 - 17*s - 1. Let b be x(1). Is 3/14 at least as big as b?
True
Let d = 1 + 4. Suppose d*f + 4*v = -134, -3*f - v = -0*v + 79. Which is greater: -25 or f?
-25
Let h = -11 - -7. Let i be (-76)/(-28) + (-6)/(-21). Suppose i + 9 = -6*r. Which is bigger: h or r?
r
Suppose 18 = 97*l - 100*l. Let v be 3 - ((-186)/(-46) + 0/l). Are -1 and v non-equal?
True
Let l be (-2)/(-10) - 3/15. Suppose 3*g - 7 + 4 = 0. Let n be ((-2)/((-2)/g))/(91/(-14)). Which is greater: l or n?
l
Let s = -1.336 + -0.664. Which is greater: 39 or s?
39
Let n be 1 - -1 - (2 + (-6)/279). Which is bigger: n or 1?
1
Suppose 2*n + 150 = b - 229, 2*b - 2*n = 758. Is b greater than or equal to 377?
True
Suppose -3588*n + 3582*n = -1980. Which is bigger: n or 332?
332
Let i be (-11)/1 - 36/(-3). Is i smaller than -2?
False
Let k = 9.375 - 0.375. Which is greater: 6 or k?
k
Let u be 2/6*(-12)/(-2). Suppose -3*p + 1 = -u*p. Let x be ((-1)/13)/(0 + p). Which is smaller: 0 or x?
x
Let b = 0.054 + 22.946. Let d = b - 35. Let q = -11 - d. Which is greater: q or 0.1?
q
Suppose 5*v = 11*v + 3054. Do v and -509 have the same value?
True
Let a(p) = p**3 + 9*p**2 - 15*p - 9. Let y be a(-10). Let r = y - 24. Are r and 16 nonequal?
True
Suppose -4*i = -3*i + 11. Let c = 346 + -236. Suppose 12*v = v - c. Is i less than or equal to v?
True
Let d = 539 - 560. Is d greater than 1.4?
False
Let s(u) = 13*u + 12. Let b be s(5). Let p = b - 18. Is 58 less than p?
True
Suppose 2*n + 10 = 3*w + 3, 0 = 4*w + n - 2. Let o(u) be the first derivative of u**2/2 - u - 2. Let l be o(w). Is -2/9 greater than or equal to l?
False
Let a = -23 + 23. Suppose f - 2*f - 13 = a. Which is bigger: f or -14?
f
Let r be 26/117 - (2/9)/1. Which is greater: r or 1/295?
1/295
Suppose -4*o = -3*k - 6, 3*o + 14 = -k + 12. Let d(l) = 3*l**3 - 6*l**2 - 3*l - 2. Let u be d(-6). Let n = u - -9338/11. Is o less than or equal to n?
True
Let m = -15.32 + 61.32. Which is smaller: m or -0.21?
-0.21
Let t = -7/12 - 3/4. Let m be -4 - (28 - (-5)/(-5)). Let n = -32 - m. Is t at most n?
True
Suppose 2*k + 64 = -2*k. Let l be (k/(-48))/(2/12). Let d = -33 - -100/3. Which is smaller: l or d?
d
Let s = -387731/17 - -22817. Is s at least 9?
True
Let a = -12.2 - -15. Let y = -3 + a. Suppose 23 - 7 = 8*z. Is z < y?
False
Let h be 63/(-504) - 489/184. Which is bigger: -3 or h?
h
Let w(v) = 15 - 4*v - 3*v + 5 - 3*v. Let o be w(9). Which is bigger: o or -71?
o
Let f(q) = -q**3 + q**2 + q + 2. Let w be f(2). Suppose -393 = -5*h + 2*h. Let d = h + -657/5. Is d at least w?
False
Let y = -477 - -478. Let q = -393 - -34193/87. Which is smaller: q or y?
q
Let i(w) = -10*w**2 + 7*w + 9. Let n(a) = 3*a**2 - 2*a - 3. Let l(o) = -2*i(o) - 7*n(o). Let q be l(0). Which is smaller: q or 9/4?
9/4
Suppose -4*b - 1 + 5 = -2*j, -5*j + 4*b - 4 = 0. Suppose 2*z + z = -v - 13, 5*v + 3*z + 17 = j. Is 3/17 bigger than v?
True
Suppose -66*s + 62*s - 116 = 0. Which is smaller: -33 or s?
-33
Suppose -40*l - 3330 = 4910. Is -206 at least l?
True
Let s be -2 + (4 - 3) + -1 + 5. Suppose 100 = 2*l - 2*d, -2*l + 4*d + 100 = -d. Let z be 280/l + 4/10. Do s and z have the same value?
False
Let p(q) = -q**3 + 18*q**2 + 3*q - 140. Let k be p(20). Is -880 > k?
False
Suppose -10 = c - 7. Suppose -5*p + 27 = -0*i - i, 5*i = 3*p - 3. Suppose -5*d + 5 = 5*y, 2*y + 0*y = -4*d + p. Is c greater than y?
False
Let u(t) = -20*t - 2*t**2 + 7*t**2 - 4*t**2 + 37. Let r be u(15). Is -39 less than or equal to r?
True
Let m be 13/(13/4) - (3 - 1). Suppose m*g - 5 = -3. Let i = -1 - -2. Are i and g equal?
True
Let f = -20 - -28. Suppose -f + 0 = 2*m. Let q be (1 + 2/1)*-1. Is q at most m?
False
Let s = 42 - 42.26. Let r = -0.06 - s. Which is greater: r or -7?
r
Suppose -6*n - 147 = n. Let y = 5 + n. Which is smaller: y or -14?
y
Let a = -65104/15 + 4340. Suppose -5*g + 3 = -2. Do a and g have the same value?
False
Let h be 1/((9 + -12)/264). Are h and -90 unequal?
True
Let l(b) = 2*b**2 + 7*b + 1. Let d be l(-6). Let h = -23 + d. Let z = -9 - -10. Which is bigger: z or h?
h
Let h(m) = -m**3 + 