t g(t) = 578*t - 909. Does 60 divide g(6)?
False
Let n(h) = -1 - 4*h + h + h - h**2 - 14*h**3. Let i be n(-1). Suppose 2*y = 3*d - 7, i = d + d + y. Is d a multiple of 5?
True
Let k(b) = 3468*b - 3646. Is 9 a factor of k(4)?
False
Suppose 5*b = -2*h + 14042, -70*h = -66*h + 5*b - 28054. Is h a multiple of 31?
True
Suppose -4*a + 2379 = -481. Suppose -5*f + 10*f = 30. Suppose f*s - s = a. Is s a multiple of 13?
True
Let w(n) = 11*n**2 + 99*n + 1050. Does 15 divide w(-10)?
False
Suppose 0 = -5*p + 136 + 4. Let s(q) = -q**3 + 28*q**2 + 15. Does 2 divide s(p)?
False
Does 15 divide (8/(-44) + 5/((-110)/18806))*-4?
True
Let z = 409 - -1271. Suppose z = 49*n - 41*n. Does 15 divide n?
True
Let q be 15 + -2*5/(-2). Is (-885)/(-12) + 5/q a multiple of 2?
True
Does 22 divide (1*-1106)/((-10 + -5)/180)?
False
Suppose -1109*b = -1082*b - 38016. Does 32 divide b?
True
Suppose 0 = 37*r - 30*r - 238. Suppose -30*s = -r*s + 592. Does 40 divide s?
False
Let u = 6101 - 4516. Is u a multiple of 6?
False
Suppose 0 = 3*q + 4*o + 10 - 1, 2*q = -o - 6. Does 11 divide 2 - q/(-6)*-226?
False
Suppose 0 = j - 6*j - 6*i + 59325, -11864 = -j - i. Is j a multiple of 67?
True
Is 20 a factor of 84306/16 + (-126)/1008?
False
Let b(f) = -270*f + 695. Does 3 divide b(2)?
False
Suppose l = -5*l + 48. Let y be 3 + ((-8)/l)/((-2)/4). Suppose -4*n - s + 285 = -2*s, 0 = -y*n - 5*s + 350. Does 7 divide n?
False
Suppose -3*y + 197 = 185. Suppose 0 = 5*n + 2*i - 1145 - 4983, 2*i = y*n - 4888. Is n a multiple of 34?
True
Does 34 divide (-268)/3350 - 2502/(-25)?
False
Let m = -2109 - -4761. Is m a multiple of 4?
True
Let g(a) = 10*a**2 - 99*a + 8. Does 72 divide g(-9)?
False
Let k(d) be the first derivative of -8*d**2 - 47*d + 117. Let o = -35 + 19. Is k(o) a multiple of 46?
False
Let w = 20 + -14. Suppose -2*i = 3*f + f + w, 2*f = -5*i + 9. Suppose -2*u = i*u - 570. Is 20 a factor of u?
False
Let i be (-71)/2*((1 - -2) + (-45)/(-45)). Suppose 320 = -2*p - 206. Let k = i - p. Is 25 a factor of k?
False
Suppose 3*u - 15*u = -52584. Does 14 divide (-1 - u/(-7))*(-2)/(-5)?
False
Let m = -1 + 29. Suppose -375 = -33*d + m*d. Does 15 divide d?
True
Let k(g) = 13*g**2 + 190*g - 575. Is 8 a factor of k(3)?
True
Let n(s) = 4161*s**2 + 204*s - 407. Does 27 divide n(2)?
False
Let n(a) = 79*a - 5. Let q be n(-4). Let z = 416 + q. Is 14 a factor of z?
False
Suppose -n = 2*v - 5, -2*v = 5*n - 0*n - 9. Suppose v*g - 14 = -8. Suppose 51 = 3*b + 3*p, -4*b + 13 = -g*b + 3*p. Does 19 divide b?
True
Suppose 84 = 4*i + 920. Suppose 5*x - j = 4*j - 560, -2*x + 5*j = 233. Let r = x - i. Is 25 a factor of r?
True
Suppose -232060 = -13*j - 12356 + 50527. Is j a multiple of 123?
True
Let t be 26/2*(-12 + (-16)/(-8)). Let m = t + 181. Is 7 a factor of m?
False
Suppose 3*x + 48348 = 20*x. Does 27 divide x?
False
Let u(o) = -2060*o - 327. Is u(-4) a multiple of 72?
False
Suppose -3*y + 47 = 128. Let d = y + 54. Suppose d = m - 18. Does 9 divide m?
True
Suppose -25*a + 12257 = 3732. Is 2 a factor of a?
False
Let g = 647 + 4033. Is 41 a factor of g?
False
Let p(v) = 18*v + 72*v**2 - 36*v + 12*v + 19 + 15*v. Is p(-3) a multiple of 51?
False
Let j = -210 - -186. Does 19 divide ((-38)/(-3))/((-9 - -5)/j)?
True
Suppose 2*a + 230 = -3*t + t, 218 = -2*t + 4*a. Let f = -78 - t. Is f even?
False
Let g be (-3)/(-33) + 731/187. Is (g + -6)/(-2*4/912) a multiple of 3?
True
Let x = -18595 + 22245. Is 2 a factor of x?
True
Suppose -2*c + c = -13. Let u = -11447 + 11454. Suppose 0 = -c*d + u*d + 804. Is 10 a factor of d?
False
Let x be (-6)/27 + 0 - 4/(-18). Suppose x = 6*a - 576 + 12. Is 34 a factor of a?
False
Suppose 19 - 10 = 3*c. Suppose -c*k + 59 - 20 = 0. Let i = 70 + k. Is 9 a factor of i?
False
Let c = -7234 - -12485. Does 89 divide c?
True
Suppose -50*h = -43*h + 47*h - 407592. Is h a multiple of 4?
True
Suppose -f = -3*j - 3583, -3*j + 10689 = f + 2*f. Suppose -18*u = -2*u - f. Is 20 a factor of u?
False
Suppose 17*w - 97200 = -3*w. Is w a multiple of 45?
True
Let u = -1971 + 5876. Is 11 a factor of u?
True
Let q(g) = -g - 2. Let f be q(-5). Let c be 28/7*f/4. Suppose -64 = -2*w - c*s, -2*w + 13 + 53 = 2*s. Does 22 divide w?
False
Suppose 10*u = 5*u. Let k be -1*(-98)/14 + -2. Suppose 830 = k*r + 5*a, -2*r + 3*a + 0*a + 327 = u. Does 35 divide r?
False
Suppose 510*b - 506*b - 4355 = 5*w, 3*w = -3*b + 3246. Is 5 a factor of b?
True
Let u(m) = 311*m + 399. Is u(9) a multiple of 91?
False
Suppose 0 = 2*l - 9 + 13. Let f be 60/(-8) - (-1)/l. Is 18 a factor of ((-2)/(f/54))/((-16)/(-192))?
True
Let x = 4533 - 2181. Is 7 a factor of x?
True
Let n(p) = 7*p**2 + 2*p. Let l be n(-1). Suppose l*d - 152 - 73 = 0. Suppose -d + 9 = -4*t. Is 5 a factor of t?
False
Let c(d) = -5*d + 3. Suppose 0 = a - 4*x + 15, 0*a = -a - 4*x + 17. Let i be c(a). Does 13 divide i + 215/(-2)*20/(-25)?
False
Let z(l) = -l**3 - 3*l + 864. Let r be z(0). Suppose -5*v - r = -11*v. Does 12 divide v?
True
Let b(l) = 3*l**2 - 40*l - 17. Suppose 45 = 4*f + 5*x, 12*x - 78 = -5*f + 13*x. Is 58 a factor of b(f)?
True
Let s(m) = 5*m**2 + 46*m + 151. Does 6 divide s(24)?
False
Let y(s) = -s**3 - 40*s**2 - 87*s - 252. Does 70 divide y(-42)?
True
Suppose -5*t = -14 + 54. Let n be 4/t*5*(-314)/5. Suppose n = 6*g - 119. Is 6 a factor of g?
False
Is 69 a factor of (0 + (-39)/(-26))*2872*1?
False
Let d be (-9)/2*(-72)/162. Suppose -6 = d*b, b = j - 89 - 179. Is j a multiple of 39?
False
Let t be (3*-1)/((-27)/63). Let u(b) = 2*b**3 - 8*b**2 - 10*b + 14. Does 7 divide u(t)?
True
Suppose 106449 + 200540 = 131*j + 35557. Is j a multiple of 56?
True
Is 4669 + 13 - (-7 + 13) a multiple of 7?
True
Let z be 44/(-7) + (-7 - 408/(-56)). Let u(i) be the first derivative of i**4/4 + 3*i**3 + 9*i**2/2 + 2*i - 1. Is u(z) a multiple of 11?
False
Let b(y) be the third derivative of y**4/24 + 7*y**3/6 - 20*y**2. Let r be b(-8). Is (0 - 7)*(r - 6 - 6) a multiple of 8?
False
Let b = -91 + 89. Is (-1924)/(-10) - b/(-5) a multiple of 8?
True
Suppose -r + 5*o + 28 = 0, -5*o = 8 + 17. Suppose 11 = 3*p - 2*g + 3*g, 0 = r*p - 2*g + 4. Is p/7 - (-228)/84 even?
False
Let j = -2328 - -5162. Is 5 a factor of j?
False
Let c = 20881 + -3643. Is c a multiple of 17?
True
Let k(h) = h**2 + 21*h + 38. Let l be k(-19). Suppose 13*z - 8*z - 530 = l. Suppose z*r - 40 = 105*r. Does 5 divide r?
True
Let z(w) = -9*w - 59. Let o be z(-9). Suppose -327 = o*p - 877. Does 25 divide p?
True
Let c(u) = 24*u**3 - u - 1. Let o(z) = -71*z**3 + 3*z + 4. Let j(d) = 7*c(d) + 2*o(d). Let p be 2 - 11 - -12 - 8/4. Is 4 a factor of j(p)?
False
Is 68 a factor of ((-480)/(-20))/(18/34374)?
True
Let p(x) = 428*x**3 - 2*x**2 - 110*x + 311. Is p(3) a multiple of 93?
False
Let o = 3 - 3. Suppose 1 = 10*m - 19. Suppose -2*j - 2*c + 414 = 0, o = 6*j - 2*j - m*c - 810. Is j a multiple of 12?
True
Suppose 5*o + 9452 = 22*o. Is 15 a factor of (-10)/((-70)/(-49)) + o?
False
Let i(a) = a**2 + 1024. Let z be i(0). Let w = 198 + z. Does 47 divide w?
True
Let j = -580 - -572. Is j - 17/((-153)/1872) a multiple of 10?
True
Suppose v + 10*o = 5*o + 96, 4*v - 300 = o. Let y = 7 + -5. Suppose -x = -4*u - v + 220, -x = y*u - 66. Is u a multiple of 6?
False
Suppose 3*t = 4*w + 8 + 6, -5*t = w + 15. Let r(q) = -49*q + 41. Does 22 divide r(w)?
True
Let l(k) = k**3 - 15*k + 320 + 0*k**2 + 21*k + 0*k**2 + k**2. Is 40 a factor of l(0)?
True
Is ((782/92)/(-17))/(1/(-66034)) a multiple of 214?
False
Let g(n) = -65*n**2 + n - 2. Let k be g(1). Let z be (7 - 8)*k/3. Does 32 divide 18/(-99) + 6/z*393?
False
Let k(s) = 4*s**3 - 5*s**2 + 8*s - 4. Let d be k(3). Let w = 155 - d. Does 14 divide w?
False
Let x = -137 + 261. Let w = x + 79. Let f = w - 37. Is 16 a factor of f?
False
Suppose -3*z + w + 33293 = -53104, -144005 = -5*z + 5*w. Is z a multiple of 9?
False
Let p(o) = 17*o + 4. Let j be 0*(-4)/(-16) + 1. Let c(h) = 2*h**2 + 2*h. Let a be c(j). Does 12 divide p(a)?
True
Let q be -5 + 9*5/15. Let d be q*(5 + 0 + -41). Suppose -2*m + d = -118. Is m a multiple of 11?
False
Suppose 2*i - 88 = 4*v, -6*i - v = -3*i - 167. Let m be i/4*(-4 + 8). Suppose -4*j = 2*t - m, 6*j - 2*j - 49 = -3*t. Is j a multiple of 8?
True
Let l(s) = -18 + 6 - 1 + 21*s. Let z be l(6). Let d = -74 + z. Does 13 divide d?
True
Let j = -134 + -34. Let d = j - -252. Is 12 a factor of d