e z?
False
Suppose -2*g + 6*g - 2*d = 22, 0 = -2*d - 2. Suppose i - g*w - 54 = -3*w, -2*i = -5*w - 103. Is i a multiple of 11?
False
Let i = -2963 + 4157. Does 18 divide i?
False
Let h be (60/9)/((-1)/3). Let u be -1 + (-4)/(16/h). Suppose -90 - 18 = -u*s. Is 27 a factor of s?
True
Suppose 20 = 2*v + 2*i, 42 = v + 4*v + 3*i. Suppose -s - 3*b - 124 = -3*s, -3*b = -v. Suppose s = 6*z - z. Is 2 a factor of z?
False
Suppose -p + 10*v - 10 = 5*v, -4 = -2*v. Suppose -3*q = r + 128, p = 3*r + q - 4*q + 336. Is r/(-8) - (-1)/(-2) a multiple of 5?
False
Let o(u) = u**2 + 16*u - 36. Let m be o(-18). Is 0 + (-2 - (m - 1)) + 162 a multiple of 23?
True
Let i(t) = -t**2 + 15*t + 35. Let g = -68 + 104. Suppose 5*x + 2*b - 19 = 53, -2*x + b + g = 0. Does 13 divide i(x)?
False
Suppose -2*y - 15 = 5*h - 58, -23 = -y - 4*h. Let u be y - (2 - (3 - -3)). Suppose -3*t + 2*z + u = -1, -2*z - 4 = -t. Is t a multiple of 7?
False
Suppose -5*a - 5*v = -110, 6*v - 2*v = -3*a + 61. Let h(g) = g**3 - 25*g**2 - 48*g - 35. Does 10 divide h(a)?
False
Is (-21953)/(-87) + (-1)/3 a multiple of 84?
True
Suppose -q = 4*c - 4617, -6*q + 11*q + 4635 = 4*c. Is 15 a factor of c?
True
Suppose 11 = -2*k - 5. Let b = 16 + k. Does 5 divide b/36 + 79/9?
False
Suppose 15 = 4*m - 2*j - 1, 4*m + j = 28. Suppose m = 3*u + 4*i - 0*i, 5*i = 0. Suppose 0*o + u*o = 80. Does 8 divide o?
True
Suppose -41*n + 510 = -39*n. Does 5 divide n?
True
Suppose 5*m = -30*m + 8575. Is m a multiple of 8?
False
Let q be (-6)/10 + (-223)/(-5). Suppose -46*d = -q*d - 306. Is d a multiple of 44?
False
Let b = -1539 + 4289. Is b a multiple of 125?
True
Let q be (-32)/(-6) - (-3)/(-9). Suppose -p + 5 - 3 = 0. Suppose p*v = 9 + q. Is 4 a factor of v?
False
Let f(w) = 0*w**2 + w**3 - 4*w + 2*w**2 + w + 0*w. Let c be f(3). Let p = c + -15. Is 7 a factor of p?
True
Suppose -2*a + 4965 = 5*m, 4*m - a = 198 + 3774. Is m a multiple of 54?
False
Suppose -3*i - 16*r + 143 = -12*r, 5*r = -5. Is 7 a factor of i?
True
Let j = 1397 + -983. Is j a multiple of 23?
True
Let s(u) = 77*u**3 + u**2 + 4*u - 5. Is s(1) a multiple of 7?
True
Let p be 1 - (0 + -3)*-1. Let m = p + 1. Does 3 divide m*3 - (18 - 32)?
False
Let v(c) = -7 - c + 3 + 16. Let t be v(6). Suppose 5*q - t*q = -37. Is q a multiple of 7?
False
Suppose -11*z = 14*z - 26775. Does 63 divide z?
True
Let f = 11 + -43. Is 30 a factor of (f/1 - -2)*10/(-5)?
True
Suppose r = 2*m + 1537, -3*r + 37*m + 4606 = 32*m. Is 8 a factor of r?
False
Let r = 437 + -254. Does 7 divide r?
False
Let h = 1005 + -532. Let b = h - 293. Is 42 a factor of b?
False
Let q be 1 - (-7)/((-7)/(-2)). Suppose -p = q*g - 101, 4*g + 2*p - 3*p = 123. Is g a multiple of 16?
True
Let n = 7 - -1. Suppose -z - 2*z - 12 = 3*r, -2*r - n = 4*z. Suppose f = k + 3*f - 16, 5*k - 3*f - 106 = z. Does 3 divide k?
False
Suppose -g + 10 = -2*g. Let q be (-728)/(-20) - (-4)/g. Suppose y = -y + q. Is y a multiple of 18?
True
Suppose 3*w - 10*w + 35 = 0. Suppose w*k = 4*k + 34. Suppose -2*t = t + 6, t - k = -3*y. Does 2 divide y?
True
Let x(i) = -3*i - 2. Let g be x(-3). Suppose 13 - g = m. Suppose 0 = -w - 0 + m. Does 6 divide w?
True
Let f = -48 - -43. Is ((-16)/f)/(10/75) a multiple of 6?
True
Let o = -193 - -206. Does 2 divide o?
False
Suppose -3*v = -5 - 4. Suppose 2 = v*g + 11. Let p(f) = -f**3 - 2*f**2 - 3*f - 2. Is p(g) a multiple of 8?
True
Suppose 3*s = -0*i - 4*i + 664, 0 = -s - 4*i + 208. Is s a multiple of 19?
True
Let p(o) = o**3 - 6*o**2 - 4*o - 18. Let f be p(7). Suppose -3*k = 3*u - 147, -147 = -f*k + 2*u + 3*u. Is k a multiple of 6?
False
Let g be (4 + -6)*-1 - 2. Suppose o - k + 5*k - 34 = g, 170 = 5*o + k. Does 16 divide o?
False
Does 18 divide -604 + 601 + (2485 - -1) + 1?
True
Let n(u) = -19*u + 5. Let m be n(4). Let i = m + 5. Let j = i - -97. Is 7 a factor of j?
False
Let k = -13 - -27. Let m(p) = p + 2. Let i be m(k). Suppose 32 = 3*d - i. Does 5 divide d?
False
Suppose -4*h - 22 = -d, 4*d + 0*h - 4*h = 40. Suppose -7*k + d = -4*k. Suppose -k*m = -5*t + 410, 2*m - 410 = -5*t - m. Is t a multiple of 23?
False
Suppose 0 = 5*q + 5*m - 35, -4*m = -0*q - 3*q. Suppose a = -4*a + 2*d + 84, 0 = 3*a - q*d - 42. Does 3 divide a?
True
Let d = -437 - -1304. Is d a multiple of 17?
True
Suppose 3*z - 7140 = -2*z - 5*y, z = -2*y + 1430. Does 31 divide z?
True
Let r be ((2 - 7) + 7)*2. Let f(l) = -l**2 + 3*l. Let o(j) = 5*j**2 - 15*j. Let u(h) = -22*f(h) - 4*o(h). Is u(r) a multiple of 4?
True
Let b(d) = d + 6. Suppose y - 12 = -3*y. Let x be b(y). Does 13 divide 4/(-18) + 353/x?
True
Let w be 16/6*(-156)/(-8). Suppose -s + 3*u = -w, 4*s - 4*u + 5*u - 260 = 0. Is 17 a factor of s?
False
Suppose 11 = 3*q - d, 0 = q + q - 5*d - 29. Suppose -172 = q*r - 64. Is (2 - r/(-15))*-30 a multiple of 12?
True
Does 7 divide ((-56)/6)/(2 - (-536)/(-264))?
True
Suppose -a + 2 = 5*h, -a - 2*h = -h + 18. Let z = 291 + a. Suppose z = 3*o + 34. Is 13 a factor of o?
True
Suppose u + 1399 = 2*g, 5*g - 24*u = -27*u + 3492. Does 30 divide g?
False
Suppose -26*q + 77713 - 2313 = 0. Is 116 a factor of q?
True
Suppose -2633*o + 20412 = -2621*o. Is 7 a factor of o?
True
Suppose -4*t = -b + 1, 3*b - 5 = -2. Suppose y - 4*s = 68, -3*y + t*y + 4*s + 228 = 0. Does 16 divide y?
True
Let v = -41 - -43. Does 5 divide 4 + -3 - v - -6?
True
Is 15 a factor of 31/(992/25992) - 1/4?
False
Suppose -5 = 4*n - 2*p - 33, 4*n + 2*p = 12. Suppose o + 5 = 3*b - 0*b, 4*o = n*b + 1. Does 4 divide o?
True
Let z be (36/(-24) - (1 - 1))*-2. Let o = 2 + 2. Suppose -o*i = -61 - z. Is 8 a factor of i?
True
Suppose -2*x + 25 = 5*h, 10*h + 31 = 12*h + 5*x. Let z(f) be the first derivative of 3*f**2 + 4*f + 1. Is 22 a factor of z(h)?
True
Let c(r) be the third derivative of r**6/360 + r**5/30 + 5*r**4/8 - r**3 + 11*r**2. Let d(q) be the first derivative of c(q). Is 27 a factor of d(-6)?
True
Suppose 0 = 18*u - 6553 - 1763. Is 14 a factor of u?
True
Let r(i) = -117*i - 234. Does 18 divide r(-8)?
True
Let a(h) = 17*h**2 - 1. Let n(r) = -52*r**2 + 3. Suppose 0 = -2*v + 3*z + 8, -v - v = 3*z - 20. Let y(d) = v*a(d) + 2*n(d). Is y(-1) a multiple of 3?
False
Suppose 0*g + g = -2. Let x(b) = -3*b - 8*b + 7*b. Is 8 a factor of x(g)?
True
Let u(r) = -r + 117. Does 3 divide u(-30)?
True
Suppose -2456 + 36152 = 36*n. Does 12 divide n?
True
Suppose -17*u + 1028 = -2457. Is 11 a factor of u?
False
Suppose 12*f - f = 2849. Is 23 a factor of f?
False
Suppose -4*j + 87 + 209 = -2*n, 0 = -5*j - 4*n + 357. Suppose -17 = 4*y - j. Is 14 a factor of y?
True
Let f(i) = 372*i**3 - i + 2. Is f(1) a multiple of 17?
False
Let c = 57 - -49. Let p = c + -33. Does 4 divide p?
False
Let b(p) = -2 - 1 - p - 4 + 0. Let j be b(-4). Does 7 divide (-8)/(-2) + (j - -20)?
True
Let o = 1004 + -425. Is 40 a factor of o?
False
Let m = -9 + 7. Let y be m/(4 + 735/(-183)). Suppose -2*q + 5*a = -y - 6, 3*q - 192 = -a. Is q a multiple of 8?
True
Is -3*(-6 - (30 - 3)) a multiple of 9?
True
Let n be (-4)/20 - (-78)/(-10). Let b be (-2)/(-3)*(-12)/n. Let f = b - -41. Does 18 divide f?
False
Suppose 0 = 31*j - 7914 - 64316. Is j a multiple of 7?
False
Let j(v) = 2*v**2 - 6. Let c be j(-3). Suppose c - 90 = -u. Is u a multiple of 41?
False
Let x(o) = -5*o + 4. Let y be x(-4). Let n be (2 + 1)/(2/10). Let q = y - n. Is 5 a factor of q?
False
Let n(u) = u**2 + 2*u**2 - 11*u + 9*u - 125*u**3 - 4*u**2. Is n(-1) a multiple of 21?
True
Let u(w) = -11*w - 22. Suppose 0 = -3*g - r - 4*r - 8, -13 = 3*g + 4*r. Does 38 divide u(g)?
False
Let g(k) = 4*k**2 - 5*k - 19. Suppose b = 6*b - 5*m - 10, -5*b = m - 34. Is g(b) a multiple of 39?
False
Let t = -1403 + 2549. Is 20 a factor of t?
False
Suppose 0 = 3*o + 5*y - 45, 0 = -2*o + 3*y + 1 + 29. Let t be 48/o - 2/10. Suppose t*x - 3*z = 54, 72 = 7*x - 3*x + 5*z. Does 18 divide x?
True
Let l(h) = h + 9. Let t be l(-7). Suppose 0 = -2*a + a + m + 49, 4*a + t*m = 172. Is a a multiple of 15?
True
Let o = 66 - 118. Let x = 8 - o. Does 20 divide x?
True
Let s(d) = 3*d**2 - 6*d - 50. Is 31 a factor of s(12)?
True
Let g(q) = -6*q**2 + 2*q - 5. Let k be g(2). Is -1 + -1 - (k - (-1 + -1)) a multiple of 3?
True
Let a = 844 - 538. Does 11 divide a?
False
Let p(f) = f**2 + 5*f + 3. Let j be p(-5). Suppose -8*w = -j*w - 160. Is 8 a factor of w?
True
Suppose -426*u + 424*u = -1850. Is u a multipl