 a factor of p?
True
Suppose 5*q - 25 = -3*s, q + 10 = -4*q + 4*s. Suppose -5*g + 444 - 79 = 3*x, q*x = -g + 80. Is 7 a factor of g?
True
Let w(o) = -29*o - 7. Let b be w(-7). Suppose -2*c + 9 = 1. Suppose -4*f - b = -c*h, 6*h = 2*h - 3*f + 168. Is h a multiple of 10?
False
Suppose 2*r + 4*i - 4 = -0*r, 5*i + 50 = 3*r. Let w(n) = -n**3 + 9*n**2 + 10*n + 6. Does 5 divide w(r)?
False
Let i = 787 + -625. Is 18 a factor of i?
True
Let k(w) = 606*w + 14. Does 75 divide k(1)?
False
Let r be (42/(-12) - -4)/((-2)/24). Is 5 a factor of (40/(-8))/(2*3/r)?
True
Suppose 0 = -3*x - 2*m + 536, 3*m + 709 = 4*x - 0*m. Is x a multiple of 9?
False
Suppose 0 = 70*i - 43*i - 15255. Is i a multiple of 15?
False
Let w(t) = -10*t + 5. Let b be w(-12). Suppose 4*p - 4*j - b - 51 = 0, 3*j = -2*p + 78. Is p a multiple of 8?
False
Let f = -1000 + 1497. Is 13 a factor of f?
False
Let l = -64 - -78. Does 14 divide l?
True
Let p = 1 - -3. Let n(i) = -38*i + 18. Let w be n(-2). Suppose w = z - 4*f, -5*z = p*f - 460 - 10. Is 26 a factor of z?
False
Suppose -1 = b - 0*b. Let x be (-30)/8*b*4. Let r = 5 + x. Is r a multiple of 20?
True
Suppose 0 = 5*k - 4*k. Suppose 3*f + 3*p + 6 = 0, 0 = -k*p - p - 2. Does 5 divide 2 - (-54)/3 - f?
True
Let q be (14/(-4))/(1/(-18)). Let j = 126 - q. Is j a multiple of 11?
False
Let i(s) = s**3 + 12*s**2 + 28*s - 10. Is i(-6) a multiple of 19?
True
Let x(r) be the third derivative of r**7/1008 - r**5/6 - 5*r**2. Let a(h) be the third derivative of x(h). Does 7 divide a(9)?
False
Let f(w) = 0 + 0 + 4*w - 8 + 0. Is 4 a factor of f(5)?
True
Suppose -10 = -3*c + c. Suppose 3*p + 37 = 4*q - 0*p, -5*p = -c. Suppose q*z - 7*z - 132 = 0. Is 22 a factor of z?
True
Suppose -18*b + 69 = -15*b. Let u(k) = 11*k + b*k + 7 - 27*k. Does 7 divide u(3)?
True
Let b = 7 + -2. Let s be (-1)/b + (-216)/20. Let o(h) = -3*h + 13. Does 19 divide o(s)?
False
Let a = 13 + -8. Suppose a*d = 3*j - 21, -5*d = -d + 12. Suppose 4*t - 424 = j*o - 0, 0 = t - 5*o - 97. Is t a multiple of 20?
False
Suppose 3*k - 1 = -2*d - 2, -5*d - 37 = -4*k. Suppose -v - 426 = 3*s + 151, -s + k*v - 189 = 0. Is 13 a factor of -13 + 9 + s/(-2)?
False
Let c(o) = -o - 14. Let w be c(-14). Let j = 0 - -4. Suppose w = 7*f - j*f - 54. Is 18 a factor of f?
True
Suppose 288 - 4848 = -3*k - 4*c, 4*k + 2*c = 6080. Does 19 divide k?
True
Let s(z) = -18*z + 182. Does 19 divide s(-11)?
True
Suppose 27*b + 49 = 28*b. Is b a multiple of 7?
True
Let u = -897 - -3405. Is 72 a factor of u?
False
Suppose 0*w + w = -3*i + 198, -5*w = 5*i - 330. Let u = 95 - i. Does 21 divide u?
False
Let m(l) be the third derivative of 0 - 2/3*l**3 - 1/20*l**6 + 1/24*l**4 + 1/30*l**5 + 5*l**2 + 0*l. Does 12 divide m(-2)?
False
Is 5 a factor of ((-3)/6)/(5/900*-2)?
True
Does 52 divide (8/20)/(-2) - (-287063)/115?
True
Let x be (16 - 16)/(1 + 1). Suppose x*p - 4 = -2*p. Let g = p + 49. Is 17 a factor of g?
True
Suppose -3*z = t + 19, -2*t = -5*t + 5*z + 13. Is 2/t*(-192 - 0) a multiple of 16?
True
Is 27 a factor of 3 + 373 - ((1 - 3) + 0)?
True
Suppose -26*n - 5102 = -16152. Is 5 a factor of n?
True
Let s = -85 - -189. Let m = s + -20. Is 21 a factor of m?
True
Let n(w) = -4*w**2 + 4*w + 2*w**3 + 1 - w**3 - 1. Let f be n(3). Suppose 138 = f*l - 0*l. Does 9 divide l?
False
Let o(c) = 6*c**2. Let r be o(1). Let z = r + -3. Suppose -92 = -3*l + 4*m, -3*l + 2*l - z*m = -22. Is 7 a factor of l?
True
Let r = -10 + 8. Let v be 19*(r + 3/3). Is -2 + 1 - (v - -6) a multiple of 12?
True
Suppose 47 = 6*j + 17. Suppose j*x + a - 199 = -a, -4*x + 155 = 3*a. Is x a multiple of 6?
False
Suppose j - 482 = l, -2*j + 4*l + 180 + 774 = 0. Does 4 divide j?
False
Let r be (0 + 3)*(-4)/(-3). Let q(v) be the third derivative of v**6/120 - v**5/30 + 2*v**3/3 - v**2 + 8. Is 18 a factor of q(r)?
True
Suppose -c - 2*z - z = -12, -3*z + 15 = 2*c. Suppose c*b + 3*m - 75 = 0, -75 = -2*b - b + 2*m. Is b a multiple of 4?
False
Let a = 455 - 215. Does 20 divide a?
True
Let o = -6 + -6. Is (15/o)/(7/(-980)) a multiple of 35?
True
Suppose h = 6*h + 20. Let c be (-34)/h + (-3)/6. Suppose -4*g = -16 - c. Is 6 a factor of g?
True
Suppose 5*y = 2*o - 4, y + 4*y = -5*o + 10. Is 5 a factor of (19 + -77)/(o*-1)?
False
Let g(j) = 251*j**3 + j**2 + 3*j - 3. Suppose 4*r + 3 - 7 = 0. Is 21 a factor of g(r)?
True
Suppose 0*b = -2*b + 2*s + 12, 0 = -4*s - 8. Suppose -2*q + 4*a - 68 = -7*q, 0 = q + 4*a - b. Is q a multiple of 3?
False
Suppose 0 = f + 90 - 136. Suppose r - 52 = -f. Is 4 a factor of r?
False
Let n(l) = 7*l**2 + 31*l + 174. Is 23 a factor of n(-12)?
False
Suppose -486 = -4*i - o + 237, 4*o + 930 = 5*i. Let z = 352 - i. Let u = z + -116. Is u a multiple of 21?
False
Let c(h) = h**3 - 8*h**2 + 16*h - 207. Does 13 divide c(9)?
False
Is 17634/21 + -3 - (-46)/161 a multiple of 58?
False
Suppose 2*g = -2 + 14. Suppose -g*k - 1908 = -18*k. Is 23 a factor of k?
False
Let n = 906 + -411. Suppose 5*c - 2*c = n. Let s = 237 - c. Is 24 a factor of s?
True
Let z = 26 - 24. Suppose z*j = 29 + 7. Does 6 divide j?
True
Suppose -3*b = -0*b - 555. Suppose -3*q - 10 = 4*c - 275, 3*c - b = -5*q. Does 14 divide c?
True
Suppose 4*h + 2*d = 84, 0 = -h + 5*h - d - 90. Suppose -8 = -s + h. Does 15 divide s?
True
Let g be 1/2 + 45/(-30). Let m(q) = -19*q**3 - 2*q**2 - q. Is 6 a factor of m(g)?
True
Suppose 5*o = 3*o + 248. Is 9 a factor of o?
False
Let k(f) = -f**3 + 20*f**2 + 9*f - 49. Is k(19) a multiple of 11?
False
Suppose 4*b + 4*d = 28, 3*b - 25 = -5*d + d. Let t = b + 2. Suppose -4*h + 5*c + 572 = 0, t*c + 136 = h + 2*c. Is 40 a factor of h?
False
Let i be (-2)/(-2)*(5 + -5). Suppose i*a + 4*a = 20. Let z(u) = -u**3 + 5*u**2 + 2*u - 7. Does 2 divide z(a)?
False
Let b(c) = -c**2 + 2*c + 3. Let p be b(4). Let w be 47/p + (-2)/(-5). Is (63/(-6))/(w/24) a multiple of 14?
True
Suppose -18*s + 3786 - 636 = 0. Does 52 divide s?
False
Suppose 4*v + 686 = 11*v. Does 7 divide v?
True
Let o(r) = -4*r**3 - 7*r**2 - 9*r + 1. Let a(t) = 5*t**3 + 8*t**2 + 10*t. Let w(g) = 3*a(g) + 4*o(g). Does 19 divide w(-5)?
False
Suppose 4*b + 4*p = 1292, 4*p + 1277 = 4*b + 3*p. Is 10 a factor of b?
True
Suppose 14 - 39 = 5*y, 4*o - 125 = -3*y. Let g = 25 + o. Is 26 a factor of g?
False
Let c(s) = -3*s**3 - 7*s**2 - 4*s + 1. Let h(i) = i**3 + 1. Let x(t) = c(t) + 4*h(t). Suppose -d = 2*o, 2*d = 3*d - 4*o - 24. Is 14 a factor of x(d)?
False
Let h(l) = -169*l + 662. Is 9 a factor of h(-7)?
True
Suppose 102 + 780 = 7*t. Suppose -230 + t = -4*c. Does 5 divide c?
False
Let r be (-3)/(-12) + 411/4. Let q = r - 160. Is 19 a factor of q/5*(-15)/3?
True
Let n(h) = 3*h**2 - 15*h + 20. Is 11 a factor of n(13)?
False
Does 14 divide 132/36*-3 + 1775?
True
Let c = 7 - 2. Suppose -a - 3*u - c = -2*a, -5*a - 5*u = 15. Is 13 a factor of 15/(51/42 + a)?
False
Let i = 57 - 57. Is (i - 4/12)*-66 a multiple of 11?
True
Let l(r) = -6*r**3 + 19*r**2 - 21*r - 5. Let h(s) = 5*s**3 - 18*s**2 + 19*s + 4. Let y(t) = -5*h(t) - 4*l(t). Is 37 a factor of y(6)?
True
Suppose v - 44*s + 47*s - 810 = 0, -4 = 4*s. Is v a multiple of 6?
False
Suppose -107*q + 798 = -88*q. Is q a multiple of 14?
True
Let v be (-1 + 1 + 4)/1. Suppose -16 = v*x, 4*u - u = 3*x + 27. Does 2 divide u?
False
Let h(a) = 8*a**3 + 13*a**2 - 14*a + 6. Is 14 a factor of h(4)?
False
Suppose -6*q + 2226 + 2724 = 0. Does 25 divide q?
True
Is 3 a factor of (-18267)/(-21) - (-53)/371?
True
Is 13 a factor of -1*22805/(-45) + 4/18?
True
Let k(b) = 52*b**2 - 7*b + 46. Does 4 divide k(3)?
False
Does 85 divide 3 + (755/1)/((-38)/(-114))?
False
Let i = 20 - 26. Suppose -70 = -2*k - 3*k. Is -3*3/i*k a multiple of 21?
True
Let z(v) = 2*v + 32. Does 3 divide z(-13)?
True
Suppose 3*r + 32 = -5*r. Let u = r + 169. Does 22 divide u?
False
Suppose 3*t = -0*d - 4*d - 57, -24 = t + 3*d. Suppose 4*q = -9*q - 39. Is (-135)/q*(-6)/t a multiple of 9?
True
Let z(o) = 56*o**3 - 3*o**2 - o + 1. Is 18 a factor of z(1)?
False
Let d(b) = 7*b**2 - 44*b + 20. Is 14 a factor of d(8)?
False
Let h = 1313 + -631. Does 11 divide h?
True
Let z(m) = -2*m - 1 + 2 - 8 - 6. Let a be z(-9). Suppose -2*b + 290 = a*j - 7*b, 4*j + 4*b - 224 = 0. Is 10 a factor of j?
False
Suppose -175 = -7*u + 308. Does 4 divide u?
False
Suppose i - 2*i + 4*v = 25, 0 = -5*i + 4*v - 77. Let l = -2 - i. Suppose r - l - 13 = 0. Does 8 di