r of l(z)?
True
Let r(j) = -2 + 6*j**2 + 24*j - 4*j**2 - 9*j - 3. Let l be 6/4 + (-138)/12. Is 17 a factor of r(l)?
False
Suppose 801 = 3*n - 648. Is n a multiple of 2?
False
Let r(u) = -13*u - 54. Let c(i) = i**2 + 12*i + 15. Let l be (-1)/(-3*(-2)/54). Let s be c(l). Is r(s) a multiple of 17?
True
Let m(s) = -s + 23. Let v be m(-3). Suppose -v*r + 267 + 513 = 0. Does 15 divide r?
True
Let y be (24/(-10))/((-5)/4950). Suppose 15*a + y = 21*a. Is 33 a factor of a?
True
Suppose z = 42 + 37. Let y be (-2 - -1)/((-1)/z). Let k = y + 33. Is 14 a factor of k?
True
Let x(k) = -k**3 + 7*k**2 - 2*k + 3. Let z be x(5). Suppose a + 3*c = 5 + 1, -a - 2*c + 6 = 0. Suppose a*f + z = 367. Is 38 a factor of f?
False
Suppose -118*k + 153 = -109*k. Suppose m - 20 - k = 0. Is 14 a factor of m?
False
Suppose -20*z + 485560 = 57340. Is 13 a factor of z?
True
Suppose -4*k + 3*f - 12 = 0, -5*k - 5*f = -0*k - 20. Let t = 1257 - 1220. Suppose k = -t*a + 38*a - 72. Does 8 divide a?
True
Let m(g) = 8*g**2 + 100*g + 43. Let q be m(-20). Let r = q - 822. Is r a multiple of 15?
False
Let o(j) = 3*j + 13. Let q be o(-5). Let w be 1*0*q/(-8). Is 8 a factor of (w + (-4)/(-1))*2?
True
Let q = -32 - -34. Suppose -12*m = -q*m - 40. Suppose 4*x - 96 = -m*j, -2*x + 30 = j - 4*x. Is j a multiple of 3?
False
Suppose -3*m - s = 145, -3*m + 0*m + 5*s = 139. Let w be (m/30)/8 + 52/10. Suppose 5*d - 229 = -z, -10*d - w*z = -6*d - 200. Is d a multiple of 10?
False
Let h be (-1 - -4) + 5*-4. Let a(q) = -2*q + 6. Let y be a(h). Let r = -12 + y. Is r a multiple of 7?
True
Let j be (-5)/(135/(-6)) + 27500/18. Suppose 50*z = 54*z - j. Let g = z - 251. Is 7 a factor of g?
False
Let w = 2562 - 1780. Is 23 a factor of w?
True
Suppose t + 0 = 2. Let r be 3117/3 + (t - 3)*1. Is r/14 - 8/56 a multiple of 9?
False
Let o(m) = -327*m**3 - 2*m**2 - 2*m - 1. Let p be o(-1). Suppose -24*t + 854 = p. Does 8 divide t?
False
Let s(o) = -o**3 + 16*o**2 + 6. Suppose -90 = 13*i - 19*i. Is 11 a factor of s(i)?
True
Let y(w) = 12*w**2 + w + 44. Is 16 a factor of y(20)?
True
Let z(g) = 2*g**3 + g + 2. Let q be z(-2). Let d = -66 + q. Let m = d + 124. Is 21 a factor of m?
True
Let u(i) = i + 4. Let c be u(7). Suppose c*z - 2460 = -4*z. Is z a multiple of 14?
False
Let d(k) = 6396*k - 3270. Does 85 divide d(3)?
False
Let t(d) = 1 - 2 - 8 + 12*d**2 - 2*d + 0. Let i be t(-4). Let y = i - 107. Is y a multiple of 21?
True
Suppose 0 = -x + 3*g - 7, -2*x = -g - 0 - 1. Suppose 267 - 93 = q - 4*j, -323 = -x*q + 3*j. Is q a multiple of 70?
False
Let q(c) = -c**3 + 12*c**2 + 2. Let k be q(12). Let w be (-942)/(-10) + 1 + k/(-10). Suppose -7*l = -9*l - 5*x + 53, w = 5*l + 5*x. Is l a multiple of 7?
True
Let p(h) be the second derivative of 13*h**4/12 + 11*h**3/6 + 33*h**2/2 + 28*h - 3. Is 13 a factor of p(-4)?
False
Suppose 1358 = -2*r + 378. Let n = -400 - r. Is 30 a factor of n?
True
Let h(b) = b**3 - 8*b**2 + 4*b - 10. Let x be h(8). Let l be 5276/x + (-14)/(-77). Does 25 divide 0 - 2*l/(-5)?
False
Let k(g) = -5*g**2 - 3*g + 1. Let d be k(-3). Let r(y) = y**3 - 18*y**2 + 40*y + 7. Let j be r(15). Let q = d - j. Is 33 a factor of q?
True
Suppose -2 = -2*i + 4. Suppose -i*w - 2*u + 166 = w, -10 = 2*u. Is w a multiple of 18?
False
Let p = -389 - -400. Suppose -10*j - p*j + 12348 = 0. Is 7 a factor of j?
True
Suppose w + 2*r = -2*w + 2, 5*w - 45 = 5*r. Suppose -4*l = w*l. Suppose -4*y + 456 = -l*y. Does 12 divide y?
False
Let c(r) = -1940*r - 58. Is c(-2) a multiple of 78?
True
Let y = -4004 + 7393. Let u = y + -2231. Is u a multiple of 10?
False
Let y = 1908 - -5646. Does 34 divide y?
False
Let k be (-1 - 5) + 12 + -6. Suppose k = -7*u + 243 + 72. Is 5 a factor of u?
True
Suppose 30 = 4*z - 6*z. Let x = 20 + z. Let g(n) = n**3 + n**2 - 14*n + 10. Is g(x) a multiple of 10?
True
Suppose -5*q + 15 = 0, -17*m + 21*m - 2*q - 3030 = 0. Does 3 divide m?
True
Let u(w) = w**2 - 21*w + 8. Let r(l) = 2*l. Let s be r(12). Let k be u(s). Suppose -3*y + 344 = k. Is y a multiple of 11?
True
Let b = -697 + 586. Let p = b + 543. Is p a multiple of 8?
True
Is 29 a factor of ((-113)/3 + -1)*738/(-492)?
True
Let p = 5163 - 4431. Is 3 a factor of p?
True
Let x = 53128 + -17460. Is 12 a factor of x?
False
Suppose 2*w = k + 17918, 5*k - 4*k - 26882 = -3*w. Is 33 a factor of (-39)/(-26)*(2 - w/(-12))?
False
Let n(i) = 2*i**2 - i**2 + 5 - 2*i + 5. Suppose 0 = -r + 5*r - r + 21. Is n(r) a multiple of 9?
False
Suppose 2*u - 108 = -16*u. Suppose 0 = 43*q - u*q - 12025. Does 25 divide q?
True
Suppose 102*z = 41*z + 994520 + 395792. Is 44 a factor of z?
True
Suppose -167*a + 1858299 - 87264 = 0. Does 5 divide a?
True
Let z be -4 + 1 + 2/2 - -25. Suppose -z*d + 20*d = -273. Is d a multiple of 17?
False
Let v(h) = -h + 2. Let g be v(0). Let t(x) = 11*x**3 + 6 + 2*x - 5 - 5*x**2 + 8*x**2 - 5*x**g. Does 2 divide t(1)?
True
Does 40 divide (-99)/(-66)*11840/12?
True
Let t(z) = 80 - 139 + 42*z + 61 - z**2. Is t(29) a multiple of 5?
False
Suppose 0 = m + 4*q - q - 27, 2*m + 3*q - 42 = 0. Suppose -m*y + 2*y = 0. Suppose 2*w + 4*a = 24, -2*w + 4 = -a - y. Is 3 a factor of w?
False
Suppose -451 = 32*p - 73*p. Suppose -p*v = 9*v - 23100. Does 15 divide v?
True
Let o(x) = x**3 - 5*x**2 + 6*x**2 + 348*x - 3*x**2 + 1452 - 346*x. Is o(0) a multiple of 33?
True
Suppose -22387*i + 22375*i + 925404 = 0. Is i a multiple of 153?
False
Let c = 5367 - -4397. Is c a multiple of 11?
False
Suppose 3*g + 3*q + 3 = 9, 3*q = 6. Let z(l) = 26 + 224*l - 120*l - 98*l. Does 13 divide z(g)?
True
Let o(y) = -23*y + 1 + 19 - 8 - 14*y. Let m be o(-3). Suppose -m = 7*h - 8*h. Is 7 a factor of h?
False
Suppose -3*g + 18154 = -5*x, -296*g + 301*g + 3*x - 30234 = 0. Is 36 a factor of g?
True
Suppose 3*r - g + 380 = -6*g, 3*g = 3*r + 372. Let x = r + 197. Is x a multiple of 4?
True
Suppose -127*f = 405*f - 32637668. Is f a multiple of 24?
False
Let f(s) = 16*s - 188. Let o be f(12). Suppose 3*i + g - 148 - 318 = 0, o*i - g - 612 = 0. Does 77 divide i?
True
Let t = 10313 + -4430. Is t a multiple of 53?
True
Let p be (32/(-3))/(-1)*6. Suppose 13*t - p = 5*t. Suppose t*l - 5*l = 255. Is l a multiple of 18?
False
Let m = 902 + -1010. Does 52 divide ((-360)/m)/((-5)/(-222))?
False
Let v = -3683 - -3854. Is 7 a factor of v?
False
Let z = -6319 - -17039. Is z a multiple of 40?
True
Let g be 1/(14/5814) + 8/(-28). Let r = g + -287. Is 35 a factor of r?
False
Suppose 0 = 174*z + 96207 - 1936257. Is z a multiple of 6?
False
Let l be 1/4 + (-56)/(-32). Suppose 0 = q + l*q + v - 356, q + 2*v - 117 = 0. Does 24 divide q?
False
Let s(v) be the third derivative of 0 + 2*v**3 + 0*v - 7/8*v**4 - 5*v**2. Does 12 divide s(-3)?
False
Suppose -4*o = -4*a + 3625 + 9575, o = 3. Is 71 a factor of a?
False
Let j(c) = -c**3 + 40*c**2 - 57*c + 608. Is 70 a factor of j(31)?
True
Let i(k) = 5*k**2 - k + 1. Let t be i(1). Suppose 55*r - 4443 - 9912 = 0. Suppose -y = t*u - 239, -5*u - r = -y - 32. Does 39 divide y?
True
Suppose 4*w - 8*f = 7*w - 11440, 3*w - 11443 = -5*f. Does 24 divide w?
True
Does 8 divide 3 - (-8772 + -9 + (0 - (-4)/(-4)))?
False
Let z be ((-16)/56)/(1/(-7)). Suppose -72 = -2*q + 3*t + t, 0 = -5*q - z*t + 132. Suppose 0 = b + d - q, 5*d - 4*d = -2. Does 4 divide b?
False
Is (573/(-4))/((-77)/616) a multiple of 9?
False
Let t = 64453 - 21408. Does 25 divide t?
False
Let n(g) be the third derivative of 7*g**5/30 - g**4/24 - g**3/3 - 34*g**2. Suppose 4*q - v = 2*q - 8, v = 4. Is 10 a factor of n(q)?
False
Let r(h) = -847*h + 1232. Is 11 a factor of r(-8)?
True
Let b = 3503 + 3312. Is b a multiple of 8?
False
Let m(a) = 8 + 60*a - 11 - 45 + 348*a. Does 9 divide m(1)?
True
Suppose -41331 = 10*i + 13*i. Let y = i - -2781. Is y a multiple of 17?
False
Let u be 358/(-7) - ((-4)/14)/2. Let c = -46 - u. Suppose c*k - 96 - 64 = 0. Is k a multiple of 8?
True
Let j = 169 - 160. Suppose 342 = 11*v - j*v. Is 6 a factor of v?
False
Suppose -14*k + 288528 + 60446 = -7830. Does 13 divide k?
False
Let t(l) = 19*l - 523. Let w be t(29). Let z be ((-27)/(-12))/((-1)/8). Let k = w + z. Is 10 a factor of k?
True
Suppose -4*f - 2*j = -f - 21, -3*f - 3*j = -24. Suppose -4*o - g = -73, -f*o + 3*g + 58 + 29 = 0. Is o a multiple of 3?
True
Suppose 0 = -6*p + 1912 + 872. Suppose 463*c = p*c - 374. Does 17 divide c?
True
Let x = 1