of u?
False
Suppose -5*z = -3*a + 684, 2*a + 3*a - 1140 = -4*z. Let o = 417 - a. Is 29 a factor of o?
False
Let k(f) = f**3 + 5*f**2 + f - 7. Let p = -21 + 17. Let j be k(p). Suppose j*r = -2*q + 111, q - 5*r - 61 = -q. Is 10 a factor of q?
False
Let u be 520/16*(-4)/(-5). Let l(p) = 2*p**2 - 37*p - 84. Is l(u) a multiple of 17?
True
Let b(y) = 213*y + 4248. Is 30 a factor of b(-6)?
True
Let p(k) = 9*k**2 - 8*k + 130. Does 5 divide p(-15)?
True
Let l(d) = -d + 7. Let q be l(2). Suppose -3*k - 9 = 0, 3*w = -3*k + 95 - 35. Suppose -q*y = 3*j - 170, 0 = -5*j + 2*y + 265 - w. Is 50 a factor of j?
True
Let s(t) = -3*t - 15. Let b be s(2). Let a(w) = w**2 + 4*w + 23. Is 38 a factor of a(b)?
True
Suppose 0 = -5*x - 20, 4*f = -2*x + 5*x - 40. Let j = f - -270. Is j a multiple of 24?
False
Suppose -72 = 2*m - 6*m. Let g be 36/(-126) - m/(-14). Is 1/(-4) - ((-610)/8 - g) a multiple of 9?
False
Let c = 3 - -8. Let s(m) = 15*m + 123. Is s(c) a multiple of 32?
True
Let h(f) = -f**3 - 6*f**2 - 3*f + 6. Suppose -2*b = 8*b + 30. Let u be h(b). Let q = u + 33. Is 3 a factor of q?
True
Suppose -6*j + 7 = -11. Suppose -j*q + 65 = 59. Suppose 6*d + q*d = 1416. Is 34 a factor of d?
False
Let h be (-140)/(-44) + -1 + 4/(-22). Suppose 4*k + 33 = -3*r, r - h*k = 4*r + 33. Let i(g) = g + 16. Is 5 a factor of i(r)?
True
Let i = 253 - 210. Let g = i - -167. Is g a multiple of 16?
False
Let c = -15 + 41. Suppose 3 = 3*v + 4*a, -4*v + 3*a + 5 = c. Let i(f) = -5*f**3 + 7*f**2 + 12*f + 7. Is i(v) a multiple of 13?
True
Let q(v) = 173*v**3 + 10*v**2 - 28*v + 193. Does 159 divide q(5)?
False
Let u(h) = 3*h. Let w = 22 + -22. Let k be u(w). Suppose 3*t = -2*i + 149, k*t + t - 27 = 5*i. Does 14 divide t?
False
Let q be (1 - -1)/((-22)/(-132)). Is (-3 - q/3) + 254 a multiple of 12?
False
Let q(n) = -n**3 + 16*n**2 + 2*n - 20. Let c be q(16). Is (6 + 320/c)*6/7 a multiple of 28?
True
Let r(o) = 23*o - 70. Let j be ((-304)/(-80))/(3/30). Is r(j) a multiple of 67?
True
Suppose 4*n = -0*q - q - 18, -3*q + 2*n = -16. Suppose 2*t = -q*l - 200, 5*l = -t + 4*t - 540. Let s = -73 - l. Is 8 a factor of s?
True
Suppose 0 = 28*g - 34*g + 36. Suppose 0 = 15*r - g*r - 819. Does 12 divide r?
False
Let d(y) = y**2 - 11*y + 10. Let z be d(14). Suppose -4*t = -5*a + z, -8 = -4*a - 3*t + 15. Is a a multiple of 4?
True
Suppose -18 = 2*m - 6*m + 2*b, -24 = -5*m + 4*b. Suppose -f - 6*j + 5*j = -67, 0 = -m*j - 12. Is f a multiple of 7?
True
Suppose 5*u + 4400 + 4100 = 0. Does 48 divide u/(-5) - 12/3?
True
Let o be -2*(1 + (-4053)/(-6) - 5). Let l = -804 - o. Is l a multiple of 8?
False
Suppose -15 = 3*u - 27. Suppose 0 = -u*d + 1314 + 478. Suppose -11*w + 4*w + d = 0. Is 16 a factor of w?
True
Let g(x) = 542*x**2 - 80*x - 81. Does 19 divide g(-4)?
True
Suppose -5*k + 2*g - 520595 = 0, -k = 6*g - 5*g + 104126. Does 38 divide (-2)/(-19) - (k/171 - -8)?
False
Let g(u) = -10*u + 5. Let k(n) = -n - 1. Suppose 6*a = -10 - 2. Let q(c) = a*k(c) + g(c). Is q(-4) a multiple of 7?
False
Let t = 10767 + -4980. Is 18 a factor of t?
False
Let q(y) = y + 27. Let v(n) = -n**2 + 9*n - 3. Let s be v(8). Suppose -5*k + 80 = -s*t, -k = 4*k + t - 50. Is 15 a factor of q(k)?
False
Suppose 4*b + 47*b - 31008 = 0. Is b a multiple of 45?
False
Is (-7 - (-162)/(-12))*-84 a multiple of 21?
True
Suppose 4*x - d - 25030 - 117051 = 0, d + 106561 = 3*x. Is x a multiple of 10?
True
Let p = 213 + 1335. Does 26 divide p?
False
Let p(a) = 5*a + a**2 - 3*a + 2*a + 9. Let o(r) = 40*r + 328. Let j be o(-8). Is p(j) a multiple of 16?
False
Suppose 22*o + 159*o - 31*o = 241200. Is o a multiple of 8?
True
Suppose -4*y = 4*h - 9292, 0 = 1383*y - 1387*y - 28. Is 10 a factor of h?
True
Is 20 + -33 + -4 + 6800 a multiple of 51?
True
Suppose 4*q = -2*t - q, 5*t = -5*q - 15. Is (6 - t - 0) + -5 a multiple of 3?
True
Let d(r) = r**3 - 11*r**2 - 11*r - 34. Let i = 1 + 12. Is 3 a factor of d(i)?
False
Let m(n) = 74*n**2 + 30*n + 31. Let c(p) = -47*p**2 - 19*p - 21. Let x(w) = -11*c(w) - 7*m(w). Let u = -1 - -1. Is 2 a factor of x(u)?
True
Let p(v) = -v**2 - 23*v + 63. Let h = -413 + 391. Is 17 a factor of p(h)?
True
Suppose 58*v = 64*v - 96720. Suppose 18*u - v = -2*u. Is 30 a factor of u?
False
Suppose -z + 7371 = 4*h - 2427, -h + z + 2452 = 0. Does 14 divide h?
True
Let a = 10 - 20. Is 29 a factor of 2*5*(-695)/a + 4?
False
Is 7 a factor of 70/525 + 199544/120?
False
Suppose 0 = 6*y - 10*y - 0*y. Suppose 0 = -d - 2*j + 245, y = -6*d + 3*d - 4*j + 739. Does 17 divide d?
False
Suppose 0 = 10*m - 8*m - 70. Let h(n) = 19*n + 4 + 9*n + 14*n - m*n. Is 20 a factor of h(3)?
False
Does 27 divide 2*(-7 - 199573/(-22))?
False
Suppose 3*t + 323 + 220 = 0. Let o = t - -362. Suppose z = -i + o, -3*z = 8*i - 13*i - 511. Is 11 a factor of z?
False
Suppose 40 = 5*d - 2*d - 5*b, 0 = 2*d + b - 5. Suppose d*j = -0*j - 15, -3*y = -4*j - 1230. Is y a multiple of 7?
True
Let o(u) = -u**3 + 18*u**2 - 3*u - 25. Let w be o(16). Let b = w - -236. Is b a multiple of 9?
True
Suppose 0 = g + 2*g. Suppose 0 = 80*y - 87*y + 8064. Suppose -2*p + 11*p - y = g. Is p a multiple of 24?
False
Suppose -1831 = -3*i + 2609. Is i a multiple of 5?
True
Let q(k) = 2*k - 51. Let s be q(9). Let t(z) = z**2 + 34*z + 163. Does 26 divide t(s)?
True
Suppose -4 = -b + 3*q, b - q + 0 = -6. Does 29 divide b/(-55) + 868/10?
True
Suppose -5*p + 11662 + 6218 = 4*x, 2*p - 2*x - 7134 = 0. Does 17 divide p?
False
Suppose h + 9*h = 2558 + 3342. Is h a multiple of 10?
True
Let k = 4985 + 2969. Is k a multiple of 10?
False
Let c = -286 + 497. Suppose -2*m + 4*q + 360 = 0, -c = -4*m + 5*q + 524. Is m a multiple of 16?
False
Suppose 3*s - 12 = 15*s. Let c be 371 - (s - (-1 - 3)). Suppose 3*o - 1094 = 4*p, -o - 5*p + c = -3*p. Is o a multiple of 61?
True
Suppose 6*z = 14 + 16. Let b(p) = -10*p**2 + 35*p. Let t(r) = -2*r**2 + 7*r. Let m(l) = 2*b(l) - 11*t(l). Is 15 a factor of m(z)?
True
Let g(r) = -r**2 - 2*r + 16. Suppose 3*z - 2 = -17. Let b be g(z). Is (b - -49) + (0 - 4) a multiple of 9?
False
Let g = 365 - 117. Suppose -221 - g = -7*f. Is f a multiple of 67?
True
Let p(v) = v**3 - 6*v**2 + 8*v - 13. Let h be p(5). Suppose -4*c + 400 = -h*r, -3*c = -7*c + 5*r + 412. Suppose c + 126 = 2*q. Is 14 a factor of q?
True
Does 25 divide -5*3/6 - 2*53385/(-12)?
False
Suppose -21 = -5*t - 0*t - 4*l, 0 = 4*t - 2*l - 22. Suppose 4*c = -t*m + 729, 0*c - 4*m + 900 = 5*c. Is c a multiple of 29?
False
Suppose 30*y = -44*y + 435786. Does 19 divide y?
False
Let f(n) = 19*n**2 - 41*n - 102. Is f(18) a multiple of 8?
False
Let m(w) = -2*w**2 - 8*w - 3. Let r be m(-5). Let t(z) = -z + 45. Let h be t(r). Suppose 0 = -k + h + 25. Is k a multiple of 9?
False
Let p(t) = 6*t + 25. Let i(x) = -6*x - 25. Let m(y) = -3*i(y) - 2*p(y). Let g be m(-4). Is 8/(-10) + g - (-514)/5 a multiple of 12?
False
Suppose 3*x - 5*z = -2*x - 65, 0 = x + 3*z - 3. Let a be (-33)/2*132/x. Let i = a + -134. Does 54 divide i?
True
Let x(a) = -a**3 - 6*a**2 - 5*a + 34. Let u be x(-6). Suppose 0 = v - 2*p - u, -275 = -4*v - p + 17. Is v a multiple of 24?
True
Let f be 172872/32 - 4/16. Is 37/(-111) + f/6 a multiple of 36?
True
Let a = 21 + -9. Is a + -3*(1 - 0) a multiple of 9?
True
Suppose -207*y - 858572 = -220*y. Is 22 a factor of y?
True
Suppose o + 2*d - 176 = -32, -5*d = 2*o - 288. Suppose 3*h - 2*n = o, -3*h - n - 2*n + 144 = 0. Does 13 divide 4/(h/645) - (-3)/12?
False
Let q = 3142 - -1518. Suppose 0 = -6*s - 1228 + q. Is 11 a factor of s?
True
Let a(i) = 3*i**2 - i - 26. Let x(n) be the first derivative of 2*n**3/3 - n**2/2 - 17*n + 5. Let z(y) = 5*a(y) - 7*x(y). Is z(6) a multiple of 8?
False
Let p(t) = 72*t - 112. Let m be p(17). Suppose -6*v + 148 + m = 0. Is 15 a factor of v?
True
Does 8 divide ((-106)/(-6))/((-55)/(-1320))?
True
Suppose -14*d + 10759 = 15*d. Let z = d - -364. Is 19 a factor of z?
False
Suppose -4*f - 2 = -f - 2*o, -12 = -3*o. Suppose 5*m - 23 = f. Suppose -m*h - 2*h = -455. Does 26 divide h?
False
Let q be 0/(2/(-6)*-3). Suppose -30*m + 41*m - 6875 = q. Does 25 divide m?
True
Let j(i) = i**2 + 31*i - 1235. Does 9 divide j(-56)?
False
Suppose -23*j - 2720 = 14*j - 29212. Is 4 a factor of j?
True
Suppose -3*a - 2*a + 22 = -2*k, -k = -a + 5. Suppose 4*g - 2*b - 255 - 333 = 0, -a*g = 3*b - 608. Is 2 a factor of g?
False
Let j(y)