+ w. Which is smaller: 3 or f?
f
Let r be ((-4)/66)/((-74630)/162384). Let d = r + -10/439. Is 0 != d?
True
Suppose -4*m + m = 30. Let r be (-8)/m*(-11 - 39). Let n be 2/(-10) + 24/r. Which is greater: n or -2?
n
Let b = 78 - 45. Suppose 0 = -32*m + b*m + 161. Which is bigger: m or -160?
-160
Let w(u) = -3*u + 5*u - 3*u + 6*u + 0*u + 12. Let m = -1 - 4. Let t be w(m). Is t not equal to -14?
True
Let d be ((-14)/(-56))/((-51)/(-896)). Let w = d - 18/17. Let r = -55 + 57. Which is greater: w or r?
w
Let v = -122432 + 122433. Let p = 1/2988 + -18077/445212. Which is greater: v or p?
v
Let d = 182 - -110. Let p be (-14)/6 - (-2658)/9. Is d greater than p?
False
Suppose -3*q - 2*i = 11, 21 = -143*i + 140*i. Is q greater than or equal to -13/119?
True
Suppose -14 = -2*v + 12. Suppose -16*p = -v*p. Suppose 0 = 5*t - o - 37, p = -t - 3*t - 5*o + 47. Which is greater: 9 or t?
9
Suppose 5*o + 15 - 3 = 4*i, 2*o = -5*i + 48. Let m be 2/i + 1/(-4). Let u be (-186)/(-680) - ((-21)/12 + 2). Is u not equal to m?
True
Suppose -3*r + x = -x + 18, 4*r + 3*x = -41. Suppose 0 = -5*p - 4*m + 15, -p - m - 1 = -4. Suppose 0 = -4*q - p*w - 20, -3*w + 8 = -2*q - 5*w. Is r <= q?
True
Suppose 5*f + 935 = -5*p, 4*p + 687 = -3*f + 129. Let g = f - -203. Is g equal to 16?
False
Let o = -11094 + 366346/33. Is 6 != o?
True
Let h be -3*(-4)/(-9)*(-198)/2904. Which is smaller: 0.298 or h?
h
Let o(v) = -3*v**3 + 2*v**3 + v - 10588*v**2 + 34 + 10567*v**2. Let t be o(-21). Is 11 at most as big as t?
True
Let g be (-2)/(-6) + 3/(27/429). Suppose -3*a - 4*j + j + g = 0, -3*j = 5*a - 90. Suppose 0 = -17*d - 4*d - a. Which is smaller: -2/355 or d?
d
Let l be ((-13230)/1316)/(-15) + 0 + (-3)/(-2). Is l at least 2?
True
Let i = 43 + -43. Suppose i*v = v - 2. Let f be (v/7)/(36/84). Which is bigger: f or 2?
2
Let t(q) = 562*q + 392. Let x be t(-12). Is x equal to -6351?
False
Suppose 3*d - 4*w = 645, d - 283 = -5*w - 49. Suppose 224*y = d*y - 20. Which is smaller: y or 1/13?
y
Let y = -212 - -226. Let g be (-5)/((-105)/y)*(-1500)/(-32). Which is greater: 31 or g?
g
Suppose 0 = -6*f - 8 - 52. Let r be 2/((-4)/f) - -19. Which is smaller: r or 29?
r
Let c be (8/(-70))/((-1962)/495 - -4). Let s(p) be the third derivative of -p**4/12 - p**3 - 6*p**2. Let g be s(-2). Which is smaller: g or c?
c
Let x = -6568 + 5330. Which is smaller: -1236 or x?
x
Let n be 9 + (-9500)/(-35) + 3/(-7). Let x be 3 + ((-1116)/n + -4 - -5). Is x less than -0.2?
False
Let r be (-81 + 80)/(-1 + 2). Let x = -49888/55 - -907. Is x < r?
False
Let n(s) = s**2 - 11*s - 39. Let u be n(-4). Suppose 0 = -19*t - 59 + u. Is -52 > t?
False
Suppose 37*u - 2106 = 21*u - 38*u. Are u and 74 unequal?
True
Let u(g) = 74*g**2 + 10*g + 25. Let a be u(-8). Let h = 2574551/550 - a. Let t = h + 1313/3850. Is 1 >= t?
True
Let i = -3424 - -3424. Which is smaller: -1/1171 or i?
-1/1171
Suppose -11 = -4*m + n, -3*m + n - 3*n = 0. Is m at most as big as -682/7?
False
Let k(o) = -o - 5. Let z be (-1)/(1/10*2). Let p be k(z). Suppose 16 = -4*b + 2*i, 22*i - 21*i - 11 = -b. Which is bigger: p or b?
b
Let t(w) = w**3 - 16*w**2 + 21*w - 13. Let d be t(11). Let a = d - -309. Are a and -77 non-equal?
True
Let p = 135.64 + -136. Let k = 0.16 + p. Let w be (0 - 2) + 6/7. Is k bigger than w?
True
Suppose 0 = -2*i - 4*i - 120. Let m be 3*26 + 4*5/i. Let w = 70 - m. Is -27/4 at most w?
False
Let q(d) = -50*d + 2057. Let u be q(41). Is u greater than 621?
False
Let v(c) = -719*c - 16048. Let r be v(-20). Which is greater: -0.07 or r?
-0.07
Let f(q) = -19*q - 665. Let u be f(-41). Which is bigger: u or 115?
115
Let d = -30477 + 149946839/4920. Is -1 <= d?
True
Suppose -352 = -13*v + 14*v - 2*z, -2*z + 1808 = -5*v. Is -364 greater than or equal to v?
True
Let w(m) = 425*m + 2124. Let s be w(-5). Is s < -180?
False
Let s be 3/12 - (-1 - -27). Let o(m) = 7*m**2 - 3*m - 9. Let b be o(-2). Let v = b + s. Is -2 at most as big as v?
True
Let p be 1 + 0 + (-5)/(-5). Suppose 5*l - 3 = p. Which is greater: -2/87 or l?
l
Let v be (-1406)/(-1896) + (-27)/36. Let q = -6129 + 6130. Is q at most v?
False
Let p(x) = -x**3 - 2*x**2 + 3*x - 2. Let v = -15 - -12. Let s be p(v). Let b be 4 + (-1 - s - 4). Does b = -1?
False
Let v = -561.9 + 586. Let o = v - -2.9. Which is smaller: o or 0.2?
0.2
Let l(v) be the first derivative of -v**3/3 - v**2 + 2*v + 13. Let w be l(0). Let g be 37/148*80/7. Which is bigger: w or g?
g
Let t = 3177 - 3233.52. Let l = t - -0.52. Let d = l + 67. Which is smaller: 0.4 or d?
0.4
Let z = 3 + -7. Let d be 112/84 + (z/3 - -1). Which is smaller: -16/87 or d?
-16/87
Suppose 423*d - 385*d - 38 = 0. Is -11/50 less than or equal to d?
True
Suppose -5*l - 14 = -6*l. Let p(m) = -3*m + 19*m**2 - 1121 - 2*m**3 + 1109 + l*m. Let q be p(10). Which is bigger: -11/2 or q?
q
Let w be (-212)/(-168)*3 + (-2 - 1). Suppose 77*k - 6 = 74*k. Which is greater: w or k?
k
Let a(q) = -2*q - 9. Let n be a(-5). Let b be 12 + 2 - (n + 2). Is b greater than 2?
True
Let z = 429.026 + -2.726. Which is smaller: z or 0?
0
Suppose 4*y + 1534 = -2*c, -76*c - y + 1559 = -78*c. Is 4 at most c?
False
Suppose -2*v + 14 = -4*r + 38, -2*r + 5*v = -20. Let u = 40924303/303 + -135059. Let q = u - 4/101. Does q = r?
False
Let g be (5/(75/(-4)))/(988560/600). Are g and -1 nonequal?
True
Suppose -2*c = 4*g - 14, -96*c + 3*g - 8 = -98*c. Is 28.9 != c?
True
Let p = 378 + -334. Let k be ((-330)/p)/((-6)/16). Suppose -2*x = -53 + 11. Is k != x?
True
Suppose 0 = -2*o - 2*o + 32. Let i(u) = -1061*u + 4205. Let b be i(4). Which is greater: b or o?
o
Suppose 0 = b, 0*q + 2*q - 98 = -5*b. Let d(a) = a**3 + 39*a**2 + 173*a + 152. Let w be d(-34). Which is greater: w or q?
w
Suppose 6*y - 64 = -292. Let s(l) = -l**2 + 14*l - 14. Let b be s(10). Let d = b + -64. Do y and d have different values?
False
Let r(d) = -3*d**2 + 119*d - 7. Let a be r(37). Let s = a - 291. Which is bigger: s or -0.9?
-0.9
Suppose -w - 11*l = -7*l + 6, -2*w = 4*l. Let v be (-4)/(6 + -2)*w/6. Let x = 383/663 - 7/13. Which is smaller: x or v?
v
Let v(f) = -f**3 - 19*f**2 - 47*f + 8. Let b be v(-16). Let s be (56/b + -58)*-1. Are 65 and s nonequal?
False
Let j(z) = -23*z - 115. Let w(x) = 27*x + 116. Let h(r) = 4*j(r) + 3*w(r). Let t be h(-13). Let f(a) = 3*a**2 + 5*a + 3. Let p be f(-4). Is p smaller than t?
False
Suppose 834 = -26*q + 990. Which is bigger: 3/10 or q?
q
Let w(o) = o**2 - 34*o + 151. Let t be w(31). Which is smaller: 415/7 or t?
t
Suppose 5*h - 2*o + 496 = 0, -14*h - 112 = -13*h - 2*o. Let s(q) = -4*q**3 + 2*q**2 - 2*q + 1. Let r be s(3). Is r not equal to h?
True
Suppose -283639 = -136*v + 335161. Is 4552 less than or equal to v?
False
Let b be 750/18 - (19 + -24) - -5. Suppose 5*k + 0*k - 51 = -q, 0 = -5*k. Which is bigger: b or q?
b
Let p = 2.1 + -2. Suppose -651*v - 45944 - 11776 = 237*v. Is p >= v?
True
Let u be (15/5)/((-6)/(-33) + 185/(-110)). Are -17/8 and u unequal?
True
Let x(m) = 6*m + 55. Let f be x(-11). Let t be ((f - -5)/6)/(1/74). Which is smaller: -73 or t?
t
Let x be -3 + -44 - 0/2. Suppose -v = -5*j + 6*v - 270, -5*j = 3*v + 220. Is x smaller than j?
False
Suppose 4*o + 0*o + 3*d + 12 = 0, 0 = -o + 3*d + 12. Let i be -2 - (-5)/4 - (34576/2112 - 17). Which is smaller: i or o?
i
Let a = 254 + -255.39. Let m = a + 1.49. Which is smaller: m or -3?
-3
Let n be 20/((-100)/35)*-7. Which is smaller: n or 19?
19
Suppose 25747 + 958 = 14*s - 6615. Is s < 2381?
True
Suppose -2*n = 3*x - 6*x + 16, 2*n = -4*x + 12. Let g be (-6)/x*2 + -7. Let h = -1510 + 1506. Which is bigger: h or g?
h
Let v be 4/(-6) - (2 - 11544/4338). Is 0 <= v?
False
Let k be 13 - (-8 - -1*(2 + 0)) - 5. Is k smaller than 19?
True
Let b = 80657 - 80660. Let s = -0.9 - -5.9. Which is bigger: b or s?
s
Let m = 191958 - 191982. Let f = -88685/3774 + -2/1887. Is f less than m?
False
Let g = 24390 - 24390.7. Are 5.73 and g unequal?
True
Suppose -15 = -3*i, -g + 1 = -4*i + 5*i. Let m be (-55)/(-2) + (g/8 - -1). Suppose -27*h + m*h - 4 = 0. Which is bigger: h or -14?
h
Suppose 1 = -2*a - 117. Let u = a + 45. Let o be (-130)/(-35) + 4/u - 1. Are o and -0.1 non-equal?
True
Let s(c) = -c + 4. Let n be s(5). Let u be 3 + ((-4330)/12 - -4). Let l = 353 + u. Which is greater: n or l?
l
Let x = -8788 - -1696090/193. Let y = x + 68/10229. Which is gre