 Which is greater: t or p?
t
Let s(u) = -11*u**3 - u**2 - u - 5. Let j be s(4). Is -729 less than j?
False
Suppose 0 = -c + 1, 2*q + c - 6*c = -9. Let x be 11/11 - (-46)/(-22). Is q at least x?
False
Let d = 157.8 - 150. Let j = 7.9 - d. Is -1.45 <= j?
True
Let y = -286/15 - 53/15. Which is greater: -22 or y?
-22
Let l(n) = n + 2. Let h be l(-2). Let z = 340 + -1704/5. Which is smaller: h or z?
z
Suppose -u - 3*u - 16 = 0. Let f(v) = -2*v**2 - v + 6. Let r be f(u). Let n = 24 + r. Which is smaller: 14/5 or n?
n
Let f = 0.015 + 3.985. Are f and 16 nonequal?
True
Let q = -222 - -201. Which is smaller: q or 6?
q
Suppose -6 = -8*i + 18. Let j(y) = -y - 3. Let t be j(-6). Suppose -3 = -3*u - 3*a, u - t*u = a - i. Which is greater: 4 or u?
4
Let a = 268 + -269. Let c = -0.1 - -0.132. Which is smaller: c or a?
a
Let j(w) = 24*w - 2. Let l be j(-4). Suppose -28 = -v - 126. Is v smaller than l?
False
Let f = 580 + -579.9. Let v = 34 + 26. Which is smaller: f or v?
f
Let s be (-3)/((-9)/3) - 0. Let y be ((-3)/(-10))/((-48)/(-1400)). Let u = y - 1007/116. Which is smaller: s or u?
u
Let g(k) be the first derivative of -1/2*k**2 + 8 + 5*k. Let b be g(-8). Which is smaller: 1 or b?
1
Let j = 72.29 + -72. Let l = 0.71 + j. Which is greater: 13 or l?
13
Suppose 3*t = -t - n - 48, 0 = -t + 5*n + 9. Let i be t + 14 + (-132)/(-1). Let k be i/99*(-4)/(-10). Which is smaller: k or 0?
0
Let o(d) = 2*d**3 + 2*d + 2. Let v be o(0). Is v smaller than 2?
False
Let b(q) = -q**3 - 9*q**2 - 7. Suppose -4*l = -3*w - 11, 4*w + 4*l + 28 + 24 = 0. Let s be b(w). Is s smaller than -7?
False
Suppose t + 3*v = -194, 5*v = 8 - 28. Is -182 > t?
False
Let w = 38 + -3. Suppose -5*r = 5 - w. Suppose 0 = 3*n - r + 21. Are n and -5 nonequal?
False
Let i = -253.1 + 253. Which is smaller: 45.6 or i?
i
Suppose 0 = -0*t - t. Suppose -3*f + 4*c = -0*c - 13, -4*f + 2*c + 14 = 0. Suppose 4 = -2*p - t*p - 2*r, 2 = f*p + r. Is p equal to -3/4?
False
Let a be (12/5)/3 - (-25)/125. Which is smaller: -8/27 or a?
-8/27
Suppose -5*q + 5*t = -7*q + 435, -2*t = 3*q - 625. Which is smaller: q or 206?
q
Let m be 2/6 - 34/3. Suppose 0 = 3*s + 2*s - 855. Let q be 202/(-18) - (-38)/s. Is m less than q?
False
Let s be (12/18)/(2/(-3)). Let t be 80/(-41) - (s + -1). Suppose 6*w - w = -5*d - 25, w - d - 5 = 0. Is t <= w?
False
Let u = 228 + -204. Is 117/5 not equal to u?
True
Let m = 73.56 + -73.7. Which is smaller: 1 or m?
m
Suppose 0 = -4*y - 2*l + 72, -4*y + 9 + 79 = -2*l. Which is greater: y or 7?
y
Suppose 6*j - 59 - 1 = 0. Let i = j - 12. Which is bigger: -7 or i?
i
Let d = -0.061 + 5.061. Let w = -1.1 - -2.1. Is w >= d?
False
Let l = -0.03 + 0.03. Let k(t) = -39*t**3 - t**2 - 2*t - 2. Let n be k(-1). Let d be (2 - -2) + n/(-8). Which is greater: d or l?
l
Let b = -1291 + 1469. Which is smaller: 183 or b?
b
Let y = -1146 + 683. Which is smaller: -464 or y?
-464
Let y be ((-36)/8 + 4)*-62. Let i = -28 + y. Let u be (-12)/i - (-26)/6. Which is bigger: u or 0.1?
u
Suppose -3*d = 2*m - 13, -25*d + 22*d + 11 = 4*m. Suppose -17 = 4*c + k, -3*c - 4 - 10 = k. Which is smaller: m or c?
c
Suppose -5*t + 1228 = -3*q, 3*t - 817 = -q + 3*q. Is -401 >= q?
True
Suppose -36*t + 9 = -33*t. Suppose t*p + 0*n + 12 = 3*n, 2*n - 1 = -5*p. Let h = -187 + 931/5. Which is smaller: p or h?
p
Let j be ((-6 + 6)/(-8))/(-1). Which is greater: -1/847 or j?
j
Let u = -22 + 27. Let z(k) = k**3 - 11*k**2 - 44*k + 28. Let w be z(14). Is u > w?
True
Let a be (-6)/10*3/9. Let t = -0.345 - 26.555. Let i = 27 + t. Is i at least a?
True
Suppose -1991 = 11*i + 6050. Is -729 smaller than i?
False
Let c be (91/21 + 0)*(-21)/(-5). Which is smaller: 17 or c?
17
Let o = -155.1 + 155. Which is bigger: 4/9 or o?
4/9
Let f be -2 - (-17 - -11)*(-2)/(-4). Let g be (4/6)/((-20)/186). Let y = g - -227/35. Is f greater than y?
True
Suppose 11*u - 2 - 9 = 0. Let n be (-4)/18 - (-123)/432. Is n at most u?
True
Let r(p) be the first derivative of -p**3/3 - 9*p**2/2 - 6*p - 11. Let a be r(-9). Do a and -1 have different values?
True
Let n = -10 - -13. Let u be n - 2 - (10 + -1). Suppose 2*d = -4*i - 34, 4*i = i + 2*d - 22. Is i at least u?
True
Suppose q - 8 = -0. Suppose -2*d = -2*o + 10, o = -d - q + 3. Are -2 and o nonequal?
True
Let h = -86 - -88.22. Is -0.1 greater than or equal to h?
False
Let l be 1518/(-308) - 9/6. Is l <= -7?
False
Let s = -22.74 - -22.94. Is 4/365 <= s?
True
Suppose -5*p - 5*q = -23 - 2, -4*p = -4*q - 44. Let b be (-4)/6*(-36)/p. Suppose 4*f - b - 17 = -2*z, z - f = -5. Which is smaller: -1/5 or z?
-1/5
Suppose 10*i + 3 = 13*i. Let l be (0 + -3)*2/(-2). Suppose 0 = -5*z + 4*r + 4, i = l*r - 4*r. Which is bigger: z or -1/9?
z
Let d = -60464/17 + 3559. Is d <= 2?
False
Let j = -5 + -9. Let i be (-9)/9 + 24/22. Let x = -9/22 - i. Is j smaller than x?
True
Let k be (-8)/(-6) - (-672)/(-18). Let b be 8/k - 101/(-9). Are 0 and b equal?
False
Let f be (0 + (-2)/4)/(4/(-24)). Suppose -f*r + 3 = 0, -3*r = m - 5*r + 4. Which is smaller: m or -3?
-3
Let z(k) = k**2 - 8*k + 9. Let m be z(8). Which is smaller: 8 or m?
8
Let y = -125/28 - -19/4. Is 0.06 greater than y?
False
Let o(j) = -j**3 - 3*j**2 + 15*j + 3. Let p be o(-4). Which is greater: -37 or p?
-37
Let z = -1.64 - -1.5. Let g = z + 0.04. Let x be (-130)/39*9/(-5). Which is smaller: x or g?
g
Let l = 30 - 24. Let c = 12.6 + 3.4. Let a = c - l. Is 0 bigger than a?
False
Let u(j) = j**3 - 10*j**2 - 14. Let m be u(10). Let y(x) = -x**3 - 15*x**2 - 13*x + 13. Let o be y(m). Is -2/53 > o?
True
Let n = -407299/289019297 - 2/137171. Which is greater: 1 or n?
1
Let v = -31 - -30. Which is bigger: v or -10/27?
-10/27
Suppose -5*r + 4 - 14 = 0. Suppose -b - 7 = -3. Which is greater: b or r?
r
Let k = 134.1 + -133. Is k bigger than 1/2?
True
Let p be (-8)/(-10) + (-1 - 1). Let v(b) = -8*b + 12. Let l(y) = 23*y - 37. Let j(m) = 3*l(m) + 8*v(m). Let d be j(3). Which is smaller: d or p?
p
Let c(x) = x - 3. Let o be c(3). Let u = -893/31 + 29. Which is smaller: u or o?
o
Suppose 0 = -4*f + 3*f - 5*n - 7, -35 = -4*f + n. Suppose 4*r + 2 = -2*m, -3*r + 2*m + 5 = 3. Is f greater than r?
True
Let f(g) = 5*g - 3. Let r be f(3). Suppose -r = 8*l - 3*l + d, 3*l - 5*d = -24. Which is smaller: 2 or l?
l
Let z = 40.818 + 0.182. Let o = -0.8 + 1. Is o less than or equal to z?
True
Suppose 0*h - h - 52 = 0. Let x be 1 + (-6)/4 + (-14)/h. Is 0 equal to x?
False
Let o = 1028 - 1027.6. Which is smaller: o or -25?
-25
Let n(s) = -s**3 + 163*s - 179*s + 0*s**3 + 16 - 18*s**2. Let a be n(-17). Let v be (-4)/(-14)*(-2)/(-4). Which is smaller: v or a?
a
Let w = 1730 + -1492. Which is bigger: 239 or w?
239
Let o(r) = -r + 4. Let n be o(2). Let m be -2 - (3 + 34/(-6)). Are m and n equal?
False
Let z = 101 - 101.2. Which is smaller: z or -155?
-155
Let f be (-5)/(-10)*(-10908)/(-90). Which is bigger: f or 61?
61
Suppose 0 = 3853*p - 3843*p + 350. Suppose -5*g - 166 = -3*k - 0*k, 0 = g + 3*k + 44. Do g and p have the same value?
True
Let k = -144 - -577/4. Which is bigger: 14 or k?
14
Suppose -20 = -5*t, j + 8*t - 7*t + 32 = 0. Let x = -35 - j. Let a = -36 + 110/3. Which is greater: a or x?
x
Let g(f) = 21*f + 1. Let x(s) = -42*s - 3. Let k(t) = -7*g(t) - 3*x(t). Let u be k(2). Let a be u/(-8)*8/(-110). Is -2 smaller than a?
True
Let v = 975 - 1015. Is v at most -122/3?
False
Suppose 5*n - 2*l - 21 - 13 = 0, 3*l = -3*n + 33. Suppose -3*k = -n*k + 170. Let q be -1 + -2 - k/(-10). Are q and -2/5 unequal?
True
Let d = -13.3 + 3.3. Let i = d - -37. Let s = 16 - i. Which is greater: s or -2/5?
-2/5
Let n be 6 - ((-335)/(-65) - -1). Let l = 2 - 1. Is n equal to l?
False
Let o = 2493261/33155 + -1/6631. Let k be 20*(-2 - (-28)/(-16)). Let r = o + k. Which is smaller: r or 0?
0
Let g be (-7847)/(-1484) + 1 + -4 + -2. Let t = -2/53 + g. Let k be (-15)/12 + 2/8. Is t greater than k?
True
Let c(f) = -4*f**2 - 11*f + 28. Let m be c(-6). Are m and -5 non-equal?
True
Let w(k) = -k**3 + 11*k**2 - 13*k + 10. Let b be w(8). Let x = -181/2 + b. Let y = -79/10 + x. Is y < 0.1?
True
Suppose -3*d - 2*b = -1108, 117*b = 4*d + 113*b - 1484. Is 370 smaller than d?
False
Let d = 0.01 - -0.11. Let u = d + -0.12. Let t = u - 2. Which is smaller: 1 or t?
t
Let f = -0.09 - -13.59. Let w = 7.4 - f. Let l = w + 6. Which is smaller: l or 6?
l
Let r 