= 62 + d. Is n a multiple of 13?
False
Let v be 3 + (4 - 8) - -4*7. Suppose 0 = -28*k + v*k + 220. Does 11 divide k?
True
Let i(o) be the first derivative of 5*o**4/4 + o**3/3 + o**2/2 + 2*o + 2. Does 24 divide i(2)?
True
Suppose 0 = -2*p - 6, -6*a + 5*p = -7*a + 1435. Is 10 a factor of a?
True
Let f be 28/2 + 7 + -8. Let b = f + -9. Suppose -b*h - 44 = -8*h. Does 2 divide h?
False
Let u(s) = -s**3 - 1. Let q(y) = -9*y**2 - 8*y - 13. Let z(g) = q(g) + u(g). Does 29 divide z(-9)?
True
Let a(y) = -y - 5. Let b be a(-6). Let c be (13 - (1 - 3))/b. Suppose 3*l + 3*h - c = 0, -2*h + 29 + 2 = 5*l. Does 2 divide l?
False
Let r be (-336)/(-156) + 2/(-13). Suppose 0 = -u + 2*s + r, 0 = -4*u - 2*s + 7*s + 8. Suppose 0 = -0*v - u*v + 66. Does 11 divide v?
True
Let v = -47 + 49. Is 7 a factor of (-39)/(-65) + v/5 - -69?
True
Suppose 5*s - 365 = -3*c + 3*s, 2*c - 3*s - 265 = 0. Is 5 a factor of c?
True
Suppose 5*a - 438 = -w, -w + 8 = -5*a - 480. Is 28 a factor of w?
False
Let b(x) = -6*x + 14. Let z be b(7). Let w = z + 28. Suppose w = -3*d + 2*d + 39. Is d a multiple of 13?
True
Suppose 313*d + 34155 = 328*d. Is 98 a factor of d?
False
Let l be 2/6*(-1 + 16*28). Let n = l - 22. Does 22 divide n?
False
Let a be 12/10*40/12. Does 4 divide ((-168)/(-60))/(a/10)?
False
Suppose 51*y - 59*y = -5376. Is 14 a factor of y?
True
Let h(s) = 2*s**3 - 12*s**2 + 5*s - 14. Let y be h(8). Suppose 3*v + 4*i = y, -5*i - 1 = -16. Is 15 a factor of v?
True
Let g(j) = j**2 + 3*j - 45. Let h be g(0). Is 9 a factor of (-4)/18 + (-7300)/h?
True
Let w(m) = 4 + m**3 - m**2 + 158*m - 158*m. Let s be w(0). Suppose -s*o = 2*p - 62, 2*p - 3*o - 44 = 2*o. Is 5 a factor of p?
False
Is 3 a factor of 9 + 6 + -3 + -6 - -258?
True
Let i be -3 + -2 + 1 + 4. Suppose -5*u - u + 72 = i. Is u a multiple of 6?
True
Let g = -33 + 35. Suppose g*h + 325 = 7*h. Is 13 a factor of h?
True
Let q = -924 + 1309. Does 33 divide q/14*5/(25/24)?
True
Suppose -133*r - 8800 = -165*r. Is r a multiple of 7?
False
Let k be ((-3)/(-9))/((-1)/(-12)). Suppose -4*a - 4*q + 60 = 0, -k*a - 2*q = 3*q - 60. Does 5 divide a?
True
Suppose 2*v - c = 2 + 2, -4*c + 2 = -2*v. Suppose 4*t = -3*y + 106, 121 = v*y + 3*t - 2*t. Is y a multiple of 14?
True
Let k be 2 + (-16)/10 - (-27)/45. Let n(o) = 31*o**2 - o + 1. Is n(k) a multiple of 11?
False
Suppose 3*w - w = 4. Does 2 divide 128/24*3/w?
True
Let m(i) = 86*i**2 + i + 7. Is 21 a factor of m(-3)?
False
Let r = -31 + 54. Suppose -2*m - r = -7*m - a, 7 = 4*m - 3*a. Suppose 3*j - m*w - w = 77, -5*w = -4*j + 106. Is 12 a factor of j?
False
Suppose 3*a - 2 = s + 4*a, a - 4 = -3*s. Let n(z) = 93*z - 3. Let h be n(s). Suppose 2*p = -q + 104, 4*q - q - 3*p - h = 0. Does 24 divide q?
True
Let i = -451 + 546. Does 6 divide i?
False
Let t be ((-12)/8)/((-3)/(-6)). Let b be 1/2*(3 - t). Suppose 2*s = b*s - 59. Does 17 divide s?
False
Suppose 4*w + t = w + 19, w = -2*t + 3. Let a(u) = 3*u**2 - 42*u + 50. Let o(i) = i**2 - 14*i + 17. Let d(n) = w*o(n) - 2*a(n). Is d(14) a multiple of 5?
False
Suppose 0 = 2*p - 477 - 359. Is p a multiple of 38?
True
Let d(b) = -b + 3. Suppose -5*p + 3*g + 25 = 0, 3*p = -4*g - 3 - 11. Let x be p + (1 - 8) + -2. Is 10 a factor of d(x)?
True
Let l(r) = 5*r - 22. Let d be l(5). Suppose 2*y = -y - d*b + 504, 5*y - 848 = -b. Is 34 a factor of y?
True
Let q = 68 + -39. Suppose 3*p - 4*p = a - 5, 4*p - 5*a = q. Let d = p - -4. Is 5 a factor of d?
True
Let f(y) = y**3 + 26*y**2 - 14*y + 42. Does 62 divide f(-24)?
False
Let h = 13 - 13. Suppose -3*d + 2 + 13 = h. Suppose -d = l - 29. Is 24 a factor of l?
True
Suppose -9*j + 2122 + 2630 = 0. Does 33 divide j?
True
Let x(k) = -k**2 - 2*k + 527. Does 17 divide x(0)?
True
Let o = -2 - -2. Suppose o = -3*y + 273 + 24. Is y a multiple of 33?
True
Suppose -5*j = j. Suppose -3*f - 4*b - 363 = j, 576 = -5*f + 2*b + b. Is 314/13 - (-18)/f a multiple of 12?
True
Suppose 4 = -10*g + 6*g. Is (-2 - (-1)/g) + 222/2 a multiple of 12?
True
Suppose 2*l - 74 = -2*r, -l + 124 = 4*r - 5*l. Let k = 45 - r. Is 2 a factor of k?
False
Let p(c) = c + 13. Let d be p(-11). Suppose -k - d*t = -6, 3 = -k + 2*t + 9. Is k a multiple of 6?
True
Let n(k) = k**2 + 8. Suppose -9 = -5*h + 3*t, 4*h + 3 = -4*t + 23. Suppose -h*w = -w - 16. Does 11 divide n(w)?
False
Let s = -684 + 1256. Is s a multiple of 22?
True
Suppose 6*x - 3*x - 765 = 0. Suppose -i + u = -83, 2*i + i - x = 5*u. Is 16 a factor of (24/30)/(2/i)?
True
Let o(n) be the first derivative of n**4/4 - 4*n**3/3 + n**2/2 + n + 4. Is o(5) a multiple of 12?
False
Suppose -30*p + 28*p = f - 1783, 9 = -3*f. Is p a multiple of 47?
True
Suppose -4*q - 84 = -p, 4*q = -4*p + 96 + 180. Suppose z - p = -2*t, 4*z + 36 = t - z. Is t a multiple of 12?
True
Let c(m) = -m**3 - 34*m**2 + 60*m + 36. Does 12 divide c(-36)?
True
Let k(v) = 4*v**3 + v**2 - 1. Let x be k(1). Suppose 2*s + 458 = -5*o, x*s + 290 = -3*o - s. Does 25 divide (10/(-6))/(2/o)?
True
Let y(s) = -2*s + 23. Let v be y(-12). Suppose 3*d + 0*f - f = v, f - 33 = -2*d. Is d a multiple of 16?
True
Let i = 607 - 922. Is 9/(-6) - i/6 a multiple of 8?
False
Let f = 319 - 153. Does 83 divide f?
True
Let l be (-710)/35 + (-2)/(-7). Is (111/2)/((-95)/l + -4) a multiple of 5?
False
Is 53 a factor of 108 + -4 - 6/12*-4?
True
Let d be 201 + -1 + (-2 - 2). Suppose -f + d = 64. Is f a multiple of 32?
False
Let w be 237 - (0 - (2 - -1)). Suppose 12*b + w = 15*b. Is b a multiple of 16?
True
Let q(a) = -51*a + 12. Is 8 a factor of q(-1)?
False
Suppose 2*y - a = 722, -2*y + 0*y + 732 = 4*a. Is 12 a factor of y?
False
Is 2/12 + (-56021)/(-42) a multiple of 35?
False
Let u be (-2)/3 - 4/(-6). Suppose 3*a + 6 = 0, 4*a + 60 = -u*m + m. Is m a multiple of 16?
False
Let h = -5 + 3. Let t(i) = -63*i**2 + 12*i + 16. Let q be t(-2). Is 1/(h + q/(-128)) a multiple of 8?
True
Suppose -4*m = t - 3*t - 24, 4*t + 3*m = -4. Is 8 a factor of (-1 + t/(-1))*(-22)/(-2)?
False
Let x(b) = 15*b - 4. Let n be x(-3). Let g = 81 + n. Suppose 0 = -l + 5*l - 4*z - g, -3*z = -4*l + 37. Is l a multiple of 13?
True
Suppose 0 = 5*v - 21*v + 7056. Is v a multiple of 45?
False
Suppose -2*i + 20 = 3*i. Suppose 818 = i*f + 2*p, -5*p = -4*f + 450 + 361. Suppose f = 3*l - 0*l. Does 17 divide l?
True
Is 4 a factor of (1332/(-24) + 3)/((-6)/28)?
False
Let r(x) = x. Let j(i) = 2*i + 19. Let p(o) = j(o) - 3*r(o). Is p(-15) a multiple of 34?
True
Does 13 divide (-6 - -7)*-3 - -1206?
False
Suppose -4320 = -12*o + 4*o. Is o a multiple of 12?
True
Let y be 12/(-48) - (-197)/4. Is 226/7 + (-14)/y a multiple of 8?
True
Let o be (-44)/6 - (-4)/12. Let n(s) = 2*s**2 - 5*s + 7. Let v be n(o). Suppose -4*j = -9*j + v. Does 7 divide j?
True
Let t(b) = -b**3 + 10*b**2 + 11*b + 18. Suppose w + 11 = 20. Does 18 divide t(w)?
True
Let v(f) = 11*f - 4. Let z be v(-4). Suppose 2*r + 10 = -3*r. Is 7 a factor of (6/18)/(r/z)?
False
Let o(l) = l**2 - 3*l - 4. Let j(m) = -m + 14. Let v be j(8). Let d be o(v). Suppose d = f + f. Is 2 a factor of f?
False
Let g(h) = 128*h + 3. Let v be g(1). Suppose u - 25 = v. Is u a multiple of 44?
False
Let d(j) = 3*j**2 - 3*j + 2. Let g be d(2). Let a = 12 - g. Suppose -a*u + 70 = -98. Is 14 a factor of u?
True
Suppose 2*b + 4537 = -4*y + 17415, 12875 = 4*y + b. Does 17 divide y?
False
Let n(q) = 69*q**2 - 8*q + 8*q - 2*q + 0*q + 3. Is 7 a factor of n(1)?
True
Let i(f) = -f**3 - 4*f**2 - 4*f + 1. Let p be i(-3). Let o be (28 - p) + 4 + -2. Let k = -14 + o. Is k a multiple of 5?
False
Let m(a) = -a**3 - 3*a**2 - 4*a. Let o be m(-2). Let v(l) = 22*l - o*l + 12*l. Is 10 a factor of v(1)?
True
Let t = -251 - -443. Suppose -7*m - 18 = t. Is 9 a factor of (-62)/(-5) - 18/m?
False
Is (-7)/((-28)/(-12))*-21*5 a multiple of 15?
True
Let u = -65 - -133. Is (u/(-7))/((-10)/35) a multiple of 10?
False
Suppose -4*g + 20 = 0, -g - 5 = -5*a - 0. Suppose -2*v - a*v - 16 = 0, -3*y = -3*v - 339. Is y a multiple of 26?
False
Let q(o) = -15*o + 17. Let p(w) = -29*w + 33. Let c(l) = -2*p(l) + 5*q(l). Is 23 a factor of c(-7)?
True
Let p(d) = 36*d - 380. Let b(o) = 7*o - 76. Let x(r) = 16*b(r) - 3*p(r). Is 24 a factor of x(25)?
True
Suppose -2*y - y - 2*g = -65, -4*y + 79 = -5*g. Let w = 7 - 21. Let f = y + w. Is f a multiple of 4?
False
Let s(b) = -b**3 + 11*b**2 + 13*b + 1. Let c be s(12). Let m = 7 + c.