f 15?
True
Let u be (-4)/34 + 1376/136. Suppose u*i + 0*i = 1190. Is i a multiple of 17?
True
Suppose -1202*a + 1195*a + 8568 = 0. Does 68 divide a?
True
Does 4 divide -2 + 94 - (56 + -58)?
False
Let z(k) = 259*k**2 - k - 1. Is z(3) a multiple of 10?
False
Suppose 7*t - 4847 - 2062 = 0. Is 141 a factor of t?
True
Suppose -8*n + 4*n = 4, -5*o = -n + 349. Let m = 270 + o. Is 6 a factor of m?
False
Suppose 4*f + l - 2724 = 518, 3*f = 2*l + 2426. Is f a multiple of 5?
True
Let m(b) = -2*b - 17. Let n(j) = -2*j - 16. Let w(d) = -5*m(d) + 6*n(d). Let h = -27 + 19. Is w(h) a multiple of 4?
False
Let f(u) = -u**2 - 8*u + 1. Let d be f(-4). Let l(g) = g**2 - g + 2. Let c(i) = 2*i**2 - 19*i - 13. Let j(n) = -c(n) + l(n). Is j(d) a multiple of 8?
True
Let k be 260/8*(-12)/(-10). Let u be 4/6 + 286/k. Is 268/u - (-9)/(-6) a multiple of 17?
False
Let u = -2 - -5. Suppose 0 = u*p + n - 149, 0 = 5*p - 0*p + n - 249. Suppose 0 = -a - o + 38, 2*o + p = 2*a - a. Does 14 divide a?
True
Let z = 0 + -5. Is 2 a factor of 2 + 2 - 15/z?
False
Let i(a) = 2*a**2 + a + 7. Let j = -62 - -36. Let d = j + 29. Does 4 divide i(d)?
True
Let n = 12997 + -8228. Does 19 divide n?
True
Suppose 15 = 2*x - q, 0 = 4*x + q - 10 - 17. Suppose x*c - 13*c + 342 = 0. Is 10 a factor of c?
False
Suppose -2*x + 6 + 4 = 0. Let w(u) = 13*u - 5. Does 15 divide w(x)?
True
Is 15 a factor of ((-5)/10)/(8/(-2928))?
False
Let z(t) = -3*t**3 + 1. Let m be z(1). Let k be -8 - 8/m - -7. Suppose k*y - 23 = 10. Is y a multiple of 5?
False
Suppose -3*f + 49 = -0*f - 4*z, -2*f = -z - 31. Suppose -4*j = f - 195. Does 9 divide j?
True
Suppose -a = 4*a - 265. Let b = -48 + a. Is b a multiple of 4?
False
Let r(z) = 1. Let u(a) = -a**2 - 6*a + 1. Let y(m) = -3*r(m) + u(m). Let c be y(-5). Suppose 2*j = c*o - 49, 4*j + 44 = 3*o + 3*j. Is o a multiple of 9?
False
Let c be (-1)/(-6) + 165/90. Is 3/(2 + -5)*c + 15 a multiple of 3?
False
Suppose -14*p + 117 = -23*p. Let a = p - -43. Does 5 divide a?
True
Let z = 1456 + -924. Does 19 divide z?
True
Let w(q) = 2*q**3 + 2*q**2 - 2*q + 1. Let h be w(1). Suppose 3*n - h = 3. Suppose -n*x - x = -204. Does 18 divide x?
False
Let k(p) = 7*p**3 - 3*p**2 + 2*p + 1. Let u(i) = 8*i**3 - 4*i**2 + 2*i + 1. Let y(d) = 3*k(d) - 2*u(d). Is 17 a factor of y(2)?
False
Suppose -3*w - 4*c - 180 = -0*c, -5*w + c - 323 = 0. Let z = w - -73. Is z even?
False
Suppose -2*c + 93 = -123. Is 3804/c - 4/18 a multiple of 7?
True
Let b(n) be the second derivative of n**5/20 + 5*n**4/12 - n**3/2 - 7*n**2/2 - n. Suppose -9*q - 2*q - 55 = 0. Is b(q) a multiple of 4?
True
Let s = -296 - -686. Is 70 a factor of s?
False
Let n be 6 + 0 - 2 - -290. Is ((-4)/6)/((-4)/n) a multiple of 12?
False
Let o = -102 + 169. Suppose 0 = k - o - 6. Is k a multiple of 14?
False
Suppose -8*m - 30 = -6*m. Let h be -1 + (-3)/(9/m). Let x(t) = 4*t**2 - 7*t + 6. Is x(h) a multiple of 14?
True
Let r = -110 + 54. Let s be ((-2)/8)/(2/r). Is s - 1 - (-1 - 2) a multiple of 7?
False
Let v = 11 + -9. Suppose -k + 9 + 0 = 3*f, -5*k - 23 = -v*f. Is f + (230/(-5))/(-2) a multiple of 9?
True
Let v(m) be the second derivative of -m**5/20 - m**4/6 - m**3/3 + m**2/2 + 11*m. Let t = 1 + -3. Does 2 divide v(t)?
False
Let s = 83 + -83. Is -1 + 82 + 1 + s a multiple of 20?
False
Let x = -2128 - -2464. Is 16 a factor of x?
True
Let i = 79 - -350. Is 13 a factor of i?
True
Let n(j) = 2*j**2 + 75*j + 99. Is 32 a factor of n(-47)?
True
Let m = 4 + 1. Let b(a) = -17 - 25 + m*a + 28 + a**2. Does 16 divide b(-11)?
False
Suppose 5*u = m - 508, -2*m + 4*u + 8 = -990. Does 12 divide m?
False
Let h be 16/1 - (-14 + 12). Let p = h - 14. Is 32 a factor of p/12 + 582/9?
False
Let v = 20 - 28. Let p = v - -13. Suppose -l = -p*l + 48. Does 6 divide l?
True
Suppose 29*y = 25*y + 80. Let d(v) = -10*v - 12. Let c be d(-12). Suppose 18*u + c = y*u. Is 14 a factor of u?
False
Does 15 divide (-5 - 385)/((-8)/12)?
True
Let s(t) = -t**2 - 94*t + 585. Does 9 divide s(-63)?
True
Is 9289/56 - 5/(-40) a multiple of 3?
False
Let c(t) = -2*t - 13. Let z be c(-9). Suppose 110 + 190 = z*u. Is u a multiple of 10?
True
Let k(f) = f**2 - 4*f. Let a be k(4). Let q be 4 + a/(-1) + 0. Suppose 32 + q = o + 5*v, -4*v - 18 = -o. Is o a multiple of 26?
True
Let h be 17 + -17 - (-2 - 0)/1. Suppose 5*l - 181 = -4*d, 122 = 3*d - h*l + 3*l. Is d a multiple of 6?
False
Suppose 1 = p - 3, -4*p + 82 = 3*n. Let y = n + -53. Is -3*1*y/3 a multiple of 12?
False
Let u = -522 + 626. Does 8 divide u?
True
Let y = 26 - 13. Let z = y - 13. Suppose z = 5*s - 142 + 12. Is 13 a factor of s?
True
Let b(p) = 8*p**2 + p + 14. Suppose -38 = 10*g + 12. Is 19 a factor of b(g)?
True
Let d = 16 - 11. Suppose 2*s + d*s - 189 = 0. Does 14 divide s?
False
Suppose -9*m = -6*m - 12. Suppose 4*u - 1036 = 4*d, 3*d = m*u - 0*d - 1041. Does 20 divide u?
False
Suppose 0*i - 3*i - 5*z = 5, 5*z + 20 = 0. Suppose 610 = i*u + 40. Suppose h - 6*h - 5*d = -135, 0 = -4*h - 2*d + u. Is h a multiple of 15?
True
Suppose -27*a = -20*a - 16170. Does 66 divide a?
True
Let g(o) = -o + 2. Let n be g(3). Let w be n/(2/6) + 103. Suppose -22*z + 20*z = -w. Does 25 divide z?
True
Let q(j) = -7*j**3 - 15*j**2 + 31*j + 20. Let y(x) = 4*x**3 + 8*x**2 - 16*x - 10. Let f(t) = -3*q(t) - 5*y(t). Does 32 divide f(-6)?
True
Let x(k) = k**2 - 23*k + 320. Is x(39) a multiple of 6?
False
Suppose 0 = -3*x + 2*x + 3. Suppose n = -4*m + x*n + 106, 3*m - n = 79. Is m a multiple of 13?
True
Let v be (1/(-2))/(6/180). Let b be (18/v)/(6/(-440)). Let r = b + -61. Does 6 divide r?
False
Let d = 777 - 681. Is 4 a factor of d?
True
Let m = 16 + -16. Suppose m = 2*w - 14 - 242. Suppose w = 4*k + 16. Is 8 a factor of k?
False
Let z = -13 + 14. Suppose q + z = 5. Suppose -i + 50 = -3*o + 4*o, 200 = q*i - 3*o. Does 24 divide i?
False
Suppose 240*u - 239*u = 288. Does 6 divide u?
True
Let z be (2*143)/2 - (12 - 10). Suppose -4*a + 317 = -f, -2*f = 2*a + f - z. Is a a multiple of 26?
True
Suppose -7*d + 8*d = 36. Let y = d - 22. Is y a multiple of 7?
True
Let z = 109 - -14. Is z a multiple of 6?
False
Suppose 3*h - 5*b - 8 = -6*b, -2*h + 5*b - 23 = 0. Let z(s) = 194*s - 5. Does 9 divide z(h)?
True
Let a(f) = f**2 + 13*f + 13. Does 12 divide a(-21)?
False
Let x(d) = 6*d - 14. Let p be x(6). Suppose -4*f = -p + 2. Suppose 5*t = -2*r + 10, -5*r + 0*t = -f*t - 60. Is 4 a factor of r?
False
Let r = -8 + 3. Let a(o) = o**3 + 8*o**2 + 5*o - 6. Is a(r) a multiple of 11?
True
Let q(w) = -6*w - 5*w - 2*w**2 + 19*w - 6*w. Let s be q(1). Suppose s*g = -2*g + 40. Is 4 a factor of g?
True
Let x be ((-1)/(-3))/(5/60). Let b be (-1)/2 + (-2)/x. Does 20 divide -1 + (b - 138/(-2))?
False
Let u be (15/6)/(-2 - (-109)/54). Let x = 252 - u. Is 12 a factor of x?
False
Is 497 - ((-3 - -5) + 1) a multiple of 13?
True
Let n = -5341 - -8605. Does 24 divide n?
True
Suppose -3*y - 1441 = -14*y. Let d = 49 + y. Is 12 a factor of d?
True
Suppose 0 = 5*y - 5 + 20. Let d be 2*3/(-18)*y. Is 9 + (3 - 4)*d a multiple of 4?
True
Let g = -517 - -1132. Does 41 divide g?
True
Let g(y) = 2*y**3 - 47*y**2 + 32*y - 18. Does 27 divide g(23)?
True
Suppose -2*m + 19 = 2*l + 3*l, -m + 3*l = 7. Suppose s - 13 = -j, m*j + 4*s = 5 + 31. Is j even?
True
Let i = -157 - -262. Let q = -321 + i. Does 13 divide (3/6)/((-2)/q)?
False
Let m(x) = -x + 4. Let n be m(8). Let s be 4/n*2 - -28. Let z = s - 16. Is 2 a factor of z?
True
Let z = 20 + -11. Let j = z + -3. Suppose 0 = -2*b - 2*i + 42, -b = j*i - 2*i - 12. Is 8 a factor of b?
True
Suppose 0 = -5*j + 5*c + 130, 4*c - 7 = 5. Suppose 0 = 17*r - 5*r - 276. Let o = j - r. Does 2 divide o?
True
Suppose 0 = -2*k - 2*k. Suppose 2*p + 22 = -2*u - p, k = 5*p. Let h(c) = -c**2 - 14*c + 4. Does 10 divide h(u)?
False
Suppose -5*x + 55 = 30. Suppose 0 = 5*w - 2*q + 5*q - 794, -x*w + 5*q = -810. Does 32 divide w?
True
Let x = 6 - -19. Let v = x - 21. Suppose v*n + 2*j = -0*n + 364, 449 = 5*n + j. Does 24 divide n?
False
Let r(b) = 1027 + 2*b**3 - b - b**3 + b**2 + 2*b - 979. Does 16 divide r(0)?
True
Let z = -643 + 1726. Is z a multiple of 15?
False
Let r = 508 - -313. Is r a multiple of 12?
False
Let s(o) = 2*o**2 + 12*o - 11. Let i be s(-7). Suppose -3*w + 4*f = -250, -2*f = -i + 11. Is 13 a factor of w?
True
Let p(m) = 105*m**2 - 12*m - 27. Is p(5) a multiple of 9?
Tru