 j/11 - z/99 a multiple of 23?
False
Let r = -4245 + 6157. Does 30 divide r?
False
Suppose u + 140 = 3*o + 12, 80 = 2*o - 2*u. Suppose 2*f = t + o, -4*f + 57 = 3*t - 41. Is 17 a factor of f?
False
Let n(v) = -v**3 + 4*v**2 + 4*v + 9. Let w be n(5). Let u(x) = 5*x + 1. Does 7 divide u(w)?
True
Let v = -149 + 77. Let c = 40 + v. Let f = -19 - c. Is f a multiple of 5?
False
Suppose 8*q = -85 + 509. Suppose -47 - q = -j. Is j a multiple of 10?
True
Let q = 203 - -184. Is 35 a factor of q?
False
Let f(m) = 7*m - 50. Let y be f(16). Suppose -5*v - y = -1012. Does 38 divide v?
True
Let p = -65 - -67. Suppose -2*b = 5*h + b - 729, -p*h + 296 = -b. Does 21 divide h?
True
Suppose -1712*h = -1713*h + 144. Is h a multiple of 4?
True
Suppose 3*t - 5820 = 3*m, 4*t - 35*m = -33*m + 7754. Is 13 a factor of t?
True
Suppose 0 = -8*g + 5*g - 501. Let c = -105 - g. Is 27 a factor of c?
False
Let o = 795 + -789. Let k = -7 + 28. Is k/o - (-1)/2 a multiple of 4?
True
Let d(b) = 9*b + 350. Let s be d(0). Let u = s - 237. Is 14 a factor of u?
False
Let a = -76 + 39. Let k = -21 - a. Does 3 divide -26*(k/4)/(-8)?
False
Is ((-935)/(-20))/(2/8) a multiple of 9?
False
Let l = -236 - -320. Is l a multiple of 4?
True
Let h(d) = -d**3 + 9*d**2 + 9*d + 5. Let o be h(10). Let g = o - -10. Suppose 103 + 147 = g*a. Does 10 divide a?
True
Suppose -369 = -5*n + 2*n + 3*b, -n = -5*b - 107. Suppose 2*a - n = a. Is a a multiple of 17?
False
Suppose -4*l = -18*l + 2856. Does 10 divide l?
False
Let s(r) = 9 - 3*r**2 + 10*r - 4*r**3 + 3*r**3 - 5*r. Does 16 divide s(-6)?
False
Suppose 0 = 8*c - 6*c. Suppose -3*w + 21 - 57 = c. Let g = w - -26. Is 14 a factor of g?
True
Suppose f - 18*f = -14416. Is f a multiple of 16?
True
Let f be (4 + -4 - 1) + -7. Is (-50)/(-15)*(-36)/f a multiple of 15?
True
Let p(k) = -2*k - 2. Let l be p(-2). Suppose -i = i - l*t, 0 = 5*i - t. Let z(x) = -x**3 + x**2 - x + 12. Is 10 a factor of z(i)?
False
Suppose f - 9 = 4*f + 3*z, 5*f = 5*z + 35. Suppose -60 = -3*k - f*p, -3*k - 4*p + 60 = -p. Does 4 divide k?
True
Let b = 55 + -49. Is b/(-2) + (-7)/((-7)/123) a multiple of 20?
True
Let m(q) = -130*q - 122. Is m(-9) a multiple of 7?
False
Suppose 0 = -14*w + 13*w + 9. Let x = 6 - -7. Let i = x - w. Does 2 divide i?
True
Suppose 46 = 11*r - 9. Suppose -3*b + 476 = 2*b + z, -4*b - r*z = -385. Is b a multiple of 6?
False
Suppose -r = -3*x + 1243, -9*x + 2*r - 1231 = -12*x. Is x a multiple of 14?
False
Let z = 34 - 25. Suppose 0 = 5*h - 4*r - 75, 5*r = -h + r - z. Suppose 47 + h = 2*q. Is 14 a factor of q?
False
Let z(d) = 35*d + 197. Is z(9) a multiple of 32?
True
Let p = -3595 + 7078. Is p a multiple of 43?
True
Let w(t) = t**3 - 60*t**2 + 44*t - 198. Does 57 divide w(60)?
False
Let y(u) = u**3 + 16*u**2 - 22*u + 3. Does 6 divide y(-16)?
False
Suppose 134 = a - 292. Is a a multiple of 22?
False
Suppose -3 = 4*j + 21. Let m be -3*((-440)/j - -2). Let h = -142 - m. Does 27 divide h?
False
Let y(t) = -4*t**3 + 6*t**2 - t + 618. Does 48 divide y(0)?
False
Let t = -688 - -1010. Does 13 divide t?
False
Suppose 902 - 212 = 2*n. Suppose l + 3*r - 111 = 0, 6*l + 5*r - n = 3*l. Does 15 divide l?
True
Is (6 + -21)*(-1 - (-285)/(-25)) a multiple of 6?
True
Suppose -1535 - 4987 = -3*l + 2*w, -l - w = -2174. Is 50 a factor of l?
False
Let o(a) be the third derivative of a**5/20 + 7*a**4/24 + a**3/2 + 3*a**2. Is 3 a factor of o(-3)?
True
Suppose 0*x + x = -5*c + 17, -4*x - c + 30 = 0. Suppose -2*o = -x - 3. Suppose 3*n - 5*z - 153 = 8, -4*n = -o*z - 213. Does 26 divide n?
True
Is 44 + -37 - (-129 + -1) a multiple of 5?
False
Let b be (-30)/120*0/(0 - -1). Is 16 a factor of (-3 - b) + (5 + -2 - -30)?
False
Let h = 176 + -187. Let a(v) = -8*v - 1. Let j(s) = s - 1. Let u(x) = a(x) + 4*j(x). Does 13 divide u(h)?
True
Suppose 200 = -4*a + 5*q, -a = a + 3*q + 78. Let m = -12 - a. Does 16 divide m?
False
Let l be (4/(-10))/(3/(-30)). Let k(a) = -a**3 + 6*a**2 - 6*a + 2. Let b be k(l). Is 64/b + (-8)/20 a multiple of 2?
True
Let c(p) = 35*p**2 + 12*p + 6. Is c(4) a multiple of 16?
False
Let i = 25 + -36. Let b be 4/22 - 515/i. Let w = -34 + b. Does 4 divide w?
False
Suppose 3*i - 978 = -w, -w - 3*i + 2*i + 974 = 0. Is w a multiple of 36?
True
Let f(s) = 2*s - 8. Let z be f(6). Suppose 11 = 4*u - o, 32 = 2*u + u + z*o. Suppose -u*x - 5*i + 49 = 0, 28 = 3*x + 4*i - 9*i. Is 3 a factor of x?
False
Let p = 848 + -498. Is p a multiple of 10?
True
Let a(x) = -x**2 + 19*x - 28. Let m be a(8). Suppose -3*d - m = -6*d. Does 18 divide d?
False
Let q be (-256)/(-6)*(-15)/(-10). Let h = 124 - q. Does 20 divide h?
True
Let l(f) = 2*f**3 + 2*f**2 - 15*f - 9. Let j be l(7). Suppose 4*v - 695 = -3*c, 3*v - j = -v + 2*c. Does 34 divide v?
True
Let x(d) = -d + 49. Is 3 a factor of x(-23)?
True
Let n be ((-3)/(-6))/((-3)/(-5334)). Let c = n - 341. Suppose c = 7*v - 103. Is 27 a factor of v?
False
Suppose 3*o = 5*o + 6, 0 = 5*x + 5*o - 1420. Suppose -3*p + 3*j + x = -p, 284 = 2*p - 4*j. Suppose -5*u - p = -7*u. Does 15 divide u?
False
Suppose -21390 = 59*n - 82*n. Is n a multiple of 30?
True
Let n = -19 + 19. Is 17/(1 - n - 0) a multiple of 3?
False
Let f(b) = -b. Let v be f(-13). Suppose -4*p - 5 + v = 0. Is (29 + -1)/p - 2 a multiple of 12?
True
Let m = 614 + -223. Let z = m - 275. Suppose -4*q = 5*j - 88, 2*j + z = 4*q - 0*q. Does 13 divide q?
False
Suppose 15*x = 21*x - 648. Does 9 divide x?
True
Let a be (-2)/(-7) + 13098/21. Suppose -2*u + a = 4*u. Suppose 3*b - u = -4*p, 0 = -6*b + b - 4*p + 176. Is 36 a factor of b?
True
Suppose 0 = 5*t - 3*t - 8. Let d(b) = b**3 - 4*b**2 - 2. Let c be d(t). Is (9/(-6))/(c/4) a multiple of 2?
False
Suppose 3*i - 2*c = 609, 0*c + 612 = 3*i - c. Is 29 a factor of i?
False
Let w be -3*1/6*14. Let m(v) = -v**3 - 3*v**2 + 2. Does 33 divide m(w)?
True
Let k = -29 + 28. Let t be (0 + -2 - 1)/k. Suppose 0*j + 101 = 4*j + i, t*i - 39 = -j. Does 8 divide j?
True
Suppose 0 = -2*y - t + 9, -y = -0*t - t - 12. Suppose 162 = y*j - 5*j. Is j a multiple of 20?
False
Suppose -2*b = 4*f + 10, f = 3*b - b. Let g = -18 - -8. Let j = b - g. Does 6 divide j?
False
Let v(t) = 2*t + 19. Let s be v(-5). Let z = -1 + s. Is z a multiple of 2?
True
Suppose 4*t - c - 18 = -0, t - 5*c = 14. Let d(q) be the second derivative of q**5/20 + q**4/12 - q**3 + 2*q**2 + q. Is d(t) a multiple of 20?
True
Suppose 4*b + 2*t = -2*t + 844, 0 = 2*t + 2. Does 19 divide (b/(-3))/((-8)/12)?
False
Let j(b) = b**2 - 3*b - 11. Is 9 a factor of j(-5)?
False
Let w = -290 + 299. Is 4 a factor of w?
False
Let u(b) = -b + 7. Let g be u(5). Suppose -5*v - 218 = g*f - 635, 4*f = -2*v + 170. Does 8 divide v?
False
Let z(c) = -c + 31. Let x be z(-5). Let v = 74 + x. Does 7 divide v?
False
Let k = 1562 + -1064. Is 13 a factor of k?
False
Let l(j) = 26*j**2 + 10*j + 37. Does 18 divide l(-5)?
False
Let h(x) = -2*x - 9. Let t(q) = -q - 10. Let r(p) = 4*h(p) - 5*t(p). Is 26 a factor of r(-23)?
False
Is 14 a factor of (4/(-10))/(18/(-17640))?
True
Does 18 divide (-3732)/(-16) - 2*15/(-40)?
True
Let l = 5 - 8. Let n(j) = -4*j**3 - j**2 + 2*j + 1. Is n(l) a multiple of 15?
False
Let a be (-17 + 19)*3/2. Suppose -a*k + 1309 = 4*k. Does 17 divide k?
True
Let q be 70/(-3) - 3/(-9). Let a = q + 7. Is 3 a factor of (-3)/((-12)/a) - -10?
True
Is 626 - (0 + -8 + 1) a multiple of 18?
False
Let k = 220 + -149. Suppose 5*j - 49 = k. Is j a multiple of 15?
False
Suppose 0 = -o - 1, -s - o = -3*o - 5. Suppose -4*h - 4*f = 12, 0 = -0*h + 5*h + f + s. Suppose -2*d + 6*d - 352 = h. Does 19 divide d?
False
Let z(o) = -144*o + 526. Is 33 a factor of z(-6)?
False
Let m be -60*(-1 - ((-5)/2)/5). Suppose 6*w = m + 18. Is w a multiple of 4?
True
Suppose 4*q - 676 + 105 = -5*m, 0 = -5*q - 4*m + 716. Is 3 a factor of q?
True
Let k = -45 + 81. Let o be (-81)/(-2)*k/27. Suppose 2*b = 4*b - o. Does 6 divide b?
False
Let r(y) = 10*y**3 + 27*y**2 + 3*y - 8. Let s(w) = 3*w**3 + 9*w**2 + w - 3. Let f(u) = -2*r(u) + 7*s(u). Let m be (-9)/(81/(-24))*-3. Is f(m) a multiple of 25?
False
Let z(p) = -25*p + 9. Let r(d) = 13*d - 5. Suppose 2*v = 3*v - 7. Let n(o) = v*r(o) + 4*z(o). Does 5 divide n(-1)?
True
Is 14 a factor of 30/20*(-46)/(-3)?
False
Let r be (-36)/(-14)*21/6. Suppose r + 259 = i. Is 32 a factor of i?
False
Suppose 1058 = 5*b - 3*p + p, 0 = -3*b +