44*p + 547*p = 7, -2 = -2*p. Which is greater: -254/183 or s?
s
Let t be (-136)/(-1088) + (-46)/112. Is t smaller than -561?
False
Let y = 40026497/13953 + -8606/3. Which is bigger: 1 or y?
1
Let d(k) = -2*k**2 - 12*k + 55. Let a be d(-12). Let p = a - -47. Is p greater than or equal to -41?
False
Suppose 0 = c + 3*t - 91, -4*t - 512 = -5*c - 0*t. Let b(j) = 11*j + 188. Let w be b(-8). Do w and c have the same value?
True
Let g be -3 + ((-42)/(-14))/((-3)/(-8)). Let h be (20/12)/(g/6). Are h and -16 equal?
False
Let x = -19 - -20.4. Let d = x + 2.6. Suppose -5*z + 4*a = -13, 3*z - 27 = -21*a + 17*a. Which is greater: z or d?
z
Let v(a) = -a + 5. Let i be v(7). Let o = -50360 + 50323. Is o > i?
False
Let t = 803 - 2411/3. Let p(b) = -b**2 - 4*b - 2. Let v be p(-2). Suppose g + v = -0. Which is bigger: t or g?
t
Let f be (-2 + (-17)/5)/((-11)/165). Let s = f - 97. Is s bigger than -78/5?
False
Let h = -167.113 + 2.113. Which is smaller: h or 6?
h
Let w(l) = 13*l**2 - 316*l - 139. Let m be w(38). Which is bigger: m or 6626?
6626
Suppose 175*i + 266*i = 121*i + 5496000. Is 17175 at most i?
True
Let a = -94 + 145. Let f = a - 50. Let n be f/(-4)*21/14. Which is smaller: 1 or n?
n
Let w(d) = 33*d - 686. Let p be w(21). Is -12 greater than p?
False
Let l be 6/(-21) - 5/(105/(-174)). Let a(m) = 3*m**2 - 8*m + 13. Let s be a(l). Let z = s - 27. Is 113 <= z?
True
Suppose 0 = 125*v - 665 - 1335. Which is greater: 17 or v?
17
Let y = 37629 + -37627. Which is smaller: 1/4077 or y?
1/4077
Let f = -11 + 10.98. Let u = f - -0.12. Let d = -35.43 + -0.57. Is u < d?
False
Let k = -20 + 19. Let i = -0.13851 + 0.05851. Is k greater than i?
False
Let h = -136 + -294. Let q = h - -450. Which is greater: -6 or q?
q
Let u(q) be the first derivative of -q**3/3 - 21*q**2/2 - 4*q - 55. Let z be u(-10). Are 107 and z non-equal?
True
Let i be 2/15 - 77/15. Let c(q) = 2*q**2 + 48*q - 273. Let u be c(5). Which is greater: u or i?
u
Let j(o) be the third derivative of -o**5/30 + 7*o**4/12 - 2*o**3 + 12*o**2 - 6. Let u be j(7). Suppose 0 = 4*m + m + 50. Which is smaller: u or m?
u
Suppose -205*r + 3*k = -204*r - 2071, -4*k + 6200 = 3*r. Is r at least as big as 2068?
True
Let i = 4/4217 - -10655/2104283. Which is bigger: i or 1?
1
Suppose 286*q = -2*d + 285*q + 1189, 2*q + 577 = d. Which is bigger: d or 589?
d
Let m(b) = 4*b + 5. Let l be m(-2). Let f be l/15 + (-42)/(-10). Let p be f*2/12*30/5. Is p bigger than 2?
True
Let o be 2 - ((-1358)/(-339) - 2). Let j = o - 656/3729. Suppose -33*b - 38 = -5. Is j < b?
False
Let x(h) = h - 99. Let b be x(0). Let p = b - -103. Suppose -73 - 21 = -p*l + 2*j, 0 = -3*l - 5*j + 38. Which is bigger: 20 or l?
l
Suppose 0 = 5*h - 330 + 140. Suppose -39*a + 35*a = 152. Let d = h + a. Is d smaller than 5?
True
Let v = -2145 - -13724. Let c = v - 15666389/1353. Does 1 = c?
False
Let s = 67.16 - 67. Let j = s + -1.16. Is j at least 6/5?
False
Let a be (4615/213)/(15/18). Is 33 less than a?
False
Let d = 41 - -11. Suppose 4*k = 5*v + 362, -d - 34 = -k - v. Let u(l) = -11*l**2 + l + 88. Let g be u(0). Are k and g equal?
True
Suppose 232*z - 20350 + 1912 = 671*z. Is z bigger than 3/68?
False
Let i be (2 + -5)*234/(-27). Suppose 3*u - q + 6*q = -2, 0 = 4*u + 2*q + i. Let w(y) = -y**3 - 7*y**2 + 10*y + 5. Let l be w(-8). Is l > u?
False
Let n = -79 - -79.031. Let f = n - -0.039. Let h = -216 + 220. Is f at most as big as h?
True
Let i = -916 - 739. Is i <= -1655?
True
Let r be ((-2)/((-8)/76))/((-2)/(-38))*-1. Is r at most as big as -363?
False
Let c be (2/(-12))/(2/6). Let i = 4767/4 + -1198. Which is greater: c or i?
c
Let m = 1925 + -1926. Which is smaller: m or 41?
m
Let m be (-8)/(9/(-72)*(-4)/2). Let q = m - -14. Which is greater: q or -17?
-17
Let d = -4170 + 5165. Is 990 less than d?
True
Let v = -25 - -30. Suppose -v*m + 8*m = 3. Suppose -q = m - 4. Is 2 <= q?
True
Let h be (3698 - -4)/(-6)*(-21)/(-1362). Let c = 3/227 + h. Which is greater: 0.1 or c?
0.1
Let m(w) = w**3 - 66*w**2 + w + 422. Let d be m(66). Is 489 != d?
True
Let g = -0.67 + -10.53. Let p = g + 11.2. Does -4.5 = p?
False
Let c = 47131271/1561 + -30193. Let r = -1727/129563 - c. Which is bigger: r or 1?
1
Let z = -191 + 190.89. Let i = -3.11 - z. Which is bigger: i or 5.9?
5.9
Let j be (-3 + 5)*-6*2/6. Let q be (1/j)/(1/(-4))*3. Suppose -8*v = -q*v + 95. Is 1 <= v?
False
Let b be (4/(-3))/((-32)/(-48)). Let a(f) = f**2 - 6*f - 11. Let d be a(8). Suppose -2*h + 17 = -s + h, -d*s + 5*h = 35. Is b <= s?
True
Suppose -61*f = -56*f + 9695. Let r be f*(-9)/84546 - 2/11. Which is greater: r or -1?
r
Suppose 8 = -21*a + 25*a. Let c be 1 + 14 + -11 + a + 1. Let d be (0 + -2)*(-7)/2. Is c less than d?
False
Suppose 5*y - 16 = y, -5*t = -y - 41. Suppose -3*w - 22 = -2*m, -3*m = 2*w + 2 - t. Let o be -1 - (828/213)/w. Is 0 at most as big as o?
False
Let x(q) = 31*q**2 - 10*q + 4. Let w(g) = -16*g**2 + 5*g - 2. Let r(s) = -5*w(s) - 3*x(s). Let o be r(2). Is -45 less than or equal to o?
True
Suppose 38*q - 34 = -110 - 228. Is -76/9 less than or equal to q?
True
Let i(m) = 3*m**2 - 86*m + 136. Let r be i(27). Is r >= -3/17381?
True
Let y = -1059.26 - -1050. Let j = -0.26 - y. Is j greater than 0.13?
True
Let w be (-7966)/6 + 49/42 + 21/(-14). Which is greater: -1326 or w?
-1326
Suppose 14 = 2*c + 7*u - 3*u, -2*u = -4*c + 38. Suppose c*b = -13*b + 132. Is b greater than or equal to -40?
True
Suppose -2*q - 20*q = 1694. Let w = q - -78. Which is smaller: w or -7/24?
-7/24
Suppose 4*o = -12*q + 17*q + 737, 0 = -2*q - 2*o - 284. Let g = q - 9. Do -154 and g have the same value?
True
Let l = 0.9335 + 63.0665. Let p = 22 - 21.8. Which is greater: l or p?
l
Let a = 2707 - 2707. Which is bigger: a or -114/179?
a
Suppose 30 = -5*d - 45. Let l be ((-20)/d)/((-15)/(-10)). Are 1 and l unequal?
True
Let u(l) = -l - 100. Let m be u(-23). Let o = m - -66. Is o bigger than 1/6?
False
Suppose 6*i - 60 = -9*i. Let k be (0 - -3)*(2 - i) + 10. Suppose 5*s - 19 - 21 = 0. Which is smaller: k or s?
k
Let c be (-1)/((1/2)/((-4)/8)). Let i = 0.12 - 0.16. Let w = i + -0.02. Are w and c equal?
False
Let i = -0.11588 - -6157.11588. Let f = i + -6215.87. Let l = f + 59. Are 1/3 and l nonequal?
True
Let j be (-12)/(-10) - (8/40 + 1). Does j = -31/24?
False
Suppose 62*a - 57*a + 516 = z, 4*a = -3*z + 1434. Is 3411/7 equal to z?
False
Let h = 0.27 + -13.57. Let u = h + 0.3. Let v = -9 - u. Is -0.2 <= v?
True
Let i = -212 + 212. Let z be 6/(2 - i) + (-162)/78. Is z greater than 1?
False
Let k = -326 + 215. Let x = k - -60. Let j = x - -60. Is 8 > j?
False
Let z(r) be the third derivative of -r**4/2 - 65*r**3/6 + r**2 - 3. Let g be z(-5). Let d = 16 + -23. Is d at most g?
True
Suppose -3*j + 27 = 0, 0 = -128*k + 129*k - j - 470. Is 473 less than or equal to k?
True
Let p = 18 - 12. Let k be ((-15)/p + 4)/((-3)/(-10)). Suppose -k*j + 19 = 3*q + 58, q = 2*j - 2. Is q <= -8?
True
Let q be 96/10 - (44/(-10) - -4). Suppose -34 = -q*l + 56. Is l != 0.3?
True
Let s(j) = 4*j**3 + 5*j + 27. Let l(o) = 3*o**3 + 2*o**2 + 5*o + 26. Let t(i) = 3*l(i) - 2*s(i). Let q be t(-5). Which is smaller: q or 22?
22
Let t = 0.14876 + -195.14876. Is t bigger than 0.11?
False
Let i = -6 + 4. Let h be (-517)/(-264) - i/(-6). Which is smaller: h or 1?
1
Let x = -36040/7 - -5148. Is x smaller than -0.39?
True
Let x = 0.575 - -71.925. Let o = x + -72.1. Which is greater: o or 22?
22
Let f = -191 + -36. Let t = f - -228. Which is smaller: t or -0.16?
-0.16
Let k be 9/(36/(-16)) + 8. Suppose -2*b - 5*w + 34 = -2*w, -b = -k*w - 17. Let s = b + -16. Is -2 > s?
False
Let v = -54 - -62. Suppose 10 = -5*c + 5*w, c - v = 5*c + w. Suppose -2*m = 3*m. Which is smaller: m or c?
c
Let a = -1.22 - -1.45. Let w = -442 - -439.93. Let m = w - a. Is m != 0?
True
Suppose 12*q + 6*q - 14*q - 1388 = 0. Is 348 smaller than q?
False
Let f be -1*(7 + 8 + -10). Let p(y) = 4*y**2 + 5 + 1 + 8*y - 3*y**2. Let h be p(-6). Is f at most h?
False
Let u be 28/304*(-2 + 578)/9. Is 6 bigger than u?
True
Let w(p) = -p**3 + 6*p**2 + 5*p + 10. Let h be w(7). Let x(i) = 19*i - 4*i + 11 - 11*i**2 - 11*i**2 + i + 24*i**2. Let j be x(-7). Which is bigger: h or j?
j
Let i(k) = -248*k**3 + k**2 + 11*k - 9. Let w be i(1). Do -241 and w have the same value?
False
Suppose 24*x + 288 = 312. Is x sm