factor of d?
False
Let f be (15/3 - 3) + -3. Let m(i) = 7*i - 35*i - 15*i - i. Is 12 a factor of m(f)?
False
Let l = -9 - -14. Suppose n + 100 = 4*q + l*n, -4*q = 5*n - 99. Suppose q = 4*y - 2*y. Is y a multiple of 13?
True
Suppose 1 = -t - 2*a, -4*t = -2*a + 4*a - 2. Let r(k) = -31*k**2 - 2*k - 11. Let n(y) = -10*y**2 - y - 4. Let w(o) = 8*n(o) - 3*r(o). Does 7 divide w(t)?
False
Let w be (-16)/10 - (-18)/30. Is (-3652)/(-33) - w/3 a multiple of 24?
False
Suppose -10*n - 2620 = -12*n + 4*s, -3925 = -3*n + 5*s. Is 16 a factor of n?
False
Let m(a) = 3*a - 20. Let d be m(8). Suppose -268 = -j - 2*p, -d*p + p + 15 = 0. Is 29 a factor of j?
False
Let w(k) = -k**3 + 8*k**2 - 7*k + 14. Let r be w(6). Suppose -295 = -3*t + r. Is 13 a factor of t?
False
Let m be (-1)/((-2)/(-8)*-1). Suppose m*p + p = 0. Suppose p*s - 50 = -2*s. Does 9 divide s?
False
Let h = 934 - -149. Does 25 divide h?
False
Suppose 3155 = 4*h + 5*v, 10*h + 2*v + 1582 = 12*h. Is h a multiple of 5?
True
Let o(q) = -9*q - 8. Let w = -9 + 13. Let r be -9 + 1/(w/12). Does 23 divide o(r)?
True
Suppose 43*r = 27*r + 2000. Is 25 a factor of r?
True
Let n = -504 - -880. Is n a multiple of 3?
False
Let r(h) = 2*h**2 - 13*h - 25. Let m be r(9). Suppose 5*x - m = 0, -2*x = 3*u + 2*x - 175. Is 4 a factor of u?
False
Suppose 5*w = 2*b - 150, -2*b - 2*w = -125 - 53. Let z = b + 97. Is 13 a factor of z?
True
Suppose -10*y - 4*y - 308 = 0. Let g(d) = d - 30. Let b be g(0). Let c = y - b. Is c a multiple of 4?
True
Suppose 2*r = -41*x + 45*x - 7478, 5*x + 3*r = 9375. Is x a multiple of 16?
True
Suppose -2*t + 25 = 4*o - 29, -5*o + 79 = 3*t. Suppose 3*p = 4*q + 7, -5*p + 23 - 3 = -5*q. Let m = t - p. Is 9 a factor of m?
False
Let p(u) = -70*u - 6. Is 17 a factor of p(-3)?
True
Let n = 3 + 12. Suppose 12*k - 11*k - n = 0. Is 4 a factor of k?
False
Suppose 3*r + 0*r = -4*i + 343, -i + r + 77 = 0. Suppose -p + 4*p + o - i = 0, 3*p - 4*o = 77. Is 3 a factor of p?
True
Let m(a) = -a**2 + 7*a + 5. Let y(j) = j**2 - 6*j - 5. Let t(i) = 4*m(i) + 5*y(i). Let p be t(-8). Suppose 0 = 6*l - l - p. Is l a multiple of 15?
True
Let k be (-20)/(-11) + -4*(-1)/22. Suppose -500 = -7*v + k*v. Is v a multiple of 19?
False
Suppose -7*s + 2*s = 0, -1062 = -3*b - 4*s. Does 12 divide b?
False
Is 12 a factor of ((-279)/27)/(5/(-2160)*3)?
True
Let a(s) = -7*s**2 + 10*s. Let k(p) = 13*p**2 - 19*p + 1. Suppose 28 = 2*d + 6. Let m(h) = d*a(h) + 6*k(h). Is m(5) a multiple of 11?
True
Suppose 2 = 2*x - 10. Is 14 a factor of ((8/(-6))/2)/(x/(-225))?
False
Does 2 divide (41/5)/((-25)/(-125))?
False
Let o(q) = -4*q + 34. Let p be o(5). Is 16 a factor of 2684/p + (8/14)/2?
True
Let z(o) = -o**3 + 14*o**2 - 2*o - 19. Is z(-7) a multiple of 9?
False
Suppose 350 = 3*s - 46. Is s a multiple of 11?
True
Suppose 3*p - 571 - 293 = -3*l, 2*p + l = 576. Is 11 a factor of p?
False
Let i be 13*(-1 + 6 + 3 - 4). Let s be -1 + 0 + 62/(-2). Let x = i - s. Is 28 a factor of x?
True
Let g = 36 - 35. Let d = g - -105. Is d a multiple of 14?
False
Suppose 0 = 2*a - 672 + 136. Suppose 52 + a = 4*l. Does 26 divide l - -3 - 1*-2?
False
Let c(i) = i**3 + 13*i**2 - 21*i - 37. Does 30 divide c(-13)?
False
Let u(c) = -c**3 - 9*c**2 - 8*c + 4. Let w be u(-8). Suppose -g + 84 = -w*f, -4*g + 3*f = g - 420. Is g a multiple of 28?
True
Let t(c) = 5*c**2 - 89*c + 70. Let k(h) = -h**2 + 18*h - 14. Let g(f) = 11*k(f) + 2*t(f). Let l be g(19). Suppose -l*j - 20 = -7*j. Is j a multiple of 10?
True
Is 29 a factor of (2 - -348) + -5*(-4)/(-10)?
True
Let a(b) = 15*b**2 - 4*b - 8. Is a(-3) a multiple of 6?
False
Suppose 0*h + 2*h = -s + 6, -3*s + 19 = 5*h. Suppose -s - 200 = -2*t. Does 26 divide t?
True
Let o(x) = -x**3 - 4*x**2 + 6*x - 21. Is 28 a factor of o(-7)?
True
Let p = 379 - -5. Is 6 a factor of p?
True
Let o(y) = -2*y + 40. Let w be o(20). Let f = -3 + -1. Is 6 a factor of 32 - (w + (-8 - f))?
True
Let d = -938 + 1563. Does 5 divide d?
True
Suppose 0*f - f + 288 = -2*c, 2*c = -2*f + 576. Is f a multiple of 23?
False
Suppose -9*i + 331 = -218. Is i even?
False
Let f(y) = 3*y + 31. Suppose 7*p = 8*p + 7. Is 5 a factor of f(p)?
True
Let n(l) = -l**3 + 7*l**2 - 4*l - 2. Let y = -6 - 2. Let x = y - -13. Does 14 divide n(x)?
True
Let f = 5 - -6. Suppose -g + 2*q + 2*q = -5, 2*q = -g + f. Is 5 a factor of g?
False
Let p = 5 - 7. Let a(u) = u**3 - 5*u**2 - 8*u. Let r be a(6). Is 8 a factor of p/8 - 291/r?
True
Suppose 3*o - 5*m = 66, 5*m + 19 + 3 = o. Is o a multiple of 11?
True
Suppose -306 = -11*v + 10*v. Is v a multiple of 17?
True
Is 22 a factor of (-13)/(-6) + -2 + 791/6?
True
Let r(f) be the second derivative of -f**3/3 - 3*f**2/2 + 5*f. Let d be r(-3). Suppose 6 = d*k - 12. Is 6 a factor of k?
True
Let z(f) = f**2 - f - 1. Let i(k) = -148*k**3 - 3*k**2 + 4*k + 4. Let g(u) = i(u) + 3*z(u). Let p be g(-1). Suppose t = 5*t - p. Is 12 a factor of t?
False
Suppose 0 = 2*q - 5*y - 3545, 0 = 11*q - 9*q + 4*y - 3590. Is q a multiple of 17?
True
Let o be 324/(-48) - (-2)/(-8). Let y be (-76)/(-10)*(17 + o). Let x = y + -19. Is x a multiple of 11?
False
Suppose -7*v = -3*v + 88. Let r = v + 51. Does 5 divide r?
False
Let t(y) = 15*y - 17*y + 10 - y**2 - 3. Let h be t(-3). Suppose 0 = 4*q + h, -p = -2*q - 44 + 17. Is 10 a factor of p?
False
Suppose 3*w - 3*m - 243 = 333, -4*w = -5*m - 764. Is w a multiple of 7?
True
Let v(i) = i**3 + 7*i**2 + 6*i + 2. Let f be v(-6). Suppose -5*n + 1129 = 4*p, f*n - 37 = -2*p + 415. Is 45 a factor of n?
True
Suppose 5*n - 10*n + 5262 = 3*f, 2*n - 3*f - 2109 = 0. Does 13 divide n?
True
Let n be 2*(-6)/4 + 72/6. Suppose n*f - 1087 + 43 = 0. Is f a multiple of 21?
False
Suppose 32*i - 20358 = 6*i. Is 51 a factor of i?
False
Is 31 a factor of (383 - 6) + (5 - 3) + 1?
False
Is 21 a factor of (-53 + 7)*(310/4)/(-5)?
False
Suppose -o - 4*u - 37 - 4 = 0, 114 = -3*o - 3*u. Suppose 3*p - 17 = -4*f + 191, 0 = 3*p + f - 196. Let s = p + o. Is s a multiple of 9?
True
Suppose 0 = -3*c + 6*n - 3*n + 756, -c - 5*n + 222 = 0. Does 13 divide c?
True
Let z = 1343 - 605. Does 25 divide z?
False
Let a be (-2)/11 - (-456)/88. Let n be a/(-10)*2*1. Is (-52)/(2 + -3 + n) a multiple of 10?
False
Suppose 5*w + 1 = k, -4*k - w = 4*w + 21. Let g(r) = -32*r + 47. Does 35 divide g(k)?
True
Suppose 3*t + 17 = 62. Let n = 17 + t. Is 23 a factor of n?
False
Let z(a) = 30*a**2 - 8*a + 5. Let m be z(-4). Let j = 142 - m. Is j/(-6) - (-9)/6 a multiple of 8?
True
Suppose 4*n + 4*d = 0, 13 - 3 = 5*n + 3*d. Suppose n*v - 24 = 21. Does 5 divide (60/v)/((-12)/(-18))?
True
Let k(n) = -n**3 + 29*n**2 - 25*n - 90. Let w be k(28). Let l(t) = 3 - t + 10*t**2 + 6*t + t**3 - 3*t**2. Is l(w) a multiple of 9?
True
Suppose 0 = 10*b + 39 - 269. Suppose -49 = -2*o + b. Is o a multiple of 4?
True
Let i = 687 - 293. Suppose 8*m - i = 70. Is 29 a factor of m?
True
Suppose 3*q - 457 = -a, -3*a + q + 1364 = 3*q. Is 18 a factor of a?
False
Suppose 5*d = 7*d - 8. Suppose -1 - d = s, -4*w + 196 = 4*s. Is 18 a factor of w?
True
Let k(j) = j**3 + 2*j**2 - 1. Let v be k(-1). Suppose v = -5*r + 152 + 313. Is 31 a factor of r?
True
Let f = 1150 - 370. Is 12 a factor of f?
True
Let x = 4 + -102. Is 9 a factor of 3/(2 - (-190)/x)?
False
Let j(q) = 55*q - 15. Let d be j(2). Suppose 5*u - d = -2*k, -5*u - 4*k - k = -110. Does 2 divide u?
False
Suppose -17*p - 46*p = -90090. Is p a multiple of 26?
True
Let c = 16 + -16. Let t(z) = 14 + 5 + 5 - z - z**3 + 2*z**3. Does 8 divide t(c)?
True
Let r(d) = -3*d**2 - 12*d + 22. Let p be r(-5). Let i = 6 - 4. Suppose 2*z + 5*n = 89, -z + 51 = i*n + p. Does 9 divide z?
False
Is 14 a factor of (-114)/(-4)*30/45?
False
Suppose 46 = 7*l - 5*l. Let m = 29 - l. Is m a multiple of 5?
False
Let t(z) = -12*z**2 + 3*z + 12. Let m be t(4). Let s = 237 + m. Is 19 a factor of s?
False
Let a = 178 + -71. Suppose 4*n - 4 = 0, -r + 3*n = -2*n - a. Does 14 divide r?
True
Does 76 divide ((-2945)/620)/((-2)/544)?
True
Let n be (-960)/(-9)*(-24)/(-5). Is 24 a factor of (n + 3)/5 + 2?
False
Suppose -1402 = -j + 6*c - 5*c, 0 = 3*j - 4*c - 4204. Is j a multiple of 36?
True
Suppose -25 = 5*v, 2*q = 5*v - v + 26. Suppose 263 = q*j - 13. Is j a multiple of 11?
False
Suppose -10 = 2*t, -3*t + 2*t + 985 = 5*d. Is d a multiple of 18?
True
Let m = 608 - 568. Is 10 a factor of m?
True
Suppose 12 =