igger: w or x?
w
Let w = 76 - 71. Suppose -w*o = -3*t - 692, 2*t = -7 - 1. Let g be 1139/o + 1/(-8). Is g bigger than -2/5?
True
Let u(y) = 31*y - 278. Let p = 77 + -68. Let k be u(p). Is k bigger than 5/19?
True
Suppose 5*r = -3*x + 19, -5 + 7 = -2*r + 2*x. Suppose -3*w + 10 = 4*f - 6, -12 = -4*f - r*w. Is f not equal to -4/13?
True
Let t be ((-4)/10)/(158/(-395)). Is 1/2600 > t?
False
Let x(b) = 342*b**3 - 1. Let j be x(-1). Let y(q) = -473*q + 11956. Let n be y(26). Is n <= j?
False
Suppose -2*p = -8, 3*c - 4*p - p + 56 = 0. Let i be (-32)/(-14) - (-1)/(63/(-18)). Suppose -5*s = -i*h + 59, 75 - 20 = -4*s - h. Which is greater: s or c?
c
Let h = 8779.1 - 8779. Is 10218 < h?
False
Let g be 1*(-1 + -2) + 3. Let x be 0 + -2*(g + -1). Let u be 1 - (-6)/x - 3. Is u smaller than 10?
True
Let g(x) = -111*x - 2464. Let u be g(-26). Which is smaller: u or 435?
u
Let v(r) = 12*r - 4. Let z be v(3). Let j(t) = 3*t**2 - z*t - 9 + 28*t - 2*t**2. Let l be j(4). Which is greater: -8 or l?
-8
Let g = 7006 + -6995. Is g greater than or equal to -3/284?
True
Let t be (2/1 - -392)/(-7 + -4). Let n = t + 36. Which is smaller: n or -0.7?
-0.7
Let l = -334 - -566. Let c = -231 + l. Are -2/17 and c non-equal?
True
Suppose 17*i + 66*i = -249. Do i and 127 have the same value?
False
Suppose 3*v - 7*v = 5*h + 3777, -5*v + 2281 = -3*h. Let c = h + 856. Let u be 2*1 + 3 + 94. Is u greater than c?
False
Suppose -30*i + 269395 = i - 68815. Is 10910 greater than or equal to i?
True
Let u = -5013 - -5439.6. Let j = -436 + u. Which is smaller: 1 or j?
j
Let t = -31/75 - -1/75. Let v = -1.77167 + -13.22833. Which is smaller: t or v?
v
Let n be 2*(-4)/(-24)*12/272. Let f = 1.408 - -1.592. Are f and n non-equal?
True
Let h = 4 + 19. Let z = -12 + h. Suppose 0 = 465*j - 461*j - 24*k + 384, 4*j - 4*k = -24. Which is smaller: z or j?
z
Let h = 132 + -1444/11. Let b be 4 - ((-6)/2 - (-5 - -2)). Suppose -4*o = l + 19, b*l - 24 = 3*o + o. Is l at most as big as h?
False
Let q(h) = -h - 24*h - 3 - 9 - 15. Let g(j) = 13*j + 14. Let x(o) = 11*g(o) + 6*q(o). Let k be x(-2). Which is smaller: 7 or k?
k
Suppose 2*l - 3*f = -13, -3*l = 80*f - 78*f - 13. Is 6/2095 equal to l?
False
Let l = 0.10268 - -51.90732. Let a = -52 + l. Which is bigger: -0.05 or a?
a
Let d(y) = -y**3 - 17*y**2 - 2*y - 67. Let s be d(-17). Let z = s - 256. Which is greater: -290 or z?
z
Suppose 77*h + 2732 = 78*h. Let x be (-8 - -4) + 2/(1368/h). Which is greater: x or -1?
x
Let f be (15 + -8 + -6)/((-1)/(-42)). Let u(t) = -15*t + 2. Let h be u(4). Let k = f + h. Is -16 < k?
False
Let g = -9919 - -9919.02. Which is greater: g or -84?
g
Let r = 16483 - 16502. Suppose 2*t + 90 = -4*o, 4*t = o - 2 + 11. Is r smaller than o?
False
Let c = 923/217 + -30/7. Let a be (-696)/(-1188) - (5 - (-1395)/(-275))*-5. Which is bigger: c or a?
a
Let y = -23489/90465 - 16/815. Let p = y + 7631/26529. Is -1 >= p?
False
Let j(i) = 26*i + 755. Let t be j(-29). Which is bigger: 239.1 or t?
239.1
Suppose 5*p + 2*g = 11, -2*p = -p - 3*g - 9. Suppose 5*k + 2*i + 54 = p*k, 36 = -k - 4*i. Let w = 22 + k. Is 1 at least as big as w?
True
Let u(n) = n - 40. Let a be u(21). Let i be 11/(-4) + a + 16. Is i equal to -7?
False
Let z(x) = 3*x - 15. Let i be z(7). Suppose -4*g = -4*v + 2*v + i, 2*v + 2*g - 36 = 0. Which is smaller: 57/4 or v?
v
Suppose 0 = 3*q - 3*g - 324, -5*q = -3*q - 3*g - 219. Let z be -1 + 4*1 - (q - 104). Is z greater than 24/7?
False
Let k(n) be the first derivative of n**4/4 - 11*n**3/3 - 4*n**2 - 4*n - 94. Let g be k(12). Is g at most as big as 47?
True
Suppose 738*c = 756*c - 234. Which is bigger: c or 261/20?
261/20
Let u(k) = -28*k**3 + 2*k**2 - 90*k + 15. Let i be u(6). Is -6501 bigger than i?
False
Suppose -11*z = -16*z. Suppose -5*k = -5*t + 14 + 16, -5*t - k + 30 = z. Is 19 < t?
False
Let n(q) be the second derivative of -q**4/12 + 13*q**3/6 + 8*q**2 - 6*q + 20. Let u = 6 + 2. Let k be n(u). Is k > 55?
True
Let h = 4739 + -5384. Is -643 smaller than h?
False
Let p be 8 + -17 + 3 + 12. Is -1/342 smaller than p?
True
Let p(c) = -370*c**3 - c**2 - 2*c + 2. Let w be p(1). Let b = -21521/58 - w. Do 0 and b have different values?
True
Suppose 2*v + 4*g - 104 = 0, 222 = 3*v - 208*g + 203*g. Is 61 bigger than v?
False
Let y be 6*(-4)/(-6) + 1470/(-343). Let g = -17 + 15. Let p = -1 - g. Is p bigger than y?
True
Let w be (-760)/57*-6*-1*2/(-344). Which is greater: w or 1?
1
Let o be 39/15 + -3 - (-3132)/(-20). Let x = o + 235. Is 78 greater than or equal to x?
True
Let l(i) = i - 20. Let g(y) = 3*y - 34. Let u be g(12). Let x(a) = -10. Let p(f) = u*l(f) - 5*x(f). Let v be p(-5). Which is bigger: v or 2/161?
2/161
Suppose 4*i + 11 + 129 = 0. Let h(y) = -y**3 - 36*y**2 - 36*y - 35. Let z be h(i). Is z smaller than -2/559?
False
Let r = -201/2 + 100. Suppose 4*y + 648 = 12*y. Let k = 89 - y. Which is greater: r or k?
k
Let h = -35439 - -35440. Which is bigger: h or 13279?
13279
Let i = -145853/14 + 10411. Let z = 81419 + -81425. Which is bigger: i or z?
z
Let a = -36 + 55. Let n(s) = s**2 - 16*s - 39. Let w be n(a). Suppose w*q = 334 - 64. Which is bigger: -3 or q?
q
Let o = 2650 + -2648. Which is bigger: 1878 or o?
1878
Suppose -157 = -17*u + 1288. Let h be 2551/30 + 2/12. Is u not equal to h?
True
Suppose -5*u + 1503 - 555 = -3*v, 5*v = -u + 184. Is 182 at least as big as u?
False
Let u(d) = d**3 + 17*d**2 - 41*d - 53. Let w be u(-19). Suppose 0 = 2*m - g - 51, 12 + 167 = 7*m - w*g. Which is smaller: m or 33?
m
Let x = 4630.9 - 4630. Is x bigger than -27.6?
True
Let z = -19766 - -17341. Is z > -2423?
False
Let r = -142.2 + 103.2. Let v be 1 + -2 + (-10)/(-14). Do v and r have the same value?
False
Suppose 3*i + t - 145 = 0, 0 = 107*i - 102*i + 5*t - 235. Is 90 >= i?
True
Let a(w) = -5*w**3 + w**2 - 19*w - 53. Let d be a(-6). Which is smaller: 1179 or d?
d
Suppose -7*a = 3*a - 30. Suppose a*g = -g + 24. Let m be (114/(-95))/(g/(-40)). Which is smaller: m or 9?
m
Suppose 13*d = 15*d + 2. Let q = -18.917 - 0.083. Is d bigger than q?
True
Let h be (-552)/20 + ((-108)/450)/((-4)/10). Does h = -636/23?
False
Let c = -33.2 + 3.2. Let x = 27.9 + c. Let i = 6.91 - 5.91. Which is bigger: i or x?
i
Let q = -3471 + 3447. Let g be -25 - (-1 - -1)/(-3). Is q < g?
False
Let i = -841.8 + 842. Let w = -19 - -38. Let g = -18 + w. Is i >= g?
False
Let q = 1868482/311 + -6008. Do 0 and q have different values?
True
Let v(f) be the second derivative of 19*f**3/6 - f**2 + 8*f. Let c be v(1). Let r = 1010 + -13132/13. Which is bigger: r or c?
c
Let w be (-1)/((-4)/(-45120)*-4). Is w bigger than 2820?
False
Let h(q) = -q**3 + 4*q**2 - q + 4. Let o be h(4). Let p(u) = -u**3 + 22*u**2 - 22*u + 10. Let y be p(21). Let j be (12 + y)*(-20)/14. Is o equal to j?
False
Let t = 29/69 - 677/2760. Is t >= 1?
False
Let f(i) = i**2 + 14*i + 1. Let p be f(-14). Suppose -2*y + 16500 = 9*y. Let u be ((-8)/12)/(-2) + (-515)/y. Which is greater: p or u?
p
Suppose 3*q - 749 - 196 = 0. Let f be (-1)/(3*(-3)/q). Let d be (1*3)/((-1)/(-12)). Which is smaller: f or d?
f
Suppose s = 13*u - 10*u + 81, -5*u + 41 = s. Let g be (7/(-3))/7*-201. Are g and s nonequal?
True
Let n be (-5)/(-3)*-1*(5 + -11). Let o(h) = 4 - h**2 + 4*h**2 - 4*h**2 + 10*h. Let q be o(n). Which is bigger: q or 24/7?
q
Let b = -4577725/161968 + 5221/191. Let k = b - -15/16. Is k less than 1?
True
Let k(s) = s**3 - 27*s**2 - 98*s + 57. Let z be k(26). Is z >= -3169?
True
Let j = -21818 - -21818.9571. Let f = j + 0.0429. Which is greater: 111 or f?
111
Let j(t) = -2*t**3 + t**2 - 60*t + 3313. Let o be j(0). Are o and 9940/3 equal?
False
Suppose -4*r + 44*k - 46*k + 582 = 0, -4*k + 149 = r. Which is greater: 124 or r?
r
Let f = -28/1191 - 1186096/5955. Which is smaller: -198 or f?
f
Let m(x) be the second derivative of -x**5/20 + 3*x**4/4 - 8*x**3/3 + 9*x**2/2 - 17*x. Let f be m(7). Let p be (-1 - (5 - 4)) + -4. Which is smaller: f or p?
p
Suppose -2*r - 5 = -o, 2*o + 6 = -5*r + 16. Suppose o*m + 3*y = -467, 0*m + 2*m + 5*y = -202. Are m and -90 non-equal?
True
Let y(j) = 3*j - 4. Let a be y(2). Suppose -u = -a*k - 510, -4 = 50*u - 51*u. Is -253 at most k?
True
Let j(t) = -9*t**3 + 46*t**2 - 7*t + 25. Let b be j(5). Is b less than or equal to 57?
True
Let j = 38/3 + -19786/1563. Do j and 1 have the same val