t h be p/(-35) - 9/(-21). Is 1/3 < h?
True
Let r = -1215 - -1574. Which is greater: 0.2 or r?
r
Suppose 5*p - 10 = -5*f - 0, 3*f = -4*p + 6. Let o(u) = -u**3 + u**2 + 4*u + 16. Let r be o(p). Which is smaller: r or 15?
15
Suppose -n + 2*n = 3. Suppose -n*t = -q - 13, q + 0*q + t + 5 = 0. Are q and 2 unequal?
True
Let q = -1 + 2. Let m be (2*(-1)/(-20))/(284/5112). Does q = m?
False
Let i = 0.07 + -0.17. Let x(r) = -11*r + 5. Let d be x(-4). Let s = -34 + d. Is i less than s?
True
Let s = -0.69 + 0.44. Is -1/4 bigger than s?
False
Let l be (0/(-2) + -12)*(55 + -56). Which is smaller: 8 or l?
8
Let l = 1.815 + -0.015. Let k = 1.9 - l. Which is smaller: k or 1.1?
k
Let o = 9/26 + -647/442. Which is greater: o or -2?
o
Suppose -91 = 6*h + 59. Which is smaller: h or -30?
-30
Suppose 3*s - 8 = x - 82, 0 = -s + 3*x - 14. Which is greater: s or 5/8?
5/8
Let p = -29797/6 - -4937. Which is bigger: -28 or p?
-28
Let r be 2/28 - 11781/(-68306). Is r not equal to 0?
True
Let t(k) = -k + 21. Let h be t(15). Let f = h - 12. Let y(n) = n + 6. Let r be y(f). Which is bigger: r or -0.02?
r
Let g be (-2498)/4 - (-1529)/278. Which is bigger: -617 or g?
-617
Suppose 0 = 2*b - 5*r + 7, 28 = -3*b - 2*r + 8. Let c(w) = -w**3 - 5*w - 5 - w**2 - 5*w**2 + 4*w. Let s be c(b). Is 2/3 less than s?
True
Let g be (-3)/((-2 - (-1)/5)/1). Is g >= 0.4?
True
Let v be ((-6 - -7) + -3)/2. Is v less than 0?
True
Let q = 68.2 + -68. Let n = 27 - 29.5. Which is bigger: q or n?
q
Let f(w) = w**3 + 9*w**2 + 16*w - 15. Let r be f(-4). Which is smaller: 7/74 or r?
7/74
Let k be (23 + -5)*2/(-6). Let q be (0 + 0)/(3/(-9)*k). Which is bigger: q or -5/36?
q
Suppose 6*h - 4*h = 6. Suppose 6*d - h*d = 0. Is -1 <= d?
True
Suppose 2*d - 2*k - 24 = 2*k, 0 = -d + 4*k + 20. Let y = 31 + -19. Suppose y = i + 2*i. Is d > i?
False
Let k be 9/18*(-60 - -2). Let h = -12 - k. Suppose 3*q = -2*q + 80. Is q >= h?
False
Let q be 5*2*3/15. Suppose -q*y - 1 = 1. Let k be (-56)/42 + 1/3. Is y != k?
False
Let k = 1102 - 1363. Which is greater: -260 or k?
-260
Let m be (-6)/180*-5 - (-74)/(-12). Let f = m - -5. Is f > -5?
True
Let f = -1164 - -864. Which is greater: f or -302?
f
Let k = -23888/33954021 + 10/8361. Are k and -1 unequal?
True
Let q(c) = -2 - 2 + c + 0. Let u be q(5). Let l = -96/55 - -28/11. Which is smaller: l or u?
l
Let b(a) be the first derivative of a**3/2 + a**2 - 3*a + 4. Let c(n) be the first derivative of b(n). Let d be c(4). Is d bigger than 14?
False
Let h = 92 - 94. Are 1/174 and h non-equal?
True
Let y = 10 + -20. Suppose -5*v = -0*v + n + 22, -3*v = 5*n. Let p = v - 5. Is y greater than p?
False
Let o = 724 - 698. Let w be (1 + 0)/((-8)/(-8)). Which is greater: o or w?
o
Let b(h) = 2 + 9 + h - 9. Let o be b(-13). Let j = 12 + o. Is j at least 3?
False
Suppose 0 = 3*y + 3*s + 225, -s + 2 = -y - 65. Is -71 >= y?
True
Suppose -3*m + 4*f = -32, -4*m + 2*f + 0*f = -26. Let l be (4/(-12))/(6/m*2). Which is smaller: l or 1?
l
Suppose -3*p = -b - 11, 2*p + 2 = -0*p + 3*b. Suppose -i = -p*t + 10, -i + 2*i + 6 = 3*t. Which is smaller: i or 2?
i
Let p = -15.8 + -2.2. Let t = 17.15 + 0.55. Let m = t + p. Which is greater: m or -2/11?
-2/11
Let i = 0.75 + -0.75. Let l = -0.189 + 0.069. Which is bigger: i or l?
i
Let w be (-18510)/(-33) - 8/(-528)*6. Is -1/3 <= w?
True
Let y(u) = u**3 + 8*u**2 - 2*u - 2. Let c be y(-8). Let h = c + -12. Suppose 0*v - v + 5 = h*r, r - v - 4 = 0. Are 11/3 and r equal?
False
Suppose -3*o - 1 = -0*o + m, -4*m + 14 = 3*o. Let s be (9/(-6))/(3/o). Suppose l = -5*r + 4 - 1, -3*r = l - s. Which is greater: 1/6 or l?
1/6
Suppose -3*l = 3*r + 39, -4*r = -3*l + 5*l + 16. Let a = 7 + -5. Let h be l/(-2115)*(-10)/a. Which is smaller: -1 or h?
-1
Let h = -485 - -454. Let n be (-127)/4 - 4/16. Are h and n nonequal?
True
Let a = 0.53 + 7.47. Let l = 11 - a. Is l at least 11/4?
True
Let o = 106365/59 + -1803. Let p = -344/531 - o. Let d(l) = -l**2 - 10*l - 8. Let w be d(-9). Which is greater: w or p?
w
Let d be -2 + 0 + (0 - -4). Suppose 0 = -4*v + 2*v. Let b be (1 - v)/(1/3). Is b smaller than d?
False
Suppose 0 = -5*y + 4*q - 60, -3*q - 10 + 1 = 3*y. Let h be (-27)/(-21) - y/(-28). Suppose 3*t = -2*t. Is h > t?
True
Suppose -235 = -27*f + 32*f. Let s = 87 + f. Which is smaller: 41 or s?
s
Let x(m) = -5*m**2 + 15*m - 86. Let a be x(4). Is a greater than -109?
True
Suppose -2*f + 17 = 3. Suppose 0 = 4*m - 20. Suppose -m*y = -15 - 15. Which is bigger: y or f?
f
Suppose 5 - 21 = -2*w. Suppose -w*v + 8 = -10*v. Which is smaller: v or -1?
v
Let l be 720/324 - (2/(-2) + 3). Are 230 and l equal?
False
Let o be 3497/(-6) + (-300)/(-360). Is o at most as big as -1?
True
Let a = 356 - 243. Let b = a - 81. Does 32 = b?
True
Let z(p) = p**2 - 20*p - 14. Let y be z(9). Is y less than or equal to -113?
True
Let d be (-148)/120 + 2/6. Let m = -29/85 - 1/17. Let i = d - m. Do -0.8 and i have the same value?
False
Let j = -20 + 25. Suppose 0 = 2*x + z - 3 - 9, 3*z = -j*x + 31. Suppose -3*c = -7 + 19, -x*q + 10 = 5*c. Do 8 and q have the same value?
False
Let b = 70.9 + 10.1. Let p = b + -79.4. Is p less than 3?
True
Suppose 3*m - 74*d - 12 = -75*d, 2*m + d = 7. Which is smaller: 4 or m?
4
Let r = -51.958 + -0.042. Which is greater: 5 or r?
5
Let m = -3.98 + -0.02. Let z = 12.54 + -2.44. Let j = -10 + z. Which is greater: m or j?
j
Let k be (-39)/5 - 3/15. Let q = -1 + 12. Let r = q + k. Is r <= 5?
True
Let s(o) = -12*o**2 - 2*o - 1. Let w be s(-1). Suppose -3222*b - 4*j = -3221*b + 48, 0 = b - 5*j - 33. Which is smaller: b or w?
b
Let l = -30 + 56. Let i = l - 26. Which is smaller: 1/5 or i?
i
Let c be 189/18*(-2)/(-15)*-5. Let t be 209/4 - (-2)/(-8). Let r be (-39)/t + c/(-12). Is 1 at least as big as r?
True
Let s = -63 + 63.113. Let o = s - 0.013. Which is smaller: o or -21?
-21
Let l be (-7 - -4) + 1 + 2. Which is smaller: -2/145 or l?
-2/145
Let p = -20 - -16. Let q = -5 - -4.2. Which is smaller: p or q?
p
Suppose 3*t + 5*c - c = 26, -t = 5*c - 16. Let a(r) = r**3 - 25*r**2 + 27*r - 28. Let k be a(24). Suppose -2*q + k = 32. Is q bigger than t?
False
Suppose x + 20 = 3*n - 4*x, 4*x = -16. Let f be ((-4)/(-7))/(-2) + 0. Are n and f non-equal?
True
Let q(a) = -3*a**2 - 74*a - 49. Let s be q(-24). Is s greater than 1/224?
False
Let v be 30/14 + (-4)/28. Suppose -10 = 5*b - 5*y, -b - y + v = -4. Let k be (-2)/4 - (-18)/4. Which is smaller: b or k?
b
Let h be 2/(-3 + (-2 - (-298)/60)). Let g = -103 - h. Is g greater than -44?
True
Let j be ((-10)/(-6))/(1/(-12)). Let n = 41/2 + j. Let p be ((-111)/12 + 3)*4/10. Which is bigger: p or n?
n
Suppose -2*o + 8 + 4 = 0. Suppose 4*h + h + o = z, 0 = 2*h + 2*z. Suppose -i - 5 = -4*f, 2*i + 3*i = 5*f - 10. Is i not equal to h?
False
Let i = 79 - 55. Suppose 4*a + 9 = s, -3*a = 4*s + 35 + i. Let n = 9 + s. Is -4 < n?
True
Let w(t) = -t**3 + 5*t**2 + t - 6. Let x be w(5). Let v be (-6)/33 - -18*x/22. Which is smaller: -2/29 or v?
v
Suppose -4*g = 17*g - 2688. Is g at most 130?
True
Suppose 234 = -y + 249. Is y at least as big as 18?
False
Let y = -1.1 - -1.19. Let b = 5/28 - -3/28. Which is smaller: b or y?
y
Let k = 0.1 - -51.9. Let r = k - 52. Which is smaller: r or 7?
r
Let r be (-756)/45 + -4 + -6. Which is bigger: -26 or r?
-26
Suppose 13*b = 7*b + 18. Suppose -b*d = -2 + 8. Is d less than -3?
False
Suppose -p + 16 = p. Let m = p - 8. Let q be m/(-2 + 0/(-1)). Is 2/43 bigger than q?
True
Let t = -89.55 - 4.45. Is -3 bigger than t?
True
Let f(t) = -2*t**2 + 72*t - 114. Let z be f(35). Which is smaller: -37 or z?
z
Let c = 1344 - 1353. Is c at most -69/7?
False
Let v(d) = d**3 + 16*d**2 + 25*d + 71. Let x be v(-16). Which is bigger: x or -326?
-326
Let w be -7*(-2230)/(-25) + (-6)/10. Is w less than -625?
False
Suppose 15*r - 13 = 16*r. Let h = r - 7. Let n be (-1)/((-11)/h) + 2. Is -1 not equal to n?
True
Let p = -8379669/1133 - -7396. Is p less than 0?
True
Let p = 242 + -2891/12. Which is greater: p or 1?
p
Suppose -4*z + z = -12. Suppose -z*q - 65 = -3*u, 10*u - 5*q = 5*u + 110. Let v = 0.3 + -1.3. Is u < v?
False
Let c be ((85/(-2))/(-5))/(-49 + 51). Suppose 3*k - 5 - 1 = 0, 0 = -2*n - 5*k + 10. Let j be -6*(-1 - n) - 1. Which is smaller: c or j?
c
Let m = 1 - 1. Let q = -2 + m. Let v = -11/2 - -51/10. Which is smaller: v or q?
q
Let v = 110 + -