q?
True
Suppose 2*c = -5*x - 59 + 1, -c - 2*x = 31. Let k = c - -74. Is 35 a factor of k?
True
Suppose 129 = -4*m - 4*f + 25, -4*f = 12. Let a = m + 73. Suppose 0 = 2*b + 3*b - a. Does 9 divide b?
False
Let r be 4/(-2)*(-2)/(-4). Let s be 0 + -4 - r - -2. Is s + 5 + 1 + 0 even?
False
Let r(y) be the second derivative of y**4/6 - y**3/6 + 9*y**2 + 23*y. Does 13 divide r(-6)?
False
Let f(s) = -s**2 + 13*s - 14. Let a be f(10). Suppose 3*x - 7*x = -a. Suppose x*n + 13 = t - 9, 3*t - 106 = 2*n. Does 32 divide t?
False
Suppose -9*z = -8*z - 3. Suppose -2*c - z*c + 135 = 0. Is c a multiple of 5?
False
Let y = -13 - -33. Let l be 24/y*(-80)/6. Let h = l - -59. Is h a multiple of 6?
False
Suppose -7*a = -1898 - 496. Is 11 a factor of a?
False
Suppose 0 = 2*y - 17 - 19. Let s be y + (2 + -2)*1. Suppose b - 4*b + s = 0. Does 4 divide b?
False
Let r(m) be the third derivative of 23*m**4/24 - 2*m**3 - m**2. Does 19 divide r(3)?
True
Let v(d) = d - 2. Let x be v(4). Let y(f) = -11*f - 2. Let i be y(-1). Let g = i - x. Is g even?
False
Let p(z) = 2*z**2 - 31*z - 31. Let h be 2 + (-80)/(-5) - -2. Is 36 a factor of p(h)?
False
Let l(f) = -f**3 - 5*f**2 + 7*f + 10. Let q be l(-6). Suppose -q*p = -5*z + 248, 2*z + 4*p = 21 + 67. Does 12 divide z?
True
Suppose 51 + 68 = -4*d + 5*f, 3*d + f + 75 = 0. Let y = -28 - d. Is 5 + -1 - 112/y a multiple of 10?
True
Let i be (-86)/(-4) + (-24)/16. Suppose 6*o - 2*o = i. Let b(u) = u**3 - 3*u**2 - 5*u - 4. Is 13 a factor of b(o)?
False
Suppose 23 = 5*l - 3*d, 3*d = 4*l - d - 20. Let a be -2 - -1*24/l. Is 4 a factor of (a/6)/((-3)/(-54))?
True
Suppose 3*p = -18*p + 5922. Is p even?
True
Suppose -146*n + 115*n + 88040 = 0. Is n a multiple of 8?
True
Let l(g) = 7*g**3 - 8*g**2 + 8*g - 3. Let f be l(5). Suppose -j + f = -5*j. Let a = -106 - j. Does 18 divide a?
True
Suppose -q + s = 2635 + 736, 3341 = -q - 5*s. Does 18 divide q/(-54) + (-1 - (-5)/3)?
False
Suppose 2*l - j = 385, 0 = -2*l - 2*j - 3*j + 403. Is 7 a factor of l?
False
Suppose -8 = 4*u, 2*f - 3*f + 5 = -u. Suppose -3*o = -3*p - 2*o + 131, 2*p - 3*o - 92 = 0. Suppose -f*z - 2*m = -126, 2*m = z + 3*m - p. Does 10 divide z?
True
Let h be 11 + -10 - (-7 - 2)/(-3). Does 20 divide (h - 1 - -1)/(2/(-100))?
True
Suppose 0 = -4*s + 5*x - 22, -4*x + 13 = -s + 2. Does 10 divide 208/12*s/(-2)?
False
Let z(p) = -49*p - 34. Does 18 divide z(-7)?
False
Let a(r) = 23*r**2 + 8*r + 33. Is 24 a factor of a(-3)?
True
Suppose -21 = o - 8*o. Suppose 4*c - o*z = 192, 4*c - 85 = 4*z + 111. Is 15 a factor of c?
True
Let k(n) = 2*n**2 + 32*n + 33. Does 5 divide k(-19)?
False
Let c(k) = -21*k + 13. Let f be c(-6). Suppose 3*q - 193 = -4*l + 88, 2*l + q = f. Is l a multiple of 46?
False
Let g(q) = -2*q**3 + 3*q**2 - 1. Suppose 50 = 5*b - 5*z, 5*b - 4*z - 35 = -2*z. Suppose -2*r = 4*j - 0*r + 16, 0 = b*j + r + 14. Is 13 a factor of g(j)?
False
Suppose 28 = 5*n - 7. Suppose n*k - 6*k = -7. Does 13 divide (15 + -2)/(k/(-28))?
True
Let a = -15 + 48. Let g = 15 + a. Let k = g + -27. Does 7 divide k?
True
Let q be 2/(-8) - 34/(-8). Suppose -p = 34 - q. Let t = p + 76. Is 25 a factor of t?
False
Suppose 0*s + 55 = -5*s. Let q be (2 + s)*(-13 + 10). Suppose -75 = -2*z - q. Is 8 a factor of z?
True
Let o = 373 + 26. Is 19/(o/(-350))*(-4 + 1) a multiple of 8?
False
Let l(d) = 66*d**2 + 1. Let n be l(-2). Suppose 0 = -2*q + n - 1. Is 33 a factor of q?
True
Let k(z) = -21*z**3 - 3*z**2 - 9*z - 12. Is k(-4) a multiple of 36?
False
Let y = 7 + -43. Let z = -803 + 1211. Is 6/(-1)*z/y a multiple of 11?
False
Suppose -5*g + 5*k + 285 = -0*g, 0 = -4*g - 2*k + 234. Is g a multiple of 29?
True
Suppose 1 = l, -5*o + o + 291 = 3*l. Is 18 a factor of o?
True
Let s(z) = 2*z**3 - 16*z**2 - 12*z - 5. Let j(r) = r**3 - 8*r**2 - 6*r - 2. Suppose -w = -8 + 1. Let b(y) = w*j(y) - 3*s(y). Is b(9) a multiple of 7?
True
Suppose -5*o - 784 = 3*a - 2623, a - 596 = 4*o. Is a a multiple of 10?
False
Let a = 9 - -9. Let f be (-5)/(-3) + 24/a. Suppose 50 = -f*y + 149. Is 7 a factor of y?
False
Let t be 1/4*2*-14*-4. Suppose -t = -7*f + 14. Does 3 divide f?
True
Let w = -33 + 29. Is (-2 - (w - -5)) + 80 a multiple of 11?
True
Let m(z) = -7*z + 24. Let f = 20 - 27. Does 15 divide m(f)?
False
Suppose -660 = -5*z - 175. Suppose 4*h - 271 + 69 = -2*u, u = -4*h + z. Is u a multiple of 21?
True
Let w(a) = -8*a + 25. Let q(z) = 1. Let m(l) = 2*q(l) - w(l). Let b be m(7). Suppose -2*g + 2*o + b = -3*o, 21 = 4*g - o. Is 4 a factor of g?
True
Let v = -12 - 13. Let n(b) = -b**2 - 24*b + 43. Does 4 divide n(v)?
False
Suppose -2*o - 504 = -6*o. Suppose -3*x - 6*v = -3*v - o, 5*v + 70 = 2*x. Suppose 2*s = s + x. Is 8 a factor of s?
True
Let s = 16 + -11. Suppose -s*z = -104 - 111. Let j = -29 + z. Is 12 a factor of j?
False
Let f(m) be the first derivative of -m**2/2 + 6*m - 2. Let b be f(4). Is (8 + -6)/(b/23) a multiple of 23?
True
Suppose 0 = -3*y + 5 + 19. Suppose -3*a + r = -28, 10 = 2*a - y*r + 3*r. Is 10 a factor of a?
True
Let q = 5 - -35. Suppose 0 = -a - f + 5*f + q, 3*a = -3*f + 105. Is a a multiple of 12?
True
Let w(o) = o**3 + 13*o**2 - 66*o - 24. Is 44 a factor of w(-16)?
True
Let t(l) be the second derivative of l**5/10 + l**4/3 - l**3/6 + 3*l**2/2 - 31*l. Is 45 a factor of t(3)?
True
Let o be 1 + 2 + (12 - 0). Suppose -5*j - u + o = 0, 3*j - 25 = -2*j + u. Suppose -5*t + 258 + 20 = j*x, -2*t - 63 = -x. Is 27 a factor of x?
False
Let a = 1507 - 995. Does 3 divide a?
False
Suppose -14*q + 19926 = 13*q. Is 41 a factor of q?
True
Let o be (0 + 2 + -2)/2. Suppose -3*x + o*x - 15 = 0, -5*r - 5*x + 240 = 0. Is 4/10*(r + 7) a multiple of 8?
True
Let y(u) = u**3 + u**2 + 15. Let a be y(0). Suppose -2*i = -256 - 16. Suppose a = -3*p, 3*m + 4*p = m + i. Is m a multiple of 13?
True
Let k = 567 - 560. Is k even?
False
Let x(f) = -5*f**3 + 3*f**2 + 3*f. Suppose -7 = -0*k + 3*k - 2*s, s = k + 2. Let j be x(k). Suppose 0*q + 3*q = j. Does 17 divide q?
True
Let u = -76 + 80. Does 5 divide 238/u + 3/6?
True
Let q = 4 + 1. Let a = 0 + q. Let w(f) = -f**3 + 6*f**2 - 3*f + 1. Is 3 a factor of w(a)?
False
Suppose 0 = -0*f + 2*f - 3*d - 24, -4*f - 2*d + 16 = 0. Let k(m) = m**3 - 3*m**2 - 8*m + 6. Is 13 a factor of k(f)?
False
Suppose -2*b - 4082 = -3*u, 184*b = 5*u + 180*b - 6806. Is u a multiple of 14?
True
Let d = 372 - 216. Is d a multiple of 10?
False
Is 9 a factor of ((-43)/((-301)/(-14)))/((-4)/4286)?
False
Let b(n) = n + 10. Let o be b(0). Let p(l) = l**2 - 9*l + 21. Let w be p(o). Suppose -w = -2*a + 39. Does 5 divide a?
True
Suppose 10 = 3*p - 3*y - 1634, 3*p = y + 1654. Is p a multiple of 48?
False
Let g be ((-4)/5)/(22/385). Let t(v) = -v**3 - 3*v**2 + 7*v + 5. Let u be t(-4). Let h = u - g. Is 6 a factor of h?
False
Suppose -c = -3*a + 782, 2*a = -2*a + 4*c + 1056. Let w = -125 + a. Suppose u - 3*u + w = 0. Is u a multiple of 12?
False
Suppose 0 = -5*k - 25, -6*g - 1 = -2*g + k. Let z(r) = 29*r. Does 6 divide z(g)?
False
Suppose 0 = -0*n + 2*n - 4. Suppose -n*s + 8 = 5*c, s - 3*s + 3*c + 8 = 0. Suppose -14*f = -15*f + s. Does 2 divide f?
True
Let z(q) = q**3 - 6*q**2 + 14*q + 12. Is z(5) a multiple of 9?
False
Let d = 743 - 457. Is d a multiple of 13?
True
Let v(o) = 59*o - 342. Does 2 divide v(9)?
False
Let t be (-5)/(10/(-6)) - 165. Is 3 a factor of (16/6)/((-36)/t)?
True
Let d(k) = 11*k - 42. Let p = 57 - 47. Is 16 a factor of d(p)?
False
Let s(u) = -9*u + 476. Does 35 divide s(-56)?
True
Let u = -444 + 1236. Is 50 a factor of u?
False
Suppose -31*u + 10126 + 445 = 0. Is u a multiple of 31?
True
Let j = -3 - -5. Suppose 4*d - 2*d = 8, -j*p + 4*d + 120 = 0. Is (2 + 1)/(6/p) a multiple of 13?
False
Let k(d) = d - 4. Let s be k(6). Suppose -4*h + s*c = -12, h + 2*c - 4*c - 6 = 0. Suppose 0*w = h*b - 2*w - 24, -3*b + w = -32. Is b a multiple of 5?
True
Let l = 64 - -8. Let u = -36 + l. Does 28 divide u?
False
Suppose 4*m + 11 = j, -3*m + 7*m + 31 = -3*j. Let z be 0/j + 2/(-2). Is z/(159/(-79) + 2) a multiple of 24?
False
Suppose -7*q + 5805 = 1556. Does 14 divide q?
False
Suppose 500 = f + r, -4*f + r = -140 - 1880. Is f a multiple of 21?
True
Let o = 17 + -19. Is (-112)/o + -3 + 1 a multiple of 27?
True
Let m(k) = 6*k**2 + 4*k - 8. Suppose -2*j - 4 = -3*y, -9*j = -4*j + 3*y - 32. Is 20 a factor of m(j)?
False
Suppose 5*o - 8 = 7. Does