ultiple of 19?
True
Suppose 2*h - 8 + 2 = 0. Suppose -h*f + 376 = f. Suppose 0 = 3*o - 4*s - f, -s = 2*s - 6. Is 28 a factor of o?
False
Let d(q) = -9*q**2 - q - 1. Let v be (-4 + 0)*(-8 - -6). Let m(n) = -26*n**2 - 2*n - 2. Let w(k) = v*d(k) - 3*m(k). Is w(-2) a multiple of 13?
True
Suppose -154 = -2*d + d - 5*v, 2*d - 4*v = 294. Does 10 divide d?
False
Is -1 - (-5091)/(-9)*-3 a multiple of 53?
True
Let k be (-3)/(-2) - (-21)/14. Suppose -5*i = -k*l + 47, 8*l - 4*l - 5*i = 66. Is l a multiple of 19?
True
Let w(l) = 27*l**2 + l - 1. Let m be ((-2)/3)/((-2)/9). Suppose m*r - 2 = 1. Is 9 a factor of w(r)?
True
Let l be 74 + (-4 - (-4 + 0)). Let d = -44 + l. Is 6 a factor of d?
True
Let l(s) = -3*s**3 - 4*s**2 - 4*s - 1. Let c be l(-1). Does 17 divide (117/c)/(-9)*-15*2?
False
Does 2 divide 10868/91 - (-12)/(-28)?
False
Suppose 10*o - 315 = 3*o. Suppose -2*u = -7*u + o. Does 2 divide u?
False
Let m(q) = 40*q**2 - 2*q - 2. Let t(c) = 20*c**2 - c - 1. Let v(r) = 3*m(r) - 5*t(r). Let g be v(-1). Let j = 38 - g. Does 9 divide j?
True
Let c = -455 + 617. Is 15 a factor of c?
False
Let m = -32 - -27. Is ((-442)/(-10) - (-1)/m)/1 a multiple of 11?
True
Suppose -8*o + 1230 = -14*o. Let c = -168 - o. Is 25 a factor of c?
False
Let p = 81 + -71. Let x(g) = -4*g**2 + 42*g + 4. Is 6 a factor of x(p)?
True
Suppose -4*z = 2*v - 1634, -v - v = z - 404. Let f = z - 254. Suppose 3*s - f = -s. Is 19 a factor of s?
False
Suppose -3*c + 5*b = -590, 2*b = -4*c - 3*b + 740. Let v = c + 20. Is 21 a factor of v?
True
Let k = 36 + -27. Let v(p) = -p**3 - p**2 + 7*p + k*p - 6 - 2*p**2 - 3*p. Is 19 a factor of v(-6)?
False
Is 31 a factor of (12/(-42))/((-14)/156898)?
False
Is 9 a factor of 1*115*(-5 + 5 + 5)?
False
Let b(t) = 44*t**3 - t**2 + 3*t - 2. Let d be b(1). Let k = 86 - d. Is 14 a factor of k?
True
Let t = 4 - 20. Let u(w) = -19*w + w**3 - 9 - 7 + 4*w**2 + 11*w**2. Is 16 a factor of u(t)?
True
Suppose 3*j - 522 = -168. Does 33 divide j?
False
Suppose 0 = a - 3*k + 5 - 13, 5*k + 14 = a. Let m be (a - -3) + -2 + 31. Suppose 5*s - 3*x = 155, -5*x = -2*s + 4*s - m. Is 14 a factor of s?
True
Let v = -435 - -441. Is v a multiple of 3?
True
Let m = 1199 + -622. Let y = m - 361. Is y a multiple of 32?
False
Let k(a) = -3*a**3 - 2*a**2 - 4*a + 1. Let b(x) = 6*x**3 + 5*x**2 + 9*x - 2. Let u(h) = -2*b(h) - 5*k(h). Is u(1) a multiple of 4?
True
Let p(y) = -y**3 - 2*y**2 + 3*y + 96. Does 4 divide p(0)?
True
Let m = 450 + -268. Is m a multiple of 14?
True
Let u(y) = y**2 + 32. Let b be u(0). Let d = -4 + 6. Suppose d = -3*l + b. Is l a multiple of 4?
False
Let f(u) = -u**2 + 15*u - 15. Let z be f(14). Let r = z + 70. Is 14 a factor of r?
False
Let q(g) = -13*g**3 - 3*g**2 + 2. Let u be ((-30)/(-9) + -4)*3. Let a be q(u). Suppose 0 = 8*i - a - 74. Is i a multiple of 4?
False
Suppose -o + 2*y + 198 = 0, -10*o - 3*y = -3*o - 1369. Is 2 a factor of o?
True
Let z be (-10)/55 + 10718/22. Suppose u + z = -2*u + 2*j, -5*u = j + 803. Let d = -71 - u. Does 19 divide d?
False
Let g(p) = -2*p**2 + p + 3. Let i be g(4). Let x = i - -42. Does 4 divide x?
False
Let h = 52 + -48. Suppose 3*b + 7 = 4*b + k, 0 = b - h*k - 17. Is b a multiple of 9?
True
Suppose 16 = 4*y, -3*x + 3*y = y + 2. Suppose -2*o + 3*g - x = 0, -2*o + 8*g - 10 = 3*g. Suppose -o*m + 137 = -38. Is m a multiple of 7?
True
Let g(q) = q**2 - 5*q + 7. Let z be g(3). Let m be 2 + (0 - (13 + z)). Let j(p) = -p**3 - 13*p**2 - 12*p + 10. Does 10 divide j(m)?
True
Let d = -143 + 141. Is 25 a factor of (-526)/(-3) - d/(-6)?
True
Let z(t) = 14*t + 8. Let s be z(6). Suppose 191 = -3*y + 2*c, -3*y + c - 171 = 4*c. Let x = s + y. Is x a multiple of 16?
False
Suppose -15 - 6 = -5*m - 4*y, 0 = 3*y + 3. Let l(t) = 4*t**2 - 8*t + 11. Does 22 divide l(m)?
False
Let z be (-6 - -6)*(2 - (-9)/(-6)). Suppose z = m + 3*y - 0 - 71, -3*m - 2*y + 185 = 0. Is m a multiple of 6?
False
Suppose -2*x + 44 = x - 2*k, 3*k = -5*x + 105. Let m = -10 + x. Suppose -q + 44 = 2*b + m, 2*b + 68 = 3*q. Is q a multiple of 11?
False
Let i(q) = -1 - 6*q**2 + 3*q + 2 + 9*q**2 + 6*q**2. Is 21 a factor of i(3)?
False
Let o be 6/((-10)/(-4) + -1). Let h(s) = -s**3 + 5*s**2 + 4*s - 10. Let z be h(o). Suppose z*l - 17*l = 420. Does 19 divide l?
False
Let n = 1919 + -1354. Does 15 divide n?
False
Let b(j) be the second derivative of j**5/20 + 7*j**4/12 - j**3/3 - j**2/2 - 10*j. Is b(-4) a multiple of 22?
False
Suppose 96*l = 91*l + 2330. Is 17 a factor of l?
False
Is 29 a factor of (87/2)/((-26)/(-52))?
True
Let z be ((-2)/(-4))/((-30)/8 + 4). Suppose -j - d = -245, j + 247 = z*j + 2*d. Is 37 a factor of j?
False
Let f = 170 - 90. Suppose 2*q - 42 = f. Suppose -3*l + q = l + x, 4*x - 4 = 0. Does 15 divide l?
True
Let z(d) = -9*d - 13. Let o = 68 - 77. Is 17 a factor of z(o)?
True
Suppose -2 = p - 4. Suppose 3*i - 121 = -i - v, 63 = p*i + v. Does 28 divide i?
False
Suppose -6364 = -26*l - 11*l. Does 4 divide l?
True
Let p(i) = -i + 1. Let b be (-2)/3 + 12/18. Let g = -3 - b. Is 4 a factor of p(g)?
True
Suppose -20*j = -15035 - 6345. Is j a multiple of 19?
False
Suppose -5*r = 2*n - 51, -3*n + 5*n - 7 = -r. Let a = r + -7. Suppose -38 = -5*f + i + 42, a*f - 4*i - 48 = 0. Is 8 a factor of f?
False
Suppose 89*h = 96*h - 630. Does 4 divide h?
False
Let h = -39 + 40. Let z be (h + (-4)/3)*-12. Suppose -f - z*q + 93 = 0, -f + 3*q + 219 = f. Is f a multiple of 15?
True
Is 9 a factor of 2624/10 + (-228)/570?
False
Let b(y) be the first derivative of -37*y**4/4 - y**3/3 - y**2/2 - y + 5. Let w(l) = -l**2 - 4*l - 1. Let f be w(-4). Does 28 divide b(f)?
False
Suppose -2*x + 38 = 3*v, 4*x = v + v + 76. Let w be (4 - 3)/((-1)/x). Let l = 82 - w. Is l a multiple of 21?
False
Suppose 11 = 4*u - 13. Let d(o) = 3 - 9 + o - u*o. Does 18 divide d(-7)?
False
Let n = -81 + 188. Let o = n + -94. Does 5 divide o?
False
Let a = -30 - -35. Suppose z - a*u - 2 + 5 = 0, 0 = -z - 4*u - 12. Is 8 a factor of (-9 - z)*32/(-2)?
True
Let t = 6 + -1. Suppose -5*q + 250 = 5*l - 25, -4*l + 220 = -t*q. Is l a multiple of 10?
False
Let u(y) = -y**3 + 5*y**2 + 2. Let k be u(5). Suppose -2*f + 194 = 4*r - 412, 0 = -3*r + k*f + 465. Is r a multiple of 18?
False
Suppose 5*z = -176 - 354. Let g = -169 + 108. Let o = g - z. Is o a multiple of 6?
False
Suppose 5*m - 5*j = 400, m + j - 143 + 63 = 0. Is 16 a factor of m?
True
Let p(r) = r**3 - 4*r**2 + 2*r - 3. Let u be p(4). Suppose 5*s - u = -0. Does 12 divide 20 - (1 + -4)/s?
False
Let v(l) = l**3 - 6*l**2 - 10*l + 12. Let n be v(8). Let h = n - 4. Is 7 a factor of (h/3)/((-10)/(-15))?
True
Let u(h) = 18*h**2 + 3*h + 13. Let g be u(-5). Let m = g + -257. Is 33 a factor of m?
False
Let i(v) = 2*v**2 + 4*v + 3. Suppose 0*m + 3 = -m. Let b be i(m). Let n(j) = 2*j + 10. Does 11 divide n(b)?
False
Let b(r) = 10*r. Let h(d) = d + 9. Let n be h(-6). Let s = 1 + n. Does 20 divide b(s)?
True
Suppose -8*g + 21*g - 15561 = 0. Is 8 a factor of g?
False
Let b be (-92)/(-1) - (0 + -2). Let d be 22/(-4) + 4 + (-226)/(-4). Let p = b - d. Is p a multiple of 13?
True
Let t(i) = 73*i - 17. Does 43 divide t(2)?
True
Suppose 2*v + 11 + 1 = 0. Let g be 80/v - (-8)/24. Let i(u) = -4*u + 8. Does 20 divide i(g)?
True
Suppose 10*q = 11*q - t - 17, 7 = q - 3*t. Is q a multiple of 2?
True
Is 6 a factor of 292/14 - (-25)/175?
False
Let s(c) = 338*c + 280. Is 8 a factor of s(4)?
True
Suppose -3*a - 351 = -912. Is a a multiple of 8?
False
Suppose 3*j = -56 + 218. Let s = -29 + j. Is s a multiple of 6?
False
Let u be (20/(-15))/((-2)/15). Let h = u + 12. Does 22 divide h?
True
Let m = 3672 - 2142. Does 34 divide m?
True
Let q(s) = 11*s - 7. Let n(z) = 12*z - 8. Let f(h) = -6*n(h) + 5*q(h). Is f(-7) a multiple of 21?
False
Suppose 0 = 10*a - 4*a - 1398. Suppose -4*i + a + 9 = g, 5*g - 1160 = 5*i. Does 13 divide g?
True
Suppose r + i = 47, -3*r + 129 = -2*i - 12. Does 5 divide r?
False
Suppose -l = -g - 1533, 0 = -4*l - 0*l + g + 6141. Is 64 a factor of l?
True
Let d = 27 + -17. Let s(f) = -46 + 29 - d*f + f. Is s(-7) a multiple of 18?
False
Suppose -2*k = 6, -4*t - k + 4 = -1. Suppose t*l + 0*l = 5*d + 88, -2*l = d - 64. Is l a multiple of 6?
False
Suppose 2*l + 2*l = -3*x + 184, -74 = -2*l + 3*x. Does 17 divide l?
False
Let v = 1599 - 1466. Does 19 divide v?
True
Suppose 168 = -1012*k + 1016*k. D