n or equal to w?
False
Let q be 16/(-48) - (3 + 226/(-3)). Let s be (15/(-4))/(429/q + -6). Which is smaller: s or 92?
s
Let h(z) = 4*z**3 - 5*z**2 + 10*z - 28. Let j be h(3). Which is smaller: j or 70?
j
Let n = 485852/57 - 8524. Are n and 0 equal?
False
Let k = -389 - -1088. Let o = k + -49619/71. Is 0 <= o?
True
Let t be -2 - (-14)/5 - 1. Let a = -6246 - -6251. Are a and t unequal?
True
Let j be (-54180)/3384 - (-112)/7. Suppose -2*m + 6 = m. Suppose 1 = s - 3*g + m, s - 5*g + 1 = 0. Which is greater: j or s?
j
Let g = 0.141 - 0.015. Let l = g - 0.026. Is 7 > l?
True
Let t(s) = 3*s**3 - s. Let n be t(1). Suppose -m + 14 - 4 = n*x, m + 4*x - 18 = 0. Suppose -2*z + 2*i = -38, -6 = -z - i + 3. Is z >= m?
True
Suppose -8*h = -4*q - 12*h + 32, -4*h = -q + 18. Let v(p) = -3*p + 3. Let o be v(2). Let t be o + q/3 - 2/6. Is t smaller than -6/13?
False
Let p be (-6 - 1) + 519 - -5. Let c = p - 517. Which is bigger: c or -4/217?
c
Suppose 0 = -3*n - n + 276. Suppose -161*m + 149*m = 720. Let l = m + n. Which is smaller: l or 8?
8
Let l = -14 - -17. Suppose -l*r + u + 109 = 0, -2*r = -0*r + 5*u - 67. Let q be ((-8)/(-6))/(10/270). Is q equal to r?
True
Let r = -2392 - -2391.976. Which is greater: r or 3?
3
Let n = -18/101 - -52646/707. Which is bigger: 75 or n?
75
Let f = 938 + -1454. Let q = 818 + f. Is q equal to -1/4?
False
Let w be (120/90*-3)/((-4)/(-438)). Which is smaller: -875/2 or w?
w
Let w(l) = 31*l - 95. Let r be w(3). Let y(a) = a - 11. Let i be y(12). Which is bigger: i or r?
i
Let x(g) be the second derivative of -g**5/20 + g**4/2 - 4*g**3/3 + 17*g. Let l be x(4). Suppose l = -7*c + 2 + 12. Which is smaller: c or 21?
c
Let q = 18 + -17. Let x = -319 + 242. Is x less than or equal to q?
True
Let b be (1/(-2))/(-2 + 3/2). Let q = 50 - 101. Let v = q - -34. Which is bigger: b or v?
b
Suppose 9 = 5*h + f, -17*h + 21*h = -5*f + 24. Let w be 1700/(-3906) + (-2)/(-3). Let k = 2/217 - w. Is k at least as big as h?
False
Let r = -125 - -100. Let c = r + 24. Is 0.1 < c?
False
Suppose 24*k - 918 = -11142. Which is smaller: k or -849/2?
k
Let r = -926 + 874. Let t be (4/(-6))/(r/(-156)). Which is bigger: 244 or t?
244
Let c be 32*(-4)/((-16)/9)*136/592. Is 17 smaller than c?
False
Let y(u) = -u**3 - 14*u**2 - 12*u + 15. Let q be y(-13). Suppose 5*o + q*n + 100 = 0, o = -4*o + n - 100. Is o bigger than -20?
False
Let y(w) = -w**3 - w - 70. Let h be y(0). Suppose 1 - 15 = -4*m - p, 2*m = 4*p + 16. Suppose 4*b + 301 = 5*d, b - 3*d + m*d = -64. Is h > b?
False
Let u = 254.655 - 255. Let n = -0.428 - u. Which is smaller: n or 0.4?
n
Let r be 32/14 + (-6)/21. Suppose c = 8*p - 3*p + 4, 5 = -r*c - 3*p. Suppose -i = 5*o + 4, -367*o + 362*o + i = -4. Which is smaller: o or c?
c
Suppose -85*b - 1258 + 1343 = 0. Which is greater: 2/4089 or b?
b
Let c(n) = n + 342. Let q be c(0). Let u be (-103)/q - (-6)/27. Suppose -3*m - 4*s = 97 - 116, -2*s = -5*m - 3. Are m and u unequal?
True
Let u be 10660116/3280336 + (-26)/8. Which is smaller: -1 or u?
-1
Let f be 46/(-24) - (-4)/(-32)*-18. Let c be (13/10)/((-2)/24). Let y = 6952/445 + c. Which is bigger: y or f?
f
Let r be (-35)/7 + 7 + 0 - -3. Suppose -5*m + 3*m = -s - 5, -4*m - s + 7 = 0. Which is greater: m or r?
r
Let u(y) = 38*y**3 - 2*y + 11. Let z be u(3). Is 1031 < z?
False
Let u = 283815 + -283819. Let i = -37/2 - -19. Which is bigger: i or u?
i
Let d(t) = -45*t**2 + 41*t + 489. Let y be d(-15). Which is smaller: y or -10252?
-10252
Let c = 177093 + -43033658/243. Is c < 0?
True
Let s = -2108/3 + 713. Let c be (-4)/(-18) - (4 - 920/72). Let q(h) = -h**3 + 10*h**2 - 7*h - 9. Let d be q(c). Is d > s?
False
Let p = 2229 - 2226. Is p bigger than 201?
False
Let p = -245 + 245. Let o be -1 + 4/2 + p + 0. Which is bigger: o or 1/16?
o
Let n be (-2 - (-128)/66)/((-16)/(-348)). Let r be (-1 - -2) + 5/(-2). Let o = n - r. Does o = -1?
False
Let w be (2/(-6))/(1/(-30)*2). Suppose -w*d = -13*d + 72. Is d <= 88/9?
True
Suppose 3*c - 2*l = -2, -2*l - 26 = -5*c - 6*l. Suppose c*q = -4 + 78. Let f = 35 - q. Is -8 less than f?
True
Let i be (-2 - 6)*11/1771. Is i at least -1?
True
Let t be (0/1)/(10 - 9). Suppose t = -24*p + 9*p + 45. Are 2 and p non-equal?
True
Suppose 18 = -2*d - d + 3*k, 1 = 4*d + k. Suppose 0*t - 2*t = 3*h - 14, -7 = -t + 2*h. Let p be t + 2 + 5106/(-575). Is p > d?
True
Let i(n) = -2*n**3 - 20*n**2 + 31*n - 31. Let d be i(-10). Let g = d - -343. Let k be (-71)/(-21) - 2/3. Is k smaller than g?
False
Let d = -122131/28 - -3045/4. Let t = 3608 + d. Which is smaller: t or 6?
6
Let h(d) = 4*d**3 + 56*d**2 + 30*d - 24. Let b be h(-12). Which is greater: b or 769?
769
Suppose 3*v - 626 = 4*d + v, -5*v = 4*d + 619. Let o be 4/d*-73 - (-3)/(-9). Which is smaller: o or 1?
1
Let r = -443681/97 - -4574. Are -4 and r non-equal?
True
Let u = 11083 - 10384763/937. Which is smaller: 0 or u?
0
Let i = 6.144 - 33.144. Which is greater: 5 or i?
5
Suppose -20 = 11*g - 20. Suppose g = 7*a + 45 - 38. Which is smaller: a or -3/433?
a
Let b = 26.7 + -8.5. Let p = b + 136.8. Which is smaller: p or 0?
0
Let c = -11/12 + 111/140. Is -1 bigger than c?
False
Let x(v) = 82*v**2 + 15*v - 29. Let k be x(2). Which is bigger: 1638/5 or k?
k
Let w = 67.1 + -3.1. Let i = -6.28 + 19.28. Let x = i - w. Is x at least as big as 1/4?
False
Let a = -1062282/35 - -149706/5. Let h = a + 409. Which is greater: -10 or h?
h
Let r be 6 - (7 + (-21580)/21640). Which is greater: r or 0?
0
Let l(u) = -u**3 + 19*u**2 - 19*u - 38. Suppose 0 = -4*q + 2*q, -5*q - 54 = -3*p. Let b be l(p). Is -56 not equal to b?
False
Let b be (11/(-22968)*4)/(1/2614) - -5. Which is smaller: 13 or b?
b
Suppose 220*x + 4*c + 4079 = 215*x, -4*c = 4*x + 3260. Which is smaller: x or -816?
x
Let j = 48798/5 - 9764. Is -5/2 > j?
True
Suppose -2*x + 549 = 2*k - 7*k, 2*x = -2*k - 228. Let b = -113 - k. Is 15 <= b?
False
Let i = 179/4 - 11933/268. Which is greater: 1 or i?
1
Suppose -c + r + 1 = 0, 21 = 3*c - 2*r + 20. Is c smaller than 18/931?
True
Suppose 152 + 53 = 5*n. Suppose -n = 4*r - 13. Let h be 23/r - (-8)/28. Is h at most -3?
True
Let s(b) = -101*b - 6459. Let u be s(-64). Is -1191 not equal to u?
True
Let t(m) = -11*m**2 + 40*m + 103. Let k(l) = 3*l**2 - l - 1. Let i(b) = 4*k(b) + t(b). Let s be i(-3). Is 12/59 smaller than s?
False
Suppose 11*n + 551 = -208. Let g be ((-5)/20)/(n/(-24)). Which is greater: -1 or g?
g
Suppose 0 = -232*m - 2940479 - 2855809. Is -24983 > m?
True
Let g be (52/(-4615))/((-34)/5). Let r = -2424/6035 + g. Which is smaller: 14/9 or r?
r
Let h be 6148896/1536 - 9/48. Which is smaller: 4002 or h?
4002
Let x be -354 - (23 + -19 + (-1 - -2) + -3). Is -361 <= x?
True
Suppose -22560 - 17112 = -152*o. Which is smaller: 519/2 or o?
519/2
Let m be (-53500)/75 - (2/(-6) + 0). Which is smaller: -712 or m?
m
Let v(i) = -581 + 4*i**2 + 11*i + 300 - i**3 + 291. Let a be v(6). Suppose 0 = a*h + 3*h + 28. Do 3/2 and h have the same value?
False
Let w = 1150953195/764 + -1506483. Let a = w - -2/191. Which is greater: -1 or a?
a
Suppose -1765*d = -1791*d + 468. Is 170/9 bigger than d?
True
Let z be 1142*((-4)/(-70))/(44/(-265)). Let r = z + 393. Which is greater: -1 or r?
r
Let c be 9607/1131 + -13 - -4. Which is smaller: 2/5 or c?
c
Suppose 0 = 11*x - 1910 - 400. Suppose 0 = -2*u - 5*r + x + 50, -3*u = -4*r - 413. Which is smaller: 134 or u?
134
Let u = 871 + -881. Let w be 16/u + 2 + (-23)/345. Is w greater than or equal to -3/11?
True
Suppose -9 = q - 12. Suppose -57 + 22 = -5*b. Suppose b*r = 5*r + 6. Do r and q have different values?
False
Let b(q) = q**3 + 6*q**2 - 107*q - 721. Let y be b(-9). Are y and -64/199 equal?
False
Let u be ((-45)/(-20))/(9/(-48) - 0). Let s = -73 - -59. Is s bigger than u?
False
Suppose 7*p = 4*p + 12. Suppose 2*n - p = -2*n. Let s = 3/89 + -431/2225. Which is smaller: s or n?
s
Suppose -362*n + 360*n - 198 = 0. Let a be (n - 5)*((-114)/28 - -4). Which is smaller: a or 7?
7
Let w(k) = -k**3 + 20*k**2 - 18*k - 32. Let i be w(14). Suppose 4*b + 362 = -2*a, -a + 3*b - i = 4*a. Is a bigger than -179?
False
Suppose 4*f = 3*a + 5639, -19*a + 44*f - 48*f = 35655. Is a bigger than -16880/9?
False
Let l be -4 - (0 - 0 - (-63)/(-14)). Let y be (12/(-40) + 0)*((-195)/126)/(-13). Is l at least as big as y?
True
Let u = 508 + -304. Let k 