
Let s(b) = b**3 + 17*b**2 + b + 29. Let p be s(-17). Suppose -7*d = p - 5. Which is greater: d or 37?
37
Let l(k) = 21*k**3 - k + 2. Let n be l(1). Suppose -2*u = -3*d + 2*d + 26, -2*u + 84 = 4*d. Do d and n have the same value?
True
Let a(u) = 86*u + 312. Let o be a(-17). Which is bigger: -1149 or o?
-1149
Let r be 22/4 + 5/(-10). Suppose 15 = -r*l - 25. Is -8 smaller than l?
False
Suppose -51*t + 0*t = 37536. Which is smaller: -735 or t?
t
Let z = -6 - 15. Let o be z/(-210)*(-1)/(-1). Which is greater: -2/3 or o?
o
Let u = -26/245 - 4636/7105. Which is bigger: u or 0?
0
Suppose -23 = 4*w - 3. Suppose -3*i + 28 = -2*i - 5*u, 2*u + 10 = 0. Suppose 5*k = -3*f + i, -4*f - k - 31 = -6*k. Which is greater: f or w?
f
Let l = 32837 - 32528.98. Let p = l - 318. Let w = p + 10. Which is bigger: w or -1?
w
Let a = -19 + 31. Let l be (-1)/(4/a) + 3. Suppose l = 5*i - 0*i. Which is smaller: -2/11 or i?
-2/11
Let u = 17 + -29. Let n be 12/u*30/(-2). Which is greater: n or 16?
16
Let x be (((-4)/(-224))/(-1))/((-4)/14). Which is bigger: x or -3?
x
Let s = 22 + -36. Let b(g) = g + 1. Let l be b(s). Let m = -21 - l. Is m smaller than -7?
True
Let y = -70 - -69.9. Are 69 and y nonequal?
True
Let r = -0.159 - 0.461. Do -1/3 and r have the same value?
False
Let p = 103.936 - 104. Which is greater: p or -0.1?
p
Let p be -1 - -1*(0 + -1)*-1. Let z(v) = v + 6. Let j be z(-7). Let f = p + j. Is f at most -2/23?
True
Let q = -23 + 27. Suppose 3*k + 11 = q*h, h - 5*h = k - 23. Which is smaller: 5/2 or k?
5/2
Suppose 0 = -7*p - 12*p - 247. Does p = -12?
False
Let q = 127 + -124. Let h be 44*(-2)/q*36/(-48). Is h <= 24?
True
Suppose -p = -3*b + 51, 4*b - 67 = 2*p - p. Let m = b - 10. Let j be 4/m - 2 - -2. Is j > 0?
True
Let i = 84 - 166. Is -83 at least i?
False
Let k be ((-2)/(-40))/(-1)*(-615)/(-205). Is -0.23 > k?
False
Let z(l) = -23*l - 310. Let f be z(-24). Which is smaller: 244 or f?
f
Let t = 606.2 + -607. Which is bigger: -21 or t?
t
Suppose 0 = j - 4*j. Suppose 0 = -4*v + 5*g + 47, 3*v = -2*v - 5*g + 70. Suppose -2*i + j*i - 3*f = 10, -4*f = 3*i + v. Is i smaller than -1?
False
Let s(y) = 2*y**2 - 39*y + 18. Let f be s(16). Which is greater: f or -96?
f
Let n = -0.4 - 0.6. Let l be ((-45)/12)/(7/(-28)). Let z be 46/140 + (-6)/l. Which is smaller: n or z?
n
Let y = -3/10 + 4/5. Let l = y + -15/26. Is l at most 0?
True
Let l = -13 + 17. Suppose -16 = 2*p - 2*f, -4*p - f - 32 = l*f. Is p less than or equal to -8?
True
Let u(q) = q**3 + 9*q**2 + 4*q + 9. Let v be u(-9). Let o be v/(-36) - 2/(-8). Let a = 2/23 - 89/230. Is o less than or equal to a?
False
Let v = 1393 + -203377/146. Is v > 1?
False
Let s be -2 + 2/((-1731)/573 + 3). Let c = -92 - s. Which is smaller: c or 5?
5
Let b = 4 - 4. Let j = 58/77 - 28/33. Which is smaller: b or j?
j
Suppose -10*f + 13*f - 580 = 2*p, 3*f - 572 = 4*p. Which is smaller: f or 198?
f
Let q = -487 + 401. Is q at most -85?
True
Let g = -33 + 46. Suppose -u + 6*u - 2*m - 65 = 0, 1 = u + 2*m. Is g greater than or equal to u?
True
Let f = 499/7 - 71. Let v = -5 + 6. Which is bigger: v or f?
v
Let a = -292.24 + 164.27. Let w = -128 - a. Which is greater: -9 or w?
w
Suppose 4*c - 1 = -x, -10*c = 5*x - 6*c - 5. Let s = 0.14 - 0.25. Let y = -8.11 - s. Which is smaller: y or x?
y
Let t = 52 - 52. Let v be 28/572 - (-4)/22. Are t and v unequal?
True
Let i = 1126 + -1121.94. Let g = -4 + 3.94. Let m = g + i. Is -1/2 smaller than m?
True
Suppose 0*i - i = 5*w + 3, i = 5*w + 7. Suppose -3*f + i*k = -4 - 15, 0 = -4*f - 3*k - 3. Suppose r = -f + 4. Is 1/19 bigger than r?
False
Let c = -277 + 397. Which is smaller: 122 or c?
c
Let d = -1943/235 - 72/47. Suppose -3*l - 43 = -2*a, -136*a = -2*l - 137*a - 17. Which is greater: l or d?
d
Suppose -o = 3*o - 32. Let g be o/(-8 - -4) + 16. Which is smaller: g or -4?
-4
Let p be (-14)/21*108/(-8). Which is smaller: p or 3/10?
3/10
Let c be -1 + (-4)/(-7) - 32136/721. Which is greater: -42 or c?
-42
Let p = 5 + -4. Let c = p + -4/5. Suppose 0 = -5*t - 20, -4*w = -2*t + 2 - 10. Is w bigger than c?
False
Suppose -t + 254 = -5*t + 2*g, 0 = 3*t + 3*g + 177. Let n = t + 32. Let u be n/(-70) - 2/7. Is u <= 0?
False
Let i(b) = b + 6. Let d be i(-6). Suppose d*j - 5*j - 5 = 0. Is -2/9 > j?
True
Let g = 2106 + -2134. Which is smaller: g or -348/13?
g
Let o = 1931 - 5714/3. Is -1 greater than or equal to o?
False
Let w = 383/8 - 48. Suppose -4*r + 8*r - 20 = 0. Suppose -10*h = -5*h + r. Is h greater than w?
False
Let n be (-216)/(-4) + (-4 - -3)*1. Which is greater: 369/7 or n?
n
Let q = 8/705 - -2/705. Which is bigger: q or 3?
3
Let z(f) = -2*f + 10. Let t be z(3). Let u(v) = -v**3 - 6*v**2 + v + 8. Let x be u(-6). Suppose 5*k = l, 7*k - x*k = t*l. Is k at most as big as -9?
False
Suppose -4*q = l - 41, 2*l + 61 = -4*q + 9*q. Suppose -77 = -k + 2*a - 62, 0 = -2*k + 5*a + 32. Is k bigger than q?
False
Suppose -h - 17 = 9. Let z = 51/2 + h. Is 1/3 at most z?
False
Suppose 4*z + z - 2*o = -10, 2*z + 4*o - 20 = 0. Is z bigger than 22/19?
False
Let u be (1/(-3))/((-12)/(-36)). Is u <= -2/509?
True
Let b = 534/631 - -227303/21454. Let q = b - 16171/510. Let g = q + 61/3. Does g = 1?
False
Suppose 0*l - 2*a = -3*l - 61, 0 = -3*l - 5*a - 89. Let j = 1799 - 1822. Is j less than or equal to l?
True
Let c = 20 + -18.5. Let g = c - 4.7. Let y = g - -2.7. Which is bigger: y or 0?
0
Let b(u) = 6*u - 39. Let r be b(-10). Let z = 84 + r. Is -15 <= z?
True
Let l be (-12)/21 + 990/42. Which is greater: l or 20?
l
Suppose 4 = 2*x + 2*u, 5*x - u - 7 - 3 = 0. Let m be (0/(2/x))/(-7 + 5). Which is bigger: m or 6/61?
6/61
Let z be ((-20)/50)/(2/(-5)). Suppose 3*a + z = -26. Let o = 27 + -36. Is a equal to o?
True
Let b be (-7)/(175/15) + 23/5. Suppose b*f - f = 9. Let n = -4 + 3. Is f > n?
True
Let i be (1/(-5))/(9/(-30)). Let u be (-3*(-3)/6)/3. Is i <= u?
False
Let i(s) be the first derivative of -s**4/4 - 2*s**3 + 4*s**2 + 3*s + 1. Let o be i(-7). Let m = -901/7 + 129. Is m greater than or equal to o?
True
Let o = 6 + -18. Let j(n) = -52*n**2 - 519*n - 2. Let z be j(-10). Is z > o?
False
Let m = 1945 - 1940. Let w(x) = x**3 + x**2 - x + 1. Let o be w(0). Suppose -3*r = -5 - o. Which is bigger: m or r?
m
Suppose -5*u - 14 = -4*p, p + 3 = -0*p - 2*u. Let g(x) = 3 + 74*x - p - 73*x. Let l be g(7). Is l > 8?
True
Let l(a) = -6*a**3 - 37*a**2 - 3*a + 9. Let j be l(-5). Which is bigger: j or -150?
-150
Suppose -9 = -5*s + 4*b - b, b = -4*s - 3. Let o(v) = -v**3 + v + 1. Let l be o(s). Which is bigger: 1.5 or l?
1.5
Let o be 14/16*13 + (-9)/24. Suppose -13*p - 2 = -o*p. Which is bigger: -3 or p?
p
Let o = -287.94 + 288. Does 6 = o?
False
Let c(g) be the first derivative of -g**2/2 + 23*g - 9. Let a be c(10). Which is smaller: a or 12?
12
Let s(u) = 2*u**2 + 32*u + 10. Let f be s(-16). Let h be (-14)/f*(27/(-21) + 1). Which is smaller: -1/3 or h?
-1/3
Let d = -465.9 + 466. Suppose -3*q + 4*q + 4 = 0. Are d and q unequal?
True
Let s(i) = -i + 5. Let k(j) = -j**3 + 12*j**2 + 3*j - 16. Let d be k(12). Suppose d = 4*l + l. Let u be s(l). Which is greater: u or -1/3?
u
Let n = -20 - -20. Suppose 6 = 3*m - 3*y, -6 = m + 3*y - n*y. Suppose -4*h - 79 = 5*q, -2*q + m*h - h = 31. Is -15 < q?
False
Let j(k) = 2*k - 1. Let q be j(-6). Let t be 15 + 7 - (1 - -2). Suppose -z + 7 - t = 0. Do z and q have the same value?
False
Let d(l) = 2*l**2 + 10*l - 20. Let w be d(-9). Is w at most as big as 52?
True
Let b be -3 + (969/299 - (-30)/(-195)). Which is smaller: b or 3?
b
Let y be ((-4)/(-16))/(2/8). Let s = -63 - -820/13. Is y less than s?
False
Let f be (-1)/(-3) + 10/(-18). Let q = 112 - 121.8. Let b = q - -10. Are f and b non-equal?
True
Let z(f) = 2*f**2 - 26*f + 1. Let b be z(13). Is 2/763 bigger than b?
False
Suppose 4*x - 2 = 2*x, 2*x = 4*b + 10. Let a be (-20 + -1)/(3/b). Suppose -4*z - 3*k - 15 = -5*z, -46 = -4*z - 2*k. Which is smaller: a or z?
z
Let z = 191 + -193. Let i be (2 + 1)/(1/3). Let s be (-3)/i - (-16)/(-6). Is z <= s?
False
Let x be (-9)/(-45) + (-154)/470. Let j be 1/4 - (-12)/16. Are j and x equal?
False
Let f(c) = c - 13. Let z be f(8). Let v(i) = 2*i**3 + 9*i**2 - 4*i + 1. Let r be v(z). Let j = 4 + r. Are j and -2 unequal?
True
Suppose 6 = 2*t - 5*p, 6*t - 3*p = 3*t + 18. Suppose -1740 = -t*h + 1260. Let s be h/1170 - (-