multiple of 193?
False
Let f(n) = 2*n**2 + 19*n + 32. Let r be f(-2). Suppose 686 + 108 = r*h. Is h a multiple of 66?
False
Let y = -88 + 91. Let l(s) = 15*s**2 - 9*s - 20. Let a(k) = -5*k**2 + 3*k + 7. Let u(c) = y*l(c) + 8*a(c). Is u(-3) a multiple of 17?
False
Suppose 0 = -2*r + 9 + 5, 4*b + 4*r - 22040 = 0. Is b a multiple of 44?
False
Suppose -156 + 191 = 7*c. Suppose -3 = -2*u - 7, u = c*x - 402. Is x a multiple of 16?
True
Let u = -33 + 38. Suppose 0*q + 5412 = 5*q + 4*s, -u*q = 3*s - 5414. Does 57 divide q?
False
Suppose 2*l - 19 = -57. Let o(q) = -18*q**2 + 1. Let z be o(-2). Let w = l - z. Is 13 a factor of w?
True
Let v(l) be the first derivative of 19/3*l**3 + 5 - 1/2*l**2 + 0*l. Is v(-1) a multiple of 10?
True
Suppose 0 = -3*u + 5 + 13. Suppose 3*n + 27 = 3*o, 5*o - 24 = -3*n - 11. Suppose o*v = u*v - 41. Does 19 divide v?
False
Let n(i) = -i**2 - 19*i + 13. Let x = -56 + 36. Let w be n(x). Let s(b) = -b**3 - 8*b**2 - 14*b + 1. Does 10 divide s(w)?
True
Let s be (-42)/21 + 1*11. Suppose 4*q - 8*q + 48 = 0. Suppose -s*a + q*a = 36. Does 3 divide a?
True
Suppose 0 = 190*v - 5976289 + 1167199. Is v a multiple of 11?
True
Let d(z) = -z**3 - 3*z**2 - 4*z - 2. Let r = -91 + 89. Let x be d(r). Suppose -x*k + 48 = 2*m, 5*m - 4*m - 40 = 3*k. Is 14 a factor of m?
True
Suppose -468 = 5*s + 4*c, 375 = -4*s + c - 4*c. Let g = 320 + s. Is g a multiple of 24?
False
Let r(j) = -3*j**2 - 3*j + 7. Let n(m) = 2*m**2 + 2*m - 5. Let h(k) = -7*n(k) - 5*r(k). Let c = -33 - -28. Is h(c) a multiple of 12?
False
Let t(h) = -31*h + 2273. Is t(40) a multiple of 2?
False
Let m = -1994 + 2282. Suppose 4*k - 5*u + 5 = 0, -k = -5*u - 3 + 8. Suppose -300 = -5*z + 5*o, -5*z + 10*z - 2*o - m = k. Is 14 a factor of z?
True
Let u = 190 - 186. Is 46 a factor of 193770/210 + u/14?
False
Let q(v) = -757*v - 3207. Is q(-15) a multiple of 14?
True
Let t(m) = -m**3 + 4*m**2 + 4*m + 5. Let z be t(5). Suppose c - 220 = -215. Suppose z*x + 4*p + 128 = c*x, -5*x - 5*p + 110 = 0. Is 5 a factor of x?
False
Suppose 1211 = -6*w + 9869. Is w a multiple of 37?
True
Suppose -6*u = -3*w - 3*u + 24, 0 = -w + 5*u. Suppose a - w = -a - 4*x, -5*x = 4*a - 20. Suppose 0 = a*b - 10*b + 315. Does 8 divide b?
False
Suppose -24*s = -27*s - 450. Does 3 divide (-6810)/s - 4/10?
True
Let o = -176 + 148. Let g = 48 - o. Is 19 a factor of g?
True
Suppose 0 = -5*n + n - 88. Let q = n - -31. Let i = q + 18. Does 9 divide i?
True
Suppose -26 + 44 = 9*w. Suppose -k + w = 2. Suppose 4*i = -o + 256, k*o + o = 2*i + 226. Is o a multiple of 59?
True
Let o be -14*(2 - (-3 - -7)). Let b = -26 + o. Suppose s + 4*z = -b, 3 - 1 = s + 3*z. Does 9 divide s?
False
Let t(d) = 5*d**2 - 35*d + 37. Let l be t(14). Let y = l - 489. Does 36 divide y?
False
Is 126 a factor of 8*-1 + 2093286/141?
False
Suppose -2*n + 15 = 3*n. Suppose 72 = 3*u - 2*g - n*g, 0 = 3*g. Suppose 0 = 4*s + 5*r - 6, 4*s - u = 3*r + r. Is s a multiple of 4?
True
Let n(s) be the first derivative of s**4/4 + 8*s**3/3 + s**2/2 + 7*s - 20. Let j be n(-9). Is 15 a factor of j*((-1)/3)/(1/3)?
False
Suppose -30*k + 33*k - 2067 = -c, 3*k - 2067 = 5*c. Does 53 divide k?
True
Let r(d) = 1217*d - 4235. Does 28 divide r(51)?
False
Let r = 14 + 17. Suppose -32*f + r*f + 1651 = 0. Is f a multiple of 13?
True
Let o(s) = -59*s + 246. Let c be o(-6). Let f = c - -7. Is 21 a factor of f?
False
Let k(n) = n**2 + 7*n - 20. Let p(j) = -3*j - 36. Let s be p(-12). Suppose m + 12 + s = 0. Does 10 divide k(m)?
True
Let r(u) = -u**2 - 3*u + 3. Let s be (-23)/3 + (-11)/33. Let y be r(s). Let c = y - -75. Is c a multiple of 19?
True
Let b(v) = v**3 + 4*v**2 + 5*v + 1. Let o be b(-1). Is 15 a factor of o + 2 + (8 - 7)*209?
True
Let i = -3131 - -9934. Is i a multiple of 73?
False
Let v be (108/(-252))/(3/(-3759)). Suppose -964 = -5*n + 4*g, v = 4*n + 5*g - 267. Is n a multiple of 4?
True
Let o(k) = -8*k**2 + 0*k**3 + 2*k**3 + 7*k + 7*k + 1. Does 24 divide o(6)?
False
Let c = 1526 - -47. Is c a multiple of 11?
True
Suppose b + 0*b = t + 42, 9 = -3*b. Let y be (-5)/t*6*195. Let u = -93 + y. Does 5 divide u?
False
Let r(w) = -48*w + 8. Let k be r(2). Let q be 4/(-10) + k/(-20). Suppose 0 = -q*n - n - 5, -2*j + 4*n = -54. Is j even?
False
Let x = 2508 + -2607. Let g = -35 - -17. Does 38 divide 1676/22 - g/x?
True
Suppose -d - 5*o + 372 = -2*o, 0 = d - 3*o - 354. Let c = d + -339. Is c a multiple of 24?
True
Let d = -152 - -160. Let p(f) = -f**3 + 11*f**2 + 12*f - 17. Is p(d) a multiple of 33?
False
Let z = -107 - -121. Suppose 3*l - 53 = -z. Suppose -l*t - 400 = -18*t. Is 14 a factor of t?
False
Suppose 4*x - 6*x = -4*l - 2, 0 = -2*l + 2*x - 6. Does 68 divide l - ((-45)/36)/((-1)/(-488))?
True
Suppose 83*r + 71*r - 142142 = 0. Does 71 divide r?
True
Let v = 22790 - 10630. Does 47 divide v?
False
Suppose 5*f - 51490 = 3*j - 6011, -3*j = 3*f - 27321. Is 10 a factor of f?
True
Let l = -5612 + 11881. Is 51 a factor of l?
False
Let x be (3 + -6 - 0) + 8. Let w(j) = 12*j - 39. Let g(q) = 7*q - 20. Let k(f) = 5*g(f) - 3*w(f). Does 3 divide k(x)?
True
Does 49 divide ((-399)/(-1026) - 2/(-18))*(-68220)/(-6)?
False
Let k = 142 - 55. Suppose -k = -w + 131. Suppose 0 = 5*n - w + 3. Does 43 divide n?
True
Let l(f) = -41*f**3 + 2*f**2 + 9*f - 5. Let p(g) = -g**2 - g - 1. Let x(s) = l(s) + p(s). Does 57 divide x(-3)?
False
Let u(r) = -4*r - 96. Let n be u(-25). Suppose -2*l - 4*j = -322, n*l - 7*j = -2*j + 696. Is 14 a factor of l?
False
Let x(g) = 2*g**2 - 2*g - 62. Let c be x(6). Suppose -b + 10 = -4*j - 3*b, 0 = -5*b - 5. Is (j + (-5)/c)*4 even?
True
Suppose -2*p = -4, -4*i - 4*p + 35 - 7 = 0. Suppose -18*f = i*m - 19*f - 1177, 5*m + 2*f - 1171 = 0. Does 47 divide m?
True
Suppose -17*y + 354 = -16*y - 4*q, 0 = 5*q - 10. Let z = 830 - y. Is z a multiple of 43?
False
Is -144*4/(40/(-2235)) + (-16)/2 a multiple of 16?
True
Suppose -234*p + 174*p + 31984 = -128816. Does 34 divide p?
False
Let f(k) = 7*k**3 - k**2 + 1. Let y be f(1). Let p be (y + -130)*2/6. Let t = p + 62. Does 8 divide t?
False
Let i be (60/8 + -5)*2. Suppose 5*h + 3*g = g + 2289, -i*g = 3*h - 1362. Suppose 0 = 3*f - h + 96. Is f a multiple of 43?
False
Does 20 divide (57 - 2)*132/121?
True
Let f(p) = -2*p**3 - 2*p**2 - 44*p + 9540. Is 15 a factor of f(0)?
True
Let r be (-12 - (-5376)/(-9))*-3*2. Suppose -6*x + 2470 = -r. Does 9 divide x?
False
Let v = -70 + 835. Does 62 divide v?
False
Let l(j) = -j. Let i(y) = 7*y + 13. Let d(g) = -2*i(g) - 6*l(g). Let v be d(-5). Suppose -v*o = -11*o - 360. Is 40 a factor of o?
True
Suppose 9*t = 14*t + 5*k - 106790, 0 = -t - 4*k + 21352. Is 30 a factor of t?
True
Suppose 6*q - 541 - 113 = 0. Let h = 212 - q. Is h a multiple of 5?
False
Let i = -330 + 330. Suppose i = -62*y + 76*y - 770. Is 17 a factor of y?
False
Let p(j) be the second derivative of 3/10*j**5 + 0 - 1/2*j**2 + 6*j - 1/12*j**4 + 1/3*j**3. Is p(1) a multiple of 6?
True
Let n be (-2)/12 - 13/(-6). Suppose -n*s - 81 = -5*s. Suppose -26*o = -s*o + 18. Is 9 a factor of o?
True
Let f(g) = -12*g**2 + 868*g + 327. Is 4 a factor of f(65)?
False
Suppose 5*c + 7*v - 8*v - 203838 = 0, 4*c - 4*v - 163064 = 0. Does 49 divide c?
True
Let b(a) = -a**3 - 12*a**2 - 21*a - 6. Let h = 609 - 619. Does 3 divide b(h)?
False
Let h = -43992 + 43977. Let t be 103 + (1 - 1)/1. Let k = h + t. Is 11 a factor of k?
True
Let p = -531 + 753. Let c be 12*(-2 + 24/9). Suppose 138 = c*y - p. Does 9 divide y?
True
Let i(z) be the third derivative of 13*z**4/12 + z**3/3 - 29*z**2. Let b be i(10). Does 43 divide -4 - (-4 - (-4 - b/(-1)))?
True
Is ((-2958)/4)/(12/(-14)*(-1008)/(-2304)) a multiple of 14?
False
Let o be 0/(-6) + 1 + 139. Let c = -64 + o. Let l = c - 26. Is l a multiple of 14?
False
Suppose 0 = -o - 3*m + 1196, 2*o + 5*m - 951 = 1441. Suppose -460 = -12*a + o. Does 6 divide a?
True
Suppose 6*k - 13 = -7. Is (-2*(-15)/10)/(k/53) a multiple of 6?
False
Let i = 102 - 90. Suppose -734 - 670 = -i*s. Is 11 a factor of s?
False
Let f(c) = c**3 - 51*c**2 - 88*c - 399. Is f(53) a multiple of 2?
False
Let y = -136 - -71. Does 91 divide 210*(-16)/120*y?
True
Let q(s) = s + 51. Let u be q(-32). Let l(h) = 5*h**2 - 24*h + 19. Is l(u) a multiple of 61?
False
Let h(y) = 5*y**2 + 31*y + 10. Let p be h(10). Suppose 10*b - p = 830. Is b a multiple of 7?
False
Let v