3)/(-13). Suppose 18*i + 228 = a*i. Does 37 divide i?
False
Let h(k) = -234*k + 26. Does 5 divide h(-11)?
True
Let x(u) = 66*u - 351. Is x(11) a multiple of 5?
True
Let c be 4/70*5 + (-13646)/(-14). Suppose 255 = r - 5*a, c = 4*r - 49*a + 44*a. Is 30 a factor of r?
True
Let z be (-1)/5*(1 + -6). Let j(i) = 674*i**2 - 3*i + 1. Does 48 divide j(z)?
True
Suppose 0 = 2*r + 9*r + 957. Let v = r + 142. Is v a multiple of 7?
False
Is ((14/(-70))/(15/(-25)))/(5/54375) a multiple of 25?
True
Let b be (3/6)/((-15)/190)*27. Let h = -95 - b. Is h even?
True
Let u be (-32 - 14)*(1 + -2). Let l = -44 + u. Is 13 a factor of l + (-9)/((-27)/150)?
True
Let g = -211 - -216. Suppose 38 = 5*t + a + g, 4*t + 5*a = 39. Is t a multiple of 3?
True
Let h(v) = -v**3 + 4*v**2 + 7*v - 2. Suppose 4*t - 1 = -5*w - 161, 3*w = 2*t - 118. Let y be ((-9)/w)/((-1)/(-12)). Is 14 a factor of h(y)?
True
Suppose 0 = 3*h + 6, -2*h + 24 = -5*g - 12. Does 4 divide 12/(-8) - 4/g*431?
False
Suppose -30790 = -52*v + 42*v + 127340. Is v a multiple of 65?
False
Let a = 956 - 166. Let h = a + -510. Does 19 divide h?
False
Let y(g) = 551*g**2 - 40*g + 138. Is 17 a factor of y(3)?
False
Let k be ((-10)/20 + 2/(-4))*-3. Does 39 divide ((-8)/(-40) + (-584)/(-5))*k?
True
Let x(y) = 2*y - 11. Suppose -5*p = 11 - 46. Let c be x(p). Suppose 0 = -c*u - 2*t + t + 125, t = u - 35. Does 4 divide u?
True
Let l(x) = 3*x**3 - 20*x**2 + 12*x + 6. Let k be l(6). Let f(a) = 6*a**2 - 3*a - 30. Is f(k) a multiple of 7?
True
Let x(o) = 21*o**2 - 364*o - 24. Is x(-33) a multiple of 257?
False
Let c be 1 - ((-4)/6)/((-2)/66). Let f be 1/(3 + 60/c). Suppose f*u - 648 = -2*u. Is u a multiple of 6?
True
Let u be (-7 + 4)*4/(-12). Let v(b) = 11*b**3 - b + 1. Let f be v(u). Suppose 12*l - f*l - 11 = 0. Does 2 divide l?
False
Suppose -24*i - 8 = -26*i. Suppose p + 3*h = -4, 0 = -2*p - p - i*h - 2. Suppose -4*z + 204 = p*z. Is 17 a factor of z?
True
Let o = -829 + 1255. Let q = o + -80. Is 17 a factor of q?
False
Let v(b) = -30*b**2 + b + 2. Let h be v(-2). Let l = h - -822. Is 9 a factor of l?
True
Let y(f) = -2634*f**3 - 7*f**2 - 2*f - 1. Is 73 a factor of y(-1)?
True
Does 67 divide (-723)/((-1)/(-3) - 752/1833)?
False
Suppose 0*n - 3938 = 11*n. Let v = n - -903. Does 13 divide v?
False
Let m = 96 - -8728. Is 2/(-14) + (-1)/((-28)/m) a multiple of 14?
False
Suppose -z = -3*t + 2*t - 4676, -4*t - 23378 = -5*z. Suppose 870 + z = 12*x. Suppose k - 7*k = -x. Is 38 a factor of k?
False
Suppose 0 = -5*k + x - 48, 0*k - 2*k + x - 18 = 0. Let r be 13 + k - (-66)/(-2 - 0). Is 14*638/60 + (-4)/r a multiple of 37?
False
Let s be (3/(-5) + 1)*-70. Let v(d) = 4*d + 248. Is v(s) a multiple of 12?
False
Let r(g) = -7*g**3 + 11*g**2 - 4*g - 40. Let a(d) = -7*d**3 + 10*d**2 - 4*d - 40. Let s(j) = 4*a(j) - 3*r(j). Is s(-5) a multiple of 13?
False
Is 186 a factor of (-115815560)/(-10710) + 3/(27/2)?
False
Let z(k) = -11*k + 56. Let l be (-12)/(-3) - (6 + -6). Is z(l) a multiple of 2?
True
Let q(i) = 304 - 129 - 101 + 2*i. Is q(13) a multiple of 4?
True
Suppose m + 385 = 412. Suppose 0 = -21*s + m*s - 1248. Does 4 divide s?
True
Suppose 198 = -z + 2354. Is z a multiple of 4?
True
Suppose -6*k + 5911 = 895. Suppose k - 488 = 4*o. Is o a multiple of 16?
False
Suppose -183*m + 190*m = -21126. Let j = -2066 - m. Is 34 a factor of j?
True
Suppose 0 = 75*h - 72*h - 2*c - 13350, h - 4*c - 4460 = 0. Does 36 divide h?
False
Suppose -2*u + 15 = 3*u, 5*u = -g + 25. Suppose -6*s + g = -5*c - 4*s, -15 = -2*c - 3*s. Suppose -20*m + 15*m + 225 = c. Is m a multiple of 9?
True
Let s(h) = 2*h**3 - 8*h**2 - 39*h - 67. Does 11 divide s(16)?
False
Suppose 17*v - 24*v - 98 = 0. Let k be (36/v)/((-48)/(-2240))*1. Let g = k + 140. Is g a multiple of 2?
True
Let q(r) = -r**3 - 6*r**2 - 5*r + 7. Let z be q(-5). Suppose 0 = 2*s + z*a - 2*a - 401, -410 = -2*s + 4*a. Let u = s - 143. Is u a multiple of 20?
True
Let m = 71 + -60. Suppose -2*r - m*r + 676 = 0. Is r a multiple of 2?
True
Let u(c) = 6*c**2 - 3*c - 5. Suppose -13*o - 18 = -4*o. Is 4 a factor of u(o)?
False
Let i be 2 + (-3)/(3/4) + 9. Suppose -2*y + i = w, -y - w = w + 1. Suppose 2*n + y*d = 4*n - 157, -n + 4*d = -71. Is n a multiple of 7?
True
Let p(x) = -35*x**2 + 8*x - 42. Let a be p(4). Let t = a + 915. Is t a multiple of 35?
False
Let a = 610 + -651. Suppose -n = -3*m - 62, 8*n - 290 = 3*n - 5*m. Let t = n + a. Is 9 a factor of t?
True
Let y(g) = -g + 390. Let x be y(0). Suppose -215 - 1542 = -7*l. Let a = x - l. Is 5 a factor of a?
False
Let d be (5/15)/(4/84). Suppose -4*v - 4*j + 156 = 0, 0 = v - 3*j - 0*j - 19. Suppose -y + d = -v. Does 3 divide y?
False
Suppose -13*c + 2 = -11. Is 9 a factor of ((-90)/(-25))/(c/70)?
True
Let c(k) be the second derivative of -11*k**3/3 + 16*k**2 + 9*k. Let x be c(-6). Suppose -x - 263 = -7*v. Is v a multiple of 28?
False
Let q be 72/30 - (3 - 54/15). Suppose q*c = -3*i + 111, 4*c + i - 205 = -69. Is 27 a factor of c?
False
Let c be (-208)/3 - (-7)/21. Is (-66)/(3 + c/21) + -3 a multiple of 6?
True
Let n(j) = 4*j**3 - 298*j**2 - 111*j + 54. Does 3 divide n(75)?
True
Let u(a) = a**2 + 2*a + 4. Let d(y) = y**3 - 3*y**2 - 6*y - 12. Suppose 7*i = 8*i - 4. Let o(k) = i*d(k) + 11*u(k). Is o(2) a multiple of 14?
False
Let f = 1474 - 54. Suppose 0 = -5*o - 4*w + 1775, 3*w = -4*o - w + f. Is o a multiple of 7?
False
Let x(l) be the first derivative of 5*l + 23 + 1/4*l**4 + 11/3*l**3 + 3/2*l**2. Does 36 divide x(-7)?
True
Suppose o - 7*j = 5494, -4516 = -2*o + 4*j + 6502. Does 74 divide o?
False
Let p(k) be the first derivative of -1/2*k**2 + 0*k + 31/4*k**4 - 29 + 0*k**3. Is 3 a factor of p(1)?
True
Let t = 2995 + 17205. Is 202 a factor of t?
True
Let t be (-444)/(-14) + (-2)/(-35)*5. Suppose -2*f + t = 2*i, -i - 11*f = -7*f - 28. Does 12 divide i?
True
Let u = -787 - -821. Let b = 29 - -90. Suppose -2*v + b = z + u, -4*v + 179 = -z. Is v a multiple of 11?
True
Let y(o) = -10*o + 134. Suppose -3*b - 3*x = 48, 28*b - 26*b = -4*x - 38. Is y(b) a multiple of 11?
True
Does 56 divide 495656/49 + 126/(-294)?
False
Let f(o) = 155*o + 1195. Is 20 a factor of f(20)?
False
Suppose 28 - 4 = -6*q. Let h = 4 + q. Suppose 0 = -h*w + 3*w - 261. Is 29 a factor of w?
True
Suppose -7 - 5 = -3*c. Suppose 665 = 5*m - 5*f, -f + 387 = -c*m + 7*m. Is m a multiple of 26?
True
Let d = -275 + 156. Let w be (-2335)/(-7) - 51/d. Let z = -175 + w. Is z a multiple of 36?
False
Let y(n) = -8427*n - 486. Is y(-6) a multiple of 12?
True
Let y = 56482 + -37750. Is 66 a factor of y?
False
Is (24/10)/((-588)/(-3150210)) a multiple of 81?
False
Let f(m) = m - 37. Let r be f(-12). Let p = r + 92. Suppose -167 = -2*a + p. Does 21 divide a?
True
Suppose 45523 = 47*f - 1084122. Is 115 a factor of f?
True
Is 109 a factor of (1 + -6)*(-343454)/830?
False
Let r be (42/9 - 2)*3. Suppose -185 = r*l - 1977. Is l a multiple of 16?
True
Suppose j - 2*j = -2*j. Suppose 0 = 4*l, -4*l + 70 = -j*g + 5*g. Let m(q) = -q**2 + 24*q + 21. Is 17 a factor of m(g)?
False
Let p(h) be the first derivative of h**4/4 - 14*h**3/3 - h**2/2 + 25*h - 276. Does 118 divide p(18)?
False
Let p = 3237 + -2260. Is p a multiple of 44?
False
Is 43 a factor of -1 + 2150 + -1 - (4 + -6)?
True
Let c = 26138 + 3066. Is 149 a factor of c?
True
Let c = 164 + -63. Let a = c - 35. Let r = a - 18. Is 12 a factor of r?
True
Let f(a) = -7*a**2 + 311*a - 49. Let n be f(44). Let x = 25 - 49. Let g = n + x. Is g a multiple of 9?
False
Suppose -6*a = -7*a + 111. Let x = a - -12. Let j = 210 - x. Is 11 a factor of j?
False
Let m = 48 - 97. Let k = 140 - m. Is 8 a factor of k?
False
Let n = -449 + -279. Let b = n - -1100. Is 26 a factor of b?
False
Let d = 2736 - 1988. Does 26 divide d?
False
Suppose 1260*l - 924 = 1258*l. Is 83 a factor of l?
False
Suppose -2*b + 3*t + 10 = 87, 2*b = -3*t - 83. Let q be ((-8)/5)/(-4)*b*1. Is 120/q*(-84)/15 a multiple of 14?
True
Suppose 2*s - 3*a = -15, -2*a = -5 - 5. Suppose 0 = -19*x + 13*x + 720. Suppose -q + 3*q - x = s. Does 20 divide q?
True
Suppose 0 = -f - u + 1037, 3*u - 4143 = -4*f - 0*u. Is 6 a factor of f?
True
Let l(b) = -b**3 - 6*b**2 - b + 27. Let g be l(-5). Suppose 310 = g*d - 5. Is 37 a factor of d?
False
Suppose m - 3*d = 326, -3*d = 3*m - 2*d - 1028. Let v = 709 - m. Is v a multiple of 23?
True
Let p be 6