of 13?
False
Let f = 775 + 149. Is f a multiple of 132?
True
Suppose 13*v - 146691 = -68*v. Is v a multiple of 68?
False
Let s = 3 - 0. Let g(h) = -s*h**2 + 5*h + 16 - 10 + 4*h**2. Is 4 a factor of g(-6)?
True
Let x(p) be the first derivative of -p**4/4 + 13*p**3/3 - 5*p**2 - 13*p - 7. Suppose 0 = r - 3*i + 3, 5*r = -i + 2 + 63. Is x(r) a multiple of 6?
False
Suppose -2*h + 13 = -2*f - 3*f, 2*f + 2 = 4*h. Is 52 a factor of (-56 + 4)/(h/2)?
True
Suppose 2*x + 8 = 4*i, 2*x + 3*i - 1 = 12. Suppose x*s + 4*b = 406, 334 + 73 = 2*s + 3*b. Does 43 divide s?
False
Let b = -1082 + 2216. Is b a multiple of 9?
True
Suppose 5*q + 2*d - 4 = 0, -2*d = 2*q - 0*q - 4. Suppose 5*k - 4*i - 60 = q, 4*k + 3*i = 39 + 9. Is k a multiple of 12?
True
Let q(m) = -m - 10. Let x be q(0). Does 5 divide 399/15 - 2 - 4/x?
True
Suppose 5*a - 110 = 20. Suppose -6 - a = -2*l. Does 5 divide l?
False
Let h(b) = -b**3 - 25*b**2 - 7*b - 34. Is h(-25) a multiple of 47?
True
Let h be (10/(-30))/((-3)/36). Suppose 449 = 5*a - 4*s, 0 = -h*a + 4*s - 8*s + 352. Does 7 divide a?
False
Suppose -19*a = -7*a - 288. Is 6 a factor of a?
True
Suppose -442 - 232 = -k. Let c = k - 275. Does 55 divide c?
False
Let t(l) = l + 1. Let o be t(2). Suppose z + 4*z + o*j = 185, -4*z + 4*j = -180. Let f = -26 + z. Does 13 divide f?
False
Let o = 1356 + -1074. Is o a multiple of 7?
False
Let j(o) = -4*o**3 + 3*o + 2 + 3*o**3 + 0*o**3 - 5*o**2. Let x be j(-6). Does 13 divide 53/4 - 5/x?
True
Let f(r) = r**2 - 7*r + 8. Let t be 6/(-8) - (-156)/16. Is 9 a factor of f(t)?
False
Let s = 5 + -4. Does 22 divide (s - 0)*(9 - -192)?
False
Suppose -21 = -5*m - h - 1, 5*m + 3*h = 10. Suppose 5*w - 81 = -4*s, 0 = 2*s + s - m*w - 17. Suppose -5*c = 5*x - 60, -c + s = -0*c + 3*x. Does 3 divide c?
False
Suppose 5*t = 2*t + 18. Suppose 4*b - 576 = -5*i - 0*b, 2*b = 4*i - 440. Suppose 3*v + 0 = t, 5*s - i = -v. Is 16 a factor of s?
False
Suppose 5*f - 2710 = -28*r + 32*r, 3*r = -2*f + 1084. Is 5 a factor of f?
False
Suppose 160 = -4*i - i. Let t = -34 - i. Is 38 a factor of (808/8)/(3 + t)?
False
Suppose 5 + 7 = -3*o. Is -2 + 4 + o + 50 a multiple of 6?
True
Suppose 4*z = 3*z. Suppose 6*u - u - 120 = z. Does 24 divide u?
True
Let o(x) = 7*x + 5. Let h be o(0). Suppose -4*y + 219 = -0*y - m, -3*y = -h*m - 177. Does 6 divide y?
True
Let o(c) = -2*c**2 + 1. Let s be o(-1). Let l = s - -44. Does 7 divide l?
False
Let l = 179 - -1064. Is l a multiple of 40?
False
Is 9 a factor of (-2454)/((-4)/(-5)*(-105)/42)?
False
Let f = 74 + -77. Is f/(-5) + 2940/100 a multiple of 8?
False
Let y = -394 + 834. Suppose y = 82*l - 77*l. Does 22 divide l?
True
Let v(l) = l**2 - 6*l + 7. Let y be v(1). Suppose h + 297 = 5*a, 72 = y*a - 3*h - 39. Does 42 divide a?
False
Suppose 5*z = -2*c + c + 360, 5*c + 360 = 5*z. Let l = z - 40. Is 16 a factor of l?
True
Suppose -2*j + 4*u + 136 = 2*j, 5*u - 5 = 0. Suppose -4*o + 36 = -4*f + 12, -4*o = -f - 6. Is 0 + j + f/3 a multiple of 17?
False
Let p = 92 - 202. Let t = p - -159. Is 15 a factor of t?
False
Suppose -5*u + 0*u = 2*u. Suppose 0*n - 3*m + 118 = 2*n, n - 2*m - 52 = u. Is 8 a factor of n?
True
Suppose -4*y = 12 - 72. Let u = -11 + y. Is 1 - -3*(u - 3) a multiple of 4?
True
Suppose -56 = -0*v - 4*v. Let o(k) = k**3 - 5*k**2 - 5*k - 4. Let t be o(6). Does 15 divide t*v + 2 + 0?
True
Let j be (-2)/(-3)*774/12. Let w = -23 + j. Let s = w - 12. Is s a multiple of 8?
True
Suppose -2*x + 60 = -0. Suppose -6*n + 114 = x. Let b = 20 - n. Is 3 a factor of b?
True
Let d = 90 - -930. Is 3 a factor of d?
True
Suppose 12*g - 12190 = 950. Is 44 a factor of g?
False
Suppose 0 = 2*k + 5*n - 69, 220 = 2*k + 3*k + 3*n. Suppose -6*f = -677 + k. Does 21 divide f?
True
Let r = 17 - -21. Is 21 a factor of r?
False
Suppose 68*c = 82*c - 21840. Is 52 a factor of c?
True
Suppose 0 = -c + 5, 0 = 4*p + c - 4*c + 15. Let q(t) = -t**2 + 17*t - 30. Let x be q(10). Suppose p = 3*k + k - x. Does 9 divide k?
False
Suppose 5*w = 5*j - 1060, 2*j - 312 = 3*w + 114. Does 11 divide j?
False
Let q(j) be the first derivative of -j**4/4 + 13*j**3/3 - 4*j**2 + 6*j + 3. Let x be q(6). Suppose x = s + 4*s. Does 14 divide s?
True
Is 346/6 + (-52)/78 a multiple of 3?
True
Suppose s - 56 = -68. Is 24 a factor of (4 - 404/s)*3?
False
Let b(v) = -v**2 + 5*v - 2. Let g be b(5). Does 6 divide (924/110)/(g/(-10))?
True
Suppose 29 + 115 = j. Is 16 a factor of j?
True
Suppose 19*b + 860 = 2*v + 17*b, 3*b = v - 438. Is 23 a factor of v?
False
Suppose 3901 = 3*f - 2*d - 3*d, 5*f = 5*d + 6485. Is f a multiple of 76?
True
Suppose 0*o - 56056 = -26*o. Is 36 a factor of o?
False
Let c(k) = 14*k**2 - 11*k + 5. Let n be c(6). Let j = n + -232. Suppose -5 - j = -3*i. Is 9 a factor of i?
True
Let z(g) = g + 10. Let a(f) = 4*f - 3. Let d be a(2). Let t be z(d). Let l = t + -11. Is l a multiple of 3?
False
Let n(w) = -54*w - 4. Let g be n(-19). Is 26 a factor of g/18 + 4/(-36)*-2?
False
Suppose -393 = -2*a + 775. Suppose 5*y - 3*r - 982 = r, 5*r = 3*y - a. Is 27 a factor of y?
False
Let u(k) = k**3 + 19*k**2 + 14*k + 4. Is u(-7) a multiple of 12?
False
Let r(j) = -60*j + 323. Does 31 divide r(-53)?
True
Let s be (243/3 - 4) + -1. Suppose -20 = -i - n, -8 = 3*n - n. Suppose b + 2*p - i = 0, 4*b = -3*p - p + s. Is b a multiple of 14?
True
Suppose 0 = -3*d + 1829 - 626. Let j = 285 - d. Does 11 divide (1 + j)*(-3)/5?
False
Let l(p) = -2*p**3 + 28*p**2 + 5*p + 87. Let r(f) = f**3 - 14*f**2 - 3*f - 44. Let k(x) = 4*l(x) + 7*r(x). Is k(14) a multiple of 6?
False
Let p(y) = -y**3 - 6*y**2 + y + 2. Suppose 3*v - 2*v + 135 = 4*j, 4*j + 2*v - 150 = 0. Suppose -4*t + 2*t = 0, -5*k - t - j = 0. Is 8 a factor of p(k)?
False
Let w(p) = p**3 + 10*p**2 + 7*p + 7. Let v be ((-36)/10)/((-6)/(-15)). Is w(v) a multiple of 6?
False
Let c(a) = -a**2 + a. Let n(v) = 18*v**2 - 2*v + 1. Let o(d) = 3*c(d) + n(d). Is 14 a factor of o(-2)?
False
Let r = 57 + 190. Suppose 4*z + 808 = 5*p, -z - r = -5*p + 555. Is p a multiple of 45?
False
Is (-30)/(-1 + 410/420) a multiple of 28?
True
Suppose 779 = 5*o - 3*w - 8980, 9 = -3*w. Is o a multiple of 75?
True
Suppose p + c - 23 = 0, -p + 5*c + 45 = 2*p. Suppose 4 + p = s. Is 6 a factor of s?
True
Let t(c) = 508*c**2 + 5*c + 2. Does 2 divide t(1)?
False
Let u(f) be the first derivative of -f**4/4 - 2*f**3 + 3*f**2 - 8*f + 8. Let w be u(-7). Is (w/(-3))/(14/1302) a multiple of 7?
False
Let w be 317 + 1 + (4 - 4). Let s = 473 - w. Does 31 divide s?
True
Let r = 86 + -90. Is 38 a factor of ((-4)/r)/(2/76)?
True
Let s = 3 + 2. Suppose 2*d + s*d = 441. Is 9 a factor of d?
True
Let j = 1701 - 1378. Is 5 a factor of j?
False
Let r(a) = -6*a - 15. Let d be r(-12). Suppose -3*o + 63 = -d. Does 13 divide (-3)/1 + (o - -13)?
False
Let y be (-1 + 0)*1 + 2. Let f be (-10)/y - 12/12. Let q = 0 - f. Is q a multiple of 8?
False
Let n(h) = -3*h**3 + 54*h**2 - 9*h - 94. Does 62 divide n(17)?
True
Let z = 80 - 71. Let s(d) = d**3 - 9*d**2 + 7*d + 7. Is s(z) a multiple of 7?
True
Let a be (8/14)/((-4)/(-28)). Suppose a*p + 5 = 1. Is 31 a factor of p*(-126 - -3)*1?
False
Let o = -1 - -6. Let g = -1 + 1. Suppose 0 = -3*c - 2*d + 131, -o*c + 2*d = -g*d - 229. Is 12 a factor of c?
False
Suppose 0 = 3*q + 2*t - 66, -2*q + 3*t + 44 = 4*t. Let p = 89 - q. Is 15 a factor of p?
False
Let d(g) = 2*g**2 + 7*g + 3. Let h be d(-6). Suppose 0 = 237*i - 233*i - 4. Is 1 + -3 + i + h a multiple of 13?
False
Let q(f) = -5*f + 1. Let v be (3/(-9))/(2/(-18)). Let d(l) = l. Let i(y) = v*d(y) + q(y). Does 2 divide i(-2)?
False
Let w = 105 - -47. Is 4 a factor of w?
True
Suppose -9 - 15 = -4*l. Suppose 6*h - 5*h = l. Suppose -b = -h - 5. Is b a multiple of 2?
False
Suppose -2*h + 3*h + 69 = 5*l, 0 = -2*l + 3*h + 38. Suppose -l = -5*k + 2. Suppose -65 = -k*q - 2*q. Does 13 divide q?
True
Suppose 0 = -3*h + 5*h. Let y = h - -5. Is y a multiple of 5?
True
Let w = -54 + 92. Let r(k) = -k**2 + 3*k + 17. Let d be r(-5). Let m = w + d. Is 5 a factor of m?
True
Suppose 308 = 4*f - 5*i, -332 = -4*f + 31*i - 32*i. Is 25 a factor of f?
False
Let w(s) = -2*s + 20. Let o be w(5). Suppose 12*u - 110 = o*u. Does 9 divide u?
False
Let l be 1 + (-24)/(-4)*57. Suppose y + 158 = 2*o, 4*o = y - 31 + l. Is o a multiple of 6?
False
Let i(r) = 29*r - 182. Is i(28) a multiple of 21?
True
Suppose 22 - 10 = 