t/(-25))/(6/90). Which is smaller: n or -7?
n
Let t(h) = h + 5. Let d be t(-4). Let r = -4 + d. Let k be ((3/(-2))/(0 + -3))/(30/(-300)). Which is smaller: r or k?
k
Let j be 5 - (24236/140 - (0 - -3)). Let r = j + 992/7. Is r less than or equal to -24?
False
Let p = -4676 - -28141/6. Which is smaller: p or 13?
13
Let y(p) = -4*p - 396. Let t be y(-55). Is -172 at most t?
False
Suppose -3*y + 2*h + 5 = -2*h, -5*y = 2*h + 9. Let k = -40 + 14. Let f = k + 15. Which is smaller: y or f?
f
Suppose -l = -9*l - 5*l - 1118. Are l and -113 unequal?
True
Let j be ((-44)/10 - -4)*74775/(-120). Does j = 249?
False
Suppose -3*s - 111 + 210 = 0. Is s >= 44?
False
Let i be (((-18774)/525)/((-3)/20))/(4/(-10)). Which is smaller: -597 or i?
-597
Let n = -2091 - -1408. Let t = -682 - n. Are t and -163 equal?
False
Let j = 7905 - 8769. Which is greater: j or -866?
j
Let a = 6402 + -3672. Suppose 0 = -s - 8*i + 4*i - 565, 5*s + a = -i. Is s at least as big as -546?
True
Let i be 16/(-10) - (-10)/(-25). Let b be (3/6)/(1/i). Let v = -5553/14 + 1190/3. Which is greater: b or v?
v
Suppose 3*i + 0*i = 24. Let h be (-2)/i - (-204)/(-16). Let d be ((-12)/(-8))/(3/(-28)). Is h bigger than d?
True
Let z be 0 - -3 - ((3 - 1) + -47). Let m be (-3)/((-25)/14 + 2). Let c = m + z. Is c less than or equal to 35?
True
Let v be 364 + ((-24)/(21/(-7)) - 4). Which is smaller: v or 369?
v
Let g = -4127/5 - -10059/10. Is 1/2 not equal to g?
True
Let u = -358 - -358.8. Let w = u + -0.6. Which is smaller: 3/14 or w?
w
Let z be (4/(-40) - 1776/(-10))/(40/32). Let j = -34 + 175. Do z and j have the same value?
False
Let p(j) = -2*j**3 - 32*j**2 - 10*j + 16. Let h be p(-15). Let y = -461151/5 + 92516. Let b = h + y. Which is smaller: b or 2?
b
Suppose 8*y + 10 = -2*y. Let j = y + 1/2. Which is bigger: 0.05 or j?
0.05
Let k = 493 + -484. Let a be 1 - (54/k)/6. Which is smaller: a or 4/153?
a
Let v be -1 + 1*(-1)/(-5)*0. Let s be 79/19 + v + 45 + -48. Which is greater: s or 0?
s
Let h(n) = -3*n**3 + 10*n + 9. Let l be ((-4)/(-2))/(11/(99/(-18))). Let s be h(l). Is -0.048 at most as big as s?
True
Suppose -22 = -91*s + 75*s - 86. Is s bigger than 4100?
False
Let t = -5/1159 + 1174/3477. Which is bigger: 69/31 or t?
69/31
Suppose 3*v - 4*n = 926, -5*v + 5*n - 6*n = -1505. Suppose -4*l + 1487 - 283 = 0. Is l at most as big as v?
True
Let t = -4420 + 4189. Which is smaller: t or -218?
t
Suppose 5*j - 2*a + 39 = 0, -2 - 18 = 2*j - 3*a. Let h = -234 + 246. Let m(k) = k**3 - 13*k**2 + 12*k - 6. Let x be m(h). Is x less than or equal to j?
False
Suppose 0 = -4*b + 108 + 28. Suppose -y = -b - 16. Suppose -2*x + d = 6*d - 8, 5*d - y = 5*x. Is x at most -7?
False
Suppose -2*t - 13116 = 5*i, 26304 = -4*t + 23*i - 21*i. Is t less than or equal to -6572?
True
Let b(s) = -s**2 + 7*s + 1. Let h be -6*((-10)/4)/5. Let z be b(h). Suppose 0 = -2*t + c + 26, 0 = -674*t + 676*t + 2*c - 26. Is t greater than or equal to z?
True
Let l be (-6)/(-23)*(6102/(-360) - -17). Which is bigger: l or 45?
45
Let i(z) = z**2 - 9*z + 3. Let q be i(-4). Which is smaller: q or 33?
33
Let c(w) = -8 - 4*w**2 - 210*w**3 - 5*w**2 - 2*w**2 + 8*w + 208*w**3. Let l be c(-5). Is -73 greater than or equal to l?
True
Let y(s) = -6 - 23 + s**2 - 6 + 10*s. Let a(d) = -d**2 + 11*d - 1. Let v be a(12). Let c be y(v). Is 16/5 less than c?
True
Let x be 5/(-1) - (-13 + 270/33). Is -4/43 > x?
True
Let t = -0.3 + 22.3. Let w = -1097 - -1097.3. Is w != t?
True
Suppose 0 = 45*n + 45. Suppose -4*i + 363 = 4*a - i, 3*i = -5*a + 456. Let t = 462/5 - a. Is n at least as big as t?
False
Let v = 2/103 - -83/1030. Let x = -1.44 - 0.34. Let k = x - -0.78. Do k and v have different values?
True
Let b be ((-3)/4 - 3)*520/(-15). Let y be (-6)/1 - b/(-8). Which is smaller: 9 or y?
9
Let p = -1965 - -1325.9. Let k = p + 639. Which is smaller: 97/4 or k?
k
Let q be 2/12 + 12303156098/(-29438220). Let h = -2/144305 - q. Let f = 418 - h. Is f < 0?
False
Let k = -23 + 13. Let f(l) = l**3 + 9*l**2 - 16*l - 8. Let z be f(k). Let y be 1/(3/2)*78/z. Which is smaller: 0 or y?
0
Let o be 2/(-1) + (-1 - -1). Suppose 4*b - 3*x = 1, 47*b - 43*b - 21 = -x. Which is bigger: o or b?
b
Suppose -v + 0*k - 18 = 3*k, -15 = 3*v - 4*k. Let x be 138/46 + -7*(v - -2). Is 51 at least as big as x?
False
Let d = -149.7 + 100.7. Is 0.144 > d?
True
Suppose 97 - 31 = 11*t. Suppose i = -5*p - 4, 6*i - i + 5*p = -60. Let a be ((-11)/22)/(1/i). Does t = a?
False
Let d be 941/56 + 1/(-5)*5. Let j = d - 107/8. Which is smaller: 2 or j?
2
Let m = 16145.81 + -16068. Let t = m + -0.81. Let w = 76.9 - t. Is 2/13 > w?
True
Let o(z) = -2*z**2 - 10*z - 1. Let b be ((-52)/5)/1 + 2/5. Let a(q) = q**2 + 5*q. Let x(t) = b*a(t) - 6*o(t). Let w be x(-5). Is w less than -1/4?
False
Suppose -y + 27 = -2*p, -197*p + 198*p = -4. Are -278 and y non-equal?
True
Suppose 2*p - b - 13 = -2, -2*p + 5 = 5*b. Let x be p/(50/(-4)) - 24/(-10). Suppose -18 = -4*y - x*y. Which is smaller: 8/5 or y?
8/5
Let h = -190279/273 + 697. Let v = -49/75 - -19/75. Is v greater than h?
False
Let w(q) = -2*q**2 + 12*q + 32. Let b be w(8). Which is bigger: b or 1/10825?
1/10825
Let d(r) = r**2 + 7. Let f be d(-4). Suppose -f = 14*x + 19. Which is bigger: -44 or x?
x
Let g be (4 + -4 - 1)*(-3 - 0). Let j(m) = m + 20 - 9 + 11 - g. Let b be j(11). Is b greater than 28?
True
Suppose -4*c = 1395 - 1379, 988 = -3*o - 4*c. Is -324 at least o?
True
Let c be (-2)/8 - (0 + (-219)/12). Let u be (-2)/(28/c - (-1 + 3)). Let v = -4 + u. Which is greater: v or -0.1?
v
Let m = 115/6 + -41/3. Suppose -3*l + 10 = -4*d - 36, -3*l = 2*d - 4. Which is smaller: l or m?
m
Let c = -2160 + 4154. Let t be c/(-3696) + (-552)/(-1012). Are -1 and t unequal?
True
Let l(y) = -2*y + 14. Let d be l(3). Let q(r) = r**3 - 27*r**2 + 51*r - 28. Let p be q(25). Which is smaller: p or d?
p
Let f(x) = x**3 - 30*x**2 + 56*x - 10. Let z be f(28). Let k be (34/z - -3) + (-161)/35. Which is bigger: 1 or k?
1
Let p = -50 + 71. Let g = 110 - 109. Let r be (((-40)/(-1))/g)/2. Is p smaller than r?
False
Suppose -15*s - 55*s = -560. Is -155 at most as big as s?
True
Let r(x) = -11*x**2 - 33*x - 69. Let b be r(-3). Is b greater than -26?
False
Let g = -96 + 186. Let w = -268/3 + g. Suppose -7*f = -16*f. Which is greater: f or w?
w
Let o be (-20)/(-8)*6*(-2)/15. Let n be 4246/1288 + -3 + o/7. Let m = n + -163/184. Which is smaller: m or -1?
-1
Let b be ((-5)/(50/4))/(473/605). Let p = 246/817 + b. Is p greater than or equal to 0?
False
Let o = -5.924 + 0.524. Let f = o + 1. Which is bigger: f or 0.1?
0.1
Let f = -3 + 3.3. Let g be 6*(-40)/24*(-2)/4. Suppose -5*m + 20 = g*m. Which is smaller: m or f?
f
Let u = 6501 + -6500. Let d = 516 + -310. Which is greater: u or d?
d
Let z(v) = 6*v**2 + 4*v - 6. Let r(t) = -6*t**2 - 6*t + 7. Let u(m) = -5*r(m) - 6*z(m). Let w be u(-2). Is w >= -37?
True
Suppose 1960 = -24*r - 1818 + 1522. Which is smaller: r or -101?
-101
Let y = -21454 - -21452.8189. Let z = y + -0.0189. Which is smaller: 0.05 or z?
z
Suppose -4310 + 3502 - 8534 = 6*q. Which is bigger: q or -1558?
q
Suppose -223*f = -227*f + 172. Which is greater: f or 828/19?
828/19
Suppose 5 = -v + y - 2*y, 2*v + y = -5. Suppose v = 11*d - 16*d - 5. Let l be 34/(-10) + (-3)/d. Which is smaller: -0.45 or l?
-0.45
Suppose 0 = 5*c + 25, -31*c - 6 = -2*d - 27*c. Let j be 8190/(-9)*d/(-14). Is -455 at most as big as j?
True
Suppose 5*q + 25 = 2*p, 4*q + 13 = -4*p - 7. Suppose 0 = 2*x + 3*v - 5, p = 2*x + 3*x + v - 19. Suppose 0 = -2*j + 8, 5*w - j = -x. Is 0 > w?
False
Let s(v) = -56*v + 1568. Let g be s(28). Which is greater: g or -1160?
g
Let k(v) = -5*v - 3. Let y(n) = n**3 - 7*n**2 + 9*n - 18. Let m be y(6). Let j be k(m). Let h = -19 - -11. Which is bigger: h or j?
j
Let a be 6679/39 + 240/(-18) + 14. Which is smaller: 173 or a?
a
Let v be 6/6 + (-3 - 0). Let x be ((-95)/(-60) - 1)*11*v. Let t = x + 1777/138. Which is smaller: 1 or t?
t
Let p = -107343/4 + 27113. Which is bigger: p or 276?
p
Let o(x) = 534*x + 8427. Let z be o(-28). Is z greater than -6526?
True
Suppose 3*j = 8*j - 115 + 15. Which is greater: j or 85?
85
Let p be 6/(-5)*(-4690)/402. Which is smaller: 176/13 or p?
176/13
Let p = -1522 + -1153. Which is greater: p or -2673?
-2673
Suppose -17*s + f = 58308, 3*s + 15*f - 14*f = 