 + 2. Is 10 a factor of n(v)?
True
Let b(h) = -h**3 + 7*h**2 + 7*h - 14. Is b(7) a multiple of 15?
False
Suppose 2*f + 3*f + 510 = 0. Is 23 a factor of (2*f/20)/((-24)/120)?
False
Suppose j - 12 = -6*z + 4*z, 5*j - 67 = -3*z. Does 3 divide j?
False
Let l be (-16 + 12)*(-1)/(-2). Let i be (l/4)/((-9)/126). Let o = 70 - i. Does 21 divide o?
True
Let n(q) = -q**3 - 4*q**2 + 5*q + 2. Let t be n(-5). Let u(f) = t*f**2 - f**2 + 39 - 2*f - 29. Is u(4) a multiple of 4?
False
Let x be ((-4)/2)/((-12)/24). Suppose 151 = 2*a + 5*p, x*a - 3*a - 2*p - 53 = 0. Is 25 a factor of a?
False
Suppose -1788*c = -1784*c - 2328. Is c a multiple of 6?
True
Suppose 0 = 236*d - 239*d + 7854. Does 75 divide d?
False
Suppose -i + 57 = 2*i. Suppose -2*t = 0, 4*t - i = -5*n + 156. Is n a multiple of 13?
False
Suppose -6*p + 240 = -390. Does 4 divide p?
False
Suppose -4*s - 31 = s - 3*q, -3*q = -6. Let f(k) = k**3 - 30*k**2 + 15*k - 34. Let n(t) = 6*t**2 - 3*t + 7. Let w(z) = -2*f(z) - 11*n(z). Does 16 divide w(s)?
False
Let q(k) = -k**3 - 11*k**2 - 6*k - 24. Is 7 a factor of q(-11)?
True
Let c(d) = 9*d + 4*d + 0*d**2 + 4*d - 26 + d**2. Does 3 divide c(-19)?
True
Is 3 a factor of (-3676)/(-12) + -5*3/45?
True
Is (-320)/(-1) - 55/44*4 a multiple of 35?
True
Does 17 divide (21/5 - 4) + 1677/15?
False
Is 3 a factor of (3/(-45) - (-26)/65)*96?
False
Suppose 5*o + 16 + 34 = 0. Let d(j) = -3*j - 10. Let k(r) = -6*r - 21. Let a(l) = 15*d(l) - 6*k(l). Is a(o) a multiple of 33?
True
Is 1164*-5*(-5)/50 a multiple of 39?
False
Let t = 87 - 46. Suppose t + 49 = 3*n. Suppose n - 10 = u. Is 5 a factor of u?
True
Suppose 41*f - 7420 = 13*f. Is f a multiple of 11?
False
Suppose 0*j + 4*j = 4. Suppose j = -3*g - 5*p + 55, -g + 5*p = -38. Suppose 3*i + g = 95. Is 12 a factor of i?
True
Let g(v) = v**3 + 3*v**2 - 7*v - 7. Let a be g(-4). Suppose -512 = -a*x + 2*w, -x + 4*w + 88 = -0*w. Is x a multiple of 8?
True
Let t = 1038 - 564. Is 13 a factor of t?
False
Suppose 20 = 2*k + k + 5*b, -5*k - 12 = -3*b. Suppose -10*m + 7*m + 9 = k. Suppose m*u + u = l - 44, 4*l = -u + 91. Is 12 a factor of l?
True
Let j = 25 - 16. Suppose q - 14 = -j. Suppose -10*y + q*y = -250. Is y a multiple of 25?
True
Suppose 5*f + 739 = 3*n, 2*n - 3*f + 4*f = 471. Is 34 a factor of n?
True
Let t(z) be the first derivative of z**2/2 + 20*z + 42. Does 11 divide t(9)?
False
Let v(q) = 7*q - 39. Let t(a) = -4*a + 20. Let r(g) = -5*t(g) - 3*v(g). Let k be r(13). Suppose 129 = -k*s + 453. Is s a multiple of 21?
False
Let t(v) = 2*v**2 - 27*v - 36. Let l be t(22). Is l/8 + 1/((-12)/3) a multiple of 22?
False
Let n be 1/(-1)*(-13 + 3). Suppose -5*f = 4*o - 50, 3*f + n*o - 17 = 5*o. Does 7 divide f?
True
Suppose -f + 0*t = 5*t + 12, f = -t. Suppose 12 = 4*o, 4*d - 2*o - f = 11. Suppose -y = -d*y + 88. Is 11 a factor of y?
True
Suppose -3*g + 9 = -0*g. Suppose 0 = -g*n + 17 + 7. Suppose 4*y = 140 - n. Does 11 divide y?
True
Let n = -3 - -5. Let k be 136 + (-4)/((-8)/6). Suppose 6*l - l - k = -g, n*g = 8. Does 9 divide l?
True
Let p(u) = 3*u - 25. Let q be 3/(6/(-4)*8/(-44)). Is 4 a factor of p(q)?
True
Let f(u) = u**2 - 3*u + 2. Does 6 divide f(-5)?
True
Let i = 91 - -134. Suppose m + 375 = 5*v, -v + i = 2*v + m. Is v a multiple of 10?
False
Let n(u) = 6*u - 7. Let s be n(2). Suppose 192 = -2*y + s*y. Does 19 divide y?
False
Suppose 144 = t + 2*n, -4*t - n + 135 = -406. Suppose -44*z + 40 = -42*z. Suppose 4*x - z = 3*y - t, -3*y + 111 = -3*x. Is 8 a factor of y?
False
Suppose 0 = -2*l - 4*r + 1687 + 305, -l - 4*r = -990. Is 40 a factor of l?
False
Suppose 3*p - 59 = -3*o - 14, 2 = 2*o. Let h = p - 14. Suppose -3 = m, -3*m + h*m - 58 = -k. Is 12 a factor of k?
False
Let i(f) = 82*f**2 + 34*f - 1. Is 23 a factor of i(1)?
True
Let b = 568 + -242. Does 17 divide b?
False
Suppose 1117 = -176*l + 181*l - 2*i, -3*l = -5*i - 655. Is 75 a factor of l?
True
Let u = -393 - -276. Let l = u + 306. Is l a multiple of 20?
False
Suppose 2*v = 2*d + 4, 0 = 3*v - 4*d + 9*d - 6. Let f = -8 - -16. Suppose v*m = -5*y + 32 + 6, 2*y = f. Is 8 a factor of m?
False
Let i = 179 - 177. Let s(y) = y + 3. Let w be s(0). Let t = w + i. Is t a multiple of 4?
False
Suppose 0 = -3*t - 12*s + 8*s + 308, -s = 1. Is 7 a factor of t?
False
Let b(s) = -s + 2. Let w be b(-2). Suppose -3*r - 3 = 3*u - 30, 6 = w*u - 2*r. Is u/10 - 156/(-10) a multiple of 12?
False
Is ((-180)/(-40))/(6/2128) a multiple of 38?
True
Suppose 0 = -g + 5*i + 1842, -4*i + 3670 = -17*g + 19*g. Is 55 a factor of g?
False
Suppose -4*w = f - 5*f + 4, 5*w = -2*f + 23. Let m be (-2 + w)*-1 - -4. Suppose m*i = -4*k + 29, 0 = 2*k + 2 + 6. Does 5 divide i?
True
Let k(o) = -o**2 + 7*o + 2. Let q be k(5). Let f = 21 - q. Suppose 4*h = 231 + f. Does 12 divide h?
True
Suppose -3 = m + 42. Let c = 48 + m. Is 3 a factor of c?
True
Suppose x - 738 = -5*n, -4*x - 75*n + 72*n + 2969 = 0. Is 7 a factor of x?
False
Let k = 10 + -5. Suppose 0 = k*y - q - 0 - 1, 2*y - 3*q = 3. Suppose 5*u + 3*g = 4*u + 56, y = -u - 4*g + 60. Does 11 divide u?
True
Let f = 4105 - 2121. Does 16 divide f?
True
Suppose -5*t - 56 = -4*s, 3*s = s + t + 28. Let p = -9 + s. Suppose p*k - 5*r = 250, 6*k + 5*r - 155 = 2*k. Is k a multiple of 9?
True
Suppose 22*o - 2123 = -5*r + 18*o, -o + 1271 = 3*r. Is r a multiple of 43?
False
Let k(x) = -x**2 - 14*x - 9. Suppose 4*y + 65 - 21 = 0. Let m be k(y). Suppose -2*q + m = 3*d, 6 + 1 = d + q. Is d a multiple of 4?
False
Let s be 5406/(-68) + 3/(-2). Let p = 157 - s. Does 34 divide p?
True
Suppose 2*o = 3*a + 2*a - 95, 0 = 5*o. Suppose -2*u = -i + a, -u - 30 = -5*i + 29. Suppose -i = -6*d + 5*d. Does 11 divide d?
True
Suppose 27*s - 16800 = 21*s. Does 24 divide s?
False
Suppose 3 = 5*k - 27. Suppose -2 = -m + k. Is (-56)/(-10) - m/(-20) even?
True
Does 7 divide (-5 + -31)/4 - -303?
True
Does 25 divide 9/(-5)*9100/(-84)?
False
Let g = -17 + 42. Let n = 25 - g. Suppose 2*i + n*i - 5*k - 116 = 0, 4*i = 4*k + 256. Is i a multiple of 17?
True
Let x(f) = 99*f**2 - 16*f - 111. Is x(-6) a multiple of 43?
False
Suppose -175 = -0*d + 5*d. Let x = d - -98. Is x a multiple of 7?
True
Let s(f) = 490*f**2 + 5*f + 5. Does 14 divide s(-1)?
True
Let x(j) = -119*j - 473. Does 66 divide x(-18)?
False
Let u(w) = w**3 + 11*w**2 + 9*w + 5. Let b(v) = -v - 5. Let f be b(-10). Suppose -f*m + z - 4*z - 42 = 0, 2*m = -5*z - 13. Is u(m) a multiple of 28?
False
Suppose 0 = -6*j + 1057 + 743. Is j a multiple of 6?
True
Is (-3 - 138/(-30))*120 a multiple of 3?
True
Let w(a) = 57*a**3 - 10*a**2 + 11*a + 21. Does 17 divide w(4)?
True
Suppose -3*m = -3*k + 573, 5*k - 995 = 3*m - 8*m. Suppose -14*y + k = -11*y. Does 40 divide y?
False
Let t = 0 + 6. Suppose 2*b - t*b + 12 = 0. Suppose -b*w + 108 = -0*w. Does 12 divide w?
True
Let w = -8 - -68. Suppose 3*b - w = 5*n, 2*b - 62 = -5*n + n. Is b a multiple of 12?
False
Let j(h) be the third derivative of h**6/120 + h**5/15 - h**4/6 + 6*h**2. Suppose -d + 2*z = z + 2, 5*d = -z + 14. Is 16 a factor of j(d)?
True
Let p = 3192 - 1500. Is p a multiple of 9?
True
Let s = 403 - 565. Is 9 a factor of (s/(-4))/(5/(100/15))?
True
Let n = 131 - 374. Let g = n - 61. Let j = 428 + g. Is j a multiple of 40?
False
Is 4 a factor of 12/42 + (-378)/(-49)?
True
Let l(r) = 3*r + 40. Let u be l(-12). Suppose 4*o + 0*o = m + 498, -5*m = -u*o + 506. Is o a multiple of 31?
True
Let j(z) = -43*z + 96. Is j(-11) a multiple of 13?
False
Let d(y) = -y**3 - 25*y**2 + 53*y + 7. Let b be d(-27). Suppose -4*o = 3*h - 32, -3*o + 3*h + b = -o. Is 3 a factor of o?
False
Suppose 3*v - 6*v = 0. Suppose v*o - 54 = -9*o. Suppose -o*f - 99 = -9*f. Does 11 divide f?
True
Let y(t) = t**2 + 11*t - 139. Let r be y(-19). Let o be 1 + 3/((-3)/(-4)). Suppose o*m = -r + 183. Does 16 divide m?
False
Suppose -4*p + 6*h + 3462 = 0, -2*h = h - 9. Is 12 a factor of p?
False
Suppose 0*t - 3*t = -5*q + 3197, 16 = -4*t. Is 7 a factor of q?
True
Let f = 1320 + -442. Is 27 a factor of f?
False
Let u be 6/27*-3*-9. Let p(r) = -4 - r**2 + 3*r**2 - 3*r**2 + 10*r. Is 20 a factor of p(u)?
True
Suppose 0 = 2*o - 23 + 11. Let j be 112/6 - o/9. Does 25 divide (12/j)/(2/174)?
False
Let a be (-1149)/9 - 5/15. Let c = a + 210. Suppose 2*s - c = -0*s. Is s a multiple of 13?
False
Suppose -6*l + 538 = -134. Suppose i = 2*p - 196, 0*p - 3*i = p - l. I