 35 a factor of a?
True
Let a(k) = -17*k + 27*k - 4 - k**3 + 7*k**2 - 16*k. Let s be a(4). Let p = 23 - s. Does 3 divide p?
True
Let x = 324 + -322. Suppose -3*a - 3*y + 184 = y, -3*a + 160 = -x*y. Is 8 a factor of a?
True
Let b = 695 + 15. Let n be 1 + -1 + -1 + 10. Suppose n*y - 2186 = -b. Is 41 a factor of y?
True
Let y(k) = 15 + 12 - 11*k**2 + 18*k - k**3 - 2. Let z be y(-11). Let d = 273 + z. Is d a multiple of 10?
True
Suppose 5*w - 2 = -4*z, -2*z - 3 = 1. Suppose 107 = 2*g + 3*o, -25*o + 23*o = w*g - 110. Is g a multiple of 6?
False
Suppose 3*b + 534 = 3*d, -2*b + 3*d + 528 = -5*b. Let g = b + 207. Does 30 divide g?
True
Suppose -85293 = 215*z - 242*z. Is z a multiple of 27?
True
Let w = -6864 - -7163. Is w a multiple of 23?
True
Let o = -299 + 1594. Is 37 a factor of o?
True
Let a(k) = -3*k**3 + 4*k**2 - 6*k + 11. Let y be a(4). Let s = y - -146. Suppose -s*d + 879 = -z, -3*d + 351 = -d - z. Is 11 a factor of d?
True
Let c be 2/(-10) + (-31968)/160. Let t = c - -756. Is t a multiple of 13?
False
Let w be 1208/14*77/22. Let u = w - 242. Does 4 divide u?
True
Let b(c) = 2*c - 12. Let x be 1/(-7) + (-258)/(-42). Let u be b(x). Suppose u = n + 15 - 43. Is n a multiple of 14?
True
Let y(o) = 2*o**2 + 4*o**3 - 4*o**3 + o**3 + 45 - 5*o + 4*o. Suppose 3*b - x = 1, 0*b - 2*x - 2 = 3*b. Is y(b) a multiple of 6?
False
Let s = 40 - 39. Let g be 3*5/(2 + 0 + s). Suppose -g*w = -w - 3*r - 760, 2*w + 5*r = 380. Is 38 a factor of w?
True
Let g be (4/24*51)/((-2)/(-80)). Suppose 4*x - 3*p = 408, -3*p - g - 170 = -5*x. Does 3 divide x?
True
Suppose 0*a = a - 2, 2*a = 4*k - 828. Let w = k - 91. Does 19 divide w?
False
Let s(j) = -423*j + 4362. Does 43 divide s(-66)?
False
Let y(x) = -x**3 - 8*x**2 - 10*x - 17. Let d be y(-7). Suppose -4 = 4*l - 4*i, d*l - 4*i + 5*i - 11 = 0. Is (-4)/32*l + (-213)/(-4) a multiple of 5?
False
Let n be 4 + 50/(-15) + (-1000)/6. Let y = -71 - n. Is 5 a factor of y?
True
Let i(z) = 6*z**2 - z + 3916. Does 83 divide i(52)?
False
Suppose 0 = 38*d - 95624 - 2264. Is 56 a factor of d?
True
Let z(v) = -v**3 - 41*v**2 + 12*v - 180. Is 85 a factor of z(-44)?
True
Let p = 10023 - 6673. Is p a multiple of 134?
True
Let k(j) = -7*j**3 + 12*j**2 - 3*j + 31. Does 157 divide k(-11)?
True
Suppose -47351 + 139431 = 5*l + 5*n, 3*n = 5*l - 92096. Is 59 a factor of l?
False
Let t(a) = -2*a + 12. Let n be t(8). Let j = n - -7. Suppose j*h + 7 = 91. Is 7 a factor of h?
True
Suppose 6*j - 11265 = 6945. Is j a multiple of 25?
False
Suppose -7*j = -0*j - 49. Let u be (-2 - j/(-4)) + (-12010)/(-40). Let z = u - 204. Is 12 a factor of z?
True
Let q be (-418)/(-7) - 10/(-105)*3. Let h = 64 - q. Suppose 66 - 14 = h*r. Does 7 divide r?
False
Suppose 2*h - 4 = -2*v, -3*v + 16 = -2*h - v. Let x be -5*(h + 36/(-20)). Is 1/((x/(-99))/(-8)) a multiple of 14?
False
Let f(d) = -2*d**2 + 9*d - 38. Let y be f(3). Let t = 235 - y. Is 33 a factor of t?
True
Let u(i) = -3*i**3 - 88*i**2 + 187*i + 72. Does 35 divide u(-32)?
False
Suppose 76*x + 359 = 77*x - 349. Is 177 a factor of x?
True
Suppose 13*c = -151 + 632. Let y be (-40)/(-50)*(c - 2). Let i = 82 + y. Is 10 a factor of i?
True
Suppose 61946 = n + 5*h, 39*n - 37*n - 123820 = -2*h. Does 37 divide n?
True
Suppose 46 = 16*t - 2834. Does 55 divide t?
False
Suppose -8 = 2*c - x - 22, c - 21 = -3*x. Suppose 0 = c*a - 6530 - 3001. Is 56 a factor of a?
False
Suppose 0 = -0*s + 2*s - 114. Suppose -5*v = -5*o + s + 588, 3*o + 621 = -5*v. Let w = -108 - v. Is 18 a factor of w?
True
Suppose 4*w - 6 = 2*u, -3*w = -0*u + 2*u + 6. Let h be 1210/8 - (39/12 + u). Suppose q - 3*z = -q + h, -3*q = -2*z - 239. Is q a multiple of 29?
False
Let b = -16471 - -29250. Is 191 a factor of b?
False
Suppose 191 = 7*r - 999. Let o = r - 70. Is o a multiple of 20?
True
Let x = -454 + 1212. Does 19 divide (-2)/(-4) + x*(-4)/(-16)?
True
Is 38 a factor of (-634280)/(-35) + 1520/(-665)?
False
Let g(y) = 16*y + 54. Let v be g(-3). Suppose 6*s - v = 84. Is s a multiple of 5?
True
Suppose -2*k + m + 25251 = 0, 1193*k - 1189*k + 4*m = 50484. Is k a multiple of 24?
True
Let a = 3387 + 3081. Is a a multiple of 7?
True
Suppose -12*j = -14*j + 3780. Suppose 3*d = 10*d - j. Is 10 a factor of d?
True
Is -236*(-4)/((-72)/(-855)) a multiple of 10?
True
Let o be (-90)/(-4)*(-34)/(-51). Suppose -302 = -16*r + o*r. Does 31 divide r?
False
Suppose 7*i - 17 = -3. Suppose -3*k = c - 5, -4*c - 3*k + 55 = i*k. Is c even?
True
Does 10 divide (-1597371)/(-204) - (-1)/(-4)?
True
Let x = 843 - 47. Let l = x - 613. Does 26 divide l?
False
Let a be -1*2 - -4 - 101. Let u be (-9*12/24)/((14/76)/(-7)). Let o = u + a. Is o a multiple of 37?
False
Let p = -449 - -620. Let q be 0*2*(-2)/4. Suppose q*k = -3*k + p. Is k a multiple of 21?
False
Let t be 1/4*1 + 196/112. Let j(d) = 19*d - d**2 + 0*d**t - 3 - 9. Is 36 a factor of j(12)?
True
Let b(t) = t**3 + 2*t**2 - 2*t + 3. Let m be b(-3). Suppose 2*v - 703 = -m*v - 5*h, 4*v - 3*h = 1419. Suppose -v = 3*s - 9*s. Is s a multiple of 6?
False
Let x(i) be the third derivative of i**5/15 - i**4/24 - 2*i**2. Let l be x(3). Is (-6)/(-33) + 2007/l a multiple of 19?
False
Let x = -1819 - -4208. Is 180 a factor of x?
False
Let j(q) be the first derivative of 2*q**3 - q**2 + 9*q - 113. Does 57 divide j(-6)?
False
Suppose 44*d - 13932 = 32*d. Let u = d - 568. Is 71 a factor of u?
False
Is 334 + 1 - (17 - 25) a multiple of 7?
True
Let o be (-1)/(-2)*4*10. Suppose -3*a + 8*a - o = 0. Is 23 a factor of 144 - (a - 4 - 1)?
False
Let r = -2748 - -4246. Is (-1 - -3)/(7/r) a multiple of 27?
False
Let s = -19490 - -35846. Is s a multiple of 25?
False
Let g(n) = -209*n + 3. Let a be g(-3). Suppose 66 - a = 4*d. Let i = 24 - d. Is 33 a factor of i?
True
Let p(s) = -2*s**2 + 13*s + 50. Let q be p(9). Suppose 20 = -0*c + q*c + 5*x, -18 = -4*c - 3*x. Is c a multiple of 2?
True
Let x(q) = 5*q**2 - 6*q + 46. Let s be x(6). Let d = s + 39. Does 14 divide d?
False
Let x(d) = -450*d**3 + 7*d**2 + 64*d + 44. Is x(-4) a multiple of 41?
True
Suppose 0 = 5*b + 4*d - 9299, 2*b - 1985 = -4*d + 1749. Does 3 divide b?
False
Suppose -685 = -5*c + 2*z + 3*z, -5*z + 10 = 0. Let r = 229 - c. Is r a multiple of 8?
False
Suppose -3*a + 16 = 1, 0 = g + 2*a + 2. Is 16 a factor of (-1112)/g*(-24)/(-16) + 5?
True
Suppose y = -5*u + 15, -5*u + 0*u + 4*y = 10. Suppose 2*x = -4*i + 70, -7*i + u*i + 92 = -2*x. Suppose -i*h + 20*h = 54. Is h a multiple of 8?
False
Let s(w) = w**3 - 23*w**2 + 66*w + 26. Let i be s(18). Does 21 divide (-6)/(-24)*((-4)/2 - i)?
False
Let w = -47620 + 77932. Does 8 divide w?
True
Let l = -14026 + 20340. Does 21 divide l?
False
Let q be 0 - (-6 + 2 - 6). Suppose -38 = -2*g - 2*n - q, n = -3. Is g a multiple of 14?
False
Let z(k) = k**3 - 10*k**2 - 11*k + 6. Let y be z(11). Does 22 divide 32/(-24)*(-1287)/y?
True
Let i = -53 - -37. Let c = -1 + i. Let y(l) = -l**2 - 23*l - 7. Is y(c) a multiple of 48?
False
Let n = 3072 - 2757. Does 4 divide n?
False
Let k(p) = 70*p + 2384. Is k(-5) a multiple of 18?
True
Let x = -15 - -16. Let b(a) = -24*a + 3. Let v(r) = -r - 1. Let i(l) = x*b(l) - 3*v(l). Is 10 a factor of i(-3)?
False
Let z be 3 + (327796/76 - (-10)/(-95)). Suppose -11*k + z = 2*k. Does 20 divide k?
False
Suppose 148*p = 144*p + 3*i + 56457, p + 4*i = 14100. Is p a multiple of 32?
True
Let n(c) = 7*c**2 + 2*c + 4. Let h(g) = -35*g**2 - 9*g - 19. Let z(f) = 2*h(f) + 11*n(f). Let x(u) = u**2. Let m(s) = -5*x(s) + z(s). Does 6 divide m(-2)?
True
Is 9 a factor of (-10229)/(-7) - ((-120)/(-175) + 6/(-15))?
False
Suppose -62138 + 4282 = -16*j. Is 8 a factor of j?
True
Let x = -70 + 89. Suppose 7*c = x*c - 3024. Is c a multiple of 7?
True
Let a be 2/4*1 - (-162)/36. Suppose -5*r = -0*s - 5*s + 1460, 0 = s - a*r - 300. Is s a multiple of 29?
True
Let x be -34*(0 - (-68)/16)*6. Let t = x + 1417. Is 50 a factor of t?
True
Suppose -5*v + v + 4*p = -20, 4*v - 5*p = 21. Suppose -15*g + 552 = 477. Suppose 0 = -v*f + g*f - 20. Is f a multiple of 11?
False
Suppose 486 = 24*g - 15*g. Suppose 5*a = 2*a + 144. Let j = a + g. Is 51 a factor of j?
True
Suppose -4*t + 34 = 18. Suppose -2*p + 87 - 385 = -f, 0 = -4*f + 3*p + 1197. Suppose -f = -t*s - 5*l - 12, -s = -l - 72. Is 9 a factor of s?
True
Let q = 287 + -272. Let h(b) = 3*b + 36. Is 9 a factor of h(q)?
True