0 a multiple of 13?
True
Let b(f) = -f**2 + 13*f. Let i be b(13). Suppose i*k - 1428 = -6*k. Suppose -4*g - c = -6*c - k, 181 = 3*g - 5*c. Is 13 a factor of g?
False
Suppose 27225 = -51*k + 66*k. Is 27 a factor of k?
False
Is 480/50*70210/56 a multiple of 68?
True
Suppose 0 = 2*t - 3*a + 200, 3*t + t + 398 = 5*a. Let w = -187 - -298. Let f = t + w. Is f a multiple of 2?
True
Does 25 divide (-134030)/(-234) - 2*(-3)/27?
False
Let t be (-3)/(-18) + 498/36. Suppose -t*y + 1792 = -10*y. Is y a multiple of 14?
True
Does 187 divide (5857/(-6))/((-64)/1152) + (6 - -1)?
True
Suppose 3*i + 3*y = -0*i + 21, -5*y + 11 = -i. Suppose -i*r + 5*t = 5 - 159, r - 2*t - 40 = 0. Suppose 4*n - 29 = -a + 167, -n = -3*a - r. Does 12 divide n?
True
Let b(h) be the second derivative of 2*h**3/3 - 14*h**2 + h + 6. Is 14 a factor of b(23)?
False
Let y(u) = 2*u**3 - 6*u**2 + 17*u - 143. Let c = 417 - 411. Is y(c) a multiple of 7?
True
Suppose q = -3*t - 5 - 1, 0 = t + 3. Suppose 2*d + 104 = q*y - 207, -5*y + 5*d = -515. Is 13 a factor of (y/9 - 4)/((-2)/(-18))?
False
Is (-3)/3*12/36 - 42931/(-3) a multiple of 15?
True
Suppose -64*h + 166*h - 67*h = 76020. Does 12 divide h?
True
Suppose -15*w = 2*w - 24306 - 5988. Is w a multiple of 54?
True
Let s be 2/((-98)/(-100) + -1). Let l(b) = -201*b + 3. Let h be l(1). Let a = s - h. Does 49 divide a?
True
Let x(f) = -15 - 4*f + 10*f + 7 + 6. Let a be (5 - 5) + 3*1. Does 8 divide x(a)?
True
Let a be -3 + 2 + -3 + 4. Suppose a = 4*q - 43 - 61. Suppose -257 + q = -t. Does 13 divide t?
False
Let u(a) = 8*a**2 + 23*a - 143. Let z(f) = -f**3 + 3*f**2 + 7*f - 5. Let y be z(4). Is 23 a factor of u(y)?
False
Let d be (-1287)/(-78) - 10/(-4)*-1. Suppose -16*q + 29970 = d*q. Is q a multiple of 27?
True
Let l be 15*((-21)/84 + (-91)/(-12)). Suppose 783 = -l*b + 113*b. Is b a multiple of 17?
False
Suppose -89 = -12*f - 5. Suppose 3288 = -f*o + 19*o. Is 28 a factor of o?
False
Does 11 divide 12/88 + (-2712264)/(-528)?
True
Let k(r) = -125*r - 9437. Does 57 divide k(-205)?
True
Let i be 1 - 5 - (6 - 2). Let z = i - -35. Is z a multiple of 5?
False
Let s(b) = 579*b**2 + 6*b + 24. Is s(-3) a multiple of 20?
False
Suppose 20 = -41*d + 45*d. Let t(l) = 8*l**3 + 8*l**2 - 5*l - 6. Let w be t(d). Suppose 7*r = w + 7. Is r a multiple of 29?
False
Let y(f) = -65 + 128 - 52 - 35*f. Is 16 a factor of y(-1)?
False
Let v(j) = 270*j + 296. Is v(19) a multiple of 11?
False
Suppose c + l = -4*l + 9461, 0 = -4*l - 24. Is c a multiple of 64?
False
Suppose 0 = 13*c - 813 - 3399. Let l = c + -199. Does 3 divide l?
False
Suppose 0 = 4*x - 6*f + 137594 - 328090, -5*f - 238135 = -5*x. Is x a multiple of 96?
False
Let d be (-2319)/(-4) + 1/4. Let b be 5/(50/3760) + 0 - 7. Let s = d - b. Is 43 a factor of s?
False
Let d(m) = 160*m - 167*m + 16 + 0*m**3 - 53 - 10*m**2 - 2*m**3. Is d(-7) a multiple of 8?
True
Is 25 a factor of (2 - -28)/(28/(-1080)*15/(-126))?
False
Suppose 36 = -4*r - 4*n, -3*r - n - 15 = -2*n. Let x(w) = 6*w**2 - 4*w - 6. Does 39 divide x(r)?
True
Suppose 0 = 45*x - 84049 - 92306. Is 49 a factor of x?
False
Suppose -7*l + 50 + 34 = 0. Suppose -l*m + 8268 = -0*m. Does 13 divide m?
True
Let j = -12651 + 19516. Is 221 a factor of j?
False
Suppose -7*g + 8*g = 3. Suppose -5*q - 2*v = 543, 302 + 240 = -5*q - g*v. Let w = 205 + q. Is 12 a factor of w?
True
Suppose -3*h + 213438 = 4*p, 4*p + h - 213430 = 2*h. Suppose p = 48*s - 12066. Is s a multiple of 47?
True
Suppose 4*k - 38 = -2. Suppose 4*m = -11*r + 68 + 41, -3*m + 45 = -4*r. Let f = m + k. Is 19 a factor of f?
False
Suppose 9*d + 2*d + 748 = 0. Let z = d + 73. Suppose -279 = -z*g + 441. Does 24 divide g?
True
Is ((-207)/(-12))/((-28)/(-560)) a multiple of 15?
True
Let w = 1202 + -812. Suppose 4*j + w + 154 = 0. Let i = -127 - j. Is 3 a factor of i?
True
Let c = 227 + -242. Does 10 divide (3/1 - -202)*c/(-25)?
False
Let r(f) = 2*f**2 + 4*f - 13. Let n be r(2). Suppose n*z - 3*t + 0*t = 255, -2*t + 150 = 2*z. Is z a multiple of 10?
True
Suppose 10*q - 6380 = 8*q. Is q a multiple of 58?
True
Let o = 214 - 218. Does 3 divide (-1315)/o - (-115)/92?
True
Let r(t) = -20*t + 143. Let u be r(0). Let k = u + -121. Does 22 divide k?
True
Let y be (2/6)/((-4)/(-48)). Suppose -t = y*k - k - 15, 0 = 2*t - 3*k - 3. Is 17 a factor of 508/t - (-2)/6?
True
Suppose -72185 = -5*l - 4*h, -1123*l - 2*h - 28856 = -1125*l. Is l a multiple of 17?
True
Suppose -8*q - 50 = -98. Suppose -q*h + 1630 = -164. Is h a multiple of 13?
True
Suppose -5 = -p + 4*g, p - g - 63 = -58. Is p - (0 + (-1738)/1 - 5) a multiple of 26?
False
Let l(i) = 24*i - 160. Let f be l(7). Suppose 0 = 16*y - f*y - 4480. Is y a multiple of 70?
True
Let y = 22000 + -4537. Does 8 divide y?
False
Suppose -18*o + 16002 = 3*o. Let h = o + -518. Is h a multiple of 50?
False
Suppose 0 = -4*h + 4*x - 33123 + 105455, -h + 18077 = -4*x. Is h a multiple of 18?
False
Let r(v) = -118*v**2 - 7*v - 9. Let a(x) = 236*x**2 + 13*x + 17. Let s(t) = 6*a(t) + 11*r(t). Does 9 divide s(2)?
True
Let h(s) = -61*s**2 + 11*s - 17. Let b(j) = -31*j**2 + 6*j - 9. Let x(y) = 11*b(y) - 6*h(y). Let m be x(2). Suppose -7*f + m = -58. Is 7 a factor of f?
False
Let o be (-2780)/112*-12 + 1/7. Suppose 2878 - o = 5*z. Is 10 a factor of z?
False
Let d(a) = 9*a**3 + 2*a - 2. Let b be d(-3). Let l(r) = 13*r - 114. Let j be l(-5). Let c = j - b. Does 20 divide c?
False
Suppose 7*o - 207 = -25. Suppose o*t - 6984 = -874. Is 47 a factor of t?
True
Suppose 5*z = -5*f + 30, 0*z + z - f = -4. Suppose -z = -2*v + 9. Suppose p = -g + 25, v*p + 55 = 2*g + 2*g. Is 8 a factor of g?
False
Suppose -44085 = -3*p - 5*c, -2*p + 29368 = -21*c + 17*c. Does 10 divide p?
True
Let k(j) = 8*j**2 - j - 84. Is k(-16) a multiple of 22?
True
Suppose -5*x + 5*z + 40 = -10, -2*x = -3*z - 25. Suppose x*q - 3 = 2. Is 5*(-3)/(1*(-5)/q) even?
False
Let v(n) = -n**2 - 9*n + 7. Let a be v(-6). Let h = 61 - a. Suppose -13*w + 9*w = -h. Is w a multiple of 2?
False
Suppose c + 0*c - 21 = 0. Suppose 0 = c*h + 1265 - 4058. Is 19 a factor of h?
True
Let c = 464 - 177. Suppose 3*a - 299 = 4*s, -5*a + 2*s = -148 - 369. Let l = c - a. Does 13 divide l?
True
Let z be 16/(-4 + 1 - 104/(-32)). Suppose -c = -3*c - 3*t + z, 0 = 4*c + 2*t - 112. Is c a multiple of 26?
True
Let l(o) = 91*o + 15. Let g be l(1). Let d = g + -21. Is d a multiple of 17?
True
Let o = 13427 + -4130. Is 5 a factor of o?
False
Suppose 4*u - 10*u + 8040 = 0. Is u a multiple of 4?
True
Let i be (9 - 122)/((-3)/(-33)). Let c = 2145 + i. Does 82 divide c?
True
Suppose -22*b + 14 = -29*b. Let o = 0 - 11. Is 6 a factor of (b/4)/((o/84)/11)?
True
Suppose 4*n = 6549 - 249. Suppose 600 + n = 5*y. Does 17 divide y?
False
Suppose 116*d = -5*l + 119*d + 26794, 9 = -3*d. Does 15 divide l?
False
Let m = 2533 - -3834. Is m a multiple of 19?
False
Let a = -11923 - -22175. Is a a multiple of 249?
False
Let q(a) = -429*a + 8. Let p be q(-1). Is (-4)/38 + 48116/p a multiple of 22?
True
Suppose 84*d - 83053 = 240347. Is d a multiple of 70?
True
Let b(d) be the first derivative of -d**3/3 + 45*d**2/2 + 60*d + 319. Does 7 divide b(23)?
False
Suppose -5*c - c - 7*c + 386113 = 0. Is c a multiple of 12?
False
Suppose -23*f = -80*f + 165699. Is 17 a factor of f?
True
Suppose 19220 = 8*l - 3*l + 6795. Is 85 a factor of l?
False
Suppose 16*y - 10209 - 21439 = 0. Let f(m) = -m**3 + 6*m**2 + 16*m + 10. Let j be f(8). Suppose -j*z + y + 902 = 0. Does 16 divide z?
True
Suppose 3*h + 442 = 4*c - 2*h, 3*c = 5*h + 334. Suppose -102*m = -c*m + 384. Does 2 divide m?
True
Suppose -44*c + 24 = -38*c. Suppose -5*g + 1947 = 3*o + 566, -1820 = -c*o + 4*g. Does 6 divide o?
False
Let o = -6817 + 18559. Does 103 divide o?
True
Suppose -990 = -5*w - 3*b, 0 = 5*w + 4*b - 0*b - 995. Suppose 120 = 5*g + w. Let i(t) = -8*t + 9. Is i(g) a multiple of 43?
True
Suppose -729*a = -733*a + 88. Suppose 0 = 23*c - a*c - 252. Does 42 divide c?
True
Suppose 5*g - 3*a = -40, -6*a + a - 25 = 0. Let k(i) = -57*i - 100. Does 31 divide k(g)?
True
Suppose -2*i = 3*z - 4372, -15*z = 2*i - 17*z - 4392. Is 31 a factor of i?
False
Let f(o) = -4*o + 14. Let t = 47 + -56. Let c be f(t). Let y = c + 53. Does 21 divide y?
False
Let k(m) = 1011*m**2 + 4*m. Let f be k(1). Let h = f - 609. Is 14 a factor of h?
True
Suppose 0*y = 5*f + 3*y -