a factor of t?
False
Let x be 30/1*4/6. Let u = -18 + x. Suppose -u*g = g + 5*p - 56, 3*g - 5*p = 16. Is 12 a factor of g?
True
Let a(q) = 4*q**3 - 4*q**2 + 2*q + 24. Let n(m) = -3*m**3 + 3*m**2 - m - 24. Let f(y) = -2*a(y) - 3*n(y). Does 8 divide f(0)?
True
Is 44/6*(361 + -73) a multiple of 48?
True
Let m = -220 - -318. Does 65 divide m?
False
Let x = -1113 - -1939. Is x a multiple of 59?
True
Let c(n) be the first derivative of n**6/360 - n**5/120 + n**4/6 + 4*n**3/3 + 1. Let s(t) be the third derivative of c(t). Is 7 a factor of s(4)?
False
Suppose -1 = -6*s + 11. Suppose 2*y + w - s*w = 229, 341 = 3*y - 2*w. Is 12 a factor of y?
False
Suppose 0 = v - 1, -4*o = -o + 3*v - 6. Let x be 6/3 + 1 + o. Suppose -3*q = -f - 2, q + 3*q + x = 2*f. Does 7 divide f?
False
Let q(s) = 156*s - 154. Is q(9) a multiple of 17?
False
Let v(d) = d**2 + 7*d + 9. Let h be v(-6). Suppose -j = -h*j + 100. Is j a multiple of 18?
False
Let k(v) = -v**3 - 3*v**2 + 13*v + 9. Does 63 divide k(-9)?
True
Let h(v) = -43*v - 9. Let l be h(-1). Suppose -3*n - 2*j + l = -480, -529 = -3*n - 5*j. Does 28 divide n?
True
Let u be 356/(-10) - 4/10. Let g(n) = n**3 + 7*n**2 - 18*n - 33. Let v be g(-9). Let h = v - u. Is h a multiple of 3?
True
Let v = -10 + 14. Let w be v/10 + (-328)/20. Is 5 a factor of (w/4)/1 - -9?
True
Let r = -2254 + 3599. Does 4 divide r?
False
Suppose 4*t - 32 = 8*t. Let u(r) = -r**2 - 10*r - 3. Is 10 a factor of u(t)?
False
Suppose -8*n + 4*n = 4*s - 16, 0 = -5*s - 15. Let d be (-7)/(-21) - (-98)/3. Suppose n*j - 4*j - v = 34, 4*v = -j + d. Does 13 divide j?
True
Suppose 293 = 5*m - 607. Let a(x) = x**3 - 4*x**2 - 4*x - 1. Let b be a(5). Suppose -q - m = -b*q. Is 15 a factor of q?
True
Let a be (11/(-11))/((-1)/3). Suppose 0 = -a*w - 3*w + 696. Is w a multiple of 16?
False
Suppose -36*d + 5225 = -11*d. Is 19 a factor of d?
True
Let d(i) = -16*i - 31. Suppose 3*v - x + 25 = 0, v - 2*x + 5 = -5*x. Is d(v) a multiple of 33?
False
Let o = 45 + -12. Suppose 3*h = j + 23, 5*h - j - o = 2*j. Suppose -4*d = h - 21. Is 2 a factor of d?
False
Let b = -247 + 679. Is b a multiple of 16?
True
Let k = -31 - -34. Suppose 11 = -3*l + 2, 0 = j + k*l - 32. Is 6 a factor of j?
False
Suppose 5*a - 265 - 145 = 0. Let h = a + -46. Does 11 divide h?
False
Is 3 a factor of (25 - 30) + 223*1 + 1?
True
Suppose 2*c = 44 - 8. Let k = c + -17. Let g = 15 + k. Does 11 divide g?
False
Let y(u) = -9*u - 37. Let m = 37 + -44. Is y(m) a multiple of 5?
False
Suppose -20 = -8*g + 4*g. Suppose -6*z = -3*z - 4*n + 152, 0 = -g*n - 20. Let l = 4 - z. Is 15 a factor of l?
True
Let t be -1 + ((-10)/(-2) - 0). Let r = t + -3. Is r/((-6)/267)*-2 a multiple of 24?
False
Let f(d) = 5*d**3 - 10*d**2 + 20*d + 6. Is 9 a factor of f(4)?
False
Is (-186)/651 - 597/(-7) a multiple of 17?
True
Let o = 16 + 6. Let s = o + -22. Suppose 4*x + 22 = 2*y, -4*y + 59 = -s*y - 5*x. Is y a multiple of 21?
True
Let k = -1 - 16. Let u = k + 11. Is 8*2 + u/3 a multiple of 8?
False
Let f(g) = 5*g**2 - 10*g + 5. Let k(w) = w - 2. Let d be 152/26 + (-30)/(-195). Let h be k(d). Is f(h) a multiple of 9?
True
Suppose 26 + 31 = -3*o. Let m = o - -26. Let j = m - 4. Is 2 a factor of j?
False
Let p be 2 - 0/4*-1. Does 7 divide p + 19 + 0/(-2)?
True
Let r(u) = u**3 - 9*u**2 + 4*u - 7. Let y be r(9). Let o = y + -26. Suppose -f = o*f - 240. Is f a multiple of 10?
True
Let a(k) = k**2 - 8*k - 6. Let d be a(9). Suppose -d*h = -59 - 13. Is 12 a factor of h?
True
Let c(r) = 5*r**2 - r - 84. Does 24 divide c(9)?
True
Let v be 2/6 + 22/6. Let t(f) = 9*f + 4*f - 13*f - 10 + 2*f + 10*f. Is 24 a factor of t(v)?
False
Let a(k) = 4*k**2 + 11*k - 12. Let p(l) = 11*l**2 + 34*l - 36. Let z(c) = 17*a(c) - 6*p(c). Let r be z(8). Suppose -r*b + 99 = -53. Is b a multiple of 14?
False
Let c(g) = 184*g**2 + 1. Does 13 divide c(-1)?
False
Suppose 4*z = 4*c + 2596, 3280 = 5*z - 0*z + 2*c. Suppose 2*u + 4*u - z = 0. Does 21 divide u?
False
Suppose 19 = u + 19. Suppose u = 3*c - 12, 5*n - 4*c - 242 = 2*n. Does 14 divide n?
False
Suppose 0*u + 2*c = 5*u - 304, -u + 5*c + 70 = 0. Let p = -22 - -65. Let l = u - p. Does 13 divide l?
False
Let l(w) = -w**2 + 8*w - 12. Let c be l(4). Let o be (2 + (-3)/(-9))*-3. Does 16 divide c/7 - 535/o?
False
Suppose -6 = 9*p - 11*p. Suppose -m = -p*m - 8. Is 24 a factor of ((-2)/m)/(1/96)?
True
Let b be (40/30)/(4/(-42)). Let a be (-7)/(b/(-4)) + 17. Let f = a - 3. Is f a multiple of 6?
True
Suppose -3*a + 3*w - 5*w + 469 = 0, 5*a - 4*w = 745. Suppose -v = 2*r + 3*v + 118, -4*v + 12 = 0. Let p = r + a. Does 22 divide p?
True
Let v = 76 - -6. Let i = v + -45. Does 7 divide i?
False
Let d(r) be the second derivative of -r**5/60 - r**4/2 + 5*r**3/3 + 3*r**2/2 + 7*r. Let j(v) be the first derivative of d(v). Does 4 divide j(-12)?
False
Let m(t) = 209*t**2 - 7*t - 1. Does 13 divide m(3)?
True
Suppose -3*l = -j - 4*l + 2, -3*j + 4*l = -20. Let x(n) = n**2 - 3*n + 5. Let w be x(j). Suppose -46 = -t + w. Is t a multiple of 12?
False
Let z = -1 - -4. Is (-80)/z*(6 - 9) a multiple of 16?
True
Let t = 460 - 204. Does 16 divide t?
True
Suppose 4*h + 3*d - 23 = 0, d + 2*d = 3*h - 12. Suppose -5*a - 74 = -3*i, 8 = 3*i + h*a - 26. Does 8 divide i?
False
Let g(u) = -u**3 - 8*u**2 + 11*u + 40. Does 11 divide g(-9)?
True
Suppose 6*q - 11 = 1. Is 32 a factor of -3 + (91 - (-1 + q))?
False
Suppose 4*b = z + 15, -20 = -2*z - 0*b - 2*b. Suppose 0 = 3*t + 4*a + 3 + z, -a - 2 = 0. Is (-2)/(t - -1) - -34 a multiple of 10?
False
Let c(w) = -8*w - 28. Suppose -9*v - 60 = -4*v. Is c(v) a multiple of 17?
True
Suppose 3*r + 522 = 5*a - 966, -5*r = 2*a - 620. Let u be a/(-8) - 1/(-2). Let j = -29 - u. Is j a multiple of 8?
True
Let f be (-4)/6 + 40/(-3). Let n be 6/(-21) - 60/f. Suppose -4*z + n = 0, 3*q - 197 = z - 0*z. Is q a multiple of 15?
False
Let x(y) = -y**3 - 23*y**2 - 15*y + 25. Let l be x(-23). Suppose 184 = 2*t - w - w, l = 4*t - 5*w. Is 18 a factor of t?
True
Suppose -6*f = -9*f + 9. Does 22 divide 91 + (-1)/(f/(-12))?
False
Let h = -111 - -271. Is 16 a factor of h?
True
Let s(w) be the first derivative of w**2/2 + 2*w - 1. Let t be 3 + -4 - (1 + 21/(-3)). Is 7 a factor of s(t)?
True
Suppose -2*a + 120 + 104 = -3*b, 2*a = -3*b + 224. Let p be (-74)/3*(7 - 4). Let s = p + a. Is 12 a factor of s?
False
Suppose g = -5*q + 163, 4*g - 4*q - 737 + 61 = 0. Is 2 a factor of g?
True
Let n(m) = -m + 7. Let s be n(7). Suppose 210 = -s*j + 2*j. Is j a multiple of 35?
True
Let w = -2700 - -7422. Does 57 divide w?
False
Let t be (-1)/2 + 81/6. Suppose -u + 2*i = -3, 4*u = 4*i + 16 - 0. Suppose -u = -6*l + t. Is l even?
False
Suppose -5*d = -d - 16. Suppose -17 - 83 = -4*l - d*t, 4*t + 124 = 4*l. Does 14 divide l?
True
Suppose -4*w + r + 62 = 0, 0 = -2*w + 5*r - 2*r + 36. Let b be w/6 - (-2)/(-4). Suppose b*g - 63 = -g - m, -4*m - 8 = -g. Is 18 a factor of g?
False
Suppose 3*g - 3*o = 147, 5*g - 3*o - 109 = 130. Suppose -3*y - 7 = -g. Does 4 divide y?
False
Suppose 4*j = -v + 20, -2*v + 5*v + 5*j = 81. Suppose -3*u + 7*u - 24 = 0. Let f = u + v. Does 14 divide f?
False
Let j(f) = f**3 - 7*f**2 - 6*f + 3. Let p be j(8). Let k = 5 - p. Let o = -8 - k. Is o a multiple of 6?
True
Suppose 2*i = 2, -i - 3 = 2*u - 0. Is (-149)/u + 25/(-10) + 3 a multiple of 25?
True
Does 7 divide (9 + 3 + -5)/((-2)/(-74))?
True
Let j(y) = 7*y + 21. Let s be j(-3). Is 61 + -12 - (s - 5) a multiple of 9?
True
Let u(p) = 60*p**2 - 182*p + 10. Does 115 divide u(-9)?
False
Let b = 28 - 19. Suppose 0*s = -3*s + b, -u = -2*s - 52. Is 29 a factor of u?
True
Let r be 81/3*(-2 - -1). Let q = r + 24. Is 76/q*(-30)/20 a multiple of 19?
True
Suppose 185 - 275 = -5*i. Is 18 a factor of i?
True
Suppose 3*m - m + 12 = -2*s, 4*s - 53 = 3*m. Let b = m - -11. Let v = 4 + b. Does 2 divide v?
True
Let c = 387 - 350. Is 3 a factor of c?
False
Let q(z) = 2*z**2 - 2*z - 1. Let h be q(-1). Suppose 2*f + 62 = 2*v, 4*f = -h*v + 5*f + 97. Let j = 54 - v. Is j a multiple of 7?
True
Suppose 8*d - 2009 = 4503. Does 22 divide d?
True
Let b(r) = 215*r - 639. Is 6 a factor of b(4)?
False
Is (-4 + 16/(-2))*12*-5 a multiple of 16?
True
Suppose -6*m + 8857 = -8747. Suppose -6*q + m = 12*q. Does 9 divide q?
False
Let k be 215/15 - 6/(-9). Suppose -10 - k = -5*q. Suppose 10 = -c + 5*g, -2*c + 41 = q*g + 1. Does 10