3 a factor of t?
True
Let u be 4 + (4/4 - 3). Suppose -c + 5*v = -u*c + 25, c + 7 = 3*v. Suppose -4*w = 0, 9 = 3*i - c*w - 18. Is i even?
False
Let h(o) = 52*o - 1127. Is h(42) a multiple of 151?
True
Let j be -1 + 9/12 - 18/(-8). Suppose j = -3*t + 11. Suppose -5*s + 2*n + 20 = 0, -t*s + 23 = -2*n + 3*n. Does 2 divide s?
True
Suppose 41*l - 120*l = -27413. Does 5 divide l?
False
Let h be (1 - -1)*(23/(-2) - -2). Let i = 8 - h. Let k = i + 26. Does 15 divide k?
False
Suppose -d + 27*g + 273 = 23*g, g - 3 = 0. Let q = -226 + d. Is 14 a factor of q?
False
Let o(a) = 8*a - 30. Let z be o(6). Let d be (-3)/z - (-33)/(-18). Is 57/d*(-10)/3 a multiple of 19?
True
Let p(y) = 28*y + 42. Let m be p(-20). Let h = m - -1054. Let g = h - 365. Is 22 a factor of g?
False
Let p be ((-64)/36*12)/(2/(-126)). Suppose 8*x - p + 224 = 0. Is x a multiple of 28?
True
Let b = 334 - 344. Does 6 divide (-40)/4*34/b?
False
Suppose 13*p - 20291 = 73907. Does 17 divide p?
False
Let z = -210 + 210. Suppose z = 3*a + 4*b - 66 - 310, 5*a = 4*b + 584. Does 18 divide a?
False
Let s = 4241 - 3799. Is 36 a factor of s?
False
Is (0 - -2635) + 13 + 10 + -18 a multiple of 88?
True
Suppose -5*y = -2*u - 118, 4*y - 103 = 4*u - 11. Suppose -25*q + 1810 = 3*l - y*q, -2*q = 4. Does 11 divide l?
False
Let g be (4 - (-133)/(-14))*2. Does 5 divide (-1894)/g + 36/(-198)?
False
Does 46 divide 1872126/259 + (-4)/14 + -6?
True
Suppose 0 = -5*p + 2*w + 70, -3*p + 4*w + 32 = -2*p. Suppose 19*m - 13*m + p = 0. Is 210/20*(2 + m/3) a multiple of 6?
False
Suppose 0 = -2*w + 3*a + 16358, w + 22*a - 8179 = 27*a. Is 29 a factor of w?
False
Let o(j) = -3*j**3 - 9*j**2 - 12*j - 7. Let c be o(-5). Let k = -135 + c. Does 3 divide k?
False
Let f = -148 - 3. Let j = f + 197. Is 2 a factor of j?
True
Let r(z) = 2 + 213*z + 42 - 182*z. Let b be r(6). Is 22 a factor of (1*(-8)/(-20))/(1/b)?
False
Does 5 divide ((-486720)/(-208))/(2 - 1)?
True
Suppose -20*u - 42 = u. Is 6 a factor of -5 + 162 - (-3)/(-3 - u)?
False
Let j(n) = -n**3 + 2*n**2 + 4*n + 2. Let i be j(3). Suppose -5*s = -5, i*o - o + 3*s = -53. Does 41 divide (o/(-21))/((-2)/(-123))?
True
Let d(g) = -g**3 + 6*g**2 + 5*g - 20. Let n(j) = 4*j + 38. Let h be n(-8). Is 3 a factor of d(h)?
False
Let i(r) = 8*r**2 - 307*r + 37. Is 41 a factor of i(-30)?
False
Let t = 2339 - -6984. Does 95 divide t?
False
Suppose -3*x + 4*g + 96 = 0, -151*x + 149*x - 2*g + 50 = 0. Suppose 4*r - 9 = -3*j - 4, -3*j + 5*r = 40. Let d = j + x. Is 4 a factor of d?
False
Let m = 93 + 111. Suppose -u = f - 356, -5*u - m - 1616 = -5*f. Is f a multiple of 10?
True
Let b = -3756 + 31103. Is b a multiple of 41?
True
Let g = 1917 - 3495. Let u = 2209 + g. Does 27 divide u?
False
Suppose 5*z - 69 - 25 = 3*m, 77 = 4*z - 3*m. Let s(u) be the second derivative of u**3/2 - 27*u**2/2 + 56*u - 5. Does 2 divide s(z)?
True
Let x(q) = -5*q. Let w(g) = g**2 - 4*g + 2. Let y(o) = 5*w(o) - 6*x(o). Let b = 3 + -6. Is 8 a factor of y(b)?
False
Suppose -1388 = -4*y + 3764. Does 14 divide y?
True
Let f(n) = n**3 - 7*n**2 - 2*n + 15. Let t be f(7). Suppose j + 0 = -3*w - t, -j = 4*w. Let h(a) = -3*a**3 - 4*a**2 - 3*a - 8. Is h(j) a multiple of 19?
False
Let h be (0 + 3 + 1 + -4)/(-3). Let o be ((-16)/4 + 5)*(h - 1). Is (((-12)/14)/(o/7))/1 a multiple of 6?
True
Let a(d) = -d**3 + 49*d**2 + 164*d + 86. Does 86 divide a(38)?
False
Let j = -66 + 30. Let d = j - -38. Suppose -d*l = -5*p - 41, 0*l + 53 = 3*l + p. Is 9 a factor of l?
True
Let h be ((-130)/(-6))/(-2 - (-155)/75). Is (h/10 + 2)*6 a multiple of 3?
True
Suppose 100232 = -363*x + 430*x. Does 4 divide x?
True
Let l(h) = -9*h**3 + 10*h**2 - 44*h + 59. Is 209 a factor of l(-13)?
False
Let b = 18 - 12. Suppose 0 = -2767*g + 2768*g. Suppose 2 = 2*l, g = -f - 2*l + 23 - b. Does 5 divide f?
True
Let n(p) = p**3 - 3*p**2 + 6*p - 2. Let k be n(2). Suppose -2*r - 420 = 4*j - k*j, -2*j = 4*r - 414. Is 24 a factor of j?
False
Let s = 445 - 391. Is 72 a factor of (8 - (-32)/6)*s?
True
Let n = 1215 + -2171. Let z = -458 - n. Is 25 a factor of z?
False
Suppose -9*h = -6*h - 168. Suppose -516 = 5*o - h. Let z = -44 - o. Is 12 a factor of z?
True
Let l(n) = n + 41. Let h be l(-47). Is (-1308)/(-1 + -3)*h/(-9) a multiple of 6?
False
Is 232 a factor of (-499 - -379)/((-2)/754)?
True
Suppose -26*c + 7192 = 5*c. Is 16 + c + -2*(-3)/(-6) a multiple of 3?
False
Let s(k) = k**2 + 13*k - 36. Let u(x) = -2*x**2 - 28*x + 73. Let r(p) = -5*s(p) - 3*u(p). Is r(12) a multiple of 9?
True
Suppose -4*t - 12311 = -2*h + 8669, 0 = -t + 2. Is 106 a factor of h?
True
Suppose 28*c + 225 = 25*c. Let j = c - -107. Is j a multiple of 8?
True
Let n(d) = -181 + 196 - d - 10*d - 4*d**2 + d**3. Let r(t) = -t**3 + 5*t**2 - 3*t + 2. Let f be r(4). Is n(f) a multiple of 14?
False
Suppose 2255*z - 2259*z = -154000. Is z a multiple of 28?
True
Let u(b) be the second derivative of -19*b**3/2 - 277*b**2/2 - 121*b. Is u(-19) a multiple of 31?
True
Suppose -u = 18*u - 440238 + 33790. Is 56 a factor of u?
True
Let g(z) = 234*z**3 - 9*z**2 + 20*z - 9. Does 6 divide g(3)?
True
Suppose -5*z + 15 = 3*k, -9 + 0 = -3*z - 4*k. Suppose -4*d - 2*x = -40, -3*d + z*x + 16 = -32. Does 11 divide 220/(-6)*d/(-8)?
True
Let s be (4 + 2)/((-6)/16). Does 6 divide (-112)/3*72/s?
True
Let b(h) = 133*h + 7. Let u be b(-7). Let s = 1340 + u. Let t = -274 + s. Is 35 a factor of t?
False
Let j = -6 + 27. Let u(a) = a**3 + a**2 + 2*a - 2. Let x be u(0). Is 18/j*(17 - (-6)/x) a multiple of 11?
False
Let i = 3 + -1. Suppose i*v + 685 = -159. Let b = -295 - v. Is b a multiple of 27?
False
Suppose 3*m - 2*l = 4779, 5*l + 9555 = -260*m + 266*m. Is m a multiple of 145?
True
Let p be 6656/10 + (-26)/(-65). Suppose 0 = -3*n + 21*n + p. Let h = n - -72. Does 35 divide h?
True
Suppose 3*q - 4*g - 29606 = 0, -q + 9842 = 11*g - 7*g. Is q a multiple of 65?
False
Suppose 36*m - 3136 = 28*m. Let l = 482 - m. Is 5 a factor of l?
True
Let y(x) = -1229*x**3 + 2*x**2 + 5*x - 2. Let a be y(-2). Suppose -98*w + a = -77*w. Does 18 divide w?
True
Suppose -2*p - 8 = -6. Let m(u) = u**3 + 3*u**2 + 2*u + 2. Let y be m(p). Is 15 a factor of (y/(1 - 2) + 1)*-82?
False
Suppose 0 = 20*k - 6*k + 504. Let t = 40 - k. Is t a multiple of 38?
True
Let x be (5 + -1)*(-2 - (-2 + -1)). Suppose -6*f - x*f + 620 = 0. Let s = f + -33. Does 7 divide s?
False
Let z = 2212 - -10169. Is 15 a factor of z?
False
Let z(j) = 6*j**2 + j - 9. Let g be z(-6). Suppose -3*d = -t + 74, -g = -5*t - 3*d + 205. Suppose 9*r - t = 5*r. Is 7 a factor of r?
False
Suppose -2*m + 3*w + 897 = -85, m - w = 490. Suppose c = 3*f - 285, 3*c - m = -3*f - 191. Is f a multiple of 8?
True
Suppose -18*k + 9*k = -954. Let s = k + -93. Suppose -5*d = -708 + s. Is 32 a factor of d?
False
Suppose -2*y = -4*b + 6782, 20*b + 3397 = 22*b - 3*y. Is b a multiple of 22?
True
Let r(j) = -43*j. Let w be r(-1). Suppose -1101 + 1085 = -16*m. Let o = w - m. Does 14 divide o?
True
Let u(q) = q**3 + 5*q**2 - 48*q + 21. Suppose 4*n - 3 = a - 2, 2*n - 18 = -2*a. Is 21 a factor of u(a)?
True
Suppose 3*g = 4*g - 5. Let x(o) = 32 - 3*o**2 + 5 - 8 + o**3 - g*o - 7*o. Is 13 a factor of x(6)?
True
Suppose 4*w + 4*o = -o + 684, 2*o = -8. Let j = w - 72. Suppose 102*i + 80 = j*i. Is 10 a factor of i?
True
Let z(d) = -17*d - 77 + 26*d - 68*d. Is 18 a factor of z(-4)?
False
Suppose -17*z + 42*z = -10975. Let y = -67 - z. Is y a multiple of 11?
False
Let u = -28 - -83. Let a = -53 + u. Suppose -4*d = -4, -i - i = a*d - 30. Is i a multiple of 4?
False
Let t = -138 + 219. Let s = t - -7. Let j = -55 + s. Is 33 a factor of j?
True
Let d(c) = -164*c + 16. Let t be d(-15). Suppose 11*g - t = 4762. Is g a multiple of 14?
True
Let s = 42827 + -20449. Does 119 divide s?
False
Let p(f) = -f**2 + 15*f - 31. Let n be (-38)/(-2) - (0 - 6/2). Suppose z - n = -z. Is p(z) a multiple of 9?
False
Let i be 25*(8/(-40))/(-1). Let b(x) = 2*x**3 + 4*x**2 - 14*x + 4. Is b(i) a multiple of 5?
False
Suppose 8875 = a + w, 2*a = -w - 1492 + 19247. Does 111 divide a?
True
Let m = 9 + -2275. Is 103 a factor of (((-45)/6)/5)/(11/m)?
True
Suppose 0 = -117*l + 124*l + 21. Is 21 a factor of (141/(-1))/(l/7)?
False
Let n be (-4 + 2 - -1) + 0 + 1. Suppose 0 = 5*b + 2*l - 728, n*l - 132 = -b + 3*l. Is 6 a factor of b?
True
Let o be 0 + (-4)/(20/(-25)). Supp