 Let s be h(i). Suppose -k = -s*k + 1134. Is k a multiple of 27?
True
Let g = -1038 + 4983. Does 15 divide g?
True
Suppose -4*f + 4253 = -3*c - 1648, 0 = -f + 4*c + 1472. Is f a multiple of 25?
False
Let q = -1431 - -5079. Is q a multiple of 19?
True
Let g be -3 - (-1 + -2 + 0). Suppose g = 4*v - 2*s - 354, -4*v + 3*s - 85 = -5*v. Does 11 divide v?
True
Let u = 4 - 5. Let a be ((-86)/(-215))/(4/(-10)). Is 22 a factor of a + (u/(-2))/((-9)/(-738))?
False
Suppose -7*c = -3*c + 3*b - 885, 5*c + 3*b - 1107 = 0. Suppose 14*k + 12 = c. Suppose -508 = k*i - 1288. Does 13 divide i?
True
Is ((-8)/(240/135))/(7/((-98000)/12)) a multiple of 25?
True
Let x(o) = 560*o - 3516. Does 70 divide x(25)?
False
Does 20 divide (-80)/(-6)*5490/12?
True
Let c(x) = -x**3 - 12*x**2 + 22*x - 24. Let d be 4/(1/12*-3). Is 18 a factor of c(d)?
True
Is 34 a factor of ((-204)/9)/(((-1)/(-2))/((-591)/2))?
True
Let q(x) = -x**2 + 23*x - 109. Let a be q(16). Let s be (2 + -1)/(4/964). Suppose a*g = 5*p - s, 16 = p - g - 31. Does 25 divide p?
True
Suppose 0 = 6*p - 7*p - 2*q + 1920, 3834 = 2*p + 2*q. Does 58 divide p?
True
Let g(v) = 4*v + 54. Let y be g(-10). Let b be (-92)/(-8) - 4 - (-3)/2. Suppose -b + 401 = y*k. Does 28 divide k?
True
Let z = 169 - 115. Suppose -5*u = 2*f - 385, 3*f = -3*u + z + 501. Suppose -o - 4*o = -f. Is o a multiple of 5?
False
Suppose -2312*a - 47200 = -2320*a. Does 47 divide a?
False
Let l(a) = 2*a**3 - 8*a**2 - 9*a - 228. Does 14 divide l(16)?
False
Let t be (-2630)/(-2)*(-30)/(-75). Let f = t - 494. Does 4 divide f?
True
Suppose -5*b + 20 = -80. Let l = b + -17. Is 4 a factor of 44/12*l - 1?
False
Let w be (-4 + (1 - 2))*-1. Let k(a) be the second derivative of 5*a**3/6 + 5*a**2/2 + 5*a - 47. Is 6 a factor of k(w)?
True
Suppose 2646*o + 30740 = 2656*o. Does 5 divide o?
False
Is 38/(-190)*2465*(-2 - (-90)/(-2)) a multiple of 17?
True
Is 5841 + -2*(-126)/28 a multiple of 6?
True
Let d(j) = 11*j**2 + 6*j + 3. Let w be d(-6). Suppose 5*s - 1037 = w. Does 17 divide s?
False
Let x be 6*(-9)/30 + (-2)/10. Let t be (2954/(-21))/(x/12). Suppose 0 = 5*w + 269 - t. Is 33 a factor of w?
False
Let v(k) = -4*k**2 - 29*k - 13. Let j be v(-6). Suppose -6274 = -j*q - 613. Is 10 a factor of q?
False
Let h be 4435/30 + (-9)/(-54). Suppose 3*v - 272 = h. Is 10 a factor of v?
True
Does 52 divide ((-192)/80 + -8)*-1495?
True
Suppose 32 = 15*l - 7*l. Suppose 2*m - 416 = -l*p, -3*p + 534 = 2*p - m. Is p a multiple of 11?
False
Let l be 2/(-8) - 25/(-100). Suppose -4*p + 3*p + 14 = l. Does 2 divide p?
True
Is 27 a factor of (-1540)/308 + (-238 - 0)/((-1)/26)?
True
Suppose -4*l = -4, 5*i - 3*l = -11 + 33. Suppose 0 = -c + i*c. Suppose 3*g - 2*f - 229 = c, -g + 2*g + f - 73 = 0. Is 25 a factor of g?
True
Suppose 3*p = 4*z - 874 - 22018, -z = -p - 5724. Does 130 divide z?
True
Let b = 549 - 2145. Let w = -181 - -185. Is 7 a factor of (b/(-105))/(w/10)?
False
Let o(u) = 249*u**3 - 3*u**2 - 9*u - 27. Let x be o(-3). Is (-2 - 4/(-6))/(20/x) a multiple of 11?
False
Suppose -5*l + 11592 + 14190 = 6*q, q - 3*l = 4320. Is 8 a factor of q?
False
Suppose -4*h = -22*h. Suppose -4*i - 542 - 634 = -4*c, 5*c + 2*i - 1484 = h. Is c a multiple of 8?
True
Let k(i) = 2*i**2 + 2*i + 10. Let n(v) = -v**2 - 27*v - 22. Let t be n(-26). Suppose 0 = -4*y - 4, -21 = -0*m + t*m + y. Is k(m) a multiple of 50?
True
Suppose 3*b + s - 554 = 0, -4*b + 8*b - 722 = 2*s. Is 5 a factor of b?
False
Suppose -370 = 4*y + y. Let j = 207 - y. Is 11 a factor of j?
False
Let b be (-1 + (-14)/(-6))/(4/6). Let z = 1 + b. Suppose -5*d - z*p = -737, -d = -2*p - 95 - 42. Is d a multiple of 39?
False
Suppose -k - 93 = -4*t, 25 - 397 = 4*k - 5*t. Let q = k - -212. Does 7 divide q?
True
Let o = -14623 + 16149. Is o a multiple of 2?
True
Let v(m) = -m**2 - 54*m - 85. Let c be v(-35). Let r = 1220 - c. Is r a multiple of 16?
True
Suppose 21*i = -16*i + 800310. Suppose -l - i = -15*l. Does 20 divide l?
False
Let s = 153 + -153. Suppose -x + 307 - 73 = s. Is 13 a factor of x?
True
Let u be (-36)/120 - 1403/(-10). Is (2 - 404/(-8))/(15/u) a multiple of 10?
True
Suppose 7*v + 20 = 41. Suppose 0 = -5*c - u + 105, 5*c - 3*c - v*u - 25 = 0. Is 4 a factor of c?
True
Let n be (1 - 241)/(40/(-16) - -1). Suppose 0 = g + 4*g + n. Does 11 divide (g/3)/((-14)/210)?
False
Suppose -w + 15240 = u, -3*w - 29820 = -2*u + 685. Does 134 divide u?
False
Suppose -k + 1 + 0 = 0. Is k*79 + (22 - 21) a multiple of 7?
False
Is 14854 - 101 - (2 - 0) a multiple of 112?
False
Suppose v = -w + 1623, -3*v = -2*w + 462 + 2774. Is w a multiple of 14?
False
Suppose -2*j = -4*j - 2*g + 8286, 0 = j + 5*g - 4131. Is j a multiple of 19?
False
Suppose 0 = -4*y - 96 - 100. Let g = 47 + y. Is 2 - ((g - -1) + -84) - -3 a multiple of 18?
True
Is (44/(-24))/(-11) + -5 + 251837/6 a multiple of 61?
True
Suppose -218*u + 240*u - 56518 = 0. Is 7 a factor of u?
True
Let c(h) = -1284*h + 23. Let z be c(-2). Let i = z + -1721. Is 39 a factor of i?
False
Let i(n) be the third derivative of -15*n**4/8 + n**3/3 + 2*n**2 + 32. Is i(-4) a multiple of 13?
True
Suppose 3*d - 3*n = 18858, 80*d = 81*d - 3*n - 6298. Is 57 a factor of d?
False
Let x(j) = -170*j - 327. Let w(l) = 11*l - 379. Let p be w(34). Is x(p) a multiple of 18?
False
Suppose -4*k + 24756 = 4*r, -25279 = -4*k + r - 548. Is 213 a factor of k?
False
Does 69 divide (1 - -6 - 101962/7)*(0 - 1)?
True
Let r(t) = 6*t**2 - 24*t - 16. Let v(c) = -c + 13. Let n be v(2). Let b be r(n). Let w = b - 140. Is 25 a factor of w?
False
Let u = -432 + 340. Let m = 328 - u. Is m a multiple of 30?
True
Let m(b) = -1008*b**3 - b**2 - 4*b - 3. Let k be m(-1). Let f = k + -28. Is 13 a factor of f?
False
Is 10 a factor of -1181*-9*13/117?
False
Suppose 2*y = 4*o - 3206, 2*o - 1348 - 251 = -3*y. Does 49 divide o?
False
Let f be (-2*(-15)/(-18))/((-1)/6). Suppose -77 = f*p - 507. Suppose 4*l - 299 + p = 0. Is l a multiple of 16?
True
Let i = 304 + 5037. Is i a multiple of 21?
False
Suppose -5*c + 9210 = 5*s, -3*c + 1367 = s - 469. Is 15 a factor of s?
True
Suppose -16*w + 5*j + 59375 = -14*w, -5*w = -3*j - 148447. Does 14 divide w?
False
Let q(t) = 131*t - 2375. Is q(47) a multiple of 40?
False
Suppose 0 = -157*f + 5242 + 107641. Is f a multiple of 21?
False
Suppose -88*j = -92*j + 60. Is 13 a factor of 223 + 3/(j/25)?
False
Let g(v) = -v**2 + v - 1. Let n(p) = 22*p**2 + 4*p + 3. Let r(f) = -4*g(f) + n(f). Is r(4) a multiple of 47?
True
Let z(q) = -12899*q - 14954. Is z(-5) a multiple of 20?
False
Let v = -2236 - -3873. Is v a multiple of 19?
False
Suppose 2*p - 364 = -5*b + 3*b, -5*b + 20 = 0. Let m = -247 - -110. Let x = m + p. Is x even?
False
Suppose s = 2*z - 111, -5*z + 4*s + 285 = -s. Let l = z + 215. Suppose 0 = -2*x + l - 19. Is x a multiple of 25?
True
Let f(m) = -9*m - 93. Let y be f(-11). Suppose -2*a = -5*l - 720, -5*a + 1800 = -2*l + y*l. Is 26 a factor of a?
False
Suppose 8572 - 16653 - 16909 = -14*c. Does 7 divide c?
True
Suppose n + 11*n - 540 = 0. Suppose -3*d = 0, d - 117 = 3*u - n. Let b(p) = -p**3 - 23*p**2 + 23*p + 16. Is b(u) a multiple of 3?
False
Suppose -15*y = -c - 12*y - 4, 3*y = 4*c + 34. Is (c/12)/(-5) + (-1330)/(-12) a multiple of 74?
False
Let j(w) = -w - 22. Let m = -102 - -117. Let u be j(m). Let y = 39 + u. Is y even?
True
Let x(g) = 3*g**3 - 10*g**2 + 2*g + 3. Let f be x(3). Is 10 a factor of (f - -154) + 0 + (-6 - -2)?
True
Let y(l) = l**2 - 23*l - 854. Is y(-41) a multiple of 15?
True
Let m(l) = -9*l + 477. Is 18 a factor of m(-27)?
True
Suppose -13*s + 4*s = -7025 - 4342. Does 7 divide s?
False
Let v = -52 - -33. Is 1 + (-12)/(-3) - v a multiple of 6?
True
Suppose 0*z + 6*z = -9*z + 51840. Is z a multiple of 36?
True
Let p be (-5)/2*(-5664)/(-120) + 5. Let n = 554 - p. Is 29 a factor of n?
True
Suppose 4*u + 118 = 6. Let p = u + 38. Suppose -p*x = -12*x + 136. Is 34 a factor of x?
True
Let h(i) = 26*i**2 - 103*i - 388. Is h(-4) a multiple of 4?
True
Suppose -4*o + 8 + 16 = 0. Suppose g + 30 = o*g. Is g a multiple of 5?
False
Let g be (-2)/(-11) + ((-6462)/(-33) - -3). Let u = 40 + -143. Let m = g + u. Does 45 divide m?
False
Let a = 1144 + -1140. Let w(s) = s**3 - 4*s**2 - 4*s. Let c be w(6). Does 12 divide -54*((c/(-9) - 0) + a)?
True
Let g(r) = 190*r - 1864. Is 9 a factor of g(50)?
False
Suppose -9