 w or -1?
w
Let k be (4 - 6/3) + -3. Let n be (-5 - -2)*k + (-338)/110. Let m = -797/385 + n. Is -1 at most as big as m?
False
Let h(i) = 2*i**2 - 37*i + 23. Let r be h(18). Suppose 3*m + r*x = -m + 47, 2*x + 26 = 4*m. Let s = 49951/8 - 6236. Which is bigger: s or m?
m
Let y(b) = -44*b - 95. Let i be y(-4). Let d be (3 + (-72)/20)*(-14670)/i. Which is smaller: 108 or d?
108
Let z = 27/455 - 24/455. Which is smaller: 1 or z?
z
Let y = 505 - 364. Let p be (-26 + (1 - 1))/(y + -131). Is p at least as big as 0.2?
False
Suppose 4*r - 1 + 5 = 4. Is 4/641 at least r?
True
Let w(x) = 18*x**2 + 3*x - 7. Let y be w(8). Let n = 4649/4 - y. Suppose 2*m + 2184*f + 17 = 2183*f, 2*f = 5*m + 29. Which is smaller: n or m?
m
Let n be (4/(-420) - 6/(-21)) + 144/(-1080). Which is bigger: 562 or n?
562
Let m(r) = 3*r + 16. Let l(u) = -4*u**2 - u + 1. Let n be l(1). Let h be m(n). Suppose -h*c = -c. Which is bigger: c or -3/10?
c
Suppose -5*y + 10*n = 7*n - 19368, -4*n = -2*y + 7736. Is 7751/2 greater than or equal to y?
False
Let s(y) = -y**2 + 12*y + 8. Let l be s(8). Let t be (7/(-63) + 0)/((-6)/2115). Which is smaller: t or l?
t
Let u(f) = -f**3 + 18*f**2 + 41*f - 18. Let c be u(20). Suppose 4 = c*l, 7 = w - 0*l + l. Which is bigger: w or 6?
6
Let t(r) = -r**3 - 34*r**2 - 30*r + 108. Let k be t(-33). Suppose 8*o + 143 = -k. Which is smaller: o or -10?
o
Let x = -1765 - -51199/29. Let f be 2/(-4) - (1040/232 + -3). Let j = x + f. Is -3 at most as big as j?
True
Let m(c) = -8*c + 260. Let f be m(27). Suppose 0 = 3*g - 5*o + 142, 5*g - 4*o + 210 = -f. Which is smaller: g or -62?
-62
Let m = 0.29333 - 52.40133. Let o = -52 - m. Is o equal to 0?
False
Suppose 361 + 167 = 4*j. Let s = j + -194. Is -61 at most as big as s?
False
Suppose 0 = 141*y - 83*y + 168*y + 2938. Is -488/41 <= y?
False
Let g be -13 + 13 - (4 - 2 - -12). Let h(j) = 4*j + 9. Let f be -2 - 12/((-3)/(-1)). Let i be h(f). Are g and i unequal?
True
Let s(y) = -3*y**2 + 5*y + 28. Let m be s(4). Let c be (-2 + 2 + 3)*49/29547. Is c < m?
False
Suppose -4*h + 3*l = -52 - 34, 0 = -5*l - 10. Let p(b) = -b**2 + 22*b - 150. Let y be p(h). Which is smaller: y or -112?
-112
Let v be 708/(8/(-24)*3). Let h = v - -753. Let a(u) = 5*u**2 - u + 2. Let t be a(3). Is t > h?
False
Suppose -3*y - 443 = d + 3*d, 5*d + 571 = 2*y. Let l = d - -112. Are -3 and l equal?
False
Let m = -6.695 - 0.305. Do 1.7 and m have different values?
True
Let l be 2/(2/((-1254)/(-135))). Let h = l + -80/9. Let f = -57.4 - -56. Which is greater: h or f?
h
Let l = 0.10257 + 0.90043. Which is greater: -1 or l?
l
Let p be -3*24/81*((-324)/24)/9. Let d(y) = -y**3 - 3*y**2 + 4*y + 2. Let b be d(-4). Suppose -b*x = h + 1, 6*x = x + 5*h + 35. Which is smaller: x or p?
p
Let j = -5 - -7. Suppose -h = j*h. Let u(m) = -2*m**3 - 27*m**2 + 16*m + 30. Let a be u(-14). Which is smaller: h or a?
h
Let w(o) = o**3 + 8*o**2 - o - 5. Let k be w(-8). Let r(v) = -2*v**2 + 9 - 23 + 3*v + k*v**2. Let p be r(6). Do 39 and p have different values?
True
Let h(o) = o**3 + 10*o**2 - 17*o - 15. Let b be h(-12). Let y = 10 - 6. Let p be (y/(36/3))/((-3)/b). Is p equal to 65/6?
False
Let o(r) be the second derivative of -r**3/3 + 27*r**2/2 + 25*r. Let k be o(14). Let q be (5/k - -1)*2/500. Is 0 <= q?
False
Suppose -570 + 579 = -2*a - 7*a. Is -102/179 greater than a?
True
Let q be ((-2)/46*-2 + (-4224)/25300)/2. Is 3 >= q?
True
Let b be (20 - 35)*2/(-6). Let g(i) = 62*i - 323. Let k be g(b). Let c = 2/135 + -1847/135. Which is bigger: k or c?
k
Let v be (2/675*-4)/(813/4878). Is 1 less than or equal to v?
False
Let z = 4113 + -217995/53. Let d(c) = 3*c**2 - 2*c - 6. Let y be d(-2). Suppose -y = -4*b - 5*t, 4*t = b + b + 8. Is z <= b?
True
Let r = -3.1 + 3. Let g(a) = -3*a**2 - a + 1. Let w(v) = 8*v**2 + 7*v - 17. Let k(m) = -g(m) - w(m). Let b be k(2). Is b < r?
True
Let f = -367 - -475. Suppose -5*d = -2*x - 61, -3*x - f = -2*d - 33. Which is smaller: -20 or x?
x
Suppose -o + 4*q = 14, 3*o - 2*q + 42 = 3*q. Let x = 106 - 3. Let f = x + -116. Is f smaller than o?
False
Let y = 21.4 - -16.6. Let a = -24 + y. Let t(w) = w - 6. Let c be t(5). Which is smaller: c or a?
c
Let g be (-1604)/(-4788)*3 + -1. Let c = -0.007108 - 0.092892. Which is greater: c or g?
g
Let b be (-6)/3 - 1459 - 3. Let v be -65*4/b + (-3)/(-9). Let t = 2/183 - v. Is t at most as big as -4?
False
Let w(b) = b**2 + 8*b - 5. Suppose 12*g + 75 + 33 = 0. Let f be w(g). Suppose -6*l + f*l = 4*l. Which is bigger: l or -1/4?
l
Let r(u) be the third derivative of u**6/40 + u**4/12 - u**3/6 + 43*u**2. Let k be r(1). Suppose -2*x = -k*x. Is x < 0?
False
Let r = -2207 - -2420. Is -10 smaller than r?
True
Let r be 29*(6 + (10 - 6)). Are r and 288 non-equal?
True
Let u = 36529/10 - 3648. Is u at most 1?
False
Let i = -69017074/64885 + 20210/19. Which is greater: i or 1?
1
Let c be (-5 - 222/(-42)) + 3/((-420)/(-205)). Is c at least as big as -90?
True
Let i = 13 + -20. Let b = 1676 + -1685. Do b and i have the same value?
False
Let f be ((-35)/10)/(2/180). Let r = -315 - f. Are r and 1/13 equal?
False
Let z = 12 + -5. Let b be z/(-42)*(-41820)/(-21). Let w = b - -332. Which is smaller: w or -1?
-1
Let q be (-308)/410 - (16 + 84/(-5)). Which is greater: 0.012 or q?
q
Suppose 34*k + 43*k = 0. Which is bigger: 661 or k?
661
Suppose -6*i = -9*i + 261. Let b = 156 - i. Suppose b*m - 68*m + 6 = 0. Which is smaller: -8 or m?
-8
Let v be (-27)/45*((-2 - -2) + -5) - 2. Let s = 20 - 34. Let r be 52/s + (-6)/21. Are v and r equal?
False
Let j(h) = 6*h - 12. Let q be j(10). Let f be (-72)/q - (3/(-2))/1. Suppose f = -2*p + 15 - 123. Is -55 at least as big as p?
False
Suppose 108 - 113 = -5*l. Let d be -3 + l/(596/(-360) - -2). Do d and 1 have different values?
True
Suppose 4464 = 22*s - 32540. Which is smaller: 1680 or s?
1680
Let w(c) = c**3 - 21*c**2 - 22*c + 21. Let h be w(22). Let l be h + -7 + -6 + 0. Which is bigger: l or 9?
9
Suppose 3*k = 2*q + 42, k - 2*k - 2*q = -6. Let n = 2543 + -12657/5. Is n not equal to k?
True
Let m = 96 + -91. Suppose -5*g + 2*z + 6 = -65, m*g + z = 77. Suppose u - 4*u - 3*v = -g, -4*u = -4*v - 28. Which is smaller: -0.3 or u?
-0.3
Let v = -17.1 + 17.3. Let c = 7140.78 + -7201. Let o = c - -60. Do o and v have the same value?
False
Let v = 2768 - 19336/7. Let g be 7/3 - 2/(-3). Suppose -10 = -5*b + g*b. Is b smaller than v?
True
Let a be -1 - 16/(-12)*-219. Let o = -250 - a. Is 42 >= o?
False
Let d be -2 + 7 - (10 - (3 - 8)). Let j be ((-32)/(-240))/(1 - d/(-12)). Which is greater: 4/25 or j?
j
Let n = -9.64 + 51.84. Is n < 18?
False
Suppose 4*s - 6*b - 389 = -b, 2*b + 398 = 4*s. Let g(n) = -8*n - 26. Let q be g(-16). Is s >= q?
False
Suppose -11453 = 136*i + 32747. Does -2276/7 = i?
False
Let m be (-24)/60 + 100/(-14). Let v = 50/7 + m. Suppose 0 = t - o - 15 + 1, 3*o = -t - 6. Is v bigger than t?
False
Let i(m) = 4*m + 25. Let l be i(-7). Let o be ((-9)/6)/(l/(-2)). Let j = -7/5 - o. Do j and 0 have the same value?
False
Let i = -143 - -515. Let b = i - 728. Does b = -356?
True
Let v = 440 - 70. Suppose 0 = -b + 11*b + v. Which is smaller: -39 or b?
-39
Let j = 148466/7 + -14987791061/706657. Let m = 4/643 + j. Is m != 2?
True
Let f = -911863729/9 - -27928562037481/275652. Let i = 1/2356 - f. Suppose 9 = k - 3*k - 3*x, 2*x + 6 = 4*k. Is k < i?
True
Let x be 4/(-26) - 37/39*3. Let v be 330/420 - (x/(-2))/3. Which is smaller: v or -1/2?
-1/2
Let b(x) = 233*x - 19. Let t be b(-1). Let i be (1/2)/(126/t). Do i and 2/409 have the same value?
False
Let m = -8 + 12. Suppose -s - s = h - 76, 0 = -m*s - h + 150. Suppose 3*g = -3*d + 120, -4*d - 68 = -6427*g + 6425*g. Do s and g have the same value?
False
Let n = -656 - -657. Let z be (-3*n)/((-17)/(204/(-243))). Is z bigger than -2/5?
True
Suppose 118*a + 149*a = -58*a + 311350. Are a and 965 equal?
False
Suppose -v + 5*s = -29, -v - 2*v + 4*s = -98. Let y = 31 - v. Let c be (-13)/39 - (-2)/y. Which is bigger: c or 1/7?
1/7
Let n = 2.359 - -235.641. Is n less than 0.2?
False
Let f = 43 + -46.4. Let o = f - -0.4. Let l = 0.01992 - 0.11992. Which is bigger: o or l?
l
Let j = 7841 + -54889/7. Let q = -0.6 + -2.4. Let y = q - 12. Is y at most j?
True
Let v = 46 - 136/3. Let m = -12.176 + 12.01. Let n = 5.534 - m. Is n <= v?
False
Suppose 17 = 2*k - 5