ide q?
True
Suppose -8*n = n - 4140. Let z = n + -242. Is z a multiple of 4?
False
Let m = 906 - -654. Is m a multiple of 43?
False
Is 9 a factor of (-21*(-8)/1344)/(1/25096)?
False
Let w(p) = -11*p**3 + 2*p**2 + 7*p + 10. Let r be w(-2). Let c = -90 + r. Suppose 5*k - 178 = -c*n, -2*n = k - n - 35. Is k a multiple of 4?
True
Let v(l) = 3*l**3 - 7*l**2 + 7*l - 1. Let h be v(2). Suppose h*f = 5873 + 1048. Is f a multiple of 36?
False
Suppose -z + 3 = -5*j + 7*j, 3 = 4*z - j. Does 7 divide 2950/10 + -4 - (-1 - z)?
False
Let a = -135 - -138. Suppose -l + 16 = -a*l. Is l/(-12) + 403/3 a multiple of 21?
False
Let k(p) = p**2 - p + 11. Let h(g) be the third derivative of -g**4/24 + 5*g**3/2 - 16*g**2. Let i be h(6). Does 22 divide k(i)?
False
Suppose -3*n = 5*g + 8, -23 = 5*g - 3*n + 9. Is (-198)/g + (-5)/(-2) a multiple of 3?
False
Suppose -4*h + 119 = 11. Let a = h - 11. Let n(s) = -s**2 + 21*s + 25. Is 7 a factor of n(a)?
True
Suppose 0 = 45*s - 15993 - 311967. Is s a multiple of 8?
True
Suppose 23*s + 2974 = 13761. Suppose -9*o + 89 = -s. Is o a multiple of 3?
False
Let z(i) = 63*i + 1127. Is z(3) a multiple of 3?
False
Let m = 83752 + -48382. Is 9 a factor of m?
True
Let j(z) be the first derivative of -z**4/4 - 2*z**3/3 + z**2/2 + 2*z + 9. Let p be j(2). Is p/(-1) + -1 + -5 + 4 a multiple of 10?
True
Let h = -108 + 110. Is -316*(1 + (-4)/h) a multiple of 19?
False
Let u be (-6)/(-4) - (5 - 65/10). Suppose 0*n = -4*d + u*n + 11, 3*d - 5*n = 0. Suppose -g + d*c = 14, 4*g + c = -c + 32. Does 3 divide g?
True
Let q = 717 + 405. Suppose w + 3*g = q, -w + 5*g - 2*g + 1122 = 0. Does 22 divide w?
True
Let r be 2/9 - (-519)/(-27). Let h = 134 - 95. Let u = r + h. Is 10 a factor of u?
True
Suppose 0 = -2*f + 771 + 895. Suppose -5*c = -f - 1062. Suppose x + c = 3*l, -2*x = 3*l + l - 512. Does 13 divide l?
False
Suppose 12*m - 63 = -15. Suppose -2160 = -4*i + m*p, 3061 = 5*i + 5*p + 411. Is 13 a factor of i?
False
Is 119 a factor of (-411606)/(-24) - (-3 - 26/(-8))/1?
False
Let c = 38 + -31. Let u(h) = -23*h**2 + 13*h**2 - 9*h - c + 26*h**2. Is u(-3) a multiple of 10?
False
Suppose 5*r - 3240 - 4864 = -3*y, -2*r = y - 2701. Is y a multiple of 17?
True
Let c = 474 - -7114. Is 28 a factor of c?
True
Let b(r) = 60*r**2 + 21*r + 74. Is 13 a factor of b(-9)?
True
Let u(t) = 3*t**2 - 7*t - 1. Suppose -3*v - 12 = -0*v. Let w be 8 - (v/2 - -4). Does 13 divide u(w)?
True
Suppose 4*m = -42*c + 46*c + 25288, 4*m + 3*c - 25302 = 0. Is m a multiple of 124?
True
Let r(j) = -j**2 - j. Let y(g) = 34 + g**3 - 2*g**2 - g**2 - 5*g**2 + 6*g. Let f(c) = 5*r(c) + y(c). Is 9 a factor of f(13)?
False
Let b(u) = 2*u**2 - 3*u + 7. Let m be b(0). Does 9 divide 5 + m/(42/564)?
True
Suppose 4092 + 12990 = 18*b. Is 4 a factor of b?
False
Let d(t) = -1161*t - 1. Let p be d(-1). Let l be ((-3)/2)/((-4)/p). Suppose 0*q = 5*q - l. Does 12 divide q?
False
Let j be 1*34 + (-12 - -15). Suppose -5*q - 25 = 0, -80 = -5*i + 3*q + 100. Suppose j*k = i*k + 124. Does 5 divide k?
False
Is ((-285)/(-19) - -1644)*(-24)/(-14) a multiple of 6?
True
Let q(j) = -6*j**2 + j - 1. Let l be q(-2). Let g = -33 - l. Let o(r) = r**2 + 3*r - 1. Is 5 a factor of o(g)?
False
Let z(w) be the third derivative of w**4/24 - w**3/3 - 10*w**2. Let g be z(-2). Is 13 a factor of (-13)/4*(g - (-4 + 44))?
True
Suppose 4044 = 2*w - 17*a + 15*a, w + 5*a = 2034. Does 44 divide w?
True
Suppose -11*o + 20086 = -19316. Suppose 25*x - 13543 = o. Is 4 a factor of x?
False
Let u = -4350 + 6420. Is 18 a factor of u?
True
Suppose 0 = -11*z + 6*z + 815. Suppose 6*d + 31 = z. Does 11 divide d?
True
Let k = 5063 + -2853. Does 26 divide k?
True
Suppose -4*d - 3*u - 23741 + 56922 = 0, 5*u = -5*d + 41485. Does 7 divide d?
False
Let l(b) = -708*b + 93. Let m be l(-4). Suppose -18*f = -14967 + m. Does 15 divide f?
False
Suppose 2*l - 145 = -3*m, -3*m + 2*l = -3*l - 173. Let d be m/(-6) + (-2)/4 - -3. Let t = d + 31. Is t a multiple of 3?
False
Let z = 11631 - 8789. Is 203 a factor of z?
True
Let z = -48 - -47. Is ((-106)/8)/z*(11 - -1) a multiple of 13?
False
Let d(k) = -134*k**3 + 7*k**2 + 4*k - 8. Is 4 a factor of d(-2)?
True
Let g = -6053 - -12730. Does 11 divide g?
True
Let l(z) = 3056*z - 2479. Does 41 divide l(4)?
False
Does 11 divide (-52601)/(-3) - (0 + 7 + (-330)/45)?
True
Let f(u) = -2*u - 39. Let r be f(18). Let s = 79 + r. Suppose 0 = -2*g + s*g - 250. Is g a multiple of 36?
False
Let n be 1511/3 + 5/105*7. Suppose y - n = -232. Is y a multiple of 68?
True
Let w be (-26 - (3 + -1))/((-10)/35). Suppose 2*g + w = 28. Is 8/(-7)*g/10 + 70 a multiple of 37?
True
Suppose 2*m = 4*g + 27294, -5*m + 2962 = -4*g - 65315. Does 19 divide m?
True
Let v(y) = -3*y**2 + 4*y - 1. Let c = 11 - 15. Let q be v(c). Does 6 divide (-1)/2 + q/(-10)?
True
Let k = 1809 - 1453. Is k a multiple of 9?
False
Let p(f) = -f + 3*f - 6*f - 31. Suppose 919*x = 935*x + 336. Is 7 a factor of p(x)?
False
Let k(u) = -5*u**3 - 26*u**2 - 124*u + 8. Is 9 a factor of k(-7)?
False
Let f be (-18)/(-6) - 2*30. Let a = -65 - f. Does 21 divide (-102)/((-12)/a + -3)?
False
Let f be 2/4 - 19*(-3)/6. Let y(h) = h**3 - 11*h**2 + 13*h + 24. Let d be y(f). Is (d - 2) + 0 + -4 a multiple of 16?
True
Suppose -3*c - 3923 = -6*w + w, c - 5*w = -1291. Let x = c - -1852. Is 70 a factor of x?
False
Let h be ((-2)/6)/((-4)/(-18))*134. Let k = 803 + h. Is k a multiple of 43?
True
Let a = 155 + -126. Suppose -5 = 28*k - a*k. Is k even?
False
Let c(w) be the third derivative of -8*w**4/3 + w**3 + 209*w**2. Is 10 a factor of c(-1)?
True
Let m(o) = 4*o + 1. Let r(a) = -279*a - 199. Let d(f) = -2*m(f) + r(f). Is d(-7) a multiple of 38?
False
Does 20 divide 77/(-25) + 3 - 4543112/(-1400)?
False
Suppose -5*u + 284 = a, -4*u - 5*a + 280 = 57. Let c = u - 51. Let m(d) = 4*d**2 + 4*d - 5. Is 13 a factor of m(c)?
False
Let x = 950 + 1618. Is x a multiple of 29?
False
Let j = -289 + 291. Suppose j*n - 4320 = -8*n. Is n a multiple of 18?
True
Suppose -s + 101 = -3*m + 261, -4*s + 3*m - 685 = 0. Let l = 243 + s. Is 17 a factor of l?
True
Is ((-354)/(-708))/(1/3216) a multiple of 37?
False
Suppose -4*p + 32317 = 3*f - 70770, -4*p = -5*f - 103111. Does 127 divide p?
False
Suppose 0 = 363*d + 9485392 - 25054825. Is d a multiple of 87?
True
Suppose 2*y - 33 = 5*h, -h + 14 = y - 3*h. Suppose -5*g - j + 184 = -0*j, 0 = g + y*j - 52. Let b = g - 17. Is 7 a factor of b?
False
Let r(l) = 27*l**2 - 145*l + 5. Is 47 a factor of r(11)?
False
Let c(f) = 81 - 162 + 178 + 171*f. Is c(2) a multiple of 36?
False
Suppose -53*o + 71*o - 198 = 0. Suppose -1606 = o*k - 9306. Does 35 divide k?
True
Let a(h) = -5*h**3 + 40*h + 55. Is 57 a factor of a(-11)?
True
Is 69 a factor of (2/(-4) + (-557)/14)/((-136)/43792)?
True
Let j(o) = -2606*o**3 - 4*o**2 - 9*o - 5. Is j(-1) a multiple of 4?
False
Let a(k) be the first derivative of k**4/4 - 10*k**3/3 + 5*k**2/2 + 12*k + 58. Does 17 divide a(11)?
False
Let d(u) = 3*u + 14. Let t be d(-8). Let v(f) = f**3 + 14*f**2 + 11*f + 10. Is v(t) a multiple of 30?
True
Let f be 31/(-3)*(3 - 6). Let y = f + -29. Suppose -y*b + 54 = -76. Does 13 divide b?
True
Let w(q) = 7*q + 420. Does 5 divide w(-29)?
False
Let h(n) = 26*n - 43. Let x = 217 + -209. Is h(x) a multiple of 11?
True
Suppose -4*h - 44 = 184. Suppose 3*u - 2*u - 156 = 3*m, 3*u = 0. Let i = m - h. Does 4 divide i?
False
Let a(v) = v**3 + 26*v**2 - 31*v - 33. Let m be a(-27). Let f be ((-9)/5)/((-15)/m). Let q(j) = -j**3 + 14*j**2 - 10*j - 3. Is 39 a factor of q(f)?
True
Suppose -x - 1 = 2*y, -4*y + 3*x + 4 = -x. Let o(j) = j**2 - 7*j + 14*j + y*j**2 + 9 + j**2. Is o(6) a multiple of 18?
False
Suppose 0 = -0*l - 3*l + 1185. Suppose 2099 = 4*u + l. Does 15 divide u?
False
Let l = -190 + 160. Is 42/5*3*(-200)/l a multiple of 24?
True
Is 167 a factor of ((-28)/(-6))/(-2)*(-14043 - (78 + -66))?
False
Let r(i) = 2*i - 10. Suppose -5*v - w + 2*w - 31 = 0, -2*v = 2*w + 22. Let s be r(v). Let q = s + 68. Is q a multiple of 3?
False
Suppose 21*r - 36897 = 14154. Is 88 a factor of r?
False
Let m(b) = -25*b + 35. Let o be m(1). Suppose -o*c - 42 = -1182. Does 5 divide c?
False
Let x = -319 + 309. Does 63 divide (x/4)/(11/22) + 635?
True
Let h = 21 - 13. Let y(a) = -6*a + 3*a**2 + a**3 + 2*a + 4 + 26*a - 12*a**2 - a. Does 11 divide y(h)?
False