e
Let m = 11 + 2. Let i(g) = -g**3 + 12*g**2 + 14*g + 1. Does 3 divide i(m)?
False
Let x(a) = -3*a + 2. Let c be x(-1). Suppose -c*s + 337 = 72. Does 16 divide s?
False
Suppose 6*y - 14*y + 1400 = 0. Does 7 divide y?
True
Let o(w) = 6*w**2 - 32*w + 107. Is 3 a factor of o(9)?
False
Let h = -155 - -158. Let n(z) = 52*z - 7. Is n(h) a multiple of 16?
False
Let b(d) = d**3 - 4*d**2 - 9*d + 40. Does 26 divide b(9)?
True
Suppose -p + 1 = -1. Let k be (-9)/(-45) + p/(-10). Suppose k*b - 20 = -2*b. Is b a multiple of 10?
True
Suppose -3*y = -72 - 18. Suppose 25*s = y*s - 465. Does 11 divide s?
False
Suppose 3*a = -6*a. Let t be -3 + (-20 - a)/(-4). Suppose 3*w = 6*w + 4*j - 36, 0 = w - t*j - 12. Does 3 divide w?
True
Suppose 4*t - 16 = 0, -3*n + 4*n + 5*t - 104 = 0. Let q = 136 - n. Is q a multiple of 25?
False
Let s be (-12)/(-9)*(-9)/(-6). Let z be (3 - 5) + s - -4. Suppose -3*f = -z*y + 335, 0 = -9*y + 4*y + f + 427. Does 36 divide y?
False
Suppose 0 = -3*s - s - 4*n + 716, 4*n = -3*s + 536. Does 20 divide s?
True
Let g(p) = p**3 + 14*p**2 + 7*p + 34. Let l be g(-14). Is ((6 - 0)/(-3))/(-1) - l a multiple of 17?
False
Suppose -4*t - 15 = a + 9, 0 = -3*a + 3*t - 72. Let u = 27 + a. Is -3 - ((-82)/2 - u) a multiple of 11?
False
Let a = 41 - 35. Is 23 a factor of ((216/a)/6)/((-3)/(-92))?
True
Suppose -5*z + 22*z - 14280 = 0. Is 40 a factor of z?
True
Is (-10)/2 - (-31)/(341/2354) a multiple of 71?
False
Suppose -8 = -2*n - 2. Suppose n*p + 4*t + 36 = -166, t = -5*p - 331. Let s = -18 - p. Is 12 a factor of s?
True
Let k = -14 + 18. Suppose p = 3, 2*p + 85 - 27 = k*n. Is 2 a factor of n?
True
Let b(x) = x**3 + 8*x**2 + 4*x + 5. Let y be 14*(14/4)/(-7). Let u be b(y). Suppose -u = -2*v + 14. Is 5 a factor of v?
True
Suppose 2*r - 4*m = 26, 5*r + 5 = -m - 3*m. Suppose -30 = -r*c + 2*s, s - 29 = -4*c - 0*s. Is c a multiple of 8?
True
Let v = 10 - 12. Let h = v - -98. Is 12 a factor of h?
True
Suppose 19*d = 16*d + 18. Suppose 0 = 5*q + 4*g + 76 - 688, -3*g = d. Does 26 divide q?
False
Let b = 4410 + -822. Does 92 divide b?
True
Suppose -2*b + 8*b = 12. Is ((-3)/2)/(b + (-1245)/618) a multiple of 29?
False
Let i(r) = r**3 + 7*r**2 - 8*r - 3. Let n be i(-8). Let k(t) = -13*t**3 - 4*t**2 - 10*t - 8. Is 26 a factor of k(n)?
False
Suppose 2*f - 5*u + 12 = 0, 0 = -5*u + 32 - 12. Suppose -t + 506 = 4*a - f*t, -3*t + 134 = a. Is a a multiple of 16?
True
Suppose 340 = 4*p - 4548. Is p a multiple of 28?
False
Let y = -561 - -708. Is y a multiple of 7?
True
Suppose 9*p - 1237 - 365 = 0. Is 3 a factor of p?
False
Let t(y) = 29*y + 12. Is 11 a factor of t(2)?
False
Let a(j) = -j**2 - 3*j + 11. Let p be a(-6). Let n be (-3)/p + (-50)/(-14). Suppose 2*l - 7*l = -2*t + 14, 0 = n*l. Is t a multiple of 2?
False
Let x(w) = 3*w**2 + 7*w + 3. Let h be x(5). Suppose 0*s = 3*s + d - h, 12 = -3*d. Is 13 a factor of s?
True
Suppose 12*q - q - 3993 = 0. Is q a multiple of 32?
False
Suppose 2*v - 40 = 6*v. Let z = v - -10. Is 7 a factor of 21 - z*(-4)/16?
True
Let d(y) = 58*y**2 - 10*y + 72. Is 6 a factor of d(-8)?
True
Is 1*90*(-16)/(-20) a multiple of 6?
True
Let n = 336 + -187. Suppose -4*m + n + 127 = 0. Is m a multiple of 23?
True
Suppose 2*u + 6*u + 112 = 0. Let x = u + 17. Does 3 divide x?
True
Suppose 2*z = -2*z + 528. Suppose -3*w + 4*w - z = 0. Suppose 4*y - 2*y - w = 0. Does 17 divide y?
False
Suppose -2*t = -3*r + 4709, -t - 7848 = -5*r + 2*t. Let c = -1121 + r. Is c a multiple of 64?
True
Let w = -229 - -271. Suppose -5*d - 19 - 16 = 0. Let a = w + d. Is a a multiple of 7?
True
Let v be 20 - 2/(-4)*8. Suppose -5*b + 3*m + 28 = 0, 2*m + v = 5*b + 3*m. Suppose -2*f = 2*u - 24, b*u + 30 = 4*f + f. Does 2 divide f?
False
Suppose 3*s + 36 = 4*v - 269, -2*v + 5*s + 163 = 0. Let j = v - -32. Does 15 divide j?
False
Suppose 4*p - 15 = -3. Suppose 0 = 3*c - 2*c - p. Let q(v) = 5*v**2 - 2*v - 2. Does 17 divide q(c)?
False
Let l(i) = i + 2. Let h be 3 + 6 + -3 + -1. Let q = 1 + h. Does 3 divide l(q)?
False
Does 13 divide (-3)/(-2)*6*13?
True
Suppose 2*c + 34 - 6154 = -2*u, 0 = -5*u - 2*c + 15291. Is 28 a factor of u?
False
Does 12 divide 1681/9 + 5/((-225)/(-10))?
False
Suppose -10*j + 105 = -945. Is j a multiple of 24?
False
Let v = -330 - -538. Does 32 divide v?
False
Suppose 11*l + 392 = -477. Let y = l - -129. Is 25 a factor of y?
True
Let b(f) = -f**3 + 3*f**2 + 9*f. Let z be b(7). Let h = -75 - z. Is 23 a factor of h?
False
Suppose -8*y - 3*b + 2406 = -5*y, y - 5*b = 790. Is 26 a factor of y?
False
Let q(y) = 75*y**2 + 5*y + 1. Is 19 a factor of q(-2)?
False
Suppose -4*s - 6 = -3*s - 2*v, -3*v + 22 = 5*s. Let y be 75/10 + s/4. Suppose y = -3*f + 5*f, f = -5*g + 299. Is g a multiple of 34?
False
Suppose -5*l = -5*w + 125, -w - 89 = -4*w - 4*l. Is 3 a factor of w?
True
Let p = -11 - 4. Let z be 336/p - (-6)/(-10). Let n = z + 47. Is n a multiple of 24?
True
Let i = 666 - 267. Does 21 divide i?
True
Let j be (-1)/7 - (4 - (-12)/14). Let o(b) = -b**3 + 19*b - 7. Is o(j) a multiple of 7?
False
Suppose 36*m = 23*m + 12012. Does 44 divide m?
True
Suppose -4*g + 11*g = 0. Suppose g = 6*w + 167 - 839. Does 28 divide w?
True
Suppose 0 = 5*t - 12*t - 8211. Does 13 divide t/(-5) - (-66)/(-110)?
True
Let j(d) = d**3 - 17*d**2 - 5*d - 31. Does 7 divide j(18)?
True
Let n(f) = -2*f**3 - 10*f**2 - 10*f - 13. Let t be n(-6). Suppose 172 + t = 3*i. Does 21 divide i?
False
Let i(f) = f**3 + 14*f**2 - 12*f + 18. Is 7 a factor of i(-13)?
True
Let x = -7 - -14. Let p = x + -3. Suppose 0*f + p*o + 13 = 3*f, -2*o = 2. Is f a multiple of 3?
True
Let j(t) = -9*t - 170. Is j(-21) a multiple of 2?
False
Let y(m) = -2*m**2 + 29*m - 11. Let h be y(14). Suppose -261 = -z - 2*z - 5*p, 0 = p + h. Is 23 a factor of z?
True
Let f(b) = b**3 + 9*b**2 + 6*b + 7. Let o be 140/44 + 6/(-33). Suppose n + 4*z = 5*n + 48, o*n - z + 26 = 0. Is f(n) a multiple of 21?
True
Let c be 2/6*156/4. Let g = c + 32. Does 15 divide g?
True
Let l be 2/((-9)/(-6) + -1). Suppose l*j + 3*o = 755, 7 = -5*o - 8. Suppose -164 = -5*n + j. Is n a multiple of 26?
False
Suppose -66 = -4*h + 3*h. Suppose -94 = -y + h. Is y a multiple of 16?
True
Suppose 12*m - 7*m = 10. Let q be ((-1)/(1/(-3)))/1. Suppose 5*p - 58 = 3*p - 3*k, m*p - q*k = 58. Does 7 divide p?
False
Does 46 divide (-8)/(-6) - ((-1106)/21 - -8)?
True
Let a(k) be the second derivative of -k**5/20 - 2*k**4/3 - 4*k**3/3 - k**2/2 + 13*k. Is 21 a factor of a(-8)?
True
Let v = 437 + -325. Does 2 divide v?
True
Suppose -650 = s + 12*s. Let h = s - -89. Does 7 divide h?
False
Is 46942/63 + 7/(-63) a multiple of 44?
False
Let z(k) = -165*k - 65. Is 40 a factor of z(-5)?
True
Suppose 0 = -j + 40 + 4. Suppose 0 = s - 37 - j. Is 20 a factor of s?
False
Let p be (-32)/(-14) + 4/(-14). Suppose -p*j + 5*j = 0. Suppose j = -7*s + 2*s + 185. Is s a multiple of 8?
False
Suppose 0 = 9*w - 348 - 993. Is w a multiple of 16?
False
Let r(w) = -w**2 - 3*w + 1230. Does 30 divide r(0)?
True
Let d(l) = 3*l**2 - 31*l - 14. Does 15 divide d(14)?
False
Let f(q) be the first derivative of 3*q**2/2 + 20*q + 38. Is f(0) a multiple of 5?
True
Let k = -299 - -822. Does 15 divide k?
False
Let o be (-4 + 2)/(2/(-3)). Suppose a + 2*p + o*p - 29 = 0, 5*a = p + 15. Suppose a*z = -y + 234, z = 2*y + 10 + 53. Does 19 divide z?
False
Suppose 3*z - 204 = -1224. Let x = -204 - z. Is 22 a factor of x?
False
Let y be (-21)/(-49) - 4026/(-14). Suppose 89*q - y = 83*q. Is 5 a factor of q?
False
Let f = -68 + 54. Let z = f + 153. Is z a multiple of 11?
False
Let b(m) = -16*m - 57. Is b(-12) a multiple of 10?
False
Suppose -4*r = 3*r - 609. Let v = -78 + r. Is v even?
False
Suppose -23 = 3*s + 37. Does 17 divide 1 - (3 + 1 + s)?
True
Let d = -24 - -58. Let x be (-3)/(-6)*(-2 + d). Suppose -2*t = -x - 28. Does 11 divide t?
True
Let w be (-3 - (-2)/2)*4. Let x = -6 - w. Is 10 a factor of 2/4 - (-35)/x?
False
Let n = -59 - -40. Let x = 228 + -259. Let v = n - x. Is v a multiple of 4?
True
Let b(n) = 7 + 0*n + 3 - n - 3. Let h be b(8). Is (-1 + h)/((-30)/945) a multiple of 21?
True
Suppose 4*i = -701 + 1117. Does 13 divide i?
True
Suppose -12 = -c - 5. Suppose c*m = 5*m + 8. Suppose 0 = -3*l - 4*i + 128, 224 = 5*l - 0*i - m*i. Is 15 a factor of l?
False
Is ((-195)/(-5) + -3)*(6 + 0) a multiple of 11?
False
Let v(x) be the t