?
True
Let g = 17003 - 7656. Is g a multiple of 13?
True
Suppose -16*i + 8*i = -536. Suppose -7*c + 4*c = -4*x + 108, 5*c - 2*x + 194 = 0. Let q = c + i. Is 9 a factor of q?
True
Suppose -5*d + f = -98, -3*d + 7*f - 3*f + 52 = 0. Is ((-2)/(-3))/(d/10050) a multiple of 12?
False
Suppose -2*o + 4605 = 5*r, -5*o - 1109 = -4*r - 12605. Does 46 divide o?
True
Let u = -74 - -2441. Suppose 37*v = 1111 + u. Is 6 a factor of v?
False
Let y(t) = -182*t**3 + 4*t**2 + 2*t + 2. Let h(j) = 181*j**3 - 3*j**2 - j - 1. Suppose 20 = -24*n + 19*n. Let i(v) = n*h(v) - 3*y(v). Is i(-1) a multiple of 21?
False
Let o(k) be the first derivative of -k**4/4 - 13*k**3/3 + 31*k**2/2 - 37*k + 86. Does 14 divide o(-19)?
True
Let i(s) be the second derivative of -15*s**3 - 132*s**2 + 20*s + 4. Does 25 divide i(-7)?
False
Let f(d) = -39*d**3 + 2*d**2 + 4*d + 3. Let n be f(-2). Let o = n - -4. Is o a multiple of 8?
False
Is 34 a factor of ((-3)/(-4))/(82/(-656)) - -1604*1?
True
Let i(u) = u**3 - 12*u + 21. Let f be i(2). Suppose 2*b - f*b = -2*h - 856, -2*b + 2*h = -570. Does 9 divide b?
False
Let b = 1771 + -996. Does 24 divide b?
False
Let j = -10905 + 15455. Does 16 divide j?
False
Let k(j) = -47 - 74 - 23*j + 14 + 13 - 47. Does 2 divide k(-10)?
False
Suppose -2*o - 20 = 2*f, -75 + 17 = 4*o - 5*f. Let v(j) = j**3 + 13*j**2 + 11*j - 7. Let n be v(o). Let z = n + 36. Is z a multiple of 3?
False
Suppose 5*t - 28 = 3*t + 2*k, 4*k = -4*t + 40. Suppose 0 = -a + 10*a - 18. Suppose 24 = a*i + 5*b - 4*b, -t = -3*b. Is 5 a factor of i?
True
Does 7 divide (-329*(-2)/(-10))/(8/(-520))?
True
Let c be -4 + 27/(-18) + 3/(-2). Is c/((-21)/2)*1773 a multiple of 70?
False
Let w = 80 + -88. Let g be (w - 132/(-21))*(-7)/2. Suppose -g*o + 156 = s - o, 0 = 4*s - 3*o - 670. Is s a multiple of 10?
False
Suppose -216 = -4*n - 7*y + 3*y, -5*y = n - 54. Suppose -56*z + 286 = -n*z. Does 13 divide z?
True
Suppose 19388 - 2000 = 9*b. Does 23 divide b?
True
Suppose -15 = -5*r + 10. Suppose 624 = -9*v + 4*v + j, 5*j - 640 = r*v. Let c = v - -256. Does 22 divide c?
True
Let j = 494 + -480. Let n(a) = a**3 - 2*a. Let z be n(2). Suppose -80 = -j*r + z*r. Does 4 divide r?
True
Suppose -54*q - 69407 = -67*q. Is q a multiple of 14?
False
Let g(q) = -3*q**3 - 119*q**2 + 40*q + 6. Let f be g(-40). Let u(a) = 11*a**2 - 7*a + 3. Is u(f) a multiple of 21?
True
Let h(f) = 2*f**2 - 18*f + 33. Let y(t) = -t + 8. Let k(p) = p - 1. Let o(c) = 2*k(c) + y(c). Let l be o(6). Does 23 divide h(l)?
False
Suppose 3*s = 4*y + 3, -s + 4*y - 2*y + 1 = 0. Let b(g) = 218*g + 3. Let v(f) = 54*f + 1. Let z(q) = -2*b(q) + 9*v(q). Is z(s) a multiple of 18?
False
Let n(f) = -57*f + 51. Let j be n(6). Let s = j + 551. Does 35 divide s?
False
Suppose -12*h + 15385 = 4897. Let s = -745 + h. Is 7 a factor of s?
False
Does 18 divide ((-81)/(-18) + -5)*0 - -396?
True
Let j(p) = 563*p**2 - 7*p + 7. Let m be j(1). Suppose 1922 = 5*x - m. Is x a multiple of 71?
True
Let c(h) = 16*h**3 - 330*h**2 + 79*h - 26. Is 30 a factor of c(22)?
True
Is (-14)/(-70) + 6579/15*3 a multiple of 28?
True
Suppose 87*r = 84*r + 6, -4*s + 108268 = 2*r. Is 62 a factor of s?
False
Let g(f) = -12*f + 3*f - f - 79 + 3*f. Is g(-15) a multiple of 13?
True
Let t = -13588 + 19426. Does 14 divide t?
True
Suppose 2426388 = 231*b + 540273. Is b a multiple of 19?
False
Let s = 9952 - 3232. Does 24 divide s?
True
Suppose -35*x = -5*f - 30*x + 14220, -5*x = -f + 2868. Is 3 a factor of f?
True
Suppose 21*p = 4*y + 22*p - 25, 2*y = 4*p - 10. Does 46 divide y/((-30)/(-3))*828?
True
Let r = 671 - -574. Is 2 a factor of r?
False
Suppose -11 = s - 17. Let d be s + (0 - (3 - 2)). Suppose 0 = -d*x - 4*x + 441. Is 7 a factor of x?
True
Let z = 923 + 331. Suppose 1336 = 14*m - z. Is 19 a factor of m?
False
Suppose 8808 = 4*u + 2*d - 252, 0 = 3*u + 2*d - 6796. Is 50 a factor of u?
False
Let t(n) = -5*n**2 + 0*n - 3*n**3 + 3*n**3 - 8*n**3 - 3*n. Let k be t(-3). Let q = k + -78. Does 8 divide q?
False
Let w = 71963 - 51390. Is w a multiple of 200?
False
Let t(d) = -d**3 - 35*d**2 + 35*d - 37. Let m be t(-36). Let x(u) = 205*u**2 - 10*u - 11. Is x(m) a multiple of 34?
True
Is 28 a factor of (-2 - -14)*-14*11720/(-105)?
False
Let g = 4785 - 260. Does 25 divide g?
True
Let g(f) = 43*f - 22. Let w(c) = 6*c + 46. Let b be w(-7). Let v be g(b). Let s = -65 + v. Is 12 a factor of s?
False
Suppose -3*v = -1104 + 357. Let q = v + -200. Does 42 divide q?
False
Let u(d) = -3*d + 138. Let w be u(0). Suppose 0 = 4*g - 3*i - w, -4*g + 84 = -4*i - 52. Is g a multiple of 4?
True
Is 440446/72 + (-60)/(-135) - 2/(-8) a multiple of 38?
True
Suppose 0 = 5*n - 4*i - 10, -n - 4*i + 4 = n. Let a = 8 - n. Suppose 2*w + v = 45, -a*v + v = w - 45. Is w a multiple of 15?
False
Does 24 divide (1219120/42)/2*(-1 + (-75)/(-21))?
True
Let h be (-5)/(20/16) + 4. Let p be (3 + (h - 2))*1*30. Suppose -2*v + 6 = v, -2*x = -4*v - p. Is x a multiple of 5?
False
Let u be (-15)/10*4 + 6. Suppose u = q + 3*s - 168, 2*q - 300 = -3*s + 24. Is 52 a factor of q?
True
Let h = 71 - 67. Suppose 0 = -p + 4*v + 334, -p - h*v = p - 680. Does 13 divide p?
True
Let b(c) = c**2 - 8*c + 17. Let z be b(6). Suppose 0 = -z*r - 0*r + 15. Is 13 a factor of (-1)/((r/(-117))/1)?
True
Let z be (-1)/(-2) - -2*(-3)/12. Suppose -5*v + 5 = -z*v, 2*v = 4*n - 1090. Does 13 divide n?
True
Suppose 0 = -3*b - m + 23, b = -2*m - 3 + 19. Does 8 divide 228/b - 8/(-4)?
True
Let w(q) be the first derivative of 6*q**2 + 40*q - 72. Is w(4) a multiple of 3?
False
Suppose 147487 + 74814 = 71*x. Suppose -8*m = -x - 2285. Is 19 a factor of m?
False
Let b(x) = 11*x + 12. Let w(s) = s**2 - 2*s - 1. Let a be 1*(-10)/((-6)/3). Let d be w(a). Is 40 a factor of b(d)?
False
Let p(t) = 2*t**3 - 4*t - 2201. Let j be p(0). Let o = 3230 + j. Is 13 a factor of o?
False
Let s = 9 - -131. Suppose 0 = 4*w - 6*w + s. Suppose 2*b = n - 56 - w, 0 = 5*n + 3*b - 656. Does 26 divide n?
True
Let n = -7572 - -9041. Is 15 a factor of n?
False
Let a(i) = -618*i - 852. Is a(-6) a multiple of 33?
False
Let t(n) = n**3 + 15*n**2 - 12*n - 46. Let v(z) = z - 15. Let a be v(0). Is 7 a factor of t(a)?
False
Let x(h) = 123*h - 129. Let a(t) = 35*t - 37. Let o(c) = -18*a(c) + 5*x(c). Let f be o(7). Is 10 a factor of -6*(4 - f/(-9))?
False
Suppose 0 = i - 167 + 12. Let o be (4 + i/(-20))/((-3)/4). Suppose -5*n - 2*a + 1283 = 0, -o*n - 3*a = -4*a - 1271. Is 15 a factor of n?
True
Let y = -1511 - -2139. Suppose 2085 + 427 = 4*m + w, 0 = -m - 2*w + y. Let a = m + -357. Is 51 a factor of a?
False
Suppose -11233*b + 699 = -11230*b. Let k be 4/(-10) - 803/5. Let x = b + k. Is x a multiple of 9?
True
Let c(g) = -g - 4. Let j be c(-3). Let n(i) be the third derivative of -163*i**6/120 + i**5/60 - i**4/24 - i**3/3 - i**2. Is 12 a factor of n(j)?
False
Let o(t) = -t**3 + 12*t**2 - 22*t + 17. Let r be o(10). Let u(z) be the first derivative of 8*z**3/3 + 6*z**2 + 9*z + 32. Is u(r) a multiple of 28?
False
Suppose 5*r + 19*y - 20*y = 33260, 4*r + 4*y - 26608 = 0. Does 11 divide r?
False
Let y(g) = -g - 38. Let t be y(-36). Is 50 a factor of -2 + t + (-39936)/(-26)?
False
Let q = -242 + 228. Let k(x) = -x**3 - 13*x**2 - 29*x - 35. Is 59 a factor of k(q)?
False
Let u(g) = 404*g - 3258. Is u(9) a multiple of 9?
True
Suppose 24*l - 85149 = -525. Is 19 a factor of l?
False
Suppose -6106 = 7*t - 16844. Is 50 a factor of t?
False
Let a = -9318 - -24202. Is a a multiple of 61?
True
Let f(v) = -10*v - 450. Let a be f(-39). Let p be 8/24 - 26/6. Is a/24*(p - -2) a multiple of 3?
False
Let h = 105 + 125. Suppose 0 = -5*i + h + 3370. Is 90 a factor of i?
True
Let o = 117 + -180. Let v = o + 70. Is 5 a factor of 409/v + 4/7?
False
Suppose 4*v - 2*j + 74 = 2*v, 113 = -3*v + j. Let l = v - -42. Suppose -l*m + 4 = -60. Is 4 a factor of m?
True
Suppose 4*w - 16 = 0, 5*j - 10*w + 7*w = 17768. Does 7 divide j?
True
Let w(c) = -47 - 13 + c - 9*c - 9*c. Is w(-5) even?
False
Suppose -3*o - 8 + 152 = 0. Let v be (1 + 0)*-2 + (o - -2). Let y = 219 - v. Does 26 divide y?
False
Is 14*(-30)/20*-185 a multiple of 111?
True
Let w be (-3)/((-6)/(-4))*(8 + -11). Suppose 0 = -k + 4 + w. Let u = 40 - k. Does 6 divide u?
True
Let p(k) = -k**2 + 23*k + 120. Let c be p(27). Suppose 0 = -q + 212 + c. Is 16 a factor of q?
True
Suppose -2*t - 35 = -4*z