alse
Let h(a) = -a**3 + 2*a**2 + 7*a + 8. Let d be h(4). Suppose 5*g + 5 = 130. Suppose d*s = -s + g, -3*w + 26 = -5*s. Does 3 divide w?
False
Let y = 140 - 8. Is 11 a factor of (0 + y)*(-3)/(-3)?
True
Let n = 7066 - 5166. Is n a multiple of 33?
False
Let k be (0 + -3 - -1 - -1) + 3. Let f be (k - -1)/(-3) - -3. Is 184/5 - f/(-10) a multiple of 7?
False
Let l(p) = -3*p - 37. Let i be l(-15). Let j be (-23 + 27)/(3/(18/i)). Suppose 458 = 5*d + j*y + 174, 0 = -d - 3*y + 64. Does 26 divide d?
False
Let b(q) = -2*q**3 + 16*q**2 + 76*q - 7. Let o be b(-5). Suppose -2*j - 16 = 2*j, -2*j = -5*w + o. Is w a multiple of 44?
False
Suppose 22 = 4*a - 10. Let t be 4/a - (-268)/(-8). Let j = 54 + t. Is 2 a factor of j?
False
Suppose 6*h - 3*h + 2*f = 11, -19 = -3*h + 2*f. Suppose 785 = -5*p - h*d - 425, p = 2*d - 257. Let u = -129 - p. Is u a multiple of 8?
False
Let l = 4435 + -2311. Does 9 divide l?
True
Let w = 177 + -173. Suppose -2*f = -w*y - 5*f + 931, -238 = -y + f. Is 47 a factor of y?
True
Let t be (-4 + 0)*(-2)/4. Suppose -3*d + 352 = t*k, 3*k + 4*d - 405 = 123. Is k a multiple of 8?
True
Is 58 a factor of ((-452726)/636)/(1/(-24))?
False
Suppose 45*r - 51*r = -12726. Suppose -38*v + r = 297. Does 24 divide v?
True
Let z(b) = 4*b**3 - 18*b**2 + 5*b - 2. Let p be z(4). Suppose -2*n + 10*x + 5577 = 5*x, -3*n - 4*x + 8400 = 0. Is n/42 - 6/p a multiple of 9?
False
Let a(i) = 2*i. Let q(p) = -2*p**2 - 12. Let t(g) = 6*a(g) - q(g). Suppose 0*x = x + 7. Does 14 divide t(x)?
False
Let w = -2624 + 15560. Does 154 divide w?
True
Suppose -2*b = 15*b + 102. Let z be (-45)/b*3/9*110. Suppose 3*a = -r + z, 4*a + 74 = -r + 439. Is 10 a factor of a?
True
Let y(i) = -5*i**2 + 82*i - 8. Suppose -t + 32 = 3*u - 2*t, -3*u + 22 = 4*t. Is y(u) a multiple of 39?
True
Suppose p - 52 = -0*p. Let q(v) = v**2 + 93*v + 23. Let d be q(0). Let y = p - d. Does 29 divide y?
True
Suppose 14*b + 320 = 4*b. Let x = 33 + b. Does 6 divide x/(-3 + (-112)/(-36))?
False
Suppose 0 = 2*b - 5 + 3, 2*v - 1 = 5*b. Suppose m - 4*q - 378 = -m, q - 602 = -v*m. Is 17 a factor of m?
False
Suppose -32 = -5*f + 4*g + 6, -2*g + 20 = 4*f. Let o(u) = 9*u - 17. Is o(f) a multiple of 10?
False
Let t = 5883 + -2421. Is t a multiple of 15?
False
Suppose -25*d = -30*d + l + 7678, 4*d - l - 6142 = 0. Does 24 divide d?
True
Does 7 divide (10/(-110)*(-11)/6)/(2/17868)?
False
Suppose 0 = -4*w + 5*x + 12436, 5*x - x = -7*w + 21814. Is w a multiple of 3?
True
Suppose 0 = 2*f - 4*s + 24, f = -0*s + s - 11. Let l(m) = -m**3 - 10*m**2 - 3*m - 10. Let c be l(f). Let i = 42 - c. Is i a multiple of 11?
True
Let u(p) = -p**3 - 14*p**2 + 3*p - 15. Let h(t) = -55*t + 120. Let a(f) = 8*f - 17. Let n(z) = 20*a(z) + 3*h(z). Let j be n(7). Is 33 a factor of u(j)?
True
Let k be (7 - (-31)/2)/(1/8). Let f = 204 - k. Is 2 a factor of f?
True
Let g be 14/3*((-4)/(-35))/((-16)/(-120)). Suppose -5*u = i + i - 25, 2*u - 16 = -2*i. Suppose 3*t - g*w = 182, 3*t - 185 = -4*w + i*w. Does 31 divide t?
True
Let n(f) = -f**3 - 7*f**2 - 33*f - 13. Is 13 a factor of n(-23)?
False
Suppose -107 = -25*s + 18. Let c be (-45)/6*(-2)/3. Suppose -q = x - 29 + 9, -c = s*q. Is 10 a factor of x?
False
Let y(l) = 17*l - 32. Let m(h) be the second derivative of h**5/20 - 5*h**4/12 - 2*h**3/3 - 5*h**2/2 - 22*h. Let q be m(6). Is 11 a factor of y(q)?
False
Let m(k) = 91*k + 24. Let w(n) = -n - 9. Let u be w(-10). Does 2 divide m(u)?
False
Let m(f) = 5*f**3 + 31*f**2 - 10*f + 103. Let j(u) = 2*u**3 + 16*u**2 - 5*u + 51. Let d(c) = 7*j(c) - 3*m(c). Does 45 divide d(18)?
False
Let m = 153 - 151. Does 15 divide -5 + (-2)/m*-247 - 0?
False
Let w(b) = 8*b**3 - 2*b**2 - 16*b - 4. Let o be w(5). Suppose -o = -10*i + 464. Is 16 a factor of i?
False
Suppose 3*n = -27 + 57. Let p be 9/(135/7824) + 4/n. Does 14 divide 1/3*2/4*p?
False
Let m = -205 - -385. Let x = m - 135. Does 9 divide x?
True
Suppose -29*s + 555955 + 72475 = 0. Does 38 divide s?
False
Let g be 18/15*(-180)/(-27). Suppose -11*b + 120 = -g*b. Is 5 a factor of b?
True
Suppose 5*h - b - 89007 = 0, 17777 = h + 3*b + 9*b. Is 31 a factor of h?
False
Let b(n) = 8*n + 6. Let j be b(2). Let g = j + 188. Does 14 divide g?
True
Let s be (-1)/(1/(-8))*3/6. Suppose b + 3*k - 1 = 2, -3*k + 3 = s*b. Suppose -z + 21 + 31 = b. Is 26 a factor of z?
True
Let d = 20 - 17. Suppose 2*v = -5 - d. Let t = v + 312. Is t a multiple of 14?
True
Suppose -16*g + 12*g + 9449 = 3*b, 2376 = g - 2*b. Is 13 a factor of g?
True
Let d(w) = 4043*w - 7360. Does 17 divide d(23)?
True
Suppose 121*n + 3695336 = 339*n + 605622. Is n a multiple of 8?
False
Let s(h) be the third derivative of 19*h**5/60 + 73*h**2. Suppose 4*b - 3 = -7. Is s(b) a multiple of 4?
False
Let h(t) = -t**3 + 14*t**2 + 14*t + 13. Let x be h(15). Let w be -4 + 4 + 2 - (x - -2). Does 6 divide ((-1)/w*10)/(2/(-36))?
True
Suppose 3*h = 5096 + 7780. Is 8 a factor of h?
False
Let t = -3144 + 4623. Does 29 divide t?
True
Suppose -53*p = 19*p + 69*p - 9836160. Is p a multiple of 20?
True
Is (-14)/133 + (-17984916)/(-1539) a multiple of 5?
False
Let o = 1572 + -1172. Does 2 divide o?
True
Suppose 2 = o - 18. Suppose p + o = 5*p, -5*p = 4*y - 53. Suppose 2*c = y*c - 300. Does 30 divide c?
True
Does 12 divide (-13 + 57/5)/(2 - (-22263)/(-11130))?
False
Let o(w) = -98*w**2 - w - 1. Let f(m) = 3*m - 2. Let n be f(0). Let h be o(n). Is 5 a factor of (-2)/4 - h/46?
False
Does 19 divide 6*(12 - (-4802)/42)?
False
Is -276 + 279 + 1 + 4535 a multiple of 14?
False
Let v be 35 + -35 - 2/(-1 + 0). Is 716/7 + (v - 96/42) a multiple of 15?
False
Let y(r) = r**2 - 2*r + 333. Is 26 a factor of y(-44)?
False
Let n = 14 - -3388. Does 18 divide n?
True
Let w(v) = v**3 + 21*v**2 + 18*v + 20. Let n(k) = -2*k**2 - 12*k + 3 - 1 - 8. Let u be n(-7). Does 12 divide w(u)?
True
Let y = 4 + 348. Suppose 4*x + 0*x = y. Is x a multiple of 11?
True
Let v be 0/((-8)/60 - 136/(-120)). Suppose v = 11*p + 26*p - 6290. Does 33 divide p?
False
Let p = 5633 - 3797. Does 68 divide p?
True
Let c(n) = 24*n - 14. Let b be (11 - 7) + (3 - 2). Let g be c(b). Let f = -26 + g. Does 10 divide f?
True
Let x(q) = q**3 + 13*q**2 + 20*q - 13. Let k be x(-11). Suppose -7*s = -k*s + 92. Is 3 a factor of s?
False
Let r(a) = 2*a + 42. Let d be r(-20). Suppose d*o + 5*s = 19, 4*o + 6*s - 3*s - 17 = 0. Suppose -306 = -o*x - 42. Is x a multiple of 44?
True
Suppose -127*d + 131*d = 4744. Suppose -k + d = 738. Is k a multiple of 4?
True
Let h be 1*(-2*31)/(-2). Let l = 71 - h. Let o = l - 32. Does 8 divide o?
True
Let a(i) = -52*i - 79. Let n(x) = -51*x - 81. Let m(g) = 4*a(g) - 5*n(g). Is m(7) a multiple of 11?
True
Let z(k) = -11*k - 62. Let d be z(-6). Suppose 32 = 2*i - 4*p - 218, -494 = -d*i + 5*p. Is 48 a factor of i?
False
Let y(a) = a**3 + 6*a**2 + 3. Let o be y(-6). Suppose -6 = -m - c, -o*c - 8 = 2*m - 24. Suppose -4*h = g - 46, -2*h - m*h + 130 = 3*g. Is 8 a factor of g?
False
Suppose -7*k - 3024 = -10*k. Suppose -7*f + 14 + k = 0. Suppose -3*y - 2*h + f = 0, -2*h - 238 = -3*y - 2*y. Is 7 a factor of y?
False
Suppose 8*r - 15 = 41. Suppose 0 = 4*j + 5*g - 362, 3*j - r*g - 262 = -6*g. Is j a multiple of 8?
True
Let y = 7303 - 4951. Does 7 divide y?
True
Let t(x) = x**2 + 3*x + 12. Suppose 5*r - 35 = -a, 4*a - r = 27 + 8. Suppose -2*z + 0*z + a = 0, 19 = -d + 2*z. Is 11 a factor of t(d)?
True
Let q be -48*(-16)/4*(-2 - 0). Let j = q - -176. Is 15 a factor of (-2)/(-1 - (j/(-60))/(-4))?
True
Let t = -377 + 376. Let p(k) = -943*k - 16. Is p(t) a multiple of 103?
True
Let i = 4300 + -2556. Suppose 2*l + 84 = -i. Is 3 a factor of l/(-34) - 32/(-272)?
True
Suppose -5*z - 5*i + 145025 = 0, -z + 3*i + 16437 = -12548. Does 200 divide z?
True
Let s = 25 - 23. Suppose l = -4*h - 2, -l - 16 = -h - s*h. Let j(u) = u**2 + 4*u - 6. Is 13 a factor of j(l)?
False
Let u = 14 - -96. Let p = -36 + u. Suppose -80*a + p*a = -1476. Is 41 a factor of a?
True
Let d = 71 - 40. Let q be 4 - 12/(72/(-114)). Let u = d - q. Does 8 divide u?
True
Suppose 293*k - 7935416 = -40*k + 900406. Does 14 divide k?
False
Suppose 61 = -33*g + 160. Suppose -3*v + 258 = -2*w, -346 = -v - g*v + 2*w. Is v a multiple of 6?
False
Let q(y) = 10963*y**2 + 184*y + 186. Does 43 divide q(-1)?
True
Suppose h - 4*x = -h + 1954, 3*h + 2*x - 2923 = 0. Suppose -111*z = -106*z