 25 - 18. Suppose -o*a + 133 = -203. Is a a multiple of 12?
True
Is 15 a factor of 9*(-4)/12*-295?
True
Suppose -5*z - 639 = -19. Does 12 divide 1 - (-1 - 1) - z?
False
Suppose 215 = 3*r + 2*s, 0 = -5*r - 2*s + 238 + 123. Suppose r = 3*z + 2*v, 0*z + 54 = 2*z - 4*v. Is 25 a factor of z?
True
Let l be ((-14)/(-5) - 4)*-15. Let x be l/(-21)*14/(-3). Suppose -45 + 5 = -x*n. Is 3 a factor of n?
False
Suppose 0 = 2*b - 2360 - 748. Is 45 a factor of b?
False
Let m = -88 - -242. Is m a multiple of 7?
True
Let l be 2 - (-2)/(-6)*0. Let p be l/(-6) - 21/(-9). Suppose -c + 23 = -5*u, p*c - 31 = -c - 4*u. Does 13 divide c?
True
Let p(d) = -2*d + 30. Let x be p(0). Is 16 a factor of ((-11)/2)/((-5)/x)?
False
Is 19 a factor of 10641/10 + 63/(-630)?
True
Let a(d) = d**2 - 10*d - 7. Let h(n) = -2*n**2 + 9*n + 8. Let m(w) = -3*a(w) - 2*h(w). Let k be m(-10). Let j = 31 + k. Does 5 divide j?
False
Let h = -5 - -10. Let n = 7 - h. Suppose 0 = -3*w - 5*p + 15, w - 15 = -n*w + 2*p. Is 3 a factor of w?
False
Suppose -4*h + 280 = -5*m, 4*h + m + 2*m = 248. Suppose 7*f - 2*f = h. Let r = f + -5. Is r a multiple of 8?
True
Suppose -2 - 158 = -l. Does 24 divide (30/25)/((-159)/l + 1)?
True
Is (-1085)/3*1386/(-539) a multiple of 16?
False
Let k be (-2 + (-2)/(-4))*24/9. Is (2/k)/((-1)/288) a multiple of 13?
False
Suppose -4376 = -4*o + 2*f, 5*f - 3233 - 1115 = -4*o. Is 39 a factor of o?
True
Let g be (1 - 3)*10/(-4). Suppose g*d - 5*s + 100 = 0, 0*s = 2*d + 2*s + 40. Does 10 divide 82/8 - (-5)/d?
True
Let f be (-1)/((-3)/444*2). Suppose 0 = 4*l - 12, -4*v + f = 4*l - 246. Is 20 a factor of v?
False
Does 7 divide (1101/(-6) + 11)*2/(-3)?
False
Is 4 a factor of (-190)/(-133)*(-3 + 73)?
True
Suppose -17*b + 93 = -145. Is b a multiple of 4?
False
Let v = 12 + -8. Suppose v*k = g - 161, 0 = 2*g - 0*k + 3*k - 355. Suppose 3*i = g + 13. Is i a multiple of 14?
False
Let k = 445 + -188. Let j = k - 137. Does 12 divide j?
True
Let a(g) be the third derivative of 55*g**4/24 + g**3/6 + 12*g**2. Let w(j) = j**2 - 2*j + 1. Let i be w(2). Is a(i) a multiple of 15?
False
Suppose -5*o + 30 = -3*t - 2*t, -10 = 5*t - o. Let h(v) = -13*v**2 - 1. Let l be h(t). Let w = l + 26. Is w a multiple of 12?
True
Suppose 3*f - 699 = -107*n + 110*n, 4*f - 887 = -5*n. Does 3 divide f?
True
Suppose -g = -342 - 198. Suppose -4 = -2*w - 4*a, -2*a = 3*w + a. Does 23 divide w/(-8) - g/(-16)?
False
Let m(v) = 4*v - 15. Let o be m(15). Is 8 a factor of ((1 - 1) + 32)*o/12?
True
Let i be ((-8)/(-12) - 6/9) + 2. Suppose -i*f + f = -74. Is 33 a factor of f?
False
Let c = 164 + -85. Suppose 232 - c = 9*a. Does 3 divide a?
False
Let o = -1067 - -1769. Is o a multiple of 23?
False
Does 13 divide (116 - 4)*468/72?
True
Suppose 10*z + 15 = -15. Let j = 53 - z. Is 27 a factor of j?
False
Suppose 0 = 2*f - 10*f - 1640. Suppose 0 = 4*x - 5*d + 545, 2*x + 162 + 123 = 5*d. Let h = x - f. Is h a multiple of 30?
False
Suppose -8*k = 26 + 14. Is (k/10)/(2/(-356)) a multiple of 49?
False
Let q = 120 - -46. Let l = q - 101. Is l a multiple of 6?
False
Suppose -7*f = -3984 - 14048. Is f a multiple of 8?
True
Let i be 48/(-32)*(-10)/(-3). Let s(t) = 2*t**2 - 3*t + 11. Is 28 a factor of s(i)?
False
Let w be 2/((28/152)/7). Is 13 a factor of 5768/w - 10/(-95)?
False
Let m = -62 - -59. Is m/(-5) + (-5068)/(-70) a multiple of 16?
False
Suppose 0 = -3*f - 4*q + 2408, 13*f - 10*f - q - 2398 = 0. Is 10 a factor of f?
True
Let k = -242 + 528. Does 11 divide k?
True
Suppose 1138*b - 1132*b = 6426. Is 21 a factor of b?
True
Suppose 5*s - 5*j + 25 = 0, 19 = -2*s - 5*j - 19. Let y = s + 14. Suppose y*l = 4*d + 3*l - 38, 0 = 2*d - 4*l - 22. Is 2 a factor of d?
False
Let c(w) = w**3 + 4*w**2 + 5*w + 7. Let f be c(-5). Let t = -31 - f. Suppose -z = -3*b - 2*b - t, 3*b + 36 = 3*z. Does 6 divide z?
True
Let v(p) be the second derivative of 5*p**3/6 + p**2/2 - 2*p. Let m be 64/(-112) + 50/14. Is 4 a factor of v(m)?
True
Suppose -5*a - 2*a = -182. Suppose -a = -5*n - 11. Is n a multiple of 2?
False
Let i = 1 - 5. Let k = i - -8. Suppose -84 = -2*j + 4*z - 9*z, -k*z + 48 = j. Does 14 divide j?
False
Does 6 divide (70 - 1 - 1)*(-27)/(-12)?
False
Let j(k) = -k**3 + 5*k**2 - k + 3. Let y be j(4). Suppose 33 = s - y. Is 16 a factor of s?
True
Suppose 0 = f + 4, -428 = -4*u - 2*f + 584. Is u a multiple of 73?
False
Suppose 0 = 4*s + 2*b - 482, 0 = -6*b + b + 25. Is 5 a factor of s?
False
Let i = -768 + 824. Is i a multiple of 56?
True
Suppose 80*s - 85*s + 100 = 0. Let z(p) = 12*p + 24. Is z(s) a multiple of 12?
True
Let d = -314 + 2226. Does 8 divide d?
True
Suppose -5*o - 2*t = 171, 2*o + t = -74 + 5. Let b = 1 - o. Is 11 a factor of b?
False
Let t = 55 - 43. Is (-4*(-5)/t)/((-1)/(-87)) a multiple of 29?
True
Is (1 - (-3 - 4)) + 408 a multiple of 22?
False
Let w(n) = 4*n**3 - 7*n**2 + 4*n. Let g(u) = 3*u**3 - 7*u**2 + 4*u. Let v be 15/3 + 1/(-1). Let f(o) = v*w(o) - 5*g(o). Does 6 divide f(-7)?
False
Let i = -41 + 62. Let f(m) = 2*m**2 - m + 2. Let w be f(-2). Let t = i - w. Is t a multiple of 9?
True
Suppose -6*i + 24 = -36. Is i/(-15) - 368/(-12) a multiple of 10?
True
Let y = 520 + -915. Does 19 divide y/(-20) + -1 + 2/8?
True
Let k(q) = -16*q + 58. Let g be k(8). Let v = g - -121. Is 9 a factor of v?
False
Suppose -4*v + m + 1 - 30 = 0, -v = 2*m - 4. Is 50 a factor of 10*v/16*240/(-9)?
True
Suppose -68 = -4*c - 0*c. Suppose 2*i = 19 + c. Does 18 divide i?
True
Let h be 12*1/(-3)*-1. Let l(c) = 2*c**2 + 1 + 0 - 3*c - 3. Is 9 a factor of l(h)?
True
Suppose 245 = -4*z - 2*r - 1, 5*z = 4*r - 314. Let g(b) = 66*b + 1. Let q be g(2). Let w = z + q. Is 30 a factor of w?
False
Let j = 192 + -136. Is j a multiple of 3?
False
Is (1 - 8/(-12))*(-24)/(-1) a multiple of 4?
True
Let r(o) = 3*o**2 + 5*o + 14. Let w be r(-4). Let b = w + -37. Suppose 4*h = 3*v - 72, -163 = -b*v + h - 60. Does 5 divide v?
True
Is 8 - 11/((-22)/1510) a multiple of 7?
True
Let h(k) be the second derivative of -k**5/20 - 5*k**4/12 + 7*k**3/6 + 6*k**2 - 16*k. Is h(-6) a multiple of 4?
False
Let f be (-2)/(-1)*((-3)/(-2) + 1). Suppose 0 = -2*l - 3*l - f*t + 85, 3*l - t - 35 = 0. Is 2 a factor of l?
False
Let b(r) be the second derivative of -r**5/20 - r**4/4 + 3*r**3/2 + 3*r**2/2 + 3*r. Let a be b(-6). Suppose 0 = y + 2*y - a. Does 9 divide y?
False
Let j = 35 + -33. Suppose -4*f = -2*w - j - 0, -5*f + 70 = 5*w. Is w even?
False
Suppose -4*n - 42 = 5*m, 6*n = 2*m + 4*n + 6. Let c be 16/m*(-9)/(-2). Let j = c - -21. Is 9 a factor of j?
True
Let a = 234 - 42. Is a a multiple of 24?
True
Let p(l) = 5*l**3 + 2*l - 1. Let h be p(1). Suppose 4*u - h - 2 = 0. Suppose 0 = -u*i + 19 - 3. Is 8 a factor of i?
True
Let c = 205 + -25. Does 15 divide c?
True
Let f(z) = 3*z - 11. Suppose 3*n - 37 = -13. Is 3 a factor of f(n)?
False
Let a be (-14)/6*(-128 - -2). Suppose -138 - a = -9*r. Is r a multiple of 16?
True
Let o(b) = -5*b + 21. Suppose 4*y = 4 - 16. Is 4 a factor of o(y)?
True
Suppose 2*x = -x + 6. Suppose a + 4*z - 6 = -x*a, -2*a + 11 = 5*z. Let d(w) = -8*w. Is 4 a factor of d(a)?
True
Let q be 4/(-20) - (-63)/15. Suppose 4*c + 2*v = 18, q*c - 10 = v + 5. Suppose c*y - 72 = y. Is y a multiple of 13?
False
Suppose -85 = 2*m - 3*o, -115 = 3*m - 3*o + o. Let d be 3/(-18) - m/(-6). Let h(g) = -g**3 - 6*g**2 + 5. Is h(d) a multiple of 5?
True
Suppose -5*w - 292 = -w. Let q(h) = -117*h + 15. Let c be q(1). Let b = w - c. Is b a multiple of 6?
False
Let x = 148 + -54. Let j = x - -30. Is 6 a factor of j?
False
Let r(k) = 9 + 5*k - 4*k - 4*k + 4*k. Let b be r(-5). Suppose b*z + 18 = n + 275, -3*z - 3*n = -204. Is z a multiple of 14?
False
Let d(c) = 2*c**2 + 1. Let z be d(-1). Let y = z + -1. Suppose 0 = -q + y*q - 42. Is q a multiple of 21?
True
Let s = -429 - -888. Does 69 divide s?
False
Let m(k) = 2*k**2 - 11*k - 4. Let p be m(8). Suppose -3*u + p = -0*u. Let h(w) = 2*w + 15. Does 13 divide h(u)?
True
Let h(t) = 19*t + 120. Is h(25) a multiple of 45?
False
Let n(c) = c**2 + c + 1. Suppose 3*r = -0*r - 3. Let i(y) = y**2 - 3*y + 5. Let w(m) = r*i(m) + 2*n(m). Does 21 divide w(-8)?
True
Let m = 259 + -218. Does 41 divide m?
True
Let w(f) = f**2 + 19*f + 4. Let v be w(-19). Suppose -r + 0*s = 3*s - 27, -20 = v*s. Is 20 a factor of r?
False
Suppose 3*c + 4*k - 841 = 0, 5*c - 4*k - 1266 = 189. 