s be (-3 + 10)*(q - 1). Is (0 - 2/3)*s a multiple of 7?
True
Let m = 4613 + 5755. Is 64 a factor of m?
True
Suppose -10*i = -885 - 3875. Suppose -i - 1075 = -11*v. Is 47 a factor of v?
True
Let y(a) = 2*a**2 + 2*a - 4. Let z be y(-2). Suppose -4*m - 532 = -2*l - 5*m, 5*l - m - 1337 = z. Let g = l - 160. Is g a multiple of 26?
False
Suppose 11*p + 573 = 155. Let x = -41 - p. Let m(v) = -47*v - 9. Is 25 a factor of m(x)?
False
Let j(f) = f**3 + 10*f**2 - 26*f - 13. Let w be j(13). Suppose -17*y + w = -0*y. Does 26 divide y?
True
Let a(v) = -v**3 - 17*v**2 - 18*v + 22. Let z be a(-15). Let k be (-1)/(-5) - z/10. Suppose 4*w + k = 0, 4*w + 160 = 3*b - 207. Is 18 a factor of b?
False
Suppose -51548 = -26*n + 13*n + 33628. Is n a multiple of 21?
True
Suppose -3 - 11 = 14*n. Is n*(-6)/((-30)/(-2345)) a multiple of 9?
False
Suppose 0*q - 5 = -5*q. Suppose 10*n - 426 + 66 = 0. Does 17 divide (3/6)/(q/2)*n?
False
Let v(q) = 273*q**3 - 2*q**2 - 18*q + 38. Does 23 divide v(3)?
True
Let q(s) = 15003*s**2 + 10*s + 3. Does 46 divide q(-1)?
True
Suppose 4*l - 9*l = -20. Suppose 2*w - 29 = -2*v + 119, l*w - 373 = -5*v. Let i = v - -53. Does 10 divide i?
True
Let q be (0 - (0/(-4))/5)/1. Let l(t) = -t**3 - 2*t**2 - 2*t + 306. Is 34 a factor of l(q)?
True
Let g(w) = 331*w**2 - 12*w - 61. Does 18 divide g(5)?
True
Suppose 0 = -0*c - 2*c - 6, 5*c = -4*j - 7. Is 110 - j/(((-16)/6)/4) a multiple of 19?
False
Suppose 4*k = -2*d + 4*d + 1046, 5*d = 5*k - 1310. Suppose -2*j + 71 = -k. Does 47 divide j?
False
Let s be 207/4*264/99. Suppose -146*q + s*q + 384 = 0. Is 4 a factor of q?
True
Suppose 123*y - 107*y + 1855 = 44351. Is y a multiple of 12?
False
Suppose -j = 5, 3 = 5*n - n + 5*j. Suppose -n*t + 0*t + 2548 = 0. Does 14 divide t?
True
Suppose 3*j - 23 = -b - 3, 3*b = 2*j + 49. Let q(r) = 35*r - 21. Is 14 a factor of q(b)?
True
Suppose -3*a = -r - 4165 - 3891, 0 = 4*a - 2*r - 10740. Is 38 a factor of a?
False
Let y(i) = 2*i**3 - 12*i**2 + 22*i + 14. Let d be y(6). Suppose -19*p - d = -20*p. Is 42 a factor of p?
False
Suppose -29*t = -1179704 - 752856. Does 56 divide t?
True
Let m = -7477 + 23272. Is 154 a factor of m?
False
Let k = -7 + 7. Let z(b) = -b**2 + 2*b + 45. Let t be z(7). Suppose u + l - 9 = k, -t*u + 5*u + 18 = -4*l. Does 2 divide u?
True
Let v(z) = 290*z + 3334. Is 18 a factor of v(34)?
True
Let h(t) = 6*t**3 + 4*t - 8. Suppose -2 = g, -3*j - 2*j = -2*g - 159. Suppose -3*i + 0*p - p = -13, 0 = -5*i - 4*p + j. Is h(i) a multiple of 12?
False
Is 9 a factor of ((-6)/8)/(27/(-3240))?
True
Is 18 a factor of (-144)/(-2)*(-3055)/(-156)*3?
True
Suppose -3*g - 5*l = -25, 3*g + 2*g + 2*l = 29. Suppose -g*y = -0*y - 20. Suppose -72 + 456 = y*j. Is j a multiple of 12?
True
Let v = -280 + 338. Is v/(-203) + (2 - (-704)/14) a multiple of 5?
False
Suppose 6*z - 72 = 3*z. Let t = 299 - 303. Let y = z - t. Does 28 divide y?
True
Let a = 279 + -410. Let n(d) = -d**3 + 8*d**2 - 4*d - 59. Let w be n(8). Let c = w - a. Does 35 divide c?
False
Let m be 3/((-12)/16) + -18. Is (11/m + 13/(-6))*-36 a multiple of 3?
True
Let t = -22065 + 23790. Is t a multiple of 9?
False
Let g(k) = 22*k**2 + 47*k + 194. Does 45 divide g(13)?
False
Suppose -136136 = -63*d + 29*d. Is 26 a factor of d?
True
Suppose -3*z = -4*f - 763, 2*z - f = 1 + 511. Does 11 divide z?
False
Let q(r) = -r**3 - 16*r**2 - 5*r + 6. Let w be q(-15). Let k = 508 + w. Does 26 divide k?
True
Suppose -2*u + 8 = 4*p, 2*u = -p - 0*p - 1. Suppose 7*f - 504 = p*f. Suppose -4*y + 146 = -f. Is y a multiple of 17?
True
Let g(a) = 2*a**3 + 10*a**2 + a - 2 + 3*a**3 - 9*a**2. Let w be 4/(2 + 0 + -1 + 3). Is 2 a factor of g(w)?
False
Let w(r) = -5*r**3 - 181*r**2 + 86*r + 26. Does 29 divide w(-37)?
True
Suppose 2*f - 5*b = 2480, -15*f - 3747 = -18*f + 3*b. Is f a multiple of 5?
True
Suppose -4*b = 5*b - 8935 + 2329. Is 16 a factor of b?
False
Let x(k) = 128*k**2 + 13*k + 27. Let o be x(-2). Suppose 12447 = 18*b - o. Is 20 a factor of b?
True
Let c be 12/(-3)*(-40)/(-1). Let k = 278 + c. Let l = -57 + k. Is 13 a factor of l?
False
Let y(s) = -304*s + 3*s**3 + 16 + 0*s**3 + 146*s + 160*s - 29*s**2. Is y(10) a multiple of 6?
False
Let m be (-357)/(-30) - 9/(-90). Let v(u) = -u**3 + 2. Let l be v(0). Let o = l + m. Does 2 divide o?
True
Let i(b) = -5*b**3 + 2*b**2 - 40*b - 189. Does 19 divide i(-4)?
True
Let f(z) = 574*z**2 - 134*z - 785. Is f(-5) a multiple of 10?
False
Let w be 1/((-1)/(-3))*4/3. Let s be 0/(1*(w + -2)). Suppose s = -4*b + 5*d + 306, -4*b - 2*d = d - 290. Is b a multiple of 12?
False
Let s be 6/4 - 5/((-30)/(-819)). Let g be -1*3*9/(s/(-40)). Does 18 divide -2*2/g*524/2?
False
Let c(g) = g**2 + 43. Let m be c(0). Suppose m = 3*i - 44. Is 29 a factor of i?
True
Let r(d) = 2*d**2 - 3*d**2 + 44 - 30 - 11*d. Let i be r(-12). Is 7 a factor of 1128/16 + (-1)/i?
True
Let t(w) = 28*w**2 - 68*w + 433. Is t(9) a multiple of 11?
False
Suppose -5*m = 4*s - 202, -4*s = m - 245 + 51. Suppose 4*z - 5*t - 229 = 0, z + 2*t - 27 = 27. Let u = z - s. Is u a multiple of 8?
True
Let j = 59 + -53. Suppose -j = -o - o. Suppose o*g + 316 = 7*g. Is g a multiple of 21?
False
Suppose -g + 3174 + 2117 = 0. Is 8 a factor of g?
False
Let i = -9 - -13. Suppose 4*n + 3*l - 18 = 0, -3 = -2*n - i*l + 11. Is 20/(0 + n + -2) a multiple of 10?
True
Does 31 divide (1/(-2))/(73/29054)*-62?
True
Suppose -g - 10 = 4*x + 8, 5*x + 35 = 5*g. Let t(u) = -7*u - 5. Let n be t(g). Let q(p) = p + 23. Is q(n) a multiple of 3?
False
Suppose -12*t = -17*t + j - 4, -2*t + 16 = 4*j. Suppose t = -2*d, 0 = -2*s - 4*d + 287 + 57. Is s a multiple of 11?
False
Let y = -15069 - -20214. Is y a multiple of 28?
False
Let z be (-2)/5*-5 + 2847. Does 31 divide 4/24 + z/6?
False
Let g(h) be the second derivative of h**4/6 + 17*h**2/2 - 36*h. Does 18 divide g(-3)?
False
Let q be 14256/3 - 7/14*-4. Suppose -9*l = -q + 965. Is 86 a factor of l?
False
Let o(y) be the third derivative of 3*y**5/10 - y**4/6 + 5*y**3/3 + y**2 - y. Is o(3) a multiple of 40?
True
Let n(y) = -704*y - 46. Does 50 divide n(-7)?
False
Let u(r) = -4789*r + 276. Does 14 divide u(-4)?
True
Suppose -11 = 11*d + 121. Let z be ((d - 3) + 4)/((-2)/4). Suppose 2*s - 5*o = 115 + z, -2*s - 4*o + 182 = 0. Is s a multiple of 9?
True
Suppose 3*p = -385*o + 386*o - 8712, 4*o - 4*p = 34808. Is o a multiple of 21?
False
Let b = 27 - 25. Suppose -42 = k - 4*z, -b*k - 80 = 2*z - 6*z. Let h = k - -55. Is 14 a factor of h?
False
Let h = 5663 - -5778. Is h a multiple of 81?
False
Suppose 28*w = 200948 + 187804. Suppose k + w = 14*k. Does 12 divide k?
True
Let z(p) = -p + 9. Suppose -5*g + 75 - 25 = 0. Let r be z(g). Is 2 a factor of 2/(6/(-33))*r?
False
Suppose 4*g - 7 = -2*j + 3*j, -5*j = -2*g - 1. Is 7 a factor of 12/g - (-239 - 1)?
False
Let r(z) = 5*z**2 + 8*z + 1. Let t be r(-2). Suppose 0 = -t*m - 19*m + 10080. Is 12 a factor of m?
True
Suppose -5*n = -k - 17, 4*n + 9 - 13 = 4*k. Suppose 25 = -n*w + 2053. Is w a multiple of 13?
True
Let s = -32 - -37. Suppose s*h + 5 = -3*l - 0*h, 0 = -2*l - 2*h - 2. Suppose -5*y + 549 = p, y - 105 = -l*y + p. Is y a multiple of 32?
False
Let v be 6*(-15)/315 + 237/21. Let r be (-22)/5 - 4/(-10). Let t = r + v. Does 7 divide t?
True
Does 11 divide 4/5*(-13559535)/(-414)?
True
Let d be (1 + 7)*5/20*-2. Does 18 divide (d + 170/(-7))*(-1 - 13)?
True
Let f(a) = a**3 + 2*a**2 + 2*a + 4. Let l(z) = z**3 + z**2 + 3*z + 4. Let b(c) = 4*f(c) - 3*l(c). Let k be (-10 - 2*-1) + 474/158. Is b(k) a multiple of 3?
True
Let t = 36825 + -12583. Is 31 a factor of t?
True
Is 20 a factor of 29/(464/(-90400))*-4?
True
Suppose 7209 = f + 2*y - 5331, -3*f + 37622 = 5*y. Suppose -q - f = -33*q. Does 56 divide q?
True
Suppose 2*r - 7 = 9. Let b = r + -10. Let o(f) = -143*f. Is o(b) a multiple of 22?
True
Let x(f) be the second derivative of -10/3*f**3 + 0 - 13*f**2 - 8*f. Is x(-3) a multiple of 11?
False
Let h be (24/(-21))/4 - (-338)/7. Let r = 3 + h. Let w = r + -36. Is 8 a factor of w?
False
Suppose -3*s = -5*z + 45036, 4*z - 36033 = 94*s - 93*s. Does 11 divide z?
True
Let q = 11090 + 5764. Does 53 divide q?
True
Let b(m) = 19*m**2 + 4*m + 2. Let t be b(-1). Let v(z) = z**2 + 12*z - 5*z - 9*z - t. Is v(6) a multiple of 4?
False
Let z be (-2 + (-42)/(-15))/((-11)/(-110)). Suppose -z*v - 36 = -220. Is v a mult