k a multiple of 12?
False
Let l(g) = -24*g - 1955. Is l(-94) a multiple of 3?
False
Is (-332197)/(-68) + (-9)/4 a multiple of 15?
False
Suppose -31*c = -40*c + 48096. Does 8 divide c?
True
Suppose 0 = -5*n + 665 + 25. Does 92 divide 50853/n - (-2)/(-4)?
True
Let c(y) = -10*y**3 + y**2 + 8*y - 15. Is c(-5) a multiple of 20?
True
Let n = -33 + 42. Suppose 21*d = n*d. Does 25 divide 3/2 + (-396)/(-8) + d?
False
Let h = 0 + 5. Let g = 182 - 176. Suppose -h*t - g = -86. Is t a multiple of 16?
True
Let w(v) be the third derivative of v**5/20 - v**4/12 + v**3/6 - 43*v**2. Let q be w(1). Suppose 0 = -q*l - t - t + 302, -l = 2*t - 151. Is l a multiple of 37?
False
Let x = -480 + 298. Is 6/(-8) + 95/(-76) - x a multiple of 26?
False
Let r(v) be the third derivative of -4*v**2 - 4*v**3 - 7/12*v**4 + 0 + 0*v - 1/4*v**5 - 1/120*v**6. Does 31 divide r(-15)?
True
Suppose -4*j + 1740 = -5*p, -2*j = -5*j - p + 1324. Suppose 3*c - 190 = 5*r + j, -648 = -3*c - r. Does 41 divide c?
False
Suppose -q + 5*q = 2*q. Let y = 4 + q. Suppose 6 + 350 = y*w. Is w a multiple of 20?
False
Let o(v) = 438*v + 1510. Is o(11) a multiple of 39?
False
Let r(x) = x**3 - 10*x**2 + 15*x + 2. Let v be r(8). Let u = -10 + v. Let y(s) = s**3 + 15*s**2 - 18*s - 2. Is 15 a factor of y(u)?
True
Suppose 5*p = -2*u + 14049, 67*p + 7017 = u + 71*p. Does 6 divide u?
False
Suppose 2 = 3*v + 2*r, r - 1 = 2*v - 14. Is -4 + (-39997)/(-207) + v/(-18) a multiple of 7?
True
Let x(d) = 34*d**3 - 2*d - 1. Let v be x(2). Let s = -178 + v. Is 10 a factor of s?
False
Let g be (-8)/24 + 1/3. Let o(m) = 5*m**3 - 5*m**2 + 8*m + 34. Let z(x) = -11*x**3 + 11*x**2 - 17*x - 69. Let k(v) = 13*o(v) + 6*z(v). Does 9 divide k(g)?
False
Let o(c) = 10*c. Let p(t) = 8*t**2 - 26*t**2 + 17*t**2 - 1 - 9*t. Let m(w) = -3*o(w) - 2*p(w). Is m(11) a multiple of 32?
False
Suppose 0 = 5*h - 172 + 22. Let j = h - 28. Suppose -460 = j*d - 7*d. Is d a multiple of 23?
True
Suppose -2*m = -o + 11, m = -0*m - 4. Let s be (93 - (-9)/o) + 3. Suppose 5*p = 161 + s. Is 9 a factor of p?
False
Is 758/5*(-15 - (-1295)/14) a multiple of 9?
False
Let c(o) = 2*o**2 - 2*o + 21. Let x be c(-8). Suppose -248 = -x*g + 163*g. Does 3 divide g?
False
Let y = 4 - -5. Let q(s) = s**2 - 23289 + 11654 + 11690 - 9*s. Is 10 a factor of q(y)?
False
Let q be (2*-1 - -3)*20. Let n(t) = 19*t + 561. Let m be n(-19). Suppose -m = -3*b - q. Is b a multiple of 18?
False
Is 40 a factor of 32547*(-1)/(4/(-4 + 0))?
False
Is 1 - -3 - ((-57)/(-342) - 699890/12) a multiple of 92?
True
Let a = -5594 - -8334. Is a a multiple of 5?
True
Suppose -15*a = -37*a + 97*a - 966525. Is a a multiple of 20?
False
Let v(l) = -2*l**3 + 18156*l**2 - 18166*l**2 + 7 + 7*l + 0*l**3. Suppose -5*k - 30 = -0*k. Is 23 a factor of v(k)?
False
Let s(k) = k + 55. Let p be s(6). Suppose -40 = g - o, -g - 4*o = g + 110. Let b = g + p. Is b a multiple of 3?
False
Let m = 320 + -292. Suppose m*l - 9606 = -954. Is l a multiple of 43?
False
Let v = -1 - -3. Let t = 212 + -209. Suppose o = -4*q + v*q + 7, t*o + 3*q = 27. Is o a multiple of 11?
True
Suppose -32*a = 20*a - 1425736. Is 16 a factor of a?
False
Suppose -4427 - 17845 = -16*l. Let j = l - 809. Does 44 divide j?
False
Is 5 a factor of 759/(-9)*-4*(-18)/(-1)?
False
Suppose -1 = -c, -5*w - 5*c + 20 - 120 = 0. Let u be 25525/35 - (-6)/w. Suppose -2*r - 3*o + 487 = 0, 3*r - o + 4*o = u. Is r a multiple of 45?
False
Suppose -31985 = -27*v + 127342. Is 140 a factor of v?
False
Let d = -533 + 2193. Let l = -1045 + d. Is l a multiple of 30?
False
Let l(q) = -5*q**2 - 4*q - 2. Let z be -2 - (-17 - (-16)/4). Let u(k) = 15*k**2 + 12*k + 7. Let f(h) = z*l(h) + 4*u(h). Is f(-4) a multiple of 46?
False
Let m = 187 - 192. Let p(u) = -9*u + 63. Is 64 a factor of p(m)?
False
Let i(h) = 35*h + 9. Let m(j) = j - 11. Let q be m(28). Let x be i(q). Suppose -3*c - x = -7*c. Is c a multiple of 7?
False
Suppose -115*q = 5*a - 111*q - 780, 3*a + 4*q - 460 = 0. Does 5 divide a?
True
Suppose -1051 = -3*f + 2693. Is 18 a factor of (f/15)/(34/85)?
False
Let s = -395 + 372. Is 38 a factor of (-19)/(-4)*(95 + s)?
True
Let z(k) = 11*k - 4. Let i be z(9). Suppose a - 30 = i. Is 9 a factor of (a/10)/((-1)/(-2))?
False
Suppose -16*g = -23*g + 3136. Suppose 4*m - g = -4*c, 2*m + 424 = 7*c - 3*c. Let a = c + 42. Is a a multiple of 10?
True
Let m be ((-7)/14)/(((-14)/(-264))/7). Let c be 7*(-5)/(105/m)*-3. Is (-21)/((-57)/c + -1) a multiple of 31?
False
Suppose 3*k = -0*k - 9. Let c be (-2)/(k/((-45)/(-10))). Is 36/54 - (-46)/c a multiple of 16?
True
Suppose -3*a + 9152 = -8*h + 12*h, -4*h = a - 9160. Is h a multiple of 8?
False
Let x be 2/(-3)*-33 + (-2)/1. Suppose 3*n + 55 = 4*z, 2*z = -z - 2*n + x. Suppose -4*w - 1176 = -z*w. Does 45 divide w?
False
Let r(g) = g**3 + 8*g**2 + 12*g - 88. Suppose 5*j - 15 = 5*s, 20 = 4*s + s. Is 38 a factor of r(j)?
False
Let h be (0 + (-4)/(-6))/(18/(-27)). Let m be (-9416)/(-77) + (2/7)/h. Is m + 2*(5 - 4) a multiple of 31?
True
Let j = -605 - -617. Suppose j*g + 1421 = 11681. Does 28 divide g?
False
Suppose 4*y = -23*w + 25*w + 922, -1387 = 3*w - 2*y. Let d = w + 575. Is d a multiple of 6?
False
Let c be 3390/60 - (-1)/2. Let m = -44 + c. Does 9 divide m?
False
Suppose -5*g + 3 = 3*p, 3*g + 5*p = 2*p - 3. Let o(x) = 8 + 4*x**2 + 5*x - 13 - 5 + 6*x**2. Is o(g) a multiple of 19?
True
Let u be (9/6)/(12/32) - -35. Let x = u + -36. Let j(n) = n**3 - n**2 + n - 7. Is 7 a factor of j(x)?
True
Suppose 0 = -223*g + 177*g + 585396. Does 13 divide g?
False
Let v(m) = -2398*m + 3600. Is 34 a factor of v(-4)?
True
Let d(b) = -b**3 - 2*b**2 - 4*b + 5. Let a(t) = -13*t + 19. Let m(w) = -6*w + 9. Let u(j) = -2*a(j) + 5*m(j). Let v be u(3). Does 20 divide d(v)?
True
Suppose 10*a - 111994 = 729416. Is 8 a factor of 20/(-35) + a/63?
False
Suppose 6 = -0*o + o - 4*q, 4*o - 24 = -3*q. Suppose 4*y + 744 = o*y. Is y a multiple of 62?
True
Let a be (-169)/(6 - (-66)/(-12)). Let g = a - -675. Is 9 a factor of g?
False
Suppose -190 - 78 = 4*b. Let l = b - -68. Does 4 divide (14 + l)*(-70)/(-21)?
False
Let w(q) = -q**3 + 2*q**2 - 2*q - 4. Let k be w(0). Let r(j) = -14*j**2 - j + 5. Let h be r(k). Let t = h - -326. Does 8 divide t?
False
Suppose -10 + 2 = -4*x. Suppose 3*d + 12 = x*d. Does 26 divide 3 + ((-2156)/d - (-1)/3)?
False
Is 12 a factor of 4/((48/(-4))/(-52524))?
True
Let y = 658 + -402. Suppose -3*n + 957 = -j, 2*n = -4*j + 396 + y. Is n a multiple of 49?
False
Is (-13)/91 + 21841*3/21 a multiple of 13?
True
Suppose -91*d - 116994 + 35994 = -106*d. Is d a multiple of 12?
True
Is 40 a factor of (4/(16/30))/((360/33792)/5)?
True
Suppose -10*v + 126 = -7*v. Suppose 4071 = 17*m + v*m. Is 13 a factor of m?
False
Suppose -197 = -3*b + 4*v + 35, -4*v - 392 = -5*b. Suppose -7690 = 70*a - b*a. Does 15 divide a?
False
Let q = 678 - 8. Suppose 0 = -g - 4*g - 2*x + 685, q = 5*g - x. Is g a multiple of 15?
True
Let j be ((-4)/(-7))/(8/(-56)). Let m(k) = 38*k**2 - 7*k + 27. Is m(j) a multiple of 77?
False
Suppose -5*h = -6*h + 4*q + 569, 2318 = 4*h - 2*q. Is 83 a factor of h?
True
Let n = -4872 - -6923. Let w = n + -1235. Does 34 divide w?
True
Let p = -436 - -438. Suppose -p*g = 5*d - 883, -9*d - 1752 = -4*g - 5*d. Does 12 divide g?
False
Let j(u) = u + 18. Suppose 3*b = 5*s + 5*b + 60, 4*b = 20. Let l be j(s). Suppose -h + 35 = l*h. Is h a multiple of 7?
True
Let b be 78/52 + (-3)/(-2). Suppose 3*x = -3, -3*w + 2*w + b*x = -1283. Suppose -3*l + 8*l - w = 0. Is l a multiple of 16?
True
Let l be (256/112)/16 + 26/14 - 6. Suppose 4*z + 0*z - 20 = 0. Is 42 a factor of -1*(-827)/z - l/(-10)?
False
Let q = 1406 + -1396. Is 4 a factor of q?
False
Let n = -24681 + 39031. Is n a multiple of 22?
False
Let z(q) = -q**3 - 7*q**2 + q + 17. Let v be z(-7). Suppose -v*y + 1690 = 3*y. Is 10 a factor of y?
True
Let m(d) = 8*d**2 - 165*d - 91. Is 149 a factor of m(40)?
True
Let p(b) = b**2 - 16*b - 32. Let h be p(18). Suppose -2*r = -5*c + 2476, 2*r - 2464 = -c - h*c. Is c a multiple of 26?
True
Is (31616/(-48))/(-19)*(-1 + 70) a multiple of 5?
False
Let m(u) = 355*u - 9745. Does 5 divide m(64)?
True
Suppose -1619 + 1971 = 4*p. Suppose -9 = 5*g - 2*g, -5*i = 4*g - 13. Suppose -t + k + 51 = -0*t, -2*t - i*k = -p. Does 6 divide t?
False
Let q(y) = y**3 + 12*y**2 - 24*y + 1. Let g(k) = -