*i, -r - 13 = 2*i. Is 15 a factor of p(r)?
True
Suppose 5*x - 335 - 85 = 0. Suppose -8*p + x = -2*p. Let c = p + -5. Is c a multiple of 3?
True
Let d = 3 + 1. Suppose 20*v = 15*v + 15. Suppose -v*y - 308 = -3*i - d*y, 4 = -y. Is i a multiple of 23?
False
Let h(r) = -r**3 + 6*r**2 - 8*r + 8. Suppose -j = -3*j + 14. Let b be h(j). Let a = -37 - b. Is a a multiple of 12?
True
Let a(g) = -g**3 - 14*g**2 + 14*g - 15. Let y be a(-15). Suppose y = z + 8 - 122. Is 19 a factor of z?
True
Let l(r) = -r + 14. Let z be l(-9). Suppose 107 = m + z. Is 21 a factor of m?
True
Let m be (-204)/(-60) + 3/5. Suppose 4 = m*c, -5*p - 15 = 2*c - 212. Does 9 divide p?
False
Let s = -67 - -52. Is (-3*25/s)/((-3)/(-135)) a multiple of 40?
False
Suppose -2*k + 5*o = -34, -5*k - o + 126 - 41 = 0. Does 7 divide k?
False
Let i(d) = -8*d + 356. Is 7 a factor of i(20)?
True
Suppose 4*j + 4*k - 1400 = 0, 4*j + 2*k - 1432 = 6*k. Let g = j - 224. Suppose -2*d + 62 = i, -d = 3*d - i - g. Does 10 divide d?
False
Suppose 3*m - 2*l + 108 = l, 4*m + 120 = -2*l. Let t(c) = 76*c - 12. Let x(z) = 7*z - 1. Let j(n) = m*x(n) + 3*t(n). Does 5 divide j(6)?
True
Let y = 2184 - 1880. Does 8 divide y?
True
Suppose 4*t - 2*t + 320 = 0. Does 9 divide 3/(-2)*t/12?
False
Let d be 0 + 4 + 4/2. Suppose -d*h + h + 28 = -2*w, 2*h = 4*w + 24. Suppose -u + 0 + h = 0. Is 2 a factor of u?
True
Suppose 0 = y - 36 - 12. Suppose r - 36 = y. Is r a multiple of 10?
False
Let m(k) = 95*k - 26. Is m(4) a multiple of 30?
False
Let n be (194 + 1)/(11/11). Let q = n + -138. Does 15 divide q?
False
Suppose 56 = -7*k + 3*k. Let v(x) = x**2 + 9*x - 22. Is 24 a factor of v(k)?
True
Let p = 121 + -38. Let w = -21 + p. Is 16 a factor of w?
False
Let k(p) = -p**3 - 3*p**2 - 2*p - 1. Let x be k(-3). Suppose -5*l + x = 2*d, 0*d + 5*l - 5 = d. Suppose d = v + 5, -v - v - 6 = m. Is 3 a factor of m?
False
Let k be 4/(-12)*3 + 34. Let f = k - 21. Does 4 divide f?
True
Let b(r) = 2*r**2 - 4. Let g be ((-4)/7)/(8/(-28)). Suppose g*x - 6 = -4*h, 0 = -x - 3*x + 3*h - 21. Does 5 divide b(x)?
False
Let x be (-7 - 195/(-10))/(2/204). Suppose x + 165 = 8*d. Is 30 a factor of d?
True
Let r be 13 + -2*(-5)/5. Suppose -43 = -4*y - r. Is 7 a factor of y?
True
Suppose 154 = -3*z - 164. Let y = z - -136. Is y a multiple of 30?
True
Suppose 0 = 3*f - 3*g - 483, 7*f - 3*g = 11*f - 651. Is f a multiple of 18?
True
Let x = -15 + 18. Suppose x*s - 44 = 67. Is 5 a factor of s?
False
Let y = 170 + 20. Is 31 a factor of y?
False
Let x = -463 + 650. Suppose 3*q - x - 254 = 0. Suppose q = 2*z + 5*z. Does 21 divide z?
True
Let u(a) be the first derivative of a**4/4 + a**3 + a**2 + 5*a - 11. Let v be u(4). Suppose -2*b = b + 2*l - 118, 0 = 3*b - 5*l - v. Is b a multiple of 8?
True
Let o be 4 - 4 - (-1 - -3). Let n(w) = 6*w + 24. Let g(l) = l + 5. Let p(f) = o*n(f) + 11*g(f). Is 12 a factor of p(-5)?
True
Suppose -2692 - 2184 = -3*t + 8*m, -m = 4*t - 6478. Does 44 divide t?
False
Let g(u) = -3*u**2 - 41*u + 31. Let o(k) = 5*k**2 + 61*k - 46. Let n(w) = 8*g(w) + 5*o(w). Is n(23) a multiple of 6?
True
Suppose -j = -0*j. Suppose j*o = -4*o + 5*a + 39, -3*a = o - 31. Is o a multiple of 4?
True
Let q be 7/(-21) - 16/(-3). Suppose -3*y - 4 = -q*y. Suppose 0 = y*k - 3*k + 10. Is 7 a factor of k?
False
Let p(f) = 56*f - 7. Let b(n) = 28*n - 4. Let v(c) = 5*b(c) - 3*p(c). Is v(-1) a multiple of 29?
True
Let j = -29 + 33. Does 16 divide (4/j)/(6/576)?
True
Suppose -4*h = 2*h - 20736. Let a = h + -5608. Does 12 divide (-4)/(-18) + a/(-36)?
True
Let b = -5 - -8. Let c be (b - -4)*3/7. Suppose c*k - 16 - 41 = 0. Is 19 a factor of k?
True
Let n(c) = 35 - 3*c**2 + 45 + 2*c + 4*c**2 - 2. Is n(0) a multiple of 13?
True
Let d = -258 - -442. Is d a multiple of 8?
True
Let g(x) = -x**3 - 4*x**2 + 7*x. Let v be g(-6). Let p = v - 53. Let n = p - -65. Is n a multiple of 14?
True
Let p(u) = u**2 + 6*u - 3. Suppose 3*k = 1 - 28. Is 3 a factor of p(k)?
True
Let f(c) = 3*c**2 - 4. Suppose 0 = -5*h, -5*k - h = -2*h - 30. Suppose k*x = 2*x - 12. Does 6 divide f(x)?
False
Suppose 5*h + 5 = 0, 5*j - h = 3*h + 16904. Does 18 divide j?
False
Let v be 2 + (-3 + 2 - -3). Suppose -2 = -2*r + 4*s, -8 = 3*r - v*r - 5*s. Suppose 2*q - 43 = -g, 0 = r*g + 5*q - 60 - 65. Is g a multiple of 35?
True
Let h = 99 - 89. Suppose h*a - 153 = 7. Does 16 divide a?
True
Let i be (4/12)/((-2)/(-30)). Suppose -i*r + 40 = -4*r. Suppose 4*t - 112 + r = 0. Does 18 divide t?
True
Let i(a) = -2*a + 38. Let q be i(18). Does 6 divide 0 + 2 - q*(-10 - -3)?
False
Let v(k) = -10*k + 34. Is v(-23) a multiple of 24?
True
Suppose 5*o - 2204 = -3*c, -5*o + 1 = -4*o. Is c a multiple of 60?
False
Let d(x) = -84*x + 450. Does 15 divide d(0)?
True
Let m(a) = -3*a**3 - 5*a**2 - 16*a - 49. Is m(-5) a multiple of 36?
False
Let u(m) = -m**2 + 11*m - 16. Let h be u(11). Let t = 50 + h. Is t a multiple of 33?
False
Is (-6)/42 - 377524/(-196) a multiple of 23?
False
Suppose 13*u = 10*u + 42. Suppose 2460 = u*h - 10*h. Does 5 divide h/55 + 4/(-22)?
False
Let o(y) = -y**2 + 21*y + 36. Suppose -t - 4*a + 34 = 0, -4*a + 13 + 87 = 4*t. Is 7 a factor of o(t)?
True
Let y(i) = -435*i - 184. Is 14 a factor of y(-2)?
True
Let i be (-90)/(-27)*48/(-10). Let l be 4/i - (-502)/(-8). Let t = -38 - l. Is t a multiple of 8?
False
Suppose 2614 = 36*c - 734. Does 3 divide c?
True
Let d(p) = -4*p + 18. Let q be d(4). Suppose -4*s = -4*m - 448, 3 = -2*m + 1. Suppose i - s = -q*i. Is i a multiple of 18?
False
Let f(r) = 2*r**2 + 6*r + 77. Is f(-24) a multiple of 10?
False
Let i(u) = 8*u**2 + 3*u - 8*u**2 - 3*u**2. Let f be i(-5). Is 20 a factor of (-24)/(-9)*f/(-4)?
True
Suppose 2*g + 5*w = 193, 4*g - w = w + 398. Is 2 a factor of g?
False
Let o be (-80)/14 - 6/21. Let f be o/(-1)*1387/38. Suppose -s + 0*l = -l - 43, 5*s = l + f. Is 11 a factor of s?
True
Let p = 18 + -15. Let b(q) = 7*q - 7. Is b(p) a multiple of 14?
True
Let k = 141 - -61. Does 32 divide k?
False
Suppose 0 = 3*i + 3*f + 3 - 15, -2*i - 3*f = -9. Suppose -4*a - 5*n = -3*a + 18, i*a = n + 10. Suppose -130 - 30 = -a*d. Does 15 divide d?
False
Is -202*2*(25/(-20) - -1) a multiple of 21?
False
Let n(y) = -5*y + 34. Let c(r) = -2*r + 11. Let j(i) = 7*c(i) - 2*n(i). Let p be j(-6). Let o = 17 + p. Is 14 a factor of o?
False
Let q be ((-7)/(-14))/((-3)/30). Let b be q - -2 - (1 + -6). Suppose 7*n - 180 = b*n. Does 10 divide n?
False
Is -6 - (-1 - 1) - -667 a multiple of 39?
True
Let l be 1/(-2) - 7/((-98)/2737). Suppose 5*r = -5*s + l, -170 = -4*s - 3*r + 6*r. Is 11 a factor of s?
False
Suppose 19 = s + 12. Suppose -s*k = -0*k. Suppose -2*i = -k*i + 4*r - 56, -22 = -i + 4*r. Does 13 divide i?
True
Is (-36)/(-14) + 340/(-595) - -1556 a multiple of 41?
True
Suppose -o = -6*o + 3000. Suppose 3*k - 105 + o = 0. Is 4/6*k/(-2) a multiple of 16?
False
Let f be 0 - (5 + (-8)/4). Let z be 4*(f + (-2)/(-4)). Is (-61)/(-2) - (-5)/z a multiple of 6?
True
Let t be 3 - (9/(-3) - -4). Suppose t*k = 6, 2*k = -c - 3*c - 354. Is c*(6/2 - 4) a multiple of 18?
True
Let x(a) = a**2 - 7*a + 5. Let z be x(9). Let s = -5 + 3. Is (1 + s - -2)*z a multiple of 14?
False
Suppose -4590 = 3*f - 13*f. Is f a multiple of 27?
True
Let p(z) = 9*z - 3. Let n = 17 - 15. Let y be 14/2 - n - 3. Is 15 a factor of p(y)?
True
Suppose 0 = -4*z + 1289 - 5741. Let k be z/(-14)*(-8)/(-6). Let s = k - 49. Does 19 divide s?
True
Does 51 divide (-3)/(6 + (-2652)/440)?
False
Let x be (-18)/(-21)*(-4)/(8/(-7)). Suppose 2*d = -2*g + 200, -6*d + g + 300 = -x*d. Is d a multiple of 25?
True
Let g(o) = 5*o**2 + 5*o + 2. Let m be g(4). Suppose m + 74 = 4*x. Is 44 a factor of x?
True
Suppose b = -2*z + 1 + 2, 3*z + 1 = 4*b. Suppose -4*q + 5*q - z = 0. Is (2/3)/(q/3) a multiple of 2?
True
Suppose -c + 11*v = 6*v - 994, 2*c - 5*v - 2013 = 0. Is 44 a factor of c?
False
Suppose -1270 + 8902 = 8*s. Is 8 a factor of s?
False
Let g(d) = -d**2 + 10*d - 18. Let u be g(6). Let n = u + 18. Is 13 a factor of n?
False
Suppose -6*l = -2*l - 12. Suppose -l*v = -v + 2*z - 36, 4*z + 82 = 3*v. Does 11 divide v?
True
Let j = -164 + 263. Is j a multiple of 25?
False
Let c = 30 - 18. Suppose 0 = -5*j - 4*p + 2 - c, -j + p = 2. Is (j/(-3))/((-2)/(-39)) a multiple of 4?
False
Let u(i) = 18*i - 50. Let k be u(3). Let w = 1 + 1. Suppose -k*m + d + 62 = 0, -3*m = w*m