r?
True
Is ((-17912)/(-10))/((-192)/(-30) - 6) - -2 a multiple of 41?
False
Let y(p) = 20*p**2. Let v be y(1). Let w be ((-6)/(-15))/(2 - 38/v). Suppose 2*i = w*z - 180, 5*i - i - 168 = -4*z. Is 22 a factor of z?
True
Let l be (-44570)/(-90) - (-4)/(-18). Suppose 3*z = 5*z, 3*v = -3*z + l. Is 11 a factor of v?
True
Suppose -6*y - r = -2*y - 1536, -4*y + 2*r + 1536 = 0. Let g = y - -46. Does 36 divide g?
False
Let o be ((-115)/10)/(1/(-6)). Let u = 100 - o. Suppose -3*t = -14 - u. Is 3 a factor of t?
True
Suppose 3*u + 0*u - 856 = -4*t, -2*t - 4 = 0. Let l = u - 137. Is 28 a factor of l?
False
Let o = 237 - 235. Suppose 424 = 2*f + o*z - 174, -1511 = -5*f - z. Is f a multiple of 14?
False
Let q(x) = -807*x + 516. Does 99 divide q(-9)?
False
Let v(h) = 109*h**2 + h. Let z(f) = -f + 22 - 8 - 7 - 14. Let o be z(-6). Is 18 a factor of v(o)?
True
Suppose 0 = 87*f - 72*f + 9405. Let m = 739 + f. Is m a multiple of 3?
False
Let d(o) = -o**3 - 3*o**2 - 4*o - 2. Let r be d(-2). Let q(f) be the second derivative of f**5/20 + f**4/12 - f**3/3 + f**2/2 + f - 218. Is 9 a factor of q(r)?
True
Let k = 269 + -313. Let f = k + 489. Is 8 a factor of f?
False
Let b = 21586 - 12114. Is b a multiple of 104?
False
Let z(y) = 17*y**2 + 9*y + 9. Let j be -10*4/5*-1. Suppose 23 - j = -5*c. Does 22 divide z(c)?
False
Suppose -15*r + 3*r = 48. Does 68 divide r/(-1 + -1)*613?
False
Suppose 209 - 2 = -3*m. Let n = 36 - m. Suppose 3*u + n = 4*p, 60 = 5*p - 3*p - 4*u. Is p a multiple of 6?
True
Suppose -57805 = -3*k - 5*i, 5*k - i - 104052 + 7673 = 0. Suppose -k = -43*q + 10438. Is q a multiple of 26?
False
Let c(m) = m**2 + 36*m + 20. Let l be c(-26). Let a = -61 - 276. Let g = l - a. Is g a multiple of 5?
False
Suppose -60*k - 3*g = -55*k - 7050, -4*g = -5*k + 7085. Is 5 a factor of k?
False
Suppose -21848 - 9790 = -4*y + 5*n, 4*y = 2*n + 31656. Is 3 a factor of y?
True
Suppose -4*w + 3032 = 3*l, 3*l = 3*w - 2135 - 139. Suppose n + 3*h = -45 + 243, -w = -4*n + 5*h. Is n a multiple of 8?
True
Suppose 0 = w - 2*p - 18067, -2*w + 93*p = 98*p - 36152. Does 5 divide w?
False
Let l be 11 + -7 + (-3 - -1). Suppose b + 329 = 2*k, -327 = -4*k + l*k - b. Let m = 249 - k. Is 31 a factor of m?
False
Suppose -3*a = 10*s - 12*s - 6, 0 = s - 3*a + 6. Suppose -4*h + 2795 = q - 61, s = -4*h - 2*q + 2856. Does 7 divide h?
True
Suppose 58*c = 83*c + 74*c - 3065040. Is c a multiple of 18?
True
Let f = 30326 - 20351. Is 25 a factor of f?
True
Suppose -h = p - 13, -4*h + 1 = -2*h - 3*p. Suppose -5*s - 891 = -h*s. Suppose 15*b - 12*b = s. Is 33 a factor of b?
True
Suppose 5*m + 2*v - 21 = 0, 0 = 2*m + 2*v - v - 9. Suppose -6 = n + m. Is 5 a factor of 6/n*333/(-6)?
False
Let o(y) = 1442*y + 170. Is o(7) a multiple of 100?
False
Suppose -m - 682 = -687. Suppose m*n + 2710 = 5*t, 6*n - 3*n = 0. Is t a multiple of 10?
False
Suppose -2*w - 2 = j - 3, -5*j - 25 = -5*w. Suppose -4*y = 5*i - 1209 - 681, w*i - 3*y - 733 = 0. Does 8 divide i?
False
Suppose a = 8*a. Let z(s) = 2*s**2 - 3*s - 3507. Let u be z(a). Does 30 divide (1/(-3))/(7/u)?
False
Let k(l) = 4*l**2 - 55*l - 5. Let j be k(14). Suppose j*r = 786 + 96. Does 46 divide r?
False
Let k be 100/15*(-6)/(-5). Let x(d) = -d**2 + 10*d + 5. Is 7 a factor of x(k)?
True
Is 13 a factor of (-1858)/((((-16)/32)/((-1)/(-4)))/2)?
False
Let w(q) = -q**2 - 5*q. Let y be w(-5). Suppose -f + 2*f + 6 = y. Is (-34)/(-4) - 3/f a multiple of 8?
False
Suppose i - 296 = -3*d, 0 = 3*d + 3*i - 116 - 172. Suppose 4*u - 100 = -m - m, -4*m + d = 4*u. Does 2 divide u?
False
Suppose 14*j - 9*j = 3*o + 2025, o = -5. Does 6 divide j?
True
Let r = 226 + -172. Is (6 + r/(-12))*32 a multiple of 11?
False
Let z(q) be the second derivative of 0 - 1/3*q**3 - q**2 + 7/12*q**4 + 3*q. Is 17 a factor of z(4)?
True
Let k(q) be the first derivative of -5*q**3/3 + 37*q**2/2 + 4*q + 170. Is 18 a factor of k(7)?
True
Let g(q) = -34*q + 1628. Does 24 divide g(37)?
False
Let v = -45 - -58. Let a = v + -9. Suppose 123 - 7 = a*f. Is f a multiple of 27?
False
Let u be (-15 - (-2 + 2)) + 2. Suppose 4*n + 5*c - 6*c = -152, 2*n + 70 = -c. Let i = u - n. Is i a multiple of 6?
True
Let u(z) = 6480*z - 1702. Is 142 a factor of u(3)?
False
Let p = 12 + -7. Suppose 2*d = -p*l + 69, -2*d - 5*l + 123 = 2*d. Let j = d - -49. Is j a multiple of 20?
False
Let r = 8939 + -4455. Is r a multiple of 12?
False
Let v(u) = u**2 - 13*u - 30. Let b be v(15). Let g(z) = -z + 231. Does 11 divide g(b)?
True
Let s(c) = -31*c + 256. Let l be s(8). Suppose -l*f + 478 = -418. Does 5 divide f?
False
Suppose 4*v - 4 = 0, -399 = -5*d - 0*d + v. Let k(z) = -z**3 + 6*z**2 - 21*z + 77. Let j be k(5). Does 10 divide j*d/(-12)*4?
True
Let z = 838 - 841. Is 33 a factor of z/30 - (8 + (-41307)/70)?
False
Let v(s) = s**3 + 3*s**2 + 3. Let u(n) = 3*n - 21. Let r be u(6). Let j be v(r). Let q = j + 58. Does 12 divide q?
False
Let p(h) = -14*h - 20 - 75 - 4*h - 22*h. Is 26 a factor of p(-14)?
False
Let t = -99 + 181. Let b = t + -80. Suppose -b*a + 2*c = -276, -c + 504 + 156 = 5*a. Is 34 a factor of a?
False
Is -2 + -2 + -5 - (-78912)/24 a multiple of 4?
False
Let n(p) = -148*p + 4930. Is 6 a factor of n(10)?
True
Let w = -8766 - -18465. Is 53 a factor of w?
True
Suppose -5*g + 5*y + 35 = 0, -3*y - 15 = g - 2*g. Suppose 0 = -o + 3*u, -4*u + 7 - g = 0. Suppose -12 - 96 = -v - o*l, 3*l - 324 = -3*v. Does 12 divide v?
True
Does 22 divide -3*32561/(-6) - (-4)/(-8)?
True
Let x(z) = -z**3 - 19*z**2 + 21*z + 23. Let r be x(-20). Suppose -y + 168 = r*y. Is 21 a factor of y?
True
Let n be (-1 - (-1511)/5)/(204/680). Is n/(-1255) - 2/10*-3424 a multiple of 32?
False
Let y = 2209 + 22757. Does 19 divide y?
True
Let b = -2326 + 3719. Does 7 divide b?
True
Suppose -42*u = -37*u + 25. Let j = u + 7. Is (3/(24/92))/(1/j) a multiple of 13?
False
Let j(d) = 34*d**2 - 8*d - 8. Let m be j(9). Suppose -m = w - 8*w. Is w a multiple of 15?
False
Suppose 42 + 3 = -9*y. Let g(v) = -52*v - 28. Is g(y) a multiple of 5?
False
Let x = 6001 - 1130. Does 27 divide x?
False
Suppose 0 = 5*b - b + 412. Let x = b + 194. Suppose -86*i = -x*i + 75. Is 9 a factor of i?
False
Let o(c) = 241*c**2 - 63*c - 194. Is o(-5) a multiple of 40?
False
Let y(i) = 2*i**2 + 5*i - 28. Let b be y(-8). Is ((-340)/b)/((-2)/36) a multiple of 34?
True
Suppose -n + 0*n = 9. Let b be (2 - 4)/1*(-58)/(-58). Is 4 a factor of ((-132)/n + b)*(4 - 1)?
False
Does 49 divide 1914/385*217 + (-8)/10?
True
Let s(m) = 1329*m**2 + 598*m + 5. Does 16 divide s(3)?
True
Suppose 2*g - 4 - 15 = 3*i, -5*i - 19 = 3*g. Let s be (-9)/(-3) - (g - (-6)/(-3)). Suppose -5*r - 46 = -2*q, -69 = -s*q + 3*r - 2*r. Does 3 divide q?
False
Let v(p) = 138*p + 8. Suppose 0 = -2*w, -2*b - 4*w + 0*w = -8. Let g be v(b). Suppose 14*x = 4*x + g. Does 14 divide x?
True
Suppose -369*v = c - 371*v - 5814, 2*v - 17498 = -3*c. Is 33 a factor of c?
False
Let d(v) = 869*v**2 + 90*v + 299. Is 16 a factor of d(-3)?
False
Let k be (-6)/30 + 33/15. Let v be k/5*(-4005)/9. Let p = -116 - v. Is p a multiple of 17?
False
Suppose 981 = 6*g - 3*g. Suppose -5*s - 5*d = 0, -5*s - d - 4 = -0. Is g*s*1/(-3) a multiple of 8?
False
Let z = -64 + 268. Suppose -a + 0*f - 77 = 2*f, -3*a - 246 = 3*f. Let m = z + a. Is m a multiple of 13?
True
Let u = 15 + -9. Let b(r) = r**3 - 6*r**2 + 3*r - 4. Let i be b(u). Suppose -832 = -i*y - 202. Is 15 a factor of y?
True
Let n(m) = 3*m**2 + 116*m + 4971. Is n(-78) a multiple of 189?
True
Let x(j) = -2*j. Let t be x(0). Suppose t = 2*h + 68 - 66. Is h/(-1) - (-34)/2 a multiple of 2?
True
Suppose -10*x + 11810 = 470. Is 9 a factor of x?
True
Let z be ((-1)/3)/((-5)/270). Let q(r) be the first derivative of 13*r**2/2 + 13*r + 6. Does 19 divide q(z)?
True
Suppose -5*g = 2*t - 2013, 7*g + 4065 = 4*t + 4*g. Is t a multiple of 5?
False
Suppose -3 + 13 = -5*z. Let a = -744 - -723. Is 14 a factor of (a/z)/(5/60)?
True
Let u(g) = 24*g**2 + 5*g - 3. Suppose -3*i + 9 = 6*r - 9*r, -2*r = 5*i - 22. Does 26 divide u(r)?
True
Let i be ((-24)/72)/((-1)/24891). Suppose 3*x - i = 4*x - 2*t, -x - 4*t - 8291 = 0. Is 16 a factor of x/(-120) - 2/16?
False
Let a = -431 + 435. Suppose -3*q + a*o - 801 = -2349, o + 2051 = 4*q. Does 14 divide q?
False
Suppose -4*j = -17 - 51. Suppose 4*a - j = -3*l, -3*l = 3*a - 5 - 10. Suppose 5*b + l*i - 7