?
False
Let v(u) = u**2 - 4*u + 4. Let t be v(5). Suppose -j = 5*o - 5*j - 849, 5*j - 671 = -4*o. Suppose -4*h + o = t. Is h a multiple of 8?
True
Let y be 274 + -3*4/6. Suppose 0 = -5*o + 13*o - y. Does 29 divide o?
False
Let c(k) = 2*k**2 - 2*k + 3. Let x be c(-11). Suppose -113 = -5*a + x. Does 19 divide a?
True
Suppose -22*r = -a - 19*r + 738, -a + 742 = -4*r. Does 11 divide a?
True
Let v(n) = -1411*n - 119. Is 24 a factor of v(-2)?
False
Let n be ((-29)/1)/((-6)/12). Suppose -7*w - n = -415. Does 44 divide w?
False
Let n = -129 + 247. Is n a multiple of 29?
False
Suppose 5*t + 4 = -26. Does 15 divide (14/t)/(13/(-585))?
True
Suppose o + 3833 = 5*v, 10 = 3*o + 4. Does 13 divide v?
True
Suppose 0 = -3*i + 2*n - n - 57, 3*n + 9 = -i. Let f(z) = z**3 + 5*z**2 - 2*z - 2. Let a be f(-6). Let c = i - a. Does 8 divide c?
True
Let x = -16 + 16. Let p(g) = g**3 + 3*g**2 - g + 1. Let t(c) = -c**3 - 4*c**2 + c. Let l(b) = 5*p(b) + 4*t(b). Is l(x) a multiple of 3?
False
Is (1 - 3) + (-12)/(-8)*1132 a multiple of 53?
True
Let n = -12 + 10. Let v = n + 54. Is v a multiple of 26?
True
Suppose 0 = -3*p + 33*k - 28*k + 2778, -5*p + 4596 = 3*k. Does 27 divide p?
False
Suppose -34*u = -43*u + 3528. Does 13 divide u?
False
Let n = 19681 - 13220. Is 13 a factor of n?
True
Let h(z) = 7*z**2 + z. Let l(m) = -2*m**2 + 2*m - 1. Let i be l(1). Let w be h(i). Suppose 2*s + 72 = w*s. Is s a multiple of 8?
False
Let u = -112 - -165. Does 51 divide u + 4 + (-25)/5?
False
Let f be ((-5)/(-15))/((-1)/(-24)). Suppose -f*b + 12*b - 40 = 0. Is b a multiple of 10?
True
Let o = -254 + 668. Suppose 5*g - o - 41 = 0. Does 13 divide g?
True
Let k(h) = -3*h - 2. Let u = -11 + 17. Suppose -2*t = -u*t - 48. Is 10 a factor of k(t)?
False
Suppose a - k = 1151, a = 2*k + 532 + 615. Does 33 divide a?
True
Let w(f) = -f**2 + 28*f - 48. Is 11 a factor of w(21)?
True
Let c(i) = i + 14. Let l be c(-11). Suppose -l*x - m - 261 = 2*m, 0 = 4*x + 5*m + 345. Is x/(-4)*(-24)/(-9) a multiple of 21?
False
Let p(t) = -t**3 - t**2 + t + 313. Let g be p(0). Suppose 4*k + 3*d - 257 + 679 = 0, 0 = 3*k + 4*d + g. Is 4/8 + k/(-2) a multiple of 26?
False
Let b be 2/4*(-408)/(-17). Does 6 divide (-30)/b + 4 - 166/(-4)?
False
Let d(u) = u**2 + 4*u + 7. Let h be d(-3). Let k be -2*(h - (-2 + 0)). Let q(t) = -t**3 - 11*t**2 + 9*t + 18. Is 9 a factor of q(k)?
True
Suppose -11*k = 5211 - 32007. Is k a multiple of 58?
True
Let d(g) = g**3 - 2*g**2 - g - 3. Let l be d(3). Let z(k) = 10*k + 10. Let i be z(-1). Suppose -l*s - v = -i*s - 117, 4*v = -3*s + 108. Is s a multiple of 20?
True
Let n(o) = -520*o**3 + 22*o**2 + 9*o + 5. Does 59 divide n(-2)?
False
Suppose 0 = -148*o + 182*o - 12716. Does 11 divide o?
True
Let o(z) = -13*z**2 + 4*z + 1. Let u be o(3). Let w = u + 176. Is w a multiple of 7?
False
Suppose 2 + 6 = 4*m. Suppose k = -2*o + 1 + m, 5*o - 15 = -k. Suppose o*h - 4*c = -c + 95, -h + 20 = -2*c. Is 13 a factor of h?
True
Suppose -3*q = -5*q. Suppose 104 = -3*d + 110. Suppose -d*y + 34 = -q*y. Is 3 a factor of y?
False
Let l = -1038 - -1825. Is 78 a factor of l?
False
Let q be 6 + -4 + 3/1. Suppose -3*j = 107 - 590. Suppose -q*g = -84 - j. Is g a multiple of 19?
False
Suppose -w + 25 = 4*w. Suppose -52 = 6*o - w*o. Let m = 94 + o. Does 24 divide m?
False
Suppose z - 5*o = 2*z + 29, 4*o + 20 = 0. Does 7 divide 2*(-2)/z - 3 - -51?
True
Let b be 166/8 - 1/(-4). Is 6/b + (-1028)/(-28) a multiple of 12?
False
Let z = -372 + 693. Is 25 a factor of z?
False
Let r(n) = 7*n**2 + 2*n - 12. Suppose -4*y = -9*y + 10. Suppose 4 = -y*w + 12. Does 27 divide r(w)?
True
Let t = 212 + -31. Let r = -346 + t. Let g = 288 + r. Is 41 a factor of g?
True
Let p = 321 + -78. Suppose 5*a + 218 = 2*o, 5*a + p + 287 = 5*o. Is o a multiple of 17?
False
Let u be (-17)/(935/(-22)) + 8/5. Let d be 33/(-6)*(-1 - 1). Suppose 23 + d = u*q. Does 17 divide q?
True
Suppose 97 + 37 = -2*u. Suppose 3*w + 0*w = -5*i + 313, -i + 440 = 4*w. Let a = w + u. Is a a multiple of 22?
True
Let r be 2/(-7) - (-234)/(-14). Let a be 2/(6/(-9)) + r. Is (-272)/a + (-2)/(-5) a multiple of 3?
False
Let b be 26/10 + 6/(-10). Suppose x + 3*z = -b*z + 143, -4*z + 673 = 5*x. Is x a multiple of 11?
False
Let k = 160 + -69. Let d = -35 + k. Is 8 a factor of d?
True
Suppose -4*j - j + 195 = 5*x, -3*j = -x + 59. Suppose -4*c + x = -8*c. Is 3 a factor of 9 + c + 4*4?
False
Let v(k) = -40*k + 177. Does 5 divide v(-9)?
False
Let c(n) = 2*n + 135. Let o be 3/(-12) + 4/16. Let l be c(o). Suppose -x + 4*x - l = 0. Is 13 a factor of x?
False
Let t(g) = 0 + g**3 - 8 - 7*g - 3*g**2 - 6*g**2 + 7. Let n be (-2)/(-9) - 176/(-18). Is t(n) a multiple of 28?
False
Let j = 10 + -13. Is 10 a factor of ((-35)/j)/(4/24)?
True
Let z(o) = -2*o**3 - 5*o**2 - 2*o - 11. Let v be z(5). Let k = -219 - v. Does 55 divide k?
False
Let d = 1004 + -478. Is 17 a factor of d?
False
Let n be 104/24 + (3/(-9))/1. Suppose -3*t + 69 = m + 4*m, 2*m = -n*t + 78. Does 3 divide t?
True
Let n = -1899 + 2666. Is 21 a factor of n?
False
Let k be 6/9 - 16/(-3). Let v(g) = 113*g + 23. Let j(a) = 38*a + 8. Let h(s) = k*v(s) - 17*j(s). Is h(1) a multiple of 14?
False
Let k be (-2 - -3 - 3) + 19. Let z = -11 + k. Suppose z*p - 71 = -5. Is 2 a factor of p?
False
Suppose 11*k + 821 = 14*k - f, -4*k + 4*f + 1100 = 0. Is 7 a factor of k?
True
Let n(c) = -c**2 + 6*c - 1. Let z be n(5). Suppose -268 = -4*x - 4*i, x - 76 = -z*i - 6. Suppose -x = -3*j + 2*a, -33 = -5*j + 3*j + 5*a. Is j a multiple of 12?
True
Let t be ((4 - 6)/1)/((-4)/6). Suppose -3*u + 0*u - t*n = -75, 5*u - 137 = -n. Does 15 divide u?
False
Let l = 5 - -222. Let u = l - 137. Is u a multiple of 45?
True
Let s(r) = 7*r + 19. Is 5 a factor of s(9)?
False
Let v(g) = -g**3 - 5*g**2 + 2*g - 7. Let t be v(-6). Let o = 20 + t. Is o a multiple of 7?
False
Let b(h) = -4*h**2 + 24 - h + 3*h + 3*h**2. Let c be (2/(-8)*0)/(-2*1). Is b(c) a multiple of 4?
True
Suppose 11*r - 13*r - 16 = -4*s, 12 = 5*r + 3*s. Suppose r = -h + 4, -2*h = a - 3*h - 74. Is 14 a factor of a?
False
Let m be (-10)/(7/4 + 10/40). Is (52/(-6))/(m/(45/6)) a multiple of 6?
False
Suppose 1 = -m - 4. Is 3 a factor of (12/9)/(m/(-285))?
False
Suppose -2*w - 3*a = -3910, -9768 = -5*w + 2*a - 6*a. Is w a multiple of 19?
False
Suppose 17*j - 18*j + 420 = 0. Does 26 divide j?
False
Let l(t) = -t**2 + 54 - 8 + 0*t**2 + 2*t**2. Let s be l(0). Suppose 0 = -2*v + 2*i + s, -2*v - 2*i + 40 + 18 = 0. Is v a multiple of 8?
False
Suppose -3*r - 5 = -11. Suppose 0 = -r*z - 4, 2*j - 15 - 67 = -z. Suppose -g - 11 = -j. Does 9 divide g?
False
Suppose -883 = 8*y - 9371. Does 51 divide y?
False
Is (-69)/(1953/(-963) + 2) a multiple of 107?
True
Is 94 a factor of ((-4512)/(-80))/(2/90)?
True
Let k(f) = f**3 + 2*f**2 + 6*f**2 - 8*f + 13 - f**2. Let b be k(-9). Let i = 119 + b. Does 8 divide i?
False
Let q(r) = r**3 + 5*r**2 - 3*r + 5. Let o be q(-5). Suppose 2*j + o = 6*j. Suppose -5*k = -s - 3*s - 152, 4*k - 138 = -j*s. Is 8 a factor of k?
True
Suppose -10 = 11*o - 6*o, 2*z = 5*o + 3430. Is z a multiple of 30?
True
Does 39 divide ((-320)/(-144))/((-14)/(-1197))?
False
Let a(m) = m**2 - 36*m + 3. Is a(-9) a multiple of 30?
False
Let i be 8/(-28) + 410/14. Let y = -5 + i. Does 24 divide y?
True
Let y(u) = u**2 + 8*u + 6. Let a be y(-3). Let f(c) = -c + 11. Is f(a) a multiple of 6?
False
Suppose 0 = -3*n + 4*g - 487, 5*n + 0*g = -3*g - 831. Let d = -98 - n. Is d a multiple of 11?
False
Let d(a) = 8*a**3 - 8*a + 16. Is 18 a factor of d(3)?
False
Suppose -2 = 2*z - 3*z. Does 17 divide 428 - (5/5 + z)?
True
Suppose y = -3*y. Let h be 2 + (0 - -3 - y). Suppose 4*s + 0*s + 4*w = 28, 0 = h*w. Is s even?
False
Let p(g) = -g**2 + 7*g + 13. Let m be p(5). Suppose -2*f = m - 61. Is 7 a factor of f?
False
Let m(k) = k**3 + 6*k**2 - 8*k - 4. Let i be m(-7). Let d = i + 5. Is d a multiple of 4?
True
Let u(s) = 61*s**3 + s + 1. Suppose -4*w + 5*g = -0*w - 11, 4*g = -5*w - 17. Let l be u(w). Let x = -31 - l. Is x a multiple of 30?
True
Let l = -163 + 1271. Does 27 divide l?
False
Suppose -472 - 608 = -5*w. Does 9 divide w?
True
Let q(u) = -23*u + 18. Let z be q(-8). Suppose -2*l + 3*l + 2 = 0, 3*t + l = z. Is t a multiple of 17?
True
Is 16 a factor of (-5)/(-60) - (-126708)/144?
True
Let v(z) = 2*z - 19. Let s = 44 + -33. Let f be 