Let i = b + g. Is i a multiple of 10?
True
Suppose 26*r - 23*r = 9. Is 11 a factor of -8 + (302 - (-8 + r))?
False
Let a = 844 - 22608. Let z be (a/(-3))/4 + 2/6. Suppose 13*r - 1033 = z. Is r a multiple of 42?
False
Let x be 2 - 4 - -5 - -38. Suppose -x*n = -44*n + 333. Is 20 a factor of n?
False
Suppose -3*i + 0*i + 18 = 0. Does 3 divide (-4 - -6) + i + 133?
True
Let m(d) = 67*d**2 - 23*d + 171. Does 127 divide m(9)?
False
Is 147 a factor of (219/(-15) - 5)/((-3)/2010)?
False
Let z be 1*-2199*3/(-9). Suppose 5*n - a + z = 0, 310 = -3*n - 3*a - 137. Let q = -39 - n. Is 18 a factor of q?
True
Let m be ((-38)/12)/(-7 + 123/18). Suppose -m*b - 1257 = -22*b. Does 23 divide b?
False
Suppose -1184*o + 12 = -1186*o, -o - 49902 = -3*u. Is u a multiple of 24?
True
Let j(p) = -9*p + 924 - p - 11*p + 3*p. Is j(0) a multiple of 77?
True
Let u(l) = 2*l**3 + 7*l**2 - 27*l + 18. Is 88 a factor of u(8)?
False
Let b = -5417 + 10889. Is b a multiple of 24?
True
Suppose 0 = 5*o + 64 - 89, -o + 649 = 2*c. Is 8 a factor of c?
False
Let c = -120 - -599. Let b = -333 + c. Does 73 divide b?
True
Let k(d) = -27*d + 144. Let f be k(6). Let i(u) = 2*u**2 + 17*u - 55. Is 3 a factor of i(f)?
False
Let o(z) = 9*z - 112. Let y be o(-8). Let s = y + 261. Is 6 a factor of s?
False
Let t = 68137 + -47940. Does 108 divide t?
False
Let g(j) = 87*j**3 - j**2 - j + 2. Suppose -9*v - 1515 = -255. Let i = v - -141. Is 37 a factor of g(i)?
False
Suppose 62*f - 33*f - 1263980 = -301499. Is 13 a factor of f?
True
Let z = -46578 + 101593. Does 31 divide z?
False
Let y = -20905 - -31677. Does 228 divide y?
False
Let g = -14 - 14. Let x = g - -41. Suppose 0 = x*u - 12*u - 24. Is u a multiple of 3?
True
Let w be (-6)/(-30) - (-6)/30*29. Does 45 divide -1 + 249 + (12 - w)?
False
Suppose -44136 = -3*w + 178*x - 175*x, 2*w = -5*x + 29382. Does 9 divide w?
True
Let s be (4/(-5))/(3*(-6)/90). Suppose -1395 = -9*i + s*i. Suppose 7*u + i = 5*v + 4*u, -3*v - u + 159 = 0. Is v a multiple of 6?
True
Let y = 33 - 83. Let q(v) = -2*v**3 + 65*v**2 - 29*v - 40. Let i be q(32). Let p = i + y. Does 4 divide p?
False
Let g be ((-3)/9)/(10/180) + 11. Suppose -5*d = 3*f - 2690, -f = -6*f + d + 4446. Suppose q + 2*q + f = 5*u, 0 = -g*u - 2*q + 890. Is 30 a factor of u?
False
Let v = 16381 + -14130. Is 8 a factor of v?
False
Suppose 2 - 17 = -3*q, -4*o - 5*q = 311. Let n = -78 - o. Suppose -624 = -n*p - 6*p. Does 4 divide p?
True
Let h(x) = -1290*x**3 - 25*x - 97. Does 19 divide h(-3)?
True
Let n(y) = y**3 + 18*y**2 - 7*y - 102. Let u be n(-19). Let m = -193 - u. Is m a multiple of 31?
False
Let n(m) = m**3 - 7*m**2 + 5*m + 3. Let p be n(6). Let z be 3/9 - (-13)/p. Let u(x) = 4*x + 21. Is 5 a factor of u(z)?
True
Let z(o) = o**3 - 9*o**2 - 7*o + 8. Let b be z(-6). Let a be b/(-2) - ((-1 - 1) + 1). Suppose 2*f = 3*n + a, 0 = 3*f - 3*n + 6*n - 369. Is f a multiple of 14?
False
Suppose 4*r + i = 1 + 6, 0 = 4*r + 4*i + 8. Suppose s + 4*x - 14 = 0, -r*s - 2*s + 5*x + 45 = 0. Is 4/s + (-2492)/(-20) a multiple of 22?
False
Let q be 4/(-26) - (200/52 + 4). Let s be -2*4/q - 276. Is 20 a factor of ((-3)/(-6))/((-1)/2)*s?
False
Let n = -41 + 56. Suppose 238 = v - 5*p, 7*p = 2*p - n. Is v a multiple of 17?
False
Suppose 0 = -5*o + 5*w + 17945, -12*w = -8*o + 5*o + 10776. Is o a multiple of 9?
False
Suppose 20312 = 32*s - 12616. Is 49 a factor of s?
True
Let v(c) = -13*c**2 - 2*c. Let t be (-1 + 2 + 0)/(-1). Let q(y) = y**2 - y + 1. Let u(d) = t*v(d) - 2*q(d). Is u(-4) a multiple of 49?
False
Let d(m) = 7*m**2 + 12 - 6*m**2 + 29*m**3 - 12*m**3 + m - 16*m**3. Suppose -4*t - 12 = o, -5*o + 9 = -4*t - 3. Does 12 divide d(o)?
True
Let n(r) = -r**2 + 7*r - 2. Let d be n(2). Suppose d*y - 1500 = -636. Is y a multiple of 13?
False
Let k be (3934/(-8))/(-7) - (-1)/(-4). Let f = k + -97. Let o = 37 - f. Is 16 a factor of o?
True
Let w(y) = -y**2 + 44*y + 48. Let x be w(45). Suppose 6*o - 3*o - 213 = -c, -9 = x*c. Is o a multiple of 2?
True
Let u = -6 + -126. Let m = -55 - u. Suppose v - 117 = 3*r, -v + 0*v = 5*r - m. Is 19 a factor of v?
False
Let m = 733 - -11389. Is 50 a factor of m?
False
Suppose -10*i - 40 = -6*i + 2*t, -4*t + 20 = -2*i. Let g(c) = c**2 + 5*c - 15. Let j be g(i). Let a = j + 46. Is a a multiple of 28?
False
Let p(x) = 187*x + 68. Let i be p(-4). Let n = i + 778. Is 16 a factor of n?
False
Is 11 a factor of 572/((-14)/18 + 5/5)?
True
Suppose 0 = -5*i + n + 240, -4*i + 101 = n - 91. Suppose -4*h + 368 = -i. Is 15 a factor of h?
False
Suppose 5*f - o - 427 = o, -5*f = 5*o - 455. Let q(v) = -v - 8. Let w be q(-12). Suppose -w*r + f + 137 = 0. Is 14 a factor of r?
True
Let x(t) = 4932*t + 176. Is x(2) a multiple of 37?
False
Let i be ((-504)/(-104) - 5) + (-152)/26. Is (116 + 44)*4/(-6)*i a multiple of 20?
True
Let a(b) = -7*b + 167. Let x be a(0). Suppose -3*r + 210 = h - x, 5*r + h - 629 = 0. Does 7 divide r?
True
Suppose -26*a + 3903 - 79737 = -48*a. Is 11 a factor of a?
False
Let j(c) be the first derivative of c**2/2 + c + 14. Let g be j(2). Suppose g*s - 209 = 3*d - 2, -375 = -5*s - 5*d. Is 12 a factor of s?
True
Let i = 548 - 525. Suppose -i = -f - 4*o + 19, 5*f = -o + 191. Is 15 a factor of f?
False
Let q(v) = -2*v - 18. Let a be q(-10). Let l(b) = b**3 - 3*b**2 + 4. Let j be l(a). Suppose 2*g - 124 = -j*h + h, 181 = 3*g - 4*h. Is 6 a factor of g?
False
Let g = -13 + 31. Let s(r) = r**2 + 46*r + 389. Let l be s(-11). Does 16 divide (-1 - -102) + g/(-24)*l?
False
Suppose 37*f = 16*f - 1176. Does 63 divide f*14/(280/(-225))?
True
Let t = -251 + 529. Let z = 338 + t. Is 7 a factor of z?
True
Let a(g) be the first derivative of g**3/3 + 3*g**2 - 20*g + 5. Let l be a(-8). Is 16 + (l/(-1) - 3) + -2 a multiple of 15?
True
Let a(m) = 17*m - 8. Let s = -354 + 360. Is a(s) a multiple of 4?
False
Let t = -520 - -517. Let k(c) = -5*c - 2*c**3 + 4*c + c**3 - c**2. Is 21 a factor of k(t)?
True
Suppose 8951 = 4*i + 3*j, -340*j + 337*j + 2240 = i. Does 2 divide i?
False
Let c be (132/(-110))/((-6)/70). Suppose 4725 = c*f + 13*f. Is 25 a factor of f?
True
Suppose 6*v - 3*m = 7*v - 251, -940 = -4*v + 4*m. Does 15 divide v?
False
Suppose j - 13667 = -3*p, 4*j + 3688 = -2*p + 12786. Is 36 a factor of p?
False
Suppose -f + 19 = -4*m, -4*f + 5*m = -0*f - 43. Suppose f*x + 280 = 11*x. Does 14 divide x?
True
Let j(i) = -i**3 - 3*i**2 - 4*i - 68. Let t be j(0). Let l(q) = -5*q**2 + 2*q - 1. Let v be l(3). Let n = v - t. Is 10 a factor of n?
False
Suppose -82*a + 63*a + 10089 = 0. Does 2 divide a?
False
Let b be 2 + -2 + 17/1. Suppose -4*m + 3*j + 1001 = 0, -2*m - b*j = -13*j - 484. Is m a multiple of 21?
False
Let a = 554 - 554. Suppose 5*p - 314 - 1445 = -2*v, a = -4*v - 3*p + 3525. Is 11 a factor of v?
False
Is 15 a factor of (-21)/(-28)*(1033 + 7)?
True
Let r = 717 - -1660. Is r a multiple of 11?
False
Suppose -5*b + 1573 = -2*i - 998, -3*i = 5*b - 2556. Does 9 divide b?
True
Let i(x) = -19*x - 154. Let d(g) = 20*g + 159. Let u(t) = -5*d(t) - 6*i(t). Is 19 a factor of u(8)?
False
Let k(x) = -2*x**3 - 14 + 20*x**2 + x**3 + 5*x - x**3. Let l be (5/4)/(-8 - 1235/(-152)). Does 4 divide k(l)?
True
Suppose t = 5*b + 5 + 8, 4*b = t - 11. Suppose t*v + 3*v - 252 = 0. Is 7 a factor of v?
True
Let w(z) be the second derivative of 0 - 7*z + 0*z**2 + 1/2*z**3. Does 8 divide w(11)?
False
Let f be 3/2 - (2 - 115/10). Suppose v + 1761 = 2*a, 0 = -4*a + f*v - 14*v + 3537. Does 9 divide a?
True
Suppose -5*a = -4*n + 1278 + 11687, -12983 = -4*n - a. Is (-8)/(-10)*n/22 a multiple of 8?
False
Let x(f) = 5*f**2 + 98*f + 16. Does 35 divide x(4)?
False
Let a(k) = -4*k**3 - 9*k**2 + 3*k - 1. Let t be a(-4). Let f = t - 95. Suppose 4*u = 4, -3*p + 139 = f*u - 162. Is p a multiple of 16?
False
Let m(d) = 79*d - 40. Let s be m(-12). Let l = s - -2106. Is 26 a factor of l?
True
Let d = 861 - -551. Let u = d + -907. Suppose 3*k + 2*k = u. Does 37 divide k?
False
Suppose 0 = -0*d - d + 5*n - 15, -n + 3 = -2*d. Let l(j) = -j + 1. Let p be l(-2). Suppose 3*b = p*v - 132, -3*v = b - d*b - 132. Is v a multiple of 4?
True
Suppose -4*s = -2*n - 5032, -288 = -3*s - 5*n + 3473. Is 36 a factor of s?
False
Suppose -36*k + 40*k - 664 = 0. Suppose k*c - 192 = 162*c. Is c a multiple of 2?
True
Suppose 3*p - 9 = 0, 0 = -4*y - p + 939 - 192. Let z = 293 - y. Is 24 a 