 = 23 + -20. Let n be z(l). Is -0.3 at most as big as n?
False
Let a(l) = l**3 - 3*l**2 + 2*l - 4. Let r be a(3). Let i be r/4 + (-6)/20. Let m = 1447 + -1446. Which is smaller: i or m?
i
Let c be 10/(-15) - (-16)/(-3). Let k be 3/(-9)*c/4. Let z = -0.96 + -0.04. Does z = k?
False
Let x(z) be the second derivative of -z**3/6 - z**2/2 + 2*z. Let p be x(1). Let l be p - -6 - 100/26. Which is smaller: 0 or l?
0
Let b = -1001 - -2059/2. Let t = 857/30 - b. Does t = 1?
False
Suppose -6*s + 120 = -3*s + 3*d, 164 = 4*s + 2*d. Let r be 2/(-80)*-1642 - -1. Let q = s - r. Is 1 greater than q?
True
Let z be (10/(-12))/((-28)/(-8) - -1). Which is bigger: -0.1 or z?
-0.1
Let t be ((-7)/63)/(1/3). Which is bigger: 116 or t?
116
Let b(s) = -3*s - 3. Suppose 4*x + 22 = 2. Let k be b(x). Let u be ((-1)/2)/(k/(-24)). Which is bigger: 0 or u?
u
Suppose 6*b - b - 4*n = -245, -3*b - 147 = -5*n. Which is smaller: -52 or b?
-52
Let i(u) = u**3 + 8*u**2 + 9*u + 8. Let m be i(-7). Let y = 60 - 112. Let o = y + 46. Is m >= o?
True
Let v = 0 - -1. Let p = -58684/61 + 962. Is v less than p?
False
Let f(q) = -3*q**2 + q. Let g be f(-1). Suppose 650 = 9*p - 2878. Let c be -1 + p/76 + g. Which is smaller: c or 1?
c
Let b = -0.084 - -0.384. Is -7/2 at most b?
True
Let u = 398 + -407. Is 5/3 greater than u?
True
Let m be 89/(-3) + 1/(-3). Let w be 1*-4*5/m. Is -1.5 < w?
True
Let u be 1/((-4494)/1221) - 8/(-28). Which is smaller: 1 or u?
u
Let m(d) = 23*d + 23. Let n be m(-1). Let l = -630 + 34649/55. Is n at most l?
False
Let w = -29 - 26. Let f = w + 827/15. Which is bigger: f or 1?
1
Let o(h) = -h**3 + 17*h**2 + 82*h + 42. Let d be o(21). Is d bigger than 8/101?
False
Suppose 3*n = z - 28, 5*n - n - 4*z + 24 = 0. Let d be ((-2)/3)/((-4)/600*-10). Do n and d have the same value?
False
Let o = -133 - -929/7. Let q be (2/(-8) - 0) + 20/(-48). Are o and q nonequal?
True
Suppose -4*i + 16 = 4*p, 0 = -3*p - 3*i + 5*i + 7. Suppose -m - 8 = 2*h, 4 = -p*m - h - 0. Is m smaller than 3?
True
Let o = 5 + -7. Let i = 192 - 197. Which is bigger: o or i?
o
Let l(d) = 54*d**2 - 7*d - 29. Let x be l(-3). Is 1/3 less than or equal to x?
True
Let v be (39/(-15))/((-165)/20 + 4). Let y be -2 + 1 + (-48)/(-34). Let t = v - y. Which is greater: -1/3 or t?
t
Let u(o) = -o**3 + 2*o**2 + 3*o + 4. Let w be u(3). Let b be (-16)/30 - w/(-6). Let r be 1/3 + 20/30. Which is smaller: b or r?
b
Suppose 0 = 30*d - 27*d + t, -3*t = 0. Is 16/95 < d?
False
Suppose 0*j = 2*l - 4*j + 68, -5*l - 2*j = 134. Let w be (-9762)/231 + 8/l. Let n = 13594/319 + w. Which is smaller: n or 1?
n
Let o = 2 - 3. Let r be (3/(-3))/(-1) + (-12 - -15). Let b be (-720)/(-2030) - r/14. Is b bigger than o?
True
Suppose 8*c = -601 + 569. Let h be (-30)/7 - 6/21. Which is greater: c or h?
c
Let v = 75 + -526/7. Let f = 353.5 - 359.5. Is f > v?
False
Let r = 919 + -925. Let m = 68.2 + -62. Let b = m + r. Which is smaller: -1/3 or b?
-1/3
Let l(y) = 17*y - 137. Let m be l(8). Do -574 and m have the same value?
False
Let p = -12 - -7. Let k = -216/5 + 1347/35. Is k >= p?
True
Let i = -57416/115 - -2512/5. Which is smaller: 3 or i?
3
Let x(c) = -6*c + 25. Let d be x(4). Which is smaller: d or 3?
d
Let g = 120226841/2 - 46347462881/771. Let l = -1/514 + g. Let h = l - -307/15. Which is greater: 0.3 or h?
0.3
Let f = 557 - 608. Is f less than -65?
False
Let x be 0 - ((-145)/(-130) + -1). Is -1 at most as big as x?
True
Let r(s) = s + 9. Let i be r(-9). Suppose 4*k + 7 = -5*v, -7*v + 5*v - 4 = k. Suppose m = -d - 4, 52 = -5*d + k*d + 5*m. Which is smaller: d or i?
d
Suppose -34*g = -31*g. Is g <= -4/29?
False
Suppose -5*m + 2*g - 5*g - 244 = 0, -m = -g + 44. Let a = -33 - m. Which is greater: a or 13?
a
Let a = 55171/335 + -823/5. Which is bigger: a or 1?
1
Let h(b) = -3*b - 22. Let t be h(1). Is -128/5 >= t?
False
Let b = -8/1667 - 53064/58345. Which is smaller: -1 or b?
-1
Suppose -43 + 32 = -11*l. Are -22 and l unequal?
True
Let v = 1.3 - -9.9. Let y = v + -11. Let f = 2 - 1.99. Which is greater: y or f?
y
Let f = -10279 + 10287. Suppose -5*n = 9 + 6. Which is smaller: f or n?
n
Let x = 3/1808 + 1385/254928. Which is smaller: x or -3?
-3
Suppose -3*v - i = 522, -5*i = -5*v - 999 + 109. Is v <= -176?
False
Let j = 1.19 + -1. Let s be (1 + -4)*(88/6)/44. Is j at most s?
False
Let r = -72 - -84. Let z be (1/3)/(4/r). Is 1/72 greater than z?
False
Let w = 181 - 415. Let a be (-10)/65 + (0 - (-16)/w). Which is smaller: -0.4 or a?
-0.4
Suppose 0 = -s - 49 + 49. Let x = 40399/3990 - 82/95. Let j = -59/6 + x. Is s >= j?
True
Let t = 2707/5 - 4331/8. Suppose 3 = 3*q - 0*q. Is t bigger than q?
False
Let t = -47 + 90. Let y = t - 38. Is 1 smaller than y?
True
Let d be 1/(((-2)/(-4))/1). Suppose -4*x = -5*q + 273, -q = -2*x + 53 - 182. Let p = 63 + x. Which is greater: d or p?
d
Let r be (44 - 61)/(0 - -1). Is -0.2 != r?
True
Let i be (156/(-2))/(0 + 1). Is i > -78?
False
Let b be (-5943)/35 + 2*2/(-20). Let d be 2/(-11) + b/275. Suppose 3*w - 4 = 5*c, -2*w + 3*w + 2*c = -6. Which is greater: d or w?
d
Let a(t) be the third derivative of 0 - 2/3*t**3 - 5/24*t**4 + 5*t**2 + 1/15*t**5 + 0*t + 1/120*t**6. Let v be a(-5). Are v and -5 nonequal?
True
Suppose 0 = 3*d - 50 - 49. Suppose 0 = -33*p + 30*p - d. Let f(j) = -2*j**2 - 2*j + 1. Let v be f(2). Is p <= v?
True
Let o = 121 - 121. Which is greater: o or -1/15?
o
Suppose -3*i = -125 + 38. Is 4 < i?
True
Let s(k) = -2*k**3 + k + 5*k + 0*k**3 + 6 + 3*k**3 + 5*k**2. Let l be s(-4). Are l and -10/9 non-equal?
True
Let n = -12 - -6. Let b = n + 1. Let m(t) = t**2 + 4*t + 5. Let c be m(-3). Which is bigger: c or b?
c
Let z = -121/4 - -30. Which is bigger: z or 66/7?
66/7
Let l = -0.94 - 63.06. Let p = 65 + l. Which is greater: p or -5/2?
p
Let s = -11 + 11. Suppose s = -2*o + o. Suppose 1 + o = -m, 3*x - 4*m = 1. Which is greater: -3 or x?
x
Suppose 2*d + 12 = -5*u, 12*u - 4*d = 16*u. Let w = 0.1 - 0.2. Let s = w + 0.2. Which is smaller: s or u?
u
Let p be 0/1 + ((-631)/(-315) - 2). Does 1 = p?
False
Let z(j) = -j**3 + 3*j**2 + j + 2. Let b be z(3). Suppose b*v - 35 = -0*v. Let u = v - 12. Which is smaller: u or -2?
u
Let t = 70 - 70. Suppose 2*c + 3 - 5 = t. Is 6/23 > c?
False
Let y = -12519 - -112715/9. Let s = 9 - 5. Is s greater than y?
False
Let j(y) = y**3 - 2*y**2 - 6*y + 10. Let p be j(3). Let l = -89 + 2046/23. Which is smaller: p or l?
l
Suppose 15*y - 5 = -20. Which is bigger: y or 3/8?
3/8
Let s = 1.6 - 4.6. Let f = 10.17 - 0.17. Let i = f + s. Which is smaller: i or -2/7?
-2/7
Let t be 0 - 2/(-5) - (-532045)/(-2425). Is -219 smaller than t?
False
Let h(q) = -q - 14. Let f be h(-12). Let t be ((-8)/f)/88 - 4/(-8). Are 2 and t equal?
False
Let h = -108367 - -586807303/5415. Is h < -1?
False
Suppose -3*d - 2 - 28 = 3*j, -3*d - 5*j - 30 = 0. Let h be ((-49)/35)/((-24)/d). Are h and -2 equal?
False
Let i = 2 + -2. Let q(t) = t**3 - 18*t**2 + 20*t + 4. Let g be q(6). Let z be (-2)/(-6) - g/(-627). Is z > i?
False
Let a be (14/(-10) + 1)/((-120)/(-225)). Suppose 4*u = -u - 5. Let k = 0 + u. Is k at least as big as a?
False
Suppose -4*f + 3*g + 5 = -5*f, 2*g + 2 = -f. Suppose -3*l - u = 7, 5*l = f*l - 3*u + 3. Let o = 17/4 + -111/28. Are l and o non-equal?
True
Let f be (-9178)/25466 - 24/(-56). Let l be 1 + (-3)/(-321) + -1. Let h = f - l. Which is smaller: 0 or h?
0
Let u = 9.13 + -2.13. Is 3 equal to u?
False
Let b(k) = -k**3 + 7*k**2 - 10*k + 5. Let y be b(5). Suppose -2*d = -3*g - y, -4*d - 4*g + 7*g + 13 = 0. Is 3 < d?
True
Let f(c) = c - 3. Let h be f(6). Let r be 16/h*84/8. Let x be -1*(r/19 - 3). Which is bigger: x or 0?
x
Let p = -362 + 356. Which is bigger: p or -8?
p
Suppose 0 = -4*y + c - 13, -13 + 2 = -y + 5*c. Let b = -17 - y. Is -13 greater than b?
False
Let y = 8.04 + -0.04. Let l = -5 + -4. Let c = y + l. Is 10 less than or equal to c?
False
Let j = 2518.276 + -2514. Let i = -0.024 - j. Let f = -27.7 + i. Is f equal to 1/2?
False
Let b = -64 - -132. Let g = 68 - b. Is g <= -5?
False
Let l be ((-7)/14)/((-1)/4). Suppose 0 = 5*f - 2*x - 3, 3*f - 1 = -l*x + 3*x. Is f smaller than 1/122?
True
Let l = -181 + 172.9. Let o = -8 - l. Are o and 8.5 nonequal?
True
Let y = -0.08631 + -0.01369. Suppose -4 = -o - 2. Is o less than y?
False
Let u = 29/162 + -1/81. Which is smaller: 0.7 or u?
u