m. Is f a multiple of 93?
True
Let t(c) = -9*c + 97. Let m be t(7). Is (0 - (-4)/m) + (-11040)/(-85) a multiple of 5?
True
Let k(y) = y**3 - 16*y**2 - 5*y - 14. Let i = -245 - -262. Is k(i) a multiple of 5?
True
Let b(i) = -155*i - 410. Is b(-4) a multiple of 15?
True
Let k(p) = -36*p + 5 + 14 + 8*p + 2. Is k(-3) a multiple of 15?
True
Let c(m) = 19*m**2 + 69*m + 259. Let y(r) = 6*r**2 + 23*r + 86. Let z(k) = 4*c(k) - 11*y(k). Is z(-6) a multiple of 32?
False
Let x(j) = j**2 + 2*j - 1. Let b be x(-4). Suppose 2*r + d - b = -0*r, r = d + 8. Suppose -r*k + 32 = -k. Is 8 a factor of k?
True
Let u(t) = -t**2 + 28*t - 9. Let r be u(7). Suppose -f + 2*f - r = -2*p, 0 = -5*f + 3*p + 755. Is f a multiple of 12?
False
Suppose 707926 - 113290 = 40*b + 2*b. Is b a multiple of 29?
False
Suppose 12*u + 3547 + 161 = 0. Let f = 606 + u. Is f a multiple of 27?
True
Suppose 3*i - 13*x + 11*x - 10466 = 0, -5*i + 17485 = 5*x. Does 9 divide i?
True
Suppose 10*z = 5*z + 805. Let u = 202 - z. Does 41 divide u?
True
Let n = -18580 - -27838. Does 12 divide n?
False
Let m be 30/36 - 130/(-60). Suppose m*t + 2*h = -2*t + 9800, -5*h + 25 = 0. Is 60 a factor of t?
False
Let l(n) = -2*n**2 - 9*n - 4. Suppose -4*b = 3 + 13. Let c be l(b). Suppose 4*t - 188 = -c*t. Does 4 divide t?
False
Let r(k) = -k**3 + 10*k**2 - 7*k - 8. Suppose -a - 4*g - 20 = -6, -a + 2*g = -10. Suppose -2*z - 3*d + 15 = 0, -2*z - a*d = -z - 8. Is r(z) a multiple of 21?
False
Is (-63 + 10)/(36/(-8784)) a multiple of 9?
False
Let a(w) = -w + 23. Let u be a(12). Suppose 2*j = n + 1 + 6, 3*j - u = n. Suppose 0 = p + j*p - 520. Is p a multiple of 26?
True
Suppose -4688 = 55*o - 139823. Is 27 a factor of o?
True
Is ((10856295/58)/47)/(6/8) a multiple of 109?
False
Suppose -116*q - 937651 + 1641362 = -1086517. Does 253 divide q?
True
Let f(u) = -81*u - 63. Let o(c) = -5*c - 4. Let k(b) = -4*f(b) + 66*o(b). Let y be k(-3). Is 441/y*2 - (-1 - -1) a multiple of 21?
True
Suppose 18*g - 52 = 56. Let h = g + 640. Is 17 a factor of h?
True
Let k(y) = -69*y + 1685. Is k(-64) a multiple of 66?
False
Let h = -38 + 59. Suppose -h = -16*f + 9*f. Suppose f*x = -2*x + 610. Does 8 divide x?
False
Let j(m) = 3*m**2 - 77*m + 507. Does 37 divide j(41)?
False
Suppose 2*c - c + 2*h - 248 = 0, -5*c - 2*h = -1248. Suppose 2*j - 4*k = 4*j - c, -j = k - 120. Is 5 a factor of j?
True
Suppose -2*s + 561 - 3145 = 0. Let o = -848 - s. Let n = o + -311. Is 19 a factor of n?
True
Suppose -6411 = 18*l - 1461. Let b = l - -335. Does 10 divide b?
True
Suppose n + y - 871 = 0, 2*n - 3*y = 4*n - 1736. Is 13 a factor of n?
False
Let t(j) = 7*j**2 + 75*j + 6822. Does 75 divide t(-48)?
True
Let t(y) = -y**2 + 11*y + 10. Let s be t(12). Let d be (-516)/(-10) + s/(-5). Suppose -85 - d = -n. Does 21 divide n?
False
Let f(x) = -x + 7. Suppose 3*c + 4 = -14. Let h = -14 - c. Is 5 a factor of f(h)?
True
Let r(y) = 2*y + 234. Does 6 divide r(-28)?
False
Let g = -35 + 40. Let l be 144/3*(g + -3). Suppose k + 5*k - l = 0. Is k a multiple of 7?
False
Suppose 0 = -4*d - 2*b + 58, -6*b = 5*d - 5*b - 68. Suppose d*q - 1446 = 192. Is q a multiple of 14?
True
Let h be ((-6532)/(-12))/((-7)/147). Does 13 divide h/(-28) - 4/16?
False
Let x = -12 - -33. Let t = x - 16. Suppose -4*w + 192 = -w + 4*p, 15 = t*p. Is 6 a factor of w?
True
Suppose -2*a = 4*n - 0*a - 18, 3*n - 14 = -a. Let o be (0/1 - (-14 + 10)) + 31. Suppose 0 = n*u + 4*m - o, -u - m + 6*m - 22 = 0. Is u a multiple of 2?
False
Let f = -8085 + 25974. Is 89 a factor of f?
True
Suppose 53617 + 164107 = 26*o. Is o a multiple of 53?
True
Let z(y) = -7*y + 1489. Does 10 divide z(-6)?
False
Let k = -263 + 257. Is 13 a factor of (k/9)/(((-20)/(-2262))/(-10))?
True
Suppose 59*n + 30 = 65*n. Suppose -4*w - 3*k + 426 = -0*w, 534 = n*w + 3*k. Is w a multiple of 54?
True
Suppose -m - 12*x = -7*x - 411, -3*m = 3*x - 1173. Suppose 305*v - m = 303*v. Does 5 divide v?
False
Let t(j) = -170*j + 196*j - 37*j**2 + 28*j**2 + 13 + 203*j. Is t(14) a multiple of 15?
True
Suppose m = 2*l - 2553, 21*l - 24*l - 4*m + 3824 = 0. Does 29 divide l?
True
Let p be 22/(-3)*5/10*-3. Suppose 59 = s - k, -p*s - 114 = -13*s + 3*k. Is 9 a factor of s?
True
Is 51 a factor of (-35 + 1)/(5446/(-777) - -7)?
True
Suppose -u - 247 = -5*r, 2*u = 4*r - 3*u - 206. Let g be ((-420)/r)/((-1)/56). Let x = -306 + g. Does 29 divide x?
True
Suppose -o + 3*m + m - 1055 = 0, 10 = -5*m. Is 23 a factor of 4/30 - o/15?
False
Suppose 5 = 3*b + 2*b, -5*h - 2*b = 663. Let y = 209 + h. Is 30 a factor of y?
False
Let x = -410 + 970. Suppose 4*u + x = k, -866 - 263 = -2*k + 5*u. Is k a multiple of 22?
True
Suppose 0 = 4*o + 4*i - 12860, -9900 = -4*o - 5*i + 2957. Is 47 a factor of o?
False
Let c be -79*(-31 - -4) + 2. Let z be 4 - (c/25 - 4/10). Let o = 284 + z. Is o a multiple of 27?
False
Suppose -2*w + t + 938 = 5*t, -2*w + 2*t = -926. Does 11 divide ((-300)/18 - -2)*w/(-20)?
True
Let n be (-149562)/567 + (-4)/18. Is 2/(((-4)/(-105))/(n/(-28))) a multiple of 11?
True
Suppose 419 = 4*y - 5*n, 8*y = 12*y - n - 439. Let g = y - 37. Is 15 a factor of g?
False
Let z be (69/92)/((-6)/(-16)). Let l = 3 - 0. Suppose -z*a - 3*n = -175, -l*n + n = -3*a + 269. Does 11 divide a?
False
Let q(c) = -33*c + 31. Let g(f) = 167*f - 155. Let n(y) = -2*g(y) - 11*q(y). Is n(2) a multiple of 6?
False
Suppose -22*n = -16*n - 2646. Let d = -33 + n. Does 17 divide d?
True
Suppose -62*r = -66*r + 5*d + 101847, -5*d = -3*r + 76394. Is 230 a factor of r?
False
Let l(z) = 30*z**2 + 178*z + 50. Does 14 divide l(-15)?
True
Let y = 603 + -599. Is (-1 + -2)*2 - (-685 - y) a multiple of 30?
False
Suppose 0 = -0*s - s, -4*a = -2*s + 3*s - 9020. Is a a multiple of 55?
True
Suppose 0 = l + l - 2, -z - 3*l + 72 = 0. Let o(t) = 5*t**2 + t + 108. Let r be o(-12). Suppose z*x = 66*x + r. Is 34 a factor of x?
True
Let v(o) = o**3 + 4*o**2 - 4*o + 7. Let i be v(-5). Suppose 3*h = i*h + 1, -3*l - 5*h = -308. Let p = 18 + l. Does 15 divide p?
False
Suppose 0 = -3*t - 5*d - 289, 4*t + 3*d + 394 = 5*d. Suppose -16 = -2*j + 3*m + 211, -5*j + 577 = 2*m. Let b = j + t. Is b a multiple of 17?
True
Let w(i) = 39*i - 6. Let n be w(-6). Let r = -59 - n. Suppose -7*u + 127 = -r. Does 9 divide u?
False
Let y be ((-12174)/4)/(57/(-38)). Suppose y = -2*x + 6243. Does 43 divide x?
True
Suppose 858407 = 560*d - 398*d - 865273. Is 10 a factor of d?
True
Let l = 511 - 515. Let b(a) = a**3 + 6*a**2 - 12*a - 10. Is 14 a factor of b(l)?
True
Let l = -110 + 110. Suppose -2*b - 9 + 73 = l. Does 16 divide b?
True
Let v(m) = -859*m - 1131. Does 66 divide v(-9)?
True
Suppose -1105 = -4*d + 1527. Suppose -3*k + d = 145. Is k a multiple of 19?
True
Let l(u) = -u**3 + 15*u**2 + 42*u + 59. Is 13 a factor of l(17)?
True
Suppose 0 = -4519*v + 4523*v - 135548. Does 24 divide v?
False
Let t be (-3)/(10965/(-3650) - 3*-1). Let m = t + -490. Does 48 divide m?
True
Let k(t) = -11*t - 31. Let l = -43 - -42. Let y be -5 - (l + -1) - (5 - 2). Is 7 a factor of k(y)?
True
Let s(l) = -2*l**3 + 22*l**2 - 22*l - 2. Let x be s(10). Is 27 a factor of (-18717)/(-99) - x/(-363)?
True
Let s(d) = -4*d**2 - 497*d - 76. Is 19 a factor of s(-80)?
False
Suppose 2*g = 571 - 149. Suppose u = 3*b + g, -7*u + 2*u = -b - 999. Does 29 divide u?
False
Let m(i) = i**3 - 6*i**2 - 71*i + 64. Does 67 divide m(15)?
False
Let o(t) = -2*t**2 - 23*t - 53. Let v be o(-17). Let b = 336 + v. Is b a multiple of 24?
True
Let j(m) = 4*m - 27. Let h be j(8). Suppose 7 - h = y. Suppose -2*b = 4*a - 254, 6*a - 244 = y*a - 4*b. Does 11 divide a?
True
Let b(v) = v**3 - 13*v**2 - 2*v + 26. Let f be b(13). Suppose f = -7*i + 3*i + 3*i. Suppose 2*o + 690 = 5*r, 4*r - o - 487 - 62 = i. Is 8 a factor of r?
True
Let b(y) = -3*y + 24. Suppose -2*k + 4 = -12. Let r be b(k). Suppose -2*n + 8*n - 78 = r. Is 3 a factor of n?
False
Let b(o) = -40*o + 422. Let z be b(11). Is 15 a factor of 440*-6*z/27?
False
Let t = 3146 + 11132. Does 128 divide t?
False
Let p(y) = -30*y + 240. Suppose -217 = -31*c - 961. Is p(c) a multiple of 48?
True
Let c(t) be the first derivative of 4*t**2 - 2*t - 5. Let o be c(-1). Is 8 a factor of 5502/70 + 6/o + 0?
False
Let o(c) = 5*c + 34. Let k be o(-6). Suppose 4*z - 3*f = 210, 4*f - k = -12. Is z a multiple of 18?
False
Let q(h) = -h**3 + 38*h**2 + 66*h - 448. D