
False
Let y(v) = -v**2 - 7*v + 32. Let u be y(-10). Suppose -146 = -2*c - b, -7*c = -2*c + u*b - 365. Is 14 a factor of c?
False
Let u(a) = 315*a + 285. Is 34 a factor of u(17)?
False
Let f(d) = -d**2 + 13*d - 4. Let z be f(10). Suppose s + z + 2 = 0. Let w = 82 + s. Is 14 a factor of w?
False
Let s be (-7 + (-1662)/24)*-156. Suppose 48*b - 33*b = s. Is b a multiple of 32?
False
Let n(s) = 46*s - 90. Let a be n(14). Suppose -a*l + 550*l = -1760. Is 11 a factor of l?
True
Suppose 6 - 18 = -2*v. Let y be (-98)/(-8)*v/(-21)*-14. Suppose -d + y = 1. Does 16 divide d?
True
Let s be ((-12)/(-20) - (-3 - -4))*10. Is 21 a factor of 1968/((-24)/(-8)) - (1 - s)?
True
Let p be (10 + -4 - 60)/(-2). Let c be (-2)/8 - (-2)/8. Suppose c*k - 3*k - n = -121, 0 = -k - 3*n + p. Is 6 a factor of k?
True
Let h = -7315 + 9895. Is h a multiple of 4?
True
Let d(h) be the second derivative of h**5/20 - h**4/6 - 43*h**2/2 + 14*h. Let g(j) = 1. Let s(v) = -d(v) + 5*g(v). Is s(0) a multiple of 11?
False
Let b(z) = 114*z + 13. Let g be b(6). Let w = g - 349. Does 19 divide w?
False
Suppose -4 = -4*k, -5*z - 123 = k + k. Let o = 101 - z. Let v = -56 + o. Is 35 a factor of v?
True
Suppose -4*w = 4*p - 5816, -4*w + 5820 = 9*p - 7*p. Is 7 a factor of w?
True
Let d(o) = -42*o**3 + 13*o**2 - o + 56. Is d(-6) a multiple of 76?
False
Suppose 0 = -0*k + 6*k + 3*k. Suppose 12 = 3*j, k*j = 3*a + 3*j - 216. Let y = -65 + a. Is y a multiple of 3?
True
Let q = -469 - -2029. Let r = -496 + q. Is 87 a factor of r?
False
Let d = 21866 + -14942. Is d a multiple of 8?
False
Is 18 a factor of ((-252)/(-10))/((-154)/(-13090))?
True
Suppose -2*g + 675 - 77 = 0. Let t = g - -6. Suppose 162 = 3*l - 4*v, 5*l + 4*v + 67 = t. Is 25 a factor of l?
True
Suppose 3*s = -2*s - 5*t - 445, 4*t = s + 99. Let c = -136 - -5. Let q = s - c. Is 10 a factor of q?
True
Suppose -2*p + 2*h = 364, 0 = -4*h - 0*h. Is (39 - 44)*p/5 a multiple of 14?
True
Suppose 90*u - 447268 - 445732 = -62*u. Does 53 divide u?
False
Let h = -2108 - -2331. Does 11 divide h?
False
Let l(z) = -138*z - 113*z - 11 + 208*z. Is l(-8) a multiple of 13?
False
Suppose -23 = -8*i - 7. Suppose -i*o + 80 + 242 = 0. Let j = o + -63. Is j a multiple of 19?
False
Suppose 0 = 2*f + y - 10500, -26250 = -5*f - 5*y + 9*y. Is 105 a factor of f?
True
Let j(m) = -298*m - 511. Does 63 divide j(-38)?
False
Suppose 3*o - 29341 = 3*y - 7*y, 0 = 2*y - 9*o - 14723. Is 41 a factor of y?
True
Let r = 39 - 24. Suppose 7*g - r = 2*g. Suppose -4*h + 0*h = -g*t - 203, -47 = -h + 2*t. Is 23 a factor of h?
False
Let l = -689 + 683. Is 30 a factor of (224 + -8)*(1 + l)*-1?
True
Let c be -14 - ((4 - 2) + -7). Let i(k) = k + 9. Let a be i(c). Is 16 a factor of 85 - (a/3)/(-1)?
False
Let b be -2 + 0/((3 - -3)/(-6)). Is b - (-610 - 9 - -7) a multiple of 10?
True
Let i(h) = 11*h - 85. Let s be i(11). Suppose s*p - 12768 = 8*p. Is 24 a factor of p?
True
Let m = -173 + 184. Let k(w) = -w**2 + 20*w - 82. Is 9 a factor of k(m)?
False
Let i(w) = 45*w + 23. Let p be i(4). Let a = p - 168. Is 6 a factor of a?
False
Let i = -17 + 28. Suppose i = z + 9. Suppose -z = 2*r, 3*r + 191 = 4*m - 84. Is m a multiple of 17?
True
Suppose -22*g + 264744 - 59118 = -104486. Is 289 a factor of g?
False
Let n = -13 - -16. Suppose 5*k = -n*f + 902, k - 187 = f - 501. Suppose 295 = 4*o - f. Does 18 divide o?
False
Suppose 2*n = -2*q - 2*n + 38, -5*q - 5*n = -95. Suppose -q*d - 16 = -23*d. Suppose 0 = -2*v + 2*p + 218, 3*p - 464 + 49 = -d*v. Is 29 a factor of v?
False
Let n(k) = 2702*k - 5206. Is n(9) a multiple of 8?
True
Is ((-8255)/(-52))/(-5)*-84 a multiple of 55?
False
Let f = 65 - 61. Suppose -179 - 361 = f*n. Is ((-54)/n)/(1/150) a multiple of 12?
True
Does 116 divide 3 - (((-360)/6)/6 + -24927)?
True
Suppose -2*y + 9 = -5*k + 6*k, 4*k + 2*y - 54 = 0. Suppose -k*t = -t - 798. Does 19 divide t?
True
Suppose -4*j + 131792 = -3*c, 138*j = 134*j + c + 131792. Does 10 divide j?
False
Let l be (1 - (-61)/(-3))*-3. Let r be 74/1 - -2*(1 + 1). Let k = l + r. Does 17 divide k?
True
Let t = -293 - -302. Is (2 + 1)/(t/(-3192)*-2) a multiple of 24?
False
Let u be (9 - 4) + (42412 - -10). Suppose 0 = 8*c + 21*c - u. Is c a multiple of 77?
True
Suppose -4*m - 46*d + 44*d = -1230, -3*m = -d - 905. Is 16 a factor of m?
True
Let p = -1370 + 3442. Does 14 divide p?
True
Let d = 18212 - 12227. Does 37 divide d?
False
Let q(l) = 42*l - 86 - 15*l - 17*l. Is q(14) a multiple of 18?
True
Suppose a = 3*a - 4. Suppose 2*j = -2*k + 38, -5*k + 6*k - j - 9 = 0. Let s = k + a. Is s a multiple of 2?
True
Is 143 a factor of (4 - 3)/((11/(-4686))/((-44)/8))?
False
Let n(a) = -a**3 - 5*a**2 + 6. Let p be n(-6). Suppose 24*t = 18*t + 150. Let l = p - t. Does 17 divide l?
True
Suppose -3*t + 135 = 2*f - 29, -3*f - 286 = -5*t. Is 4 a factor of t?
True
Let j(y) = 1665*y**2 + 168*y + 1058. Does 9 divide j(-6)?
False
Let a(p) = 5*p**2 - 176*p + 107. Is a(47) a multiple of 90?
True
Let u be (-4)/26 - 7213/13. Let n = 955 + u. Is n a multiple of 40?
True
Let u = 55 - 11. Does 5 divide (u/(-3) - -2)*-3?
False
Let d(s) = -2*s**2 - 13*s - 1. Let y be d(-6). Suppose -66 = -y*a + m, -3*a + 0*m = 2*m - 37. Is a a multiple of 13?
True
Let a = 18479 - -955. Is a a multiple of 79?
True
Suppose m = 2*u - 1746, -3*u = -m + 2*m - 2619. Let r = u + -568. Does 38 divide r?
False
Let x(l) = 9*l**3 - 2*l**2 + 3*l - 5. Let o be 3/(-18)*3*-4. Let v be x(o). Let w = 152 - v. Is w a multiple of 28?
False
Suppose 5*y = -38*t + 35*t + 151085, -100718 = -2*t + 2*y. Is t a multiple of 16?
False
Let t = -3844 + 8404. Does 42 divide t?
False
Let z = -207 - -207. Suppose 3*y = -b + 101, b - 106 = 2*y - z*y. Is b a multiple of 13?
True
Suppose 0 = 2*h + 3*g - 87 - 179, -361 = -3*h + 5*g. Suppose 0 = -h*d + 117*d + 4770. Is d a multiple of 27?
False
Let w(r) = -r**2 - 4*r - 3. Let v(k) = k**2 - 5*k - 3. Let c(u) = 3*v(u) - 4*w(u). Suppose -3*f - 2 + 8 = 0. Is c(f) a multiple of 33?
True
Suppose 22 = -5*c + 47. Let a = -64 + 64. Suppose -c*h - 5 = a, -h = -o + 6 + 35. Is 35 a factor of o?
False
Suppose 0 = 6*l - 49 - 35. Suppose 712 = l*y + 12. Is 25 a factor of y?
True
Suppose 7*x - 98 = 14*x. Does 9 divide 512/28 + ((-38)/x - 3)?
True
Let p be 0 - 6/(-15) - 69/(-15). Suppose 126 = t + p*t. Let q = -16 + t. Does 4 divide q?
False
Let q = 15808 + -8923. Does 15 divide q?
True
Does 25 divide (-210792)/(-56) - 2/14?
False
Suppose -59 = n + 4*s, -4 = 13*s - 9*s. Let w = n - -249. Is w a multiple of 20?
False
Suppose -32*i = -35*i + 24. Suppose -6*g - i*g = -252. Is (g/(-12))/(2/((-172)/3)) a multiple of 4?
False
Suppose -3*l = -11*m + 9*m + 9, -15 = m + 5*l. Suppose -p + 780 = -m*p + 2*h, 0 = p + 4*h - 780. Is 60 a factor of p?
True
Let h(q) = -18*q**3 + 19*q**2 + 7*q + 15. Is 125 a factor of h(-9)?
False
Let a(y) = 8845*y + 3601. Is 144 a factor of a(3)?
False
Let h(p) = 3*p**2 + 162*p + 787. Is h(-76) a multiple of 64?
False
Is 2141901/69 - 101/2323 a multiple of 17?
True
Let d(u) = -167*u + 7733. Is d(-66) a multiple of 121?
True
Suppose -7*u + 12 = -3*u. Suppose 5*o = -m, -m - 17 = -5*m - u*o. Suppose 4*v = -y + 188, -5*y - m*v + 898 = -6*v. Is 12 a factor of y?
True
Let t(c) = 3*c + 61. Let y be t(-18). Suppose 42 = y*w - 4*w. Does 13 divide w?
False
Let h = -1088 - -2285. Is h a multiple of 2?
False
Let m = 39 + -37. Suppose 2*w + 8 - 112 = m*x, -x + 2*w - 52 = 0. Let d = -32 - x. Does 10 divide d?
True
Suppose -9*j + 5*y = -7*j + 204, -j - 102 = 2*y. Is (-8260)/(-9) - j/459 a multiple of 34?
True
Let u = -11 - -51. Let c(w) = -778*w + 3201. Let a be c(4). Let y = a - u. Does 8 divide y?
False
Suppose -4*w + 861 = -p, -4*w + 6*p + 852 = 2*p. Let g = 451 - w. Suppose 5*t - 101 = -3*m, 0 = -5*m + 10*m - 5*t - g. Does 3 divide m?
True
Suppose 7*s - 11993 = -13*s + 23207. Is 40 a factor of s?
True
Let x = 343 - 213. Let z = x + -4. Let v = 198 - z. Does 24 divide v?
True
Suppose 5*u = 4*u - 10. Let q be 3 + u + 2 - -3. Let k(p) = -62*p - 5. Is 33 a factor of k(q)?
False
Let f be 2/(-3)*(-702)/(-36). Let i = f - -278. Does 51 divide i?
False
Let q be (-2)/(11/((-99)/6)). Let n(g) = -2*g**2 - 18*g + 35. Let o(x) = x**2 + 18*x - 34. Let t(k) = q*o(k) + 2*n(k). Does 11 divide t(13)?
True
Let c = 8371 - 7593. Is c a multiple of 70?
False
Suppose -5*h + 295 = -300.