ue
Let k(s) = -3*s**2 - 11*s + 19. Let c be k(-19). Let q = c + 1312. Does 25 divide q?
False
Let p = 1784 - 1590. Let i(w) = -34*w**2 - 2*w + 2. Let a be i(2). Let v = p + a. Does 8 divide v?
True
Let x(b) = b**2 - 26*b + 23. Let o be x(22). Suppose -5*y = 361 + 124. Let z = o - y. Is 16 a factor of z?
True
Suppose 0 = 5*m + 7*z - 3*z - 8, -4*m + 3*z + 25 = 0. Suppose -4*a + 1278 = -m*g + 2*g, -g = a - 324. Is a a multiple of 20?
False
Let x be 224/80 + (-4)/5. Suppose 0 = 7*d + x*d - 2916. Does 5 divide d?
False
Suppose -6*u - 6 = -18. Suppose -g + 4*l + 3380 = 2*g, -u*g + 2235 = l. Is 25 a factor of (0 - (-5)/(-4))/((-14)/g)?
True
Let m be 4 + (-2)/7 + (-25)/35. Suppose -g - o = 1 - m, 0 = 2*g - o + 2. Suppose g = 3*a - 24 - 39. Does 21 divide a?
True
Let j(r) = -3*r**3 - 9*r**2 + 45*r + 99. Is 64 a factor of j(-9)?
True
Let u = 53345 - 25045. Is 292 a factor of u?
False
Let m(f) = 2733*f**2 + 51*f + 6. Does 160 divide m(2)?
True
Let s(x) = -8*x + 4*x - 96 - 4*x - 3*x + 1. Is 24 a factor of s(-13)?
True
Let m = -313 + 301. Let j(o) = o**2 - 3*o + 7. Let u be j(8). Let v = u + m. Is v a multiple of 7?
True
Suppose -v + 5202 = -5*y, 3*v + 85*y - 15623 = 83*y. Is v a multiple of 165?
False
Let s(d) = 10*d - 9*d - 9*d + 35. Let c be s(8). Is 4 a factor of -2 - ((-4 + 2 - -3) + c)?
False
Suppose -11*v + 12*v - 71264 = y, -2*y = -10. Is 248 a factor of v?
False
Let j(h) = 191*h + 655. Is j(0) a multiple of 5?
True
Is ((-6336)/(-165))/16*(-82950)/(-4) a multiple of 70?
True
Suppose 5*m + d - 13982 = 0, -5*d - 6 = 9. Suppose 3*v - 2794 = -5*f, -m = -3*v + 2*f - 4*f. Is 57 a factor of v?
False
Let g(k) = -220*k - 4. Let m(f) = f - 1. Let v be m(0). Is 18 a factor of g(v)?
True
Suppose 0 = 14*y + 32*y - 83232 + 28032. Is y a multiple of 8?
True
Suppose 3*v - 3*a - 4551 = 0, -7595 = -5*v + 5*a - 10*a. Is v a multiple of 2?
True
Is 45 a factor of 12*(-1)/((-20)/10565) - 60/(-10)?
True
Let o(v) = 53*v - 199. Let b(g) = -2*g. Let a(r) = -3*b(r) + o(r). Is a(11) a multiple of 10?
True
Let j(h) be the second derivative of 15*h**4/2 - h**3/2 - 5*h**2/2 + 51*h. Is j(-2) a multiple of 19?
True
Let g(o) = 9*o**2 - 46*o + 381. Does 45 divide g(12)?
True
Let y(b) = -336*b - 1572. Is 123 a factor of y(-9)?
False
Let w be (24/72)/(2/(-60)). Let i(f) = 3*f + 90. Does 14 divide i(w)?
False
Let b be -2 + -1 + 2 + 6. Let d be (1 - -41)*21/63. Let a = d - b. Does 3 divide a?
True
Let y(b) = 2*b**2 - 55*b + 130. Let j = 143 + -113. Is 14 a factor of y(j)?
True
Let x(u) = u**3 - 9*u + 6. Let k be x(3). Let b = -145 - -305. Suppose -8*t + b = -k*t. Is t a multiple of 20?
True
Suppose 0 = 2*o + 16, -3*s - 2*o = -s - 5924. Is 3 a factor of s?
True
Suppose -w - 4*s = -668 - 1424, 8313 = 4*w + 5*s. Is 56 a factor of w?
True
Let v = -160 - 532. Let d = -487 - v. Suppose 5*u - 206 = -p, -4*u - 25 = -3*p - d. Does 6 divide u?
True
Let j = -36 + 89. Suppose 0 = 4*f + 21 - j. Suppose u - f = -b, 2*b + 5*u - 7 = -3. Does 3 divide b?
True
Let a = -82 + 4649. Is 13 a factor of a?
False
Is 17 a factor of 0 + 591360/300 + ((-12)/(-5))/3?
True
Let d(y) = -y**3 - 7*y**2 - y - 4. Let p be d(-7). Suppose 4*n + 4*w = 5096, 5*w = p*n - 1317 - 2513. Is n a multiple of 13?
False
Let q(k) = -k + 9. Let s be ((-9)/(-6))/((-3)/(-18)). Suppose -s*w - 16 = 29. Is q(w) even?
True
Suppose 12*m - 21*m + 18 = 0. Suppose -m*a - 23 = -143. Is a a multiple of 5?
True
Suppose 0 = -35*g + 31944 + 6451. Is g a multiple of 13?
False
Suppose 0 = 3*l + 5*d - 27, 14 = 5*l + d - 3*d. Let z(v) = -169*v + 10. Let f be z(l). Is 5 a factor of 6/21 + -1*f/21?
False
Is 11 a factor of (30/135 - 62402/(-18)) + -2?
True
Let j(u) = -8*u**2 + 2*u + 75. Let h(b) = -18*b**2 + 4*b + 150. Let r(l) = 2*h(l) - 5*j(l). Does 21 divide r(-12)?
True
Suppose -134*d + 40372 = -130*d + 2*h, -2*d = -h - 20174. Is d a multiple of 77?
False
Suppose 0 = 2*v + 4, v - 6 = -m - v. Suppose 609 = m*d - 411. Is 6 a factor of d?
True
Let t(j) = -34*j**3 + j + 1. Suppose -114 + 2 = 4*b. Let i = -29 - b. Is t(i) even?
True
Let y be -1 - -2 - (-1 + -78). Let k = -51 + y. Let q = k + -25. Is q a multiple of 4?
True
Let c = -7401 + 17893. Is 43 a factor of c?
True
Suppose -3850 = -36*c + 58*c. Let s = c + 375. Does 15 divide s?
False
Let f = -3816 + 4557. Does 10 divide f?
False
Suppose -2*s - 3*d + 61 = -s, -4*s - 2*d = -264. Suppose -s = -6*g + 485. Suppose 10*t + 12 = g. Does 4 divide t?
True
Let f be (-16)/10*(-330)/44. Suppose f*o + 205 = 7*o. Let k = -36 - o. Is k a multiple of 5?
True
Suppose 0 = 2*q + 2*q - x - 57, q - 3*x - 28 = 0. Suppose 0 = t - q - 151. Does 9 divide t?
False
Is 15 a factor of -35*(-18)/(-360) + (-41894)/(-8)?
True
Suppose 0 = 10*j - 17*j + 105. Suppose -r = 5*p - 524, 11*p - 8*p + j = 0. Does 61 divide r?
True
Let o(l) = -l**3 + 2*l - 1. Let k be o(-2). Suppose 22*t = 21*t - k. Is 20 a factor of (-27 + t)*12/(-9)?
True
Let h(x) = -6*x**2 + 33*x - 11. Let o be h(5). Does 11 divide ((-3)/(-9))/(o/2220)?
False
Let v(g) = -3*g - 35. Let h(l) be the second derivative of l**3/3 + 23*l**2/2 + 15*l. Let q(j) = 8*h(j) + 5*v(j). Is 17 a factor of q(8)?
True
Suppose -4*i = -3*f - 67, 4*i + f = 3*i + 8. Let u(d) = d**3 - 15*d**2 + 10*d + 13. Let y be u(i). Let k = -54 - y. Does 47 divide k?
True
Let z(o) = o**2 + 10*o - 8. Suppose 150*g = 154*g - 8. Suppose -4*t - g*s + 20 = 0, -2*s + 15 = -0*t + 3*t. Is z(t) a multiple of 12?
False
Let p(v) = -20*v**2 - 18*v - 1. Let b be p(-5). Let d = b + 556. Is 18 a factor of d?
False
Suppose -4*x + 6 = -0*x + 2*a, -5*x = 5*a - 20. Let b = 1 + x. Suppose 2*w + 8*w - 240 = b. Does 24 divide w?
True
Suppose f = -3*z + 37, -z = 2*f - 3*z - 42. Suppose f + 710 = 7*t. Is t a multiple of 25?
False
Suppose 0 = s - 3*b - 359, 4*s - 2094 = 4*b - 642. Suppose 3*v + d - 1149 = s, -3*v = 5*d - 1498. Does 46 divide v?
True
Suppose -335 = -3*d + d - u, -5*u + 840 = 5*d. Suppose -5*n + 313 = 3*c, 5*n + d = 6*c - 4*c. Is c a multiple of 12?
True
Let r be (3/4)/(3*3/396). Suppose 3*b - r = 165. Let c = 141 - b. Is c a multiple of 5?
True
Suppose 27*g - 40786 - 38432 = 0. Suppose -2938 = -5*y - 10*l + 13*l, -5*y + g = -4*l. Is 25 a factor of y?
False
Suppose 130*f - 202346 - 1784242 = -148*f. Does 47 divide f?
False
Suppose -9*j + 2*j = -315. Suppose 63 + 69 = -4*d. Let r = d + j. Does 6 divide r?
True
Does 53 divide 44/(-66)*-130*477?
True
Let o(p) = -22*p - 33. Let q(t) = -t**2 + 11*t + 17. Let x be q(12). Let k(h) = -24*h - 34. Let w(s) = x*o(s) - 4*k(s). Is w(-6) a multiple of 17?
False
Is (-7)/(21/(-10602)) - (-11 - (-29 + 18)) a multiple of 7?
False
Let u = 73 - 70. Suppose -5*h + 2*g = 4*g - 303, 4*g = u*h - 161. Is h a multiple of 2?
False
Let a be 28/(-42)*(0 + -3). Suppose -z - a + 8 = 0. Suppose 0 = -4*p + x + 25, -3*x = -4*p - z*x + 21. Is p a multiple of 4?
False
Let s(u) = u + 16. Let v be s(-14). Suppose -4*y = 20, -v*o = -6*o + y + 5. Suppose o = 5*w - 12*w + 56. Does 8 divide w?
True
Does 17 divide 442/663 - 3/((-18)/12644)?
True
Let z(n) be the second derivative of -n**3 - 15*n. Let u(w) = -7*w - 1. Let o(g) = -4*u(g) + 3*z(g). Is 8 a factor of o(3)?
False
Let u be (-1)/((-4)/30 + (-30)/(-198)). Let c be (2/5)/1*u. Is 3 a factor of (c/(-121) + 376/(-11))/(-1)?
False
Let p = -3200 + 30192. Is p a multiple of 241?
True
Let l be (-3 - -2*25)*1 - 0. Let a = l - 35. Suppose -2*n = -72 + a. Is n a multiple of 27?
False
Let d(i) = 51*i**2 + 73*i - 2580. Is d(24) a multiple of 156?
True
Let i(z) = 3*z**2 - z - 15. Let b(h) = -5*h - 10*h**2 - 3*h**2 + 3 + 56 + 9*h. Let v(g) = 2*b(g) + 9*i(g). Is v(-6) a multiple of 5?
True
Let y be ((-4)/3)/(128/(-672)). Let a(d) = -d**3 - 8*d**2 + 6*d - 11. Let u be a(-9). Suppose -810 = y*j - u*j. Is 15 a factor of j?
True
Let d = 165 - 122. Suppose 0 = d*m - 24*m - 15922. Does 18 divide m?
False
Suppose -3*g - 399 = -3*j, -4*j - 5*g = -0*g - 514. Suppose -2*v = p + j - 578, -3*p - 443 = -2*v. Suppose -2*z + v + 107 = 0. Is 29 a factor of z?
False
Let j(c) = 14*c**2 + c - 4. Let l be j(13). Suppose -2*k = -k - 3*q - 479, -5*q = -5*k + l. Is k a multiple of 11?
True
Let p(m) = -37*m - 10. Suppose -2*x + 4*k - 4 = 0, 0 + 4 = x - 5*k. Does 53 divide p(x)?
True
Let n(j) be the first derivative of j**4/4 - j**3/3 + j**2 + 121*j + 7. Does 37 divide n(0)?
False
Suppose d 