ultiple of 8?
False
Let j(d) = 10*d**2 + 5*d - 7. Let a be j(4). Suppose 179*p - 1320 = a*p. Is p a multiple of 11?
True
Let k be ((-212)/(-36) - 5)/(10/45). Is 39 a factor of (17 + 15)/(k/78)?
True
Suppose 9*n + 9*n = -162. Is 27 a factor of 138 - n/(-9 + 6)?
True
Let z = 115 + -105. Suppose -z = -8*h - 90. Is (-144)/15*h/3 + -2 a multiple of 10?
True
Suppose 4*t = 8*t + 332. Let d = t + 154. Let m = d - 51. Is m a multiple of 2?
True
Let s = -86 - -97. Suppose -s*o = -0*o - 440. Does 10 divide o?
True
Suppose -97*q + 29484 = -88*q. Is 156 a factor of q?
True
Let h(l) = 166*l**2 + 2*l - 7. Let k(c) = -83*c**2 - c + 3. Let s(g) = -3*h(g) - 7*k(g). Let f be s(1). Suppose -d + f = -23. Does 16 divide d?
False
Let n = -1 + -1. Let l(w) = 2*w**2 + 2*w - 1. Let d(h) = 26*h**3 - 7*h**2 - 6*h - 1. Let u(k) = -d(k) - 3*l(k). Is u(n) a multiple of 54?
True
Let o(i) = 2*i - 31. Let t be o(17). Let l be (6 - (8 - t))/((-2)/(-10)). Suppose 0 = p - 32 - l. Is p a multiple of 23?
False
Is (335 + 0)*(21 - (-117)/5) a multiple of 129?
False
Suppose -5*l - 2*g - g = -53, -2*g = 8. Suppose -2*r = -l + 5. Suppose -104 = -r*x - 24. Is x a multiple of 10?
True
Let r(j) = -11*j**2 - 2*j + 9. Let y(l) = -11*l**2 - 2*l + 10. Suppose 2*s - 3*s = 5. Let p(x) = s*r(x) + 4*y(x). Does 11 divide p(2)?
False
Let j = 74 + -79. Let q(y) = 1 + 0 + 4 + 5*y + 4*y**2 + 0*y**2. Is q(j) a multiple of 16?
True
Suppose 4*c + 11 - 71 = 0. Let o(x) = 6*x**2 + x - c*x**2 + 10*x**2 - 9*x + 7. Is 5 a factor of o(9)?
False
Let l(t) = t**3 - 7*t**2 - 7*t + 10. Suppose -20 - 32 = 2*v. Let o = -18 - v. Does 3 divide l(o)?
True
Let a = 9 - 13. Let b(y) = 5*y - 6*y + y**2 - 2*y**2 - 5*y - 11 - y**3. Is 22 a factor of b(a)?
False
Suppose 2*k = -40*d + 36*d + 6524, 24 = 4*k. Is d a multiple of 11?
True
Let n = -87 - 28. Let k = n + 157. Is k a multiple of 6?
True
Let l(s) = 18*s**2 + 3 - 35*s**2 + 16*s**2 - 7*s. Let f be l(-7). Suppose -2*u - 76 = -f*u. Is u a multiple of 13?
False
Suppose 12*r + 1392 = -12*r. Let n = 38 - r. Does 16 divide n?
True
Let u = 39 + -64. Let l = -40 - u. Is l/((-1)/(-5) + 4/(-10)) a multiple of 18?
False
Suppose -28 = -j + 8. Let h = j + 124. Does 16 divide h?
True
Let v = 16246 + -14133. Is 5 a factor of v?
False
Let q = 64 + -59. Suppose 2*i = -2*z - 36, z - 16 = q*i - 4*i. Let g = -5 - i. Does 2 divide g?
True
Let b = 144 - 141. Suppose 0 = b*h - 169 - 146. Is 5 a factor of h?
True
Let b = -21 - -31. Let a be (-12)/b*(-5)/1. Suppose a*v - 4*v - 66 = 0. Is 33 a factor of v?
True
Suppose g - 112 = -19. Let w = g - 91. Suppose a - 665 = -2*n - w*n, -685 = -4*n - 5*a. Is n a multiple of 15?
True
Suppose 6819 + 2909 = 5*d - 2*i, -6*i + 9736 = 5*d. Is d a multiple of 7?
True
Let h(t) = t - 26. Let g be h(25). Does 13 divide -38*4/(-2) + g/1?
False
Is 26 a factor of (-66*56)/(4/(-62) + 0/(-35))?
False
Let l be 2/6*8/((-16)/(-18)). Let d = l + -15. Does 2 divide d/(-8) - 66/(-4)?
True
Let i = 321 - 305. Suppose 0 = n, i*r - 20*r + 2*n = -2280. Is r a multiple of 53?
False
Does 5 divide -1*((-11445)/10 + (-25)/(-10) + -3)?
True
Let l = 68 + -38. Suppose -32*n = -l*n - 30. Suppose n*f + 127 = 1357. Is 41 a factor of f?
True
Let y be 1*((0 - -2) + 51). Suppose 0 = -y*n + 47*n + 1020. Is n a multiple of 8?
False
Suppose -2574 = -11*c - 17589. Does 62 divide (11*-1)/(21/c)?
False
Let h(z) = 2*z. Let g = -115 + 129. Let r be h(g). Suppose 37*l - 243 = r*l. Does 3 divide l?
True
Suppose 0 = -4*p + 3*b - 448, -p + 0*p - b - 112 = 0. Let d = p + 131. Is d even?
False
Let h(a) = 48*a**2 - 17*a - 49*a**2 - 37 - 11*a. Is h(-14) a multiple of 3?
True
Let t be 708/(-5) + 2/(-5). Let f be -6*834/50 - 2/(-25). Let r = f - t. Does 42 divide r?
True
Let r(s) = -1069*s - 2551. Is r(-12) a multiple of 91?
False
Let f be ((-252)/(-35))/(3 + 65/(-25)). Suppose 2299 = f*n + n. Is n a multiple of 11?
True
Let i(z) = -63*z**3 + z**2 - 4*z + 2. Let r be i(1). Let x = r + 119. Suppose 2*f - x + 7 = 0. Does 8 divide f?
True
Let m be (9/(-36))/((-2)/16). Let j(r) = 34*r**2 + m - 6 - r + 2. Does 17 divide j(-2)?
True
Let w(k) = 3*k**2 + 3*k + 972. Let n be (5/(-30)*0)/(-2). Is w(n) a multiple of 12?
True
Let u = -66 + 30. Let b = 29 + u. Let z(t) = -3*t + 13. Does 12 divide z(b)?
False
Let p = 157 + -133. Suppose 0 = 12*l - p*l + 4212. Is l a multiple of 27?
True
Let z = -248 + 146. Let g = z - -118. Does 16 divide g?
True
Let w(d) = 4*d**2 + 6*d - 22. Let u be (-16)/6*9/3. Let c be w(u). Suppose 25*z + c = 27*z. Does 31 divide z?
True
Suppose 5*h - 55 = 2*w, -h - 4*h = -4*w - 55. Suppose 49 = -o + h. Let g = -20 - o. Is 8 a factor of g?
False
Suppose 5*d = 3*s + 14153, 2*d - 20*s - 5658 = -22*s. Is 13 a factor of d?
False
Let a = 15461 + -7436. Does 23 divide a?
False
Let c be 2186/(-2) + (2 - (4 + -4)). Let z = -488 - c. Is z a multiple of 37?
False
Let n be (0 + 0)/(-3) + -7 + 9. Suppose 0 = -n*r + 1099 - 703. Does 14 divide r?
False
Suppose -57*g + 58*g = 2. Suppose -g*n - i = 18, 4 - 38 = 3*n + 5*i. Does 17 divide ((-644)/n - 1)/((-2)/(-4))?
False
Suppose 2*y - 3*y = -35. Let m = y + 9. Suppose v = a + a + m, 4*v = 2*a + 164. Is 6 a factor of v?
False
Let j(q) = 5*q**3 - 90*q**2 + 7*q + 483. Does 7 divide j(18)?
True
Let f = 59 + -46. Suppose -f*s = -17*s + 16. Suppose 298 = 2*x - 3*p, 2*x - 5*p = -s*p + 306. Does 14 divide x?
False
Suppose 107 = 3*b + 383. Let m = b + 382. Does 5 divide m?
True
Let p = 2211 - 1455. Is 63 a factor of p?
True
Let o(k) = -21*k**2 - 7*k - 18. Let v be o(-2). Is 4 + (-2613)/(-33) + 16/v a multiple of 15?
False
Let z be 1/1*(23 + -20). Suppose 0*i = -4*y - i + 1228, -z*y - 4*i + 908 = 0. Does 8 divide y?
False
Let t(y) = -y**2 - 1. Let p(v) = -2*v**3 + 29*v**2 + 25*v - 25. Let w(d) = p(d) + 6*t(d). Is w(12) a multiple of 6?
False
Let v = 13358 - 5892. Does 157 divide v?
False
Suppose 3*k - 25845 = -5*t, -23*t - 2*k + 25850 = -18*t. Is t a multiple of 4?
True
Suppose -39*p = -4265 - 1585. Is p a multiple of 29?
False
Suppose 0 = 2*c + 5*p - 67643, 4*c - 3*c + p - 33832 = 0. Is c a multiple of 46?
False
Suppose -8*v = -52 + 12. Suppose 127 = -3*i + 5*d - 0*d, 0 = -i + v*d - 29. Let c = i + 103. Does 7 divide c?
False
Let b(s) = -s**3 - 5*s**2 + 6*s + 12. Let m be b(-4). Is (-11671)/(-9) - (m/18)/7 a multiple of 34?
False
Let j be (3/(-1) + 4)*-7. Let o(i) = i**3 + 14*i**2 + 6*i - 34. Let f(q) = -2*q**3 - 29*q**2 - 12*q + 70. Let a(x) = 3*f(x) + 7*o(x). Is 21 a factor of a(j)?
True
Let j = -108 + 132. Let z = j + 50. Let p = 93 - z. Does 3 divide p?
False
Does 24 divide (-203003)/(-6) - (14 - 33)/114?
False
Suppose -v = -2*v + 163. Let l(z) = 9*z + 12. Let a be l(9). Let u = v - a. Is 10 a factor of u?
True
Suppose 392 = d - 15*d. Let g = d + 138. Does 22 divide g?
True
Let x = 8 - -65. Let r = x - 53. Is 9 a factor of -6*5/r + 273/6?
False
Let t be 5 + 758/9 - 4/18. Suppose -376 + t = -7*j. Suppose 0 = j*n - 37*n - 504. Is n a multiple of 21?
True
Let n(s) = -4*s**2 - 11*s - 37. Let x be n(-9). Let b = x - -423. Does 61 divide b?
False
Suppose l - 3*p + 6 = 0, -2*p + 1 = -l - 2. Suppose 280 = 2*a - 2*y, l*y = 3*a + 8*y - 412. Does 8 divide a?
False
Let n = 92 + -161. Let y = n + 73. Suppose -67 = -y*j - 7. Is 6 a factor of j?
False
Let b(j) = -2*j**2 - 26*j - 38. Let m be b(-11). Suppose 297 = m*h - 789. Suppose -197 = -d - 5*y, d - 3*y = -0*d + h. Is d a multiple of 17?
True
Suppose 111*u - h = 108*u + 9050, 3*h - 9030 = -3*u. Is 15 a factor of u?
True
Let t(v) = v - 25. Let x be t(17). Let y(o) = -4*o**3 - 2*o**2 + 2*o - 33. Does 21 divide y(x)?
False
Let a = -6284 + 7005. Is 7 a factor of a?
True
Is (8/(-20))/(791192/197800 - 4) a multiple of 115?
True
Let m be (1148/8)/(-7)*2. Let t = m + 43. Is 3 a factor of ((-22)/t)/(-1) + (-3 - -1)?
True
Let j be (0 + 2)/((-1)/((-866)/(-4))). Let w = 3312 - j. Is 13 a factor of (-1)/(-6) + w/30?
False
Let l = 6579 + 3138. Is l a multiple of 16?
False
Let h = 17 - 15. Let w(q) = -q**2 - 2 + 0*q - h*q - 8*q**3 - q - 6. Is w(-2) a multiple of 22?
False
Let r be 12/(10 + -12) - -13. Let l be 2/4 - (-138)/4. Let c = r + l. Does 8 divide c?
False
Suppose 24 = -4*r, -2*w - 2*r = -7*r - 12284. Is 11 a factor of w?
True
Suppose -107*g = -68*g - 46683. Is g a multiple of 63?
True
Suppose -4*q + 4*q - 5*q = 0. Let c be (-1925)/(-5) - q