 d a multiple of 66?
False
Suppose 33*o - 34559 - 40153 = 0. Is 68 a factor of o?
False
Let y = -6638 - -13001. Is y a multiple of 93?
False
Let n(g) = -304*g**3 + g**2 - g - 2. Let a be n(-1). Let u = -196 + a. Does 9 divide u?
True
Let q = 9732 + 35580. Does 118 divide q?
True
Suppose 2*c - 3*n = 2929, -14*c + 17*c - 4392 = 4*n. Is 4 a factor of c?
True
Suppose -3*w - 2193 = -8520. Suppose w = 21*z - 2*z. Is z a multiple of 9?
False
Is 12 a factor of 7209100/1800 + 2/(-36)?
False
Let q(n) = 6*n**2 - 62*n + 1321. Is 6 a factor of q(16)?
False
Suppose 17556 = 74*n - 68*n. Suppose n = 5*a + 431. Does 25 divide a?
False
Suppose 3*u + 110 = 5*k, 2*k - u + 30 = 3*k. Suppose k = -j + 133. Is 12 a factor of j?
True
Suppose -172 = h + 3*d, -6*h + 820 = -11*h - 5*d. Is (-3)/((-6)/(-212))*h/64 a multiple of 28?
False
Let n be 822/(-12) - 1/2. Does 35 divide -1*(-1 + 3)*(n - 1)?
True
Let c be 0 + (-3)/1 + 7. Suppose 2*x + k - 237 = 0, -c*x = -9*x + 4*k + 573. Suppose -s = -z - 4*s + 21, 0 = -5*z - 3*s + x. Is z a multiple of 4?
True
Does 229 divide 7/(-21)*(12 - (-12 - -37485))?
False
Let b be 207 + (7 - 0) + -5. Suppose -2*h - b = -5*p - 53, p + 3*h = 38. Is p a multiple of 26?
False
Does 113 divide (1954/(-6) + (-17)/(-408)*-8)*-18?
False
Let c(q) = 7404*q**3 + 5*q**2 - q + 2. Is 67 a factor of c(1)?
False
Let n(p) = -1065*p + 873. Does 231 divide n(-20)?
False
Suppose 5587 = 3*a - 2*q, 55*a + 5*q = 59*a - 7447. Is a a multiple of 102?
False
Let s = 23097 - 16979. Does 174 divide s?
False
Let y be ((-65)/(-4))/13*4. Let k(q) = 10*q**2 - q + 13. Is 23 a factor of k(y)?
False
Suppose 0 = -3*v - 6 + 12. Suppose n - 2*n = -v. Suppose 2*x = -3*j + 543, -3*x - 2 + 364 = n*j. Does 40 divide j?
False
Suppose -4*r = -2*o - 154, 0 = 7*o - 4*o + 3*r + 222. Let w = o - -78. Suppose w*t + 3 + 3 = 0, 5*t = 5*l - 90. Does 8 divide l?
True
Suppose -5*c - 58 + 83 = 0. Suppose 0 = 2*b + c*j - 130, j = -2*b - j + 124. Does 6 divide b?
True
Suppose 106116 = 88*u - 256180. Is 6 a factor of u?
False
Suppose 80*j - 21*j = -95*j + 1471778. Is 19 a factor of j?
True
Let w be (-16)/8 - (-8)/4. Suppose -3*q + 884 + 736 = w. Is 12 a factor of q?
True
Suppose 4*u + 8 + 1 = 3*g, -3*g = -5*u - 9. Suppose 18*j + 0*j - 3186 = u. Is j a multiple of 14?
False
Suppose 3*m + m - 505 = 5*g, 2*m - 2*g - 250 = 0. Let j = m - 70. Suppose -j*x = -45*x - 190. Is x a multiple of 19?
True
Suppose -616 = -2*l - 4*z, -4*l - 2*z + 0*z + 1244 = 0. Let c = l + -193. Does 7 divide c?
True
Suppose 23*f - f - 3*f - 112309 = 0. Does 24 divide f?
False
Let f(y) = -847*y - 172. Is 96 a factor of f(-8)?
False
Is (-19581)/(-12) + 15/(-240)*-4 a multiple of 12?
True
Suppose 12*m = 9*m + 24. Let q be -18 + (5/(20/m))/1. Does 5 divide (q + -69)*2/(-10)?
False
Is 72 a factor of (-3474)/(-2) + -23 + 14?
True
Let q(c) = 4*c**3 - c**2 + 8*c - 83. Is 48 a factor of q(8)?
False
Let t(n) = -n**2 - 4*n + 11. Let x be t(-6). Let r be x*(4 - 4 - 4 - 0). Suppose -4*z = -2*p + p + 69, r*p - 5*z - 265 = 0. Is p a multiple of 5?
True
Let r = -69 + 177. Suppose 172 = 8*k - r. Suppose 0 = -d + 6*w - 3*w + k, -123 = -3*d + 3*w. Is 22 a factor of d?
True
Suppose 4*n + 3530 = 16*b - 11*b, -5*n + 2824 = 4*b. Suppose -o - b = -3*s + 721, -4*s + 4*o + 1916 = 0. Is 21 a factor of s?
False
Suppose -6*q - 16 = -14*q. Suppose 4*a + s = 537, 3*s - 5*s = q*a - 270. Does 65 divide a?
False
Suppose -4*a + 28 = 4*w, 4*w - 4 = a + a. Is 28 a factor of -98*(w/14)/((-20)/160)?
True
Suppose -2*g - 3*q + 5*q = -50, -4*q + 98 = 5*g. Suppose l - 12397 = -g*l. Is l a multiple of 49?
True
Let q be (12/15)/(0 + (-6)/(-45)). Suppose -q*p - 3 = 9. Does 3 divide (-3)/2*6*p/3?
True
Does 263 divide (416/24)/(40/12270)?
False
Suppose 6*y + 156 = -42. Let v(h) = -17*h + 9. Let n be v(7). Let j = y - n. Is j a multiple of 23?
False
Let p = 33 + -30. Suppose -1 = -p*c - 2*g, 0 = -4*c - 4*g + 4. Does 31 divide 107 - (3 + (-2 - c))?
False
Suppose 1074*r - 106553 = 1070*r - 5*d, 2*d + 26648 = r. Is r a multiple of 173?
True
Suppose 21981 = -27*q + 78*q. Let f = -236 + q. Does 39 divide f?
True
Let x be 43/(-172) + 15/12. Let p be 2*5*(-4)/10. Is (1/x)/(p/(-556)) a multiple of 31?
False
Let h be (9/(-6))/((-5)/(-10)). Let k(i) = -18*i - 2. Let s be k(h). Let q = s + -18. Does 16 divide q?
False
Let b = 36 + -34. Let z be (-47)/2*12/(-4 - b). Suppose 4*c - z - 65 = 0. Is c a multiple of 4?
True
Suppose 3*i - 6*r = -5*r + 2, 0 = 3*i + 2*r + 4. Suppose i = -j - 102 + 498. Is j a multiple of 14?
False
Let g(a) = -a**3 - 16*a**2 + 14*a + 7. Suppose -4*u + 5*d = 83, -2*u - d - 2*d - 25 = 0. Does 22 divide g(u)?
False
Let o(z) = -2*z**3 + 135*z**2 - 255*z - 60. Does 69 divide o(63)?
True
Suppose -2*d = -4*t - 258, 2*t + t - 3*d + 186 = 0. Let s = t + 44. Let k = s - -66. Does 15 divide k?
False
Suppose 0 = -2*v - 112 - 188. Suppose -u + 5*r = -357, -2 - 6 = 2*r. Let c = u + v. Is c a multiple of 17?
True
Is 27505/15 + (-7)/(42/(-8)) a multiple of 15?
False
Let q = -35 - -19. Let r be ((-236)/8)/((-28)/q + -2). Let p = r - 71. Is 39 a factor of p?
False
Let y(f) = f**2 - 9*f - 5. Let z be y(10). Suppose z*p + 80 = -5*w, -6*w = -3*p - 2*w - 83. Is 3 a factor of ((-7)/(-7))/((-22)/p + -1)?
True
Let s be 0/(8 + -9 - (0 - -1)). Suppose 2*v - 9*v + 1232 = s. Is 22 a factor of v?
True
Suppose 0 = 7*z - 34970 - 50367. Is z a multiple of 16?
False
Suppose 18573 = 4*g + 3*j, 12685 = 3*g + 4*j - 1250. Does 5 divide g?
False
Let s(g) = -25*g - 138 - 136 + 310 - g**2. Is 6 a factor of s(-24)?
True
Let c(q) = 3*q**2 + 63*q - 728. Does 157 divide c(-45)?
True
Suppose -71 = -z - 3*j, 0 = j - 5 - 0. Suppose 4*p - 5*u = -122, -8*p - 148 = -3*p - 4*u. Let q = z + p. Does 21 divide q?
False
Let l(y) = -y**2 + 16*y - 12. Let u be -1*(-40)/(-4)*(-6)/4. Suppose 33 - u = 2*a. Does 17 divide l(a)?
True
Suppose 244*s - 861053 = -50*s + 1760251. Is s a multiple of 6?
True
Suppose 4*g + 28*w - 1076 = 27*w, -5*g = -w - 1354. Let b = -216 + g. Is b a multiple of 2?
True
Let d be ((-2)/(-6))/((-5)/(-135)). Let b(y) = 2*y + 19. Let k be b(d). Suppose l = 2*l - r - 33, 0 = l + r - k. Does 6 divide l?
False
Let w(f) = f**2 - 10*f + 27. Let s be (0/2)/(1/(1 - 2)). Let i be (2 - 13)/(s - 1). Is 19 a factor of w(i)?
True
Let v be (1/2)/(2/(-36)). Let f(h) = -5*h**2 + 13*h + 9. Let s(o) = -3*o**2 + 12*o + 8. Let a(m) = 2*f(m) - 3*s(m). Does 3 divide a(v)?
True
Does 43 divide 18393*12/27 - 4/(-12) - 5?
True
Let r(g) be the third derivative of g**5/20 - 5*g**4/4 + 3*g**3 - 20*g**2. Let x be r(8). Does 4 divide 970/25 + 24/x?
False
Let j = 95 - 87. Let c(b) = 25*b**2 - 111*b + 15. Let l(s) = -5*s**2 + 22*s - 3. Let y(n) = -2*c(n) - 11*l(n). Does 21 divide y(j)?
False
Let h(f) = f**2 - 19*f - 30. Let c be h(22). Let z = 41 - c. Is ((-4 - -7) + -1)*z*5 a multiple of 5?
True
Let v be 150/(-3) + (1 - -1). Let s = v - -47. Is 11 a factor of 231/s*(-2)/6?
True
Let q(d) = -160*d + 5. Let o be q(-3). Let b = -205 + o. Suppose v = -3*v + b. Is 14 a factor of v?
True
Suppose -25 = 5*z + 5*f, -4*f + 2 = -4*z + 22. Suppose -3*w - h = 4*h - 9, -4*h = z. Is w/1 + 95 + -5 + 2 a multiple of 19?
True
Suppose 0 = 3*h - j - 324 + 118, -2*h + 134 = j. Let q = 114 - h. Suppose -d + 3 = -q. Does 9 divide d?
False
Suppose 3*h + 14 - 2 = 0, -4*h + 11 = -3*m. Let t(g) be the third derivative of -g**4/12 - 11*g**3/6 + 150*g**2. Is 7 a factor of t(m)?
True
Let j = -5053 - -8738. Is j a multiple of 37?
False
Let b(n) be the second derivative of -n**5/20 + 11*n**4/12 - n**3/2 - 3*n**2/2 + 61*n. Is b(3) a multiple of 30?
True
Is 15 a factor of 35/((-210)/54) + 24937?
False
Suppose 0 = 3*q + 3*c + 399, 9*q - 5*q - 5*c = -559. Let z = q + 847. Does 79 divide z?
True
Let g = -2314 + 2314. Let y(u) be the second derivative of -u**4/12 + 6*u**2 + 2*u. Does 12 divide y(g)?
True
Suppose 928361 + 477329 = 48*d - 96374. Is d a multiple of 13?
False
Suppose 15*k - 144637 + 24988 = 36546. Does 13 divide k?
True
Suppose -3*t + 13 - 1 = 0. Suppose 0 = 4*z + t*c - 3188, 6*z - 4*c + 803 = 7*z. Is z a multiple of 28?
False
Suppose 5*j - 8*j = -5*f - 124, 2*j + f = 100. Suppose 0 = -45*l + j*l - 2337. Is l a multiple of 38?
False
Suppose 1192500 = -86*g + 245*g. Is 75 a factor of g?
True
Let t(l) = 2*l**2 - l - 36. Let m be t(0). Let p be (-3)/(3/m*2).