 + 135. Does 9 divide m?
True
Let o(u) be the first derivative of -27*u**2/2 + 3. Does 9 divide o(-1)?
True
Suppose -12 = -4*t + 4*q, -15 = -3*t - q + 2. Suppose 0 = -t*p + 14 + 11. Suppose f + 4 = b, b = p*f - 2*f + 8. Is b even?
True
Let a(g) = g**2 + 10*g - 18. Let t be a(-13). Let w = 18 + -9. Let u = t + w. Does 8 divide u?
False
Suppose s + 204 = -2*s. Is 2/(-5) + s/(-20) even?
False
Suppose 41 = 3*r - 58. Let n = -21 + r. Suppose 2*b + 0 = n. Is b a multiple of 6?
True
Is 3 a factor of 0 - (-1 + -3) - -1?
False
Let v be (-2 - -4) + 5 + -4. Suppose 6*x - 69 = 4*x + f, 5*f = -v*x + 97. Does 13 divide x?
False
Let l be (-2 + -1)*(1 + -2). Does 2 divide (-3)/((-7)/l - -2)?
False
Let g(o) = o**2 - 4*o - 7. Let b be g(6). Let m be b/3 + 4/(-6). Is 4 a factor of (45/5)/(0 + m)?
False
Let x be (15/5)/(6/4). Suppose 2*y + 0*j - 2*j = 0, 5*y - 6 = x*j. Suppose -y*d + 58 = s + 3*s, -3*s = 2*d - 59. Is d a multiple of 12?
False
Suppose 0 = 5*s - 261 + 81. Is s a multiple of 4?
True
Does 19 divide 409/6 + (-1)/6 - -2?
False
Suppose 2*b - 120 = 4*l, -2*b + 203 = 4*l + 51. Does 16 divide b?
False
Suppose -l = n - 39, 20 = l + 3*l. Suppose 4*f + 4*m = 8, 11 - 27 = -5*f + m. Suppose -s + f*s = n. Does 6 divide s?
False
Suppose -3*j + 2*o + 316 + 84 = 0, 0 = -4*j + 3*o + 535. Is 15 a factor of j?
False
Let j be 2/(-10) - 136/(-5). Let l = -12 + j. Is l a multiple of 15?
True
Suppose 4*j = -0*n - n + 21, -4*n - 1 = -j. Suppose 0 = -4*d - j*p + 2, -3*p - 9 = -2*d + d. Suppose 76 = d*a + 16. Is 12 a factor of a?
False
Suppose z + 3*z - 20 = -4*b, -25 = z - 5*b. Let c be (-4)/(z + 4/10). Let u = 9 - c. Is 7 a factor of u?
False
Let r(u) = 11*u + 22. Does 17 divide r(4)?
False
Let d be (1 + -25)/(-1) + 2. Is 9 a factor of 3 + d/2 - -2?
True
Let c be ((-4)/3)/(2/(-3)). Suppose 3*k + c*k = 10. Is k/(-6) + 376/12 a multiple of 12?
False
Let k be 1 - (5 - 4)*13. Suppose 0 = -3*s - 3*i + 102, 5*i + 106 = 4*s + 3*i. Let a = s + k. Is 17 a factor of a?
True
Suppose b = 2*b. Suppose -76 = -5*s - x, -3*s - x = -b*s - 44. Suppose c = v + 4, s = 3*v + 1. Is c a multiple of 4?
False
Suppose 24 + 6 = -3*a. Let d = a + 17. Is 7 a factor of d?
True
Let h(z) = z + 0 - 6*z - 2 + 1. Is 7 a factor of h(-6)?
False
Let t = -44 + 66. Is 9 a factor of t/2 + 8/(-4)?
True
Let m(v) = 24*v**2 - v - 7. Is m(-2) a multiple of 33?
False
Let x(k) = 32*k**2 - 7*k - 1. Is x(2) a multiple of 13?
False
Let c(t) = -4*t - 5. Let r = -6 - 0. Let f be c(r). Suppose 5*s - f = 4*s. Is 19 a factor of s?
True
Is 22 a factor of ((1 - 67) + 1)*(-132)/110?
False
Let l = 133 - 73. Is l a multiple of 30?
True
Suppose -2*g - 25 = -2*u - u, -4*u = -5*g - 38. Let n be (-2)/(-6)*-1*-9. Suppose 11 = n*c - u. Is 4 a factor of c?
False
Let p = -2 + 2. Suppose p = -3*o + 43 - 10. Let c = o - 7. Is 2 a factor of c?
True
Let g(i) = 8*i**2 - 3*i - 2. Is g(-6) a multiple of 20?
False
Let c be (84/(-10))/((-12)/30). Suppose l + c = -2*m + 64, -2*m + 41 = 3*l. Is 11 a factor of m?
True
Let j(l) = -l**2 - 2*l. Let a be j(2). Is 13 a factor of 362/13 - a/52?
False
Let l be 5/(15/(-9)) + 7. Suppose 2*j + 51 = 2*q + 9, -4*j = q + l. Is 16 a factor of q?
True
Suppose -5*u + 76 = -0*u - 4*v, 4*u - 64 = 4*v. Suppose a - 5*r + 50 = 3*a, -4*r = -a + u. Does 10 divide a?
True
Let y(s) = s - 1. Let c be y(8). Let a = 10 - c. Suppose a*v = 2*v + 6. Is v a multiple of 2?
True
Let x(p) = p**3 + 5*p**2 + p + 3. Let o(t) be the third derivative of -t**6/120 - t**5/10 - 2*t**3/3 + t**2. Let j be o(-6). Does 8 divide x(j)?
False
Let x = -6 + 201. Suppose -l = 3*r - x + 60, 3*l = 4*r - 193. Does 16 divide r?
False
Let u be ((-3)/(-3))/((-2)/(-14)). Suppose -3*f + 4*b - 2*b = -11, 5*f = -2*b - 3. Suppose -u = -a + f. Is a a multiple of 8?
True
Does 17 divide -6*((-44)/12 + -2)?
True
Let u(c) = -c**3 - 12*c**2 + 14*c + 18. Let f be u(-13). Suppose 4*d - 36 = -4*k, f*k + 1 + 8 = d. Does 3 divide d?
True
Let j(a) = -13*a**2 + 1. Let q be j(1). Let l = -6 - q. Is (-50)/(-6) - l/(-9) a multiple of 6?
False
Suppose 3*o = -4*j + 190 + 66, 2*o - 166 = 2*j. Let z = -51 + o. Is 25 a factor of z?
False
Let u(s) = -3*s - 1. Is 2 a factor of u(-1)?
True
Suppose -d + 658 = 5*n, 0 = -n + 3*n + 4*d - 256. Suppose -3*g + 384 - n = 0. Suppose -5*u = -2*s + g, 0*u = -4*u - 16. Does 11 divide s?
False
Let w(a) = -22*a**3 + 1. Let p(f) = 89*f**3 - 5. Let h(d) = -2*p(d) - 9*w(d). Let t = 18 + -17. Is 15 a factor of h(t)?
False
Suppose 0 = 4*y - 837 + 257. Does 29 divide y?
True
Let l(j) be the third derivative of -j**6/120 + j**5/10 + j**4/2 - 8*j**3/3 + 6*j**2. Is l(7) a multiple of 19?
True
Let f be (-1)/((2 - 1) + -2). Suppose -o = 5*d + 8, 6 + f = -3*o + 2*d. Is 9 a factor of 9 + o/6*0?
True
Let u(d) = d**2 - 7*d - 6. Let s be u(8). Let a be 1 + (s - 3) + 3. Suppose 2*v = -k - a*v - 4, 0 = -3*k + 5*v + 88. Is k a multiple of 14?
False
Let s = -3 + -3. Is 26 a factor of -3*2/s + 51?
True
Suppose 0*q = 4*q - 16. Suppose -q*n + 99 = -n. Does 15 divide n?
False
Suppose 5*g = -5*a, -3*g = g + a. Suppose n + p + p - 58 = g, 5*p + 365 = 5*n. Does 25 divide n?
False
Suppose -3*v + 268 = -38. Is v a multiple of 17?
True
Let y be (-2)/((4/22)/1). Suppose -3*n = -3*t - 51, -4*t - 49 = -t - 5*n. Let m = y - t. Does 6 divide m?
False
Is (11/(-22))/(2/(-696)) a multiple of 29?
True
Suppose -u + 9 = 5*y, 2*y - 3 - 23 = -2*u. Is u a multiple of 14?
True
Let w = 72 + -12. Suppose 0 = -5*m - w - 75. Let q = 47 + m. Is q a multiple of 10?
True
Let h = -1 + 7. Let x be -6*1*45/h. Let d = x + 71. Is 13 a factor of d?
True
Let c(n) be the third derivative of -n**4/6 - 4*n**3/3 + 3*n**2. Is c(-14) a multiple of 21?
False
Suppose 5*q = 3*m + 23, 0 = -2*q - 2*q + 3*m + 19. Let j(c) = 8*c - 11*c + 1 + 1 - c**3 + 5*c**2. Does 3 divide j(q)?
True
Let s(x) be the first derivative of x**4/12 + x**3/6 + x - 3. Let a(k) be the first derivative of s(k). Is 8 a factor of a(5)?
False
Let l = -8 - 1. Is 9 a factor of (l/(-9))/((-1)/(-9))?
True
Let w = 32 + -12. Is 16 a factor of w?
False
Is 5 a factor of ((-4)/(-5))/((-10)/(-250))?
True
Suppose 2*l - 20 = -q, 2*q = -3*q. Does 11 divide 268/7 + l/(-35)?
False
Suppose -l + 120 = 3*l. Let f = l - 13. Let c = f + -10. Is c a multiple of 3?
False
Suppose 3*o - 4*b = 85, -4*o - 3*b + 107 = -2*b. Is 9 a factor of o?
True
Suppose 3*n + 4 = 2*p + n, n - 2 = 0. Suppose 5*z - 118 = z - 2*k, 0 = p*k - 20. Is z a multiple of 8?
False
Let z = 39 - 5. Suppose -42 - z = -2*x. Does 19 divide x?
True
Suppose -d = -z - 2*d - 2, 5*z + 8 = -4*d. Let a(i) = i**2 + 11. Is a(z) a multiple of 5?
False
Is (7 - 10) + 8*2 a multiple of 2?
False
Suppose -20 = -7*x + 2*x. Suppose 0*p - 5*p = 3*z - 71, 2*p + 86 = x*z. Let h = 34 - z. Does 10 divide h?
False
Suppose 80 = -5*h + 4*r, -2*r = 3*h + r + 75. Suppose -2 = -3*a - 17, 3*v = -4*a - 140. Let d = h - v. Does 8 divide d?
False
Let w(s) = 8*s - 12. Is w(10) a multiple of 34?
True
Let t(c) = -15*c**3 + c. Let z(u) = -30*u**3 - u**2 + 3*u. Let y(k) = -5*t(k) + 2*z(k). Let s be y(1). Let l = 5 + s. Is 7 a factor of l?
False
Let g(v) = -10*v - 1. Is g(-6) a multiple of 17?
False
Let l = -151 - -327. Suppose -54 = -2*o + l. Let j = -73 + o. Does 12 divide j?
False
Suppose -2*d + 3*d + 3*q - 13 = 0, -4*q = -12. Suppose -9 = d*b + 5*f - 29, -3*b = f - 26. Is 5 a factor of b?
True
Is (207/(-12))/(6/(-32)) a multiple of 24?
False
Suppose 1 = f - 1, 2*j - 5*f - 50 = 0. Is 6 a factor of j?
True
Is (2/2)/((-1)/(-175)) a multiple of 41?
False
Let x(j) = -j - 3. Suppose -25 - 11 = -2*t. Let z(k) = -5*k - 13. Let n(h) = t*x(h) - 4*z(h). Is 4 a factor of n(7)?
True
Suppose 8 = 5*z + 43. Let b(h) = 121*h**3 + h**2. Let g be b(1). Is 21 a factor of (z/14)/((-1)/g)?
False
Let k be 55/2*(-1 + -1). Let r = -25 - k. Is 15 a factor of r?
True
Suppose 5*y = -4*z + 37, 3*z + 12 = 3*y + 2*z. Suppose -y*b - k = -b - 51, -5*k = -5*b + 70. Let c = b - -11. Does 9 divide c?
False
Suppose 3 = -4*j + 11. Suppose -3*v - 5*k = -j*v - 67, -3*v - 3*k + 141 = 0. Is 19 a factor of v?
False
Is ((-272)/64)/((-1)/48) a multiple of 17?
True
Let t(b) = b**2 + 1. Let h be t(-1). Suppose h*o - 6*o = -80. Is 20 a factor of o?
True
Let i = -8 - -5. Suppose -5*s + 72 = -193. Does 10 divide s/2 + i/6?
False
Let b = -14 + 19. Suppose -2*h - 3*h + 5*r + 395 = 0, -h