 -10*p + 378 + m = 0. Is p a multiple of 14?
True
Suppose 0*o + 130 = 5*o. Let a(m) = -m**3 + 25*m**2 + 28*m - 56. Let r be a(o). Is 0 - r - (-19 + (-2 - -1)) a multiple of 17?
False
Suppose -730*b + 726*b - 3024 = 0. Let y = -132 - b. Does 39 divide y?
True
Let h be ((-4)/12*2)/((-2)/(-6)). Is ((-14)/4 - h)*-394 a multiple of 37?
False
Suppose -45*j = -22687 - 146 - 15867. Does 11 divide j?
False
Let v = 100 - 105. Is 16 a factor of 4/(-2) - (-52 - v)?
False
Let p be (-172)/(-10)*-1*-5 - 0. Let l = -42 + p. Does 22 divide ((-1206)/(-4) - -1)*l/55?
True
Is (-515655)/(-105) + 228/(-39) + (-8)/52 a multiple of 63?
False
Let l be 670/(-18) - 5/(-90)*4. Let j = 41 + l. Suppose -j*s + 396 = 2*s. Does 9 divide s?
False
Let l = -822 - -1192. Suppose 4*j = 4*q + 380, 3*q - q = 4*j - l. Let h = 127 - j. Does 9 divide h?
False
Let v(r) = -2*r + 18. Let i be v(-5). Suppose -5*j - 2*j = -i. Suppose 3*q - j*q + 54 = 0. Does 11 divide q?
False
Let q = 192 - 188. Suppose -q*y = -5*t + 420, 6*t + y = 5*t + 84. Is 7 a factor of t?
True
Suppose 0 = -10*w - 2*w - 36. Does 39 divide ((-18)/w - -320)/1?
False
Is ((-21)/(-6) + 10/(-4))*5183 a multiple of 73?
True
Let d be (4 - -4)*(-2 + (-10)/(-4)). Suppose -2*w - 3 = -5*a - 6, -d*a = 3*w - 39. Is 6 a factor of w?
False
Suppose 23*v = 41*v - 164268. Is v a multiple of 179?
False
Suppose 5*a + 4*f = -0*f + 1088, 3*a + 5*f - 645 = 0. Suppose -b - 5*p = -112, b = 3*p - 76 + a. Is 6 a factor of b?
True
Suppose 896*n = 902*n - 5292. Is n a multiple of 2?
True
Let a = -356 - -352. Does 9 divide 2/a*(-7 + -1201)?
False
Suppose 34*n - 33*n = -13086. Let c be 4/14 - n/63. Suppose 0 = -5*i - 2*g + 368, 3*i - c = -2*g + 16. Is i a multiple of 12?
True
Let j(w) = w**2 - 2*w - 133. Let x(d) = 2*d**2 - 30*d + 115. Let m be x(5). Does 2 divide j(m)?
True
Suppose 0 = 505*a - 729*a + 3088960. Does 10 divide a?
True
Let x = 28369 - 18727. Does 129 divide x?
False
Suppose 8*p - 12*p - 4*f + 3180 = 0, -f = -4*p + 3160. Is p a multiple of 7?
True
Let s(j) = -j**3 + 8*j**2 + 3*j. Let p be s(8). Suppose -20 = 4*a - p. Does 14 divide -2 - a*(-2 - 196)?
True
Let k be (0 - 2) + (-9)/(-1). Let q be 10 - ((-230)/69 + 2/6). Suppose -k*w - 1014 = -q*w. Is 13 a factor of w?
True
Suppose u - 16 = -2*f, 4*f - 75 = -5*u - f. Suppose 0 = i - 3*d - 11, i + 2*d - 6*d - u = 0. Suppose 4*m + i*m = 180. Does 10 divide m?
True
Suppose -15*s = -40*s + 21*s. Suppose -60*o + 54*o + 840 = s. Does 14 divide o?
True
Let w(g) be the second derivative of -g**5/5 - g**3/3 - 4*g**2 + 57*g. Is w(-4) a multiple of 16?
True
Let q(v) = -5*v - 239. Let s be q(-47). Let a(j) = -6*j**3 - 8*j**2 - 12*j - 14. Is a(s) a multiple of 4?
False
Let j(g) be the first derivative of 4*g**3 - 7*g**2 - 19*g + 13. Let y(t) be the first derivative of j(t). Is 21 a factor of y(12)?
False
Let v(c) = 9*c**2 + 2*c. Let s(g) = 2*g - 30. Let y be s(20). Suppose -5*h = -y*h + 5. Is v(h) even?
False
Let l = 73 - 68. Suppose -l*n + 419 = -21. Let g = n - 5. Does 14 divide g?
False
Let i(p) = p**2 - 15*p - 13. Let u be i(16). Suppose 1105 = 4*w + 3*x, -5*w + u*w + 550 = 2*x. Suppose -w = -5*t - 5*t. Is t a multiple of 8?
False
Let g = -12226 - -14140. Is g a multiple of 87?
True
Is (-420)/(-7)*(1 + 131/4) a multiple of 25?
True
Let x be ((-39)/(-2))/(6 + (-1395)/234). Suppose -2*u + 55 = -5*v - 202, 4*u - 3*v - x = 0. Is 6 a factor of u?
True
Let x = 193 + -146. Let q = -20 + x. Does 27 divide q?
True
Let y = 1218 - 777. Let b = 561 - y. Is b a multiple of 3?
True
Suppose 58 + 62 = i. Let a(p) = -p**2 - 57*p + 524. Let t be a(8). Is (5/t)/(363/i - 3) a multiple of 8?
False
Let x = -35203 + 51852. Is x a multiple of 13?
False
Let o = -6281 + 6701. Is 7 a factor of o?
True
Suppose -85*z = -312311 - 39419. Is 17 a factor of z?
False
Suppose 5*w - 4*v = -0*w + 372, v - 154 = -2*w. Let r be 547 + -1 + (5 - (-6 - -7)). Suppose 71*l + r = w*l. Is l a multiple of 10?
True
Suppose 0 = -200*u + 171*u + 412438. Is 13 a factor of u?
True
Suppose 5*k - 11313 = -o, 335*o = -5*k + 338*o + 11301. Is 29 a factor of k?
True
Let c = -374 - -371. Does 11 divide 134 - (c + 3 - 2)?
False
Let m be 40/(-5) + (2 - 45). Is 15 a factor of ((-934)/4)/(m/102)?
False
Suppose 12 = 5*a + 5*q - 13, -3*q + 9 = a. Suppose a*b + 5*y - y - 215 = 0, 5*b - 5*y = 405. Suppose 43 = 3*w + m, 0 = 5*w + m - 2*m - b. Does 4 divide w?
False
Suppose -2*u = 4, -5*u + 254 = -r + 5528. Does 7 divide r?
True
Let h be -2 + 2 + 21 + 2/2. Let x = h - 23. Does 5 divide 978*x/(-14) - (-2)/14?
True
Let t(y) = -4*y**2 + 9*y - 30. Let z be t(-8). Let f = z + 452. Does 9 divide f?
False
Let f(t) = -1822*t + 1280. Is 37 a factor of f(-17)?
False
Let x(k) = k**2 + 12*k + 567. Let n be x(0). Let i(f) = -2*f + 5. Let d be i(-2). Suppose 3*z + n = -6*t + d*t, 5*t = 4*z + 948. Is t a multiple of 37?
False
Is ((1 + 8 - 8552) + -13)*(-19)/3 a multiple of 31?
True
Suppose 3*g + 3*j - 3531 = 0, -3*g - 5*j = -1147 - 2374. Suppose -8*v + g = -58. Does 5 divide v?
True
Let n(v) = -v**3 + 6*v**2 + 6*v + 10. Let t(r) = r**3 + 18*r**2 + 2*r + 44. Let y be t(-18). Let m be n(y). Let g = m + 121. Does 17 divide g?
True
Suppose k + 4*k - 15 = 0. Let w be 11/(((-3)/2)/k - -1). Let f = w + -1. Is f a multiple of 6?
False
Let u(a) = -8013*a**3 + 2*a**2 - 18*a - 20. Is 3 a factor of u(-1)?
True
Does 33 divide ((-15939)/2)/(18/(-36))?
True
Let n be ((-15)/9)/((-5)/2)*144. Let q = -61 + n. Is 9 a factor of (6/9)/((-2)/(-3)) + q?
True
Let j be 3 - -28 - (-5 + 1). Suppose 5*c = -0*c + 5*k + j, 10 = 4*c + 2*k. Is c - 8*15/(-2) a multiple of 32?
True
Suppose f - 8818 = -3*l, 4484 - 1538 = l - 3*f. Does 21 divide l?
True
Let k = 8 + -6. Let j(g) be the second derivative of 7*g**4/12 - g**3/3 + 3*g**2/2 + 471*g. Is j(k) a multiple of 3?
True
Let n(j) = -637*j + 1043. Does 222 divide n(-13)?
True
Let n(r) be the first derivative of -r**4/4 - 13*r**3/3 - 11*r**2/2 - 55*r + 82. Does 59 divide n(-14)?
True
Suppose 8*h - 1 = -41. Let s be (-10)/4*(24 + 2)*h. Let t = -175 + s. Does 25 divide t?
True
Suppose -5*g - x + 23013 = x, 5*g - 3*x = 23043. Is g a multiple of 88?
False
Let y(z) = 3*z**2 - 10*z - 26. Let p(o) = o + 1. Let h(g) = -g**3 + 9*g**2 + 7*g - 17. Let a(m) = h(m) + 5*p(m). Let f be a(10). Does 18 divide y(f)?
False
Is 44 a factor of (0/(-2) - (-6)/9) + 14457670/570?
False
Suppose j + 3 = 4*l, l = 3*j - 6*j - 9. Suppose l = -9*g + 528 + 1515. Is g a multiple of 9?
False
Let c = 37 - 136. Let l be 1/(-3 + 2) + 5. Is 9 a factor of (c*4/(-16))/(1/l)?
True
Suppose 3*a = -3*b + 4446, -a + 4*b = -812 - 700. Is 31 a factor of a?
True
Suppose 0 = -3*n - 2*n + 10. Suppose -5*p - 4*o - 4 = -n, 0 = 4*p - 2*o - 14. Suppose -p*g + 4*i = 2*i + 4, -5*g - 4*i = -35. Is g a multiple of 2?
False
Let b = 9088 - 555. Is 85 a factor of b?
False
Let i = 387 + -381. Suppose -2*z + 855 = i*b - 9*b, -5*b = 2*z - 879. Is 12 a factor of z?
True
Suppose y - 18*y - 4216 = 0. Let a = y + 516. Is 67 a factor of a?
True
Let y(o) = 9*o + 62. Let l be y(-11). Let q = l - -425. Does 5 divide q?
False
Let v(w) = 19*w + 3*w**3 - 20*w - 1 - 2*w**3. Let b(a) = 7*a**3 - 12*a**2 - 8*a - 22. Let c(t) = b(t) - 6*v(t). Is 18 a factor of c(13)?
False
Let j = 29 - 45. Let f be 4/(13 + j - 14/(-4)). Suppose m = k - 9, -2*k + 27 = -f*m + 3*m. Is 6 a factor of k?
True
Let l(k) be the third derivative of k**6/24 - k**5/60 - 5*k**4/24 + k**3 - k**2 - 35. Is l(2) a multiple of 8?
True
Let k be -3*((-110)/(-3))/5. Let o(n) be the third derivative of -n**5/60 - 7*n**4/8 + 22*n**3/3 - 8*n**2. Does 8 divide o(k)?
False
Does 27 divide 57230/19 - 202/1919?
False
Suppose 193 = 47*h - 42. Let b = 2 - -1. Suppose -m - 1 + 44 = b*i, 0 = -4*i - h*m + 72. Does 8 divide i?
False
Let i = -4477 + 6837. Does 14 divide i?
False
Let g be ((-1)/(-2))/((-2)/(-12)). Suppose 0 = g*y - 15, 5*t - 23 + 3 = -2*y. Suppose 0 = 4*j - t*j - 84. Does 12 divide j?
False
Let i(q) = 9*q - 67. Let h be i(8). Does 14 divide 360 + 5/(-5) + h?
True
Let f be (-2)/10 + 483/115. Suppose 0 = -0*t + t + f*y - 328, 0 = -4*t + y + 1380. Is 43 a factor of t?
True
Suppose -2*j = -u - 10835, 420 = -2*j + 5*u + 11283. Does 80 divide j?
False
Suppose 33*n = 9*n + 44088. Suppose 4*w - u = n, -3*w = -5*w + 2*u + 914. Is 46 a factor of w?
True
Let l be (-100922)/42 + 22/(-231