t b be ((-8 - -10) + -2)/5. Let f(a) = -2*a**3 - 7*a + 3*a**3 + 3 - 7*a**2 + 2*a**2. Let o be f(6). Which is bigger: o or b?
b
Let c(x) = 16*x + 254. Let k be c(-16). Which is bigger: -21/16 or k?
-21/16
Suppose 2*y - 450 = -4*y. Let r = y + -84. Is r <= -10?
False
Let n = 492 - 672. Is n < -181?
False
Let l = -35543/7370 + 3/670. Is l smaller than -0.1?
True
Let c(z) = -4*z**3 - 3*z**2 + 5*z + 7. Let b be c(-3). Suppose 5*s = -33 + b. Let m be (-4)/(-18) + (-16)/(-9). Which is greater: s or m?
s
Let m be (-2)/7 + 198546745/(-221441150). Let c = m - 1/37217. Let a = 13/10 + c. Are 0 and a non-equal?
True
Let h be 0 - (-10)/(4 - -1). Suppose -5 = 5*d - 5*k, 0*k + k - 1 = -h*d. Which is bigger: d or -8/7?
d
Let j = 4 + -6. Let k be ((-1)/4)/(2 + (-22964)/11488). Let a = 237 + k. Are j and a non-equal?
True
Let m(h) = -10*h**2 + h + 1. Let y be ((-2)/4)/(2/(-4)). Let x be m(y). Which is greater: x or -7?
-7
Suppose -5*g + 15 = 0, -141 = -8*r + 11*r + 4*g. Which is smaller: r or -49?
r
Let i(j) = -5*j**2 + 5*j - 9. Let w(f) = 4*f**2 - 4*f + 8. Let g(l) = -5*i(l) - 6*w(l). Let y be g(2). Let s be 0*(-2)/8*2. Are y and s nonequal?
True
Let j = -145/132 - 5/33. Let t be (-1 + (-3)/(-3))*(-8)/(-16). Is t at most j?
False
Suppose 11*s - 18 = 2*s. Let n be s*(4 + 3 + (-658)/92). Which is greater: n or -1?
n
Suppose -93*x = -89*x + 112. Let o be 264/(-14) - (20/(-5))/x. Which is smaller: -18 or o?
o
Let h = -149 - -153. Let s be 7 - 5 - 10/h. Is s smaller than 5?
True
Let o = 2 - 0. Let z(y) = -37*y + 596. Let v be z(16). Which is greater: o or v?
v
Let k = -18 - -33. Let b be 11/3 - 10/k. Suppose 0*y = p - 2*y - 7, b*p + 19 = -4*y. Which is greater: -2/25 or p?
-2/25
Let i = -475 - -253. Are -222 and i equal?
True
Suppose 2*z - 5*z - 1380 = 0. Is z <= -1?
True
Suppose -2*l - 8*f + 6 = -12*f, -5*l + 9 = -4*f. Which is greater: l or 2/701?
l
Let g = -4775 + 291293/61. Is 1 greater than g?
True
Let y(n) = -10*n - 3 + 6 - 2 + 9*n. Let q be y(0). Let k be 2 - (q + 2 + 1). Is k > -4?
True
Let t = -5 - -6. Let f be (-145)/(-45) + (-6)/27. Which is smaller: f or t?
t
Let f be 2/(-4)*43*(28 + -4). Do f and -516 have the same value?
True
Let d = -4/6007 - 7845130/18021. Let v = d - -6404/15. Which is bigger: -9 or v?
v
Let s = 2.067 + 0.033. Let t = -12.9 - s. Let z be 5/30 + 4/(-8). Is z <= t?
False
Let r = 15.4 + -8.4. Is r at least 0.03?
True
Let m(g) = -2*g**2 + 7*g + 9. Let t be m(-4). Let o = -123 + 123. Which is bigger: t or o?
o
Let q be (-37)/6 + (-15)/6. Which is smaller: 0.4 or q?
q
Let j = -0.06 + 0.1. Let u = 8.04 - j. Let b = -228 + 228.2. Which is bigger: b or u?
u
Let s(g) = -g**3 + g**2 + 1. Let y be s(2). Let b be (0 + 1)*(-1)/y. Let h = 17.32 - 17.2. Is h at least b?
False
Let v = 142/3 + -72. Let c(x) = -3*x**2 + 2*x - 3. Let j be c(3). Let m = v - j. Which is bigger: m or 0?
0
Let h = -2715 + 40726/15. Suppose 5*s + 20 = -4*c, s + 2*c = 5*s - 10. Is s > h?
False
Let o be 104*(3 + 58/(-8)). Let s be 2/(864/o + 2). Let q = s - 44. Which is smaller: -3 or q?
-3
Let u(t) = t**2 + 2*t - 4. Let n be u(-5). Let w = 3.9274 + 0.0726. Is w <= n?
True
Let s = -139.99 - -143. Let v = s + -0.01. Let k = -1.2 + -1.8. Which is smaller: v or k?
k
Let x be 85/(-21) + (-36)/((-9)/1). Let k = 0 + 3. Let v be (1/2)/(k/6). Are v and x equal?
False
Suppose 9*c - 3*c = 30. Suppose -3*v - 12 = -3*z, c*z + 0*v = v + 36. Which is bigger: 6 or z?
z
Suppose -15 = 5*t - 2*d, 4*d = -4*t - 5 - 7. Let b be -3*(8/t*3 - -1). Does 20 = b?
False
Let m be 12/(-20) + 58/(-20)*26. Does -78 = m?
False
Suppose 0 = -7*h + 263 - 11. Let c = 36 - h. Does c = -40?
False
Let b = 100 + -11. Let u = -132 + b. Which is smaller: u or -41?
u
Let o(f) = f**2 + 17*f + 89. Let d be o(-8). Which is greater: d or -1?
d
Let m = 1.135 + -1.655. Which is greater: m or 1/4?
1/4
Let i(t) = t**2 + 7481*t + 0 - 4 - 7484*t. Let k(g) = g**3 - 4*g**2 - 3*g - 6. Let v be k(5). Let u be i(v). Which is bigger: u or -2/11?
u
Let x = -0.23 + 0.93. Let s = -3.4 + 3.4. Which is greater: x or s?
x
Let b(k) = -k + 52. Let l be b(0). Suppose -3*x + l + 8 = 0. Let p be x/104*4/(-15). Is 1 greater than p?
True
Let b = -3.351 - -427.351. Which is smaller: -2/5 or b?
-2/5
Let x = -9 + 11. Suppose x = -5*p - 3. Let m be ((4 - 4)/(-2))/1. Is m greater than p?
True
Suppose 0 = d - 15*d. Let p = 1617 - 312082/193. Is p < d?
True
Suppose 12 = -q - 5*q. Which is smaller: q or 26?
q
Let g(l) = 10 - 3 + 7 + l. Let h be g(0). Suppose -7*j - 39 = -10*j. Do j and h have different values?
True
Suppose q + 1 = 3*p + p, q = 5*p + 1. Are q and -105/11 non-equal?
True
Let l = -162 + 162. Is -2/309 > l?
False
Let t = 1090 + -1112.56. Let j = t - 0.44. Let n = -22.7 - j. Is 5 smaller than n?
False
Let z(h) = -h**2 + 32*h - 62. Let i be z(34). Which is greater: i or -128?
-128
Let i = 0 - 0. Let g be 7 - (1 - -3) - -27. Let p be (-6)/(-9)*(-5)/g. Is p less than i?
True
Suppose 4*t - 67 = -i + 4*i, 0 = -5*t - 4*i + 76. Let h = 28 - 26. Suppose 4*y = -h*y + 102. Which is smaller: t or y?
t
Suppose -t - 2 = 1. Let h be (t/3)/((-3)/(-9))*-9. Is h < 26?
False
Let b = 79 - 73. Let n(w) = w**3 - 4*w**2 + 2. Let p be n(4). Suppose -p*f + 8 + 6 = 0. Is b bigger than f?
False
Let m = 1 + 0. Let x = -64.8 - -65.3. Is x greater than or equal to m?
False
Let v be 8/(-45) + 24/(-108). Are 1/50 and v equal?
False
Suppose 2*k - 32 = -8*v + 10*v, 8 = -2*k. Is v <= -20?
True
Let b be 130/(-22) + (-78)/(-13). Which is bigger: 32 or b?
32
Let z = 86 - 134. Let i be ((-2)/(-16))/((-6)/z). Is i equal to 8/11?
False
Let r = 143457 + -143374.179. Let s = r + -83. Let t = s + -0.051. Is -0.1 bigger than t?
True
Suppose s + 2 = 0, -19 + 84 = -5*n - 5*s. Which is smaller: -136/11 or n?
-136/11
Suppose -a + x = -30, -5*x + 3*x = 2*a - 52. Suppose -3*d + a = d. Suppose 0 = -3*h + 10 + 8. Is d equal to h?
False
Let q = 139/665 + -11/35. Is -13/4 at most q?
True
Let g = -179 - -281. Which is bigger: 101 or g?
g
Suppose -4*r + r + 15 = 0. Let w(l) = 2*l + 2. Let p be w(0). Which is bigger: p or r?
r
Let v(s) be the first derivative of s**2/2 + 10*s + 11. Let f(m) = 2*m**2 + 22*m - 11. Let i be f(-11). Let h be v(i). Which is greater: h or -2?
h
Suppose 4*w - 3*t - 1824 = 0, 3*t + 1635 = 3*w + 267. Let u = w - 15507/34. Is u at least -1?
True
Let t be (-45715)/30258 + (-9)/(-6). Which is smaller: t or -1?
-1
Let l = 2045 + -1568. Is l less than or equal to 475?
False
Let j = -1885 + 35790/19. Which is smaller: 0 or j?
j
Let d = -0.184 - 77.816. Let v = 52 + d. Does 2 = v?
False
Let y = -9 - -24. Let q(p) = 44*p + 7674. Let z be q(-174). Is z at most y?
False
Let o be (1/((-1)/2))/2. Let u = o + 0. Let g = -5 + 5. Is u < g?
True
Suppose 535 = -4*l - 5*n, -6*n + 5*n - 263 = 2*l. Which is smaller: l or -132?
-132
Let y = 7392 + -7395. Let c be (-2 - -2) + (-12)/14. Which is bigger: y or c?
c
Suppose 5 = g + 11. Let x be (-15)/(-35)*g*(-14)/3. Is x at most as big as 12?
True
Let p(m) = -m**3 + 5*m**2 + 2*m - 9. Let x be p(4). Let r be (9/x)/((-4)/(-28)). Let c = -67/10 + r. Which is bigger: c or -3?
c
Let h = 236/13 + -719/39. Let z = h - 5/13. Do 5 and z have the same value?
False
Let p be 2/(-6) - 33594/81. Let h = -415 - p. Is 1 smaller than h?
False
Suppose 5*r - 3*r = 5*f - 262, 2*r = -2. Suppose -4*s + 84 + 44 = -4*h, -5*s + 152 = 3*h. Let g = s - f. Do -20 and g have the same value?
False
Let p = 28 - 36. Let s = -11.1 - -19. Let o = s + p. Which is smaller: o or -2?
-2
Let o(l) = -18*l**2 + 15*l. Let s be o(5). Which is bigger: s or -0.1?
-0.1
Let b(p) = p**3 + 6*p**2 + 6*p + 8. Let w(u) = -2*u**3 + 4*u**2 - 3*u + 1. Let k be w(2). Let y be b(k). Let o be (-4*y/(-4))/(-1). Which is greater: -8 or o?
o
Let c be 42/9 + 185/(-111). Let f = 5 + 4. Do f and c have different values?
True
Let x(j) = -36*j - 124. Let p be x(-4). Which is smaller: 22 or p?
p
Let z = 0.35 - 15.35. Let v = 34 + z. Let h = -18.8 + v. Which is smaller: h or -6?
-6
Let w be (1/12)/(4/54). Let x = -403 - -404. Which is smaller: w or x?
x
Suppose -10*c + 4 = -6*c. Suppose 5*r + c = 16. Suppose 12*h = 15*h + r. Which is smaller: 1/6 or h?
h
Let w = -61 - -45. Is -19 > w?
False
Let x be (2 - (308/(-80))/(-11)) + -1. Let v = x - 5/4. Is v less than or equal to -3?
False
Let o(i) = 984*i**3 + 9*i - 