 or m?
m
Let t be (-8092)/(-61712) + (-8)/76. Is t at least as big as 0?
True
Let v be (-1762)/(-4)*(-300)/(-225). Let p = v - 577. Which is smaller: p or 11?
p
Let s = -1/231 + 106/231. Let f be (11 + -11)*2/(-4). Are f and s nonequal?
True
Let k(n) be the first derivative of -n**3/3 + 6*n**2 + 2*n + 15. Let w be k(10). Suppose 2*g = 76 + w. Is 49 < g?
False
Let v = 379.3892 - 0.3892. Which is bigger: -2/7 or v?
v
Let d = -3/22 + 2/55. Let u(j) = j**2 + 14*j - 14592. Let y be u(-128). Which is smaller: d or y?
d
Let s be (-5 + 4)/((-1)/(-100)). Let q be ((-40)/s)/((-4)/(-10)). Is -2/73 > q?
False
Let h(w) = 3*w**3 + 6*w - 5. Let p be h(2). Suppose b - 26 = -p. Let f = b - 9. Do f and -14 have the same value?
True
Let n = 7.9 + -7.9. Let f = -1/39 - -106/2613. Which is greater: f or n?
f
Suppose -8*y - 960 = -9*k + 6*k, 18 = -3*y. Which is bigger: k or 311?
311
Let b be (-4)/11 + 1579260/3300. Which is smaller: 478 or b?
478
Let d be -3 + 5 + -1 - 0. Let z = -39 + d. Let s be 496/(-13) + 56/364. Is z at most as big as s?
True
Let x be 40/(-280) + 412841/308. Does 1340 = x?
False
Let r be 0 - 184/23*(-2)/4. Let d be -51*r + (-4 - (1 - 7)). Which is bigger: d or -201?
-201
Let c = 59 - 35. Let r = -19 + c. Suppose 4*j - j + r = 2*m, -5*j - 7 = -3*m. Is j smaller than -1/14?
False
Let o = -19/402 + -77/1206. Is 1 smaller than o?
False
Suppose u - 3*h = 5 + 8, 3*h + 12 = 0. Let i be (6 + 106/(-18))/(5/(-336)). Let t = i + 2218/285. Are t and u non-equal?
True
Let i be ((-837)/(-124))/((-2)/8). Let t be ((93 + -3)/(-2))/(-14 - i). Which is greater: -4 or t?
t
Suppose -17*w + 52 + 50 = 0. Suppose -9 = -4*v - 0*v - b, -3*b - w = v. Which is greater: v or 9?
9
Suppose -2*n + 5*h = -0*h - 12, -5*n = -5*h. Let m = -6433 - -6433. Are m and n unequal?
True
Let j(h) = 41*h - 34. Let p be j(1). Suppose -p*c - 593 = -3526. Which is smaller: c or 421?
c
Let u = 4 - 14. Let n = -1615 + 1618. Let y be n/((-15)/(-4))*u. Is y at most -6?
True
Suppose 0 = i + 4*h - 3148, -2*h = 18*i - 13*i - 15722. Is i less than 3144?
False
Let c(o) = o**2 - 35*o + 88. Let b be c(3). Do -25 and b have different values?
True
Let w be -7 + 1610/(-5) + -1. Let i = w - -282. Is i >= -45?
False
Let y be ((-4)/14 - (-16)/70)*(-10519)/(-314). Is y at most -2?
False
Let c = 1384/3 + -462. Let q = -0.044 + -55.956. Is q at least c?
False
Suppose -n = 5*n + 996. Which is greater: n or -156?
-156
Let g be (-6)/((-6528)/3254 - -2) - 1068/890. Is 977 <= g?
False
Let w = -7056 + 34862/5. Which is smaller: -84 or w?
-84
Let r = -12.39 - -11.2. Let u = 1.2 + r. Let a = 0.09 + u. Which is smaller: a or 2.6?
a
Suppose -16*o + 18 = 2. Suppose 5*k - 5*t - 235 = 0, 3*k - 4*k = -3*t - 41. Let g be 10/k - 29/(-30). Is o bigger than g?
False
Let j(k) = -13*k - 41. Let n be j(-4). Suppose -n*h + 16 = -27*h. Are h and 316 equal?
False
Suppose 5*c = 2*i + 300, 3*c - 5*c + i + 121 = 0. Let j be c/(-4) - (-2)/(-24)*6. Let m be -4 - 41/j - -1. Which is greater: 0 or m?
0
Suppose 5*p - 3 = 2, -3*p = 2*d + 1. Let f = 3 + -9. Let s = f + 8. Is s less than d?
False
Let h(t) = t - 8. Let r be h(7). Let c = 6772870254/29044477 - 197493/847. Let p = 2/647 - c. Which is smaller: p or r?
r
Let y = 6940 + -15867. Is -8925 greater than or equal to y?
True
Let z(v) = v**2 - 5*v + 7. Let h be z(4). Suppose -20 = 4*o - t, -3*t - 6 - 9 = h*o. Let u be (1 - (-11)/o)/(3/(-20)). Which is greater: 44/5 or u?
44/5
Suppose 4*m + 72 = 6*m. Suppose -2*n + 4*d = m, -27 = 5*n + 2*d + 63. Is 1/8 equal to n?
False
Let x(s) = -s**3 + 10*s**2 - 397*s + 4487. Let b be x(11). Let u = 69 - 1051/15. Do b and u have the same value?
False
Suppose 8 = -p + 7. Let b be (-4 + 13 + 4)/p. Let w be (14/(-3))/(14/6 + -2). Are w and b non-equal?
True
Suppose -6506*c + 6491*c - 35055 = 0. Which is bigger: c or -2336?
-2336
Let z = -7.174 + 0.074. Let b = z - -17.1. Let y = -25.1 - -25. Is y at least b?
False
Let b = 448 + -452. Let w be 5*(-11)/165*b/2. Which is bigger: 0 or w?
w
Let m be (-16)/4 + (-4)/((-4)/(-3)). Let c(q) = q**3 + 5*q**2 - 13*q + 2. Let s be c(m). Let n = -23 + 19. Is n less than s?
False
Let v = -1441 + 1615. Is 174 less than v?
False
Let c = 4492 + -4494. Which is smaller: -993 or c?
-993
Suppose 5*p = b - 5410, -b + 5356 + 36 = 4*p. Is b at most as big as 5400?
True
Suppose 198 = -2*m + 4*u, 4*m = -3*u - 280 - 83. Which is smaller: m or -18?
m
Suppose 0 = 3*c + 39 + 801. Let f = c - -398. Are f and 118 nonequal?
False
Let d(x) = 3*x**2 + 15*x - 12. Let g(c) = 5*c**2 + 30*c - 24. Let n(w) = -7*d(w) + 4*g(w). Let f be (3 + 13/2)*2. Let a be n(f). Are -89 and a equal?
False
Let x be (8/(-6))/(-4)*-2. Let v = -8830.7 - -8829. Is v <= x?
True
Suppose -1670*c = -1603*c - 247699. Are 3694 and c unequal?
True
Let l(u) = -u**2 - 21*u - 3. Let q be l(-22). Let i = q + -44. Let y be (-1 - -22)/(i/92). Are -28 and y non-equal?
False
Let s(j) = 84*j**2 - 7 - 3 - j**3 - 88*j**2. Let h be s(-5). Let t be h/(-6)*(360/25)/(-6). Which is greater: t or -2?
t
Let c = -21.6 + 41. Let w = c + -17. Is w <= 3?
True
Let v be ((-11802)/(-112))/(9/4). Let z = 3250 + -3204. Is z <= v?
True
Let g be (-2)/34 + 8686/(-1462). Let l be 22/(-66) - (-4)/g. Which is greater: 2/745 or l?
2/745
Let s = 10101/11 - 918. Let p = 23 + -19. Suppose -4*n + 0*n + 19 = -3*i, 5*i + 21 = -p*n. Which is bigger: n or s?
n
Let w be 262/(-6) + (-10)/(-15). Let u = -11 - w. Is 280/9 < u?
True
Let z = 78.7 + -69. Let q = z + -11.7. Let g be -1*(1 + 18/(-20)). Which is bigger: q or g?
g
Let h(g) = 5*g**2 + 16*g - 32. Let q be ((-6)/4)/((-66)/88). Let x be h(q). Which is greater: 31 or x?
31
Suppose -9 = 3*p - 2*m + 15, -2*m = 6. Let u be ((-6)/p)/((-6)/(-596)). Let r = u - 60. Is -2/5 > r?
False
Let b(s) = -2*s - 3. Let p be b(-3). Suppose -p*g = 4 - 25. Let y = -1115/3 - -379. Is y equal to g?
False
Let f(q) = -23*q - 1189. Let n be f(-51). Let c(p) = -4*p**3 + 2*p**3 - 5 + 8*p + p**3 + 3*p**2. Let u be c(5). Is n not equal to u?
True
Let l(v) = -10*v + 75. Let h be l(8). Let t(n) = 2*n + 11. Let s be t(h). Which is greater: 3/131 or s?
s
Suppose 60*o - 63*o = -804. Suppose 12*c - o = -4. Suppose -5*d = 19 - 109. Which is smaller: d or c?
d
Let r = 275 - 227. Suppose r = -37*j + 11. Are -3/406 and j unequal?
True
Let h = -3762 - -3785. Is h >= 23?
True
Let u(i) = i**2 - 10*i + 23. Let b be (1/2 + -1)*(-35 - -29). Suppose -44 = -4*d - 4*z, -5*d + 39 - 8 = -b*z. Let w be u(d). Which is smaller: 29/5 or w?
29/5
Let v = -441 - -646. Let z = -229 + v. Is -0.3 >= z?
True
Let t be 2 + -1 + 1 + 324/(-158). Let b = t + -71/158. Suppose -5*l - 10 = 0, 2*l = -2*a + l - 28. Is b at least a?
True
Let t = -0.36 - 4.38. Let m = t + 4.84. Which is smaller: m or 3/5?
m
Let t be (-198)/(-8) - 2 - (-9)/(-12). Suppose t*x - 88 = -308. Let y = -1 - 6. Are y and x equal?
False
Suppose -3156*a + 2*w = -3151*a, 4*a - 4*w = 0. Are a and -146/179 non-equal?
True
Let p(i) = i**2 - 4*i - 14. Let a be p(6). Let v = 15 + 19. Let h be 3*v*1/(-30). Is a != h?
True
Let m = -643 + 644. Let l be 3*(-6)/27 - 3381/18. Which is greater: m or l?
m
Let a be 1887/(-666)*(-4)/17. Which is smaller: 1/771 or a?
1/771
Let l(h) = -h + 14. Let y(j) = -2*j**2 - 14*j - 9. Let i be y(-5). Let d be l(i). Suppose 252 = -d*g - 3*g. Is -43 at most as big as g?
True
Let u = -1175.1 - -1174.1. Which is bigger: 5.239 or u?
5.239
Let b = -28.23 - -38.58. Which is smaller: b or 3?
3
Let u = -0.04 - 0.56. Let v = u - -2.1. Let b = 0.5 - v. Which is bigger: 3/5 or b?
3/5
Suppose 0 = q - 57 + 4. Let y = 62 - q. Suppose 0 = 6*o + 3 - y. Which is smaller: o or 0?
0
Suppose -22 = -9*q + 32. Suppose f = -2*f - q. Which is bigger: f or -18/7?
f
Let n be (-1)/(-3) - 1482/1890. Let c = -1/45 - n. Is -3/16 equal to c?
False
Let m = -0.22 - 0.68. Let b = -7.441 - -7.371. Is b > m?
True
Suppose -2*m - 176 = -2*d, -3*d - m + 362 = d. Suppose -4*j + 36 = 4*w - 348, 4*j = -3*w + 378. Is j less than or equal to d?
True
Let a = 2093/48380 + -8/205. Which is smaller: 1 or a?
a
Let c(a) = 8*a + 167. Let p be c(-21). Let r = 496 + -46129/93. Which is smaller: p or r?
p
Let g be 1/1 - 2/(-1). Let i = g + -4. Let o = -25/403 - -1887/4433. Is i > o?
False
Let c(i) = -2*i**3 + 2*i**2 - 1. Let n be c(1). Let k be (18/4 - n)*(-11 + 15). Let f be 19*(6/(-3) - -4)