s c a multiple of 3?
True
Let m(r) = 4*r**2 + 16*r - 143. Is m(-25) a multiple of 11?
False
Let h = -46 - -44. Let p(i) = -109*i + 9. Is 34 a factor of p(h)?
False
Suppose -5*i + 20 = -5*g, 0*g = -3*i - 3*g. Suppose 16 = 2*j - 2*t, -2*j + 68 = 3*j + i*t. Is 6 a factor of j?
True
Let y(n) = -892*n**3 - 3*n**2 - 2*n + 1. Is y(-1) a multiple of 15?
False
Let z(d) = d - 136. Let l be z(0). Let q be 1/(3 - l/(-44)). Does 16 divide (q/(-3))/((-7)/(-105))?
False
Let u(t) = 4*t**2 - 1. Let s be u(3). Suppose 5*i = -s + 145. Does 9 divide i?
False
Let f = 1535 + -359. Is f a multiple of 42?
True
Suppose -5*m + 0*m = -15. Suppose -o - 4*o = w + 97, 4*o + m*w = -82. Is o/(-3)*(0 + 12) a multiple of 11?
False
Suppose -3629 = -4*l - 5*b, -l + 2*b = -3*l + 1812. Is 13 a factor of l?
False
Let m be -16 + -3 + 6 - (1 - 2). Let t(y) = y**2 + 2*y + 2. Let w be t(-2). Does 15 divide m + 58 - (-1 + w)?
True
Let r = 7 - 12. Let y = -9 - r. Let c = y - -43. Does 13 divide c?
True
Let z = 16 - 14. Suppose 2*u = -i + 3*u + 133, 0 = z*i + 5*u - 280. Let a = i + -63. Is 27 a factor of a?
False
Suppose 0 = -c + 4*l + 752, -3*c - 4*l + 1011 = -1261. Does 21 divide c?
True
Let v be (-165)/(-22)*(26/6 + 1). Is 20 a factor of (-1 + 15/5)*v?
True
Let h(j) = j**3 - 2*j**2 - 31*j + 14. Does 3 divide h(8)?
True
Let j(n) = n**3 - 6*n**2 - 12*n + 14. Let s be j(8). Let u(v) = -v**2 + v + 5. Let h be u(0). Suppose 4*r + s = x, 79 = -x + 3*x + h*r. Is 12 a factor of x?
False
Let g(t) = t**2 + 2*t + 3. Let w be g(-2). Let z = 83 - w. Suppose 15*y - 10*y - z = 0. Is y a multiple of 16?
True
Let b = -53 + 64. Suppose -5*k + 2*r = -624, 6*k + 3*r = b*k - 621. Is k a multiple of 14?
True
Let s(z) = 12*z**3 - 2*z**2 + 2*z - 1. Let a be s(1). Let t = -6 + a. Suppose 0 = -4*i + 2*l + 72, 2*i - 19 - 25 = t*l. Is i a multiple of 10?
False
Suppose 6*h = h + 555. Let q(n) = -n - 29. Let w be q(-14). Let a = w + h. Does 31 divide a?
False
Let c(v) = v + 1. Let s be c(8). Suppose 0 = -4*t - 1 - 11. Is 5 a factor of (-17)/t + (-6)/s?
True
Suppose -2*q - 3*v = -22, 4*q + 18 = -5*v + 58. Let w be 2 - -2 - (q + -1). Suppose 0 = -4*s + j + 86, -5*s - 5*j + 104 + 16 = w. Is 6 a factor of s?
False
Let b = 62 + -97. Let r = b + 61. Is 14 a factor of r?
False
Let t be 12/10*80/24. Let a(g) = g. Let n be a(t). Suppose 5*h - 22 = -2*q, -4*q = -2*q - n*h - 4. Is 3 a factor of q?
True
Let l(u) = -u - 2. Let d be l(-3). Let h be (1 - 0)*(d - -9). Is 10 a factor of (-12)/1*(-25)/h?
True
Let w = -573 + 212. Let d = w - -521. Does 32 divide d?
True
Suppose 3*h - 28 = -4*w, w - 6*h = -h + 7. Suppose 3*d = -j + 19, -5*d = -w*j + 3*j - 43. Is (d + -3)/(3/21) a multiple of 8?
False
Let l(r) = r**2 - 11*r - 41. Let s be l(12). Let u = 71 + s. Is 37 a factor of u?
False
Suppose 4272 = 5*v - t, 0 = -v - 4*t + 161 + 706. Is v a multiple of 12?
False
Suppose 0 = 17*i - 154 + 35. Suppose -149 = i*p - 8*p - z, p - 4*z - 169 = 0. Is 17 a factor of p?
True
Let z(d) = 17*d**3 + d**2 - 3*d + 2. Suppose 3*s + 4*w + 1 = 0, 2*s = 5*w - 6*w + 1. Does 3 divide z(s)?
False
Let z = -578 - -1124. Is 21 a factor of z?
True
Suppose 0 = 476*j - 488*j + 10164. Is 5 a factor of j?
False
Suppose -2*d - 270 - 728 = -5*y, 0 = -5*y - 5*d + 970. Is 34 a factor of y?
False
Let o = 467 - 346. Does 7 divide o?
False
Let x(d) = 2*d**2 + 3*d + 3. Let p be x(-3). Let z = 81 - p. Is z a multiple of 21?
False
Let h be (-1)/((1/(-2))/1). Suppose h*q = 4*q - 2. Is (-88)/(-10) - q/(-5) a multiple of 7?
False
Let r(f) = -10*f + 173. Does 2 divide r(14)?
False
Suppose -32*w + 4323 = 1443. Is w a multiple of 15?
True
Let l(s) = 2*s + 12. Let t be l(-5). Let j(k) = 2 + 0*k**2 + k**3 + 0*k**3 - t*k - 4*k**2 - 3*k**3. Is j(-2) a multiple of 5?
False
Is ((-9344)/(-12) - 2/(-6)) + 1 a multiple of 26?
True
Let u = -97 + 91. Is 2742/18 - (-2)/u a multiple of 19?
True
Suppose -14*v = -8*v - 18. Suppose c - v = -0*c. Suppose c*b - 5 = 2*b. Is 2 a factor of b?
False
Suppose -2*h = -2*d + 2546, 3*h - 4312 = -3*d - 463. Is d a multiple of 14?
False
Let h be ((-6)/(-9))/(-2 - 1616/(-804)). Suppose 0 = -3*p + 68 + 61. Let b = h - p. Is b a multiple of 8?
True
Is 3193 + (780/5)/(-12) a multiple of 106?
True
Let u(h) = 34*h + 2. Let m(i) = -i**2 - 9*i + 11. Suppose -d - 5*x - 15 = 3*d, -4*d + x = 45. Let q be m(d). Is 12 a factor of u(q)?
True
Let a be (9/3 + -2)*(2 + -4). Is 3 a factor of 2*1/a*(-205)/5?
False
Let u(w) = -w + 7. Let f be u(7). Suppose c + c - 90 = f. Suppose -75 = -5*a + c. Does 9 divide a?
False
Let g(f) = -2*f + 5 + f**2 + 15*f**3 + 9*f - 6*f - 8. Does 14 divide g(1)?
True
Let k(n) = n**3. Let z(s) = 8*s**3 - 8*s**2 + 12*s - 11. Let m(d) = -6*k(d) + z(d). Is 23 a factor of m(6)?
False
Let h(j) = j**3 - 7*j**2 - 6*j - 8. Let z be h(8). Let x = -4 + z. Suppose x = -2*w + 58. Is w a multiple of 19?
False
Is 58 a factor of 213/(-355) - (4933/5)/(-1)?
True
Let r = -50 - -34. Let v = r + 10. Let z(q) = -9*q - 12. Does 21 divide z(v)?
True
Does 13 divide 116916/48 - 10/(-40)?
False
Does 21 divide 17/(-34) + (-2)/(-8)*326?
False
Let y(k) = -2*k - 19. Let n(t) = -t - 9. Let q(l) = -14*n(l) + 6*y(l). Let u be q(-6). Suppose -3*f + 2*f = 3*x, u = -2*x - 2. Does 2 divide f?
False
Suppose f - 28 = 148. Suppose 10*u = 2*u + f. Is 22 a factor of u?
True
Suppose -20*u - 16341 = -33*u. Is u a multiple of 30?
False
Let k(w) = 3*w**2 - 99 + 53 + w + 47. Let i = 5 + -3. Is 4 a factor of k(i)?
False
Let p be (-110)/90 + (-2)/(-9). Is ((-901)/51)/(p/3) a multiple of 15?
False
Suppose 2*i + 3 = 13. Suppose 3 = -i*q - 12. Is (q - -1) + -1 - -47 a multiple of 25?
False
Suppose -30 = -5*k + 5*p, 0 = 3*k + k - p - 15. Suppose k*d + 12 = 27. Let o = 56 - d. Does 17 divide o?
True
Let s be (-16)/(-104) - (-2804)/26. Let n = -24 + s. Is 21 a factor of n?
True
Let m(b) = b**2 + b - 4. Let u be m(2). Let p(d) = 15*d**2 - 4*d + 2. Is 9 a factor of p(u)?
True
Let h be 6*((-4)/6)/(2/3). Is 14 a factor of (-10)/(-4) + 3/h + 68?
True
Suppose 0*v = -f + 2*v + 2, 0 = -f + 4*v. Suppose f*q = -3*p + 7, 0*p = 4*p - 4. Is q/((-1)/3) + 10 a multiple of 7?
True
Let l(r) = -7*r + 7. Let k be l(-7). Suppose -5*x = -x - k. Is 4 a factor of x/(-3)*-3 - -2?
True
Suppose -2*b + 192*u = 196*u - 5612, 0 = -4*b - 2*u + 11242. Does 37 divide b?
True
Let n(k) = -46*k**3 - 29*k - 91. Is n(-3) a multiple of 12?
False
Let h be ((-10)/4)/((-3)/66). Suppose -5*b = -h + 5. Suppose b = t - 8. Does 18 divide t?
True
Let o(f) = -f**3 - 10*f**2 - 2*f + 5. Let k be o(-4). Let g = k - -153. Is g a multiple of 20?
False
Let q(f) = -f - 5. Let p be q(-12). Suppose p*u = 6*u + 30. Is 3 a factor of u?
True
Suppose 11*a + 38 = -116. Let v(u) = -2*u**3 - 26*u**2 + 13*u - 33. Is v(a) a multiple of 32?
False
Suppose -5*p - 1 = -26. Is 5 - (p - 135) - 3 a multiple of 44?
True
Suppose 14*k - 2*k + 468 = 0. Is 21 a factor of 4/(-26) + (-6558)/k?
True
Let k be (-1)/(-2)*0 + 26. Suppose -4*v + 100 = -4*i, 3*v + 3*i - 37 = k. Is v a multiple of 6?
False
Let d = -5 + 14. Suppose -2*p + d = 1. Suppose 86 = 2*k + p*w, 0 = 4*k + 4*w - 0*w - 192. Is k a multiple of 15?
False
Suppose 65*p + 8 = 69*p, -4*p = 3*g - 5705. Does 19 divide g?
False
Let c be ((-4)/12)/(3/(-459)). Let x = c + -31. Is 5 a factor of x?
True
Suppose 4*o + 1 = -0*o + 5*z, 5*o = 5*z. Suppose 2 = 2*q - 0*d + d, q - o = 3*d. Suppose -7 = -a + q. Does 8 divide a?
True
Suppose 35 - 55 = -q. Let u = q + 20. Does 4 divide u?
True
Let q = 11 - 8. Let p(f) = 26 + q*f - 12*f + 8*f - f**2. Is 13 a factor of p(0)?
True
Suppose -3*w = 5*h - 107, 3*h + 3*w - 38 = 25. Let p be 1/4*(h + -14). Suppose p*t = 10 + 16. Is t a multiple of 6?
False
Let q(f) = -6*f**3 - 8*f**2 + 14*f + 27. Is 39 a factor of q(-5)?
True
Suppose 11*u = 3319 + 2060. Is 17 a factor of u?
False
Let n be 3 + -6 - (-4 - 1). Suppose p = -n*p. Suppose x + x - 74 = p. Does 11 divide x?
False
Let g be (-18)/2*(-2)/6. Suppose -4*d + d + 150 = -4*t, -g*t - 3*d = 102. Is (-10)/45 - 2168/t a multiple of 17?
False
Let p = -17 + 19. Suppose p*z + u = 6*u + 24, 5*z + 2*u = 2. Is 0/3 + z + 8 a multiple of 10?
True
Let r = 310 - 240. Is 7 a factor of r?
True
Let v be (10/4)/((275/20)/11). Is (-5 + 2 - (-330 - v))/1 a multiple of 52?
False
Suppose -11*w - 5 + 1105 = 0. Is w a multiple of 10?
True
Let s(j) = -j**3 + 5*j**2 -