*2 + 23*a - 7. Let w be t(-12). Does 10 divide p(w)?
True
Suppose 2*v + 38 = 3*d + d, 3*d = -2*v + 46. Let t be 1/1 + 396/d. Suppose x - t = 12. Does 14 divide x?
False
Suppose 5*y - 2*u + 0*u - 24 = 0, -4*y + 5*u = -26. Suppose 3 = 5*x - 7, 5*s + y*x = 3. Does 13 divide (s + 3)/((-1)/(-10))?
False
Suppose 2*t + 1009 - 125 = 4*w, -3*t = 2*w - 450. Is 37 a factor of w?
True
Suppose q = -q - 44. Let y = 20 - 82. Let a = q - y. Does 10 divide a?
True
Let b(o) = 3083*o**2 - 5*o + 5. Does 14 divide b(1)?
False
Let p(l) = 2*l**2 - 2*l - 1. Let h be p(4). Let t = h + -21. Suppose t*u - 6*u + 124 = 0. Does 7 divide u?
False
Let t be 172/(-14) + (-2)/(-7). Does 24 divide 9/t - (-1737)/12?
True
Let d = 223 - 202. Is 2 a factor of d?
False
Let k(o) = -5*o**2 + 11*o + 19. Let u(i) = -9*i**2 + 22*i + 37. Let p(g) = 11*k(g) - 6*u(g). Does 5 divide p(-4)?
True
Suppose -21 = -9*k + 105. Suppose -k*n = -3064 - 758. Does 13 divide n?
True
Let q = 5 - 3. Suppose y = 6 - q. Suppose 0 = -5*x - y*m + 195, -m = -x - 0*m + 39. Is 13 a factor of x?
True
Does 38 divide (8 - (1 - (-5 - -1))) + 377?
True
Let r(f) = f + 1 - 1 + 0. Let y be r(3). Suppose -15 = -2*c + y. Is c a multiple of 9?
True
Let w be 1 + (0 + 1)*4. Let n(r) = -6 + 4*r + 2*r - r. Is 4 a factor of n(w)?
False
Suppose 0 = 4*a - 12, -a = d - 0*d - 291. Is d a multiple of 18?
True
Let l be -1 + 24/7 + (-30)/70. Suppose 0*x + 4*a = -l*x + 522, 3*a = 9. Does 17 divide x?
True
Let j = -2 + 6. Suppose m - 9 = -4*p + 5, p = -j*m + 11. Suppose m*t = 7*t - 295. Is t a multiple of 14?
False
Let p(v) = 172*v**2 - v - 1. Let f be p(-1). Suppose 0 = -9*x + f + 188. Is x a multiple of 18?
False
Suppose -5*d + 206 + 14 = 0. Suppose i - 5*i - 2*s = -d, 3*i + 5*s = 40. Suppose i = f - 7. Is 11 a factor of f?
False
Suppose -22*k + 18324 = -8010. Does 30 divide k?
False
Let y = 838 + -493. Suppose -y = -19*v + 14*v. Is 16 a factor of v?
False
Suppose 5*p - 66 = 1164. Suppose -6*n + 0*n = -p. Is 7 a factor of n?
False
Let y = 167 + 31. Is y a multiple of 66?
True
Suppose -5*a = 4*i - 36, 2*a = -0*i - 2*i + 16. Let p be 3*(5/(-3) + a). Suppose -2*t + p*t = 80. Is 4 a factor of t?
True
Let j(q) = 5*q**3 - 5*q**2 + 7*q - 5. Let z be j(2). Suppose 43 = b - z. Does 10 divide b?
False
Let u = 12 + -11. Suppose -r = -2*q - u, 2*r - q + 1 = 9. Suppose 2 = 5*g + f - 8, 5*g = -r*f - 10. Is g a multiple of 2?
False
Let j(v) = 17*v + 39. Let d be j(9). Suppose k = -5*n + d + 686, 4*k + 712 = 4*n. Does 44 divide n?
True
Let a = 3450 + -2570. Is 11 a factor of a?
True
Let t = 59 + -102. Let c = t + 66. Is 11 a factor of c?
False
Let q(t) = -t**3 + 12*t**2 + 12*t + 13. Let k be q(13). Suppose 7*v + k*v = 217. Is v a multiple of 8?
False
Suppose -8*z + 292 + 1004 = 0. Does 18 divide z?
True
Let d(z) = z**3 - 2*z**2 + 17*z + 11. Does 38 divide d(10)?
False
Let d(w) = w**2 - 14*w + 27. Let n be d(11). Is 11 a factor of 2/((-16)/44)*n?
True
Let m(d) = -d**3 - 5*d**2 + 4*d + 15. Let i be m(-5). Is 12 a factor of i + 9 + 2*46?
True
Let x(n) = 425*n**2 + 4*n + 3. Let u be x(-1). Suppose 5*s - u = -3*s. Is 19 a factor of s?
False
Let o = 77 + 50. Suppose -4*u + o + 33 = 0. Is 10 a factor of u?
True
Suppose -4*w + 0*w + 4 = 0. Let j be ((-10)/(-10))/(w/(-1)). Let n = j + 13. Is 3 a factor of n?
True
Let v(t) = -t**3 - 14*t**2 + 15*t + 5. Let j(r) = r**2 - 2*r - 3. Let l(d) = 2*d**2 - 6*d - 8. Let a(q) = -11*j(q) + 4*l(q). Let y be a(2). Does 5 divide v(y)?
True
Suppose 0 = -5*j + x + 2 - 39, 3*j - 2*x = -18. Let y = 0 - j. Is y a multiple of 8?
True
Is 5*(-42)/35 - -231 a multiple of 5?
True
Let f(y) = y**2 + 3*y - 4. Let n be f(-4). Let o be (-1)/(-5) + 77/105*-3. Is (-8)/(n + 1/o) a multiple of 16?
True
Let q(x) = 2*x**2 + 58*x + 8. Is 10 a factor of q(-30)?
False
Is (3 + (-3093)/(-9))/((-28)/(-126)) a multiple of 15?
True
Suppose -21*z = -25*z, z = 7*x - 9660. Does 44 divide x?
False
Let f be ((-10)/4)/((-2)/4). Suppose -7 = -z - f*a, 7*z - 5*a = 2*z + 155. Suppose 0 = -2*c + 5*q + 7 + 26, q - z = -c. Is 12 a factor of c?
True
Let z(n) = -84*n**3 + 5*n + 1. Let b be z(-2). Suppose -2*i + b = 11*i. Is 27 a factor of i?
False
Let i(q) = q + 8. Let x(b) = 2*b + 15. Let w(u) = -7*i(u) + 4*x(u). Let d = 2 + 10. Does 16 divide w(d)?
True
Suppose -w = -5*s + 3*w + 91, -5*s + 2*w = -83. Does 17 divide ((-51)/2)/(s/(-20))?
True
Let u(x) = -1. Let l(g) = -6*g - 6. Let d(j) = -l(j) + 3*u(j). Let h be d(8). Is (-4)/(48/h)*-8 a multiple of 11?
False
Suppose -5*x + 34 + 6 = -2*w, -5*w - 62 = -3*x. Let b = 74 + -52. Let g = b + w. Is 7 a factor of g?
False
Is 90 a factor of 350/(-21)*(-63)/(-35)*-6?
True
Is (-1)/(-4) + (261680/64 - -15) a multiple of 18?
True
Suppose 3*s - 6*s + 5*i + 2331 = 0, -5*s - 2*i + 3885 = 0. Is 7 a factor of s?
True
Suppose -7 = -5*p - 82. Let a = -13 - p. Is 2 a factor of a?
True
Suppose 7*t = -27*t + 32096. Does 17 divide t?
False
Let l = 1297 - 1083. Is 4 a factor of l?
False
Let x(q) = q**2 - 13*q - 10. Let d be -2 - -1 - (-4 - 0). Suppose -5*u + 20 = 5*s - 55, s - d*u = 15. Is x(s) a multiple of 4?
True
Suppose 3*b = -j + 2, -5*j - 3*b = 2*b - 10. Let w(a) = 2 - 3*a + 3*a + 0*a + j*a**2. Is w(-5) a multiple of 13?
True
Let s(y) = -45*y - 1. Let g be s(1). Let x = g + 64. Is 3 a factor of x?
True
Let d be -3 - 1*4/(-2). Let x(n) = -31*n + 2. Let v(a) = 1. Let k(y) = -3*v(y) + x(y). Is 10 a factor of k(d)?
True
Suppose -8*a + 25*a = 3094. Is a a multiple of 9?
False
Let x be (-24)/11 - (-8)/44. Let b be -2*(x - -3) + 25. Let f = b - 2. Does 7 divide f?
True
Let a = 1568 + 113. Does 14 divide a?
False
Let i(p) = 2*p**2 + 12*p - 9. Let q be i(-7). Suppose -3*h = -4*r - q*h + 1024, -528 = -2*r - 5*h. Suppose -r = -2*x - 26. Does 34 divide x?
False
Let x be -158 + -2 + (2 - 4). Let c = -303 - x. Does 14 divide 2/(-10) + c/(-5)?
True
Is ((-90)/10 - 857)*-1 a multiple of 9?
False
Let z(j) = 4*j - 6. Let n be z(4). Suppose -n = 6*a - 4. Let k(f) = 11*f**2 - 4*f - 2. Is 13 a factor of k(a)?
True
Let w(n) = n**2 - 4*n - 3. Let m be w(5). Let d(g) = -6 + 2*g**m - 2 + 5 - 2*g. Is 6 a factor of d(4)?
False
Let a(g) be the third derivative of -g**5/30 - g**4/8 + 38*g**3/3 - 39*g**2. Is 38 a factor of a(0)?
True
Suppose 4*r - 2*f - 70 = 0, -4*r + 3*f + 10 = -65. Let x(i) = i**2 - 3*i - 13. Is 26 a factor of x(r)?
False
Let z(v) be the third derivative of 59*v**5/30 + v**4/24 - v**3/6 - v**2 - 41. Let y(u) = -u + 6. Let q be y(5). Does 15 divide z(q)?
False
Let v be (-2)/(-11) + 258/33. Suppose 246 = 11*m - v*m. Does 7 divide m?
False
Let t(v) = -795*v**3 - 5*v**2 - 4*v. Is t(-1) a multiple of 56?
False
Let q(y) be the first derivative of 2*y**3 + y**2 - 2*y + 8. Let n be q(3). Let z = n - 38. Is 20 a factor of z?
True
Let q(g) = -g**3 - 13*g**2 + 26*g - 2. Is 50 a factor of q(-16)?
True
Let c(b) = -11*b - 54. Let f be c(14). Is 5 a factor of 5 - 7/(28/f)?
False
Let a = 579 + -409. Suppose 8*u - 3*v = 4*u + 705, u - a = 2*v. Does 15 divide u?
True
Let i(z) = 114*z - 24. Does 74 divide i(4)?
False
Let j be (-13 - 0) + 0/(-8). Let y = j + -18. Let f = 74 + y. Does 14 divide f?
False
Suppose 2*i = 4*h - 3*i - 304, -228 = -3*h - 4*i. Suppose -q + 6*q - 4*s - 95 = 0, -4*q = -s - h. Is 4 a factor of q?
False
Let j(z) = -8*z - 2. Is 5 a factor of j(-30)?
False
Let f(y) = y**2 - 11*y - 2. Let s be f(10). Let v(m) = m + 17. Let n be v(s). Suppose -9 = -o - n. Is o even?
True
Suppose -2*k - 48 = -46. Is 3 a factor of (10 + -5)/(k/(-13))?
False
Let u be (4 + 0)*15/20. Suppose 2*w - 3*b = -8, -u*w + 0*w + 4*b - 10 = 0. Suppose w*z - 8*z = -324. Is 26 a factor of z?
False
Let q = 119 + -42. Let o = 158 - q. Let a = o + -57. Does 12 divide a?
True
Suppose -15 = 3*w, -2*k + 0*k - 2*w - 90 = 0. Is 50/3*(-144)/k a multiple of 18?
False
Let s = -2 - 1. Let h = s + 10. Let m(p) = -p**2 + 8*p + 5. Is m(h) a multiple of 12?
True
Let v = -6 + 10. Suppose -3*j - j = 20, v*q = j + 81. Suppose -q = -3*x + 5*m, 51 = 2*x + x + 3*m. Is x a multiple of 6?
False
Suppose 32*p = 10*p + 110. Is 5 a factor of p?
True
Suppose 0 = -6*a - 931 + 3103. Is 11 a factor of a?
False
Let j be ((-2)/(-6))/((-2)/(-18)). Suppose 2*m = 2*a - m - 231, -3*m - 348 = -j*a. Does 24 divide a?
False
Suppose 8*l = 3741 + 1755. Is 10 a factor of l/21 + (-4)/(-14)?
False
Is 1/5 + 2952/15 a multipl