14*x(w). Is k(-7) a multiple of 3?
False
Let x(c) = -14 + 14 + c**2. Suppose 2*y = -1 - 7. Is 11 a factor of x(y)?
False
Let g(x) = -17*x + 57. Let b(f) = -6*f + 40. Let r be b(8). Is g(r) a multiple of 33?
False
Let t(s) = s**2 + 10*s + 1. Let l be t(-7). Let o be l/(0 + (0 - 2)). Let a(d) = 8*d - 10. Is a(o) a multiple of 12?
False
Let r(h) = h**3 + 16*h**2 + 12*h - 19. Suppose w = -1, -2*b + w - 29 = -0*w. Is 4 a factor of r(b)?
False
Suppose 0 = 8*w + 24*w - 10560. Is w a multiple of 10?
True
Suppose 8*m - 1187 = 469. Suppose -m = -y - 5. Is y a multiple of 39?
False
Let r = -29 + 33. Let u(h) = 9*h + 2. Let k be u(r). Suppose -5*t - k = 2*v - 107, -2*v + t = -39. Is v a multiple of 11?
True
Suppose 0 = -3*a - z + 104 + 320, -284 = -2*a - 2*z. Let n = a - 18. Does 7 divide n?
False
Let s be (-132)/16 - 2/(-8). Let f = s + 27. Suppose c - f = -p, c - 3*p + 3 - 10 = 0. Is 4 a factor of c?
True
Let i(c) = -11*c - 356. Is 3 a factor of i(-47)?
False
Let f = 4181 - 2621. Is 40 a factor of f?
True
Suppose 4*z = -4*f + 2668, -2*f = z - 696 + 25. Is 51 a factor of z?
True
Let x(v) = 31*v - 93. Does 33 divide x(8)?
False
Let j be 162/(-7) - (-2)/14. Let g = -36 - j. Let f = 58 + g. Is f a multiple of 14?
False
Suppose 26*p - 17*p - 5184 = 0. Let x = p + -325. Is x a multiple of 12?
False
Suppose 0 = j - 0 - 5. Let b be (-9)/(-3) + 7 - -1. Let p = b - j. Is 3 a factor of p?
True
Let n(v) = 2*v - 2. Let h be n(6). Let g(j) = j**2 - 11*j + 2. Let d be g(h). Does 4 divide (-8)/3*12/d?
True
Let m(t) = -11*t**2 - t**3 - 4*t**2 + 8*t**2 - 2*t**2 + 8 + 9*t. Let u be m(-8). Let q = -91 - u. Is 9 a factor of q?
False
Suppose -v + 28 = -45. Suppose -4*z = -v - 35. Does 3 divide z?
True
Let t = 200 + 262. Is 22 a factor of t?
True
Let t be (-238)/(-3) + (-12)/36. Suppose -310 = -5*b - 4*q, -b - 1 + t = 4*q. Suppose -4*w + b + 38 = 0. Is w a multiple of 5?
False
Let k = 634 + -368. Is k a multiple of 14?
True
Let n(f) = -63*f**2 + 65*f**2 - 2*f - 4*f**3 + 2*f**3. Is n(-4) a multiple of 42?
True
Does 9 divide (4 + 892/(-8))*132/(-15)?
False
Suppose -3*k + 532 = -404. Does 8 divide k?
True
Suppose -2*v = 4*w + v - 3123, 2*w - v - 1559 = 0. Is w a multiple of 43?
False
Let p = -84 + 88. Suppose 0 = -p*i - 2*o + o + 319, 0 = -5*i - 5*o + 380. Does 17 divide i?
False
Suppose -10 = -5*a + w + 10, 10 = -a + 3*w. Suppose 2*b - 4*f + 7*f = 8, -a*b = 2*f + 2. Let l(g) = -4*g**3 - 2*g**2 - 2*g - 2. Is 8 a factor of l(b)?
False
Suppose -5*v - 15 = 0, s + 452 = 2*s - 4*v. Is s a multiple of 20?
True
Suppose 17*q - 15*q - 510 = 0. Is 22 a factor of q?
False
Let l(g) = 24*g - 12. Let u be l(-4). Is (u/(-42))/(2/14) a multiple of 2?
True
Let u(o) be the second derivative of o**4/6 - 5*o**3/6 - 2*o**2 + 15*o. Is u(4) a multiple of 4?
True
Suppose -1072 - 8 = 4*x. Let a = 530 + x. Is a a multiple of 13?
True
Let x = 73 + -17. Let t = -50 + x. Is 2 a factor of t?
True
Let l be 1 + ((-44)/(-10) - 9/(-15)). Is (-6462)/(-30) - l/(-10) a multiple of 27?
True
Is 58 a factor of (-33735)/(-20) - 11/(-44)?
False
Let q be (-5)/(105/36)*(-287)/1. Suppose -258 = -2*a - 0*a + 5*l, 4*a + 2*l = q. Is 9 a factor of a?
False
Suppose 5*z = 33 - 13. Suppose 12 = -0*q + 3*q. Suppose -h = -q*u + 83, z*u + 5*h - 113 = -0*h. Is u a multiple of 10?
False
Suppose -6*s + 9*s = 4*j + 268, -5*s + j = -475. Does 32 divide s?
True
Suppose -15*j + 1266 = -13*j. Is 33 a factor of j?
False
Suppose 0 = 2*v - 4*l - 462 - 600, 3*l + 1064 = 2*v. Does 21 divide v?
False
Let l = 1630 + -1010. Is l a multiple of 5?
True
Suppose 6 = 3*v - 21. Is 8 a factor of v?
False
Let u(n) = n + 10. Let s(o) = -3*o - 9. Let l be s(-6). Let k(c) = -c**3 + 10*c**2 - 10*c + 4. Let j be k(l). Is u(j) a multiple of 5?
True
Suppose -2*s - 208 = -6*s. Suppose -5*x - 7 = -22. Suppose -x*q + s = -38. Is q a multiple of 7?
False
Suppose 50*l - 74*l + 47328 = 0. Does 34 divide l?
True
Let o(n) = 6*n - 2*n + n**2 + 13 - 15. Is o(-11) a multiple of 15?
True
Let v = 104 + -88. Suppose 44 = 2*i - 0. Let q = i - v. Is q a multiple of 2?
True
Suppose -305*q + 13040 = 4*o - 301*q, -5*o - 3*q + 16290 = 0. Is 58 a factor of o?
False
Let w be 20/35 + 90/14. Let x be 20 - ((-20)/(-5) - w). Suppose -2*i = -x - 1. Does 2 divide i?
True
Suppose 2*v + 3*f - 12 = 5*v, 2*v + 5*f = 13. Let k(l) = 5*l**2 - l - 2. Let m be k(v). Suppose -4*s - m = 0, -92 = 3*x + 2*s - 258. Does 17 divide x?
False
Let o = -428 - -650. Is 9 a factor of o?
False
Suppose 4*f = -22 + 86. Suppose -5*b + 124 = -f. Is 14 a factor of b?
True
Suppose 0 = z + 3*i - 41, 232 = 4*z + 2*i + 18. Let f be (-13 - -3)*(-2)/4. Suppose -f*v - 6 + z = 0. Is 10 a factor of v?
True
Let m(d) = 5*d**2 + 6*d + 17. Let y = -149 - -142. Does 11 divide m(y)?
True
Let o = -51 + -56. Let r = o - -192. Does 33 divide r?
False
Let t(n) = -6 - 83*n + 7 - 10. Is 15 a factor of t(-3)?
True
Suppose 4*c = 12, -8*m + 2*c = -7*m - 186. Does 2 divide m?
True
Let c be 7 + (1 - (0 - 0)). Let q(r) be the first derivative of -r**4/4 + 3*r**3 - 3*r**2/2 - 89. Is 10 a factor of q(c)?
True
Suppose 7*s - 2*s - 8820 = 0. Suppose -4*x - s = -5*k, -x + 0 - 1 = 0. Is 22 a factor of k?
True
Let m = -85 + 209. Let v = -44 + m. Is 20 a factor of v?
True
Suppose s + 4*j = -0*s + 4, -5*s - 3*j + 3 = 0. Suppose 3*h + 4*u - 52 - 76 = s, 2*h - 80 = -4*u. Does 11 divide h?
False
Let d = 3258 - 1181. Is 18 a factor of d?
False
Suppose 0 = -433*u + 434*u - 574. Is 14 a factor of u?
True
Let b(a) be the first derivative of a**3/3 + a**2/2 - 7*a + 1. Let p be b(-4). Suppose p*l - 3*m + 66 = 517, -l - 5*m + 107 = 0. Is l a multiple of 23?
True
Let c(i) = 14*i**3 - 15*i**2 + 3*i - 3. Let v(n) = 5*n**3 - 5*n**2 + n - 1. Suppose 0*j = 2*j + 22. Let b(q) = j*v(q) + 4*c(q). Is 2 a factor of b(5)?
True
Is (144/(-14))/((-96)/4480) a multiple of 10?
True
Let s = 167 - 33. Let l = -81 + s. Is 9 a factor of l?
False
Suppose 5*v - 105 = 355. Suppose -11*x = -15*x + v. Is 10 a factor of x?
False
Suppose 3*f - 4*n - 82 = 2*f, 0 = -4*f - 4*n + 268. Is 6 a factor of f?
False
Suppose -15313 - 887 = -27*o. Is 30 a factor of o?
True
Let g = 1245 + -601. Is g a multiple of 7?
True
Suppose -4*h + 54 = -2. Suppose -13*u = -h*u + 48. Is u a multiple of 8?
True
Suppose 0 + 12 = -3*r. Let h be -3*2/r*-4. Is 12 a factor of h/4*(-88)/3?
False
Suppose 10*p + 928 = 18*p. Is p a multiple of 5?
False
Suppose 12 = -4*l + 6*l. Suppose 0*f + l = -5*f + 3*i, 0 = f + i - 2. Suppose -3*h = -4*b - 188, -h - 3*b + 7 + 47 = f. Is h a multiple of 20?
True
Let d(a) = -a**3 + 9*a**2 + 12*a + 20. Does 10 divide d(-5)?
True
Suppose -9*t = 4*t - 52. Suppose 8 = -q + 5*h, -h = -4*q + 3*h. Suppose -q*s - l + 32 = -3*l, 96 = t*s + 4*l. Is 11 a factor of s?
False
Let v = 39830 + -56246. Is v/(-126) - 2/7 a multiple of 18?
False
Suppose -4*i = 100 + 52. Let t be (5/5)/(2/i). Let f = 35 - t. Does 27 divide f?
True
Suppose 3*f + 5*s + 3 = -8, -4*f = -5*s - 32. Suppose -j - 221 = -f*x, -236 = 3*x - 6*x + 4*j. Does 12 divide x?
True
Suppose -2*m - 147 = m. Let l = -13 - m. Does 9 divide l?
True
Let y(j) = j**3 + 3*j**2 - j - 3. Let r be (6/(-4))/(9/12). Let p be y(r). Suppose -f + 3*f + 128 = p*t, 205 = 5*t + 5*f. Is t a multiple of 6?
True
Suppose 0 = 54*i - 48*i - 1278. Is i a multiple of 16?
False
Suppose 233 = 10*g - 347. Is g a multiple of 21?
False
Suppose -25727 = -89*j + 142572. Does 10 divide j?
False
Let v be -9*(-4)/(-6) - -1. Let a be 4/(-10) - 992/v. Suppose y - 70 = -3*x, y = -2*y + 3*x + a. Is 16 a factor of y?
False
Suppose 0 = -24*h - 6571 + 26467. Does 7 divide h?
False
Let v(l) = -l + 24. Let n be v(12). Let s = 72 + n. Does 12 divide s?
True
Let y(h) = -3*h**3 - 14*h**2 + 3*h - 4. Is 13 a factor of y(-7)?
False
Let u(a) = a**3 + 17*a**2 - 17*a - 66. Is 19 a factor of u(-8)?
True
Let g = -4 + 7. Suppose -g*l - 108 = -5*w + 606, -l + 434 = 3*w. Suppose -4*y = -0*y - w. Does 12 divide y?
True
Let k = -727 + 1431. Is 32 a factor of k?
True
Suppose -9*g = -1637 + 17. Is g a multiple of 18?
True
Suppose 4*r + 0 = x + 12, -4*r - 5*x + 36 = 0. Is (14 + 0)/(r/2) a multiple of 2?
False
Let h = -1431 + 1533. Does 25 divide h?
False
Suppose 2*k - 4*k = 2*r - 32, k = -4. Let h = -1 - -1. Suppose h*z = -z + r. Does 5 divide z?
True
Let k be 15/6 + 2/(-4). Suppose -h + 100 = k*g, 0*g + h 