t v be g(16). Suppose 0 = 2*h - 99 - v. Is h a multiple of 14?
False
Suppose -30*s + 4 = 4. Suppose s = 2*x + 702 - 1734. Does 32 divide x?
False
Let v = 9756 + -14605. Does 4 divide v/(-91) + (-4)/(-42)*-3?
False
Let b = 23665 + -12225. Is 40 a factor of b?
True
Suppose 4*l + 6 = 5*l, 5*g - 4177 = -2*l. Is g a multiple of 6?
False
Let i = -25292 + 28546. Does 53 divide i?
False
Let m(z) be the first derivative of z**4/4 - 5*z**2/2 - 2*z + 16. Let l be m(-2). Suppose 2*j + 0*j = l, -q = -j - 105. Is 21 a factor of q?
True
Suppose 10*l - 27 = 93. Suppose 4*r + 152 = l*r. Let i = r - 11. Does 2 divide i?
True
Let u(x) = x**3 + 7*x**2 + 10*x + 3. Let l be u(-5). Let k(f) = 3*f**3 - f - 3. Let y be k(l). Does 2 divide (1/2)/(-1 + y/70)?
False
Suppose -2*q - 139648 = -22*q + 327952. Is q a multiple of 35?
True
Let u(b) = 12*b - 11. Let t be u(8). Let h(c) = -c**2 - 8*c + 36. Let v be h(-11). Suppose v*m = -0*s - 4*s + t, 4*s = 2*m + 110. Does 6 divide s?
False
Let r(u) = 30*u**3 - 6*u**2 - 29*u + 698. Does 52 divide r(12)?
False
Suppose 25*r - 38074 = 101901. Is r a multiple of 37?
False
Let o = -58 + 62. Suppose o*w - 29 = -3*j, 3*w - 21 = -4*j + 2*j. Let r(z) = 25*z - 36. Is r(w) a multiple of 22?
False
Let v(f) = f**3 - 10*f**2 + 2*f. Let b be v(10). Suppose 75 = 11*c + b. Suppose -c*o + 346 = -204. Is o a multiple of 22?
True
Let i = -924 - -320. Let d = i + 634. Is d a multiple of 21?
False
Let h = 7932 + -7930. Let q(c) = -184*c + 39. Let b(d) = -92*d + 20. Let v(k) = 7*b(k) - 4*q(k). Is v(h) a multiple of 24?
True
Let z(h) = -169*h**3 + 17*h**2 + 100*h - 23. Is 14 a factor of z(-5)?
False
Let t(w) = -13*w**2 - 2*w**2 + 14*w - 16*w - w**3 - 26. Let x be t(-15). Suppose 4*j + 441 = 3*v, x*v - v + 2*j = 441. Is v a multiple of 7?
True
Let w = 29 - 26. Suppose v = -4*m - 14, 3*m - 6 = w*v + 6*m. Suppose 0 = -v*o + 29 - 13. Does 2 divide o?
True
Let q(s) be the second derivative of 0 - 7*s + 11/2*s**2 - 5/3*s**3 + 1/4*s**4. Is 22 a factor of q(7)?
True
Let x(c) = -51*c + 1379. Is 20 a factor of x(9)?
True
Suppose 21*b - 14434 = 19145. Is 18 a factor of b?
False
Let k(r) = r**2 - 26*r - 172. Let n be k(-7). Let h = 1151 - n. Is 12 a factor of h?
True
Let q be 1/7 - ((-34)/7 - -2). Suppose -q*i + 5*f + 1034 = -1448, 5*f - 3251 = -4*i. Is 13 a factor of (-4)/(-22) + i/33?
False
Suppose -21*n + 26488 = n. Suppose -37*k = -41*k + n. Does 49 divide k?
False
Suppose -4*d - y + 516 = 0, -10*y = 3*d - 11*y - 394. Is (432/(-135))/((-4)/d) a multiple of 52?
True
Suppose -2*c = -c + 4, -5*c - 1440 = -5*p. Let b = p + -212. Does 6 divide b?
True
Suppose -5*a + 0*b + 53 = -4*b, -4*a + 40 = -2*b. Let s(z) = 15*z - 22. Let f be s(a). Suppose 25 = 5*x, 47 = 5*w - 2*x - f. Is w a multiple of 14?
False
Let q(f) = 2169*f**2 - 174*f + 513. Does 24 divide q(3)?
True
Suppose -11*y + 2439 = -1257. Suppose 10*f - y = 8*f. Does 12 divide f?
True
Suppose -26*y + 159 - 3 = 0. Is 3 a factor of y/20 + (-40455)/(-150)?
True
Suppose 3*b + k - 8 = 0, 0*b = b + 5*k + 2. Let y(m) = -9*m - m**3 + 16*m + 18*m**2 + b + 18*m. Is y(19) a multiple of 37?
False
Let j = 104 + -93. Suppose -52*k + 7626 = -j*k. Does 12 divide k?
False
Let a be ((108/(-15))/(-4))/(18/60). Let z(f) = 116*f + 18. Is z(a) a multiple of 6?
True
Let v(q) = -q**3 - 6*q + 495. Let t be (9 - 9)*3/(-9). Is 23 a factor of v(t)?
False
Suppose -d = -16*d. Let o be 60 - -2 - 1*-2. Suppose -p + o - 22 = d. Is p a multiple of 7?
True
Let z = 82 + -76. Let k(a) be the second derivative of 11*a**3/6 - 9*a**2 - 7*a. Does 8 divide k(z)?
True
Suppose 5*k - 295*s + 294*s - 134955 = 0, 8*k = s + 215931. Is k a multiple of 18?
False
Suppose 5*z - 3*z + 110 = 0. Let n = 63 + z. Suppose -36 = n*f - 252. Does 6 divide f?
False
Let g(a) = 13 + 13 + 421*a - 842*a + 417*a. Suppose 2*i - 3*i - 3*m + 7 = 0, -3*i = m - 13. Does 2 divide g(i)?
True
Let b = -63 + 89. Suppose w = -i + 3*w - 44, i + b = -4*w. Let z = i + 83. Is 5 a factor of z?
True
Suppose h - 5*h + 27582 = -h. Does 21 divide h?
False
Let h(b) be the first derivative of -67*b**2/2 + 133*b - 111. Does 46 divide h(-9)?
True
Let i = -24 + 52. Let w be (-6058)/(-7) + (-12)/i. Is w/6 - 13/78 a multiple of 18?
True
Suppose 512 = 5*g - k - 1173, 2*g - 2*k = 674. Suppose g*f = 326*f + 3861. Does 13 divide f?
True
Let v be 8/1*-1*50/25. Let i = v + 177. Does 7 divide i?
True
Suppose 3*b - 132342 = -2*s, -23886 = -4*b - s + 152580. Is 199 a factor of b?
False
Suppose -5*v + 10*v - 30 = 0. Suppose -3*b + v*b = 6. Suppose b*h = -2*h + 276. Is h a multiple of 33?
False
Suppose -3*a + 3597 = 5*t, -5967 = -7*a + 2*a + t. Does 5 divide a?
False
Let u be 2/17 + 2/(-17). Suppose u = 3*s - 3*o - 1212, 2*s + 3*o - 1623 = -2*s. Is 41 a factor of s?
False
Let d be (365 - 0) + 24/(-12). Suppose q = 2*q + 4*n + 13, 5*n + 25 = 0. Suppose q*h - d = 463. Does 20 divide h?
False
Let g(u) = -2*u**2 + 190*u - 203. Let r be g(91). Suppose 5*c - d = -3, -4 = 3*c - d - 1. Suppose c = 4*w - r + 213. Is 12 a factor of w?
False
Let a = 77 + -169. Let s be -4 + 0 + (-3 - (-275 + -3)). Let l = a + s. Does 15 divide l?
False
Let h(a) = a**3 - 3*a**2 + 3*a - 8. Let l be h(3). Does 7 divide 507/26*(l - 0)*6?
False
Suppose -3*m - 12 = -m, 4*m + 80481 = 3*q. Does 177 divide q?
False
Suppose -426*o + 4592 = -424*o. Is o a multiple of 3?
False
Let m = 3215 - -2416. Is m a multiple of 4?
False
Is (-1 - 75270/(-4))*(-42)/147*-7 a multiple of 15?
False
Suppose -1432 = -0*o - 24*o + 6896. Does 13 divide o?
False
Let d(s) be the third derivative of 77*s**4/24 + 2*s**3/3 - 32*s**2 + s. Does 19 divide d(1)?
False
Let n(z) = z**3 + 33*z**2 - 104*z - 201. Does 16 divide n(-19)?
False
Suppose -3*j + 2*j + 10 = 0. Suppose -5*r - 570 = -j*r. Suppose -4*p + i + 2*i = -150, 3*p = 3*i + r. Is p a multiple of 27?
False
Let q(t) = 19*t**2 - 7*t - 1. Suppose 7 = 16*p - 25. Is 39 a factor of q(p)?
False
Suppose 372 - 3712 = -q + 1168. Does 49 divide q?
True
Let j = -10470 + 14853. Does 4 divide j?
False
Suppose 3*q = u - 10723, -4*u - 314*q + 315*q = -42881. Does 10 divide u?
True
Suppose -5*n + 20 = 2*v - 3*v, 5*n - 40 = -3*v. Suppose -z + n = -3*w, z + 4*z - 2*w = 25. Let a = z - -238. Is 25 a factor of a?
False
Suppose 0 = -5*p - 297 + 6782. Is 4 a factor of p?
False
Let z(t) = 210*t + 66. Is 11 a factor of z(12)?
False
Suppose 31*j = -26*j - 63954. Let l = j + 1662. Is 20 a factor of l?
True
Suppose 5*p = -25, -13*z + 18*z - 2*p = 1335. Let b = 542 - z. Is 55 a factor of b?
False
Suppose -v - 2*m = 2*m + 37, -90 = 5*v + m. Let l(s) = -s**2 - 24*s - 11. Is 4 a factor of l(v)?
True
Let i(d) = 6*d**2 + 3*d - 58. Let m = 418 - 408. Does 36 divide i(m)?
False
Let d(f) = 322*f**2 - 379*f + 1869. Does 34 divide d(5)?
True
Suppose 0 = 4*t + 3*t. Suppose 39 = 5*u - 3*q - t, 0 = 3*u - 4*q - 30. Suppose 97 + 59 = u*c. Does 13 divide c?
True
Let p(x) = 2*x**2 - 18*x - 175. Is p(-6) a multiple of 5?
True
Suppose -5486*m = -5488*m + 1146. Is m a multiple of 29?
False
Suppose 435 = 18*b - 2 - 49. Is 15 a factor of b?
False
Is 46 a factor of 238334/12 + (-1020)/(-1224)?
False
Suppose 13*p = 3*p + 480. Let g = p - 81. Let o = 84 + g. Is 18 a factor of o?
False
Let l be (-2199)/18*4*6/4. Let q = 1233 + l. Is 25 a factor of q?
True
Does 6 divide (-21 - -2)*((-8)/10 + 3438/(-90))?
False
Suppose 18*f - 1326 = 726. Let m = f - -474. Is 12 a factor of m?
True
Let l(n) = n**3 + 10*n**2 - 15*n - 30. Let c be l(-11). Let b = c + 12. Does 7 divide b?
False
Let d(n) = -n**3 - 23*n**2 - 11*n - 193. Is d(-23) a multiple of 20?
True
Suppose 147*x - 262750 + 24869 = 28*x. Is 4 a factor of x?
False
Let t = 67 + -87. Let v = 56 - 54. Does 54 divide (t - -344)*(2/v + 0)?
True
Suppose -2*w + 4*w + 4*r = 54, 2*r + 6 = 0. Suppose -2*g + 4*a - 533 = -7*g, g = 3*a + 99. Suppose -4*x - w = -4*v - 117, -5*x = -3*v - g. Is x a multiple of 5?
False
Let u = 5008 + -24. Does 42 divide u?
False
Let b = -215 - -220. Suppose -7 = -3*v + b*m + 413, -m = -2*v + 280. Is 8 a factor of v?
False
Let i(p) = -25*p + 70 - 21*p - 67. Let z be i(-3). Let c = z + -54. Does 10 divide c?
False
Let y = 44 + -52. Let g(w) = -4*w**3 - 9*w**2 + 6*w. Let p be g(y). Suppose -6*h - 218 = -p. Is h a multiple of 11?
False
Let n be (172 - 173)*5/((-5)/318). Let u = n - 280. Is u even?
True
Suppose -12