oes 13 divide x?
True
Let j(w) = w**2 - 8*w + 13. Let p(b) = -b**3 - 12*b**2 - 12*b - 13. Let c be p(-11). Let q be (c/1)/(4/(-20)). Does 11 divide j(q)?
True
Suppose 63 = 5*h - 2*h. Is h a multiple of 21?
True
Let t(g) = -g**3 - 4*g**2 - g - 5. Let o be t(-4). Let i be -3 + 5 - (1 - o). Suppose -20 = -2*b - i*b. Does 10 divide b?
True
Let y be 0 - (-3 + 0) - 0. Let p = 0 - -5. Suppose -p*d + y*d + 62 = 0. Is 16 a factor of d?
False
Let a be 2/12 - (-3450)/36. Suppose -8 = -4*q - a. Let r = q - -62. Does 13 divide r?
False
Let j(i) = -i - 5. Let l be j(0). Let z(u) = -u**3 - 4*u**2 + 2*u - 5. Is 5 a factor of z(l)?
True
Let t(z) = z**3 + 8*z**2 + z + 2. Let w be t(-7). Let k be (-2)/(2 - 4)*3. Suppose -k*f + 10 + w = 0. Is f a multiple of 9?
True
Let z = 10 + -10. Let f = z - -58. Is f a multiple of 19?
False
Suppose c + 5 = 6*c, 0 = -2*t + 4*c - 4. Suppose t = -5*v + 25 + 110. Suppose -5*q - 4*x + v + 10 = 0, -x = -4*q + 17. Is q even?
False
Suppose -2 = 2*k - 6. Suppose -5*n - 7 + 157 = 0. Suppose -78 = -3*u - 3*l, u + k*l = -0*u + n. Does 15 divide u?
False
Let n(i) = i**2 - i - 2. Let c be n(2). Suppose 5 = k - 3*s, -2*s + 48 = -c*k + 3*k. Does 13 divide k?
False
Let n(p) = -p**3 + 4*p**2 - p - 2. Let i be n(3). Let f be 530/i - (-1)/2. Suppose -51 = -3*a + s + 26, 4*s = 5*a - f. Does 10 divide a?
False
Let q(t) be the third derivative of -t**4/12 + 5*t**3/3 - t**2. Let b be q(9). Let c(a) = a**3 + 7*a**2 - 10*a + 4. Does 10 divide c(b)?
True
Let g = 67 + -5. Suppose 0 = -5*z - 3*r + 204, 5*r + 12 = 2. Let m = g - z. Does 10 divide m?
True
Let c = 219 + -140. Is c a multiple of 25?
False
Let d(w) = w**3 + 12*w - 7*w**2 - 6*w**2 - 12 + 4*w**2. Let q be d(8). Suppose 7*v - 3*v = q. Does 3 divide v?
False
Let x(z) = -3*z + 12. Let t be x(-6). Does 4 divide (-38)/(-3) + 10/t?
False
Let v be 16/24*27/2. Suppose -4*c = -v*c + 25. Is 2 a factor of c?
False
Suppose 0 = 5*x - 8 - 2. Let p(f) = -10 - 5 - f - f**x - 14*f. Is p(-12) a multiple of 6?
False
Suppose j = 4, 4 = -0*h - 2*h - 4*j. Let n be (-28)/7*(-26)/8. Let k = n - h. Does 12 divide k?
False
Suppose 3*p - 24 = -s, 3*p = -0*p - 12. Does 36 divide s?
True
Suppose 0 = -3*z - 2*t + 14 + 114, 0 = -4*z - 3*t + 171. Suppose w + 14 - z = 0. Is w a multiple of 10?
False
Suppose -180 = -9*j + 4*j. Does 18 divide j?
True
Let c = -5 + 36. Suppose -6*n + n - 71 = -2*h, c = h + 2*n. Is 10 a factor of h?
False
Let o = 21 - 13. Suppose 0 = -3*j + 16 + o. Is j a multiple of 4?
True
Let d be -5 + (3 - (0 + 1)). Let i = d + 6. Suppose i*x = -3*u + 54, 0*x = -3*u + x + 62. Is u a multiple of 7?
False
Let j be ((-21)/(-6))/((-1)/2). Let f = 102 - j. Does 30 divide f?
False
Let o be (-10)/(-3)*(13 - 7). Suppose -r + 2*r = o. Does 15 divide r?
False
Suppose -3*t - 2*v + 22 = 0, -2*t - 15 = -4*v - 3. Let c = t - 1. Suppose 66 = 4*d - 2*f, d - 4*f - 76 = -c*d. Is 6 a factor of d?
False
Let g be 14*(2/(-7))/(-1). Let d = 43 - g. Does 13 divide d?
True
Suppose 0 = 2*y - 5*d - 8, -6*y + 3*y - 4*d = 11. Let x be 3/3 - 6/y. Let m(o) = -o + 14. Does 3 divide m(x)?
False
Suppose 245 = 6*q - q. Is 13 a factor of q?
False
Suppose 0 = r + 2*g - 3*g - 1790, r + 5*g = 1790. Does 20 divide 1/3 - r/(-30)?
True
Suppose 21 = 4*a + 5. Suppose -x = a*x - 140. Does 6 divide x?
False
Let z = 15 - 4. Is z a multiple of 11?
True
Let d = -17 - -19. Suppose 4*v - 290 = -j, -5*j + 12 = d. Is v a multiple of 36?
True
Suppose -t - 3*z = -155, -z = 2*t - 3*t + 163. Is t a multiple of 23?
True
Let d = 54 + 16. Is d a multiple of 10?
True
Let o(n) = -n**3 + n**2. Let y be o(0). Suppose y = -s - 4*s + 285. Does 19 divide s?
True
Suppose 4*g + 5*d - 384 = 0, -4*g + d + 384 = 5*d. Is 20 a factor of g?
False
Let x = 30 - 23. Is x a multiple of 5?
False
Suppose -4*d + 2 = -6. Let w be (2 - d)/(-1 + 0). Suppose -4*k - 15 + 63 = w. Does 6 divide k?
True
Let t(l) = -l + 2. Let p(n) = -n + 1. Let r(d) = 3*p(d) - 2*t(d). Let g(s) = -7*s - 5. Let z(k) = -g(k) + 4*r(k). Is z(4) a multiple of 7?
False
Let v(j) = j**2 - 3*j + 8. Let n be v(-6). Suppose f + f = n. Is 14 a factor of f?
False
Let l be (-16)/120 + (-94)/(-30). Suppose 52 = l*z + z. Is z a multiple of 13?
True
Let d be 4 + 0 + -8 + 3. Is 31 - 2*d/2 a multiple of 32?
True
Let b(d) = -d**2 - 24*d + 23. Is b(-12) a multiple of 29?
False
Suppose 0*s + 2*s + 8 = 2*w, 5*s + 3*w = 12. Suppose 4*f + 0 - 12 = s. Suppose 5*t = -n + 121, -f*t + 4*t = -n + 21. Is 20 a factor of t?
False
Let m = 30 - 18. Is 198/m*(-4)/(-3) a multiple of 11?
True
Let p = -52 - -100. Is 12 a factor of p?
True
Let t(k) be the third derivative of k**6/120 + k**5/30 - k**4/12 + k**3/6 + k**2. Let f be t(1). Does 19 divide (f - 3)*-1 + 42?
False
Suppose 1440 = -10*a + 26*a. Does 9 divide a?
True
Suppose 2*x - 4 = 0, 2*k + 3*x = x + 200. Is 7 a factor of k?
True
Let w be ((-7)/2)/((-2)/4). Suppose -3*s - w = g, 2*s + 3 = -2*g - 3. Is 8/(s - 4*-1) a multiple of 3?
False
Suppose -5*k = -25, -2*k - 5 = -4*c + 1. Suppose 0*f - c*f = 0. Suppose f = -4*m + 97 - 1. Is m a multiple of 8?
True
Is ((-21)/(-2))/((-33)/(-88)) a multiple of 14?
True
Let k = 6 + -12. Let g be 18/(-4)*k/9. Suppose g*s = -5*a + 5*s + 46, 0 = 3*s - 6. Does 7 divide a?
False
Let i = 3 - 0. Is ((-9)/i - 0)*-13 a multiple of 13?
True
Let x(r) = 2*r**3 - 2*r**2 + r - 2. Suppose 0 = z - 3*u - 11, -4*z + 5*u = -9 - 14. Does 8 divide x(z)?
True
Let g = 122 + -31. Suppose -g = -5*q + b, q - b - 1 = 18. Is 14 a factor of q?
False
Let u(i) be the third derivative of i**5/60 - i**4/24 + 2*i**3 + 2*i**2. Does 6 divide u(0)?
True
Let m(w) = 2*w**2 - 4*w + 2. Is 10 a factor of m(-4)?
True
Suppose 0 = -2*v - f + 15, -v - 8 + 3 = 3*f. Is 5 a factor of v?
True
Is 7 a factor of (-14)/(33/(-9) + 3)?
True
Let y be (-2)/5 + (-90)/25. Let u(q) = -q. Let t(w) = w**3 + 4*w**2 + 9*w - 4. Let j(x) = -t(x) - 5*u(x). Is j(y) a multiple of 10?
True
Let r(p) = -p**2 + 7*p + 9. Let j be r(8). Suppose -u = 5*d + 27 - j, -d - 92 = 3*u. Let n = u - -58. Does 27 divide n?
True
Let l be 0 - (1 - (0 - -4)). Suppose l*q - 136 = -4*i + 2*i, 2*i = -q + 40. Is 18 a factor of q?
False
Let h = 1 + 11. Does 4 divide h?
True
Suppose -f + 2236 = 2*j - 7*j, 0 = 2*j - f + 892. Is 1/3 + j/(-24) a multiple of 13?
False
Let o(k) = -2*k - 2. Let w be o(-3). Suppose 2*x = 3*x - 2. Suppose x*g - m = w*g - 25, -m - 47 = -4*g. Is g a multiple of 6?
True
Suppose -13 = -2*r - 4*f + 5, -5*r + 30 = -5*f. Is r a multiple of 3?
False
Suppose -3*q = -q. Does 5 divide 2/6*q + 9?
False
Let m be (20/(-12))/(2/24). Let j = m - -54. Is 10 a factor of j?
False
Let s = -10 - -15. Suppose 108 = 4*p - s*o, -5*p + o = -o - 118. Is 22 a factor of p?
True
Let o(i) be the first derivative of -3/2*i**2 + 2 + 0*i. Is o(-4) a multiple of 6?
True
Is (20/(-8))/(5/(-120)) a multiple of 12?
True
Let y(r) = 2*r + 2*r - 2*r - 5*r - 8. Let c(d) = -d - 12. Let z be c(-6). Is y(z) a multiple of 3?
False
Let m(p) be the third derivative of p**5/60 - p**4/4 - 7*p**3/6 + 2*p**2. Let d be m(5). Let o = -1 - d. Does 11 divide o?
True
Let h(m) = 2*m**2 - 12*m + 7. Is h(10) a multiple of 23?
False
Is 12 a factor of 15 - (6 + 1 - 4)?
True
Let w(n) = 2*n**2 - 7*n + 15. Let d be w(6). Let z(b) = b**2 + 5*b - 9. Let m be z(-7). Suppose 3*k = -3*j + 72, -m*k + d = 2*j - 0*j. Is 23 a factor of j?
False
Let s be (9 - 8)/(2/4). Suppose u - s*u = -159. Suppose u = 3*p - 3*m, -4*m + 159 = 3*p - 2*m. Is p a multiple of 25?
False
Let n(o) = -o - 3. Let j be n(-8). Suppose 0*z - 10 = -j*z. Is z a multiple of 2?
True
Let g(d) = -22*d - 4. Is g(-2) even?
True
Let w = -6 - -8. Let l be (-24)/(-9)*3/2. Suppose 92 = l*y - r, -5*r = w*y - 13 - 11. Does 10 divide y?
False
Let c = -19 - -55. Suppose 12 - c = -2*p. Is p a multiple of 12?
True
Let a be (-2 - 121)*3/(-9). Let m = -19 + a. Is m a multiple of 15?
False
Suppose -i - c = -5*i + 68, 0 = -3*i - 2*c + 62. Does 11 divide i?
False
Suppose -4*q + 5*d = 22, 2*q + 3*q - d + 17 = 0. Let h = q - -6. Is h a multiple of 3?
True
Suppose -n - 3 = b, -1 + 2 = n. Does 12 divide 1/(b - 194/(-48))?
True
Let h(f) = -f**2 - f. Let i(y) = y**3 + 5*y**2 + 5*y - 2. Let b(n) = -5*h(n) - i(n). Suppose 5 = p - u, 0*p + 25 = -5*p - 5*u. Is b(p) a multiple of 2?
True
Suppose -1 - 1 = -m. Suppose -5*d + 17 = b - 3*b, 5*b - 25 = -d. Suppose 