?
True
Let v = 42 + -41. Let g be (v/5)/(2/10). Is 13 a factor of ((-1)/((-6)/16))/(g/27)?
False
Suppose -7*q = -4*q - 120. Suppose 2*n = -2*r + q, 2*r + 3*n = -1 + 45. Is (7/(70/r))/((-2)/(-165)) a multiple of 11?
True
Suppose 3*s - 25 = 62*c - 61*c, 12 = 2*s - 3*c. Let w(k) = -8 - 3*k + 4*k + 37. Is 2 a factor of w(s)?
True
Suppose -4*l = 5*u - 8077, 0*u + 4*l = 4*u - 6440. Suppose -3*d + 1339 = -u. Does 41 divide d?
True
Let c = -15 - -18. Suppose 13 = c*w + 5*m, w = -10*m + 5*m - 9. Is w a multiple of 11?
True
Suppose -414 = -2*n + 19*d - 21*d, 5*n - 2*d - 1000 = 0. Suppose 0 = -2*s, s = 5*r - 0*s - 290. Suppose r - n = -2*q. Is q a multiple of 9?
True
Let a = 22306 - 7535. Does 16 divide a?
False
Let w = -77 + 85. Suppose w*i = 10*i + 8. Is 16 a factor of i/8*8 + 84?
True
Suppose 5*o + 3*b - 1 = -4, -b = -2*o + 1. Suppose -3*n + 15 = -o*n. Suppose -90 = -0*c - n*c. Is c a multiple of 10?
False
Is 5 + (-6485)/(-5)*((-14)/1)/(-2) a multiple of 9?
False
Suppose -20*r = -18*r + v - 62597, r - 31346 = -10*v. Is 40 a factor of r?
False
Let b(j) = -2 - 5*j + 0*j**2 + 9*j**2 + 10 + 1 - j**3. Let c = -41 - -47. Is b(c) a multiple of 15?
False
Let q be (0 + 0)/((-20)/20). Suppose 4*o + 712 = -7*v + 11*v, -5*v - 5*o + 890 = q. Does 89 divide v?
True
Let s(g) = 3*g + 53. Let o be s(-12). Suppose o*x - 1504 = x. Is x a multiple of 8?
False
Let u = -235 + 244. Is 8 a factor of 717/u - (-15)/45?
True
Suppose t - 293 - 183 = 7*b, 3*t = 3*b + 1536. Is 14 a factor of t?
True
Suppose 14*x = 13*x - 14. Let c = x + 16. Suppose -44 = -4*g - 5*r, -r = -3*g + 4*r - c. Is 4 a factor of g?
False
Suppose 22*v - 39286 = -4*v. Suppose n - 2910 = -5*h, -v = -5*h - 3*n + 1409. Is 78 a factor of h?
False
Let r(i) = 2*i**2 + 16*i + 115. Let o be r(41). Suppose -18*g - o = -15977. Is 14 a factor of g?
True
Suppose -x = -2*q - 1 - 5, -4*q - 40 = 5*x. Let h be (1/(-28) + 4/14)*x. Is 37 a factor of ((-41)/h)/((2/6)/1)?
False
Suppose -3*q + 20 = 2*c, 0 = 5*q - 28*c + 29*c - 24. Suppose q = x - 0*x, h = -x + 1385. Does 19 divide h?
False
Let j(u) = -50*u**2 + 4 - 3 + 79*u**2 - 6*u + 4*u**2. Is j(-3) a multiple of 4?
True
Suppose -60*l = -202*l + 12809252. Is 223 a factor of l?
False
Suppose -j = 4*b - 13978, -4*b - 7222 = 2*j - 21194. Does 152 divide b?
True
Let s(p) = 547*p - 2478. Is s(53) a multiple of 30?
False
Let t(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3/6 - 3*q**2 - 5*q. Let f be t(-2). Is 10 a factor of (f/10)/((-4)/280*-2)?
False
Let f = -37 + 41. Suppose 0*s - 3*s = -f*v + 21, -5*v - 5*s + 35 = 0. Suppose -6 = 2*c, -v*c - 3 = m - 3*c. Is m a multiple of 4?
False
Is (-47100)/(-90)*(2 + 16) a multiple of 33?
False
Suppose 5*w - 65 = 3*p, 102 = 2*p - 6*p - w. Let s(a) = -a**2 - 28*a + 8. Is s(p) a multiple of 13?
False
Let b(x) = 759*x**2 - 8*x + 20. Let z be b(4). Suppose -u + 19*u - z = 0. Does 28 divide u?
False
Let x(z) = -z**3 - 7*z**2 + 13*z + 13. Let q be x(-7). Let r = q + 107. Suppose b = -c + r, -b + 0*b + 128 = 4*c. Is c a multiple of 8?
False
Suppose -23 = -2*b + 57. Suppose 0 = -b*t + 41*t + 35. Let s = 55 + t. Does 10 divide s?
True
Let c be (168/126)/((12/9)/2). Suppose -3*g + 90 = c*a, 0 = 3*a + 6*g - 4*g - 130. Does 3 divide a?
True
Let f(u) = u**2 - 8*u + 11. Suppose -160 = 8*m - 24*m. Does 19 divide f(m)?
False
Suppose -3200250 = 19*v - 144*v. Does 61 divide v?
False
Suppose 0 = 2*h - 3 - 5, 0 = 4*g + h - 76. Let n be 2/(13/g - (-20)/(-90)). Suppose -3*o + 348 = 2*o + n*j, -o + 81 = -3*j. Is 12 a factor of o?
True
Let r = -42 + 58. Suppose -r = -4*j + 4*z, z - 11 + 0 = -2*j. Is 10/j + 0 + 6 a multiple of 8?
True
Suppose 967 = -7*f + 5090. Suppose f = 8*o - 435. Suppose -2*b + 3*h + o = -314, -h + 898 = 4*b. Is 14 a factor of b?
True
Is (-2)/2*(-12)/(-264)*22 - -20247 a multiple of 53?
True
Let f = 16501 + -15747. Is f a multiple of 13?
True
Is (-34)/(1360/(-180))*3824 a multiple of 169?
False
Suppose 85*h + 2385878 - 10395003 = 0. Does 19 divide h?
False
Let z = 1816 + 4465. Is 19 a factor of z?
False
Is 39 a factor of -5694*(-2)/(8 + -2 - (2 - -2))?
True
Let b(m) = 0*m - 18 + 4*m - 2*m + 49. Suppose -z - 4*x + 5 = 0, -4*z + 47 = -9*z + 4*x. Does 7 divide b(z)?
False
Suppose 2*l + 90*s = 91*s + 4067, 3*l = -5*s + 6120. Is l a multiple of 4?
False
Let c be ((-80)/(-15))/(2/141). Let x = c + -365. Is x a multiple of 2?
False
Suppose -3*z + 7*c - 2*c + 124 = 0, z = 4*c + 39. Let b be -16 + 2/(-2)*2. Let u = b + z. Does 4 divide u?
False
Suppose 5*s - 2*n = 24570, 57 = -4*n + 77. Is s a multiple of 125?
False
Suppose 20039 + 44221 = 17*l. Is l a multiple of 10?
True
Suppose -187689*p + 187694*p - 6400 = 0. Is 6 a factor of p?
False
Suppose -3*f = -5*k - 14, -2*k + 4 = 2*f - 0*f. Suppose -f*j + 230 = -190. Suppose -14 = 2*h - j. Is h a multiple of 18?
False
Let d(z) = 6*z + 51. Let k be d(-8). Let g(s) = 24*s - 12. Is 7 a factor of g(k)?
False
Suppose -123*a + 113*a + 810 = 0. Suppose -122*b = -123*b + a. Is 27 a factor of b?
True
Is ((-23232)/(-220))/((-4)/650*-5) a multiple of 52?
True
Let v = -64 + 44. Let b be 7*2*v/(-56). Suppose i - r = 3*i - 36, -5*i = -b*r - 90. Is 18 a factor of i?
True
Suppose -5*p = -o + 6881, -8*o - 4*p = -5*o - 20510. Does 57 divide o?
False
Let a(b) = 13*b**2 + 11*b - 38. Let p be a(-12). Let x = p - 739. Is 24 a factor of x?
False
Let v(x) = 5*x - 2. Let d(p) = -6*p + 3. Let q(t) = -4*d(t) - 5*v(t). Let f be q(-4). Suppose 0 = -3*y + 4*h + 70 + 3, f*h = 10. Does 24 divide y?
False
Suppose -13 = -3*l + 2*l. Let b be (-9)/(-4) + l/(-52). Suppose -81 = -3*o + 3*x, -o - b*x + 76 = 2*o. Is o a multiple of 10?
False
Suppose -4*r + 9*r = -15, 5*w - r = -77. Let u be ((-325)/(-20))/(1 + 20/w). Let i = u - -94. Is 8 a factor of i?
False
Let r = 557 - 965. Let g be (-2308)/8 + (-2)/(-4). Let c = g - r. Is 38 a factor of c?
False
Let q(r) = 7*r**2 + 99*r + 34. Is 62 a factor of q(-39)?
True
Suppose 0 = -31*r + 1563 + 11085. Suppose 10 = 5*j - 0*j. Suppose 0 = -2*m - 2*m - j*y + r, 4*y = -4*m + 404. Does 36 divide m?
False
Let l = 104 - -20. Suppose 123*p = l*p - 23. Is 23 a factor of p?
True
Suppose 3*d - 6 = -0*d. Suppose 0 = d*s + 3 + 9. Is (s/18)/(3/(-1818)) a multiple of 28?
False
Let r = -696 + 701. Suppose -r = -5*f, k - 8*f = -11*f + 257. Does 6 divide k?
False
Let g be (-3 - 18/(-4))/(-1)*22. Let f = 37 + g. Suppose f*x - 441 = -3*x. Does 41 divide x?
False
Let y(p) = p**2 - 7*p + 8. Let z be y(6). Suppose -i - z*i + 120 = 0. Is i a multiple of 13?
False
Let k = -967 - -976. Suppose 0 = 5*h + d - 1492, k*h - 6*h - 903 = 2*d. Does 14 divide h?
False
Suppose -12 - 9 = -5*x - r, 0 = 5*x - 5*r - 45. Let t = 70 + -16. Suppose -x*b + 5*q + 240 = 0, b - 3*q = -5*q + t. Is b a multiple of 9?
False
Let h be 1 + -2 - (-2)/2. Let z = 1670 + -1630. Suppose h*x - 5 = -5*x, j - z = -3*x. Is j a multiple of 8?
False
Suppose -9507 = -78189*v + 78188*v. Is 9 a factor of v?
False
Suppose 2*b - 4*g - 1383 - 325 = 0, 0 = -b + 3*g + 853. Is 8 a factor of b?
True
Let l(d) = -2*d - 13*d - 4*d + 3*d - 4*d + 104. Is l(-5) a multiple of 17?
True
Let z = 46334 - -21706. Suppose 17*c = -18*c + z. Is c a multiple of 54?
True
Let u(i) = -4525*i + 142. Is u(-2) a multiple of 12?
True
Suppose -6*h = -3*j - 2*h + 7065, -9 = -3*h. Suppose 13*x = m + 11*x - 467, j = 5*m + 2*x. Is 52 a factor of m?
False
Let h = -397 + 399. Let s(z) = 65*z**3 + 5*z**2 - 6*z + 1. Does 23 divide s(h)?
True
Suppose 307530 + 224403 = 167*g - 436166. Does 43 divide g?
False
Let t(u) = 41*u**2 + 6*u - 10. Let w(d) = d - 1. Let j(f) = t(f) - 6*w(f). Let l be j(-2). Suppose -n + 5*n - l = 0. Is 20 a factor of n?
True
Suppose 2*w - 3 = -q, -37*q + 33*q - 2 = w. Let t = -116 - 125. Is 24 a factor of (-4)/8 - t/w?
True
Let k = 314 + 21. Suppose -5*r = -585 - k. Does 46 divide r?
True
Let g = -562 - -565. Suppose g*n - 8*l - 1278 = -5*l, 5*n - 2122 = l. Is n a multiple of 29?
False
Suppose -d = 4*j + 7158, -3*j = -d - 0*d + 5372. Does 44 divide (-11)/33 - j/6?
False
Suppose 11*k = 13*k + t + 12, 4*k + 5*t = -18. Is -2*(k - (-1624)/(-16)) a multiple of 14?
False
Suppose 9*o + 3 - 3 = 0. Let l(d) = 8 - 8*d + 11 - 7 + o. Does 6 divide l(-5)?
False
Let i(k) = 10*k + 316. Suppose 2*c - 4*a - 111 = -19, -5*a + 18 = c. Does 24 divide i(c)?
True
Let f = -76661 - -139301. Is f 