429. Is 32 a factor of j?
True
Let q(u) = -u**3 + 5*u**2 - 4. Let i(l) = 2*l - 11. Let m be i(8). Let b = 9 - m. Is q(b) a multiple of 6?
True
Is (2/(-4))/(2/(-76)) a multiple of 8?
False
Let i(m) be the second derivative of -3*m**5/20 - m**4/6 - m**3/6 - 3*m**2/2 - 2*m. Let b be i(-3). Suppose 5*o - 4*d - b = -2, o + 5*d = 18. Does 5 divide o?
False
Suppose 3*w - 4*w + 47 = 0. Suppose -j - 5*h = -w, -j + 2*h = -3*j + 134. Suppose -2*y + j = 24. Does 12 divide y?
True
Is -2 + 14 - (2 - -3) even?
False
Let o = 66 - 127. Let h = -28 - o. Is h a multiple of 12?
False
Suppose 0 = -0*k + k + 6. Let n(j) = j**2 - j - 6. Let o be n(k). Suppose 4*t - 16 = o. Does 13 divide t?
True
Let a(q) = -9*q + 11. Let t be (15/4)/(-3)*4. Is 14 a factor of a(t)?
True
Let y be ((-2)/(-5))/((-3)/(-15)). Suppose -2*x - 5*h = -15, -x + h = -y*x + 12. Is 14 a factor of x?
False
Suppose -5*c = -4*c - 230. Suppose -2*n = -n - c. Suppose -5*j = -10*j + n. Is j a multiple of 23?
True
Suppose 0 = 4*a - 2*b - 806 - 830, -4*b + 427 = a. Suppose -n = 3*m + 2*m + 403, 5*m + a = 3*n. Let f = -56 - m. Is 12 a factor of f?
False
Suppose -2*i + 50 = 2*r, 0 = 4*r - 2*r - 2*i - 58. Is 11 a factor of r?
False
Let y = -3 + 7. Let v be 38/4 + 2/4. Suppose x = -y + v. Does 3 divide x?
True
Let q be (-2)/4*(-1002)/3. Suppose c = 4*x - c - 130, 5*x = c + q. Is 17 a factor of x?
True
Suppose 0 = -2*u + 4*s - 22, 3*u - 2*s = -0*s - 49. Let r = u + 37. Does 18 divide r?
True
Let i be 4/(-5)*(1 + -31). Suppose 0*q - q = -i. Does 12 divide q?
True
Let f(z) = -z - 1. Let m be f(-1). Let i be (-32)/(-14) + 2/(-7). Suppose -50 = -m*j - i*j. Does 16 divide j?
False
Suppose 5*v = 3*f + 209, 7*f = -4*v + 2*f + 182. Suppose v = -5*d - 4*o + 131, 0 = -3*d + o + 46. Is 4 a factor of d?
True
Suppose y - 64 - 17 = 0. Is y a multiple of 17?
False
Let c = -4 - -8. Let b = -1 + c. Suppose -93 + 24 = -b*l. Does 13 divide l?
False
Suppose -c + 11 = -2*a, 0*a + 7 = c - 3*a. Does 4 divide c?
False
Let k be 3/(-4)*-4 + 22. Suppose -5*i + k = 0, 3*f - 4*i + 4 = 5. Is f even?
False
Let t = -5 + 11. Let h(g) = 6*g**2 + 6 - 2*g**2 + t*g - 3*g**2 + g. Does 10 divide h(-9)?
False
Is 17 a factor of (-3 + -1 + 2)*(-2499)/42?
True
Let p = -140 - -230. Let m = -64 + p. Let f = m + -11. Does 15 divide f?
True
Suppose 5*i = 4*v + 63, -6*v + 2*v - 18 = -2*i. Does 5 divide i?
True
Let v be (1 + -2*1)*0. Let z = v + 24. Is z a multiple of 12?
True
Let b(j) = 43*j**2 + 1. Let w be b(1). Suppose 4*s + w + 35 = 3*t, -50 = -2*t + 2*s. Suppose -9 = 3*a - t. Is 4 a factor of a?
True
Suppose -q - 3*q - 60 = 0. Let d = -40 - q. Does 4 divide (90/d)/(3/(-10))?
True
Let t be (-3)/(-1) + 1*-2. Let v(s) = -s**3 - 3*s**2 - 4*s - 3. Let u be v(-3). Is 3 a factor of t*u + 1 + -2?
False
Let v = -1 - 2. Is 14 a factor of 2/v + (-172)/(-6)?
True
Suppose -2*k + 0 = -14. Does 7 divide k?
True
Suppose -11 = -3*x + 2*a, 0 = 2*a - 1 + 9. Is 3 a factor of x + 0 + 3 + 1?
False
Let a = 70 - 65. Is 5 a factor of a?
True
Let f = -4 - -2. Is -1 + 1 - (-1 + f) a multiple of 3?
True
Suppose -g + 0 - 1 = 0. Let t = g - -13. Is 6 a factor of t?
True
Suppose 4*k + 5*p = -0*p - 15, -5*k = -3*p + 28. Let l = -2 - k. Suppose 3*t = l + 30. Is 11 a factor of t?
True
Let s(o) = 6*o**2 - 4*o + 10. Let b(a) = a**2 - a + 2. Let c(t) = -22*b(t) + 4*s(t). Let f be (6 - 1)*(-3)/3. Is 6 a factor of c(f)?
False
Let w = 6 - 1. Suppose 0*l + 10 = w*p + 4*l, -5*p = -4*l - 10. Suppose 2 = -m, -p*z + 62 = 3*z - m. Does 12 divide z?
True
Suppose -5*w - 2*b + 496 = 0, 0 = w - 5*b + 4*b - 102. Is w a multiple of 42?
False
Suppose -4*s = 4 - 48. Does 2 divide s?
False
Suppose 0 = 7*q - 2588 + 187. Does 50 divide q?
False
Is 21 a factor of (-32)/(-12)*(-300)/(-8)?
False
Suppose -158 = -4*x - w - w, 5*w - 195 = -5*x. Suppose -3*c + n + x = -73, -4*n = 2*c - 94. Is 13 a factor of c?
True
Let i(t) = -t + 56. Suppose 2*j = -5*g + 4*j + 6, 2*g = 2*j + 6. Does 28 divide i(g)?
True
Suppose 4*a - 9*a = -45. Let j = 5 + a. Does 10 divide j?
False
Let t be (-1)/1 + 0 + 13. Is 11 a factor of (t + -1)/((-14)/(-84))?
True
Suppose -5*g - 4*c + 13 = 0, -5 = -g + 3*g + 5*c. Suppose r - 83 = -4*s, -31 + g = -s - 2*r. Is s a multiple of 8?
False
Suppose -5*a - a = -246. Is 8 a factor of a?
False
Let c = -206 + 331. Suppose 0*x = 5*x - 2*o - c, 4*o = -5*x + 95. Is 23 a factor of x?
True
Let n(i) = -i**3 - 9*i**2 - 9*i - 6. Let y be n(-8). Suppose y*x = 2*p + 124 - 52, -2*p = -4*x + 136. Does 16 divide x?
True
Let u = 103 + 46. Is u a multiple of 13?
False
Let w(b) = 7*b**2 + 8*b + 1. Let g(k) = -k**2 - k. Let t(o) = 6*g(o) + w(o). Let v be 0 - (-3)/3*2. Does 4 divide t(v)?
False
Let h be (-2)/6 - 19/(-3). Let f(w) = 2*w - 7. Let z be f(h). Suppose -z*b + 7*b = 48. Is 7 a factor of b?
False
Does 20 divide 1*(-11 - -3) - -4 - -116?
False
Suppose 207 = -7*y + 620. Does 15 divide y?
False
Let u(l) = l**3 - 13*l**2 - 14*l + 8. Is u(14) a multiple of 4?
True
Let f(l) = 2*l**2 - 9*l + 1. Let c be f(8). Suppose c = -5*y + 417. Is y a multiple of 12?
True
Let g = -20 + 25. Suppose 0 = b - 0*h - g*h, -4*b + 22 = 2*h. Is b a multiple of 2?
False
Let h be 3/15 + 3/(-15). Let s be -1*(9 - h/(-3)). Is 9/s + 10*4 a multiple of 13?
True
Suppose 0 = h - 0*h + 1. Let c = 32 - h. Is 12 a factor of c?
False
Let z(l) = -4*l + 36. Is z(-15) a multiple of 12?
True
Suppose 5*q = 97 + 33. Is q a multiple of 13?
True
Let c = -356 - -518. Is 27 a factor of c?
True
Let i(t) = -2*t - 1. Let v be i(1). Let j(s) = 2*s**2 + 3*s - 3. Is 3 a factor of j(v)?
True
Let u = 13 - 7. Is 12 a factor of ((-9)/u)/((-6)/128)?
False
Suppose h - 2*i = 11, 5*h - 3*i + i - 23 = 0. Suppose h = -u + 18. Does 5 divide u?
True
Let f(h) = -h + 13. Let d be f(9). Suppose -d*l = -272 - 8. Is l a multiple of 14?
True
Let o be 1*40 + (-3 - -2). Let m = -18 + 31. Let z = o - m. Is 13 a factor of z?
True
Suppose -4*l + 9 + 0 = -3*d, 2*d = 3*l - 7. Suppose 4*i = -3*z - 0*z + 11, 3*z + l*i = 15. Is z a multiple of 3?
True
Let u = 37 + -29. Is 8 a factor of u?
True
Let c be (3/(-2) + 2)*-46. Is 5 a factor of 3 - (c - (-1)/1)?
True
Let g(o) be the first derivative of -13*o**4/4 - o**2 - 3. Let b be g(-2). Suppose 5*m + f - 2*f - b = 0, 5*m + 2*f = 99. Does 7 divide m?
True
Suppose -2*l = 3*o - 66, 3*l + 2*o = 2*l + 34. Is 15 a factor of l?
True
Suppose -7*t = -4*t - 192. Does 18 divide t?
False
Suppose 0 = 3*u - 4*o + 22, -5*u - 9 - 17 = 4*o. Let b be (u + 3 - -3)*-1. Suppose -5*r + 14 + 11 = b. Is r a multiple of 5?
True
Suppose 5*l - 163 = 4*c - 13, 5*c - 90 = -3*l. Is 3 a factor of l?
True
Suppose 0 = -5*g - 4*o - 322, 0*o = -4*o - 12. Let n = 97 + g. Is 19 a factor of n?
False
Let m be 0*(0 - 3/(-6)). Suppose -2*p - 3*p + 120 = m. Is p a multiple of 10?
False
Does 30 divide 30/(2 + -5 - -4)?
True
Let q(n) = 8*n**2 - 2*n + 4. Let z be q(3). Suppose -2*o - z = -3*b - 3*o, -5*o = -3*b + 82. Is b a multiple of 8?
True
Let m = -19 + 42. Let w = m - 13. Is 4 a factor of w?
False
Let b(f) = 2*f**2 - 17*f + 21. Does 21 divide b(12)?
True
Suppose b = -2*z + 12, 5*b - 6*z + 4*z - 120 = 0. Does 11 divide b?
True
Let d be (0 - -1)/(1 - 0). Is (3 - d)/((-2)/(-24)) a multiple of 12?
True
Let i(s) = -s**3 + 7*s**2 + 5*s - 14. Is 7 a factor of i(7)?
True
Suppose 35*c = 38*c - 279. Does 15 divide c?
False
Let b = -11 + 7. Let w = b + 3. Let c(x) = -11*x + 1. Is 12 a factor of c(w)?
True
Let j(p) = -p**2 + 9*p - 4. Let a be j(8). Suppose a*d - d = 0. Suppose d*t = 2*t - 12. Does 5 divide t?
False
Suppose 6 = v + 2. Suppose -u = -3 - v. Does 3 divide u?
False
Let a = -42 + -30. Let b = -27 - a. Is 15 a factor of b?
True
Suppose -5*a + 5*t + 35 = 0, 3*a - 4*t = -9*t - 19. Suppose -j = a*j - 42. Let k = j + 0. Does 14 divide k?
True
Let u = 64 - 46. Is u a multiple of 11?
False
Suppose 3*d + 4*c = -29, -d = 4*d + 4*c + 35. Let a be d - -4 - 1/(-1). Suppose 0 = a*b + b - 51. Does 12 divide b?
False
Suppose 3*s + 206 = 80. Let y = -2 - s. Does 20 divide y?
True
Let l be (6/4)/(3/(-6)). Let g be l/((-6)/74) + -1. Suppose 4*a - g = -0*a. Does 9 divide a?
True
Let z(j) = -j + 8. Let a be z(0). Suppose -4 = -3*x + a. Does 16 divide 126/x - (-5)/10?
True
Suppose 5 - 1 = 2*w. Is (2*4)/(w/9) a multiple of 12?
True
Let y = -7 - -49. Is 14 a factor of y?
True
Let w = 180 + -110. Does 19 