alse
Let f = 31 + -31. Suppose -j = -4 - f. Is 126/j*(-64)/(-12) a multiple of 14?
True
Let r(f) = 5 - 16 - 4*f + 2*f**2 + 17. Let p(s) = 6*s**2 - 13*s + 19. Let m(y) = 6*p(y) - 17*r(y). Does 36 divide m(-7)?
True
Let c = -61 - -58. Let s(r) = 3*r**3 - 27*r**2 - 14*r - 35. Let v(j) = -j**3 + 9*j**2 + 5*j + 12. Let y(i) = c*s(i) - 8*v(i). Does 10 divide y(9)?
False
Is 932 - 29/(145/60) a multiple of 11?
False
Let m(j) = j**3 + 13*j**2 - 19*j - 10. Is 4 a factor of m(-8)?
False
Let j be 2/(1/((-188)/(-8))). Suppose -j*f = -10682 - 3747. Is 7 a factor of f?
False
Suppose 0*m + m - 209 = 4*c, 10 = -5*c. Let z = m + -309. Is 11 a factor of (-1 + 76/(-12))*z/8?
True
Let j(g) = 236*g**2 + 37*g - 36. Does 3 divide j(1)?
True
Let j(l) = -2*l**2 - 13*l + 19. Let y(w) = 3*w**2 + 19*w - 28. Let c(i) = 7*j(i) + 5*y(i). Is c(-13) a multiple of 36?
False
Let z = -107 - -109. Let t be 2 + -6 - -4*(14 - z). Let d = t - -58. Is d a multiple of 42?
False
Let p = 336 + -333. Let y(q) = 78*q - 63. Does 22 divide y(p)?
False
Let l(s) = 14310 - 7160 - 5*s**2 - 3*s - 7164 - s**3 - s**2. Let g = -16 - -9. Is l(g) a multiple of 14?
True
Let r = -2993 - -2998. Suppose 2 = -0*n + n. Suppose r*v = -20, 4*a + n*v - 81 = 171. Does 10 divide a?
False
Does 23 divide -3*25/15 + 16449 + -11?
False
Let t = -1373 - -3691. Is 11 a factor of t?
False
Suppose 2*m = 2*d + 4706, -69*m + 5*d - 11835 = -74*m. Is 8 a factor of m?
True
Suppose -15*a = 25*a - 2*a - 6346. Suppose -80 = -4*x + 96. Let n = a - x. Does 19 divide n?
False
Let o(u) = -85*u - 15*u + 99*u - 185*u + 15. Is o(-1) a multiple of 11?
False
Let x = 44 + -46. Let q = x - -44. Let n = q - 5. Does 8 divide n?
False
Suppose 0 = -113*b + 250277 + 154828. Does 55 divide b?
False
Does 81 divide 3420*78/260*6?
True
Let r(x) = 4*x - 8*x + 16 + 26*x**2 + 5*x**3 - 24*x**2. Is r(4) a multiple of 22?
True
Let p(v) = 8*v**2 - 172*v - 381. Is 9 a factor of p(47)?
True
Let z(y) = 5*y**2 + 3*y + 4. Let a be z(8). Does 14 divide (3 - (-32)/(-12))/(2/a)?
False
Let f(y) be the second derivative of 3*y**5/10 - 4*y**4/3 + 11*y**3/6 - y**2/2 + 251*y. Is f(6) a multiple of 40?
False
Let l be (-1 - 11)*(-22)/44. Let c be (-4)/l + (-154)/(-33). Suppose c*x - 680 = -0*x. Does 33 divide x?
False
Let q(z) = 245*z**2 - 192*z - 768. Is 49 a factor of q(-4)?
True
Let f(j) = 2*j**2 + 80*j - 2307. Is 51 a factor of f(21)?
True
Suppose -l - 1 = -2*s + 5, 15 = 5*s + 2*l. Let b be (-5 - -3) + 1 + s + -2. Is (2 - -5)*1 + b/(-4) even?
False
Let s be ((1 - 2) + 2)*0. Suppose s = -12*t + 275 + 205. Suppose 37*j - t*j + 375 = 0. Does 14 divide j?
False
Let z = 47 + -44. Suppose -21 = -z*h - 6. Suppose 3*d - 144 = -3*r, -8*d = -5*d + h*r - 142. Is d a multiple of 7?
True
Let q(b) = 7*b + 56. Suppose -4*j + 0 - 4 = 0, j - 16 = -w. Let r = 41 - w. Is q(r) a multiple of 32?
True
Suppose -26*o + 38*o = -288. Does 8 divide -11*(-3)/(o/(-248))?
False
Let i = 45 + 11. Suppose -4*y - 206 = -0*y - 5*o, 3*o - 6 = 0. Let d = i + y. Is 3 a factor of d?
False
Let g = -14793 - -16129. Is g a multiple of 45?
False
Suppose -5*n + 3*c + 22185 = 0, -4*c + 69 = 49. Does 120 divide n?
True
Let c = -21 - -92. Let a = c - -20. Is a a multiple of 13?
True
Let r be 18/8 + -3 - (-1017)/12. Suppose 295*y = 296*y - r. Is y a multiple of 14?
True
Suppose v + 669 = 4*g, -1 = 18*v - 17*v. Let i = 37 + -89. Let t = g + i. Does 23 divide t?
True
Let v(w) = -2*w**2 + 24*w + 58. Let q(y) = -y**2 + y + 55. Let i be q(-6). Is v(i) a multiple of 12?
False
Suppose 0 = -g + 4*y + 932, 2827 = 3*g - y + 9. Does 41 divide g?
False
Let d(k) = -k**3 - 35*k**2 - 44*k - 77. Let f be d(-34). Suppose -2*u = -807 + f. Does 17 divide u?
True
Does 9 divide (-435)/2175 - (-28)/(-12)*78/(-10)?
True
Let b be 3/(-2)*(-120)/36 - 3. Is 34 a factor of (-16)/(-16) - (b - 341)?
True
Suppose 0 = -w + 43 + 197. Is 19 a factor of (3 - -168)/((-4)/w*-5)?
True
Let d = 8526 + -2323. Is d a multiple of 26?
False
Let z(i) = i**3 - 15*i**2 - 13*i - 37. Let y be z(16). Suppose -15*m = -y*m - 2240. Does 13 divide m?
False
Let i(k) = -5*k - 37. Let n be i(-5). Does 6 divide 2 - (n - -8 - 117)?
False
Let h = -46 + 48. Suppose -u = 5, -4*k - 636 = h*u + 2*u. Is 14 a factor of k/(-21)*(-9)/(-2)?
False
Let a(k) = -k**3 + 9*k**2 + 10*k + 14. Let q be a(10). Suppose 5*c = -q*c + 2983. Does 25 divide c?
False
Let z(k) = k**2 - 18*k - 3. Let c be z(15). Let o be ((-8)/(-6))/((-2)/c). Let j = o + 32. Does 19 divide j?
False
Let j(h) = -h**2 - 19*h - 27. Let w be j(-16). Suppose -w*x - 270 = -24*x. Is 47 a factor of x?
False
Let r = 354 + 222. Let q = -263 + r. Suppose 53 - q = -5*o. Does 26 divide o?
True
Suppose 2*i + 2*u = -0*u - 2, 5*i + u = 7. Suppose i*b = -97 + 593. Is 62 a factor of b?
True
Let f(i) = -i**3 - 27*i**2 - 25*i + 34. Let h be f(-26). Does 10 divide 4*h/176 - 471/(-11)?
False
Suppose -6*y = 2*y - 16. Suppose 11*s = -y*s + 2990. Suppose 415 = 4*w - 3*q, 4*w - 165 - s = -q. Does 25 divide w?
True
Let v = 40 + -39. Is 73 a factor of (-3*2/(-6))/v + 176?
False
Let o(d) = -4*d**2 - 5*d + 3. Let c be o(-3). Let f = c + 23. Suppose -w = -4*h - f, -w - h = -3*w + 31. Is w a multiple of 14?
False
Suppose 25502 = 51*d + 2957 - 49263. Is 88 a factor of d?
True
Let t(u) = 4*u**2 - 2*u - 25. Let l be t(6). Suppose n - l = -4*g, 3*g - 4*n = -2*g + 118. Is g a multiple of 5?
False
Suppose -127*a - 33*a + 5741648 = 49*a. Is a a multiple of 101?
True
Suppose 6193174 = 172*d + 79*d. Is 14 a factor of d?
False
Suppose 40053 = -112*x + 431493. Does 4 divide x?
False
Let d be 944/7 - 2*(-1)/14. Suppose -v + 0*m + 135 = 2*m, -3*m = v - d. Is 15 a factor of v?
True
Let f(w) = -33*w**3 - 15*w**2 - 3*w + 8. Let z be f(-4). Suppose -z = -8*q + 172. Does 13 divide q?
False
Let u(m) be the third derivative of m**4/6 + 11*m**3/3 - m**2. Let d be 15/(-4)*(-48)/30. Does 10 divide u(d)?
False
Let s(o) = 66*o**2 - 5*o - 32. Let j(m) = 64*m**2 - 7*m - 32. Let r(f) = -3*j(f) + 4*s(f). Does 18 divide r(-4)?
True
Let u be 1184 - 24/(-5 + -1). Suppose 0 = 7*i - u - 506. Does 3 divide i?
False
Let v = -262 - -608. Let l = 714 - v. Is 23 a factor of l?
True
Is ((-77)/14 - 4)/(3/(-2100)) a multiple of 17?
False
Suppose 5*l = -u + l + 26, -5*u - l = -35. Suppose y + 1400 = u*y. Suppose -11*d = -7*d - y. Does 14 divide d?
True
Let b(y) = -y**3 + 2*y**2 + 3*y - 4. Let g be b(2). Let f be 8/g*2/8*4. Suppose 50 = 6*n - f*n. Is 12 a factor of n?
False
Let o(p) = -p**3 + 7*p**2 - 5*p + 3. Let n be o(5). Suppose 5*i = 0, 13*i + 4 = m + 12*i. Suppose -m*g = -48 - n. Is 7 a factor of g?
False
Suppose -209*r - 25*r + 32160 = -33*r. Does 4 divide r?
True
Let r = -180 + 189. Is 57 a factor of -3 - (2 - r) - (2 + -210)?
False
Let j(y) = -y**3 - 13*y**2 + 6. Let x be j(-13). Let q be (x - 5) + (1 - 2). Suppose 0 = -5*h - 4*m + 536, -5*h + 541 = -q*m - m. Is h a multiple of 12?
True
Suppose 0 = -49*l + 664707 - 15555. Is 32 a factor of l?
True
Suppose -5*g = 3*f + 135, 2*g + 2*f = 6*g + 130. Let n be (-5)/g*-2 - (-136)/(-6). Let t = -1 - n. Does 11 divide t?
True
Let n(x) = -x + 9. Let q = 85 - 91. Is 15 a factor of n(q)?
True
Let d(z) = 354*z + 2011. Is 147 a factor of d(32)?
False
Suppose 15*f - 2 - 478 = 0. Suppose 39*s = f*s + 140. Is s a multiple of 5?
True
Suppose o + 2*n - 47 = 7*n, o = -5*n + 27. Suppose 26 + 9 = -7*v. Let t = o - v. Does 42 divide t?
True
Let c(t) be the first derivative of 25*t + 22 - 5/2*t**2. Is c(-13) a multiple of 45?
True
Is (-22)/(-165) - (-11)/(1320/1699664) a multiple of 28?
False
Let j = 8567 + -5583. Let k = j + -1704. Is 20 a factor of k?
True
Let g(c) = -2*c + 50. Let f(o) = -o + 25. Let h(t) = 13*f(t) - 6*g(t). Let s be h(15). Is (-5)/s*-8 - -17 a multiple of 7?
True
Suppose -487 = c - 1004. Is c a multiple of 47?
True
Let h(k) = 5*k**2 + k. Let l be h(-1). Is 3*(l + 770/15) a multiple of 16?
False
Let m = 64704 + -31040. Suppose 4*r + 28*r - m = 0. Is r a multiple of 39?
False
Let t = 2909 - 1139. Does 3 divide t?
True
Suppose 71*r = 77*r + 1020. Suppose -5*a = 5*j + 460, 2*j - 5*j + 6 = 0. Let c = a - r. Is 8 a factor of c?
False
Suppose -5*u + 1335 = 5*z, -5*z = 11*u - 16*u + 1315. Let d = u - 18. Does 13 divide d?
True
Let j(f) = 3244*f**2 - 176*f - 514. Is j(-3) a multiple of 230?
True
Suppose 2*p - 4*p - 277 = -3*c, 2*p - 79 = -