-2)/4. Which is bigger: j or 30?
30
Let k(w) = 3*w**2 - 72*w + 382. Let m be k(15). Which is smaller: m or -111?
-111
Let m = 1 - -8. Let r be (8/6)/((-162)/m). Let z be -1 + -6 - (-12 - -6). Which is greater: r or z?
r
Suppose 2*n - 329 = -3*h, 10*n - 9*n - h = 157. Suppose 12*r - 2*u - n = 10*r, r + 5*u - 62 = 0. Are r and 77 unequal?
False
Let r(x) = 55*x**3 + 14*x + 11 - 3*x - 5*x**2 - 56*x**3. Let l be r(-7). Is 32 < l?
False
Suppose 0 = -4*g + 1856 + 256. Let i be 88/g + (-94)/(-24)*2. Which is smaller: i or 50/7?
50/7
Suppose p + 0*p - 12 = 0. Let h be (1 + -1 - 6) + 171. Suppose -j = -p*j + h. Does 16 = j?
False
Let c = 2.26 + -184.26. Which is smaller: -0.06 or c?
c
Suppose 0 = -38*w + 80*w - 38*w - 28. Let y = -23 - -38. Is w < y?
True
Suppose 124*w = 147*w + 805. Is 6 at least as big as w?
True
Suppose -u - 5 = w + 3, -4*w + 4*u = 0. Suppose -l = 3*l. Suppose g + 3*g + 8 = l. Is w at most as big as g?
True
Let y be ((-814)/(-174))/((-22)/(-9966)). Let t = 2119 - y. Is t smaller than -1?
False
Let i be -3 + (3 + 0)/3. Suppose 5*c - 25 - 5 = 0. Let a be 14 - (i + (-24)/(-4) - c). Which is greater: a or 13?
a
Let z = 15676 - 26363. Is -10688 > z?
False
Let x be 10/20 - (-1 + (-6)/(-4)). Let l be x - 3 - 72/(-40). Let m = 28 - 28. Is m at least l?
True
Let r = -2070.3 - -1966. Let j = -104.2 - r. Is 0.4 greater than j?
True
Let i = -989 + 1055. Suppose 54 = 12*f + i. Which is smaller: 0 or f?
f
Let h = 0.101 + 23.899. Let b = -23 + h. Let j = -1.2 - -0.2. Which is greater: b or j?
b
Let i = -81.07 + -1.93. Let s = i + 84. Let f = 9 + -1. Are f and s unequal?
True
Suppose -2*y = 3*n - 19, -78*y - 3*n + 22 = -79*y. Which is smaller: 3/3961 or y?
y
Suppose -53*u - 9908 + 2496 = 51418. Is u >= -2?
False
Let d(j) be the first derivative of 3*j**2/2 + 106*j + 96. Let m be d(-35). Is m at least as big as 1/175?
True
Let y be (387/2)/(15/(-360)). Is y at most -4644?
True
Let d be 16/96 + 1/(-78). Let o = -88 - -152. Let w = o - 63.6. Which is greater: w or d?
w
Let x be (-4)/(-14) + (-108)/(-14). Suppose 0 = -30*p + 7*p + 66 + 3. Suppose p*o + x = t, -o - 5*t = 3*o - 21. Is -12 equal to o?
False
Let r = -69.3573 - 1.6427. Does -23 = r?
False
Let v be (12/(-5))/(122/(-305)). Let i be (v - (7 - 2))*1. Let s be (2 - 1)/((-2)/13). Does s = i?
False
Let f = -175781 + 175711. Let w be (3 + -5)*14/(-4). Suppose w*p + 345 = 2*p. Which is smaller: p or f?
f
Let c = 2651 + -2654. Is c greater than or equal to 1/15?
False
Let l = -1 + 8. Let v = l + 10. Let y(n) = 3*n**2 + 100*n - 194. Let j be y(2). Which is smaller: j or v?
v
Suppose -y + 11 + 3 = 0. Let n = 86 - y. Suppose 46*k - 3*k = 3096. Is k greater than n?
False
Suppose 2*w + 13 = b - 21, 5*b + 2*w - 218 = 0. Let d = -39 + 21. Let f be (-170)/(-4) + 9/d. Is b greater than f?
False
Let t = -119143/8308500 - 2/71625. Which is smaller: -1 or t?
-1
Suppose -23 = i + 236*d - 231*d, 5*i - 5*d + 25 = 0. Suppose -2*a + 0*y = 5*y - 1, 0 = 5*a - 3*y + 44. Is i > a?
False
Suppose 5 = 45*h - 50*h + n, 4*n = h + 20. Let t(b) = 11*b**2 + b + 3. Let r be t(3). Let l = r + -3149/30. Is l less than h?
False
Let j(p) = 19*p - 54. Let f be j(3). Let x be (-8)/((-112)/f)*2. Which is smaller: -42/5 or x?
-42/5
Let d = -159/1427 - -3003041/26977435. Is -1 greater than or equal to d?
False
Let m(n) = -14*n + 105. Let h be m(8). Let d = -43/6 - h. Which is bigger: d or -0.18?
d
Let c = -496 - -1133. Let s = c - 519. Which is greater: s or 1/4?
s
Let w = -152302 - -29698826/195. Is w != 0?
True
Let j = 1443954271781/9848 - 9753601295845620289/66521122680. Let d = -24/118505 - j. Let a = d - 59/6. Is -1 <= a?
True
Let d be ((-19172)/(-312))/((-1)/((-76)/6178)). Let c = 3/6178 + d. Let b = 1/13 + c. Is b bigger than 0?
True
Let n = -51481/199245 + 11/1795. Is n less than or equal to 1?
True
Let y = -0.6717 - -0.3717. Are y and -1235 unequal?
True
Let t(r) = r**2 - 6*r - 15. Suppose -11 = 3*j - 26. Suppose j = 5*v - 5*a + 15, 0 = -3*a - 3. Let k be t(v). Is 11 < k?
True
Let r = -68001827/3101 + 21929. Let c = r + -502372/15505. Is -31 less than c?
False
Let n = 3 + -5. Let u be -2 - (-3 - 63 - n). Let m = -62 + u. Which is bigger: 1/10 or m?
1/10
Suppose d + 5*z + 18 = 0, -d - 31 = 4*z - 17. Suppose 2*p = -18*o + 13*o - 741, 3*o + 443 = -d*p. Which is bigger: -150 or o?
o
Let y = 0.391 - 0.2. Let g = y + 3.809. Is g > -19?
True
Let k = -17934 - -17904. Let m = -9 - -15. Which is greater: k or m?
m
Suppose 0 = -2*f + 4*f. Let n(w) = -w - 13. Let i be n(27). Let q be (8 - (-326)/i)/(5/16). Which is greater: f or q?
f
Let b(n) = -n**3 + n**2 + 11*n - 12. Let i = 757 - 756. Let d be b(i). Is d != -2/333?
True
Let d = 7 + -38. Let h(f) = f**2 - 32*f + 111. Let o be h(26). Let m = d - o. Which is bigger: 16 or m?
16
Let l(g) be the third derivative of g**6/40 - 4*g**2. Let a be l(-1). Let c be (-80)/(-36) + a - 2/9. Are 1/65 and c unequal?
True
Let c = 194 - 191. Let t be 85 + (-2 - -1)/(c/9). Which is smaller: 83 or t?
t
Let k(v) be the third derivative of -v**5/30 + 7*v**4/6 + 91*v**3/6 + 50*v**2 + 2*v. Let j be k(-3). Are 0.32 and j equal?
False
Let k = 2 - 3. Let h be k/3 + (-20)/(-15). Let l = -442/63 + 60/7. Are h and l unequal?
True
Let d be 9617/(-5) + 18/45. Is -1923 < d?
False
Let c(j) = -j**2 + 10*j - 7. Let o(a) = a**2 + 4*a - 52. Let w be o(-10). Let h be c(w). Let m be 10*(-1)/(-1)*1. Which is greater: m or h?
m
Let c be -4*((-325)/10)/(-5). Let o = c + -58. Let l = o + 87. Are l and 11 nonequal?
True
Suppose -12526*z + 12523*z = 300. Suppose 0 = 10*x - 11*x - 99. Which is smaller: z or x?
z
Let b be ((-54)/728)/3*(-33)/(-111573)*46. Is 1 not equal to b?
True
Let g = -28 - -447. Let b = 1142 + -722. Is g smaller than b?
True
Suppose 2*h + 876 = 2*d - 420, 0 = -2*h - 4*d - 1242. Is -1915/3 at most as big as h?
False
Suppose 0 = 4*w + 5*s - 1351, -4*w - 7*s = -6*s - 1371. Which is smaller: 349 or w?
w
Let t be (-4)/(-10) - (-412)/(-5). Let o be (-534)/(-2)*6/36*-2. Let i = -171 - o. Is i equal to t?
True
Let r be 296/86 - (-41)/(164/32). Which is bigger: r or 12?
12
Let y(w) = -w**2 + 6*w + 7. Let u be y(-6). Let r(v) = -5*v**2 - 123*v - 442. Let k be r(-21). Is k bigger than u?
True
Let z be (-2)/(-6) + (-926)/168. Let f be -3 + (3 - 38/(-7)). Let a = f + z. Which is bigger: a or -30/7?
a
Let r = -63 - -67. Suppose r*m - 137 + 121 = 0. Suppose -m + 6 = -2*w. Which is smaller: -4/87 or w?
w
Let n = 1.45 - 1.266. Let s = n - 0.084. Which is greater: s or 4/7?
4/7
Let b = -5915 + 5914.88458. Which is smaller: 0 or b?
b
Let v(b) = b**3 - 6*b**2 - 2*b + 13. Let s be v(6). Let w be 8380/4734 + (-4 - (s - 3)). Let d = w - -2/263. Which is bigger: 1 or d?
1
Suppose -2*d - 8 = -6. Let h be (-2 - -8) + 1/(-1) + d. Suppose -5*q + h*r = 47, -5*q = -0*r - r + 53. Which is bigger: -10 or q?
-10
Let v(n) = -n**2 + 5*n + 2. Let g be v(5). Let z be (-15)/(-25)*g*30/(-9). Suppose 0 = -3*m - 15 - 3. Are z and m equal?
False
Let q be (-2)/28*-2 + (-261806)/434. Let d be (1206/(-8))/((-1)/4). Let j = d + q. Is 0 greater than or equal to j?
True
Let s = 18 + -32. Let q = -18 - s. Let c be 6/4*1 - (-9)/(-18). Is c smaller than q?
False
Suppose -2*q = 13*q - 75. Let o be (-99)/(-12) + 6/(-2). Which is greater: q or o?
o
Let z = -20 - -2. Let o be z/4*(-8)/228. Let u be 0/(6 + -3 + -2). Which is smaller: o or u?
u
Let n = 806 + -429. Suppose 3*l = -j - 225, -j + 0*j - n = 5*l. Is l at most as big as -78?
False
Let w be (2/4)/((-274)/(-6576)). Are w and 19 unequal?
True
Let m(l) = -l**3 - 6*l**2 + 8. Let q be m(-6). Let t(u) = 58*u + 202. Let d be t(-10). Let j be (-2724)/d - (-10)/45. Is q less than j?
False
Let m be (2 - -2)*-2*(-69900)/(-600). Which is greater: -931 or m?
-931
Suppose -17*c + 4*c - 169 = 0. Let b = -77 + c. Let y = -96 - b. Is y < -17/3?
True
Let r = -0.019 - -0.219. Let d(i) = -4*i**2 - 5*i - 5. Let m(q) = -q**2 - 1. Let k(j) = d(j) - 3*m(j). Let s be k(-5). Is s != r?
True
Let z = 50.176 - -6.034. Let w = 57 - z. Let y = -0.21 - w. Which is greater: y or 17?
17
Let v(j) = j**3 - 20*j**2 + 20*j + 4. Let a be v(19). Suppose 0 = -a*b - 291 - 123. Let x be ((-3)/(-2) + 3)*-4. Are x and b nonequal?
False
Let b = -11 + 16. Suppose -s = 4*i - 2 - 0, -b*s = -4*i + 14. Suppose -v + 5*g = 3*v + 5, 5*v + 2*g - 2 = 0. Is v less