*q + k*s = 86 + 71, -49 = -q - s. Suppose q + 70 = 2*c. Is 57 >= c?
True
Let l(q) = 3*q**3 - 10*q**2 - 3*q + 13. Let o(i) = -2*i**2 - 18*i + 14. Let f be o(-8). Let v be (24/f)/(3/15). Let j be l(v). Is 33 less than or equal to j?
True
Let f(y) = 4*y**3 - 5*y**2 + 5*y - 7. Let h be f(3). Suppose 4*b + 3*o + h = 0, -1 = -o + 2. Let n be (0 - 52/(-15))*b/8. Which is greater: 1 or n?
1
Let o = 19 - 15. Let i be 5/((-120)/33)*o. Let k = 168 - 173. Is i less than or equal to k?
True
Let r be 3/(-10) + 175320/536400. Suppose 2*s - 1 = s. Do s and r have different values?
True
Let o = -2916 - -2934. Suppose -i + 6 = -0*i. Suppose 7*w - 2*w - 74 = 4*g, -w + 3*g = -i. Is o > w?
False
Let v(b) = -36*b**3 + b**2 + 2*b + 1. Let h be v(-1). Let o = 531 + -529. Let l be o/4*-1*264/h. Is -4 less than or equal to l?
True
Let z be ((-12)/(-15))/((-4)/(-10)). Let b be 132/(-24)*(0 - z). Let g = b - 16. Which is greater: 1 or g?
1
Let r = 6.77 - 7. Let m = -3.2 - -3.33. Let c = -0.13 + m. Which is greater: c or r?
c
Suppose -x + d = 3, 3*x + 2*d + 6 + 28 = 0. Let b(s) = -s**2 - 6*s - 4. Let n be b(x). Suppose q + 11 = -8. Is n at least q?
False
Let p = -286 + 287.59. Let j = 1.66 - p. Which is smaller: j or -6?
-6
Let w = 0.7 - -0.3. Let g = 43954.4 - 43925. Are g and w equal?
False
Let c(l) be the first derivative of l**4/4 + 2*l**3 + 5*l - 38. Let d be c(-6). Let u be d/(60/27) - 7/(-7). Is u greater than or equal to 4?
False
Let s(k) = -14*k**2 + 92*k - 49. Let l be s(6). Which is bigger: l or -35/79?
-35/79
Let v = 13126 - 13420. Is -19 less than v?
False
Let c = 8845 + -8867. Is -556/27 < c?
False
Suppose 2*s - 26 = s - 4*c, 2*c = -2*s + 28. Suppose 3*w - w = s. Let r be (w - (-23)/(-4))*8*1. Is r smaller than -4?
True
Let f = -27073 + 108241/4. Let d(s) = 2*s + 6. Let o be d(-9). Is o less than f?
False
Let i(g) = g**3 + 3*g**2 + 8*g + 44. Let k be i(-5). Let s be 32 + -35 - k/10. Which is bigger: -0.1 or s?
s
Let w(q) = 18*q + 79. Let g be w(9). Let l = 265 - g. Is 23 > l?
False
Suppose -1880*t + 1882*t = -2. Let p = -0.3 + 1. Let j = p + -4.7. Which is smaller: j or t?
j
Let o be 496/(-434)*(-101815)/10. Is 11636 bigger than o?
False
Let p = -22.685 - -22.385. Let m = 8.2 - 0.2. Is m <= p?
False
Let r = -0.0442 - -911.0442. Let g = -908 + r. Are -0.47 and g equal?
False
Let l be (-3)/(-18)*8/(-3). Let t be -23 + 2944/130 + 1/5. Which is bigger: l or t?
t
Suppose -4*g = g + 110. Suppose 2*l - 460 = 476. Let q be -4 + (l/21)/6. Which is smaller: q or g?
g
Let z = 7572 - 7582. Is z smaller than -585?
False
Suppose -3 - 16 = d. Let x be 15 + d - 182/(-44). Let t(u) = -u**2 - 7*u - 1. Let b be t(-7). Which is greater: b or x?
x
Let s = 0 + -1. Let c be (-4 - 18/(-4))*6*(-12)/(-5094). Which is greater: c or s?
c
Let m = 4034.7 - 4032.7. Is 913 less than or equal to m?
False
Let v be 3/(-4)*(45060/5634 + -8). Is 0 at least as big as v?
False
Let i be (-9 + 6 + 10)*(-4)/(-14). Let l be (10/200)/(i/(-8)). Are l and -99 unequal?
True
Let o(y) = -y**2 + 8*y - 7. Suppose n + 3*q = 2*n + 6, -n = 4*q - 15. Suppose -2*w + 35 = n*w. Let t be o(w). Is t > 8/7?
False
Let g be 1/(-2) - (140/(-8) - 3). Let b(q) = -4*q - 39. Let c = 29 + -44. Let r be b(c). Which is greater: g or r?
r
Let v(a) = a**3 - 4*a - 6. Let l be v(3). Suppose d + l - 3 = -3*m, 4*d - 8 = 4*m. Let b be (-18)/88 - 1/(-4). Is d less than or equal to b?
True
Let a = -3485 + 3213. Which is smaller: a or 1?
a
Suppose 174*s + 55275 = 9*s. Is s smaller than -9?
True
Let f(q) = q**3 + 5*q**2 - 12*q + 7. Let t be f(-7). Let j(d) = -5*d. Let x be j(t). Let v = 37 - x. Which is smaller: 42/13 or v?
v
Let g = 64 - 108. Suppose 13*m + 965 = -22*m - 540. Let r = m - g. Which is smaller: 2/39 or r?
2/39
Let l(f) = 5*f - 5*f + 4*f + 20 + f + f**2 - f. Let a be l(-4). Which is smaller: 19 or a?
19
Let r(j) = -j**3 + 11*j**2 - 12*j - 50. Let l be r(9). Suppose 5*a + l*a = 12*a. Which is smaller: 8/21 or a?
a
Suppose -152*f = -156*f - 3*y - 1330, 4*y + 300 = -f. Let d be ((-11)/(-3))/((-2)/186). Which is smaller: d or f?
d
Let z be (-2352)/((-280)/32 - -8). Is 3136 at least as big as z?
True
Let x = -38.059 - -0.259. Let n = x + 0.8. Let m = 0.08 - -1.92. Which is greater: n or m?
m
Let q be 6 - 621/81 - 12382*(-2)/14862. Which is bigger: q or 1?
1
Let l = 18.95 + -18.95. Let d = -121824/25 - -4872. Is l at least d?
True
Suppose p + 8*p = 8*p. Let i be (-18)/10*(-3)/2. Let m = 14/5 - i. Is m > p?
True
Suppose -2*h = 4*n - 60, 4*h + 2*n + n - 130 = 0. Suppose -4*s - 5*a - 35 = 0, -h = 3*s + 2*a + 1. Which is bigger: -57/4 or s?
-57/4
Let f = 1925 + -1913. Is 91/8 >= f?
False
Let z = 48 + -35. Let o be -2 + z - 4/2. Suppose -31 = -3*q - 4*u, q + 3*u = 16 - 4. Are o and q equal?
True
Let w(t) = -12*t + 90. Let y be w(10). Suppose 725*v - 722*v = -96. Is y smaller than v?
False
Let o be -1*(-2 + 1362261/14). Let t = 97446 + o. Let m = 289/2 - t. Which is bigger: m or 2?
2
Let p = 3117659/638 + -36/319. Is p >= 4886?
True
Let w = -739/126 - 41/18. Let v be -1*25/(-5) + -14. Which is smaller: w or v?
v
Let t be (33/12 - 2)/((-9)/(-6176)). Which is greater: 515 or t?
515
Suppose -c - 5*t - 2491 - 1109 = 0, 3*t + 12 = 0. Is -3580 greater than c?
False
Suppose -5*b + 72 + 18 = -5*l, 0 = 5*b + 5*l - 40. Suppose 16*i = b*i - 3. Which is greater: 1/28 or i?
1/28
Let j be -2 + 12/7 - (-390)/91. Let x be (-6)/j - (-1)/2. Do x and -11/18 have the same value?
False
Let y(d) = d**3 - 66*d**2 + 17*d - 2636. Let l be y(64). Is l not equal to -9742?
True
Let j be -3*(-3 - -1) + -4. Suppose 3*p + j*k - 1085 = -2*k, 0 = 4*k - 20. Let s = p - 2481/7. Is 2 at least s?
True
Let q be (30/175)/((-75)/(-8875)). Which is smaller: q or 21?
q
Suppose 0 = -v + 2. Let u = -3.65 - -0.65. Let q = -3 - u. Which is smaller: q or v?
q
Let c = -11876 - -11879. Let x be 2 - -16*1 - 3. Is x greater than c?
True
Let h(w) = w**2 - 3*w - 25. Let p be h(7). Let q(b) be the first derivative of -b**3 - 2*b + 3. Let v be q(p). Is v > -31?
True
Let c = -505/189 + 1/189. Suppose 320*k = 323*k - 24. Suppose -i = -4*b - 13, 3*b - 5*i = -6*i - k. Is c <= b?
False
Let u(d) = -4843 + 31*d - 5*d + 4865 - d. Let g be u(-1). Which is greater: g or -13/6?
-13/6
Suppose -8*o - o - 252 = 0. Let v = o + 16. Let j be ((-2)/36)/(v/192). Is j less than or equal to 1?
True
Let u = -108 - -80. Let m(q) = q. Let h be m(-2). Let p be h/(-9) - 735/27. Which is greater: u or p?
p
Suppose 0 = 8*x + 7 + 9. Let o be 1 + 6 - (4 - x). Is o less than or equal to 32?
True
Suppose -4*j + 3*n - 1 = 0, -3*j + 3*n + 1 = 4. Let f be (2 + 3/(-3))/(j/548). Let t = -5753/21 + f. Is 1 >= t?
True
Let t(f) = 2*f**3 - 7*f**2 - 18*f - 4. Let i be t(7). Let y(c) = 214*c**2 + 9 + 2*c + 15*c - i*c**2 - 3*c. Let b be y(-12). Is b smaller than -15?
False
Suppose -23*x + 109 = 40. Suppose -12 = -x*h - 15. Which is bigger: -3/274 or h?
-3/274
Suppose 2*t - 8*m = -12*m - 4, -5*t - 4 = 4*m. Let l be 12/(-610)*-632 - -2. Let s = 72/5 - l. Is s greater than t?
False
Let o = -432971 + 42985793853/99281. Are o and 1 unequal?
True
Let q(o) = 5*o - 9. Let p = -17 + 24. Let z be q(p). Suppose 5*s = y + 124, 717*y = s + 715*y - 5. Which is smaller: s or z?
z
Suppose 0 = -28*r + 25*r - 15. Let n be (-8 - r) + (-6)/(-315) + 3. Let i be (-3 - -1 - -1)*0. Is n bigger than i?
True
Suppose 236*b - 249788 = 167696. Are b and 1769 equal?
True
Let s(k) = -k**3 - 4*k**2 + 7*k - 2. Let y be s(-6). Let z = 20022 + -99968/5. Which is smaller: y or z?
y
Suppose 3072 = -4*i + 2*h - 1410, 2*i + 2*h = -2262. Is i >= -1123?
False
Let m = -212361/22 - -9655. Which is smaller: 3 or m?
m
Suppose 864 = 3*i - 3*g, -5*i + 691 = -g - 761. Let o = i - 257. Which is bigger: 33 or o?
o
Suppose -3*j - 3*r = 12, 3*r + 2*r = 5*j + 30. Let g be 1/j*4 - (-68)/10. Let q be (30/(-24210))/(1/g). Are 1 and q non-equal?
True
Let l = -0.6337 + -6.0553. Are -1 and l non-equal?
True
Let g(z) = 6*z**2 - 5*z - 10. Let x be (-2 + 1)/(15/30). Let c be g(x). Which is smaller: 49/2 or c?
c
Suppose -4*g + 13 = -5*q, -7 = -20*q + 25*q - g. Is -39669 at most q?
True
Let d = 1.967 - 2.19. Let s = d + 0.323. Is 224 smaller than s?
False
Let o(g) = -g**3 - 6*g**2 - 2*g - 7. Let x be o(-6). Let c(i) = -20 - 10*i**2 + 8*i + x*i**2 + 6*i**2. Let b be c(-10). Is b >= -1/42?
Tru