+ -54. Does 3 divide s(p)?
False
Let x(m) = 7*m + 3. Let z(q) = -6*q - 5. Let n(h) = -6*x(h) - 5*z(h). Is n(-4) a multiple of 11?
True
Let f = -157 + 271. Does 38 divide f?
True
Let i be 608/6*18/8. Suppose -i = -4*g + g. Is g a multiple of 11?
False
Suppose 4*i + 147 = -153. Let f = -42 - i. Is 19 a factor of f?
False
Let b(m) = 2*m + 39. Let j(o) = o**2 + 11*o + 12. Let t be j(-4). Is 7 a factor of b(t)?
True
Let u = 299 - 234. Does 13 divide u?
True
Suppose 0 = -17*q + 14*q + 1104. Is q a multiple of 6?
False
Let y(s) = s + 1. Let b(i) = 2*i**2 - 2*i - 2. Let z be b(2). Let n = z - -5. Is 4 a factor of y(n)?
True
Let n = 32 + -33. Let b = n + 9. Does 2 divide b?
True
Let m be 30/3*1*-2. Let d = m + 33. Suppose 3*t = d + 14. Is 7 a factor of t?
False
Let t(v) = -4*v + 62. Is t(-4) a multiple of 8?
False
Let k(g) = -g. Let m be k(-6). Let a = 46 - m. Suppose -y - 6*h + h = -a, -4*h = -16. Is 10 a factor of y?
True
Let f(i) = -i**3 - 15*i**2 - 43*i + 10. Is f(-13) a multiple of 7?
True
Suppose -p + 839 = 131. Does 5 divide p?
False
Let p = -258 - -31. Let u = -107 - p. Does 30 divide u?
True
Let d(o) = 2*o**2 + 8*o + 11. Suppose -27 = 3*b + 3*q, 4*b + 0*q - 3*q + 8 = 0. Is 7 a factor of d(b)?
True
Suppose 6*r - 10 = 56. Suppose -5*q + 139 + r = 0. Is 17 a factor of q?
False
Suppose -14*a = -8304 - 23294. Does 24 divide a?
False
Let n = 733 + -463. Suppose 0 = 3*f - 15, -3*f = 3*v - 8*v + n. Does 19 divide v?
True
Let i(w) = -3*w - 2. Let y(k) = -5*k - 5. Suppose -13 = 3*c + 4*f, -c - 1 = -5*f + 16. Let n(d) = c*i(d) + 4*y(d). Is 7 a factor of n(13)?
True
Suppose 14*i - 4*i - 5840 = 0. Suppose i = 13*f - 794. Is 15 a factor of f?
False
Let f = 39 - 24. Suppose -2*i = i - f. Suppose i*o - 19 = -2*u, -4*u + 65 = -0*o + o. Is 13 a factor of u?
False
Suppose -2*h + 0*h + 6 = 0. Suppose -3*c = -0*t + t - 92, -c - h*t + 36 = 0. Suppose w + c = 4*w. Is w a multiple of 10?
True
Let k = 546 - 231. Does 15 divide k?
True
Let g = 3 - -7. Let r(k) = k**2 - 3*k - 7. Does 21 divide r(g)?
True
Is (34 + 24/4)*1 a multiple of 40?
True
Suppose -617 = -3*b - j - 0*j, -607 = -3*b + j. Suppose -5*y + 116 + b = 0. Does 13 divide y?
False
Suppose 67*m - 116 = 38*m. Is m a multiple of 4?
True
Suppose w = -4*h - 0*h - 58, -5*h - 10 = 0. Let n = -35 - w. Is n a multiple of 12?
False
Suppose 8 = 3*o - m, 0 = o + 3*o + 3*m - 28. Let a be 5/(60/8) - 2/3. Suppose a*x - o*x = 2*t - 86, 4*t - 183 = 3*x. Is t a multiple of 21?
False
Let p be 2*((-12)/30 + (-2722)/20). Is (-2)/(-3)*p/(-14) a multiple of 4?
False
Suppose -1680 = -20*l + 12*l. Is 7 a factor of l?
True
Let c be 30/(-105) + 135/7. Suppose 5*u = -c + 79. Is 5 a factor of u?
False
Let x = -220 + 59. Is 14 a factor of (552/x)/(4/(-98))?
True
Suppose -3*d + 4223 = g, -2*g - 6 + 16 = 0. Does 38 divide d?
True
Let b = 8 - 3. Suppose b + 40 = -3*x. Let z = x + 38. Does 8 divide z?
False
Suppose 10*a - 209 = 241. Does 11 divide a?
False
Let n(g) be the second derivative of -5*g**3/3 + 9*g**2/2 + 3*g. Does 21 divide n(-4)?
False
Let a(g) = -890*g + 148. Is 8 a factor of a(-2)?
True
Is 57 a factor of (-2)/6 + (-14)/(-6) + 340?
True
Let g = -15 - -143. Is g a multiple of 4?
True
Let r(g) = 6*g**2 - 6*g - 12. Let v be r(5). Suppose 11*a - 6*a - 5 = 0, 0 = -5*u - 3*a + v. Does 3 divide u?
True
Let m(d) = 11*d - 5. Let p(h) = -5*h + 1. Let i be p(-2). Let l be m(i). Suppose l = -6*w + 296. Is 8 a factor of w?
False
Let s = -14 - -18. Suppose -s*r = -3*w - 11, -r - 23 = 5*w - 3*r. Is 29 a factor of 20/w*(-58)/4?
True
Suppose -4*d = -7*d - 4*c - 14, 48 = -4*d + 2*c. Let q be (-32)/(-32) + (25 - 0/(-2)). Is (0 - -1)*(d + q) a multiple of 5?
False
Let v(i) = i**2 - 40*i + 276. Is v(37) a multiple of 15?
True
Let f be 1/2 + 7/2. Suppose 0 = f*h - 4*z - 1 - 35, 4*z = -h - 16. Suppose h*k - 64 = 12. Does 10 divide k?
False
Let y be (2/2)/(49/(-546))*-14. Suppose -2*m - 22 = -y. Is m a multiple of 7?
False
Let w = -13 + 18. Let y = w + -5. Suppose y = -o - 4*m + 35, -5*o + 259 = -2*m + m. Does 17 divide o?
True
Let c(i) = -22*i - 9. Let g = 79 + -82. Is c(g) a multiple of 11?
False
Let z = 230 + -34. Does 14 divide z?
True
Let c be (8/(-10))/((-6)/45*-3). Does 7 divide 4*c/(18/(-7) + 2)?
True
Let u(o) = 35*o - 62. Does 32 divide u(10)?
True
Suppose 3*s - 3 = 0, -6*b + 89 = -4*b + 5*s. Does 42 divide b?
True
Let j be 4/(1 - (-249)/(-252)). Suppose 6*q + j = -0*q. Is (2 + -65)*48/q a multiple of 28?
False
Let h(w) = -12*w + 36. Is h(-22) a multiple of 50?
True
Suppose 2*n - 330 - 1064 = 0. Does 32 divide n?
False
Suppose 3*p = d - 26, -146 = -4*d - 6*p + 4*p. Let m = 44 - d. Is m a multiple of 7?
False
Let z(b) = 38*b**3 + 2*b**2 - b. Let r(f) = -f - 5. Let n be r(-9). Let j be n + 0/4 + -3. Does 13 divide z(j)?
True
Let i = 228 + -135. Let b(j) = -2*j**2 - 9*j + 15. Let r be b(-6). Is 2/r*i/(-2) a multiple of 13?
False
Let q(t) = t**3 - 12*t**2 - 2*t + 16. Let c be q(12). Is 12 a factor of (1 - 592/(-14)) + c/28?
False
Let q(x) = 2*x**2 + x - 2. Let o be q(2). Suppose 4*i = -28 + o. Is (10/(-3))/i*15 a multiple of 10?
True
Suppose 26 + 51 = 7*y. Suppose -f = -6*a + y*a - 137, 4*f = -2*a + 458. Is 14 a factor of f?
True
Let r be ((-10)/4 - -3)/(2/152). Let v = 182 - r. Does 16 divide v?
True
Suppose -2*x = -5*x + 162. Let w = 11 + x. Is w a multiple of 10?
False
Let x(m) = -m**3 + 7*m**2 - m + 10. Let q be x(7). Let g be (3 - 12)/q - -14. Suppose 0 = 3*p + 4*r - 154, 2*r - 41 = -p + g. Is 25 a factor of p?
True
Let v be ((-6)/(-18))/(2/12) - -82. Does 14 divide v*((-20)/(-8) - 2)?
True
Suppose o = -4*l + 8, 3*l + 5*o - 4*o - 6 = 0. Is l a multiple of 2?
True
Suppose 4*h - 3*c + 0*c - 248 = 0, 0 = 3*h - 4*c - 179. Is h a multiple of 13?
True
Suppose -n + 60 = s, -4*s - 2*n + 61 = -3*s. Suppose 2*u - 67 - s = 0. Is 7 a factor of u?
True
Let l(p) = -2*p**3 - 4*p**2 + 5. Let c be (2*4)/(0 - 2). Is l(c) a multiple of 42?
False
Let f(b) = 345*b**2 + 4*b + 4. Let u be f(-1). Suppose -2*d + 7*d = u. Does 13 divide d?
False
Let z(t) = 7*t**2 + 7*t + 7. Let p be z(-6). Suppose 0 = -4*m - p - 263. Let v = -64 - m. Does 14 divide v?
True
Suppose 0 = -5*g + 425 - 25. Suppose 3*c = 7*c + g. Does 6 divide ((-8)/(-10))/((-1)/c)?
False
Let c be -8 - -78 - (-3)/1. Let k = 26 - c. Let j = -23 - k. Does 8 divide j?
True
Is 88 a factor of (1585 + -1)*1/12*6?
True
Does 27 divide -1 - 1 - (-754 - -23)?
True
Let p(s) = 2*s**3 - 9*s**2 + 4*s + 2. Is 59 a factor of p(9)?
True
Suppose n - 8 = -m + 3, 0 = -5*m + 25. Suppose n*i - 8*i = -200. Is i a multiple of 19?
False
Suppose -5*a + s = -3, -4*s = 5*a - 0*s + 12. Let x(v) = -v**3 - 2*v**2 + 33. Does 15 divide x(a)?
False
Let t(x) = -4*x**3 + 7*x**2 + 10*x + 5. Is t(-4) a multiple of 9?
True
Let o be (-2)/8*-2*-16. Is (o/(-14))/((-3)/(-21)) a multiple of 4?
True
Suppose -5*b + 453 + 597 = 0. Is 6 a factor of b?
True
Let y(x) be the third derivative of 0*x + 0 + 1/24*x**4 + 2*x**2 + 5/2*x**3. Is y(14) a multiple of 18?
False
Let x = 1029 + -468. Does 4 divide x?
False
Let n be -8 + 9 - (2 + -29). Suppose -o + 4*o = -d + n, -72 = -4*d - 2*o. Is d a multiple of 16?
True
Let j(f) = -f**3 - 2*f**2 + 27*f + 145. Is j(-8) a multiple of 19?
False
Let d(s) = s**3 - 16*s**2 + 16*s - 5. Let w be d(15). Suppose 6*m = m + w. Is 26 a factor of 79/((-1)/m*-2)?
False
Suppose -3*m = 3*t + 3, -t - m + 4*m = -3. Suppose 0 = -t*b + b - 4*x - 27, 3*b = -5*x + 64. Does 23 divide b?
True
Let t(k) = -50*k - 132. Does 16 divide t(-10)?
True
Suppose -b - 4 = 18. Let k = b + 59. Does 7 divide k?
False
Suppose 0 = -m + s + 1 + 3, 2*m - 16 = 4*s. Suppose m = 4*l + 3*o - 49, 0*l - l + 25 = 5*o. Suppose -5*z = -25, l*z - 5*z = -2*b + 73. Is 6 a factor of b?
True
Let u = 904 - 112. Is u a multiple of 33?
True
Suppose 3*q - 84 = 2*d + 173, -4*d - 89 = -q. Let a = -33 + q. Suppose -3*i = -a - 86. Is 14 a factor of i?
False
Suppose -5*t + 7*d - 4*d = -19, -8 = -t + 2*d. Suppose -n + t = -0*n. Suppose -m + 29 = 4*o - n*o, 0 = 4*m + 4*o - 96. Does 17 divide m?
False
Let w(f) = -5*f + 9. Let b(q) = -16*q + 26. Let j(r) = -2*b(r) + 7*w(r). Is j(-7) a multiple of 16?
True
Let j(c) = 12*c**2 - 28*c - 44. Is j(-6) a multiple of 3?
False
Suppose 5*s - 7*s + 140 = t, -4*t - 337 = -5*s. Is s a multiple of 36?
False
Let c = -2096 + 3188. Does 15 divide c?