n = 3*s - 30, 24 = 2*s + 4*n. Which is smaller: s or m?
m
Suppose -2*d - 4*i + 845 = -3*i, 5*i - 25 = 0. Suppose -d*o = -431*o + 1969. Are o and 178 unequal?
True
Let m(l) = -2*l**2 - 16*l - 48. Let y be (-5)/((-7)/(-21)*3*1). Let n be m(y). Which is greater: -1 or n?
-1
Let y = -16 + 0. Let p be (-20)/90 - -13*1108/18. Let t = p + -1629/2. Which is smaller: t or y?
y
Suppose -7 = y + a, -5*y + 7 = -6*y - 5*a. Let j be ((-6)/(-250))/(y/7). Which is smaller: -1 or j?
-1
Let w = -0.23401 + 1313.23401. Is w not equal to -11?
True
Let l be -6 + 1 + 9/1. Suppose -l*y = -0*y - 0*y. Let b = 12 + -37/3. Which is smaller: y or b?
b
Suppose -11*p + 543 = -3*w - 15*p, -3*w + 3*p = 564. Let n be (-203)/5 - (-74)/w. Is n bigger than -43?
True
Let p(m) = -27*m + 195. Let r be p(21). Let v = -374 - r. Let f = -1.37 + -0.03. Is v < f?
True
Let n(t) = -25*t - 1530. Let k be n(-60). Suppose 2*x + 7 + 249 = -5*j, 4*j + 202 = -3*x. Let a = k + j. Does a = -82?
True
Let p be (3679/(-39))/(14/70). Is -472 <= p?
True
Suppose 1460*w - 5735 = 1275*w. Does -0.0366 = w?
False
Suppose 5*g + 2*t - 2086 = 0, -6*g + 2098 = -g - 4*t. Let b = 415 - g. Is -15/8 != b?
True
Let w(y) = 6*y. Let z be w(4). Let q be 17/(-6) + z/(-8). Let d = 5783 - 5790. Which is smaller: q or d?
d
Let n be (-3)/(28/(-5) - (-11 + 6)) + -3. Is n less than 93/28?
True
Let c be (32/(-4))/(-2) - 0. Let h be 28/(-5)*(-10)/c. Suppose 60*k - 199 = 581. Is k > h?
False
Let k be 250 + (-1)/(2/(-28)). Are 2107/8 and k unequal?
True
Let m(l) = -l**3 - 2*l**2 - 2*l - 3. Let v be m(-2). Let j = -170608/5 + 34123. Which is greater: v or j?
j
Let r = -183166 + 3821025927/20861. Which is smaller: 1 or r?
r
Suppose 123*n = -236*n + 252*n - 38627. Is n <= -373?
False
Let z be 14*(-13)/455 - 1336/(-3290). Which is bigger: -1 or z?
z
Let f be 2 - (-3 + 2398/482). Let y = 808 + -809. Is y smaller than f?
True
Let s be (2 - (-4 - 2)) + -3. Suppose -4*x = -5*f + 155, 0 = -3*f + 4*x - 2*x + 91. Suppose 0*d = -4*l + s*d + f, -5*l - 2*d = -42. Which is greater: -4/5 or l?
l
Let w(x) = -2*x**2 + 2*x. Let v be w(2). Let b be v - (0 - 3) - -4. Suppose -130*o = -174*o - 396. Which is smaller: o or b?
o
Let n(t) = t**3 - 30*t**2 + 41*t - 2267. Let m be n(28). Is m smaller than -2690?
False
Let t = -641.5 + 588.5. Let k = -23/33 + 1/33. Which is smaller: t or k?
t
Let i(q) = -4*q**2 + 19*q + 3. Let f be i(7). Let c be 3636/f*2/(-3). Is c less than 40?
False
Suppose -3*q + 4*l - 22 = 0, -4*l - l = q - 18. Let s be (-1)/(-2) - 25/(-180)*q. Is 1/4 <= s?
False
Suppose 5254 = 52*p - 51*p - 143*p. Is p >= -14?
False
Let p = 1186 - 1181. Let a = -1.6 + 1.2. Is p smaller than a?
False
Suppose 11436 + 5472 = 12*y. Is y > 1408?
True
Suppose 3*x - 2*p - 268 = 0, x + 4*x - 2*p = 444. Let j be (-66)/x*5/(10/112). Is -40 at most j?
False
Let q = 12 - 5. Suppose 5*g = 2*r + 60 + 20, -5*g + 110 = -4*r. Which is smaller: r or q?
r
Let d(b) = 10236*b + 2. Let s be d(-2). Let n be 1/(2/(-8)) + s/(-5175). Which is smaller: n or 0.4?
n
Suppose -5*d = -6*d + 6. Let c be d/8 - (-351)/(-36). Let q(f) = 12*f**2 + 53*f + 10. Let n be q(-4). Is c at least as big as n?
True
Let z be 448/24*(-3)/2. Let l(u) = -4*u - 111. Let w be l(z). Is w at most -1/7?
False
Suppose 34050 = -30*r + 105*r. Is r less than or equal to 464?
True
Let x = 0.2727 + 93.7273. Is x less than 50?
False
Let h = 6834 - 6298. Which is smaller: h or 2143/4?
2143/4
Let q = 5007 - 5006.9. Is q >= 10960?
False
Suppose 60*f - 57*f = -6. Let o be 1 + (2 - (f - 99)) + 3. Let c = 64 - o. Which is greater: -45 or c?
c
Suppose -2*j - 2 = 0, j - 4*j = u + 3. Let r = 8.9073 + -8.6993. Which is greater: r or u?
r
Let i be (-129)/(-4) + (-68)/16 + 5. Suppose -9 = 3*p - i. Suppose -p*r + 4*c = -9*r + 43, 3*r - 168 = c. Is r <= 55?
True
Suppose 9*f - 5143 + 5125 = 0. Is f at least -196?
True
Let z be (-8648)/(-5)*(11 - (-210)/(-20))/2. Which is bigger: 431 or z?
z
Let h = -0.0654 + -237.9346. Which is smaller: -2 or h?
h
Let w = -7.9 + -8.1. Let h = -16.29 - w. Let g(y) = -y**3 + 5*y**2 + 6*y + 1. Let f be g(6). Which is bigger: f or h?
f
Let p = -9.32 - -8.891. Let j = -0.079 - p. Is 2/3 at most j?
False
Let a = -10 - -4.8. Let j = 443.2 + -423. Let p = a + j. Is 1 less than p?
True
Let g(w) = 52*w + 5. Let u be g(5). Suppose 4781*h - 3724 = 4767*h. Which is smaller: u or h?
u
Let x(o) = -o**3 - 30*o**2 - 2*o - 30. Let b(l) = l**2 - 14*l + 3. Let d be b(11). Let y be x(d). Which is smaller: 28 or y?
28
Suppose 5*q = b - 36 + 365, 5*q - 5*b = 345. Is q bigger than 65?
False
Let i be 3/((-17 + 16)*3/(-5)). Suppose 3*d - 253 + 945 = 4*h, -i*h - 1095 = 5*d. Which is smaller: -223 or d?
d
Suppose t - 1620 = 4*o, -4*t + o + 35 + 6325 = 0. Which is bigger: t or 1585?
t
Let p = 102 + 14. Let j = p - 65. Let x be (-2)/3*(-1 - (-33)/j). Which is smaller: 1 or x?
x
Let c(u) = 575*u - 2201. Let v be c(-31). Are -20027 and v unequal?
True
Let f(n) = -6*n - 31. Let j be f(-5). Let b be j + -1 + 15/5. Are b and 2/153 nonequal?
True
Suppose 9*h - 4*h = 405. Let w = 67 - h. Which is smaller: w or -102/7?
-102/7
Let v = 55 - -19. Let r = v - 68. Suppose c = r*c + 85. Is c less than -16?
True
Let d be (-40)/((-5600)/(-19572)) - 2/10. Is -102 less than or equal to d?
False
Let p = 90395 - 22871152/253. Let c = -51/11 - p. Which is smaller: c or 0?
0
Let r = 49 + -297. Let j = 248.278 + r. Which is smaller: j or 0?
0
Let c = -346.3105 - 0.7895. Let o = 347 + c. Are o and -219 nonequal?
True
Let u = 54743/90 - 4739/45. Let q = 501 - u. Which is smaller: q or -1?
q
Let m = -29599/18 - -9769/6. Which is greater: m or -16?
-16
Let v = 11353 - 11352. Are -1/42919 and v non-equal?
True
Let l(m) = m**3 - 10*m**2 + 20*m + 1. Let k be l(3). Is -19/28 less than or equal to k?
False
Let f = -1988 - -2068. Do f and -10 have the same value?
False
Let j be 85/20 - 12/(-16). Suppose -7*v = -j*v. Suppose n + 2 - 7 = v. Is 6 <= n?
False
Let j = -2511 - -2229. Is -4/5 > j?
True
Let j = 132 - 221. Let y = j - -21.8. Let s = 67 + y. Is 0.9 at least as big as s?
True
Let z = 480 - 255.2. Let r = z + 18.2. Is 1 at least as big as r?
False
Suppose -3*q = 4*q - 3*q - 3*q. Which is bigger: q or 2/6669?
2/6669
Let c be (-10)/16*1114/(-130). Let l be 2/((-64)/(-260)) + (-1 - 2). Let i = l - c. Which is smaller: -1 or i?
-1
Let a(r) = r - 2. Let k be a(2). Suppose 0 = 5*i - 5*f - 15, 9 = 3*i + 2*f - 0*f. Suppose 4*d + 9 = -2*t - i, 2*d = -8. Is t > k?
True
Let n = -3639 - -1476. Is n > -2164?
True
Suppose 4*k - k + 4*d = 79, 62 = 2*k + 4*d. Which is greater: -418 or k?
k
Suppose 9*t + 792 + 2151 = 0. Let y = t + 327. Let f be (-2)/4 + 70/172. Which is greater: f or y?
y
Let x be (-5 + 9 - 6/8)*4. Suppose u + x + 35 = 3*k, -5*k + 100 = 5*u. Suppose -k*m = -22*m. Which is smaller: 16 or m?
m
Suppose 2*d = 4*c - 582, -50*c + 53*c - 578 = 2*d. Is d < -278?
True
Let v = -990 - -521. Let w = -457 - v. Which is bigger: 15 or w?
15
Let t = 379 + -364. Let f be 6/20*(-20)/t. Which is smaller: f or -52?
-52
Suppose 0 = -0*l + 4*l - 716. Let m be -4 - 0/(24/4) - -3. Which is smaller: m or l?
m
Let b(z) = z**2 - 15*z + 28. Let o be b(13). Suppose -2*a - 7 - 1 = -4*q, 5*a - q = -o. Suppose d + 5*m = 14, a*m = 2*m - 8. Is d at most -6?
True
Suppose -10*t + 40 = -2*t. Suppose -a + 5*k - 19 = 0, 7*k - 95 = t*a + 6*k. Which is greater: a or -17?
-17
Let r be (-1)/(-3)*(7 - -6134). Is 2052 at most r?
False
Let i = -87/28 - -20/7. Suppose 0 = -11*u + 55 + 495. Let l be -15*(-5)/u*8. Is l less than or equal to i?
False
Let d = -12.11 + 2.19. Let i = d + 9.9. Which is greater: i or -21?
i
Let i(j) = j**3 + 30*j**2 - 63*j - 113. Let y be i(-29). Is y < 15323/6?
False
Let j = 61.5 + -48. Let b = 1.5 - j. Let m = -49 + 48.8. Which is smaller: b or m?
b
Suppose -157477 = -200*x + 167923. Is x bigger than 1630?
False
Suppose 4*v - 2*d - 900 = 50, 3*d = 5*v - 1189. Let w = 217 - v. Are w and -16 equal?
False
Let i = -5773 - -5771. Is -18/31 at most as big as i?
False
Let h be 4 + (-5 + 0 - -4). Suppose h*v + 35 = -19. Let u be 12/9*v/60. Are u and 0.7 non-equal?
True
Let l(c) = -2*c**2 - 12*c + 20. Let v be l(-7). Let h be (2 + -37 - 0) + -5 + v. Let m = h - -18. Which is smaller: -17 or m?
-17
Let b = 684 - 651. Suppose 36*v - b*v = -96. Which is bigger: v or -36?
v
Let