ltiple of 13?
True
Let o = 681 - 589. Let u = 292 - o. Is u a multiple of 40?
True
Let j(q) = -59*q**3 - 60*q**2 + 5*q - 11. Is j(-6) a multiple of 13?
True
Suppose 0 = 12*n + 35*n - 597840. Is 7 a factor of n?
False
Suppose 0 = 39*a - 34*a - 70. Suppose -9*t - 2320 = -a*t. Suppose -15*q + 31 = -t. Is q a multiple of 23?
False
Let n = -23289 + 27469. Is 110 a factor of n?
True
Is (-7842736)/(-352) + (-3)/((-24)/20) a multiple of 50?
False
Let u = 4256 + 1278. Does 5 divide u?
False
Suppose -f + 0*f + 4*x = -33, 12 = -3*x. Suppose 2*t - 4*y - 18 = 0, 3*t + 2*t - f = 3*y. Is 694/8 - t*(-1)/4 a multiple of 8?
False
Let o = 475 - 459. Does 5 divide (-60)/o*(-48)/9?
True
Let d = -2781 + 4711. Is 77 a factor of d?
False
Suppose -2*y = -w + 578, -5*y + w = 830 + 621. Let n be (-1)/(-5)*-2*1030. Let g = y - n. Is 14 a factor of g?
False
Let w(g) = -3*g - 5*g**2 - 29 + 8*g**2 - g + 17*g. Let t be w(-9). Let i = t - 68. Is i a multiple of 5?
False
Suppose -8*l = -3*l - 2755. Suppose 2*a - w - l = 0, 516 = 2*a - 2*w - 36. Is 5 a factor of a?
True
Suppose -20 = -2*f - 2*f. Suppose 4*n - 3*z - 6 = 6, -f*z = 3*n + 20. Suppose 6*u - 3*u - 210 = n. Is 35 a factor of u?
True
Let o(a) be the second derivative of -a**4/6 + 2*a**3/3 + 6*a**2 + a. Let t be o(5). Let s = 31 + t. Does 13 divide s?
True
Is (0 - (-33328)/(-40))/((-1)/10) a multiple of 52?
False
Let q = 464 + -458. Let v(y) = y + 5*y**2 + 2*y**2 - 2 - 9*y. Is v(q) a multiple of 35?
False
Let j(q) = -q**2 - 5*q + 5. Let r be j(1). Let i(k) = -636*k**3 - 2*k**2 - 12*k - 10. Is 4 a factor of i(r)?
True
Suppose 80*p - 65*p = -60. Is (-10)/p*10 - 96/24 even?
False
Let j = 16 - 14. Suppose -j*p - n + 0*n = -1, -3*n - 11 = -p. Suppose -p*u - 2*y + 207 + 243 = 0, -924 = -4*u + 4*y. Does 24 divide u?
False
Suppose 111 = 3*x - 3*r, -6*x = -10*x - 3*r + 127. Suppose 2*f + 24 = x. Suppose -46 = -5*z - f*c + 204, 2*z = -4*c + 104. Does 48 divide z?
True
Let n(y) = -17*y**3 + 46*y**2 + 26*y - 24. Let k(z) = -3*z**3 + 9*z**2 + 5*z - 5. Let m(s) = 11*k(s) - 2*n(s). Is 29 a factor of m(-4)?
True
Suppose 0 = -4*s - 3420 + 12376. Suppose -7*m + s = -6553. Is m a multiple of 8?
True
Let c(o) = 5*o**2 - 63*o + 162. Is 172 a factor of c(38)?
True
Suppose -6*b - 284 = 160. Let o = 186 - b. Is o a multiple of 9?
False
Is 23 a factor of 12/(-6)*(-1825050)/100?
True
Suppose -d = -2*d + y + 144, 7*y = 11*y. Let o = 2 + -2. Suppose 3*c + 0*c - d = o. Is 8 a factor of c?
True
Suppose -4285 + 29295 = -41*v. Let x = -360 - v. Does 7 divide x?
False
Suppose -6*o + o = -18*o. Suppose 27*q - 42*q + 720 = o. Is 8 a factor of q?
True
Suppose -80*l - 328576 = -6*f - 78*l, 54728 = f + 4*l. Is 20 a factor of f?
True
Suppose -3*y - 2*n - 16 = -7*y, 4*y = -5*n - 12. Let a(c) = y*c**3 - c**2 - 2*c**2 + 35*c - 19*c + 7 - 23*c. Does 6 divide a(4)?
False
Let z = 9030 + 2387. Is z a multiple of 233?
True
Suppose -197*w - 492732 = -432*w + 199*w. Is 4 a factor of w?
False
Suppose 4*y - 4143 = -3*a + 4417, 3*a + 10727 = 5*y. Is y a multiple of 62?
False
Let o = 3127 + 1219. Is o a multiple of 12?
False
Let x be ((-60)/28)/((-51)/238). Let y(t) = 12*t + 6. Let v be y(7). Suppose -5*p - v = -x*p. Is p a multiple of 6?
True
Let w be (-90)/(-42) + 1/(-7). Suppose 0*g - g = 3*h - 68, 2*h + 168 = w*g. Suppose g*t = 78*t + 250. Is 25 a factor of t?
True
Suppose -31168 = -3*b - 2*j, b - 10393 = -0*b + 3*j. Suppose 30*s - 35*s = -b. Does 10 divide s/16 + 0 - (-7)/56?
True
Let u = 21 - 68. Let y = -401 + 279. Let a = u - y. Does 15 divide a?
True
Let x = 123 - 156. Let k = 196 + x. Let f = 286 - k. Does 7 divide f?
False
Suppose -7*a = 39 - 144. Let j be a/(-10)*(-3)/9*-14. Let c(w) = w + 46. Is c(j) a multiple of 13?
True
Let p = -116 + 114. Is (-10 + 0 - p)*(-93)/12 a multiple of 7?
False
Suppose 0 = 3*o - 5*o + 16. Suppose o*m - 61 = -21. Let a(z) = z**2 - 5*z + 16. Is 8 a factor of a(m)?
True
Let s be ((-7)/14)/(((-2)/4)/1). Let g be (55/15 - 2) + s/3. Suppose -102 = -4*m + g*m + 2*i, -183 = -4*m - 3*i. Is 10 a factor of m?
False
Let h(x) = 71*x**2 - 22*x - 217. Is 69 a factor of h(-13)?
False
Let b be (1 + 8)/(2/78 - 0). Let c = 524 - b. Does 16 divide c?
False
Is 5 a factor of (-69974)/(-12) - (2650/(-60))/53?
False
Suppose -353 = -a + m, 0 = -10*a + 8*a - 4*m + 706. Suppose -14*n + 3545 = a. Is 38 a factor of n?
True
Is -2 - -10 - (-13 + (23 - 5017)) a multiple of 69?
False
Let j(i) = -19*i + 35. Let k(s) = -38*s + 68. Let o(y) = -5*j(y) + 3*k(y). Is o(-9) a multiple of 25?
True
Let h(z) = 811*z**2 - 29*z + 58. Is h(5) a multiple of 49?
True
Let f(i) = 3*i**2 - 76*i - 42. Let x be f(24). Let a = x - -312. Is a a multiple of 14?
False
Let w = 236 + -212. Suppose -w*m + 2510 = -22*m. Does 20 divide m?
False
Let q be (-3)/(-6*(-3)/(-12)). Let k(c) = 7*c**3 - 3*c**2 + c. Let y be k(q). Let n = 62 - y. Is 16 a factor of n?
True
Let p = 189 - 178. Suppose 55 + p = 2*s. Is s a multiple of 11?
True
Let x = -4 - -9. Suppose 0 = -c - 5*t - 20 + 3, 3*t = -5*c - 85. Let f = x - c. Does 11 divide f?
True
Let v(f) = 361*f + 160. Does 12 divide v(8)?
True
Let u(h) = 654*h - 4. Let q be u(1). Let d = q + -430. Is d a multiple of 11?
True
Let f = 77656 + -43512. Is f a multiple of 16?
True
Let b = -41 - -53. Suppose -b = m - 5*w, 2*m - 12 = -w - w. Suppose -3*s - m*g = -261, 4*s - 429 = -s - 2*g. Does 20 divide s?
False
Let j be ((-4)/(-6) + -1)*5*-3. Suppose -d = -4*x - 60, -5*x + j*d - 75 = d. Let p = x - -78. Is 18 a factor of p?
False
Suppose -4*j - 3852 = -4*c, c = 3*j + 929 + 28. Is 7 a factor of c?
True
Suppose 3700 = 18*q - 24719 - 16725. Is 38 a factor of q?
True
Let y(l) = 9*l**2 + 1665. Is 18 a factor of y(-33)?
True
Let b(i) = -3*i + 10*i + 34 - 7*i - i. Is 9 a factor of b(-8)?
False
Does 17 divide 51203/4 - (-3 - (-11)/4)?
True
Let s = 20105 + 10890. Is 66 a factor of s?
False
Let y(q) = 9*q - 9. Let l(f) be the second derivative of -f**5/20 + f**4/6 + f**3/3 - f**2 - 6*f. Let d be l(-2). Is y(d) a multiple of 23?
False
Let h(c) = -3853*c - 4308. Is h(-6) a multiple of 171?
True
Let n(y) = 189*y + 1. Let i be n(1). Let s = 85 + i. Suppose -6*o + 211 = -s. Does 27 divide o?
True
Suppose 471394 = 5*l + 176714. Is 23 a factor of l?
False
Let t = 80 + -75. Suppose -3*u = -t*w - 8*u + 455, -3*w - 2*u + 276 = 0. Suppose 2*x = 3*z - 300, w = z - x - 5. Does 15 divide z?
False
Suppose 4*s - 2 = 6. Suppose -s*r + 399 = r. Let c = -93 + r. Is c a multiple of 17?
False
Let x = -3021 - -5430. Does 31 divide x?
False
Let f = -32 + 46. Suppose -8*x - 30 = -f*x. Suppose -2*r + 251 = 2*k - k, x*r - 625 = -3*k. Is 34 a factor of r?
False
Let f(n) = -36*n - 63. Let x(u) = -5*u - 9. Let r(o) = -2*f(o) + 15*x(o). Let l be r(-2). Is 0 - (-4 - 27 - l) a multiple of 7?
True
Let y = 10 - 10. Let m be (y/(4/12*-3))/2. Suppose -4*t + 517 = -3*d, m = -2*t + 2*d + 25 + 233. Does 7 divide t?
False
Let a(g) be the second derivative of -g**3/6 + 7*g**2/2 + g. Let x be a(2). Suppose -x*f = -5*q + 4*q - 228, 3*f + 3*q = 144. Is 8 a factor of f?
False
Let q(t) = -t**3 + 4*t**2 + 28*t - 183. Let f be q(7). Let l = f - -246. Does 14 divide l?
True
Let x(a) = -5*a**2 + 16*a - 9. Let k be x(2). Suppose k*w + 3*p = 418 + 200, -3*p = 2*w - 412. Is w even?
True
Suppose 5*u = -5*o + 165975, 4*o - 4*u + 22353 - 155181 = 0. Is o a multiple of 93?
True
Let o be 87*((-8)/12 + 0). Let v = -35 - o. Let h = v + 65. Is 10 a factor of h?
False
Let s(u) = 1823*u - 10028. Is s(23) a multiple of 23?
True
Suppose -3*o = 12, -10 = -2*l + 3*o + 2. Suppose -2*h - 188 + 1088 = l. Suppose -2*k = 7*k - h. Is k a multiple of 5?
True
Let d(l) = -l**3 + 59*l**2 + 147*l + 69. Is 31 a factor of d(34)?
False
Suppose 13 + 11 = 3*j. Does 9 divide 102 - (2 - j/(-8))?
True
Let l(h) = -h**3 - 54*h**2 + 107*h - 220. Is 15 a factor of l(-56)?
True
Let g = 21481 + -1364. Is g a multiple of 32?
False
Let h(j) = -j + 22. Let y be h(0). Suppose 4*i - 2*i = -8, 2*i - y = -2*z. Is z a multiple of 3?
True
Suppose -5*a = -i + 5, -5*a = -3*i - 2*a - 9. Let d(g) = 6*g + 34. Let o be d(i). Is (-120)/(-4) + (-12)/(-16)*o a multiple of 11?
True
Suppose 0 = x - 8*k + 4*k - 4454, -4*x = -4*k - 17816. Is x a multiple of 79?
False
Let x be (12/11)/((-22)/(-121)). Is 13*(14 - (-1 + x)) a multiple of 13?
True
Let v(w) = 7*w**2 + 7*w + 2. Let 