ltiple of 7?
False
Suppose 0 = 155*p - 303*p + 1895880. Is p a multiple of 76?
False
Let n = -2997 + 5637. Does 10 divide n?
True
Let y(h) = h**2 - 21*h + 57. Let m be y(18). Suppose -2*v + 5*v = m*z + 393, 5 = -z. Is 14 a factor of v?
True
Let q(o) be the third derivative of 0 + 0*o + 1/3*o**3 - 1/24*o**4 - 5*o**2. Does 9 divide q(-7)?
True
Let a be 9/12*-2*466754/(-57). Is 61 a factor of 78/351 - 2/(-18)*a?
False
Is 12 a factor of -868*(1 - -1)*26/(1014/(-117))?
True
Suppose 947*r - 956*r + 3620 = 947. Does 3 divide r?
True
Let f(t) = 396*t + 757. Is f(15) a multiple of 7?
False
Suppose 4*n = -4*w - 11240, -n - w = -4*w + 2826. Let z be ((-2)/(-3))/(14/n). Is 17 a factor of 1 - (-3)/(-6)*z?
True
Suppose 2*x + h = 77, -43 = -2*x + h + 24. Let w = x + -73. Is 6 a factor of w/(-3) - (-7)/(-21)?
True
Suppose -4*n - 12*j = -11*j - 91202, -4*j = -n + 22792. Is 25 a factor of n?
True
Suppose 4*s + 12*m - 11*m = 4009, 3004 = 3*s - 2*m. Suppose -8*q + s = -5150. Is q a multiple of 28?
False
Let d = 8754 - -62818. Does 41 divide d?
False
Suppose -4*j - 12159 - 4827 = -2*f, 16986 = 2*f + 4*j. Is f a multiple of 149?
True
Let f(o) = -2*o + 36. Let t be (5/25)/((-3)/(-45)). Suppose -5*z + 7*z + t*q = 9, 5*z = q - 3. Is f(z) a multiple of 12?
True
Suppose -2*q = 5*s - 27, 4*s - 3*s + 4*q - 9 = 0. Suppose -5 = 7*d - s. Suppose 22*b - 19*b - 147 = d. Is 5 a factor of b?
False
Let j(t) = -11*t + 8*t**2 + 10 - 12 - t**3 + 6. Is 6 a factor of j(5)?
True
Let q(t) = 2*t**2 + 64*t - 65. Let h be q(-33). Let b(v) = 781*v + 31. Is 29 a factor of b(h)?
True
Let p = -69272 + 120493. Is 39 a factor of p?
False
Suppose 41 = 5*i + 11. Suppose -4*v = i + 14. Does 32 divide 99 - -1*(3 + v)?
False
Let r(f) be the first derivative of -58*f + 21/2*f**2 + 20. Is 17 a factor of r(11)?
False
Let f = 48 - 48. Suppose 4*l - 485 - 15 = f. Is 70 a factor of l?
False
Is 34 a factor of 2 + -21 + 21303 + (5 - 3) + -2?
True
Let r(x) = -x**3 + 19*x**2 - 28*x + 36. Let t = 330 - 316. Is r(t) a multiple of 52?
True
Let a be -808*-5*3/30. Suppose -3*k + a = -j, -2*k - 5*j + 273 = -2*j. Does 2 divide k?
False
Suppose 0 = t - 6*z - 37950, -81*t = -77*t - 5*z - 151781. Does 279 divide t?
True
Suppose -5*u + 2*u + 45 = 0. Suppose 0 = -z - 8*r + 3*r + 423, 5*r = u. Is z a multiple of 34?
True
Suppose -195*y + 200*y = -4*z + 7952, 7928 = 5*y + z. Is 12 a factor of y?
True
Suppose -74181 - 10948 = -18*t + 2351. Does 57 divide t?
False
Suppose -8*v + 900 + 8088 = 6*v. Is v even?
True
Let p = -4 - -9. Let h(k) = 8*k**3 - k**2 + 2*k + 294. Let s be h(0). Suppose -n - p*n = -s. Is n a multiple of 13?
False
Let k be 4/(-18) + (-146)/(-9). Suppose -k*s = -11*s. Is 14 a factor of -3*(-17 - (s + -3))?
True
Let c be (2 + 11 - 2)/(3/96). Suppose 0 = 4*o + s + 5 - c, -3*s = -o + 103. Does 44 divide o?
True
Suppose 0 = 20*k - 60*k - 31*k + 134900. Does 8 divide k?
False
Suppose 0 = 5*q - 1343 - 652. Let s = q + -171. Does 13 divide s?
False
Let h be (-70936)/(-72) + (-8)/36. Let y = h + 295. Is 64 a factor of y?
True
Let f(o) = o**3 - 12*o**2 + 47*o - 84. Let d be f(12). Let g(l) = l**3 - 14*l**2 + 9*l - 6. Let p be g(6). Let u = d + p. Does 27 divide u?
False
Is 22 a factor of (54/(-405) + 14/(-21))*(-107470)/4?
True
Let r = 13 - -15. Let z be (48/r)/(6/21). Suppose z*k - 126 = -0*k. Is k a multiple of 6?
False
Let c = 941 - 193. Suppose -4*g + 5*m = -c, -2*g + 5*g - 562 = 4*m. Suppose -3*h - 98 = -g. Does 7 divide h?
True
Suppose 4*o - 8665 = -3*d, 3*d - 2865 = 5*o + 5764. Suppose -7*f + d = -2*f - 2*l, -2871 = -5*f - l. Is f a multiple of 23?
True
Suppose s - 31 = 3*z, 92 = 4*s - z - 3*z. Let r be (-17 - -16)*s*-1. Let n = r + 2. Is 3 a factor of n?
True
Let l be (-68640)/(-231) + (1 - 16/14). Let w be 1/((2 + -1)/95). Let b = l - w. Is b a multiple of 35?
False
Suppose 4*n = -n + 2*a + 44, 5*a + 15 = 3*n. Suppose 53*p - 51*p = -30. Let f = n - p. Is 5 a factor of f?
True
Let s be 8/28 - 66/(-14). Suppose 0 = n + s*n - 24. Suppose -n*b = 151 - 619. Does 13 divide b?
True
Suppose 14*r - 13*r = -142. Let m = -62 - r. Does 16 divide m?
True
Suppose -2*m = -3*k - m + 18331, k = -3*m + 6087. Does 129 divide k?
False
Suppose 0 = -u - 4*d + 3*d - 9, -3*u - 23 = d. Let w be -1 + (-3 - u) + 44. Is (2/(-4) + 1)*(w + -1) a multiple of 5?
False
Suppose 4*n = -10*t + 6*t + 5604, 0 = -3*t + 9. Is n a multiple of 76?
False
Let h = -63 + 67. Suppose y + 4*y - 328 = -4*p, -4*p + 264 = h*y. Suppose -t = 49 - y. Is 2 a factor of t?
False
Suppose -249 = -3*j + 2*h, 0 = 3*j - 6*j - 3*h + 264. Let m = 87 - j. Does 15 divide ((-225)/6)/((-1 - 0)/m)?
True
Suppose -p + a + 1 + 1 = 0, 5*p - 2*a - 22 = 0. Suppose -7*o + 365 = -p*o. Suppose 0 = -6*k + 955 + o. Is 22 a factor of k?
True
Let p be 1/(((-2)/9)/(-2)). Let n be -3*25/15 + (-10)/(-2). Suppose n = 3*i + p, -i = s - 337. Is s a multiple of 20?
True
Suppose -4*x + 7*x = 84. Let s = -147 - -167. Let a = s + x. Is 16 a factor of a?
True
Suppose 3*i = l - 7677, -9*i - l - 12803 = -4*i. Is 16 a factor of ((-12)/(-10))/((-192)/i)?
True
Let r be 148/259 + (-34)/(-14). Suppose -s + 67 = r*x - 115, 0 = -4*s + 2*x + 672. Does 34 divide s?
True
Let i be 10 + 1/(-1) + -2. Suppose -i = -y + 5*v, 4*y + 0*y = v + 47. Is (y/30)/(3/(-25))*-3 a multiple of 2?
True
Suppose -3*g = -4*r - 1237, 4*g = 5*g - 3*r - 419. Let x = g + -218. Suppose 3*i = -3*u + 8*u + x, u = i - 65. Is 17 a factor of i?
True
Suppose p + 3*n - 309 - 31 = 0, 310 = p - 3*n. Let y = p - 295. Does 5 divide y?
True
Let p(i) = -17*i**2 - 7*i - 4. Suppose 2*x - 25 = -2*x - d, 2*x + 10 = 4*d. Let s be p(x). Is 13 a factor of (s/12)/((-2)/9)?
False
Suppose 0 = 98*c - 105*c - 2*r + 42822, -3*c - 5*r + 18315 = 0. Is c a multiple of 32?
False
Let x be (-3634)/(-4) - 1/2. Suppose -70*j + 28*j + 4283 = 545. Suppose 4*s = -5*n + x, -87 = -n + 2*s + j. Does 10 divide n?
True
Let g(r) = 2*r**2 - 39*r + 11. Is 6 a factor of g(28)?
False
Let r = 52 - -55. Let h be -1 - 3/((-6)/(-68)). Let b = r + h. Does 18 divide b?
True
Let u(o) = 7*o**2 - 8*o + 6. Let l = 23 + -18. Let f be u(l). Suppose -4*x = 5*a - 0*x - 199, -f = -3*a + 3*x. Does 11 divide a?
False
Suppose -5*j + 19 = -16. Suppose -j*o + 271 = -471. Does 15 divide o?
False
Let g(c) = 2*c + 18. Let u be g(-9). Suppose -5*n = u, -2*d - 2*n + 4*n = -52. Suppose 2*a - d = -0*a. Is a a multiple of 2?
False
Suppose -k = -589 + 595. Let x(u) = -87*u + 47. Is x(k) a multiple of 11?
False
Suppose 33562 = 5*l - 358. Is 151 a factor of l?
False
Suppose -2*x = u - 5227 + 1801, -3429 = -u - 5*x. Does 20 divide u?
False
Suppose -o + 61 = -4. Let u = o - 53. Does 36 divide 155 - (u/(-10))/((-12)/30)?
False
Let t = 34 + 70. Let h = -93 + t. Let u(o) = o**3 - 9*o**2 - 6*o + 16. Is u(h) a multiple of 32?
True
Let k = -9598 + 10318. Is 8 a factor of k?
True
Let j = 7419 + -2055. Does 18 divide j?
True
Let a(t) = t. Let i be a(2). Suppose -14 = i*z - 26. Suppose -k - z = -30. Does 2 divide k?
True
Suppose -9*o - 30872 = -7220. Let t be o/27 + (-4)/6. Let p = 164 + t. Is p a multiple of 27?
False
Suppose 0 = -4*y - 247 - 297. Let m = 3669 + -3734. Let q = m - y. Does 13 divide q?
False
Let a be (5/(-1) - -1)/(-4). Does 22 divide (3114/12)/(a/2*3)?
False
Let d be (-10)/(17 - 7)*(-6)/2. Suppose s - 241 = w, -s + 97 = -d*w - 148. Is 9 a factor of s?
False
Suppose -40 + 33 = -t. Suppose -728 = 3*g - t*g. Is 19 a factor of g?
False
Let c(h) = -97*h + 131. Let t be c(-5). Suppose 0 = -k - 5*m + 132, 0 = 4*k - 8*m + 6*m - t. Is k a multiple of 11?
False
Let v be (-31)/(-3*6/90). Let n = -135 + v. Does 10 divide n?
True
Suppose 101813 = 33*m - 52165. Does 19 divide m?
False
Suppose -3*d - 231 = 3*i, 5*i = i - 2*d - 314. Let l be 3 + i + 2 + 3. Let t = -32 - l. Does 4 divide t?
True
Let d be (-159)/(-2)*-2*-1. Let c be 1/5 + 13*d/15. Suppose -c = -n - 3*r, -n + 6*r + 156 = 3*r. Does 21 divide n?
True
Suppose 570*s - 8502000 = 195*s. Does 37 divide s?
False
Let z(c) = -c**3 + 41*c**2 + 196*c - 300. Is 52 a factor of z(43)?
False
Suppose 4*c + 97 = -g, -2*c = -5*g - 4*c - 575. Suppose -65*d - 1001 = -156. Is 18/g + (-2108)/d a multiple of 27?
True
Let f(m) be the third derivative of 0 - 11/24*m**4 + 0*m - 7/3*m**3 + 7/30*m**5 + 8*m**2 + 1/120*m**6. Is f(-14) a multiple of 30?
False
Let p(g) = -5*g - 28. Let u