 + 3*o + 5. Suppose 2*s - 5*u - 56 = h, -u + 41 = 2*s - 3. Is s a multiple of 7?
False
Let n(b) = 148*b + 1688. Is n(44) a multiple of 12?
False
Is 11 a factor of 96*((-1232359)/(-76))/37?
False
Let b(a) = 3*a**2 + 39*a - 15. Is b(-29) a multiple of 17?
True
Let k be (2/3)/((-10)/(-105)). Let y be (-7)/k*(0 + -5). Suppose 0*o - 2*t = -4*o + 320, 4*o - 334 = -y*t. Is 9 a factor of o?
True
Let o(t) = 8*t**2 + t + 38. Let f be 8/84 + 1030/210. Is o(f) a multiple of 42?
False
Suppose -10*x + 1275 = -625. Let g = x - 3. Suppose 5*o = 2*s - g, -5*o - 157 = -2*s - 6*o. Is s a multiple of 16?
False
Let r be (-4 - 27/(-6))*6. Let v be (-27)/r + (4 - 3). Is (-610)/v - 4/16 a multiple of 29?
False
Let m(q) = 1565*q**2 + 58*q + 183. Does 12 divide m(-3)?
False
Let b be ((-1166)/(-22))/(-1*(-2)/(-4)). Does 69 divide 3*(b/(-12) - 5)*36?
True
Suppose 3623 = 5*l + 5*w + 988, 2*w = 5*l - 2621. Is l a multiple of 105?
True
Let c be (-1)/((-99)/(-66)*(-4)/1794). Let u = c + 241. Is 36 a factor of u?
True
Suppose 24*b = 2*b + 484. Suppose 0 = b*f - 2488 - 4992. Does 17 divide f?
True
Let x(n) = -4*n**3 - n**2 - 75*n + 31. Does 183 divide x(-20)?
False
Suppose -2*i - 3*i + 5*y = -125, 71 = 3*i - 2*y. Let w = 20 - i. Is 25 a factor of (-5)/((-25)/1015) - (w - -4)?
True
Let l = 13871 + -6201. Does 27 divide l?
False
Let s be ((-5)/(-4))/((-5)/100). Is (-19780)/s + (-11)/55 a multiple of 50?
False
Let r(k) = k**2 + 11*k. Let a be r(-4). Let w be (8 - 2093/a)/((-1)/(-8)). Let d = -350 + w. Is d a multiple of 13?
True
Suppose 690 = 2*v - 3*z, 546*v - 549*v - 2*z + 1048 = 0. Does 2 divide v?
True
Suppose 0 = 429*y - 431*y + 4. Let h(f) be the first derivative of 10*f**2 + 9*f + 1. Is h(y) a multiple of 8?
False
Let b(l) = l**2 - 4*l + 2. Suppose 2*j + 14 = f, -j - 15 = -5*f - 2*j. Let v be b(f). Suppose 2*h - 68 = 5*r, 0*h - v*r = -2*h + 80. Does 22 divide h?
True
Suppose 27*j - 235220 = 151663. Does 7 divide j?
True
Suppose -4*n = -9*n + 10. Let i(w) = w**3 - 2*w**2 + 2*w - 1. Let q be i(n). Suppose -q*l + 96 = -228. Is 23 a factor of l?
False
Suppose 5*i = c + 34 - 24, 2*i + 131 = -5*c. Let h(g) = -5 - 7 - 2*g + 2. Is 10 a factor of h(c)?
True
Suppose -7*v + 603 = 2*v. Let h = -51 + v. Does 4 divide (h/16)/((-2)/(-46))?
False
Let z(c) = 185*c**2 - 218*c + 5. Does 13 divide z(-6)?
False
Suppose 2*h + 163 - 171 = 0. Suppose 0 = -h*u + l + 1268, 3*u + 951 = 6*u - 2*l. Suppose -u = -3*i - q + 310, 4*i = -4*q + 844. Does 48 divide i?
False
Suppose 52*k - 5*k = 1181204. Suppose -k = 59*g - 75872. Does 86 divide g?
True
Let v(u) = -u + 5. Let f(c) = -2*c + 7. Let i be (-1)/(1 - 2) - 6. Let p(r) = i*f(r) + 8*v(r). Is 7 a factor of p(9)?
False
Let n(x) = -2*x + 1. Let h(o) = 2*o**2 - 11*o - 5. Let q(u) = h(u) - 5*n(u). Is 7 a factor of q(-13)?
False
Let o be (-2 - (-2624)/(-6))/(54/(-81)). Let z = 779 + o. Does 97 divide z?
False
Let a(h) = -5747*h**3 - 63*h**2 - 63*h. Does 22 divide a(-1)?
False
Let q = 58 + -58. Let i be (-1 + 2 - q) + 53. Suppose -j - i = -5*p, -j = p + 1 - 13. Does 2 divide p?
False
Suppose 0 = -18*y + 17*y + 3. Suppose 51 = y*j + 24. Suppose 2*v + 106 = 2*a, 8*a - 2*v = j*a - 56. Is a a multiple of 7?
False
Suppose -4*h - 355 = 4785. Let s = -820 - h. Suppose 2*m + s = 7*m. Does 15 divide m?
False
Let l(v) = 20*v - 15. Let h be l(9). Suppose -h = -p - 4*p. Suppose 4*y = 2*y + 4*x + 48, -y = x - p. Does 3 divide y?
True
Suppose -2*d - 5 = 3*k, -5*k - 8 = 4*d + 3. Suppose k = 4*r + 9. Does 4 divide ((-1)/2)/(r*(-2)/(-48))?
False
Let z = -20 + 502. Suppose 2*n + 0*n - z = -4*b, -3*n = 2*b - 719. Suppose -4*t = -g - n, 5*t - 285 = -0*t + 4*g. Is t a multiple of 14?
False
Let h(j) = -j**3 - 44*j**2 - 43*j + 4. Let a be h(-43). Let u be (-1)/2 - (-201)/2. Suppose -a*i + u = -76. Does 11 divide i?
True
Suppose 4*b - 2 = 5*a, -5 = -b - 4*b + 5*a. Suppose -b*z - 12*z + 120 = 0. Suppose -6*w = -z*w + 210. Does 15 divide w?
True
Suppose u + 4*a = 2426, -6816 - 530 = -3*u + 5*a. Is u a multiple of 6?
True
Suppose -2*h + 2802 = -2*k, 2*h - 8*k - 2786 = -10*k. Let m = h + -704. Is 42 a factor of m?
False
Let x = 103 + -113. Is 30 a factor of (365/x + 1)*-2?
False
Let p(m) = -m**3 - 13*m**2 - 47*m + 1. Let b be p(-7). Suppose b*k - 3648 = 28*k. Is k a multiple of 10?
False
Let r(g) = 2*g**3 - 15*g**2 + 8*g + 1. Let h be r(8). Suppose 5485 = 13*b + h. Does 65 divide b?
False
Suppose -x = -6*p + 286110, 5*x + 143028 = 247*p - 244*p. Is p a multiple of 21?
False
Let z(s) = -2*s**3 - 46*s**2 + 12*s - 34. Let v(g) = g**3 + 45*g**2 - 13*g + 32. Let k(l) = 5*v(l) + 4*z(l). Is 47 a factor of k(13)?
True
Suppose 3*t = 15, -5*o + o - t - 31 = 0. Let i = o + 3. Is 2 a factor of (3/4)/(i/(-120))?
False
Let k(s) = -2*s - 6. Let p be k(-4). Suppose -4*h = p*q + q - 273, -2*q + 4*h = -182. Suppose 31 = -2*x + q. Is x a multiple of 15?
True
Let c(l) = 3 - 12*l**3 - 4 + 5 + 14*l**3 - 11*l + 10*l**2. Does 4 divide c(3)?
False
Suppose -361079 = -1827*q + 1798*q. Is q a multiple of 7?
False
Let d = -10407 - -11255. Does 8 divide d?
True
Suppose -i = -4*d + 55057, 12*i + 55058 = 4*d + 10*i. Does 93 divide d?
True
Suppose -4*q - 107108 = -2*x, -10*q - 53500 = -x - 14*q. Is 28 a factor of x?
True
Suppose 94*j - 48792 - 18425 = 50659. Is j a multiple of 114?
True
Let y = 6 - 3. Let l be (-805)/(-21) + 3/((-27)/y). Is 8 a factor of l/133 - (-1510)/7?
True
Is 49 a factor of 45/(-150) - (-277915)/50?
False
Let k(h) = -h**2 + 4*h + 33. Let i be k(-6). Is 3 a factor of i/(2 + -1)*(-74 - -73)?
True
Let j = 21 - -89. Suppose 0 = -5*v + 960 - j. Is 12 a factor of v?
False
Suppose 1731*y = 1735*y - 20, 0 = -3*m - y + 43040. Does 95 divide m?
True
Let o(a) = 2*a**2 + 84*a - 336. Is 120 a factor of o(36)?
True
Let t(x) = -2*x**2 + 8*x + 9. Let c = -58 + 72. Let b be t(c). Let r = b + 421. Is 12 a factor of r?
False
Let o = 5803 + -5369. Does 14 divide o?
True
Let v(f) = 23 - 8 - 8*f - 8*f + 5. Let p be v(-10). Is (4/10)/(543/p + -3) a multiple of 4?
True
Let r(b) = -b**2 + 151*b - 1737. Is r(43) a multiple of 14?
False
Let p = 10483 + -6947. Is p a multiple of 34?
True
Suppose 22740 = 16*v + 6612. Does 5 divide v?
False
Suppose 0 = -3*y + 2*l + 25, -2*l = -2*y + 5*y - 41. Let z(a) = -a**3 + 11*a**2 + 16*a - 6. Does 17 divide z(y)?
True
Let z(m) = -168*m + 5808. Is z(-34) a multiple of 160?
True
Let m = 80185 + -32620. Does 315 divide m?
True
Suppose 4*m - 99 = -3*i, -i - 156 = -5*m - 56. Suppose 5*y - 104 = 36. Let p = m + y. Is p a multiple of 7?
True
Let t(q) = 172 - 157 + 98 - 67*q. Does 32 divide t(-5)?
True
Suppose 98*p - 4236 = 57185 + 178777. Does 6 divide p?
False
Suppose 239 = 42*y + 29. Suppose 6*v + y*v - 3619 = 0. Is 10 a factor of v?
False
Let i = -741 - -767. Suppose -i*d = -33*d + 728. Is 8 a factor of d?
True
Let x(n) = -n**2 + 6*n - 6. Let m be x(2). Suppose -5*o + 674 = -m*h, 4*o - 3*h + 62 = 604. Is o a multiple of 54?
False
Suppose -9*m = -10*m + 7. Let g(w) = 2*w - 3. Let c be g(5). Is (m*c)/1*(-7)/(-7) a multiple of 25?
False
Let b(t) = 2*t**3 - t**2 + t + 20. Let g(q) = 2*q**2 + 6*q + 13. Let o be g(-5). Suppose -3*s = -3*h - 15, -o = 5*h - 8. Is 6 a factor of b(s)?
False
Let f = -19 - -42. Suppose 18*d - f*d + 30 = 0. Suppose -i + 1344 = d*i. Is 12 a factor of i?
True
Let g(a) = 5*a**2 + 45*a - 722. Is 4 a factor of g(14)?
True
Let s be 8/(-32)*0 + 3913. Suppose 6*l - s = 65. Is l a multiple of 17?
True
Let j(d) be the first derivative of -d**4/4 + 22*d**3/3 + 57*d**2/2 + 28*d + 14. Is j(24) a multiple of 22?
False
Suppose 0 = 13*c - 780 + 2860. Let w = c - -408. Does 31 divide w?
True
Let p(w) = 2*w**2 - 3*w - 5. Let b be p(-2). Is 1974/b + (-4)/12 a multiple of 17?
False
Let v be (59874/(-170))/(2/(-20)). Suppose 15*n - v = 1743. Does 13 divide n?
True
Is 12 a factor of 59/((-1475)/(-250)) - -54638?
True
Let r(x) = 17*x**3 - x**2 - 5*x + 4. Let c be r(2). Does 23 divide c/15*(-805)/(-14)?
True
Let v be (-19)/95 + (-12)/(-10). Suppose 5*o - v = 6*o. Let u(t) = -45*t**3 - 2*t**2 - 2*t - 1. Does 19 divide u(o)?
False
Suppose 73 = r + 4*d, r - 17*d - 101 = -14*d. Suppose 117*a = r*a + 23268. Is 71 a factor of a?
False
Let x be (1*-2)/(2*(-6)/2352). Is 8/(-20) - x/(-5) a multiple of 24?
False
Let u(k) = k - 11. Let s be u(14). Suppose 3*y - 3 = -5*n, 3 = n + 2*y + 1. Suppose -s*