k = -41. Let c = 121 + u. Suppose -2*a + 2*d = -58, -d = 3*a + 3*d - c. Is a a multiple of 10?
False
Let v = -563 - -187. Let q = v - -568. Does 48 divide q?
True
Let g(w) = 3*w - 84. Let s be g(29). Is 20 a factor of ((-38)/s)/(1/((-750)/20))?
False
Let f = -36724 + 42304. Is 2 a factor of f?
True
Let s = 59 + -50. Let w(l) = -2 + 6*l - 8 - 2*l**3 + 0*l**3 + 3 + 18*l**2. Is 8 a factor of w(s)?
False
Let z(x) = x**2 - 35*x + 457. Is z(57) a multiple of 16?
False
Suppose -3*i - 61 + 85 = 0. Let y(p) = 229*p - 229. Is y(i) a multiple of 75?
False
Suppose 5*y = -4*d + y + 344, 0 = -3*d + 2*y + 253. Suppose d = 5*q - 220. Does 24 divide q?
False
Suppose 9*j + 2193900 = 176*j + 39*j. Is 50 a factor of j?
True
Let q be 30/20 + (-350)/(-4). Let p = 87 - q. Is 14 a factor of p - (-9)/(-2)*1940/(-30)?
False
Let m(n) = n**3 + 2*n**2 - 67 + 4*n + 6*n**2 - 12*n + 21*n**2. Does 15 divide m(-29)?
True
Suppose -4*n - 80 = -3*q, -70 = -3*q + 7*n - 5*n. Suppose q*s = 25*s - 835. Is 25 a factor of s?
False
Let c(r) be the first derivative of -4*r**2 + 10*r + 6. Let t(x) = x**3 + 33*x**2 - 33*x + 30. Let o be t(-34). Is c(o) a multiple of 11?
False
Let u(m) = 49*m**3 + 5*m**2 - 10*m + 15. Let d be (15/(-6))/(4*25/(-80)). Is u(d) a multiple of 37?
True
Let l be (0 - (-1 + -1))/(5 - 7). Let o be (l + (-4)/(-4))/2. Suppose o = a - 4, 180 = h + 2*a - 7*a. Does 20 divide h?
True
Let v(r) = -r**2 - 12*r + 26. Let f be v(-14). Let q be (f + -1)*(-143)/39. Suppose 0*z + q = z. Does 11 divide z?
True
Suppose x + 4 - 14 = -2*j, -j - 5*x + 14 = 0. Suppose 0 = -3*o + o - 2*o, 4*o = -5*t. Suppose t*s + j*s = 8, -2*s = -q + 1. Is q a multiple of 2?
False
Let m = -70 + 73. Suppose m*f = -f - 2*c - 80, -3*f - 53 = -2*c. Let s(k) = -k**2 - 20*k - 6. Is 12 a factor of s(f)?
False
Let j(i) = -12*i - 19. Let v be j(-10). Suppose 0 = -5*k + 6*k - v. Is 9 a factor of k?
False
Let m = 49 + -44. Suppose -7*n + 62 = -d - 4*n, m*d = 3*n - 274. Let c = 131 + d. Does 13 divide c?
True
Let q be 18/4*((-30)/9 - -2). Is 109 + (-4)/(q - -2) a multiple of 11?
True
Let d(i) = 2*i - 5. Let u be d(5). Suppose 0*m - u*m + 40 = 0. Is -3 + (-1058)/(-14) - m/14 a multiple of 8?
True
Let t = 37 + -33. Suppose 2*j - 418 = -j + 2*h, t*j + 4*h = 564. Does 35 divide j?
True
Let n = 16 + -14. Suppose 6*x - 3 = 3*x, -3*b = n*x - 107. Suppose -4*h = -4*o + 36, -3*o + h = -0*h - b. Is o a multiple of 13?
True
Let h = 5 - 5. Let u(i) be the second derivative of i**3/6 + 97*i**2/2 + i + 4. Is 12 a factor of u(h)?
False
Let b(a) = 3*a**2 - 22*a + 9. Let p be b(7). Suppose -5*m + 2050 = -q - p*q, -5*m + 2015 = 4*q. Does 39 divide m?
False
Is 79 a factor of 1/1 - ((-9)/21 + 6325736/(-644))?
False
Let j = -104 + 282. Suppose 0*b - j = 2*b. Let l = b - -103. Is 4 a factor of l?
False
Suppose -34*d = -19*d - 35280. Suppose 37*y - 43*y + d = 0. Is y a multiple of 4?
True
Suppose -j = -x + 2 + 4, 2*x - 3*j - 11 = 0. Suppose -5*a = -2*d - 192, 2*d - x*d = -a + 20. Is (-1 - -1 - -15)*144/a a multiple of 9?
True
Let u(l) = l**2 - 20*l + 66. Let n be u(15). Is ((-63)/(-6))/(5*n/(-210)) even?
False
Let v = -179 + 182. Suppose -10 = -2*n, 2*n = y - v*n - 462. Is 55 a factor of y?
False
Suppose 20*q + 7*q = 62640. Is (9/4)/(87/q) a multiple of 4?
True
Let l(j) = -j**3 + 7*j**2 + 3*j - 18. Let f be l(7). Suppose 0 = -o - 4, -204 = q + q - f*o. Is -6*(3/(-9) - 0) - q a multiple of 22?
True
Let a(v) = 45*v + 27. Let y = -231 + 236. Is 36 a factor of a(y)?
True
Let x(l) = -l**3 - 21*l**2 + 24*l + 30. Let b be x(-21). Let v = 273 + b. Let u = v + 407. Is u a multiple of 35?
False
Let q(k) be the third derivative of -k**6/120 - k**5/5 + 7*k**4/24 - 20*k**3/3 - 6*k**2. Suppose -16*t + 14*t = 28. Does 45 divide q(t)?
False
Let h = 6830 - 3193. Does 10 divide h?
False
Suppose -5*z + 87020 = -5*y, -2*z - 2*y + 38807 - 3983 = 0. Is z a multiple of 64?
True
Suppose -4*y + 4*f + 68357 = -7235, 75598 = 4*y - f. Does 100 divide y?
True
Let f(g) = 325*g + 3724. Is f(98) a multiple of 23?
False
Let m be -15*(36/10 - (24 + -20)). Let f(c) = 13*c**2 - c - 1. Does 14 divide f(m)?
False
Let u(q) = q**3 + 52*q**2 - 473*q + 153. Does 14 divide u(-55)?
False
Let d(c) = 24*c**2 - 8*c + 10. Let y be (-1)/(56/(-58) + 1). Let m = 31 + y. Does 15 divide d(m)?
True
Let p = -1428 - -2508. Suppose 12*n - p = 8*n. Does 9 divide n?
True
Suppose 0 = 2*b - 2, 5*b + 109 = -0*c + 3*c. Suppose 0 = c*g - 1602 - 9342. Is g a multiple of 36?
True
Let j be (-4 - -6) + 1*-2. Suppose -4*s - 12 = -h, -6*h = -9*h - 3*s + 21. Suppose j = h*x - 3 - 277. Does 7 divide x?
True
Let x(k) = 15*k + 99. Let o(r) = -r - 3. Let j(i) = -120*o(i) - 5*x(i). Is 15 a factor of j(19)?
True
Let y = 21 + -14. Let c(d) = 20*d + 10. Let u be c(y). Suppose -u = -4*f + 10. Does 18 divide f?
False
Let y = -191 - -147. Does 3 divide ((-18)/4)/(11/y)?
True
Let z = -885 + 468. Let v = z + 1257. Is v a multiple of 21?
True
Let z be (-8042)/(-12) + -4 + 92/24. Let m = z - 348. Is 66 a factor of m?
False
Let g(l) = 2557*l**2 - 39*l - 64. Does 17 divide g(-5)?
True
Is 59 a factor of (-744)/(-372) - (-5615)/1?
False
Let g(v) = 2*v**3 + 20*v**2 - 31*v - 14. Let y(d) = 3*d**3 + 41*d**2 - 62*d - 28. Let a(h) = -5*g(h) + 3*y(h). Is a(18) a multiple of 83?
False
Does 89 divide -1 + -7 + 11 + (4035 - (9 + -6))?
False
Is 7*(-11)/((-1078)/81452) a multiple of 24?
False
Let t = 15945 - 832. Does 64 divide t?
False
Let f(l) = 2*l**3 - 9*l**2 - 5*l - 8. Let z be f(6). Let o = z + -20. Is o a multiple of 26?
False
Is 20 a factor of (40/(-14))/((-45)/23625)?
True
Let x(m) = -45*m - 90. Let t = 572 - 591. Is x(t) a multiple of 15?
True
Suppose 3*d = -5*i - 221, -4*i + 9*i - 271 = 3*d. Let f = 82 + d. Suppose -55*p + 57*p - 480 = f. Does 20 divide p?
True
Suppose -237*x = -233*x + 12. Is 10 a factor of (-2 - -1 - x) + (188 - 0)?
True
Suppose -60*n = -43*n - 105859. Does 13 divide n?
True
Let l be ((-146)/4)/(-1 - (-42)/44). Let k(y) = -2*y**3 - 2*y**2 + 4*y + 5. Let r be k(-2). Suppose 4*c = 5*x - 827, -3*c = r*x + c - l. Is 34 a factor of x?
False
Suppose -32*t + 23589 = -17147. Suppose -3*w = -5*o - 0*o + t, -4*o + 2*w = -1018. Is 25 a factor of o?
False
Let y = 55656 - 30232. Is y a multiple of 7?
True
Suppose 3*m + 39 = -171. Let j = -1 - m. Does 11 divide j?
False
Suppose -23*u = 7*u - 38447 - 51553. Is 196 a factor of u?
False
Is 72 a factor of ((-126365)/(-15) + -5)/(3 - 32/12)?
False
Let m be 11/(440/192) + 2/10. Suppose 0 = -4*n + 5*g + 1180, -m*n = g + 4*g - 1475. Is 5 a factor of n?
True
Is (27649/(-38) - 12/(-114))*(-104)/10 a multiple of 193?
False
Let w = -1813 - -3541. Is w a multiple of 24?
True
Let n(a) = -2*a**2 + 13*a - 5. Let q be n(5). Suppose 5*s - 5*w = -q, 2*s + 5*w - 20 = 11. Suppose -s*y = -11*y + 240. Does 15 divide y?
True
Suppose 5*x = p - 6374, 13*p - x - 25534 = 9*p. Does 21 divide p?
True
Let f(q) = -112*q**3 + 2*q**2 - 1. Let g be f(-1). Suppose 2*x = g + 7. Suppose -156 = -3*p + x. Is p a multiple of 24?
True
Let l = 79242 - 36792. Is 75 a factor of l?
True
Suppose 0 = -r + 4638 + 5554. Is 49 a factor of r?
True
Let h(v) = -v**3 + 13*v**2 - 4*v + 531. Is 226 a factor of h(-13)?
False
Suppose -46 = -30*k - 466. Let r(h) = 3*h**2 + 13*h + 34. Is r(k) a multiple of 22?
True
Let f = 114 + -4. Let u be (-2)/11 + 69320/f. Is 6 a factor of ((-6)/(-15))/(7/u)?
True
Suppose 4*o = 2*h - 98, 5*h + 93 = 5*o - 8*o. Let q = o + 29. Suppose 5*u = -5*g + 200, -g - q*u = -3*g + 60. Is 36 a factor of g?
True
Let r(c) = -c**3 + 22*c**2 - 67*c + 146. Is 2 a factor of r(17)?
True
Let r be (9 - 1)/(565/(-115) - -5). Suppose 5*p = 7*p - r. Suppose 2*d - p - 202 = 0. Is d a multiple of 31?
True
Let c = 1609 + 3942. Is 13 a factor of c?
True
Let u(b) = -50*b - 49. Let l be u(-8). Let z be -6*(0 + -1 + l/6). Let y = z + 617. Is y a multiple of 26?
False
Suppose -5*f + 96 = 6*c - 2*c, 4*c - 2*f - 124 = 0. Is 46/(-2)*(8 - c) a multiple of 14?
False
Let j = -35747 + 117182. Is 57 a factor of j?
False
Is ((-14)/21)/(20/130 + (-361857)/2351817) a multiple of 11?
False
Let c(a) = -a**3 - a**2 - 3*a + 16. Let y be c(8). Let z = 291 - y. Is 34 a factor of z?
False
Let z(f) = 5*f**3 + 16*f - 6. Is 7 a factor of z(4)?
True
Let j(k) = 4*k - 72. Let a be j(20). Suppose 5*y + 243 = -6*g + a*g, 0 = -3*g + 3*y + 351. Doe