5. Is p a multiple of 5?
True
Let j = -348 + 620. Is j a multiple of 17?
True
Suppose 6*t = 118 + 362. Is 10 a factor of t?
True
Let q(t) = t**2 + 2*t + 3. Let b be q(-3). Is 17 a factor of (-34)/b*(-1 + -2)?
True
Is 61 + 2 + 4*3/6 a multiple of 20?
False
Let h(i) = 2*i. Let y be h(2). Suppose -r = 5 - y. Is 10 a factor of 1*12 + -1 + r?
True
Let m(i) = -i**2 - 7*i - 5. Let p be m(-5). Suppose 2*r = 4*z - 0*r - 66, 0 = p*r - 15. Does 18 divide z?
True
Is 8 a factor of (-16)/(-3)*(-12)/(-4)?
True
Let f be (-9 + 6)/((-6)/4). Suppose f*a = 11 + 7. Is 9 a factor of a?
True
Suppose -3*y + 687 = l, 457 = 2*y + 2*l - l. Does 36 divide y?
False
Is 32 a factor of (-1 + (-4)/(-6))*-399?
False
Suppose -4*z + 462 = -z + 4*g, 0 = 4*g - 12. Is z a multiple of 10?
True
Suppose -2*z + 24 = 2*z. Let o be (z/5)/((-2)/20). Does 15 divide (45/o)/(2/(-8))?
True
Let x be 2 - ((-2)/(-1))/1. Suppose w + x = 6. Does 6 divide w?
True
Suppose 141 = w + 2*t - 4*t, -3*w + 429 = -3*t. Suppose -4*b = b - w. Is 16 a factor of b?
False
Let q = 168 - 51. Is q a multiple of 42?
False
Let o = 9 - 15. Let i(q) = -q**2 - 8*q + 7. Let h be i(-9). Does 5 divide 45/1*h/o?
True
Suppose 4*j = 3*y - 7*y - 228, -203 = 4*y - j. Let p = 125 + y. Suppose 4*c - p = 3*d, -d = -c + d + 12. Is 9 a factor of c?
False
Let a(u) = u**3 + 8*u**2 - 8. Let i be a(-8). Let m = -5 - i. Suppose -3*f - f + 142 = m*r, -5*r = 3*f - 244. Does 17 divide r?
False
Let n(m) be the first derivative of 13*m**2/2 - 4*m - 7. Does 12 divide n(3)?
False
Let q = 2 + 22. Does 8 divide q?
True
Let d(u) = u + 6. Let v be d(-6). Let o be (v - -2)*(-2 + 43). Suppose -3*y + 5*g = -o, 0 = 4*y + 3*g - 6*g - 102. Does 11 divide y?
False
Suppose 5*d = -5*c + 40, 2*c - 5*d - 23 - 7 = 0. Suppose 3*p + 8 = 4*i, -5*i + 5 = -c*p + 5*p. Suppose 5*a - 37 = -p*f, 28 = 4*f + a - 5*a. Does 3 divide f?
False
Let q = 30 + 60. Is 30 a factor of q?
True
Let i = 10 - -5. Is -5*(-3)/(i/26) a multiple of 13?
True
Suppose 43 = 2*p - 45. Is 22 a factor of p?
True
Suppose -126 = 5*h - 41. Let g = h + 31. Does 6 divide g?
False
Let p be ((-6)/4)/(6/8). Is 23 a factor of -7*(-3 + 6/p)?
False
Let c(y) = 8*y + 5 - 2*y + 3*y**2 + y. Does 25 divide c(-4)?
True
Suppose -12*a - 774 = -15*a. Is a a multiple of 44?
False
Let v be 8*8 + -4 + 0. Let q = 110 - v. Is 17 a factor of q?
False
Suppose -2*w - s = 2*w + 49, -14 = -w + 5*s. Let a = w - -8. Let z = 11 + a. Does 8 divide z?
True
Suppose -2*a - 2*u + 17 + 13 = 0, -4*u - 93 = -5*a. Is 17 a factor of a?
True
Let c(w) = -w - 7. Let m be c(-9). Suppose -m*r + 207 = 5*u + r, 130 = 3*u - 4*r. Is u a multiple of 13?
False
Let l(n) = 21*n + 6. Is l(3) a multiple of 16?
False
Let c(g) = -8*g - 6. Let h be c(-6). Let l = 10 + h. Is l a multiple of 18?
False
Suppose 216 = -25*f + 28*f. Does 8 divide f?
True
Suppose 7*p = 8*p - 52. Is p a multiple of 12?
False
Let w(d) = -d**3 + d**2 + d. Let q be w(1). Suppose 1 = l + a, 3*a = -3*l - l + 6. Suppose -y + q = -l. Is y a multiple of 2?
True
Let h = 50 - -29. Is 10 a factor of h?
False
Suppose 2*o - 60 = -2*o. Is o a multiple of 7?
False
Let h be 0 - -3 - (7 + -3). Let y(l) = 29*l**2 + l. Does 14 divide y(h)?
True
Let r = 15 - -49. Does 24 divide r?
False
Let v be ((-5)/(-2))/((-2)/8). Let c be (-2)/(((-16)/v)/4). Let n = c + 10. Is n even?
False
Suppose 3*r - 5*r = -2*u + 98, -5*u + 3*r = -243. Does 8 divide u?
True
Suppose -2*o + 21 = 3*i, 4*o - i = -6 + 13. Suppose 0 = o*k - 2*r - 36 + 1, 0 = -5*r + 25. Does 10 divide k?
False
Let k(n) = 2*n**2 - 5*n + 2. Let r be k(-4). Suppose h = 4*u + r, 2*h - 2*u - 68 = -4*u. Does 13 divide h?
False
Let j = -120 + 225. Is j a multiple of 15?
True
Suppose 0 = 11*f - 863 - 490. Is f a multiple of 10?
False
Let y be ((-24)/(-15))/((-2)/(-5)). Suppose y*b = 4*z - 56, -2*b = 5*z + 10 - 87. Is z a multiple of 8?
False
Suppose 0 = 3*f, -6*f + f + 224 = 2*s. Does 7 divide s?
True
Suppose 2*k + 4*a - 100 = 0, -4*k + 21 = -2*a - 169. Is 28 a factor of k?
False
Let w = -75 + 117. Is 6 a factor of w?
True
Let j be (-6 + -1)*12/(-21). Suppose j*z = 2*z + 54. Does 10 divide z?
False
Suppose -5*t + 18 = 3*r, r + 12 = 5*t - 2*r. Suppose 0 = t*j - 2*j. Suppose -d + 4 + 16 = j. Does 10 divide d?
True
Suppose s = -2*s - 75. Is (-10)/s - (-173)/5 a multiple of 35?
True
Suppose -4*i = -5*x - 105, -i - 2*i + 4*x + 80 = 0. Is 5 a factor of i?
True
Let c be (2/6)/((-2)/(-30)). Suppose 0*o = c*o - 65. Is 4 a factor of o?
False
Let o be (-15)/2*2/(-3). Suppose -5*l + 0 = -o. Is (-16)/3*(l + -4) a multiple of 16?
True
Let y(n) = n - 3. Let d = 23 - 13. Is y(d) a multiple of 3?
False
Let c = -6 + 11. Suppose -4*a - 2*y + 178 - 26 = 0, 0 = 3*a - c*y - 88. Suppose -m = m - a. Does 9 divide m?
True
Suppose -3*w - 3*r = -w - 363, 0 = w + r - 184. Is w a multiple of 27?
True
Let m = 16 - -30. Does 14 divide m?
False
Let i(h) = -73*h**3 - 3*h**2 - 3*h - 1. Is 13 a factor of i(-1)?
False
Let u = -10 - -16. Suppose 5 - u = i. Is 3 a factor of (i - -3)*(-44)/(-8)?
False
Let b(z) = 92*z - 3. Let j be b(2). Suppose 5*s - 9 - 242 = -2*v, 4*s - 5*v = j. Is 20 a factor of s?
False
Let h = -8 - -13. Suppose 7*g + h = 2*g, -4*l = 3*g - 17. Suppose -2*q = -l*f + 126, -8*q - 68 = -3*f - 3*q. Is 13 a factor of f?
True
Suppose 0 = -3*y - y. Suppose -4*f + y*f = -16. Suppose -f*m = -60 - 60. Is m a multiple of 15?
True
Does 13 divide (-980)/(-36) - (-2)/(-9)?
False
Let l(i) = i**2 + 5. Let k be l(0). Suppose -k*u + 6 = -2*u. Suppose -2*j - u = 4*f + f, 0 = -j - 3*f - 3. Does 3 divide j?
True
Let g = 83 + -64. Is g a multiple of 14?
False
Let t = 10 + -8. Suppose -80 = t*q - 6*q + 4*g, -2*g - 61 = -3*q. Is q a multiple of 20?
False
Suppose 2*t - 3 - 121 = 0. Suppose -2*d + 44 = -4*z, 0 = 5*d - 3*z + 5*z - t. Is 4 a factor of d?
False
Let n be (-4)/(-10) - (-18)/30. Let j(r) = 12*r. Does 12 divide j(n)?
True
Let i(j) = j**2 - 8*j. Does 8 divide i(12)?
True
Suppose -5*h + 16 = 4*b, 2 = h - b - 3. Suppose -c = 5*o - 5 + 2, 3*c - 9 = 5*o. Suppose o = -0*z - h*z + 28. Does 7 divide z?
True
Let m = 172 + -74. Is m a multiple of 49?
True
Let w(t) = 77*t - 1. Let l be w(-1). Let z = 26 - 157. Let i = l - z. Does 19 divide i?
False
Let l be (2 + 0)/(1/(-6)). Let d = 5 - l. Is 17 a factor of d?
True
Let a(k) = -1 + 4*k**2 + k - 4*k**2 + 6*k + 2*k**2. Is 8 a factor of a(-5)?
False
Let p be (-4)/18 + (-208)/36. Let b(n) = -2*n + 5. Does 8 divide b(p)?
False
Suppose -7*p + 752 = 122. Is 15 a factor of p?
True
Let l(o) = 4*o - 2*o - o**2 + 0*o**2 - 3*o**3 - o + 1. Suppose -3*t - 4*s + 2 = 0, 5*t = 5*s - 3*s - 14. Does 15 divide l(t)?
False
Let q(y) = -2*y**2 - 4*y**2 - 1 - y**3 - 2*y + 5. Let z be q(-7). Suppose -4*i - i - z = -4*b, 5*b = -2*i + 125. Is 11 a factor of b?
False
Let p = 17 + 0. Suppose 31 = 5*s - 3*u, 5*s + 6*u - p = 2*u. Let z(d) = -d**3 + 5*d**2 + 3*d + 2. Is z(s) a multiple of 13?
False
Let s(g) = 34 + g - 34. Is s(7) a multiple of 4?
False
Let n(i) = -i**2 + 19*i + 12. Is n(19) a multiple of 9?
False
Let k be (2*4)/(3 + -2). Let u = k - -16. Suppose r - 64 = -4*h + u, 5*h + 4*r = 99. Is h a multiple of 10?
False
Let h(y) = y**3 - 15*y**2 - 6*y - 35. Is 9 a factor of h(16)?
False
Suppose 4 = h, 0 = 5*i + 3*h - 4*h + 64. Is 1/(23/i + 2) a multiple of 6?
True
Let z(r) = r**2 + 5*r - 18. Is 13 a factor of z(4)?
False
Let q be (3 - 3) + -2 + 4. Suppose -q*j = -j - 6. Let m(v) = 2*v + 6. Does 5 divide m(j)?
False
Suppose 0 = -5*k - 5*x + 1620, -2*k - 2*k + x = -1291. Is k a multiple of 16?
False
Let j(y) = y**3 - 6*y**2 - 4*y + 5. Let u be j(7). Suppose -2*m - 6 = -5*m. Suppose -4*o = -m*o - u. Is o a multiple of 5?
False
Suppose -17 = j - 75. Is j a multiple of 13?
False
Let p be (7/(14/20))/2. Suppose 2*f - 3*h = 1 - p, 0 = f - 4*h + 12. Is f a multiple of 2?
True
Let z be 6/4 + (-102)/(-4). Suppose 3*b - 5*l = 2*b + z, -2*b + 54 = -5*l. Is 9 a factor of b?
True
Suppose 5*m + 52 = 9*m. Is 4 a factor of m?
False
Let y(w) = 95*w**3 + 1. Suppose 5*j + 3*h - 11 = 9, 16 = -4*j + 4*h. Let r be y(j). Is 9 a factor of ((-10)/(-15))/(2/r)?
False
Let l = 14 + 5. Does 19 divide l?
True
Let a be (2/(-6))/((-2)/12). Let b(u) = 7*u - 3. Does 8 divide b(a)?
False
Let x(k) = -3*k + 4. Let n be x(-6). Suppose -3*r + 5*r = n. Let g = 23 - r. Is 4 a factor of g?
True
Suppose 5*n - 2*n = 9.