ple of 7?
False
Suppose -585 = -7*h + 199. Suppose w - h = -7*w. Is w a multiple of 14?
True
Let q = 4555 - 4515. Is q a multiple of 10?
True
Suppose -1631 = -3*r + 2*r - m, -5*m - 19572 = -12*r. Is r a multiple of 4?
False
Let d(s) = -s**3 + s**2. Let g be d(2). Let c(j) = 6*j**2 + 11*j + 65. Is 11 a factor of c(g)?
False
Let o(j) = j**3 - 17*j**2 + 16*j + 24. Let g be o(16). Let h(k) = -k - 3. Let y be h(-3). Let v = g - y. Is v a multiple of 12?
True
Suppose 5*m = -4*x + 99397, 5*x - 51*m + 46*m = 124325. Does 25 divide x?
False
Let p = 2284 + -2122. Is p a multiple of 33?
False
Let v = -2099 + 4165. Does 65 divide v?
False
Let i(k) = -7*k**3 - 17*k**2 - 30*k - 25. Is i(-10) a multiple of 21?
False
Let k(l) = -l**3 - 7*l**2 + 14*l + 19. Let d be k(-8). Let q = 43 + d. Let t = q - -2. Is 8 a factor of t?
True
Is ((-66)/10)/(3038/1015 - 3) a multiple of 29?
True
Let f be -2*6/(-24)*6. Suppose b + f*b = -5*s + 221, s = -3*b + 163. Is b a multiple of 20?
False
Is ((-1 - 4) + 16)*287 a multiple of 15?
False
Let z = 6416 - -24. Is 92 a factor of z?
True
Suppose 47964 + 72348 = 5*w + 2*v, w + 3*v - 24078 = 0. Is w a multiple of 20?
True
Suppose -2*o - 6*o = 0. Suppose o = s - 0*s - f + 5, 0 = -3*s - 5*f + 25. Is 37 a factor of 259 + (4 - s) + (-1 - -1)?
False
Suppose 0 = -3*u + 50*n - 46*n + 3938, -6548 = -5*u - n. Let p = u - 818. Does 12 divide p?
True
Suppose 2*c + 52 = -2*b + 464, 4*b + 191 = c. Suppose h - c - 4 = 0. Is h a multiple of 23?
True
Let g be 9/(-15) + 92/20. Suppose -3*j + g*o + 61 - 12 = 0, 5*j + 3*o - 101 = 0. Suppose -j - 3 = -n + 3*t, 2*n + 5*t = 22. Does 16 divide n?
True
Suppose -5*a + 5*d + 466 = -2754, -a = -5*d - 624. Suppose 3*k - 1543 = 4*n + 328, 5*n - a = -k. Does 17 divide k?
True
Suppose 0 = 3*u + 2*u - 10. Let v(q) = -q**3 + 7*q**2 + 20*q - 14. Let y be v(9). Suppose 0 = y*r + 5*a - 562 - 23, u*r = -2*a + 294. Is r a multiple of 46?
False
Let d(b) = 26 + 43*b - 30 - 30*b. Does 2 divide d(7)?
False
Suppose 0 = -5*b + 4*s + 5300, 0 = -2*b + 179*s - 178*s + 2117. Does 12 divide b?
True
Suppose t - o = -2, 2*t + 3*t + 18 = 3*o. Let c be (t + 0)*(-3)/6. Suppose -5*r = -c*j + 4*j - 280, 4*r - 245 = -5*j. Is r a multiple of 20?
False
Let b(r) = -r**2 - 20*r + 56. Let h = 198 - 215. Is 14 a factor of b(h)?
False
Suppose 47 + 3 = 10*f. Suppose -f*d = -4*i - 2*d + 5272, -i + 1301 = -5*d. Does 16 divide i?
False
Suppose -2*g = -4*o + 200, 7*o - 6*o - 482 = 5*g. Let u = 171 + g. Does 18 divide u?
False
Let u(n) = -11*n**3 + 2 + 5*n**2 + 4*n**3 + 6*n**3 + 5*n**2 - 6*n. Let r be u(7). Does 5 divide r - ((-5)/(-1) - (-4 - -7))?
True
Suppose -14*t - 10 = -12*t, -4*m + 13 = -t. Suppose 3*f - 2*v = m*f + 21, -f - v = -24. Is f a multiple of 12?
False
Suppose -l - 2*t = -3541, 0 = 5*l + 5*t - 9317 - 8398. Is l a multiple of 137?
False
Is 6309 - (-2 + 6/(-12)*-16) a multiple of 72?
False
Let c = -23854 + 34004. Is c a multiple of 175?
True
Let u be 280/12*(0 - 12/5). Let i = u - -436. Does 19 divide i?
True
Let f be 18/(-8)*64/(-24) - 1. Let g be f/2 - 2 - 5/2. Is g/6 + 80/15 + -2 even?
False
Let a = -750 + 1224. Let w = 1065 - a. Is 14 a factor of w?
False
Suppose f - 7 = -4*q, 0 = 10*f - 7*f + 5*q - 14. Does 11 divide 39 - ((0 - f) + -20 + 18)?
True
Let o(x) = -1599*x - 2472. Does 15 divide o(-38)?
True
Suppose -67643 = 29*x - 318551. Is 84 a factor of x?
True
Let n be 0/6*(-1)/(-2). Let w(y) = -2*y**3 - y**2 + y + 116. Is w(n) a multiple of 25?
False
Let f(x) = 2*x**3 - 50*x**2 - 49*x - 152. Let o(j) = -3*j**3 + 75*j**2 + 75*j + 227. Let k(t) = -8*f(t) - 5*o(t). Does 85 divide k(23)?
True
Let g(x) = -2*x**2 + 21*x + 1. Let j(i) = -5*i**2 + 58*i - 31. Let f(z) = 2*g(z) - j(z). Let v(p) = 6*p**2 - 2. Let d be v(-2). Does 22 divide f(d)?
False
Let p(a) = 9*a - 2. Let r be p(5). Let n = 42 - r. Does 24 divide (190 + 2)*(n/(-2) - 0)?
True
Is 10 a factor of (-2)/(-10) - 11863790/(-425)?
False
Suppose -1004 - 1016 = -4*r + 5*c, -5*r + 4*c + 2516 = 0. Is r a multiple of 9?
False
Let p(k) be the second derivative of k**4/12 + 5*k**3/3 - 25*k**2/2 + 31*k. Let h be p(-11). Let n = 224 + h. Is n a multiple of 14?
True
Let x(v) = 36 - 51 + v**2 + 8*v + 15*v. Is 13 a factor of x(6)?
False
Suppose 0 = z + d - 13, -3*z = -2*z + 3*d - 17. Suppose 0 = 2*s - f - 10, 5*f = -5*s + 44 + z. Suppose -s*a + 173 = -625. Does 57 divide a?
True
Let z(g) = -12*g + 109. Suppose 5*x - 2*l + 38 - 7 = 0, -3*x - 17 = -2*l. Is 86 a factor of z(x)?
False
Suppose -3*i + 25 = -8*i, -4*s - i = -267. Let j be ((-32)/(-4))/(1/8). Suppose -j - s = -4*w. Is w a multiple of 19?
False
Let i be -17 + 1 - 10*7/35. Does 3 divide 255/(-10)*12/i?
False
Let g = 15 - 4. Suppose 3*y - 1 - g = 0. Suppose -4*x = -w - 555, 3*x + y*w - 177 = 263. Is x a multiple of 35?
True
Let o(i) = -921*i - 7588. Does 139 divide o(-23)?
False
Suppose 121649 - 17303 = 6*c. Does 64 divide c?
False
Let f(r) = 26*r**2 - r - 6. Let b be f(3). Let n = 2 - b. Let v = -121 - n. Is 17 a factor of v?
True
Is 126604/32 - (-87)/(-232) a multiple of 92?
True
Suppose 0 = -4*t - 12, 49*f - 47*f - 3*t = 8611. Suppose f + 275 = 11*w. Is w a multiple of 28?
False
Suppose 5 = -c + f + 7, f = 4*c - 8. Suppose -4*r - 320 = -c*n, -4*r + 640 = 4*n - 5*r. Is 25 a factor of n?
False
Let t = 52024 + -24918. Does 181 divide t?
False
Let q be 748/(((-15)/(-3))/(-5)). Let k = 1245 + q. Is 25 a factor of k?
False
Let d(z) = -z**3 + 15*z**2 - 28*z + 125. Is 22 a factor of d(11)?
False
Suppose 2084546 = 88*f + 67*f + 774951. Does 16 divide f?
False
Let x = -9 - -12. Suppose x*q - 77 = -68. Suppose -2*z - q*o + 36 + 99 = 0, 2*o + 294 = 4*z. Is z a multiple of 14?
False
Is 92 a factor of (22494 - -43) + -4 + 7?
True
Let u be (-44)/(-10) - (-42)/70. Let j(o) = o - o + o**2 - u*o + 21 - 11*o. Is 19 a factor of j(16)?
False
Let q be ((-91)/26)/(2/(-12)). Let j = 323 + q. Does 9 divide j?
False
Let t(h) = -51*h - 3. Let p be t(3). Let s = p + 334. Is s a multiple of 11?
False
Let u(j) = 522*j**2 + 43*j + 8. Is u(-3) a multiple of 22?
False
Suppose -35*w = 19 - 54. Let a(o) = 79*o**3 + 2*o**2 - 2*o + 1. Is 12 a factor of a(w)?
False
Let q(t) be the second derivative of t**5/10 - 2*t**4/3 - 5*t**3/2 - 48*t**2 - 134*t. Is 18 a factor of q(10)?
True
Let w = 36 + -96. Let c be (-477)/(-4 - -1) + -2. Let a = w + c. Does 19 divide a?
False
Suppose 3345 = 6*n - 4161. Let f = -490 + n. Is 8 a factor of f?
False
Suppose 0 = 2*c + 2*v - 18324, 0 = -c - 2*v - 0*v + 9156. Is 191 a factor of c?
True
Suppose 3870 + 2562 = 24*k. Is 6 a factor of 108/3*(3 + k/12)?
True
Let h(a) = a**3 + 17*a**2 + 14*a + 18. Let q be h(-16). Suppose l = -5*g + q, g + 4*l - 38 = -g. Suppose d = g + 51. Does 7 divide d?
False
Suppose 13 = 26*n - 13*n. Is (78 + (10 - n))/(1 + 0) a multiple of 3?
True
Let g = 170240 - 111434. Is 18 a factor of g?
True
Let z = 750 - 148. Is z a multiple of 14?
True
Suppose -30040 = 260*p - 80553 - 140327. Does 3 divide p?
False
Let b be 9/36 + 38/8. Suppose 37 - 12 = b*d. Suppose d*v - 794 + 294 = 0. Does 25 divide v?
True
Let f(d) = 2*d**3 - 5*d**2 - 12*d - 8. Let g = 85 - 77. Is 25 a factor of f(g)?
True
Suppose -2061 = -7*r + 228. Let a = -197 + r. Does 26 divide a?
True
Let q = 6230 + 396. Suppose -8*y - 2090 = -q. Is y a multiple of 63?
True
Let i(h) = 185*h - 1. Let g be i(2). Suppose 0 = -2*s + 9 + g. Is s a multiple of 20?
False
Suppose -4*p + 176 = -4*i, -2*i - 32 = -5*p + 41. Is 234 + -1 - (-196)/i a multiple of 18?
False
Let d be (1 - -1)*176/32. Let j(b) = -3*b**2 + d + 2*b - 27*b - 2*b. Is j(-9) a multiple of 4?
False
Suppose 11*t + 29*t + 6*t = 94116. Is t a multiple of 6?
True
Suppose -4*z = -n - 8, 3*z - 8 = -3*n - z. Suppose n = -q + 3. Suppose 0 = p + q*p - 2*w - 126, -4*w - 136 = -4*p. Does 16 divide p?
False
Suppose 13*i + 68*i = 435916 + 2302694. Is 69 a factor of i?
True
Let t = -2083 + 2279. Does 6 divide t?
False
Suppose 5*f + 26650 = 46*h - 43*h, -44434 = -5*h + 4*f. Is 127 a factor of h?
True
Let o(c) = -c**3 - 3*c**2 - 7*c - 9. Let n be o(-4). Suppose -10 = 4*z + 5*i, 6*i - i - n = 5*z. Let p(r) = -4*r - 16. Is p(z) a multiple of 2?
True
Let l = -1494 + 1689. Is l a multiple of 13?
True
Let n(b) = -9*b - 46. Let w be n(9). Let c = w - -163. Is c a multiple of 36?
True
Let x(c) = c**2 + 73*c - 174. Does 3 divide x