- x = -9*r. Let l = r - 1030/3. Which is smaller: -4 or l?
l
Suppose 5*d + 3*f = 367, 4*d + 2*f - 7*f = 301. Suppose -41 = -73*q + d*q. Which is greater: -38 or q?
-38
Suppose y + 3 = 0, -4*z + 2*y = -y - 113. Suppose z = 2*q - 4*x, 2*x + 1 = 2*q - 15. Suppose -q*a = -4*d - d - 65, 5*d + 4*a + 30 = 0. Is d >= -10?
True
Suppose 38*x - 12*x = -14404. Let y = x + 595. Which is greater: 46 or y?
46
Let w be 66/(-12) - (-1)/(-2). Let g be w/21*(-1)/10. Suppose -33*m - 30*m = -72*m. Is g < m?
False
Let j = -2445 - -2474. Which is smaller: j or 325/11?
j
Suppose 15*j - 266 = 29*j. Suppose -q = 0, -4*o + 18 = -7*o + 4*q. Which is greater: o or j?
o
Let i be ((-36)/1125)/((-4)/30). Let t = 1873 + -1877. Which is bigger: t or i?
i
Let h = 18774 - 17137. Is h >= 1635?
True
Let g(d) = -56*d - 95. Let o be g(-2). Let f(w) = -w**2 + 19*w - 34. Let m be f(o). Which is bigger: m or 2/749?
2/749
Let u be (1 + (-43)/3)*408/3655. Is u not equal to -2?
True
Let p = 4672328/316317911 - 90/6109. Which is bigger: p or 0?
p
Suppose 0 = -13*k + 12*k + 4. Suppose k*u - 280 = -5*l, -u - 110 = 4*l - 334. Suppose 3*v - s + 44 = 0, -2*v + 5*s - l = -5. Is -16 smaller than v?
True
Suppose -4*n - 8394 = -j, -4686 - 1618 = 3*n - 5*j. Which is smaller: -2102 or n?
-2102
Suppose 23*u - 5049 = 3*t + 26*u, -5*u = -5*t - 8395. Is t bigger than -1681?
False
Let n = -639.21 + 635. Let j = 31.21 + n. Does j = -0.1?
False
Suppose -98*y - 58*y = 17472. Is y bigger than -107?
False
Suppose -v - 110 = -10. Let g = 139 + v. Suppose -103 = -4*a + 49. Is a less than g?
True
Let p = 26 - 56. Let c = -6866 + 6835. Is c < p?
True
Let w be (2 + (626900/(-31310))/10)*(-6)/(-7). Is -1 at most as big as w?
True
Let w = 15818/12795 - 5/1706. Is w greater than or equal to 1/4?
True
Let b(f) = f**3 + 6*f**2 + 3*f + 2. Let x be b(-6). Let l be 177*(-3)/(-1)*1/(-9). Let n = 43 + l. Is n bigger than x?
False
Let j be 1/5 - 3*1648/(-306). Let b = j - 49/3. Suppose -22*w = -18*w. Which is smaller: b or w?
w
Suppose 0 = 1688*o - 1685*o - 6. Let z be (-10 - -41)/(o + -3). Which is bigger: -0.2 or z?
-0.2
Let q be 0/27 + (-1 - (84 + -1)). Let z = -152 - q. Is -68 bigger than z?
False
Let v = -2336 - -2335. Which is smaller: 5/52 or v?
v
Let r(k) = 732*k**3 + 3*k**2 - k + 14. Let s be r(-2). Is s equal to -5827?
False
Suppose 0 = 4*m + 4*t, 518*t = -4*m + 522*t. Which is greater: m or 2/5271?
2/5271
Let k(z) = -z**2 + 7*z + 5. Let u be k(8). Let m(a) = -a**2 + 2*a + 18. Let h be m(u). Suppose -19 = -h*n - 79. Is -22 at least as big as n?
False
Suppose 2*r = -4*p + 4, -18*p + 19*p - r = -2. Which is smaller: -4/1103 or p?
-4/1103
Let n = 3707 - 3672. Which is greater: n or 489/14?
n
Let m(d) = -490*d + 5064. Let v be m(8). Is v bigger than 1144?
False
Let y be (-2)/(-4) + (-30)/(-4). Let r = y + -24. Let o = 15979 + -15994. Which is smaller: o or r?
r
Let x = -14/53 - -257/371. Let c(n) = -n**3 + 2*n**2 - 2*n + 3. Suppose 10 = -2*j, -4*h - j = -0 - 3. Let r be c(h). Do r and x have the same value?
False
Suppose 4*i = 5*y - 0 + 9, 0 = -y - 3*i + 2. Let g = 1318/7 - 681413/3619. Which is smaller: g or y?
y
Let d(r) = -r**3 - 12*r**2 - 21*r + 1. Let p be d(-10). Let a(h) = -3*h**3 - 2*h**3 + 5*h**3 + 11*h + 10*h**2 + 1 - h**3. Let w be a(p). Is w smaller than 4?
True
Let g = -16084/5 - -16803/10. Which is greater: g or -1536?
-1536
Let l = -9 + 12. Suppose 0 = -t + l*t - 8. Let n be t - (-70)/(-6) - -1. Which is bigger: -7 or n?
n
Let g(z) be the third derivative of z**5/30 + z**4/12 + z**3/6 - 18*z**2. Let v be g(-2). Let b = -4 + 10. Which is greater: v or b?
b
Let x(l) = 2*l**2 - 36*l + 27. Suppose -23 = -10*r + 137. Let i be x(r). Let s be (-22)/88 - i*1/180. Which is smaller: s or 0?
s
Suppose -320*o - 49821 = 106192 + 119507. Is -4299/5 > o?
True
Let u = -0.035 + 3.735. Let c = 3.8 - u. Let x be (-12)/18 - (-10)/(-21). Which is greater: x or c?
c
Let w = -3767 + 3842. Let m = 5 + -77. Let q = m + w. Is q greater than or equal to 0.03?
True
Let p be ((-6168)/16)/(18/30). Is -642 less than p?
False
Suppose 0 = 1696*p - 1643*p + 12667. Is p at least as big as -266?
True
Suppose 4*d + 9 = 5*y + 30, -y = -d + 5. Let a = d - -30. Let x = a - 28. Does 6 = x?
True
Let g = 11.8 + -0.8. Let x = 10.6 - g. Let i be ((-377)/(-39) + -9)*(-3)/(-7). Is i at most x?
False
Let i = 67/4304 + 33502001/21520. Let p = i + -1550. Let q = -52 + 60. Is p != q?
True
Let i be -4 - (-5 + -20) - 2. Suppose x = -4*c - x - 16, -5*c - i = 2*x. Is c < -3?
False
Let k = -13 + 6. Let r(m) = -m**3 + 6*m**2 + 6*m + 44. Let a be r(-6). Let v be 1*(-4)/18 + a/(-45). Does v = k?
False
Suppose 0*t - t = 0. Let a be 284/222 - (-4)/(-3). Let p = -85/481 + a. Which is bigger: t or p?
t
Let g = 0.0559 + 9.5841. Let x = g - 10. Let n = x - -21.36. Are n and -2/3 unequal?
True
Suppose -707*y + 747*y = -673762 + 126602. Are -13680 and y equal?
False
Suppose 2*y = -97*t + 96*t - 791, 4*y - 28 = 0. Which is smaller: -809 or t?
-809
Let j be (2/9 + 14/(-63))/1. Suppose j = -3*y - 5*y + 16. Let o be (y/(-20))/(15/10). Which is smaller: o or 0?
o
Let f = 7414061630318491/166439 + -311816529536/7. Let q = f + -4/12803. Let b = q - 45. Which is bigger: b or 1?
1
Let x = 33.2 - -265.8. Let p = x + -299.5. Let c = -0.02 - -5.02. Which is smaller: c or p?
p
Suppose -2*z + 6*z = -2*y + 44, -2*z + 4 = 0. Suppose 10 = -y*k + 8*k. Let b be (-4)/(-8) - 2/4. Is k at least b?
False
Let b = 141286/87 - 1624. Let y = -0.95 + 1.55. Is y smaller than b?
False
Let i be ((-4)/(-10) - 198/(-180))/((-11)/(-770)). Let r be ((-2)/4)/(1/(-212)). Is r != i?
True
Let l = -7702.1 + 7702. Let j = 1.8 + -2. Is j greater than or equal to l?
False
Suppose -621*q = -168*q + 43542 + 37998. Is -179 not equal to q?
True
Suppose -3*b - 2*k = -5*k - 75, -3*k + 9 = 0. Let z = 2604 + -2576. Are z and b equal?
True
Let q(r) = -r**3 - r**2 + r - 32. Let v be q(0). Suppose -4*w + 2*h + 124 = 0, 22*h - 23*h = 4. Let a = v + w. Is a at most as big as -0.1?
True
Suppose -z + 3*o + 2*o = -16, 3 = -o. Let d be (15/(-6))/((-50)/40). Suppose -5 = w - d*y + 3, -2*w + y = z. Which is smaller: w or 12/7?
12/7
Suppose -15 = 11*b - 6*b. Let g be b - 4/1*2. Let s = 16 + g. Is s bigger than 1?
True
Let c = 375 + -332. Let r = -1.7 + -41.3. Let f = c + r. Is 14/5 at most f?
False
Let h = 15 - 70. Let n = h + 59. Let p be (0 - (-14)/n)*8/14. Is p != -5?
True
Let r(u) = 31*u. Let t be r(-2). Let y = 41 + t. Let z = -20 - y. Which is bigger: z or 1/40?
z
Suppose 149*s = 184*s - 21070. Is s greater than 602?
False
Let g(j) = -j**3 + 4*j**2 + 19*j - 292. Let p be g(9). Which is bigger: p or -513?
-513
Let q be (-3138)/14 + (7 - (-96)/(-14)). Which is smaller: -222 or q?
q
Let r(m) = 2*m + 46. Let w be r(-16). Suppose w*t - 52 = 46. Let v be 3/6 - 31/(-6). Which is smaller: t or v?
v
Let i be (-2052)/85 + (-9 + 5)/(-20). Which is greater: i or -25?
i
Let j = -30608 - -30898. Which is greater: j or 287?
j
Let v(q) = -175*q**2 - 2*q - 10. Let p be v(-2). Let a = -701 - p. Let g(w) = -w**2 + 8*w + 2. Let j be g(6). Which is smaller: a or j?
a
Suppose d + 2*w = -d + 174, -4*w = 8. Suppose -5*b + h + 2*h + d = 0, 3 = -h. Suppose -4*t - 8 = 4*g - 72, -27 = -2*t + 3*g. Is t > b?
False
Let x be (-1704)/36 + 1/((-3)/2). Let d be (x/7)/((-112)/392). Let v be 1*4*(-50)/(-8). Is v at most d?
False
Suppose 480 = -0*m + 2*m - 4*s, -s = -3*m + 730. Let t be 243390/(-4270) - 151*-2. Is m at most as big as t?
True
Suppose 0 = 3*b + b + 24. Let t(u) = u - 6. Let m be t(b). Suppose -4*i - 1 = -3*p, -2*i = -3*p - 264 + 251. Is m != p?
True
Let f(b) = -108*b - 4. Let c be f(2). Let n = c + 220. Which is greater: -17/14 or n?
n
Let y be 8 + (64/8 - 13). Let c(o) = -2*o**3 + 8*o**2 - 4*o. Let t be c(y). Suppose -i = -3*i + 12. Is i < t?
False
Suppose 83*r - 77*r = 180. Suppose 42 = 12*p + r. Which is bigger: -1/45 or p?
p
Let n(r) = -r**2 - 4*r + 3. Let t be n(-4). Let j(o) = o**2 + 50 - 41 - 14*o - 42 - 3. Let a be j(16). Is a at least as big as t?
False
Let r = -28342 - -28354. Let m(y) = -y**3 - y**2 + y - 15. Let d be m(0). Which is smaller: d or r?
d
Let g(z) = -z**3 - z**2 + 6*z - 1. Let q be g(-3). Let x be -2 + 4 + (-1 - q) - 3. Let i = 15/4 + -253/60. Which is smaller: x or i?
x
Let v be (-915)/(-61) + 60/(-4). Is 1/22 bigger th