ltiple of 6?
True
Suppose 3*p + 3*j = 567, p + 189 = 2*p + 5*j. Is 33 a factor of p?
False
Let p(o) = 233*o**2 + 2*o + 3. Is 12 a factor of p(-1)?
False
Let g be ((-3)/(-4))/((-4)/176). Let o be 2*g/12*-2. Suppose -p + o = -7. Is 13 a factor of p?
False
Let z = -4 - -1. Is (-12)/z + 1*-2 even?
True
Suppose 5*a = -303 + 1133. Suppose -5*f = -a - 114. Is f a multiple of 35?
False
Let u = 98 + -46. Let n = u + -17. Is 15 a factor of n?
False
Let q(v) = 2*v + 3. Let y be q(3). Let t(f) = 5 + 2*f**3 - 6*f - 2*f**3 - y*f**2 + f**3. Is t(10) a multiple of 20?
False
Suppose -u - 24 = -3*u. Is 12 a factor of u?
True
Is 5 a factor of 14/(-4 + 6) + 3?
True
Let z(j) be the second derivative of 1/3*j**3 + 1/2*j**2 + j - 3/20*j**5 + 0 + 1/12*j**4. Is z(-1) a multiple of 2?
False
Let i(a) = a**2 - 6*a - 4. Suppose -5*j = 2*c + 1 - 2, 4*c - 20 = -4*j. Let x be i(c). Suppose -4*l + 0 = -x. Does 3 divide l?
True
Let z(y) = -7*y - 30. Does 9 divide z(-12)?
True
Let o be 2*(-2)/(-10)*-5. Let c be 162/15 + (-1)/(-5). Let b = o + c. Is 9 a factor of b?
True
Let f = -3 - -10. Suppose -f*v = -64 - 13. Does 5 divide v?
False
Let m(j) = j**2 - 8*j + 7. Let d be m(8). Let a = 1 + d. Is a a multiple of 4?
True
Suppose 4*a + 124 = 6*a - d, 5*a - 316 = 4*d. Does 30 divide a?
True
Suppose -5 = d, 0 = 4*k - d - d - 66. Does 7 divide k?
True
Let s(v) = -2*v**3 + 5*v**2 - 10. Is 11 a factor of s(-4)?
True
Let c(d) = 12*d**2 - 3*d - 1. Let l be 1*(3/(-1) + 0). Let i be c(l). Let a = i - 70. Does 17 divide a?
False
Suppose -5*i + 30 = f, -f - 3*f = 0. Is 14 a factor of i + 37 - (1 - 0)?
True
Suppose -5*g - 25 = -3*v, g = -5*v - g - 10. Suppose v = 7*x - 4*x - 78. Is 13 a factor of x?
True
Suppose -3*u - 28 = 4*z, -3*z = u - 6*z - 8. Let a(f) = 3*f**2 + 3*f. Does 10 divide a(u)?
False
Let y(j) = j + 12. Suppose -5*h - 3*v = 0, h + 2*h = v. Is y(h) a multiple of 4?
True
Let k = -8 + 11. Is 62 + -3 + -2 + k a multiple of 15?
True
Suppose -5*v + 3 = -7. Is 12 + (-8 + v)/3 a multiple of 10?
True
Let y(b) = 3*b - 3. Let h be y(-7). Let g = h - -47. Does 6 divide g?
False
Let d be 5/(-2)*16/(-10). Suppose -y - g + 15 = -2*g, 5*g + 55 = d*y. Is y a multiple of 13?
False
Let c = -24 - -25. Is (42/5)/(c/5) a multiple of 14?
True
Let a be (0/(-2))/((-1)/(-1)). Suppose a*w + w = -19. Let u = w + 43. Does 8 divide u?
True
Let j(x) = x**2 - 7*x + 16. Is j(-5) a multiple of 7?
False
Let f = 37 - -19. Is f a multiple of 14?
True
Let g(b) be the third derivative of -5*b**4/24 - 7*b**3/6 + b**2. Is g(-3) a multiple of 3?
False
Suppose 29 = 4*z - 3. Suppose q + z = -0. Let h = 12 + q. Does 2 divide h?
True
Does 36 divide (546/8)/(10/((-400)/(-15)))?
False
Let q be ((-5)/10)/(1/14). Let u = q - -10. Is u a multiple of 2?
False
Let h(n) be the second derivative of 2*n**2 - 1/6*n**3 - 1/12*n**4 - 2*n + 0. Does 3 divide h(0)?
False
Suppose -2*a + 5*u + 106 = 0, -5*a + 106 = -3*a - u. Suppose s + s + 5*j - a = 0, 166 = 4*s - 2*j. Is s a multiple of 12?
False
Let w = 7 - -5. Does 6 divide w?
True
Let y be (9 - 7)*(3 + 1). Suppose 4*s - y = 104. Is 14 a factor of s?
True
Suppose 0 = 3*t + 2*u - 46, -2*t + u = -5 - 14. Does 4 divide t?
True
Let i(w) = 6*w + 3*w**2 + 0 - 2*w**2 + 3. Let j be i(-5). Is 6 a factor of j/3 + (-245)/(-21)?
False
Suppose 0*j - 38 = -3*t + 4*j, 5*t - 52 = j. Let r be 3*((-3)/(-9) + -3). Let u = t - r. Is 7 a factor of u?
False
Let y = 20 + -11. Let k(s) = 0*s**2 + 2 + 3*s**2 - 4*s**2 + 12*s. Does 18 divide k(y)?
False
Let p = -5 - -8. Suppose 0 = -p*v - 4*q + 3*q + 1, -v - 4*q = -15. Is 5 a factor of 10/(-4)*(-5 - v)?
True
Is 12 a factor of 237/(-9)*(0 - 3)?
False
Let r(u) = -2*u - 2. Let v(d) = -2*d - 3. Let b(j) = -2*r(j) + 3*v(j). Let w be b(-5). Let g(t) = 2*t**2 - 4*t - 2. Does 14 divide g(w)?
True
Suppose 0 = -a - 3*a + 20, 5*l - 145 = 4*a. Does 7 divide l?
False
Is 11 a factor of (9 + 3)*1 - 1?
True
Let l = 31 - -7. Is 8 a factor of l?
False
Suppose 258 = 49*d - 47*d. Is d a multiple of 18?
False
Let g be (91/14)/((-2)/(-4)). Let w = 5 + g. Is w a multiple of 9?
True
Let x(d) = -4*d + 2. Let y(g) = 2*g**2 - 6*g + 6. Let k be y(4). Suppose 5*m + 21 = -k. Does 15 divide x(m)?
True
Suppose -4*t + 13 = 9. Let x(u) be the first derivative of 35*u**4/4 + u**2 - u + 1. Is x(t) a multiple of 13?
False
Let x(i) be the third derivative of 2*i**2 + 1/30*i**5 + 2/3*i**3 + 0 + 0*i + 1/24*i**4 + 1/120*i**6. Is 25 a factor of x(3)?
False
Let m(v) = 2*v**2 - 12. Is 10 a factor of m(-6)?
True
Let w(c) = -c**3 - 9*c**2 - 9*c - 6. Let q be w(-8). Is q/(-8) - 539/(-44) a multiple of 6?
True
Let q(t) = -2*t - 18. Let k be q(-12). Suppose -k = -x - 4*v, 5*x + 5*v - 25 = 35. Does 7 divide x?
True
Suppose 2*y - 1 = -c, 2*y = 3*c + 5 + 16. Suppose -2*m + 3*v = -y*m + 5, 2*v = 5*m - 42. Does 7 divide m?
False
Let w be (-20)/(-5)*6/8. Suppose -3*l + 2*m + 112 = 0, -w*l + 3*m = -2*l - 42. Is l a multiple of 12?
True
Let l(h) = -5*h + 3. Let i(j) = -11*j + 7. Let a(o) = -6*i(o) + 13*l(o). Let c be a(5). Suppose m + 69 = 5*g + 6, -3*g + c*m = -42. Does 12 divide g?
True
Let j be (6/(-4))/((-21)/28). Suppose 3*g + 5*q - 128 = 0, 65 = j*g + 2*q - 15. Suppose 3*i - 6 = g. Is 4 a factor of i?
False
Let u(r) = -11*r + 4. Let d be u(4). Let b = -22 - d. Is 6 a factor of b?
True
Let m = -37 - -38. Suppose g - 15 = 6*g. Let j = m - g. Is 3 a factor of j?
False
Let k be (-4)/5*150/20. Let j = k - -65. Is j a multiple of 19?
False
Does 3 divide (-6)/(-1*(6 + -4))?
True
Suppose 0*j = -2*j + 10. Suppose j*v - y = 36, 2*v + 3*v - 52 = -3*y. Is v a multiple of 8?
True
Suppose -5*t + 11 = -19. Let a(x) = 5*x + 6. Let q be a(t). Let b = q + -24. Does 4 divide b?
True
Let n be (-4 - (-8 - -3))*108. Suppose 3*y - n = -y. Is y a multiple of 10?
False
Suppose c + 3*d = 7*d + 22, d - 71 = -2*c. Is c a multiple of 7?
False
Is 12 a factor of (101/2)/(4/8)?
False
Let k be (-9 - -1)*3/(-6). Suppose k*h - 4 = 32. Is h a multiple of 7?
False
Suppose 0 = -3*b + 5 + 37. Is 6 a factor of b?
False
Suppose c + 1 = -0*c. Let j be -1*(1 + c) - 5. Let a = j + 13. Does 8 divide a?
True
Suppose -3*o + 3*y = -339, 7*y - 2*y + 337 = 3*o. Does 19 divide o?
True
Suppose 0 = -7*k + 2*k + 10. Does 10 divide (2 - k - 1)*-27?
False
Let t = -4 - -6. Suppose z - 2*u - t*u = 33, 2*u = 0. Does 11 divide z?
True
Let r(i) = 51*i**2 - 2*i. Let j be r(2). Suppose c - 6*c + j = 0. Is c a multiple of 20?
True
Suppose 3*s + 0*s - 16 = -x, 3*x = 4*s + 87. Is x a multiple of 13?
False
Let c(u) = 19*u**3 - 2*u**2 + u. Let v(f) = -f**2 + 5*f + 1. Let k be v(5). Does 9 divide c(k)?
True
Let s = -325 - -518. Is s a multiple of 9?
False
Let g = -6 + 8. Suppose -4*j = -3*y - 24, -j - 3 = g*j + 3*y. Is j a multiple of 2?
False
Let d(y) = -y. Let p be d(2). Let h be p/4 - 51/6. Is (75/h)/(1/(-3)) a multiple of 11?
False
Let b = -289 - -441. Is 19 a factor of b?
True
Let l(q) = q + 3. Let g be l(0). Let z(x) = 8 + 0 + g*x - 2*x. Is 14 a factor of z(9)?
False
Let w(f) = f**3 + 4*f**2 - 5*f - 5. Is w(-4) a multiple of 3?
True
Let l(k) = -k**3 - 7*k**2 + 7*k - 1. Let c be l(-8). Let b = c + 6. Is b a multiple of 12?
False
Let b(q) be the first derivative of -q**4/4 + 7*q**3/3 - q**2/2 - 3*q - 3. Is 21 a factor of b(5)?
True
Suppose 16*n - 26*n = -270. Is n a multiple of 3?
True
Let g(o) = 198*o**3. Let t be g(-1). Is (-2)/(-10) + t/(-10) a multiple of 14?
False
Let v(k) = 2*k**2 + 6*k + 3. Let a(g) = g**3 - 6*g**2 + 5*g + 1. Let i be a(5). Let s be -1*-2*(-2)/i. Does 11 divide v(s)?
True
Is 87 - ((-12)/(-4) - 4) a multiple of 11?
True
Let z(g) = 1 - 2 + 0 + 4*g**2. Let n be z(1). Suppose 3*l + 33 = 3*h, -n*l = -4*h - 0*l + 48. Is 11 a factor of h?
False
Suppose -4*u = 11 + 1, 3*a - 471 = 2*u. Does 31 divide a?
True
Suppose -3*o = 2*o - p + 59, 5*p + 65 = -5*o. Is 7 a factor of (-9)/12 - 177/o?
True
Suppose 3*s - 2*t = 3*t + 17, -3*s = 2*t - 10. Suppose s*d = -2*z - 2*z + 8, 0 = 3*z - 4*d - 41. Suppose 15 = p + z. Is 4 a factor of p?
True
Let x = 7 + -10. Let u be (-8)/12*x/1. Suppose -u*m + 81 = m. Is 7 a factor of m?
False
Is (-12)/(2/3 + 17/(-21)) a multiple of 25?
False
Suppose -4*s + 5*v + 12 = 3*v, 3 = s - v. Suppose 0 = 2*i - 4*f - 64, -s*i + 46 + 18 = 2*f. Is 8 a factor of i?
True
Let t = -61 - -102. Is t a multiple of 16?
False
Let g(l) = -l**3 + 4. Let p be