13?
False
Suppose -19 = -a - 3. Suppose a = -4*n + 8*n. Suppose 2*p + 0 = -n, -5*v = -5*p - 45. Is 5 a factor of v?
False
Suppose -3*y = b + 1, 2 = 3*b + 2*y - 2. Let q be 11 + (b - 1 - 1). Let k = 18 - q. Is 7 a factor of k?
True
Let j(x) = -x**2 + 5*x + 2. Let y be j(4). Suppose 3*z - 5 = 2*k, 4*k = y*z - 2*z. Is 5 a factor of k?
True
Let y = -5 + 4. Let v be -1 - y*(0 - -1). Let z = 10 - v. Is 5 a factor of z?
True
Let m(r) = 18 - 1 - 2*r + r. Does 15 divide m(0)?
False
Suppose q - 11 = 3*v - 57, 3*v - 4*q - 58 = 0. Does 3 divide v?
False
Suppose 0 = -5*h + 149 + 131. Is 14 a factor of h?
True
Is ((-14)/4)/((-5)/50) a multiple of 12?
False
Suppose 270 = 5*f + 5*k, 0 = -5*f + 2*k + 3*k + 250. Let x be 20/8*(-26)/(-1). Suppose f = 4*w - 4*h, 0*w = -5*w - 2*h + x. Is 6 a factor of w?
False
Suppose 0 = -5*x + x + 300. Is 9 a factor of x/9 - (-4)/6?
True
Let v = -421 + 610. Is 9 a factor of v?
True
Suppose -59 = -4*u + 5*o + 35, 3*o + 90 = 4*u. Let g be u/2 - (-3)/(-6). Let m = 16 - g. Is 6 a factor of m?
True
Let s = 299 + -129. Suppose 5*n + 2*t - 14 = s, -t = -4*n + 142. Is n a multiple of 15?
False
Suppose 4*x + 3*s = 14 + 74, -3*s - 26 = -2*x. Suppose m - 42 + x = 0. Does 8 divide m?
False
Suppose 2*k - 4*k + 8 = 0. Let f be (k/2)/(2/9). Let u = f - -5. Does 7 divide u?
True
Let z(s) = 5*s**2 - 3*s - 5. Is z(-2) a multiple of 21?
True
Let w = -2 + 5. Let r = -2 + w. Let x = r + 7. Is 5 a factor of x?
False
Let b(g) = -11*g + 1. Let q be ((-4)/12)/((-2)/6). Suppose 3*a = -2*u + u + q, 17 = -a + 4*u. Does 6 divide b(a)?
True
Let r = -169 + 241. Does 18 divide r?
True
Let o(c) = -c**3 - 3*c**2 - c. Let k be o(-3). Let g = k + 2. Suppose -2*z = -6*z + b + 50, g*b = 10. Is z a multiple of 12?
False
Suppose -y + 2*u = 3 - 1, 3*y - u + 6 = 0. Is 3 a factor of (24/4)/(y/(-3))?
True
Suppose -4*r + 0*g - 5*g + 6 = 0, 3*r - 10 = -g. Suppose -r*v - 21 = -d - 4*d, -5*d + 26 = v. Suppose 2*f + 7 = f - d*w, 3*f - 34 = -4*w. Does 9 divide f?
True
Is 98 - (3 - -1)*(0 - 1) a multiple of 17?
True
Let f be -1 - (-2 - (124 - 2)). Let u = f + -57. Does 30 divide u?
False
Suppose 5*c = 4*m - 99, 0*m - 3*m - 3*c + 81 = 0. Is m a multiple of 11?
False
Let n(p) = 2*p - 12. Let l = 40 - 20. Let f be (6/(-5))/((-3)/l). Is n(f) a multiple of 4?
True
Let d(a) = 8*a**2 + 5*a**3 - a - 5*a**3 - a**3 + 9. Let p be d(8). Is -2 + p + -1 + 4 even?
True
Suppose -w + 16 = -4*m, 5*m + 52 = 2*w + 5. Is w a multiple of 12?
True
Is 30 a factor of 72/1*(-7)/(-14)?
False
Suppose 0*m = -5*m + 300. Is 30 a factor of m?
True
Let t(q) = 0 - 4*q + 0 - 1 - 8. Does 5 divide t(-6)?
True
Let w(x) = 9*x - 4. Let d(i) be the first derivative of i**2/2 - 3*i - 1. Let y be d(8). Is 14 a factor of w(y)?
False
Suppose -3*c - 10 + 256 = 0. Is 9 a factor of c?
False
Suppose -2*l = -7*l + 60. Suppose -6*y = -4*y - l. Let b = 8 + y. Is b a multiple of 14?
True
Suppose -186 = -3*s + 2*f, -2*s + 2*f = -5*s + 174. Does 20 divide s?
True
Let c(u) = 5*u**2 + 1. Let i be c(1). Let l(q) = q**3 - 7*q**2 + q + 3. Let m be l(i). Let p = m - -38. Does 11 divide p?
True
Let d(v) = 2*v + 15 - 4*v + v. Is d(7) a multiple of 8?
True
Let i = -141 + 245. Does 26 divide i?
True
Let h be 1/((-3)/78*-2). Let q(y) = -y + 1. Let n be q(0). Let l = n + h. Is 9 a factor of l?
False
Let j(b) = -b**2 + 4*b + 2. Let g be j(4). Suppose 3*n = g*q + q - 69, 3 = -3*n. Is q a multiple of 6?
False
Let d = -43 - -75. Suppose 7*l = 8*l - d. Does 8 divide l?
True
Is (-5)/15 + 460/12 a multiple of 19?
True
Suppose 0 = 2*d - 2*n - 150, 0*d - 3*d = -2*n - 221. Is 11 a factor of d?
False
Suppose -3*i + 0*x - 8 = -x, -5*i - 40 = 5*x. Let u = -4 - i. Suppose -4*v = 5*o - 149 + 29, -5*o - v + 105 = u. Is 13 a factor of o?
False
Suppose 2*g - 86 = 4*p, 3*p - 4 + 19 = 0. Is 11 a factor of g?
True
Suppose 0*r - 3*r - 9 = 0. Let g = r - -1. Is 4 a factor of -12*(15/9 + g)?
True
Let r(w) = 7*w + 1. Suppose -2*d + 0 - 8 = 0, -3*x - 9 = 3*d. Let q be r(x). Let t(l) = -l**3 + 8*l**2 + 6*l - 5. Is 18 a factor of t(q)?
False
Let b be (1 + 1 + -1)*0. Suppose 3 = -b*q - 3*q. Let o(p) = -9*p. Does 9 divide o(q)?
True
Let w(f) = f**3 + 16*f**2 + 14*f - 16. Is w(-14) a multiple of 10?
True
Let n be -3 + (-3 + -25)/(-2). Let b = n - -5. Is 5 a factor of b?
False
Suppose 5*c - 4*w = -w + 32, -c = -w - 8. Suppose 4*g - 4*y + 0*y - 188 = 0, c*y = 2*g - 104. Is 14 a factor of g?
True
Let a be (-2)/(-2) + (-117)/(-9). Suppose -w + a + 0 = 0. Does 14 divide w?
True
Let a(p) = p**2 + 10*p - 14. Suppose v = -v - 24. Is 9 a factor of a(v)?
False
Let l(f) be the second derivative of f**3/6 + 3*f**2/2 + 2*f. Let n be l(-3). Let c = 6 - n. Does 3 divide c?
True
Let o = 31 - -134. Does 55 divide o?
True
Let v(n) = 3*n**2 + n. Suppose 0 = 3*f - 2*f + 8. Let m(t) = -t - 6. Let x be m(f). Is 11 a factor of v(x)?
False
Let h = 220 - 95. Does 25 divide h?
True
Suppose -3*w + 5*b = -28, 0 = -3*b + 2 - 8. Let t(k) = -k**3 + 5*k**2 + 6*k + 6. Let z be t(w). Is (-25)/(-9) - z/(-27) a multiple of 3?
True
Suppose -2*j = 2*w - 102, 3*w + 262 = 5*j + w. Is 23 a factor of j?
False
Suppose 5*x = -s + 432, x + 4*x - 3*s = 444. Suppose 2*z + 31 - x = 0. Suppose 0*v = v - z. Is v a multiple of 8?
False
Let u(s) = -90*s**3 + 2*s**2 - 1. Let t be u(1). Let n = 34 - t. Suppose -i + 4*i - n = 0. Does 19 divide i?
False
Let a = -1 - -4. Suppose a*q - 43 = -4*j, -2*j - j - 3*q = -36. Does 3 divide j?
False
Suppose s + 3*s - 92 = 0. Is 4 a factor of s?
False
Let u(l) be the third derivative of l**5/12 - l**4/6 + l**3/3 - l**2. Is 7 a factor of u(2)?
True
Let w = 12 - 3. Let u be (-3)/(w/3)*67. Let s = -47 - u. Is s a multiple of 7?
False
Suppose 7 = 5*t - 4*x, -12 = 2*t - 4*t - 3*x. Suppose -t*d = -2*b + 41, b - d = -b + 31. Is 13 a factor of b?
True
Let f(a) = -a**2 + 6*a - 2. Let s be ((-1)/(-2))/((-1)/(-10)). Suppose j + 6*m + 11 = 3*m, s*j = -5*m - 5. Does 3 divide f(j)?
True
Let p = 34 - 10. Let q = p - -1. Is q a multiple of 15?
False
Let w = -14 + -14. Suppose -5*v + 5 = 0, -4*l + 40 = l + 5*v. Is 12 a factor of ((-12)/l)/(4/w)?
True
Suppose -372 = -4*k + 124. Let i = 193 - k. Suppose i - 259 = -5*y. Is 10 a factor of y?
False
Let q = -36 - -21. Let h be 6/q - (-38)/(-5). Let w = 17 + h. Is w a multiple of 4?
False
Let s be (0 - (-1)/(-2))*-6. Suppose 4*a + 111 = 7*z - 2*z, 4*a = s*z - 65. Is z a multiple of 23?
True
Suppose 15*j - 152 = -2. Is 5 a factor of j?
True
Let j(o) = -o - 3. Let c be 0 - -2 - 2*4. Let x be j(c). Is (-123)/(-9) - (-1)/x a multiple of 7?
True
Suppose w + 14 = 5*i, -4*w - 2*i + 11 = 1. Let z(n) = -47*n**2 + 2*n + 1. Let h(q) = 95*q**2 - 5*q - 3. Let r(y) = -2*h(y) - 5*z(y). Is r(w) a multiple of 20?
False
Suppose o = 2*o - 25. Is (-1)/(-5) + 1170/o a multiple of 12?
False
Let o = -169 + 253. Is o a multiple of 21?
True
Let f = 3 - 0. Suppose -v = -3*v + 2*w + 50, -5*v - f*w = -125. Suppose 3*k = -2*k + v. Does 4 divide k?
False
Suppose 5*o - 64 = 11. Let y be 36/10 + 6/o. Suppose 18 = y*w - 26. Is 5 a factor of w?
False
Let y be 45/(-25)*(-20)/6. Let h = y - 0. Suppose -o + h*o - 50 = 0. Is 10 a factor of o?
True
Let m(j) = -j**2 + 5*j + 3. Let o be m(4). Let x(k) = k**3 - 7*k**2 + 3*k + 10. Does 12 divide x(o)?
False
Suppose -8*y = -9*y + 32. Is y a multiple of 8?
True
Suppose -4*m = -9*m - 40. Let g = m + 19. Is 11 a factor of g?
True
Let q be (-732)/(-26) - (-2)/(-13). Is (-8)/q + (-844)/(-14) a multiple of 20?
True
Let l = 114 - 25. Suppose 96 = 3*k - 4*p, -4*p - 5 = 2*k - l. Is k a multiple of 18?
True
Let v(r) = r**3 - 7*r**2 + 4*r + 8. Is 12 a factor of v(7)?
True
Let b = -128 - -315. Does 10 divide b?
False
Let k be 1/5 - (-9)/5. Suppose -5*z + 29 = k*i - 58, 5*z + 4*i = 79. Does 8 divide z?
False
Let j(d) = -d**3 - 10*d**2 - 9*d + 4. Let m be j(-9). Suppose -3 = a - m. Is 7 a factor of a/(-2) + 58/4?
True
Suppose -s - n = -3*s - 30, n = 0. Let t = 66 - s. Is 14 a factor of t?
False
Let b be 33 - 1*1/1. Let x(t) = t**3 - 7*t**2 + 5*t + 9. Let i be x(5). Let j = i + b. Is j a multiple of 7?
False
Does 2 divide (-1 - 7/14)/((-6)/80)?
True
Let a = -116 - -190. Does 37 divide a?
True
Suppose -142 + 27 = -5*r. Suppose -r + 2 = -c. Does 10 divide c?
False
Let q(x) = -x**3 + 4*x**2 - x + 3. Let v be q(3). Let f = v + -1. Is 7 a factor of f?
False
Let a be -1 + 5