r of t?
False
Let r = -157 + 49. Let c = 114 + r. Suppose 0 = v - 298 - c. Is v a multiple of 38?
True
Suppose -1752*s + 8860 = -1747*s. Is s a multiple of 31?
False
Let j = -17246 - -19143. Does 7 divide j?
True
Is 11 a factor of (-19 + 8 - 944)*(-33)/5?
True
Suppose 3*p = 32054 + 9481. Is p a multiple of 15?
True
Let l be 14/35 + 16/10. Suppose 4*a = 3*n + 12 - 4, a + 15 = 5*n. Suppose -2*x = 5*d - 110, a*d + l*x = -x + 115. Is 10 a factor of d?
True
Let g = 210 - -41. Let x = g + -109. Suppose 0*h + x = h + 2*r, 3*r = -3*h + 420. Is 16 a factor of h?
False
Suppose -2396 = -t + 4*l, 0 = -6*t + 10*t + 4*l - 9644. Is t a multiple of 4?
True
Let p(h) = -h**2 - 11*h - 23. Let i be p(-2). Let j(f) be the third derivative of f**6/120 + f**5/12 - 3*f**4/8 + f**3 + f**2. Is j(i) a multiple of 11?
False
Let a = 47692 + -26444. Is 32 a factor of a?
True
Let r(q) = 2*q - 35. Let l be r(30). Suppose l*w - 24*w = 256. Is 8 a factor of w?
True
Suppose -883 - 3337 = 20*v. Let o = v - -255. Is o a multiple of 3?
False
Let r(n) = -n**3 - 3*n**2 + 2*n - 4. Let l be r(-4). Let h = -5439 + 5441. Suppose -5*y + 5*v + 465 = 0, -l*v = -h*y + 226 - 30. Is 43 a factor of y?
False
Let o = 272 - 358. Is 8 a factor of (-2)/3*(2 + o)?
True
Let b = 17429 + -10353. Does 13 divide b?
False
Let z be 4 + 1/(1/(-3)). Let g(o) = z - 7*o + 3*o**2 - o**2 - 8 - 1. Does 20 divide g(9)?
False
Let n be (-4)/(-10)*(-25 + 15). Let v be 105/(-14)*n/5. Suppose 0*q = v*q - 30. Is q even?
False
Suppose -q = -2*m - 2, -11*q - 5*m + 47 = -7*q. Let d(t) = 3*t**2 - 13*t + 29. Is 19 a factor of d(q)?
False
Let x = -5326 + 26206. Is 5 a factor of x?
True
Let m = -263 - -268. Does 16 divide 1 - ((m - 9) + -327)?
False
Let a = 57 + -65. Is 11 a factor of (-4257)/36*a/2?
True
Let a = -236 - -238. Is a*(0 + (-511)/(-14)) a multiple of 18?
False
Let c(b) = 752*b**2 - 106*b + 452. Is c(4) a multiple of 134?
True
Let x be (-1)/((-3)/(-873)*-3). Let j = x + -72. Suppose -2*v + 405 = p, p = -4*p + j. Does 25 divide v?
True
Suppose 4*a = -2*w + 7874, -3*w = 1320*a - 1315*a - 11805. Does 109 divide w?
False
Suppose -258*t - 4465974 + 11803494 = 0. Is t a multiple of 15?
True
Let h(l) = 14*l**2 - 6*l + 2. Let f = -479 - -472. Does 23 divide h(f)?
False
Suppose -23*v + 24*v - 3*l = 3865, -4*l = -3*v + 11560. Does 4 divide v?
True
Suppose -5*j - 4*t = -145048, -4*t + 28984 = -11*j + 12*j. Is 72 a factor of j?
True
Let d be ((-2)/(-10))/((-5)/(-325)). Suppose -546 = 7*c - d*c. Is c a multiple of 6?
False
Let a(g) = -3*g + 27. Let t be a(13). Is ((-40)/t - 3)*-6 - -30 a multiple of 6?
False
Let w = 29 + -17. Let z(o) = o**2 + 12*o + 16. Let u be z(w). Suppose -11*r + 3*r = -u. Does 26 divide r?
False
Let x = 2251 + -1584. Does 23 divide x?
True
Suppose 11*j - 8*j - 8 = -2*m, 0 = 3*m - 5*j - 31. Is (-2 - (-58 - (-4 + m)))/1 a multiple of 7?
False
Suppose 4*g + u = 149, -62*u + 3 = -59*u. Suppose -g*m + 32*m = -610. Is m a multiple of 7?
False
Let b(p) = -p**3 + 2*p**2 + 5. Let s be b(0). Suppose l = 3*f + 27, -7 = 6*f - s*f - l. Let g = f - -38. Is 4 a factor of g?
True
Let x be 3 - 5 - (-18 - -12). Does 9 divide -1 + (1 + x - -844)?
False
Suppose -3*f = 1 - 19. Let q be ((-4)/f)/(1 + 7/(-6)). Suppose q*i + 40 = 5*i. Is i a multiple of 4?
True
Let f(o) = -o + 2. Let y(g) = g**2 + 8*g - 26. Let i(v) = -3*f(v) + y(v). Is i(7) a multiple of 20?
False
Suppose -76*j + 77*j - a = 1100, 4*j + 2*a - 4406 = 0. Is 83 a factor of j?
False
Let m(j) = -4*j. Let h be m(1). Let b(r) = 10*r**2 - 5*r - 1. Let v(w) = 10*w**2 - 5*w - 2. Let i(u) = h*v(u) + 5*b(u). Is i(-3) a multiple of 12?
True
Suppose 0*f = 9*f - 33484 - 23972. Does 27 divide f?
False
Does 218 divide 11 + -18 + 111*5033/21?
True
Suppose 2*h - 5853 = -k, 0 = k + 5*h + 3213 - 9078. Is k a multiple of 7?
True
Let z(x) = 6876*x**2 + 23*x - 68. Does 13 divide z(2)?
True
Let w(x) = 2*x**2 + 3*x + 1. Let h be w(2). Is 11 a factor of (2 - 36/h) + (-4348)/(-20)?
False
Let q = -54 + 66. Suppose 20 - q = 2*i. Suppose 5*x - 184 = -5*u + 96, u + i*x = 44. Is u a multiple of 18?
False
Let j(d) = -4*d**3 + 5*d**2 - 29*d - 258. Is 156 a factor of j(-10)?
False
Let a(h) = -256*h - 4. Let l be 18/(-22) - 8/44. Is a(l) a multiple of 63?
True
Suppose 26*x - 30*x = j - 14, 5*x - 11 = 2*j. Is 14 a factor of 2/(8/38)*(x - -83)?
False
Let h(d) = -23*d + 4. Let l be h(-4). Let k = -11436 - -11439. Suppose l = v + b - 3, -3*b = -k*v + 273. Is v a multiple of 12?
False
Let f(o) = o + 6. Suppose -6 = -3*z + 33. Let x be z/((1/2)/((-4)/(-8))). Does 4 divide f(x)?
False
Let x(g) = 12*g**2 + 49*g - 369. Is 11 a factor of x(27)?
True
Let s be (-63)/(-27) - 1/3. Suppose 4 = s*l, 765 + 137 = 4*i - 3*l. Is i a multiple of 37?
False
Suppose 1742 - 22 + 2256 = 7*l. Is l a multiple of 142?
True
Suppose 29*x + 1086 = 32*x. Suppose 45*u - x = 44*u. Is 53 a factor of u?
False
Suppose 31*s + 807235 = 337*s - 575885. Does 20 divide s?
True
Suppose 0 = 17*n - 4873 - 3661. Suppose 18*f - 2684 - n = 0. Is f a multiple of 8?
False
Let b = -23 - -25. Suppose -3*v - 52 = -4*m, -b*v - 5 = 3*m + 41. Let o = v - -32. Does 8 divide o?
False
Let d(o) be the first derivative of o**4/4 + 6*o**3 + 17*o**2/2 + 25*o - 96. Is 36 a factor of d(-8)?
False
Suppose -2670*c = -2652*c - 1227096. Does 13 divide c?
True
Is 63 a factor of (-438)/73 + (-4)/(-2) + 1 + 8571?
True
Suppose 331*f - 116*f - 993300 = 0. Does 140 divide f?
True
Let n(j) = 22*j**3 - 3*j**2 - 2*j + 5. Let t(r) = r - 1. Let x(c) = n(c) - 3*t(c). Does 18 divide x(2)?
True
Let j(l) be the second derivative of 2*l**3/3 - 11*l**2/2 - l. Suppose -7*h + 125 = 34. Is j(h) a multiple of 6?
False
Suppose 0 = 4*b + c - 227972, 3*b - c = 4*c + 171002. Is b a multiple of 354?
True
Does 28 divide (-84)/(698/(-1720) + ((-286)/(-65) - 4))?
True
Let d be (-10000)/(-45) - (-4)/(-18). Suppose 7*g = -d + 1482. Does 18 divide g?
True
Let v(c) = -112*c**3 + 2*c**2 + 23*c + 23. Is v(-3) a multiple of 41?
False
Let y(q) = q**2 + 12*q. Let r be y(-9). Let x(h) be the first derivative of -h**3/3 - 15*h**2 - 52*h - 21. Does 2 divide x(r)?
False
Let f(x) = -9*x**3 - 9*x**2 - x - 4. Let k(m) = 6*m**3 + 1. Let u(z) = f(z) + 2*k(z). Suppose -c = -5*s - 19, -3*c + 6*c - 15 = s. Does 14 divide u(c)?
True
Suppose -159 = -37*j + 26. Suppose -j*u - 204 = -d, -3*d + 0*d + 660 = -3*u. Does 5 divide d?
False
Suppose 104 = -2*r + x + 411, 5*r - 3*x = 768. Suppose 3*a - 750 - r = 0. Is a a multiple of 43?
True
Let w be -2*(-3 + 1) - (-30)/(-2). Suppose -3*z - 330 = -z. Does 14 divide 12/(w/(z/10))?
False
Suppose 0 = 8*s - 775 - 457. Suppose s*b = 142*b + 9948. Does 6 divide b?
False
Let y(t) = -3*t**3 - 20 + 0*t**2 - 7*t**2 - 5*t + 4*t**3. Suppose -3*x + 32 = q, -x - 3*q + 14 = -2*q. Is y(x) a multiple of 15?
False
Let j(x) = 116*x + 1358. Is j(6) a multiple of 79?
True
Let x = -81 - -232. Suppose -5*d + x = 3*f - 706, -2*f + 2*d = -550. Is f a multiple of 10?
False
Suppose 15*k + 64 = -17*k. Is 39 a factor of (k - (677 + 6))/(0 - 1)?
False
Let n = 344 + -232. Suppose -n - 103 = 2*i + 5*z, 0 = -5*i + z - 578. Is 12/(-8) - i/2 a multiple of 14?
True
Let r(w) = -89*w - 336. Let q(l) = 29*l + 112. Let d(o) = -11*q(o) - 4*r(o). Does 53 divide d(7)?
True
Let l(f) = -7*f - 18. Let t(o) = 2*o + 25. Let b be t(-15). Let g(d) = d. Let u(s) = b*g(s) - l(s). Is u(6) a multiple of 2?
True
Let t(o) = -o**3 + 6*o**2 + 13*o - 6. Suppose a = -c - 14, a = 2*c + 3*c + 46. Let r be 30/(-4)*8/c. Is 12 a factor of t(r)?
True
Let h(c) = 5*c**3 + 3*c**2 + 7*c + 38. Does 7 divide h(11)?
True
Suppose 42*k - 1717614 = -47*k - 133*k. Is k a multiple of 2?
False
Suppose 37*c - 17079 = 26211. Is c a multiple of 10?
True
Suppose -z = -p - 14283, -71415 = -5*z + 3238*p - 3241*p. Does 23 divide z?
True
Let b(n) = n**3 - 15*n**2 + 94*n - 17. Is 13 a factor of b(17)?
False
Suppose -12*t - 2 = -9*t + 2*n, 2 = -2*n. Suppose t = 68*r - 67*r - 58. Does 9 divide r?
False
Let n be -3 - -2 - (-3973 + 15). Is 73 a factor of n/6 - (-60)/(-24)?
True
Suppose 5*f = 10, -3*u + 50131 = -144*f + 146*f. Does 352 divide u?
False
Suppose -7*t - 11*t + 14400 = 0. Does 20 divide t?
True
Let h = -74 - -34. Let c = h + 110. Suppose 9*g - 386 = 4*g - 2*r, -g + 2*r + c = 0. Is g a multiple of 14?
False
Let l(f) = 3*f**2 - 23*f + 399. Is 57 a factor