 Does 43 divide -5 + 30/18*z?
False
Let y be (9/((-54)/120))/(2 + 0). Is 8/y - (-41668)/110 a multiple of 17?
False
Is 15 a factor of (1194 - -395) + (0 - -1*1)?
True
Let s(t) = t**3 + 33*t**2 - 43*t + 142. Is 63 a factor of s(-30)?
False
Is 194 a factor of 1*(-68278)/(-35)*(12 - (1 - -1))?
False
Suppose -2*g = -16*x + 17*x - 2045, -3*x - 2*g = -6151. Does 8 divide x?
False
Let z be (-5)/(-25) + (-9)/(-5). Suppose 4*s = l + 361, -176 = -z*s + 3*l - l. Does 22 divide 2/7 - (-11986)/s?
True
Suppose -6*i = 12*i - 72. Suppose 3*l - 2*h - 2164 = 0, -h + 1758 = i*l - 1120. Does 12 divide l?
True
Suppose 5*a - 27 = 3*f, 3 = a - 2*f - f. Suppose a = -3*x, 3*x + 341 = 3*i + 2*x. Does 5 divide i?
False
Is (2 - 9/4) + 8 + (-6005)/(-20) a multiple of 4?
True
Let x(b) = 4*b**3 + 41*b**2 + 62*b - 24. Let v(c) = 2*c**3 + 21*c**2 + 32*c - 12. Let f(t) = 7*v(t) - 4*x(t). Is f(-7) a multiple of 3?
True
Let s(l) = -l**3 + 2*l**2 + 7*l - 7. Let z be s(3). Suppose -3*k + 2877 = 5*j, z*j - 3737 + 855 = 2*k. Is j a multiple of 36?
True
Let a = -29 + 19. Does 16 divide 5*((-2)/a)/((-1)/(-293))?
False
Let p = -571 - -669. Suppose 4368 = p*m - 90*m. Does 6 divide m?
True
Suppose -4*i + 13664 = 2*f - 2866, -i + 16515 = 2*f. Is 130 a factor of f?
False
Let f be 0 - 981/(-63) - 8/14. Suppose 2134 = f*a - 2546. Does 23 divide a?
False
Let c be (-25 - -47)/(1*2). Suppose c*a = 30*a - 1140. Is a a multiple of 20?
True
Let m(d) = 3*d**2 - 42*d + 563. Is 11 a factor of m(28)?
False
Let l be 2/2 - 7/2*-38. Suppose 7*x - l = 1014. Is 11 a factor of x?
False
Let g(r) = -2356*r + 542. Is 14 a factor of g(-15)?
True
Suppose 0 = 3*k + s - 0*s + 85, 0 = 5*k - s + 139. Let i = k + 31. Is ((-85)/(-25) - i)/(2/130) a multiple of 13?
True
Suppose -9*q + 107 = -1. Let g(d) = -d**3 + 18*d**2 - 12*d + 38. Is g(q) a multiple of 36?
False
Let l be -3 + 7 + -4 + 0 + 2. Suppose l*i + 3*u - 1 + 0 = 0, 3*u = -i - 1. Suppose 2*n - i = 0, -2*f - 4*n = -60 - 50. Does 17 divide f?
False
Let g = 588 - 408. Suppose -g*h + 187*h = 3633. Is h a multiple of 32?
False
Suppose 3*f - 57 = -3*u + 2*u, 5*f = 5. Let o = -24 + 43. Let d = o + u. Is d a multiple of 14?
False
Suppose 64*s - 240205 = 258867. Is s a multiple of 10?
False
Let a = -228 + 228. Suppose a = 45*u - 9323 + 818. Is u a multiple of 9?
True
Let k(x) = -x**3 + 8*x**2 - x - 14. Let n be k(7). Let l be 36/5 + (-1)/5. Suppose 6*s - l*s = -n. Is s a multiple of 4?
True
Let r be (18/3 + 2)/1. Let d = -232 - -54. Does 25 divide (d/(-6) + 3)*12/r?
False
Let f(a) = 19*a**2 + 19*a - 74. Suppose 3*n = 11*n - 40. Does 16 divide f(n)?
True
Suppose -3*h = -3*t + 10650, 123*t + 3*h - 14214 = 119*t. Is t a multiple of 37?
True
Let t(d) = -2*d - 6. Let u be t(-3). Suppose u = -2*x + 5*x - 432. Does 23 divide (216/x)/((-1)/((-46)/3))?
True
Suppose -4*p = -2*p, 0 = 5*h + 2*p - 30. Let g be 3/(h/(-1528))*32/(-64). Suppose -5*n = -g + 57. Is n a multiple of 9?
False
Let t = 7505 - 1801. Is 114 a factor of t?
False
Let x(h) = -283*h**3 - 6*h**2 - 72*h - 185. Is 154 a factor of x(-3)?
False
Does 4 divide (60/2)/(13/(276 + -16))?
True
Does 43 divide 1734528/(-288)*1*9/(-12)?
False
Suppose 4*b - s = -3*s + 102, 21 = b - s. Let r(k) = -2*k**2 + 45*k + 35. Let v be r(b). Let l = v + 65. Is 9 a factor of l?
False
Suppose -3*i = i - 20, 0 = y - 5*i + 58. Let o = 154 + -108. Let d = y + o. Is 2 a factor of d?
False
Let a = 6970 - 320. Does 35 divide a?
True
Suppose 28 = -2*i + 6*i. Suppose -360 = -i*m - 11*m. Is m a multiple of 5?
True
Let c = -3 + 699. Let j = c - 131. Is 15 a factor of j?
False
Let f = 214 - 212. Suppose 198 = 8*d - f*d. Does 11 divide d?
True
Let n(r) = -r**2 + 9*r - 6. Let p be (-1)/((-2 - -3)/12*-2). Let c be n(p). Suppose -c*u = -16*u + 100. Is 6 a factor of u?
False
Does 25 divide (315/(-135))/((-1)/(-250))*-3?
True
Suppose 22 + 3258 + 3248 = 12*s. Is 3 a factor of s?
False
Let m(i) = 404*i - 1212. Is 101 a factor of m(20)?
True
Let q(o) = -2*o + 29. Let k be q(7). Let j(i) = k*i + 35 + 3*i**2 + 17*i + 5 - 46*i. Does 19 divide j(7)?
False
Suppose 3*i - 5*y + y = 22620, 0 = 4*i - 4*y - 30160. Does 130 divide i?
True
Let z(b) = -3*b**3 + 14*b**2 - 48*b - 355. Is 108 a factor of z(-11)?
False
Suppose -2*o = -3*g - 6, 0 = 4*g - 0*g - 4*o + 12. Suppose -4*z + z + 687 = g. Let x = z - 141. Is x a multiple of 9?
False
Let t(o) = 3 + o**3 - 3*o**2 + o**2 + 1 + 85*o + 0*o**2 - 83*o. Suppose 0 = p - 5*r + 1, -4*r = 3*p - 6*p + 8. Does 10 divide t(p)?
False
Suppose 18*w - 104*w + 10*w = -274588. Does 57 divide w?
False
Suppose -15 = -12*t + 7*t. Suppose w + t*l - 22 = 0, 2*w - l = -5*l + 40. Suppose -w*z = -20*z + 208. Does 15 divide z?
False
Let y be 3 + (-98)/(4 + -2). Let z = y - -362. Is 79 a factor of z?
True
Let o(g) = -g + 287. Let r be o(38). Suppose 0 = -2*m + v + r, -3*m + 0*m + 361 = -4*v. Is m a multiple of 10?
False
Is (-120546300)/(-5880) - (-1)/(-14) a multiple of 42?
False
Suppose -8*t - 5052 = -13196. Does 12 divide t?
False
Suppose 14 = -z + 5*i, 2*z - 5*i = -3*z - 30. Is 15 a factor of 2*-2*(-3 + 457/z)?
False
Let b(r) = 2*r**3 - 6*r**2 + 6*r - 4. Let n be b(3). Let s be (n/(-21))/(2/(-729)). Let w = -170 + s. Is 17 a factor of w?
False
Let c(p) = -p**2 + 15*p + 2. Let i be c(17). Let j(w) = -w**3 - 32*w**2 - 5*w + 1. Does 23 divide j(i)?
True
Let o(v) = -156*v - 273. Is o(-10) a multiple of 33?
True
Let z be -3 + (-2)/(4 - 2). Let f(t) = t**3 + 4*t**2 - 2*t - 5. Let i be f(z). Suppose 0 = -k + i*n + 21, -2*k + 3*n + 48 = -0*k. Is 5 a factor of k?
False
Let w(n) = 3*n**3 - 10*n**2 + 3*n + 28. Is 14 a factor of w(7)?
True
Let z(y) = -y**3 + 46*y**2 - 84*y + 90. Is 12 a factor of z(43)?
False
Let c be (-5763)/(-18) - 8/48. Let r = c + -171. Let g = r + -72. Is 7 a factor of g?
True
Suppose 1440 = -12*q - 1668. Is 9 a factor of (12/(-14))/3 + (-32967)/q?
False
Suppose n = -9*n - 140. Let k(m) = 7*m**2 + 20*m + 38 - 17*m**2 + 12*m**2. Is k(n) a multiple of 15?
True
Suppose 44475 = 5*p - 3*s, 4*p = 8*s - 6*s + 35582. Is 13 a factor of p?
False
Let r(a) = -574*a - 104. Is r(-11) a multiple of 17?
False
Let q = 1495 - 939. Is 5 a factor of q?
False
Let t(u) = 5*u - 25. Let s = -41 + 48. Let f be t(s). Is 340/f + (-8)/(-2) a multiple of 4?
False
Suppose 5*s + 72 = -p, -p + 0*s - 72 = -5*s. Let j = p + 313. Suppose -58 = 3*h - j. Does 15 divide h?
False
Let v(r) = 6*r**2 - 6*r - 9. Let o be v(4). Does 30 divide (2/9)/(-1) + 7574/o?
True
Let j = 176102 + -121459. Is 101 a factor of j?
False
Let b = -135 - -210. Suppose -3*l + 52 = y - b, y = 5*l - 209. Does 42 divide l?
True
Let w(u) = -15*u**3 + 17*u**2 - u - 6. Let f be w(4). Let g = -647 - f. Is g a multiple of 2?
False
Is 17 a factor of (-2)/(-4) - 19/((-152)/8700)?
True
Let r(y) = 5*y**2 + 23*y - 16. Let t(c) = -4*c**2 - 24*c + 14. Suppose -3*j - 15 = -0*j. Let f(x) = j*r(x) - 6*t(x). Does 18 divide f(6)?
False
Let p(c) = 112*c + 4. Let m(r) = 92*r + 2. Let z(d) = 3*m(d) - 4*p(d). Suppose 4*w - 2*b + 12 = 0, 4*w - 4*b = -5 - 11. Does 13 divide z(w)?
False
Is (504252/2)/7 - (-36)/18 a multiple of 10?
True
Is (-12)/21 + (-613056)/(-336) a multiple of 12?
True
Suppose -8*d + 14*d = 12*d - 23892. Is 44 a factor of d?
False
Suppose -10*c - 3 = 7. Let d be 102*((3/6)/(-1))/c. Let w = d + -20. Does 31 divide w?
True
Let k = 200 - 278. Does 28 divide (k/12 + -4)/((-9)/24)?
True
Let k(j) = 3*j**2 - 5*j + 10. Let q be k(2). Suppose 346 = 14*b - q*b. Is b a multiple of 18?
False
Let g be (1*-3)/(5/(7520/(-6))). Let j = g - -172. Suppose 10*k = 13*k - j. Is k a multiple of 18?
False
Suppose -22 = -96*d + 94*d. Suppose 2199 = d*q - 9175. Does 49 divide q?
False
Does 11 divide ((-555)/(-25) + 1)/((-3)/600*-8)?
False
Suppose -2*b + 9838 = -4*m, 4*m - 24 + 8 = 0. Is 24 a factor of b?
False
Suppose -2*z - 6*y + y = 21, 4*z = -2*y - 82. Let t = 28 + z. Suppose -169 = -5*s + 2*q + q, -s - t*q + 17 = 0. Is s a multiple of 18?
False
Let a = 152 + -141. Let n(p) = 20*p + 11*p - 6*p - p**2 + 12. Does 13 divide n(a)?
False
Let g(s) = s**2 - 3*s + 8. Let d be g(3). Suppose 0 = 3*i - 29 + d. Suppose 0 = v + 2*j + i, 0*v = -v - j - 2. Is 3 a factor of v?
True
Let s = 595 + -592. Suppose 186 = r - 2*g, -2*r + s*g + 390 = 5*g. Is 16 a factor of r?
True
Let l = 2302 - -9423. Is 31 a factor of l?
False
Suppose 5*g - t - 