4). Suppose -10*p - 3240 = -m*p. Is 18 a factor of p?
True
Let o = -87 - -89. Suppose o*u = -3*g + 4*g + 20, -4*u + 3*g + 44 = 0. Suppose -u*p + 876 = -4*p. Is p a multiple of 13?
False
Let s = -1010 + 697. Let f = s + 386. Is 4 a factor of f?
False
Let p = 1194 - 1184. Is p a multiple of 2?
True
Let u(t) = -t**3 - 13*t**2 - 3*t + 17. Suppose -5*g = -4*i + 89, -5*g - 149 = -5*i - 44. Suppose 8*j + i = -88. Does 14 divide u(j)?
True
Let a = -17458 + 38138. Does 22 divide a?
True
Suppose -30 = 5*u + 2*f, -5*f - 29 = -2*u - 12. Let l be (-23 - 20)/(2/u). Let g = l + 69. Is 15 a factor of g?
False
Suppose 12*o = 4*c + 13*o - 1098, 4*c - 1092 = 2*o. Let i(q) = -22*q + 4. Let g be i(-5). Suppose c = -3*l + 4*s + 646, 2*s - g = -l. Is l a multiple of 12?
True
Let p(w) = 548*w**2 - 549*w - 4. Is p(7) a multiple of 43?
True
Let v(b) = b**2 - 57*b + 1022. Is v(90) a multiple of 17?
False
Let g(m) = -2*m**2 - m + 1. Let f(q) = 7*q**2 + 19*q - 7. Let s(z) = f(z) + 4*g(z). Is s(10) a multiple of 6?
False
Suppose -5 - 451 = 3*s. Let b = 252 + s. Does 25 divide b?
True
Let t = 74 - 74. Suppose t = 11*y + 11*y - 1892. Is y a multiple of 4?
False
Suppose 7*h - 25 = -4. Is (-11 - 271)/(h/(-2)) a multiple of 14?
False
Is 18344*(-17 + (-560)/(-32)) a multiple of 18?
False
Let c = 1 - 2. Let k(r) = -9*r + 6. Let a be k(c). Suppose 2*g - a = -g, 128 = 4*u + 4*g. Is 2 a factor of u?
False
Does 25 divide (684 + (-8 - 1))*8/4?
True
Let d(y) = -y**3 - 26*y**2 - 47*y + 27. Let p be d(-24). Suppose -p*o - 6297 = -5*l, 2*l + l - 3784 = -4*o. Is 60 a factor of l?
True
Let w(o) = 22 + 1640*o - 3280*o + 1649*o. Let c = 26 + -16. Is 16 a factor of w(c)?
True
Is (-10087)/1463 + (-1)/38*4 - -8292 a multiple of 86?
False
Suppose 12*m + 4*m + 5*m - 119574 = 0. Is 5 a factor of m?
False
Let s = -54 + 68. Suppose -s*d = -1446 - 1606. Does 8 divide d?
False
Let p(i) = -19*i - 6. Let y be 9/(4/((-16)/6))*1. Let k be p(y). Suppose 0*l + 2*l - k = 5*r, 2*l = 4*r + 104. Is l a multiple of 11?
True
Suppose 2*j = 3*c + 6772, -3*j + 2861*c - 2863*c + 10184 = 0. Is 18 a factor of j?
False
Let o(j) = -j**3 + 2*j**2 + 19*j + 9. Does 36 divide o(-10)?
False
Let v(q) = 407*q**3 + 5*q**2 - 24*q + 59. Does 106 divide v(3)?
False
Let b(d) = -2*d - 9. Let y(o) = 2*o - 5*o + 16 - 25. Let t(p) = -6*b(p) + 5*y(p). Is 8 a factor of t(-12)?
False
Suppose -5*a - 394*v = -391*v - 47911, -4*v = 12. Does 16 divide a?
True
Suppose 57*c - 2772 = 51*c. Suppose c = p + 7*r - 2*r, -2*r - 1782 = -4*p. Is p a multiple of 11?
False
Let l = 49 - -135. Does 48 divide (-1 + (-126)/12)/((-4)/l)?
False
Suppose -97*u + 32985 = -82*u. Let o = -1249 + u. Is 50 a factor of o?
True
Let c(x) = 3241*x**3 - 3*x**2 - 36*x + 76. Is 37 a factor of c(2)?
False
Let j(y) = 72*y**2 - y - 1. Let z(f) = 6*f - 39. Let h be z(9). Let t(r) = 2*r - 31. Let i be t(h). Does 36 divide j(i)?
True
Let x = 101 + -97. Let v(a) = 10*a**3 + 2*a**2 + 9*a - 3. Let w be v(x). Suppose -2*p - r = -277, -5*r = 5*p - w - 0. Is 34 a factor of p?
True
Suppose 2*l = 3*c - 6 + 14, 18 = 2*l + 2*c. Suppose 1401 = l*p - 132. Is p a multiple of 16?
False
Let w be 114 - (0 + (-6)/(-2)). Let c = w + -271. Let p = c + 261. Is p a multiple of 37?
False
Let t(c) = -6*c**3 - 26*c**2 - 52*c - 215. Does 265 divide t(-20)?
True
Let m = 6145 + -1390. Is 15 a factor of m?
True
Let w be ((-122520)/8 - 20/(-4))/(-2). Suppose -10*b + w = -515. Is b a multiple of 53?
False
Suppose -2*m + 3*z - 1 = -0*z, -4*m - 3*z = 11. Let l be (-4)/(-6)*((-23)/(-2) - m). Suppose l*y - 1728 = -3*y. Is 24 a factor of y?
True
Let u be 442/(-6) - 1 - 8/6. Let f be u/36 + 2/18. Does 23 divide (((-46)/(-3))/f)/(19/(-114))?
True
Suppose 0*i = -2*r + 4*i + 452, 4*r - 4*i = 924. Suppose -23*s + 5261 = -r. Is s a multiple of 4?
False
Is 186 a factor of ((-70)/(-315)*-597)/(-1 + 32/33)?
False
Let c = 359 - 361. Let s(b) = -271*b - 28. Is 60 a factor of s(c)?
False
Let j(f) = 1022*f**2 + f + 2. Let a be j(2). Suppose -52*i - a = -58*i. Is i a multiple of 40?
False
Let d = 986 - 695. Suppose d = -3*o - 54. Does 13 divide o/25 + 5 + 1233/5?
True
Let d(z) = 5*z**2 + 206*z + 146. Is 58 a factor of d(-45)?
False
Let n = -1888 + 3668. Is 26 a factor of n?
False
Is (56/(-252) - (-4)/(-144))/((-1)/27836) a multiple of 3?
False
Is 27 a factor of (-4567184)/(-393) + 6/9?
False
Suppose 237 = g - 3*c, 946*c = 943*c - 9. Let q = 4 + -2. Suppose -g = -4*t - q*t. Is 3 a factor of t?
False
Suppose a + 71 = 5*l + 74, -4*l - 9 = -a. Suppose -62 + 14 = -4*c. Suppose -c = k - a. Is k a multiple of 12?
False
Let d(a) = 94*a**2 + a. Let r be ((-2)/5)/2*-5. Does 7 divide d(r)?
False
Suppose 0 = -24*q - 22*q + 276. Suppose q*k - 744 = 312. Is 11 a factor of k?
True
Is 3180/(-22*(-26)/429) a multiple of 45?
True
Let q(t) = -t**2 + 23*t - 14. Let w(b) = -11*b + 7. Let a(r) = -3*q(r) - 7*w(r). Let j be a(6). Let v = j - 92. Is 19 a factor of v?
True
Suppose -34*p + 23683 = -899. Suppose 15*q - 4698 = -p. Is 9 a factor of q?
False
Let a(k) = k**3 + 2*k + 168. Suppose -4*i = -4*y + 20, 0*i - 5*i + 15 = 3*y. Is a(i) a multiple of 12?
True
Suppose 22*o - 60 - 50 = 0. Suppose -18*d + 3159 = -o*d. Is d a multiple of 27?
True
Suppose -62 = -2*j - 4*k + 34, -4*k + 142 = 3*j. Suppose -7*a + 3*a - 189 = 5*a. Let o = a + j. Is o a multiple of 19?
False
Suppose -3*y = -74*y + 77231 + 160264. Does 35 divide y?
False
Suppose 0 = -106*i + 17*i + 373978. Does 2 divide i?
True
Suppose -2*x - 474 = h, -3*h - h - x = 1882. Let n be h/(-30)*(4 - 1). Let z = 66 - n. Is z a multiple of 11?
False
Suppose -3*h + 2249 = p, 2264 = 3*h + 7*p - 3*p. Let n = -262 + h. Is n a multiple of 18?
True
Suppose 0 = -138*q + 677921 + 539515. Is q a multiple of 124?
False
Let i = 4 - -3. Suppose 3901 - 905 = i*d. Is 40 a factor of d?
False
Let a(r) = r - 25. Let j be a(22). Let k be 2/4*(5 + j)*5. Suppose k*g + 476 = 9*g. Is 17 a factor of g?
True
Let z = -2523 - -3914. Is z a multiple of 4?
False
Suppose 0 = -5*d - 2*b + 15744, -b + 6297 = 15*d - 13*d. Is d a multiple of 18?
True
Let l(i) = 11*i - 16. Let c be l(2). Suppose 7*z = c*z + 5*v + 69, 2*v = -4. Is z a multiple of 5?
False
Suppose 5*n = -5*m - 380, m + 2*m - 68 = n. Let k = n - -108. Is (0 + -3)/(-1) + k + -2 a multiple of 3?
False
Let m(g) = -2*g**2 + 297*g - 205. Does 101 divide m(61)?
False
Let i = 40 - 49. Let x(f) = 2*f + 14. Let h be x(i). Does 29 divide (6 + -7)/((h/(-231))/(-4))?
False
Let b = 20102 + -3050. Does 98 divide b?
True
Let r(s) = 13*s - 114. Let t be r(9). Suppose -t*k = 3*h + k - 680, -444 = -2*h + 2*k. Is h a multiple of 7?
True
Let d = 103 + -53. Suppose 46*r = d*r - 36. Is 1/(2 + -5) - (-300)/r a multiple of 15?
False
Does 16 divide 349/1047 + (-226606)/(-6)?
False
Let y(g) = -151*g - 2682. Does 4 divide y(-28)?
False
Let w(d) be the first derivative of -3*d**2/2 + 27*d + 760. Let z be (-2)/((3/6)/1). Does 39 divide w(z)?
True
Suppose -3*j - 5*y - 2622 = 0, -3*y = 2*y. Let z = -618 - j. Let w = z - -14. Is w a multiple of 10?
True
Let r(g) = -3*g**2 - 6*g + 17776. Is r(0) a multiple of 101?
True
Let k(h) = -2*h + 57. Let r(p) = -p**2 + 3*p + 39. Let m be r(7). Does 7 divide k(m)?
True
Let s(d) be the third derivative of -d**6/120 + 85*d**3/6 + 16*d**2. Let f be s(0). Let o = -65 + f. Is o a multiple of 5?
True
Let k(m) = -577*m**3 - m**2 + 1. Let x be k(1). Let p = -236 - x. Does 31 divide p?
True
Suppose 0 = 5*i - 8 - 32. Let o(r) = 254*r - 551. Is 50 a factor of o(i)?
False
Let l(x) = -2*x**3 + 9*x**2 - x - 3. Let w be l(4). Let t(p) = 3*p**2 - 20*p + 3. Let c be t(w). Let b = c + -38. Does 14 divide b?
True
Is ((-26)/60 - ((-8)/(-48) + 0))*-29185 a multiple of 9?
False
Let j(k) = 71*k + 627. Is j(29) a multiple of 15?
False
Let u(m) = -2*m**3 - 18*m**2 - 8*m - 19. Suppose -2*d - 28 = 3*j, -4*j - j - 15 = -3*d. Let v = -3 + j. Is 11 a factor of u(v)?
False
Let d = -14089 + 50623. Is 51 a factor of d?
False
Let n be 12/(-10)*(-13)/(234/300). Suppose n*y = 17*y + 9. Suppose -3*l - y*l + 624 = 0. Does 13 divide l?
True
Let r(z) = 2*z**3 - 4*z**2 - 8. Let q be (-6)/9 + (-20)/(-3). Let c be r(q). Suppose c = 17*p - 15*p. Is 36 a factor of p?
False
Suppose 13*h + 21 = 6*h. Let c be (-3)/(h/2) - (5 - 91). Let i = c - 55. Does 10 divide i?
False
Suppose 0 = 398*a - 532*a + 4292422. Is 1