462 = x*v - 448. Is 13 a factor of v?
True
Suppose -i - 7 = -2*i. Suppose -i*f + 170 = 786. Let l = 174 + f. Is l a multiple of 17?
False
Suppose 4*w - 18582 = -2*d, 5*d + 20 + 5 = 0. Is 8 a factor of w?
True
Let n(g) be the third derivative of -g**6/2 + g**5/60 + g**4/8 + g**3/2 + 28*g**2. Let v be n(-2). Let l = -315 + v. Is l a multiple of 18?
False
Suppose 0 = -2*o + d + 13426, -3*d = o - 6420 - 279. Suppose -z - 5*t = -993 - 366, -5*z = -3*t - o. Is z/70*20/6 a multiple of 34?
False
Suppose -6*v = -690 - 990. Let s = 644 - v. Does 21 divide s?
False
Suppose -5*a + 0*a = -3*x + 2, -10 = -5*a. Suppose 6*w - w - 1380 = -3*t, -x*w - 12 = 0. Does 15 divide t?
True
Suppose 0 = -30*p + 26*p + 2*w + 9890, 12380 = 5*p - 6*w. Is 10 a factor of p?
True
Suppose -91267 = -53*f + 120468. Is f a multiple of 47?
True
Suppose 13*m = 94*m - 84240. Is m a multiple of 65?
True
Let u(k) = 697*k**2 - 6*k + 11. Let n be u(2). Suppose -3*j = -3*g - n, g + 0 = 1. Is j a multiple of 62?
True
Let g be 3/12 + 308/(-16). Let k(d) = 2*d - 22. Let s be k(g). Let u = 138 + s. Is 13 a factor of u?
True
Let b = -92 - -92. Suppose b = 10*f - 6*f + 84. Is (-21)/(-1)*7/(f/(-17)) a multiple of 10?
False
Is 5/(-50)*-244*(-1885)/(-58) a multiple of 37?
False
Let f = 14398 - 10270. Is 8 a factor of f?
True
Let c(u) = -5*u**2 - 15*u - 3. Let i(q) = -10*q**2 - 31*q - 6. Let v(m) = -5*c(m) + 2*i(m). Is v(4) a multiple of 27?
True
Let a be (-16915)/(-765) + (-1)/(-18)*-2. Let y(h) = 2*h**2 - 31*h + 64. Is 10 a factor of y(a)?
True
Let x(l) = 18*l**2 + 49*l - 6. Let a(n) = 6*n**2 + 16*n - 2. Let b(w) = -7*a(w) + 2*x(w). Is b(-2) a multiple of 5?
False
Suppose -4*b + 0*i + 4 = 2*i, -3*b + 4 = 2*i. Let l be -1 + -2 - (b - -1). Let u = 14 - l. Is u a multiple of 6?
True
Let y(c) = 9*c**2 - 20. Let w(s) = -26*s**2 - s + 60. Let k(q) = -6*w(q) - 17*y(q). Let h be k(5). Suppose 3*z = h + 2. Is z a multiple of 10?
False
Let i be 28/70 - (-316)/10. Suppose 18*f + 1302 = i*f. Is f a multiple of 29?
False
Let a(k) = -2*k**3 - 110*k**2 + 7*k - 14. Is a(-56) a multiple of 104?
False
Suppose 0 = 12*p - 368 - 2236. Let h = 464 - p. Is h a multiple of 10?
False
Suppose -432966 + 113394 = -13*m - 41*m. Is 22 a factor of m?
True
Let s(k) = 3*k**2 + 4*k + 4. Let b = -26 - -19. Let g be s(b). Let u = g + -77. Is 6 a factor of u?
False
Let a(n) = -855*n**3 - n**2 - 2*n - 1. Is a(-1) a multiple of 95?
True
Suppose 2*t + 5*l = 11, 7*t - 6*t = -5*l + 3. Is 5221/17 - t/68 a multiple of 36?
False
Let d(o) = o**3 + 9*o**2 - 15*o - 22. Suppose 5*z - 4*z = 25. Let y be (10 - z)*2/3. Is d(y) a multiple of 3?
False
Suppose 0 = -45*h - 14909 + 95099 + 8235. Does 27 divide h?
False
Let d be (-2)/8 + 2/(88/(-209)). Is 66 a factor of (-56)/40*d - -125?
True
Let h(j) be the third derivative of j**6/120 + j**5/5 - 3*j**4/8 - 13*j**3/6 - j**2. Let k(r) = r**3 - 28*r + 36. Let l be k(4). Is h(l) a multiple of 18?
False
Let a = -35 - -36. Let l be (-7 - -4) + 4 - (a - 88). Let y = -53 + l. Is y a multiple of 7?
True
Suppose 0 = -5*y + 2*x + 110434, 4*x - 3*x - 44170 = -2*y. Is y a multiple of 105?
False
Suppose -5*z - 25 = 0, -m + 1425 = 2*z - 6691. Is m a multiple of 51?
False
Is ((-1)/3)/((-87)/621963) a multiple of 52?
False
Suppose -33*a + 4782 - 1617 + 4557 = 0. Is 78 a factor of a?
True
Suppose 4*v - 74 = -38. Suppose 3*g - 12 = v. Suppose 5*y = -g*r + 6*r + 12, -5*r = -5*y - 210. Is 4 a factor of r?
False
Let v(w) = w**2 - 6*w + 23. Let z be v(6). Suppose 0 = z*q + 6*q - 2552. Is 88 a factor of q?
True
Suppose 4*n = 3*n + 2*u + 12, 0 = -u - 3. Suppose 2*w = n, 5*w + 252 = 4*t + w. Does 26 divide t?
False
Let u = -212 - -214. Is u*(-3)/(24/(-844)) a multiple of 21?
False
Let w = 283 - 464. Let t = 74 - w. Is t a multiple of 51?
True
Suppose -3*z + 37 = 4*w, -4*z + 20*w = 21*w - 45. Is (-172)/((-46)/z + 4) a multiple of 22?
True
Let h(y) = y - 10. Let i = 34 - 21. Let d be h(i). Is 14 a factor of 241 - 0*(d + -4)?
False
Let x = 31 + -53. Let h be (-12)/66 - 2072/x. Suppose -3*i = -d - h, -i + 13 + 13 = -3*d. Does 10 divide i?
False
Suppose -3*s + 0*o + 4*o + 10 = 0, -5*s - 4*o + 6 = 0. Let t = -148 - -151. Suppose -53 = -t*f - s. Is 4 a factor of f?
False
Let j = -29 - -28. Let n be 1/(-3*j/6) + 2. Suppose 2*d + n = 40. Does 3 divide d?
True
Suppose -17961 = -3*q - 3*a, -4*q + 5*a = -10797 - 13169. Is 35 a factor of q?
False
Suppose 2*v = 4*u + 5*v - 35, 2*v - 35 = -5*u. Suppose p - u*x - 107 = 0, x = -2*p - 2*x + 201. Suppose -p = -7*l + 38. Is 20 a factor of l?
True
Does 55 divide 14916434/633 + 8/6?
False
Let s = -444 - -933. Suppose s = 2*q + w, 3 = 4*w + 15. Is 18 a factor of q?
False
Let v(o) = o**3 + 7*o**2 + 9*o - 10. Let f be v(-5). Is (-28)/(-70) + 0 + (-978)/f a multiple of 98?
True
Let m be -3 - 1 - (2 - -75). Let a = -69 - m. Is 30/((-24)/6*(-1)/a) a multiple of 7?
False
Is 46 a factor of (-4 + -1 + 19491/(-21))/((-24)/84)?
True
Let d = -637 + 646. Is 40 a factor of (-31 - -88)/(d/87)?
False
Let n be (1/1)/((-5)/685). Let v = -115 - n. Is 22 a factor of v?
True
Let a(g) = -2. Let l(b) = 61*b + 53. Let j(v) = 2*a(v) - l(v). Does 65 divide j(-9)?
False
Let y(l) = -3*l**2 + 3*l - 11. Let w be y(-6). Let h = w - -329. Suppose h = 4*d - 88. Does 10 divide d?
True
Suppose 0 = 4*b + 5 - 41. Let l(g) = -g**2 - g + 1. Let r(j) = 2*j**2 + 6*j + 1. Let i(c) = -3*l(c) - r(c). Does 5 divide i(b)?
True
Let b = 1400 - -3030. Is b a multiple of 10?
True
Suppose 3*c + 19 = -5*j, -j = -10*c + 5*c + 15. Let q(p) = p + p - 41*p**2 + 2 + 1 + 57*p**c. Is q(-2) a multiple of 21?
True
Let w(p) = 20*p**2 + 1603*p - 82. Is w(-81) a multiple of 35?
True
Let i(k) = -9*k + 116. Let g be i(12). Suppose -g*a = -19*a + 1507. Is a a multiple of 3?
False
Let p(c) = 3*c**2 - 30*c - 1072. Does 13 divide p(-19)?
False
Suppose -3*w + 8 = 2*b, w + 4*b = 3*w - 16. Suppose y = -t + 2*t - 40, y + w*t + 15 = 0. Let x = 51 + y. Is 4 a factor of x?
True
Suppose -68 = -x + 18. Let k = x + 130. Is 4 a factor of k?
True
Let j(h) = 56*h**2 - 17*h - 5. Let m be j(6). Suppose -c = -3*n + 200 + 947, -m = -5*n - c. Does 40 divide n?
False
Suppose 5*a - 506 = 204. Suppose a = 3*t - 74. Is 12 a factor of t?
True
Let p(n) = 4*n**2 - 90*n - 5532. Is 22 a factor of p(-80)?
False
Suppose -3*y + 4*z + 28043 = 0, -4*z - 1751 + 20433 = 2*y. Is y a multiple of 35?
True
Suppose 9*d - 169 = 2. Suppose d*a - 4*z = 18*a + 366, a = -2*z + 384. Is a a multiple of 21?
True
Suppose -w - 240 = d + 3*w, -5*w + 652 = -3*d. Suppose -205*p + 210*p + 730 = 0. Let s = p - d. Is s a multiple of 13?
True
Let t be (34/(-51))/(4/(-18)). Let x(c) = -5*c - 2 - 3*c + 5*c - t. Is x(-5) a multiple of 10?
True
Suppose 0 = -z - 3*i + 810, -51*i + 53*i = -10. Does 6 divide z?
False
Let q(s) = 561*s + 5576. Is 78 a factor of q(8)?
False
Let b = -65275 + 117439. Is b a multiple of 12?
True
Let h be 50/(-30)*2476/(-5)*-3. Is (-7 + 12)/(-20)*h a multiple of 52?
False
Suppose -2*j - 4*c - 23 = -95, 0 = -j - 5*c + 42. Is (6 + (-2520)/j)*-4 a multiple of 5?
False
Let r = 41017 - 17487. Is r a multiple of 130?
True
Let p(j) = -4*j**3 + 2*j + 1. Suppose -3*t - 2*o = 146, 2*o = 3*t - 3*o + 139. Let h = t + 46. Is 20 a factor of p(h)?
False
Suppose 3*g = -d + 9, g + 4*g = -4*d + 29. Let z be (-2 + d/3)/(-2 - -1). Suppose -u - 8*u + 2160 = z. Is 60 a factor of u?
True
Let l(i) = 3*i**3 - 280*i**2 + 52*i - 235. Is l(94) a multiple of 25?
True
Suppose 0*g + 5*g + 55 = 5*n, -5*n - 2*g + 76 = 0. Suppose -4*d = -n*d + 190. Suppose 10*j = 11*j - d. Is j a multiple of 2?
False
Suppose 0 = 4*s - n + 11, 4*s + 4*n + 7 + 29 = 0. Let a(v) be the first derivative of 14*v**3/3 + 2*v**2 - v + 19. Is 23 a factor of a(s)?
True
Let t be 3 - -52 - -1*1. Suppose -384 = -4*f + 3*k, 0 = -3*f - 5*k + 209 + 50. Let m = f - t. Does 14 divide m?
False
Let i(f) = 247 - 5*f - 22 - f - f. Does 17 divide i(0)?
False
Let w = 40 + -84. Let o = w + 46. Suppose -5*f + o = -1073. Does 22 divide f?
False
Suppose -3*t = 2*j - 15321 + 5169, 2*t - 6752 = 4*j. Is t a multiple of 19?
True
Suppose 29*c - 27*c - 20 = 0. Suppose 5*g - 4*q - q - 10 = 0, 0 = 5*g + 4*q - c. Suppose 0 = -f - 2, g*f + 2*f - 237 = -5*r. Does 9 divide r?
False
Let u = 843 + -548. Suppose -5*a + 2*o + 967 = 0, 385 = a + a + o. Let x = u - a. Does 34 divide x?
True
S