 + t. Is k a multiple of 24?
True
Suppose -6*v - 17 - 241 = 0. Let g = v + 69. Let a = 47 - g. Is a a multiple of 7?
True
Is 27 a factor of 5 + 45812/13 + 17?
False
Suppose 0 = 564*a - 568*a + 4336. Let w = -530 + a. Is w a multiple of 10?
False
Let s = 349 + -316. Suppose 0 = 38*h - s*h - 1650. Is h a multiple of 4?
False
Does 7 divide (43/(-86))/(3/108978*-1)*1?
False
Let x(j) = j**2 - 7*j - 84. Let z be x(-19). Let f = 698 - z. Is 36 a factor of f?
True
Let t(c) be the second derivative of -c**5/20 - 4*c**4/3 + 8*c**3/3 + 11*c**2 + 2*c - 11. Does 13 divide t(-17)?
True
Let l(d) be the second derivative of 3*d**5/20 - 7*d**4/6 + 2*d**3/3 + 3*d**2/2 + 9*d. Let s be l(6). Does 14 divide (s/3 - (2 - 0))*2?
False
Let y(h) = -6*h**3 - 58*h**2 - 8*h - 21. Does 52 divide y(-13)?
False
Suppose -4*u + 14840 = 4600. Suppose 9*v - u = 1652. Is v a multiple of 39?
True
Suppose -2*c - 567 + 2523 = 0. Suppose -3*j + c = -12. Is j a multiple of 17?
False
Let m = -2988 - -4942. Suppose m*i - 1952*i = 2182. Is 51 a factor of i?
False
Is ((-1)/2)/((-38)/109744) a multiple of 34?
False
Let q(o) = 3*o + 57. Let y be q(-18). Suppose 2*w = r - 3 + 6, -y*r + 2*w + 7 = 0. Suppose -187 = -r*z - 0*z + 4*c, -5*c - 50 = -z. Is z a multiple of 4?
False
Suppose 4*t - t = 222. Suppose -79*q = -t*q - 10. Is q + -4 - 3/((-12)/68) a multiple of 15?
True
Let w = 44 + -39. Suppose 6*f = w*f + 9. Suppose 2*r + 238 = f*r. Is 10 a factor of r?
False
Let x(i) = 2*i**2 + 41*i + 41. Let z(t) be the second derivative of -t**4/4 - 61*t**3/6 - 61*t**2/2 + 26*t. Let n(k) = 7*x(k) + 5*z(k). Is 6 a factor of n(-8)?
False
Suppose 3*v - 132 = -2*v - 3*u, 4*v - 100 = -u. Let h = -12 - v. Let d = h + 38. Does 2 divide d?
True
Let t(y) = 26*y + 3. Let i = -14 + 18. Let l be t(i). Let p = l + -34. Does 12 divide p?
False
Let x(d) = -57*d + 14. Let c be x(-3). Let r = -3 + c. Is r a multiple of 17?
False
Let z = 3588 + 5453. Is 4 a factor of z?
False
Let v(h) = 9*h**3 - h**2 + 201*h - 1939. Is 254 a factor of v(9)?
True
Suppose 5 = 3*u - o, -5*u - 3*o - 2 - 13 = 0. Suppose -55*x + 58*x - 375 = u. Is 24 a factor of x?
False
Let l = 136 + -137. Is (-1)/(-4) + l/16*-1516 a multiple of 11?
False
Let q be ((-14448)/(-96))/(2/4). Let f(p) = 210*p**2 + p. Let l be f(1). Let o = q - l. Is o a multiple of 15?
True
Suppose -236*w - 526591 + 150817 = -3119982. Is w a multiple of 204?
True
Let v(d) be the first derivative of 15*d**2/2 - 34*d - 163. Suppose m - 18 = -2*s, -4*m + 2*s - 11 = -33. Is 12 a factor of v(m)?
False
Let a(x) = x**3 - 29*x**2 + 2*x + 28014. Is 138 a factor of a(0)?
True
Let c = 1451 + -941. Is 17 a factor of c?
True
Suppose 13 = -2*u + 11. Suppose -3*i + 264 = 3*i. Is 9 a factor of u/(-5) + i/5?
True
Let d(a) = 39*a + 15. Let g = 24 - 20. Let c be d(g). Let f = 249 - c. Is f a multiple of 13?
True
Let i(w) = 86 - 91 + 5*w**2 - 2*w + 2*w - 8*w. Suppose 5*v - 2*t = -25, 3*v - v = -2*t + 4. Does 15 divide i(v)?
False
Let d = -8146 + 13935. Does 55 divide d?
False
Let s(w) = 34*w**2 - 65*w - 328. Does 50 divide s(-20)?
False
Let l = -24932 + 51498. Does 34 divide l?
False
Let o be (-192522)/(-138) + 14/(-161). Is 5/((o/(-2646))/(-31)) a multiple of 42?
True
Suppose -13*w - 96 = -876. Suppose w = 208*k - 209*k. Is 47 a factor of 4/10 + (-6336)/k?
False
Let g = 4051 + 1354. Is 35 a factor of g?
False
Let w = -1269 + 331. Let b = w - -1354. Suppose 0 = 3*x - 4*q - b, 2*q - 421 = -3*x + 7*q. Is x a multiple of 33?
True
Suppose -2*v + 11 = -1. Let m be v/4*103/3*2. Suppose m = 3*o + 2*w, 4*w + 37 = 2*o - w. Does 31 divide o?
True
Suppose -52*x - 100*x + 103076 = -79*x. Is 101 a factor of x?
False
Let s(m) = -m**3 + 5*m**2 - 9*m + 50. Let w be s(6). Let d = 123 + w. Does 19 divide d?
False
Suppose 0 = 4*w + 181 + 103. Let f = 359 + w. Is 48 a factor of f?
True
Let h = 76 - 35. Suppose -h = -8*f + 7. Is 15 a factor of (-18)/(-4)*f/9 - -44?
False
Is 1/((-84)/8) + 1251594/378 a multiple of 35?
False
Let g(l) = -2*l + 33. Let r(o) = 3*o - 67. Let v(k) = -7*g(k) - 4*r(k). Let q be v(-19). Let p(f) = -191*f**3 + 5*f**2 + 5*f + 1. Is 16 a factor of p(q)?
True
Let d be -16 + (-19768)/(-52) + (-4)/26. Suppose -2*l - l = -12. Does 19 divide 2/(-12) + d/24 + l?
True
Let k = 158 - 151. Let u(l) = -l**3 + 11*l**2 - 6*l + 6. Does 16 divide u(k)?
True
Let z = 83 + -62. Let p = z - 21. Suppose -6*h + 7*h - 79 = p. Does 23 divide h?
False
Does 5 divide -14*(-12)/(-13 + -11) - -23807?
True
Let s(j) = 16*j - 262. Let n be s(16). Let o(r) = r**2 - 3. Let z(q) = -q. Let h(m) = 2*o(m) - 6*z(m). Does 5 divide h(n)?
True
Let s = 311 - 285. Let f(q) = -q**3 + 27*q**2 + 18*q - 36. Is 34 a factor of f(s)?
False
Let u = -193 - -221. Suppose -2*p = -7*p + 1425. Suppose -p = 23*b - u*b. Is 19 a factor of b?
True
Let u be -8*3 + (-8 - -8). Let p = u + 38. Let q = p + -4. Does 10 divide q?
True
Let b = -1791 - -1889. Suppose -5*c + 3*c = 168. Let p = c + b. Is p even?
True
Let z be ((-15)/(-2))/(6/4). Let j(b) = -11*b - 3 - z*b - 5. Does 18 divide j(-5)?
True
Let p = 793 - 789. Suppose 0*w + 2*w = p*x - 4232, -4*w - 16 = 0. Is x a multiple of 32?
True
Let k be 23309/(-39)*4/((-8)/6). Suppose 0*q + z = 2*q - k, -4*q - 2*z + 3582 = 0. Is q a multiple of 14?
True
Suppose -85*v - 189887 = -333*v + 175169. Is 23 a factor of v?
True
Suppose 0*q = -3*q. Suppose 0 = -o - q*l + l - 125, 4*o + 495 = -l. Let n = -67 - o. Does 21 divide n?
False
Let x be (24 - 19)*17/5. Let s(j) = j**2 - 3*j - 12. Let y be s(9). Suppose x*l - y = 16*l. Does 14 divide l?
True
Let m(b) = b + 1. Let h be m(0). Let y be 2/((2/(-4))/h). Is -30*22/y - (17 + -19) a multiple of 37?
False
Suppose 0 = -6*d + 3*d - 309. Let t(m) = 2*m**2 + 15*m - 8. Let y be t(7). Let n = y + d. Is 8 a factor of n?
False
Suppose -3*f - 4*g + 22 = 0, -6*f + 3*g - 8 = -4*f. Suppose 2*x - 4 = -2, -f*x = -2*z + 4. Suppose 0*c = c + 3*s - 41, 5*c - z*s = 223. Is c a multiple of 44?
True
Let y be (-215)/(-45) - 4/(-18). Suppose y*p + 428 = 3*c, -5*c + 276 = -3*c - p. Suppose -2*n = -c - 48. Does 29 divide n?
False
Suppose 3*y - y = -4*n - 20, n + 4*y - 2 = 0. Let s = n - -4. Does 5 divide s/(-2*3/81)?
False
Suppose 11 - 199 = 4*q. Let p = -38 - q. Suppose 5*w - 111 - p = 0. Does 4 divide w?
True
Let a(w) = w**2 - 2*w - 3. Suppose -40 + 4 = -q + 5*d, -5*d = 2*q - 12. Suppose -q + 26 = 2*v. Is a(v) a multiple of 12?
True
Suppose 4*w - 17 = -5*v, -w - 10*v + 14*v = -20. Does 38 divide (-19516)/(-17) + w/(-1)?
True
Let k = -11457 - -18177. Is 17 a factor of k?
False
Let z = -21 - -44. Let o = z - 17. Let x = o - -7. Does 13 divide x?
True
Let v be (283 - 27) + -1*1. Suppose -v + 645 = 2*o. Is o a multiple of 15?
True
Let p = 64 - 61. Suppose 4*d = 6*d - p*d. Suppose d = 21*a - 14*a - 112. Is 5 a factor of a?
False
Suppose -34*o - 164 = -28. Let b(x) = 68*x**2 - 5*x - 4. Is 92 a factor of b(o)?
True
Suppose 3*m + 1 = 1. Let y be m/(12/2 - 4). Suppose y = l - 5*z - 19, 7*z - 35 = -l + 8*z. Does 3 divide l?
True
Suppose -p = -5*o + 1431, -p - o = -0*o + 1449. Suppose 4*t - l - 93 = -30, -l = t - 12. Is (p/t)/(20/(-50)) a multiple of 21?
False
Suppose 55*z - 53244 = 26*z - 25*z. Is 4 a factor of z?
False
Suppose -2*p + 5*p = 3*l - 6, -4*l + p + 2 = 0. Let k(g) = -9 - 9 - 9*g + 3*g**2 + l*g + 0. Does 12 divide k(-4)?
False
Let u = 6332 + -3213. Does 127 divide u?
False
Suppose 68 = -5*a + 23. Let b be -14 - -3*3/a. Let w = 42 - b. Is w a multiple of 9?
False
Let x = 1 + -6. Let h(q) = -2*q - 8. Let f be h(x). Suppose -f*p - 3*t = -35, t + t - 82 = -4*p. Is p a multiple of 8?
False
Let i = 18535 - 9763. Is i a multiple of 43?
True
Suppose m + 5*a = -74, -2*m + 4*a - 275 = -85. Let w = m - -182. Let b = w - 64. Is b a multiple of 2?
False
Let l = -10362 + 16727. Does 12 divide l?
False
Suppose 2*m = m - 126. Is 12 a factor of ((-12)/9)/((-377)/m - 3)?
True
Let v = -5364 - -9088. Is v a multiple of 49?
True
Let x = 24 + -19. Let f(w) = -2 + 2*w**2 + 5 - 3 - 3*w. Is f(x) a multiple of 35?
True
Let t = 17857 + -10952. Is t a multiple of 55?
False
Let o(h) = 51*h**2 - 31*h + 380. Is 11 a factor of o(10)?
True
Is (170/1)/(16 + 12445/(-779)) a multiple of 108?
False
Let j(t) = -14 - 6*t**2 - 9*t - 12*t**2 - 5*t + 23*t**2. Is j(-5) a multiple of 25?
False
Let u(h) = h**2 + 50*h - 1679. Is 44 a factor