5. Is q a multiple of 24?
False
Is 13938 + ((-7)/4 - -2)/((-171)/684) a multiple of 181?
True
Suppose -39*r = -44*r + 14650. Suppose 19*c - 9*c = r. Is 11 a factor of c?
False
Suppose d - 3*j = 5234 - 74, -d = 4*j - 5188. Is d a multiple of 17?
False
Let h(v) = -v**3 + 11*v**2 - 26*v - 11. Let r be h(7). Let b(x) = 6*x**2 - 12*x + 2. Let a be b(r). Suppose 170 - 10 = 3*p + d, 5*d - a = 0. Does 13 divide p?
True
Let z be ((-198)/48)/(-11) + 14333/8. Let k = z + -952. Is k a multiple of 24?
True
Suppose -5 = -49*i + 48*i. Suppose -2*s + i*p + 111 = -s, 2*s - 186 = -2*p. Suppose 98 = 4*m + 3*l, -5*l = 4*m - l - s. Is m even?
True
Let v(b) = 5*b**2 - 100*b - 68. Is v(-30) a multiple of 71?
False
Let o(x) = 4*x**2 + 25*x + 68. Let v be o(-3). Suppose 2*b + 5*s = v, -4 = -b - 2*s + 12. Does 2 divide b?
True
Let u = -77 - -82. Suppose 3*j + g - 350 = -90, 0 = -2*j + u*g + 196. Does 4 divide j?
True
Suppose 3*w - 2*w - 129 = 0. Let a be (228/(-8))/(6/16). Let n = a + w. Is 7 a factor of n?
False
Let q(a) = 113*a**3 - 3*a**2 + 7*a. Does 145 divide q(3)?
True
Let q(n) = 100*n - 1. Let z(f) = f**3 + 2*f - 5. Let s be z(-4). Let l = -76 - s. Does 33 divide q(l)?
True
Let o = 338 + -350. Let k(j) = 11*j - 29. Let r(m) = 11*m - 28. Let c(y) = -4*k(y) + 3*r(y). Is 34 a factor of c(o)?
False
Let a(y) = y**3 - 19*y**2 + 17*y + 34. Let f be a(18). Let r(g) = g**2 - 9*g + 32. Let u be r(f). Does 15 divide (u - -21)/(-1 - -2)?
True
Suppose 4*h = -4 + 12. Is 28 a factor of (1/h)/((-2)/(-664)) - 1?
False
Suppose -2*b - 5*m = -3843, -3*m + 7731 = 4*b - 2*m. Is 27 a factor of b?
False
Let p = -204 + 52563. Is 93 a factor of p?
True
Let u = -19902 + 27842. Does 6 divide u?
False
Let g be (-75 + -2)/(2/(-6)). Let h be (-15)/(-25)*5*127/(-3). Let z = g + h. Is z a multiple of 8?
True
Let q(k) = 3*k**2 + 11*k + 37. Let r(f) = -2*f**2 - 10*f - 36. Let b(z) = 3*q(z) + 4*r(z). Is 5 a factor of b(-7)?
True
Let d be 2 + (-40)/18 + 50/(-18). Let q be 2 + (-63)/(-6)*20/d. Let l = -49 - q. Is l a multiple of 19?
True
Let h be (-174)/(-48) + 6/32*2. Suppose h*l - 512 = -12*l. Is l a multiple of 3?
False
Let i(d) = 82*d**2 - 38*d - 448. Does 56 divide i(-12)?
True
Suppose -44*h - 117195 = -46*h + 3*q, -2*q = 2*h - 117190. Is 18 a factor of h?
False
Let u be 119/(-2) - (-4)/(-8). Let c = u + 178. Does 3 divide c?
False
Is 6/(-2) - (-21286 - 67) a multiple of 61?
True
Suppose 2*r - 4583 - 4575 = 5*t, -r + 5*t + 4569 = 0. Suppose -15*u = -28*u + r. Is 18 a factor of u?
False
Let z = -8598 + 12372. Is 111 a factor of z?
True
Let f be (-1)/(-4) - 81/36. Let j(y) = 3*y**3 - y**2 - 2*y + 1. Let i be j(f). Let v = -5 - i. Is 9 a factor of v?
True
Suppose 0 = -2*u - 2*z + 208, -5*u - z = -523 + 3. Let m = u + -20. Suppose -8*y + 340 = m. Is y a multiple of 16?
True
Suppose 0 = -27*d + 91975 + 73211. Does 46 divide d?
True
Let j be 5/(150/(-124)) - 8/(-60). Let i be 0 + 3 - j/(-2). Is 30 a factor of i/((-6)/12) - (-91 - 1)?
True
Let b be (27/12)/3*(-20)/(-5). Suppose 90 = 2*q - 2*a, -2*q + b*a + 87 + 7 = 0. Let o = q - 23. Is o a multiple of 6?
True
Let i = -2816 + 7490. Is 82 a factor of i?
True
Suppose 4 = -35*g + 37*g. Let r be 6 - (-56)/(-24) - g/3. Suppose 168 = 7*u - r*u. Does 10 divide u?
False
Let r(z) = -8*z**2 + 7*z**2 - 10 + 4*z**2 - 5. Let q be r(5). Suppose -4*g - q = -3*n + 158, -5*g + 130 = 2*n. Is 5 a factor of n?
True
Let u = -693 - -4653. Is 24 a factor of u?
True
Suppose 2*h = 5*p - 47, -5*h + 3*h = -3*p + 41. Let g be (-76)/h + 2/16*2. Suppose -g*f + 254 + 211 = 2*l, 4*l - 279 = -3*f. Does 11 divide f?
False
Suppose 13*v - 23754 = -24*v. Let y = -467 + v. Is y a multiple of 7?
True
Let o(s) = 6*s**2 + 765*s - 26. Is o(-149) a multiple of 11?
True
Let k = 309 + 3861. Does 19 divide k?
False
Is 2 a factor of 442 + (-4)/(44/(-33))?
False
Let m(x) = -x**3 - 7*x**2 + 12*x + 6. Let v(h) = h**3 - 8*h**2 + 4. Let y be v(8). Let s be (-3)/(y/(-6) - -1). Does 6 divide m(s)?
True
Suppose 0 = -6*w + 7*w + 1. Is (-75*(-3 + 2))/(2 + w) a multiple of 19?
False
Suppose -5*d - 428*c + 425*c = -20, -4*c = -d + 4. Let s(u) be the third derivative of 4*u**4/3 - 4*u**3/3 + 2*u**2. Does 10 divide s(d)?
True
Let a = -2482 - -27462. Is a a multiple of 17?
False
Suppose 0 = -31*i + 36*i + 360. Let c = i - -203. Is c a multiple of 21?
False
Let i(f) = -f**2 - 9*f + 3. Suppose -4*b - 19 = 17. Let j be i(b). Suppose -4*x - 20 = 0, -3*x - 233 = -j*z + 313. Is 20 a factor of z?
False
Let p(l) = 6*l**2 + 2*l + 595. Does 15 divide p(-35)?
True
Let l be 5 + (-5 - (-25)/5). Suppose l*d - 8 = -358. Is 5 a factor of -6*(3 + d/15)?
True
Let a(j) = j + 2. Suppose 0 = -2*s - 2*s - 2*x - 10, 2*s = -3*x + 1. Let l be a(s). Does 12 divide l/(-4) - 69/(-6)?
True
Let b be 3/7 - 270000/(-189). Suppose k - 4*k + b = 2*n, -n = -2*k + 955. Is 19 a factor of k?
False
Let f(b) = 5*b**2 + 46*b - 14. Let t be f(-16). Let n = t - 392. Is n a multiple of 3?
True
Let k(q) = -q**3 - 24*q**2 - q - 19. Let r be k(-24). Suppose r*u - 2368 = -3*u. Is u a multiple of 22?
False
Let y be 13 + 8 + (-12 - 2). Let a(n) = 23*n - 66. Does 8 divide a(y)?
False
Let i = -452 - -456. Suppose 5*c = i*o - 2347, -o - 23*c = -25*c - 586. Is 21 a factor of o?
True
Is 8 - 2780/(-15)*(-33)/(-2) a multiple of 7?
True
Suppose 0 = 2*z - 747*f + 749*f - 19110, 4*z - 38220 = 5*f. Does 39 divide z?
True
Suppose 58*f = 26*f + 38912. Is 32 a factor of f?
True
Is 4/(-26) + (7 - (4 - (-85570)/(-26))) a multiple of 15?
False
Let t = 620 + -626. Is t/(-9)*8/(-32)*-4470 a multiple of 15?
False
Let m(j) = -33*j**3 - 45*j**2 - 17*j + 15. Does 196 divide m(-9)?
True
Let u(a) = -a**3 - 3*a**2 + a - 7. Let l be u(-4). Suppose 5*h - 11 = k + 59, l*k - 70 = -5*h. Suppose h*x - 106 = 118. Is 2 a factor of x?
True
Let z(g) = g**3 - 6*g**2 - 9*g + 16. Let a be z(7). Let w(y) = 86*y - 4. Let r be w(a). Suppose 4*p - 4*x + 0*x - r = 0, 5*p - 3*x - 206 = 0. Does 10 divide p?
True
Let u = -200 + 198. Does 4 divide 898/15 - u/15?
True
Does 31 divide 937482/390 + 2/(7 + 3)?
False
Let d(v) = v - 57. Let z(s) = -s**2 - s + 2. Let x(a) = -d(a) - z(a). Is x(-6) a multiple of 46?
False
Suppose 0 = -3*i + 9*f - 14*f + 1048, 2*f = 5*i - 1757. Suppose -5*q + 4*v + i = -4*q, -3*q + 1026 = -3*v. Is 15 a factor of q?
False
Let q(t) = -3*t**3 + 4*t**2 + 2. Let a(m) = 4*m**3 - 4*m**2 - 3. Suppose -l + 29 = 26. Let r(s) = l*q(s) + 2*a(s). Is 9 a factor of r(3)?
True
Let q(i) = 3*i - 27. Let h be q(9). Does 21 divide 319 + h - (10 + -9)?
False
Let h be 7 + -6 + -1 + 1. Let f(d) = -10*d**2 - 2*d + 3. Let v be f(h). Let y = 95 - v. Is 13 a factor of y?
True
Let l(t) = 15*t + 0*t**3 + 1 + 0*t**3 + 10*t**2 - 2 - t**3. Let b be l(11). Let m = b - 28. Is 3 a factor of m?
True
Let j(b) = -2*b**3 + 6*b**2 - 40*b - 394. Is 101 a factor of j(-11)?
True
Suppose b - 59 - 24 = 0. Suppose -507 - b = -5*f. Does 11 divide f?
False
Is (1 - 6)*4/(-70) + 2468910/357 a multiple of 25?
False
Suppose -4*m + 2902 = 3*c, -2*c - 3420 = -5*m + 219. Does 53 divide m?
False
Suppose 2*d + 4*i = 140, 153 = 3*d + i - 62. Let c(r) = -r**3 + 11*r**2 + 12*r + 17. Let f be c(12). Suppose 0 = f*h - 14*h - d. Is 4 a factor of h?
True
Let z(a) = a**2 + 2*a + 15. Let u be z(17). Is 56 a factor of ((-25 - -7)/(-6))/(3/u)?
False
Suppose -b - 2 + 4 = 0. Let k be 3/5 - 363/5. Is k*(b - -2)/(-8) a multiple of 9?
True
Let w(k) = k**2 - 15*k - 13. Let i be w(16). Suppose -2*a = -i*z + a - 9, -11 = z - 3*a. Let o(h) = 82*h**3 - 4*h + 3. Is o(z) a multiple of 41?
False
Let t = 178 - 156. Let z = t + 125. Does 28 divide z?
False
Suppose 17*a - 12*a - 3252 = 4*y, 0 = a + y - 654. Suppose w = 2*d - 1302, -a = d - 2*d + w. Is d a multiple of 10?
True
Let a(y) = 1048*y**2 - 298*y - 1752. Is a(-6) a multiple of 43?
False
Let v be 9 - -1 - (-2)/(-2). Let i(y) = 2*y**3 - 26*y**2 + 6*y + 10. Let q be i(13). Let m = q - v. Is 16 a factor of m?
False
Suppose 72*v + 42*v + 24024 = 140*v. Does 7 divide v?
True
Let g = 88 + -98. Let m be (-52)/(-65)*g/(-4). Suppose 132 = -0*h + m*h. Is h a multiple of 13?
False
Let h(d) be the first derivative of d**2 + 38*d + 631. Suppose g - 3*v + 20 = 0, -4*g = 2*v - 4*v + 70. Is h(g) a multiple of 2?
True
Let c = 68 - -219. Let v be -3 + (6 - 3) - -73. Suppose y + v = d, 4*d + y = -0*y + c. Is d a multiple of 