 p a multiple of 19?
True
Let u be ((-144)/15)/(8/(-40)). Does 13 divide 16/u - 232/(-6)?
True
Let b(t) = 18*t**2 + 36*t - 214. Is 10 a factor of b(7)?
True
Let l(i) = 2*i - 6. Let c be l(7). Suppose c = z + 3. Suppose -z*q = 10, 0 = -0*o + o - q - 50. Does 16 divide o?
True
Does 4 divide 12/3 - (-2 - 250)?
True
Let s = 90 - 10. Suppose 0 = u + u - s. Is u a multiple of 10?
True
Let b(u) = -2*u - 111. Let x be b(0). Let z = 168 + x. Is 30 a factor of z?
False
Is 15 a factor of (-826)/(-22) - (-348)/(-638)?
False
Let b(h) = -16*h**3 + 7*h**2 + h + 11. Let q(f) = -24*f**3 + 11*f**2 + f + 17. Let z(p) = 8*b(p) - 5*q(p). Does 9 divide z(-1)?
True
Let o(s) = -s**3 + 2*s**2 + 13*s + 3. Let i be o(-3). Suppose 792 = i*r - 288. Is 12 a factor of r?
True
Suppose -2*r = -0*r - 86. Let d = 91 - r. Is 8 a factor of d?
True
Suppose 0 = j - 695 - 0. Is 2 a factor of j?
False
Is (-3 - 3) + (-2 - 104)/(-2) a multiple of 23?
False
Let k(t) be the first derivative of t**3/3 + 25*t + 47. Let o = -1 - -1. Does 25 divide k(o)?
True
Suppose 3*y = -4*z - 12, -3*y - 1 = z + 11. Suppose -2*o + 4*o - 6 = z. Suppose -v = j - o*j + 72, 0 = j - 5*v - 36. Is 12 a factor of j?
True
Let l(m) = -7*m + 30. Let c be l(11). Let t = 75 + c. Does 5 divide t?
False
Suppose 9066 + 6628 = 59*n. Is 5 a factor of n?
False
Suppose -8 = -3*q - 2. Suppose 3*o - n - 49 - 50 = 0, -o - q*n = -40. Is o a multiple of 13?
False
Suppose 5*g - g - 3280 = 0. Does 42 divide g?
False
Let m be (130/(-8))/(51/(-48) - -1). Is 10 a factor of m/(-14)*(-105)/15?
True
Suppose -2*n + 2*v = 16, -3*n - 1 = -n + v. Let p(k) = k**2 + 2*k - 3. Let w be p(n). Suppose r + 3*u - 45 = 0, 0 = 4*r - w*r + 4*u - 156. Is 8 a factor of r?
False
Let n(s) = 13 + 22 - 4*s**2 + 3*s**2 - s. Is n(0) a multiple of 34?
False
Let y(f) = 152*f**2 + 10. Is y(-3) a multiple of 12?
False
Suppose -2*x + 6*x - 1604 = -2*k, -2*k + 1589 = x. Let m = -562 + k. Is m a multiple of 23?
True
Let k(b) = 3*b - 34. Let l be k(-8). Let c = 128 - l. Is 31 a factor of c?
True
Suppose 4*w = 5*g + 37, 74 = w + 4*w + 3*g. Suppose -5*c = -12 - w. Is 3 a factor of c?
False
Suppose 6*x - 244 = 62. Suppose t - 323 = x. Does 34 divide t?
True
Let c(f) be the third derivative of f**5/60 - f**4/4 - 2*f**3/3 - 9*f**2. Does 30 divide c(-5)?
False
Let i(a) = -a**3 - 19*a**2 + 21*a + 14. Let h(d) = 5*d**3 + 96*d**2 - 105*d - 71. Let y(k) = -2*h(k) - 11*i(k). Does 21 divide y(-18)?
True
Let k be (-25016)/(-200) - 6/75. Suppose -2*y = -16 + 4. Suppose y*d - d + f - 110 = 0, -4*f + k = 5*d. Is d a multiple of 9?
False
Suppose -l + 85 + 101 = 0. Suppose 4*a - a = l. Is 15 a factor of a?
False
Let v(i) = 11*i**2 + 4*i + 33. Is 17 a factor of v(-7)?
True
Let n(f) = f**3 - 3*f**2 + 2*f + 1. Let m be n(3). Is 3 - (0 - (m - 4)) a multiple of 2?
True
Let h be (-14)/(-1) + (-5 - 0). Suppose -h*w = -5*w - 240. Is 6 a factor of w?
True
Let r(m) = -10 + 15*m - 16*m + 0 - 4. Let h be r(-17). Suppose 3*t + 5*d = 143, -71 = -h*t - 2*d + 87. Is 11 a factor of t?
False
Suppose 3*o + c - 62 = 0, 6*o - 20 = 5*o - c. Is o a multiple of 21?
True
Let s be (((-3)/4)/((-6)/16))/1. Suppose q - s*o - o = 53, -319 = -5*q - 3*o. Is q a multiple of 39?
False
Does 63 divide -26 + 30 - 1*-248?
True
Suppose -3*d + 89 = 4*r + r, 2*r + 5*d = 47. Suppose 3*b + r - 100 = 0. Does 8 divide b?
False
Let x(v) = v**2 - 12*v - 12. Suppose -20 = -2*b - 0*b. Let h be x(b). Let o = 92 + h. Is 15 a factor of o?
True
Let v(b) = 3*b**2 - 5*b - 10. Let t(g) = 1. Let o(y) = 6*t(y) + v(y). Is o(-4) a multiple of 16?
True
Let m(o) be the first derivative of -o**2/2 - 11*o - 4. Let a be m(-11). Is 2 - (2 - a - 78) a multiple of 24?
False
Let t be 1/4 - (-281)/(-4). Is 18 a factor of t*(3 - (-7)/(-2))?
False
Let m(z) = z**2 + 2*z - 3. Let n be m(2). Suppose 0 = -5*f - 0*d - d + 415, -2*d = -n*f + 430. Suppose 3*q = -q + f. Is 7 a factor of q?
True
Suppose 3*h = 4*h - 20. Let l = h + -18. Suppose 3*g + l*i - 71 = -2*i, 46 = 2*g + 3*i. Is 29 a factor of g?
True
Let g = 430 - 123. Let w = 460 - g. Is 17 a factor of w?
True
Let p = -259 + 501. Is 14 a factor of p?
False
Is (773 - -42)*(2*-1 - -3) a multiple of 75?
False
Is 140 - -1*(3 - 3) even?
True
Let o(i) = 5*i + 71. Let z be o(-15). Suppose 0 = -5*g + 39 + 6. Let k = z + g. Is 3 a factor of k?
False
Is 40 a factor of 10056/36 + (4/(-12) - -1)?
True
Let b be 124/(-16) - (-1)/(-4). Let d(x) = -17*x - 12. Let q(o) = 6*o + 4. Let h(y) = b*q(y) - 3*d(y). Does 7 divide h(4)?
False
Let j(n) = 10*n + 5. Let k be j(16). Suppose -3*z = 57 - k. Does 3 divide z?
True
Let c(a) = 15*a**2 + 51. Does 14 divide c(6)?
False
Let r = -335 + 719. Let y = r + -264. Is y a multiple of 10?
True
Let g = 95 + -100. Let v(i) = -3*i**3 - 5*i**2 + 5*i + 9. Does 26 divide v(g)?
True
Let k(p) = 4*p**2 + 11*p - 44. Is 8 a factor of k(-12)?
True
Suppose 0 = -y + u + 2, 0*u - 4*u = 5*y - 55. Is y a multiple of 2?
False
Let y = 2716 - 1418. Is 59 a factor of y?
True
Let u be 1 - 0 - (-59 + -3). Let q(c) = -c**2 - 4*c + 2. Let t be q(-4). Suppose i - u = -3*j, -t*j + 2*i + 36 = 2. Is 10 a factor of j?
True
Suppose 30*t - 385 = 19*t. Suppose -t*i + 34*i = -178. Is 36 a factor of i?
False
Is 8 a factor of 54/21 + -3 - (-14201)/77?
True
Let g(p) = 3012*p - 3. Let t be g(-2). Is 24/(-108) - (t/27 + -2) a multiple of 45?
True
Let f(v) = 98*v**3 + v**2 + 2*v - 7. Is f(2) a multiple of 20?
False
Suppose 0 = -v + 8 - 2. Suppose v*n = 2*n - 48. Let d = n - -34. Is d a multiple of 11?
True
Let d = -31 + 30. Does 14 divide (d*27/(-4))/(1/20)?
False
Let h(n) be the third derivative of 0 + 1/12*n**4 + 7/6*n**3 + 1/10*n**5 - 13*n**2 + 0*n. Is 11 a factor of h(-3)?
True
Let h(f) = 3*f**2 - 14*f + 5. Is 3 a factor of h(5)?
False
Let d(i) = 19*i**2 - 5*i + 42. Is 54 a factor of d(4)?
False
Let g = -128 + 265. Is 2 a factor of g?
False
Let q(m) = 240*m**2 + 9*m + 8. Does 2 divide q(-1)?
False
Suppose 5*v + 1359 = -141. Is 30 a factor of (2/4 + -1)*v?
True
Let w(q) = 106*q**2 + q - 3. Is w(3) a multiple of 12?
False
Suppose -8*k = -2*k + 78. Let i(p) = p**3 + 14*p**2 + 15*p + 31. Is 5 a factor of i(k)?
True
Let f = 48 + -28. Suppose -n = 3*n - f. Suppose 0 = -6*v + v + 3*b + 47, -n*v - 2*b + 52 = 0. Is 5 a factor of v?
True
Suppose 0 = -d + 6 - 2. Suppose -r - d*r + 70 = 0. Is r a multiple of 14?
True
Suppose 2*m - 3415 = -4*d + 5*m, 0 = -5*d - m + 4245. Is 17 a factor of d?
True
Suppose -y = 0, 3 - 15 = -4*l + 5*y. Suppose -5*v + u = -383, 225 = l*v - 3*u - 0*u. Is 12 a factor of v?
False
Let f = 4 + 0. Let r be (-27)/(-18) + 534/f. Suppose -5*n = -90 - r. Is 15 a factor of n?
True
Let r = -16 - -21. Let p = r - 5. Suppose 2*q = -p*q + 90. Is q a multiple of 15?
True
Suppose -2*s - 11*i + 8*i + 1190 = 0, -5*i + 2376 = 4*s. Does 31 divide s?
True
Let f = 3 + -28. Let q = -25 - f. Suppose q = 4*l - 27 - 45. Does 9 divide l?
True
Let z be (-1 + -4)*(-54)/15. Suppose z*f + 460 = 23*f. Is f a multiple of 13?
False
Suppose -5*d - 3105 = -4*w + 4810, 2*d = -6. Suppose -4*j + 9*j = -5*t + w, -1150 = -3*j + 4*t. Does 13 divide j?
True
Let z be 5*(338/10 - -1). Let r = 250 - z. Is r a multiple of 19?
True
Suppose 617 + 643 = 4*h. Suppose 3*c = -4*c - h. Does 4 divide ((-15)/c)/(1/57)?
False
Suppose -4*k + l + 5 = 0, -3*k + 4*l + 2 = -18. Suppose y - 135 - 54 = k. Is 21 a factor of y?
True
Let j = -45 + 47. Does 13 divide j - (-49 + (6 - 4))?
False
Let r = 130 + -124. Suppose 4*f + 4*w - 288 = 0, -2*w + 0*w + r = 0. Is 11 a factor of f?
False
Let m = -54 - -60. Suppose 0*y = -m*y + 234. Is 13 a factor of y?
True
Does 13 divide 173580/120 + 22/4?
False
Suppose 0 = 1333*z - 1316*z - 9452. Is 32 a factor of z?
False
Let k(u) = 2*u + 3. Let o be k(2). Suppose -o*b + 4*b + 33 = 0. Is b a multiple of 7?
False
Suppose -2 - 2 = -2*h. Suppose 7*d - 15 = h*d. Suppose -d = -6*o + 45. Is 5 a factor of o?
False
Let g = 1 + -1. Suppose -4*v + 28 = 4*d, 3*v = 7*d - 6*d + 21. Suppose -3*k + 8 + v = g. Is k even?
False
Is 39 a factor of (-3)/(18/(-12)) + 1418?
False
Suppose -3*u + 3*d + 291 = 0, u - 3*u + 3*d + 189 = 0. Let z = 33 + -76. Let p = z + u. Is 16 a factor of p?
False
Is 4 a factor of (2 + 21/(-6))/(6/(-3424))?
True
Let p be 10/(-65) + (-2268)/(-39). Let n = p - 51. Does 4 divide n?
False
Suppose -10*h + 5*h + 890 = 0. Suppose -33