1?
False
Suppose 5*p = u + 17558, 5*p - 3995 = 4*u + 13572. Does 58 divide p?
False
Let l be 1 + 4 + (-9)/(-3). Let x(r) = -5*r + 130. Let n be x(25). Suppose -n - l = -p. Is p a multiple of 6?
False
Let o(y) = -3*y - 38. Let z be o(-12). Let c be (z + 2 + 68/(-8))*-4. Suppose 2*l + c = 4*l. Is 13 a factor of l?
False
Let a(c) = -c**2 - 49*c. Does 16 divide a(-16)?
True
Let u = 315 + -590. Let d = 410 + u. Is d a multiple of 9?
True
Let o(c) be the second derivative of 5*c**3/6 + 11*c**2/2 - 4*c. Let p be o(7). Suppose -p = -3*f + 44. Is 9 a factor of f?
False
Suppose -22 = -7*n - 8. Suppose -4*i = n*x - 1256, -5*i + 1048 = 2*x - 523. Does 15 divide i?
True
Suppose 0 = -10*r + 3378 - 838. Suppose 0 = -0*b - b - 2*q + 127, 0 = 2*b - 4*q - r. Is b a multiple of 8?
False
Suppose 2300*c - 2290*c = 580. Does 2 divide c?
True
Let d(c) = 2*c**2 - 47*c + 9. Let p be (0 + 10)*48/20. Is d(p) a multiple of 3?
True
Let y = -412 + 19762. Does 75 divide y?
True
Let i(t) = 18837*t**2 + 162*t. Does 16 divide i(1)?
False
Suppose 2432 = -6*y + 2498. Suppose 9*z + 1440 = 3*n + y*z, 4*z = -4*n + 1916. Is n a multiple of 69?
False
Suppose 5*q - 7 - 18 = 0. Suppose q*n + 15 = -2*l + l, -3*l - 3*n - 21 = 0. Does 6 divide (2/l)/(2/150)*-1?
True
Suppose -2384 = 9*a - 34892. Is 84 a factor of a?
True
Let z(b) = -16*b**3 - 3*b**2 - 5*b. Let q be z(-2). Suppose 3*a - q + 18 = 0. Is a a multiple of 3?
True
Let t(d) = 11*d + 246. Let m = -754 - -735. Is t(m) a multiple of 35?
False
Let d(m) = -7*m + 0*m - 8 + 14*m + 3*m - m. Let z(u) = u**2 + 7*u - 2. Let x be z(-8). Does 4 divide d(x)?
False
Let p = -158 + 2426. Is p a multiple of 12?
True
Let f = -58 + 70. Let g(o) = -3 - 1 - f*o + 0 + 10. Does 6 divide g(-7)?
True
Suppose 59*d = 31*d + 30*d - 1006. Is d a multiple of 95?
False
Suppose 98 - 378 = -5*f. Let g = 56 - f. Suppose g = 4*o - 5*m - 239, 4*m + 27 = o - 41. Is 8 a factor of o?
True
Let i(b) = 2*b**2 - 22*b. Suppose -3*w + 10 = -5*u - 7, -w = 4*u - 17. Let c be i(w). Does 22 divide (c/15)/((-6)/560)?
False
Suppose 63891 - 6188 = 77*r - 24225. Is 14 a factor of r?
True
Is 156 a factor of -205*(1 - (-4 + (-2172)/(-15)))?
False
Suppose 0 = t + f - 429, 3*f + 2586 = 5*t + 433. Suppose -106*x - t = -107*x. Is x a multiple of 52?
False
Let y(p) = 7*p**3 - 15*p**2 - 20*p - 19. Let o(x) = -2*x**3 + x**2 - x. Let n(k) = -3*o(k) - y(k). Is n(12) a multiple of 4?
False
Suppose -t - 20 = 3*x, 3*t = -10*x + 14*x - 112. Let n = t + 85. Does 16 divide n?
False
Suppose 10*k + 6 = 13*k. Let s be 165/k - 1/2. Suppose 107 = 7*y - s. Is y a multiple of 3?
True
Suppose -5*b + 4*b + 19293 = -2*m, 4*b = -m + 77226. Is 9 a factor of b?
True
Let f = 30041 + -22242. Is f a multiple of 53?
False
Let t(o) = o**2 + 14*o - 17. Let k(a) = -a + 1. Let m(r) = -r**3 + 4*r**2 + 5*r + 3. Let i be m(5). Let l(v) = i*k(v) + t(v). Does 7 divide l(-14)?
True
Let n be 12/(-30)*8042*-5. Suppose -n = -12*m - 2692. Does 36 divide m?
True
Suppose -24*s = -139 - 10949. Is s*((-9)/(-15) - 16/(-40)) a multiple of 22?
True
Suppose 18*q - 26298 - 16290 = 0. Is 91 a factor of q?
True
Let m = -9 + 12. Let o be 0 + -53 + -2 + m. Let u = o + 60. Does 8 divide u?
True
Let z(x) = 3*x**3 + 4*x**2 + 4*x + 9. Let g(t) = -16*t**3 - 19*t**2 - 21*t - 46. Let f(n) = 2*g(n) + 11*z(n). Is 7 a factor of f(-4)?
False
Let o = 2272 - 1260. Is 9 a factor of o?
False
Let p = 7809 + -7334. Does 19 divide p?
True
Suppose 0 = -k - 2*i - 156, -k + 5*k + 4*i = -632. Let v be 545/(-10) - (-2 - (-10)/4). Let s = v - k. Does 21 divide s?
True
Let o = -5799 + 8424. Does 25 divide o?
True
Let p = -496 + 332. Let a = p + 454. Is 21 a factor of a?
False
Is 24 a factor of 0 - (-8)/9 - 1 - 16570438/(-1359)?
False
Suppose 19*y - 18*y + o = 5459, -5469 = -y + o. Does 28 divide y?
False
Let o be 336/(5 + -4) + -3. Suppose -3*h + o = -i, -h + 2*i + 330 = 2*h. Is 14 a factor of h?
True
Let m(i) = i**3 - 6*i**2 + 7*i - 5. Let d be m(2). Let t(s) be the first derivative of 2*s**3/3 + 9*s**2/2 + s + 15. Is t(d) a multiple of 9?
True
Let n = 2966 - -9384. Is 43 a factor of n?
False
Suppose -3*j - 2*s = -0*s - 18, 0 = -j + 3*s - 5. Suppose j*h + 5*v + 180 = 5*h, -v + 180 = h. Suppose 5*x - h = -0*x. Does 18 divide x?
True
Let s(m) = -2*m + 34. Suppose 3*o + 24 - 71 = -5*w, -59 = -3*o + w. Let x(k) = k**2 - 20*k + 19. Let v be x(o). Does 17 divide s(v)?
True
Suppose -4*q - 4*f + 609 + 2979 = 0, -4449 = -5*q + 4*f. Suppose -4*m + 403 = -q. Does 9 divide m?
True
Suppose 186*s - 190*s + 47920 = 0. Is 64 a factor of s?
False
Let s(u) be the first derivative of u**4/4 + 8*u**3/3 + 26*u + 34. Suppose 2*n + 4 + 12 = -m, 4*n + 40 = -4*m. Is 7 a factor of s(n)?
True
Suppose 0 = 4*k + 2*t + 134, 0*t = 4*k - 2*t + 122. Is (-34864)/k - 3/(-6) a multiple of 13?
False
Let o be (-17)/(17/(-1354)) - (0 + -4). Let t = 28 + o. Is t a multiple of 23?
False
Let a = -73 + 75. Suppose -a*l = -7*l + 2185. Let n = 625 - l. Does 55 divide n?
False
Suppose q + 4*d - 369 = 0, -3*q - 2*d - 232 + 1289 = 0. Let k = 356 - q. Is k a multiple of 3?
False
Does 26 divide 149763/6 - (20 - (-861)/(-42))?
False
Let n be -5127*2*8/48. Let u = -780 - n. Is 65 a factor of u?
False
Let x(w) = 3*w**3 + w**2. Let m be x(-1). Let o be m/(-7) + (-162)/126. Is 0 - 132/(-4)*(2 + o) a multiple of 4?
False
Let u(m) be the first derivative of 55*m - 18 + 1/2*m**2. Is u(0) a multiple of 23?
False
Suppose -v + 18 = 2*a, 45 = -a + 6*a + 4*v. Suppose 8 = -3*x + s, 5*s + a = x - 7. Is (x + -3 + -3)*-2 a multiple of 2?
True
Let u(f) = 2*f**3 - 5*f**2 - 11*f + 15. Let v be u(5). Is 41 a factor of (2/(20/v))/((-3)/(-90))?
False
Let q(h) be the third derivative of h**6/120 - 8*h**5/15 + h**4/2 - 9*h**3/2 + 152*h**2. Is q(32) a multiple of 34?
False
Is 28 a factor of -4 + (0 - ((-7)/(-7) + -4987))?
False
Let r = -77 + 78. Let g be 31/1*r*-1. Let a = g + 75. Is 11 a factor of a?
True
Let p(i) = -2*i**3 + 11*i**2 + 7*i + 2. Let u be p(6). Is 79 a factor of (u + 102/(-12))*-884?
False
Let f(g) = -143*g + 71. Let k be f(7). Let n = -588 - k. Is 18 a factor of n?
True
Is (-540)/(-405) - 10106/(-3) a multiple of 5?
True
Suppose 29 = 4*w - 51. Suppose w*v + 4*v - 11280 = 0. Does 11 divide v?
False
Suppose 2419*x - 633100 = 2399*x. Is 65 a factor of x?
True
Let o = -34287 + 117762. Does 63 divide o?
True
Let m be 0/2 - -1 - -1. Suppose 1875 - 1827 = 12*c. Suppose -5*x - c*n + 0*n = -1472, m*n + 286 = x. Does 38 divide x?
False
Let j(y) = 15*y + 9 - 3*y**2 + 3 - 9. Let s be j(9). Does 18 divide ((-48)/(-28))/((-10)/s)?
True
Suppose 767 = 3*m + 2723. Let g be (-108)/(-162) - (-1 + m/(-6)). Let c = -63 - g. Is 11 a factor of c?
True
Suppose -5*q = n - 274 - 352, 4*q - 526 = -5*n. Is q a multiple of 6?
False
Let m = 9200 + -7094. Does 39 divide m?
True
Suppose -50*p = -6*p - 1954436. Is p a multiple of 25?
False
Let s be (-26018)/(-14) - 30/70. Let z = s + -1228. Suppose 0*l + z = 9*l. Is 14 a factor of l?
True
Suppose -i - 2*p - 4510 = -5*i, 3*i - 3389 = -5*p. Suppose -2*m - 10 = 0, -5*m - i = -2*o - 113. Suppose -15*q = -6*q - o. Is q a multiple of 7?
False
Let t = 9168 - 8977. Is t even?
False
Suppose -1134*z + 1146*z + 48 = 0. Let w(d) = -d**3 + 3 + 4*d - d - 1. Is 10 a factor of w(z)?
False
Let c = 18500 + 1125. Does 47 divide c?
False
Suppose -13*a - 1760 = 320. Suppose -6*z = f - z + 229, 0 = -2*z + 10. Let i = a - f. Is i a multiple of 12?
False
Let b be 1*(-2)/4*-236. Is 7 a factor of (b/8 - -3)/((-3)/(-12))?
False
Let q = -30 - -58. Suppose 0 = -v - m + 43, 3*v + 30*m - q*m = 134. Is 3 a factor of v?
True
Let t = 3630 + 2921. Is 8 a factor of t?
False
Suppose 6*z + 12 = 12*z. Suppose -3*c = -z*f + 575, 1538 = 4*f - c + 413. Is 70 a factor of f?
True
Does 11 divide (-6 - 0) + 1930 + -5 + (1 - -1)?
False
Let g(u) = -315*u + 5. Let p(i) = 628*i - 10. Let m(o) = -7*g(o) - 4*p(o). Does 24 divide m(-1)?
True
Let l be 218 - 63/28*24/9. Suppose -3*o = -10 - 2. Suppose o*h - 4*g - l = 2*h, 2*h - 236 = -4*g. Is 28 a factor of h?
True
Is (11 - 2)*1390/30 a multiple of 7?
False
Let j be (-17310)/(-12) - 3/6. Let o = j + -692. Does 30 divide o?
True
Let v = -61 - -71. Let j = v - 10. Let l = j - -16. Does 8 divide l?
True
Let y be 13/((-91)/(-14)) - (-1 - 8). Let q(d) = -d**3 + 17*d**2 - 6*d + 32. Is 11 a factor of q(y)?
False
