 x be ((-10)/42)/((-85)/102). Is x at most as big as u?
True
Suppose -7 = -4*b + 2*g - 29, -3*b + g - 14 = 0. Let a be 9 - 3 - (-2 - (-10 - b)). Is a at least as big as 11/13?
True
Let n be ((-8)/(-28))/(5 - (3 - 56/(-49))). Which is smaller: 3551 or n?
n
Let r = -543 - -542. Let l(u) = -u**3 - u**2 - 3*u - 2. Let d be l(r). Is 10/51 at least d?
False
Let b = 68 + -149. Let o = -82.6 - b. Which is greater: 5 or o?
5
Let n = 19945 + -19941. Let f(p) = 5*p - 6. Let h be f(6). Let k be (2/n)/((-1)/h). Which is greater: k or -5?
-5
Let i be 4/34 - 275096/(-21080). Let x = i + -61/5. Which is greater: x or 0?
x
Let b(z) = -z**3 + 15*z**2 - 1. Let m be b(15). Is m at most -4/487?
True
Let m = -1601/15 + 5328143/49920. Are 1 and m non-equal?
True
Suppose 2*p + 2*p - 13 = -5*o, 0 = -o - 3*p - 4. Suppose 85 + 90 = -o*y. Suppose 19*g + 350 + 296 = 0. Which is smaller: y or g?
y
Suppose 141*s - 288251 = 23500. Is s less than or equal to 2209?
False
Let v be 9/(-55) + 156/30 + -5. Let b = v - -76/935. Are b and -0.04 unequal?
True
Let m = 443 - 444. Let a be 18/6 + 176/m + 5. Which is smaller: a or -166?
a
Let z = -20.4 - 4.6. Let i = -3.5 + -464.5. Let a = 467 + i. Is a < z?
False
Let o be 206/(-824)*(-152)/2. Which is smaller: 854/43 or o?
o
Let q = -508 - -520. Let y be q/33 - 2511/99. Which is smaller: -76/3 or y?
-76/3
Suppose 0 = -26*d + 207 + 27. Suppose -3*b - 2*w - 74 = 0, -40 = 2*b - w - 0*w. Let c = d + b. Which is smaller: -14 or c?
-14
Let o = 123 + -126. Suppose -6 = 2*c + 6. Let a = c + o. Which is smaller: -10 or a?
-10
Let w = 4288/7 + -613. Which is smaller: w or 2/2747?
w
Suppose -15975*u = -15965*u + 87740. Which is smaller: u or -8775?
-8775
Let l(b) = -181*b + 1482. Let k be l(3). Which is bigger: k or 938?
k
Let l(y) = -y**3 - 2*y**2 + 20*y - 15. Let k be l(3). Which is smaller: k or -1/168?
-1/168
Let i be 0/(-6 - -12) + (1 - -1). Suppose -6*r - 5*v + 70 = -r, r = i*v + 8. Let g be 1/((-6)/4 - 66/r). Which is smaller: g or 0?
g
Let d = -128 + 101. Let t be (-2)/(-8 + 4) + d/(-6). Is t < -17?
False
Let s = 245/8 + -31. Let o(q) = -q**3 - 4*q**2 - 6*q - 7. Let n be o(-3). Is s less than or equal to n?
True
Let n = -533 - -995. Let q = n + -466.6. Is q greater than or equal to 2?
False
Let o = -8584 - -25508/3. Are -80 and o nonequal?
True
Let q(o) = -2*o**2 - 10*o + 40. Let n be q(-9). Let z be n/(-112) + (-18)/14. Which is bigger: z or 3/22?
3/22
Let n(v) = 10*v + 4. Let r be n(7). Let x = 932.5 + -932.4. Is x >= r?
False
Suppose 0 = -4*m - s + 7163, -m - 1694 + 3480 = 5*s. Which is greater: m or 1786?
m
Let w = -443.8 - 123.2. Let b = -507 - w. Are b and 3 non-equal?
True
Let x be ((-46)/644*7)/((-2)/(-436)). Which is bigger: 2/343 or x?
2/343
Suppose 21*q = 4*y + 18*q - 3, 10*y + 5*q = -5. Which is greater: y or -1/6628?
y
Let x = 71 + -69. Let q be 80/25 + -2 - 0/x. Which is greater: 0 or q?
q
Let c = -440 + 520. Suppose l - c = -39*l. Which is smaller: l or 1?
1
Suppose -63*t + 20*t = 0. Let w be 984 + 0 + (-1 - 0). Let z = w + -71758/73. Which is bigger: z or t?
z
Let z = -75 + 60. Let n be (10/z)/(-2*4/156). Which is bigger: n or 9?
n
Let s = 1.8 + 1.08. Let z = -86.88 + s. Is z at least 0?
False
Let v = -0.41 + 0.11. Let x = 3.3 + v. Let g = 10.9 - 8.9. Which is bigger: x or g?
x
Let d be 6/(-10) + (-39)/(-65) + 0. Suppose -19*o - 9*o - 364 = d. Suppose -17 = -3*y - 59. Is o smaller than y?
False
Let d be (54172/(-30))/((-132)/(-50)). Let h = 2176 + -1492. Let x = d + h. Do 0 and x have the same value?
False
Let l = 11684 + -11705. Let k(h) = h**3 - 7*h**2 + 6*h - 3. Let y be k(6). Which is smaller: l or y?
l
Let y = -20593 + 15630. Which is smaller: -4964 or y?
-4964
Let q be (6/42)/(84/441). Let x(c) = -2*c**3 - c**2 + c + 1. Let i be x(-2). Let s be 1/(-3) + i/231. Which is smaller: s or q?
s
Suppose 13*n + 5*k = 14*n + 14761, 4*k - 14758 = n. Which is smaller: -14747 or n?
-14747
Let n be (1 + 14)*(6 - 5). Let b = -140 - -143. Suppose 5*c - 3*v = 15, -5*c = -3*c - b*v - n. Which is smaller: c or -7/5?
-7/5
Let y = -4111 - -4044. Is y <= 3?
True
Suppose -4*i + s = -13251 - 3733, 17032 = 4*i + 5*s. Is 4248 less than or equal to i?
True
Let z be ((-401)/(-7395) + 72/(-1224))/(-10). Which is smaller: -1 or z?
-1
Let x = 12149 + -12152. Does x = 83?
False
Suppose 3*w - 13 = 2*q, 9*w - 2*q = 4*w + 19. Let s(t) = -3*t**2 - 6*t - 4. Let l be s(w). Let j be l/2 + -1*(-4)/(-8). Is j at least -25?
True
Suppose 6*a = -4*n + 3*a + 3112, a = 0. Which is bigger: 777 or n?
n
Let p = -1645 + 1526. Which is bigger: p or -4/15?
-4/15
Let x = -406.5666 + -12.3614. Let y = -419 - x. Which is smaller: y or 5?
y
Let n = 50143/1251888 + -2/7113. Let p = -3781/2288 - n. Is p equal to -3?
False
Suppose 62*j = -w + 64*j - 9, 4*w - 5*j + 24 = 0. Is 13/220 greater than w?
True
Let m be (-138)/(-92)*24/(-9) - -5. Which is smaller: 2/2601 or m?
2/2601
Let o(g) = -4*g**2 - 16*g + 44. Let m be o(13). Let d be ((-3)/4)/(55/m). Are 12 and d unequal?
True
Let z(n) = -1 + 3172*n - 2*n**2 - 3180*n + 8*n**2 + 0. Let f be z(2). Suppose 3*p + 2*w = 1, 3*p = -w - 4*w + f. Which is bigger: p or 1/40?
1/40
Suppose -4*m + 10*m = 17064. Suppose 0 = 8*g + m + 596. Let z be (-7 - (-3 + -2))/(g/2). Is z <= 0?
False
Let t = -5056 - -5055. Which is greater: t or -1/7923?
-1/7923
Let h be (198/(-1430))/(8/(-10)). Is -1 < h?
True
Let o be (-760)/(-15) - (-4)/(-6). Suppose -2*r - 3*r = o. Suppose 0*d - d = 7. Which is bigger: d or r?
d
Let h be (-2802)/2628 + 120/90. Is h at most -1?
False
Let y be (-132)/6 + 26 + -9. Is 21.5 at least as big as y?
True
Let b be 5*29817/(-135) - 6. Which is smaller: -1110 or b?
b
Let d = 1 + -1. Let z = -26 + 26.078. Let k = -58.078 + z. Is k < d?
True
Let y(z) be the second derivative of -z**4/12 + z**3 - 7*z**2 + 19*z. Let g be y(-6). Let b = g - -105. Is b greater than or equal to 18?
True
Suppose -4*n + 8 = -4*i, -2*i - 4*n - 10 + 36 = 0. Is i at most as big as 6/305?
False
Let p(v) = v**3 - 7*v**2 + 2*v - 14. Let j be p(7). Suppose j = 3*z - 5*z + 36. Suppose -3*k = 48 - z. Which is smaller: k or -12?
-12
Let z be (-2)/10*(3 - 5 - -2). Let n(m) = -m**3 + 11*m**2. Let l be n(11). Suppose -5*b + l*b = 0. Is z less than or equal to b?
True
Let u = -86398/75 - -1152. Let z(f) = -5*f + 2. Let m be z(0). Suppose -m*n - 8 = 2*d - 4, 2*n - d = 5. Which is bigger: n or u?
n
Suppose -h = -2*h - 29. Let b = -141 + 155. Let m be -28*(3 - b/7). Is m greater than h?
True
Let r be 4/(-6) - (-4)/6. Let o be (-601)/(-1202) - (33/(-26) - -2). Are o and r non-equal?
True
Let m = 90822 + -181669/2. Let c = 4 - 3. Do m and c have different values?
True
Let j = -49 - -54. Suppose 6*l - 4*s = l - 750, 5*l - j*s + 750 = 0. Let z be (-35)/l*8 - 2. Are z and 0 non-equal?
True
Let t = 21.1 - 21.12. Let h = t - -0.02. Which is smaller: h or 0.041?
h
Let b(o) = o**2 + 10*o - 6. Let n be b(-11). Suppose 10 = n*c - 5. Suppose 0 = h + c*x - 16, 4*h - 3*x + 14 = 3*h. Do 3/82 and h have different values?
True
Let v(b) = 49*b + 3871. Let n(y) = 3*y + 242. Let a(i) = -63*n(i) + 4*v(i). Let w be a(-33). Which is smaller: 9 or w?
w
Let h(w) be the first derivative of -w**4/4 + 3*w**3 - 5*w**2 - 7*w + 30. Let t be h(7). Is 22 at least as big as t?
True
Let t be (-7 + 2 + 3)/2. Let m be 1/(-7)*t - (-20696)/364. Which is smaller: m or 58?
m
Let c = -101390994260/3613779 - 9/401531. Let t = c + 28088. Let n = t + -31. Is -3/4 less than or equal to n?
True
Let z = 0 - 9. Let j = 330 + -311. Suppose 4*a + 59 - j = 0. Is z at most as big as a?
False
Suppose 4*m = -2*x + 22, -4*x + 0*x + 24 = 4*m. Let j = -17771982/11 - -1614441. Let z = j - -1195. Which is smaller: x or z?
x
Suppose 140 = 12*p + 2*p. Suppose 9*r - 2 = p*r. Which is bigger: 4 or r?
4
Let o be ((-21)/2)/((-48)/(-1088)). Let i = o + 481/2. Is 2 not equal to i?
True
Suppose -u - 24 = i - 4*u, 4*i - 3*u + 60 = 0. Let l be (-38)/(-6) + (-15 - i). Let x(c) = -2*c**3 - 23*c**2 - 10*c + 14. Let d be x(-11). Are l and d equal?
False
Let t(q) = 60*q - 10. Let n be t(1). Let d be (-19)/(5/n*-2). Suppose -175 - d = -15*v. Which is smaller: v or -1?
-1
Let h be (2 + -29 - (5 + -8)) + -2. Let i be h - ((-10)/14)/((-16)/112). Which is smaller: -91/3 or i?
i
Suppose 3*d - 2*m - 284 = 0, -3*m = -d + 25 + 79. Suppose d*y = -4*z 