*l - 54 = 0. Which is smaller: -80/9 or l?
l
Let z(v) = -3*v - 1. Let t be z(-11). Let l be 5/(20/t) - 2. Suppose 0 = -l*o + 5*o. Which is greater: o or -2/15?
o
Suppose -4 = -2*s - 12. Let r be 1*-13 + 24/44*(-11)/(-2). Are s and r non-equal?
True
Suppose 2*c = -3*f + 19187, 5*c - 4*f - 47980 = f. Suppose -12*p = 7*p + c. Are p and -506 nonequal?
True
Let q be 11/(-33) + (-46)/6 - -4. Let b be (-6 - -11)*-1 + q. Which is smaller: b or -3?
b
Let m(u) = -u**3 - 6*u**2 + 186*u + 874. Let d be m(-5). Is d <= -1222/15?
False
Suppose 5*k = -15, 61*f - 3*k + 15 = 58*f. Let z(w) = -w**3 + 2*w**2 + 3*w - 4. Let h be z(3). Let a be h + 4/f*-42. Which is smaller: a or 18?
a
Let n(v) = v**2 - 13*v - 11. Let u be n(8). Let c = -35 - u. Suppose 15*j = c*j + 18. Is -18 at least as big as j?
True
Let s be (74/(-26) + 3)/(10044/1404). Is 0 > s?
False
Suppose -q + 350 = 23. Let g = q - 37603/115. Let d be 1/(8/(-2) + 5). Which is smaller: d or g?
g
Let j be (-2 - -1)*2/(-2). Let p be ((-27)/(891/(-231)))/(-22). Are p and j equal?
False
Let u(p) = p**2 - 16*p + 67. Let d be u(10). Let q be ((-1)/2)/((-1)/(-20)). Let i be (-4)/q + (-26)/(-10). Is i at most as big as d?
True
Suppose i - 4*w = -202 - 94, 4*i + w = -1116. Let b = 280 + i. Which is smaller: b or 5?
b
Suppose 5*u = -2*r + 37841, -331*r = -2*u - 334*r + 15143. Is u less than 7569?
True
Suppose 9164 = 305*i - 8221. Is i at least as big as 284/5?
True
Let o be 546/792 - (-6)/(-8). Suppose -z + 12 = 5*l, -36 = -2*z - z - 3*l. Let h be (1/z)/((-14)/42). Which is smaller: o or h?
h
Let b = -37 - -19. Let d be 4/828 - (-4)/b. Let j = 408 + -408. Is j at most d?
False
Let l be (-9)/(-2) - ((-165)/(-10))/11. Suppose l*q = 9, w - 4*w + 4*q + 60 = 0. Let a = w + -23. Is a at most 8/21?
False
Suppose 3*r + 59 = 2. Let w be -4 - (144/(-6))/4. Suppose -5*t + 3*v - 87 = 0, 0 = -4*t + w*v + 1 - 71. Which is greater: t or r?
t
Suppose 0 = 501*d - 460*d + 127879. Is d < -3119?
False
Let r(w) = -2*w**3 + w**2 - w - 1. Let j be r(2). Let s = j + 15. Let z = 2/261 + 217/5742. Which is greater: z or s?
z
Let o = -6910 + 2383952/345. Let k be 2/(-5) - (-6)/15. Does o = k?
False
Suppose -40*h + 35*h = -q - 33, 30 = -2*q + h. Which is smaller: 11 or q?
q
Let i = -2297 - -3250. Let m = i - 155. Let s be m/455 - (-4)/(-26). Is 1/3 <= s?
True
Suppose 20*q + 40*q + 133*q = -105185. Let m = 0 + 1. Which is smaller: m or q?
q
Suppose -8163 = -4*p - 5*k, 679 + 7435 = 4*p - 2*k. Do 2032 and p have the same value?
True
Let x be (-2 - -3)/(3/(-27)). Let o = 1483 + -1495. Let c be (x + 6 - -1) + (o - 1). Is c > 1?
False
Suppose -2*i = -u - 17, -5 = -4*u - 17. Let h be (i/(-14) + 1)/((-7)/(-26)). Is 1 not equal to h?
True
Suppose -4 = -2*f, -6*g = -9*g - 2*f - 488. Let k be (-812)/(-606) + g/(-12) + -15. Are k and -1/4 unequal?
True
Let y(t) = -3*t + 26. Let i be y(6). Suppose -3*k = -i*k + 80. Suppose -24 = 4*r - 4*h, 7*h - 3*h = k. Which is bigger: 3 or r?
3
Let n be (-160)/112 + (-9)/(-126)*-5146. Is n bigger than -2592/7?
True
Suppose 174*n + 288 = 2*j + 172*n, 0 = -2*j - 4*n + 288. Is 164 > j?
True
Let v be ((-1)/2)/((-321)/642). Which is smaller: v or -8/7117?
-8/7117
Let s = -3 + -17. Let u = -28 - s. Let a be (-303)/(-45) + u/20. Are a and 7 equal?
False
Let g = -0.99 - -0.24. Let l = -0.25 + g. Let n = 9.1 - -23.9. Which is smaller: l or n?
l
Let s be -285*(-264)/165*(-1)/(-4). Do s and 32 have the same value?
False
Let s(w) = 6*w + 72. Let j be s(-13). Let y be ((j - -4) + 163)/(-1). Which is greater: -162 or y?
y
Let o be (-3)/12 + 170/8. Let h be (225/6 + 1)/(4/(-24)). Let q = -209 - h. Which is greater: o or q?
q
Suppose 0 = -8*p + 25*p + 595. Let d(h) = h**3 - 10*h**2 + 15*h + 6. Let n be d(7). Which is greater: n or p?
p
Let m be 1023 + 20/5 + -1 + -8. Which is smaller: m or 2035/2?
2035/2
Let n be 4 + 1 + -5 + -99. Let m = -99 - n. Let q = -78227/82 - -954. Which is greater: m or q?
q
Let f(d) = -6*d**2 - 312*d - 376. Let s be f(-43). Is 1949 less than or equal to s?
False
Suppose 4*a - 150 = -a. Let v(t) = -2*t**3 + 10*t**2 + 45*t. Let y be v(8). Let m be (y/50)/(a/100). Is -1 greater than m?
True
Suppose 15*z - 9*z + 18 = 0. Let o be (z + 6 - -4)*6/21. Which is greater: o or 69?
69
Let d = -29.257 - -199.334. Let w = -170 + d. Which is smaller: w or 1?
w
Let p = -21370899/84940 - 1/16988. Is p != -251?
True
Let l = 615.7 + -751. Let y = -139 - l. Is 0.3 at most y?
False
Let q = -36864/2363 + 269/17. Is q at least -1?
True
Suppose -20*w = -17*w - 591. Suppose -2*z - 203 = -3*b, 3*b = -12*z + 8*z + w. Is 0.1 > b?
False
Suppose -21 = -28*n + 7*n. Is n smaller than -42/227?
False
Let h = 37 - 25. Let v be (-16)/(-153)*(-9)/h. Let n be -3 + -9 + 2 + 9. Which is smaller: v or n?
n
Suppose 59*k + 21859 = 42*k - 1635. Which is smaller: -1378 or k?
k
Let q = 0.584 + -0.254. Suppose 27 - 6 = 3*u. Suppose 0 = u*s - 4*s. Is q != s?
True
Let p = -3 + 2.8. Let t = 35415 + -212483/6. Which is bigger: p or t?
t
Let t(p) be the first derivative of -4*p**2 + 34*p - 42. Let u be t(5). Which is smaller: u or 3?
u
Suppose -5*u = 2*x - 24, 546*u + 3*x = 550*u + 36. Suppose -3*k - d - 4 = -5, -3*d = -3. Is u equal to k?
True
Let z = 2588 + -2589. Which is smaller: z or -4?
-4
Suppose -4*a = 3*c - 42, 12 = -a + 40*c - 37*c. Which is smaller: 485 or a?
a
Let d = 4737 - 4993. Which is greater: d or -253?
-253
Let d(k) = -k**3 + k**2 + k - 1. Let f(p) = -7*p**3 + 7*p**2 - 3*p + 2. Let t(i) = -2*d(i) + f(i). Let h be t(3). Let j = -299/3 - h. Which is smaller: 2 or j?
j
Let r = -2/59909 - 237738/56853641. Which is greater: 0 or r?
0
Let b = 2255/6 - 2146/3. Is b bigger than -340?
True
Let o be (1401/78)/(7/(-6)*(-198)/924). Which is smaller: o or 71?
71
Let m(n) = 15*n. Let o be m(3). Suppose -110 = 5*b + 5*u, 10*b - 7*b - 4*u = -o. Which is greater: b or -18?
-18
Let r = -12/727 - -480384/34169. Is r bigger than 13?
True
Let j(s) = 2*s - 17 - 14 - 12 + 46. Let w be j(0). Which is smaller: 4 or w?
w
Let q = -1.426 + 0.026. Let p = q - -2.8. Let t = -7.2 + 6.2. Which is greater: p or t?
p
Let r = -159 - -183. Let m = r + -23.98. Is m != 0.14?
True
Let l = 3909.279 + -3914. Let g = 0.021 + l. Let z = g - 7.3. Which is smaller: z or 0.4?
z
Suppose 0 = 2*c - 3*l - l + 34, 0 = -c + 5*l - 26. Let r be -2*(3 + (-90)/(-12)). Which is greater: r or c?
c
Let d = 1/111 + -323/11211. Suppose 4*h + 3*n + 50 = 0, 4*h = -n + 3*n - 60. Let p be h/12 + (-10)/(-60). Is d greater than or equal to p?
True
Let a = 86026 - 86027. Let w be -2 - (-2 - (-4)/(-362)). Which is greater: w or a?
w
Let d be ((-18)/(-4))/((1 + -9)/(-16)). Suppose 4*r = -a, 3*a + d = -3. Suppose -r = 4*k - 5*k + 5*i, 0 = -i. Is 3 >= k?
True
Let j(a) = -6*a + 97. Let p be j(-11). Suppose 4*z + y = 653, -5*z + 795 = -12*y + 9*y. Which is bigger: p or z?
p
Suppose -225*a + 218*a + 2842 = 0. Let c = -1625/4 + a. Which is greater: c or -143?
c
Let y be (-214)/(-17) + 23/(138/(-66)). Do y and 3 have the same value?
False
Let m(i) = 119*i - 4403. Let c be m(37). Is c less than or equal to 0.08945?
True
Suppose -288 = 5*x + 122. Let r = 316 - 264. Suppose -g = -3*o - 242, -r*o + 50*o - g - 168 = 0. Is x bigger than o?
False
Suppose -3*x - 97 = 5*y, -12*x - y - 35 = -11*x. Suppose 24*z = -576 - 360. Is z greater than x?
False
Let n(u) = 2*u**3 + 30*u**2 + 390*u - 39. Let z be n(-12). Which is smaller: -3856 or z?
-3856
Suppose 82*j - 1630 = 1021 - 27. Which is bigger: j or 1?
j
Let f = 32861 + -32888.96. Is 1 < f?
False
Let b be (728/(-26))/((16/(-28))/(1470/(-7))). Is -10290 bigger than b?
False
Let z be -3 - ((-6)/4 - (-102)/12). Let w be (-609)/35*1 - (-6)/z. Which is greater: -22 or w?
w
Let h be (-2 + 5)*(-5 - -6). Suppose h*f = -3*p + 45, 4*p + 5 + 23 = 4*f. Suppose -15*g = -f*g - 24. Is g at least 8?
False
Let j be ((-1)/(-19171))/((-100)/(-2420650)). Let v = j + 1/2018. Which is greater: v or 0?
v
Let d = -36 - -57. Suppose -2*o = -5*l - d, -5*o + 4 = 3*l - 2. Let b be (l - (-1072)/(-40)) + 1/(-5). Is -30 bigger than b?
False
Let h be (-1)/(4/(-8)) - (0 - 4). Suppose -5*z + h*z - 14 = -5*r, 5*z - r = 96. Let p(g) = -g**3 + 2*g**2 - 8*g - 14. Let x be p(-2). Which is smaller: z or x?
x
Let c = 74 - 71. Suppose r = -c*m - 3*r + 13, -14 = m + 5*r. Are 32/3 and m nonequal?
True
Let l be ((-160)