
True
Let o(w) = 2264*w - 588. Is o(5) a multiple of 224?
False
Let z(d) = 86*d + 4614. Is 9 a factor of z(69)?
True
Let i = 18729 - 12174. Is 69 a factor of i?
True
Let q(h) = -2*h**2 + 3*h. Let x be q(0). Suppose -5*m + c + 300 = -233, -2*m - 5*c + 224 = x. Is m a multiple of 62?
False
Let p = 414 + -456. Let n = p - -117. Does 5 divide n?
True
Let n be (3 - 2)*2 + 2. Suppose n*r - 23 = -i, 0 = -5*r - 0*r + 3*i + 16. Suppose r*a - 426 = -41. Does 21 divide a?
False
Let t(m) = 3*m**2 + 13*m + 4. Let z be t(9). Let q = -112 + z. Is 61 a factor of q?
False
Let o = 651 - 367. Suppose 0 = 13*l - 756 - o. Does 16 divide l?
True
Let y = 9891 - 294. Does 21 divide y?
True
Let j = -39389 - -56178. Does 118 divide j?
False
Let j(z) = -147*z**3 + 2 + 148*z**3 + 0 + 18*z + 3*z - 9*z**2. Is j(8) a multiple of 11?
False
Let n(c) = -48*c + 204. Let b = 185 + -192. Is 10 a factor of n(b)?
True
Suppose -4*g - 2*c - 38 = 8, 4*g + 58 = 2*c. Let y(f) = -79*f + 15. Let t be y(g). Suppose 6*j - 104 = t. Does 24 divide j?
False
Suppose -2*j - 3*l + 100 = -65, -2*l = 2. Suppose -2*q + 5*d - 4*d = 117, -3*d - 309 = 5*q. Let v = q + j. Does 8 divide v?
True
Suppose -1486 = -i + 4456. Does 31 divide i?
False
Let y(l) = -461*l - 311. Is 16 a factor of y(-3)?
True
Suppose -2*u = -7*u + 3*j + 30572, -u - j + 6108 = 0. Is 18 a factor of u?
False
Suppose -97*x - 48180 = -101*x - 4*v, 5*x + 2*v = 60219. Is x a multiple of 11?
False
Is ((-152)/4 - -18) + 19716 a multiple of 73?
False
Suppose -2*v + 2*y - 7*y + 15 = 0, -3*v = 5*y - 20. Suppose 250 = v*t + 5*s, -2*t + 3*s = -t - 66. Is t a multiple of 7?
False
Suppose 4 = -z + 3*m - 4, -5*z = m - 24. Let n be ((-175)/(-100) + (-7)/4)/(-1). Suppose 9*w - z*w = -4*o + 82, -2*o + 2*w + 32 = n. Is o a multiple of 2?
True
Let g(n) = -2*n**2 - 29*n - 61. Let r be g(-5). Let u(y) = -y + 220. Does 6 divide u(r)?
True
Suppose 111*z - 30*z = 431167 + 174956. Does 5 divide z?
False
Let r(j) = -2*j**3 - 20*j**2 - j - 10. Let w be r(-10). Suppose -17*a + 27*a - 1780 = w. Does 8 divide a?
False
Let o = -5 + 14. Suppose f - o = 7. Suppose -f*p = -18*p + 36. Is p a multiple of 18?
True
Let l be (-1506)/8*(-8 - 0). Let m be 8/(-10) - (-81)/45 - 7. Does 42 divide (m/(-7))/(-5 + l/301)?
False
Is ((-7425)/90)/(9/(-408)) a multiple of 17?
True
Suppose -76821 - 130755 = -54*o. Is o a multiple of 23?
False
Let n = 10527 + -1497. Does 10 divide n?
True
Suppose -3*p + 1547 = -10*w + 11*w, 5*w - 7815 = p. Let y = w - 728. Is y a multiple of 35?
False
Let h = -1979 + 2306. Is 28 a factor of h?
False
Suppose 6*y + 1520 = 11*y. Let p = 411 - y. Does 4 divide p?
False
Suppose -67060 = -156*n + 151*n + 4*y, -2*n = -5*y - 26807. Is n a multiple of 4?
True
Let z = -23 + 58. Let d be (-66)/(-10) - 21/z. Suppose 55 = g + d. Is g a multiple of 25?
False
Let o = -1034 + 20618. Does 144 divide o?
True
Let b = 532 + -528. Suppose 5*w - 446 = -b*d, -30*d = -33*d - 3*w + 336. Is 7 a factor of d?
False
Suppose 2*y + 0*b = 5*b + 314, 4*b - 656 = -4*y. Let h = 29 + y. Is h a multiple of 16?
False
Suppose -11*g + 120 = -5*g. Suppose g*f - 2520 = 6*f. Suppose -2*m - 4*m = -f. Is 6 a factor of m?
True
Let w be 2*(3/1 - 2/4). Let h be (500/2)/(2 + 0/w). Suppose -4*c + 4*i = -188, -i + h = 4*c - c. Is c a multiple of 9?
False
Suppose -5*j - 2*y = -13200, -36*j + 31*j - y = -13200. Is 60 a factor of j?
True
Is 4*-1*3/(-4) - 479520/(-32) a multiple of 12?
True
Suppose 0 = -3*q - 1013 + 4181. Suppose 17*o - 6*o - q = 0. Is o a multiple of 6?
True
Suppose -148*i + 439904 = -1406840. Is i a multiple of 63?
False
Let j be -17 - (-2 - 3 - 2). Let b(x) = 9*x**2 + 2*x - 48. Does 64 divide b(j)?
True
Let a(c) = -2*c**2 + 95. Let d be a(0). Let o = d - -23. Is 14 a factor of o?
False
Suppose 238*u - 115*u + 104*u - 7501896 = 0. Does 59 divide u?
False
Is 22 a factor of 20/(-7 + -2770*(-19)/7518) - 2?
False
Let t(k) = 1195*k + 49. Let q(y) = 298*y + 12. Let v(d) = 9*q(d) - 2*t(d). Is 47 a factor of v(1)?
False
Is (-8796960)/(-745) + 24/(1 - -1) a multiple of 60?
True
Suppose -4*n - 5*v + 10759 = 0, v - 10767 = -4*n + 4*v. Is 39 a factor of n?
True
Suppose 33568 = -275*z - 41989 + 979207. Does 53 divide z?
True
Let k = -576 - -580. Let u(q) = -29*q - 4. Let s(b) = -28*b - 4. Let o(a) = -6*s(a) + 5*u(a). Is o(k) a multiple of 24?
True
Suppose -3*t - 2*z = -t + 6, -3*z - 11 = t. Let g be t + 4 - (-1 + 1 + 2). Does 7 divide (g - 3) + 5 - -2?
True
Is (-459)/51 - (-5 - 41144 - 2) a multiple of 36?
False
Suppose -9*h + 7*h + 7*n + 36585 = 0, -4*n = -4*h + 73120. Does 38 divide h?
False
Let v(g) = 8*g**3 + 9*g**2 - 10*g + 15. Let l be v(7). Let p = 7309 - l. Is 15 a factor of p/35 - 6/(-10)?
True
Suppose 23*l - 16226 = -4887. Is l a multiple of 3?
False
Let a(g) = 118*g - 21. Let q be a(4). Let c = q + -268. Is 37 a factor of 1*(-1 + 3 + c)?
True
Suppose 61 = 6*l - 11. Suppose l*a - 14*a + 260 = 4*t, 5*a + 76 = t. Is 22 a factor of t?
True
Let z = 59 - 53. Suppose -5*b + 7*n + 348 = 6*n, 3*n - z = 0. Is b a multiple of 7?
True
Suppose -2 - 2 = 4*o. Let s be 3 + -6 + 2*o. Let i(l) = -2*l + 28. Is i(s) a multiple of 4?
False
Suppose -4*f + 12 = -0*f. Suppose 0 = -f*p + 126 + 186. Does 8 divide p?
True
Let x(t) = -t**3 - 15*t**2 - 20*t - 12. Let q = -57 + 61. Suppose -4*k = -q*l - 40, -5*l = k + 4*k + 100. Does 16 divide x(l)?
True
Suppose -8*h - 10816 = -576. Is 9 a factor of (-8)/(-36) - h/72?
True
Let w(k) = 3*k + 23. Let h be 4/(-9) + 8/18. Suppose 6 + 6 = -3*q + 4*j, -4*q + j - 3 = h. Is 23 a factor of w(q)?
True
Suppose 4*c + 6 = -26*a + 24*a, 0 = a + 3. Suppose -13*n + 3432 = -c*n. Is 2 a factor of n?
True
Let h be (-1)/(1/(-14)*2). Suppose -h*l = -105 - 14. Suppose 18*u - l*u = 32. Does 4 divide u?
True
Suppose -30618 = 580*d - 607*d. Does 3 divide d?
True
Suppose 185 - 820 = -5*j. Let v = -3340 - -3321. Let s = v + j. Is s a multiple of 14?
False
Let m = -80 + 88. Suppose m*r = 11*r - 1032. Suppose 94*l - 96*l = -r. Is l a multiple of 24?
False
Let t(l) = 3*l - 87. Let w be t(-39). Let n = 511 + w. Is 24 a factor of n?
False
Let o = -107 + 384. Is (o/(-4) - 1)*(14 - 18) a multiple of 4?
False
Let d = -134 + 133. Is (-8778)/(-48) - d/8 a multiple of 14?
False
Suppose 1388 = -8*k + 10*k. Suppose k = 26*f - 4922. Is f a multiple of 36?
True
Let t(w) = -11*w**3 - w**2 - 5*w. Let l(r) = -10*r**3 - r**2 - 4*r. Let y(z) = -7*l(z) + 6*t(z). Let j be y(1). Suppose 77 = 2*x - j. Is x a multiple of 15?
False
Let d(x) = x**2 - 2*x - 24. Let t be d(-4). Suppose 2*v - 4 = t, a - 274 = -0*v - 2*v. Is a a multiple of 18?
True
Let b(n) = -n**2 - n - 1. Let t(a) = -a**3 + 8*a**2 + 8*a + 7. Let o(d) = -18*b(d) - 2*t(d). Let v be o(0). Suppose v*s - 314 = 62. Is s a multiple of 35?
False
Let z be 8/12*(-45)/6. Let o be 1 + (-6)/(-2 - z). Does 5 divide (-5)/(o*(3 - 2))?
True
Let l = 2445 - 1302. Let j = -603 + l. Is 12 a factor of j?
True
Suppose -22*l - 111*l + 56889 = -94066. Does 5 divide l?
True
Let w(k) = 10*k**2 + k - 17. Is w(-24) a multiple of 115?
False
Let c = 42 - 36. Suppose -c*s = -2*v - 7*s + 352, 2*v - 2*s = 340. Does 55 divide v?
False
Let q be -2*(-5)/2 - (36 + -31). Suppose q = -2*m - 111 + 695. Is 28 a factor of m?
False
Let p = -1334 + 2699. Is p a multiple of 21?
True
Let h be (4 + 8 + -6)/(6/28). Let j = h + -20. Suppose 0 = -j*c + 149 + 91. Is c a multiple of 15?
True
Is 4/(-26) + (420844/(-52))/(48 + -49) a multiple of 30?
False
Let l(i) = -i**2 + 5*i - 6. Let w be l(3). Suppose -3*k - 2*k + k = w. Suppose k = -5*x - 15, -3*x + 444 = 3*u + 2*x. Does 13 divide u?
False
Let y be 26 + -22 + 0/(-1). Suppose -y*i = -i - i. Suppose 4*w - 4*l = 284, i = 5*w - w + 4*l - 316. Is w a multiple of 15?
True
Let t(p) = 34*p**2 - 7*p - 35. Let b be t(-4). Suppose 1977 = 6*u + b. Does 24 divide u?
True
Let d(x) = 9*x**3 - 4*x**2 - 7*x + 5. Let b be d(2). Let y = b + 23. Does 5 divide y?
True
Let c be 12/3*1 - -1. Suppose 6*v - 14 = c*v + r, -3 = r. Suppose 3*z + 56 = v*z. Does 3 divide z?
False
Let m be 475*(1 + -6) - 1. Is (5/(-4))/(33/m) a multiple of 6?
True
Let o = 37 - 34. Suppose -5*b = -3*q + 20, 3*q = o*b + 9 + 3. Suppose -40*r + 45*r - 140 = q. Is r a multiple of 7?
True
Is (-3 - (-6)/4)*(-59 - 5) a multiple of 23?
False
Let t(v) = -31*v + 218. Let w be t(7). Let u be (-6)/9 - 80/6. Does