 -9795. Is z a multiple of 77?
True
Suppose 0 = -4*g + 4*c + 49376, 0 = g - 2*c + 5*c - 12364. Does 26 divide g?
False
Let w be 2*4/(16/202). Suppose 0 = 4*s - b - 141, 0 = 3*s - 0*s + 4*b - w. Let l = s + -5. Does 8 divide l?
False
Suppose -535 = 16*t + 793. Let d = 1343 + t. Suppose -d = -19*k + 12*k. Does 18 divide k?
True
Let h(f) = -71*f**3 + f**2 - f - 1. Let c(z) = -4*z - 5. Let k be c(-1). Let g be h(k). Suppose 67*q - g*q = -525. Does 21 divide q?
True
Suppose 0 = 5*y - 46*x + 47*x - 79346, -63488 = -4*y + 2*x. Is y a multiple of 69?
True
Suppose 3*h - 3 = 0, 5*h + 2 + 8 = 5*n. Suppose -2*d - 22 = -n*b, -40 = -5*b + 7*d - 3*d. Is 4 a factor of b?
True
Let p = -49135 + 94522. Does 41 divide p?
True
Let r = -3385 - -4673. Does 44 divide r?
False
Let q = -9791 - -20864. Is 20 a factor of q?
False
Suppose 31*b = 29*b + 38. Suppose b*j - 23*j = -140. Is j a multiple of 9?
False
Suppose 14*k - 70 = -70. Let g(l) be the second derivative of -l**5/20 - l**4/12 + 45*l**2 + 2*l. Does 18 divide g(k)?
True
Let j = 140 + -154. Does 10 divide (6 - (-3188)/(-4))*4/j?
False
Let q(d) = -d**3 - 11*d**2 - 33*d - 11. Let f be q(-6). Suppose -4*h - f*o = -3*o - 708, -2*o - 6 = 0. Does 12 divide h?
True
Suppose 11 = 2*r - 5*j - 7, 3*j = -4*r - 16. Let g(z) = -2*z**3 + 5*z**2 + 11*z - 2. Let i(y) = -y - 1. Let b(u) = r*g(u) - 6*i(u). Is 48 a factor of b(6)?
False
Let r be 6/(-24) + 34/8. Suppose -f + 0*f + r = 4*l, 1 = 4*f + l. Suppose 3*j + 43 - 118 = f. Is j a multiple of 6?
False
Suppose -5 = 5*t, 0 = y + 2*t - t - 6. Suppose y*l - 6878 = -12*l. Does 18 divide l?
False
Let x be (-2)/7 - (-8325)/105. Suppose -x = 4*h - 139. Does 15 divide h?
True
Let w(h) = -2*h + 26. Let l be w(13). Suppose 5*k - 3 = 4*k - d, l = 3*d. Suppose -k*v - 92 = -4*j + 3*j, -2*v + 72 = j. Is 14 a factor of j?
False
Suppose 17*k + 28224 = 29*k. Suppose k = -3*b + 10*b. Is 24 a factor of b?
True
Let t = -563 + 577. Suppose -41496 = -t*y - 12*y. Does 57 divide y?
True
Let v be 6/57 - (-3023)/(-19). Let b = v + 359. Is 11 a factor of b?
False
Let v(w) = -w**3 + 41*w**2 - 139*w - 30. Let i(s) = -3*s**3 + 81*s**2 - 279*s - 60. Let c(m) = 2*i(m) - 5*v(m). Does 4 divide c(-46)?
True
Does 94 divide ((-188)/12 + 12)/(-2 + (-15227)/(-7614))?
True
Suppose 29*z + 234 = 350. Suppose 5*i - 284 = -z*n, 28*n - 1 = 27*n. Does 7 divide i?
True
Let t = 113 + -64. Let l = t - 24. Does 4 divide -5*2*(-30)/l?
True
Suppose -h = 5*t - 12 - 1, -5*h + 23 = 4*t. Suppose 0 = 10*y - t*y - 32. Does 13 divide (-79)/(-2) - y/8?
True
Suppose -22*i - 24*i + 257441 = -3*i. Is i a multiple of 98?
False
Suppose 14*j = 23*j - 90. Let s(i) = -i**2 + 36*i + 15. Does 25 divide s(j)?
True
Let j = -99 + 79. Let s = -20 - j. Let i(n) = 4*n**2 + 2*n + 90. Does 10 divide i(s)?
True
Suppose -9*n + 79 = -2225. Let y = -20 + n. Does 11 divide y?
False
Suppose 380*h - 648 = 377*h. Does 54 divide h?
True
Let m be (-30)/36*-6 - -409. Let d = 474 - m. Is d a multiple of 20?
True
Suppose o - 4*x - 480 = 543, 0 = 5*o + 2*x - 5027. Is 53 a factor of o?
True
Let q = -37 - -52. Suppose -3*h = -q, 0 = -5*w - 5*h - 213 + 763. Does 21 divide w?
True
Suppose -32*h = 41713 - 25557 - 138396. Is 62 a factor of h?
False
Suppose -2*q + 4*t = -24, -q + 1 = -3*q - t. Let r be q*5/(-10)*-5. Suppose 2*f - 600 = -2*f + r*g, -4*f + 636 = 4*g. Does 31 divide f?
True
Suppose -40 = 4*x - 4*b, 5*b + 16 = -3*x - 6. Let a be 84/9 - 6/x. Suppose 0*t - t = -a. Is 3 a factor of t?
False
Let d = 2996 - -3226. Is d a multiple of 102?
True
Suppose -6 = -23*f + 21*f. Does 6 divide (-13)/((-13)/(-690))*f/(-6)?
False
Suppose 10 = -4*d + 5*d. Suppose -g = -3*g + d. Suppose -g*a + 139 = -61. Is a a multiple of 12?
False
Suppose -2*y = -4 - 4, 5*y = 5*p + 15. Let a be ((-2)/8)/(p/(-1252) - 0). Suppose -5*z + 3*l = -1005 + a, -2*z - 3*l = -260. Is 34 a factor of z?
True
Suppose 8*p - 12*p = 400. Let u(m) = 55*m + 6. Let c be u(-2). Let g = p - c. Does 4 divide g?
True
Let b(u) = 34*u + 598. Let m be b(-18). Let x = -30874 + 18293. Does 26 divide 2 + m/6 + x/(-69)?
True
Let m(y) = -y + 26. Let i be m(14). Let u be ((-3)/(-5) - i/20)/1. Suppose u = 6*c + 5*c - 1419. Is 14 a factor of c?
False
Suppose -w + 433 = -0*w - 5*t, -1669 = -4*w - t. Suppose 241*h - w = 239*h. Does 7 divide h?
False
Let d(l) = 408*l**2 + 29*l + 66. Does 5 divide d(-2)?
True
Let l be (-17)/(-85) - 26/5 - -3. Let x(w) = w + 3. Let p be x(l). Does 27 divide (3/p - (-60)/(-10))*-9?
True
Suppose 0 = 4*i - 5*c - 59564, -23744 = -7*i - 5*c + 80603. Is 9 a factor of i?
False
Let x be 57/3 + (0 - 1). Suppose -2*u + 77 - x = t, 0 = 4*u + 16. Suppose t = 2*f - 2*g - 11, 0 = -3*f + g + 111. Is 12 a factor of f?
True
Suppose -2*y + 12*o = 7*o - 30, 2*o + 17 = y. Suppose 23740 = y*m + 2565. Is m a multiple of 14?
False
Suppose -1592 = -5*m + k, 1411 = 5*m - 3*k - 185. Suppose -600 = -9*y + m. Does 3 divide y?
True
Suppose -2*u + 8*u = 17*u - 52635. Does 44 divide u?
False
Let s = 124 - 53. Let v = -9 + s. Let l = v - 21. Is l a multiple of 7?
False
Let h(p) = 2*p**3 - 8*p**2 + 4*p - 9. Let m be h(7). Let g be (-32)/(-64)*(4 - -2). Suppose -5*x + 0*x = g*s - 778, 3*s - m = -2*x. Does 14 divide x?
False
Let w = 51 + -8. Suppose -w = -r + 29. Does 2 divide r?
True
Suppose 75772 = 40*f - 31548. Is 26 a factor of f?
False
Let f = -30 - -54. Suppose -f*z = -26*z + 12. Suppose -v = 2*b - 9, -2*b + z = 2*v - 4*b. Is v a multiple of 5?
True
Let n(g) = 2*g**2 + 29*g + 31. Let r be n(-12). Let a(h) = 2*h + 51. Let k be a(r). Let f = 20 + k. Is f a multiple of 2?
False
Suppose -2*a = -5*a - 1620. Let y be (-8)/14 - a/14. Let l = y - 14. Does 6 divide l?
True
Let p = 4644 + -1998. Is 21 a factor of p?
True
Let p be (-4)/20*(-34 + -1). Let g(r) = -r**3 + 10*r**2 - 2*r - 4. Is g(p) a multiple of 7?
False
Let h = 30 - 6. Suppose -2*x = -2*j + h, 0*j - j - 8 = 3*x. Is j a multiple of 2?
False
Suppose -3*p + 582 = -5274. Suppose 0 = 2*z + 512 - p. Suppose 7*m - 15*m = -z. Is 30 a factor of m?
True
Suppose -5*l = 10, -d + 0*l + l = 30. Is (d/(-3))/((-4)/(-107 - -11)) a multiple of 8?
True
Let l = 23 + -21. Let o be ((-6)/l)/(-1 - 0). Suppose o*r + v - 43 = 49, 0 = -4*v + 20. Is 9 a factor of r?
False
Let q be (3 - -1) + (4017/13 - -8). Suppose -3*k - 324 = -3*t + q, -5*k = t - 245. Does 20 divide t?
True
Let a(d) = -3*d**3 - 4*d**2 - 12*d - 12. Let v be a(-4). Suppose -v*r = -168*r + 2100. Is r a multiple of 15?
True
Suppose 2*a - 4 = v + 4*a, -4*v + 10 = -5*a. Suppose 4*n + 2*n - 576 = v. Suppose 0*i + i = n. Is i a multiple of 16?
True
Let h = 1207 - 187. Does 10 divide h?
True
Suppose -14 = 10*n - 224. Is (n/(-2))/((-23)/782) a multiple of 31?
False
Let d(w) = 3*w**2 - w. Let a be d(1). Suppose -12*r - 5 = -13*r. Suppose 4*g + r*l - 4*l = 68, g + 5*l = -a. Does 18 divide g?
True
Let t = -6450 + 11468. Does 193 divide t?
True
Let g = -24697 - -34759. Does 43 divide g?
True
Let n = 479 - 700. Let s be 52/104 - (-753)/2. Let x = n + s. Is 19 a factor of x?
False
Suppose 8*h + 182 = 3*h - 4*m, m - 133 = 4*h. Suppose 3*r + r + 2*y = -2, 5*y - 23 = 4*r. Does 8 divide r - (h + 2 + 1)?
False
Let m(t) = -3*t**3 - 10*t**2 - 9*t - 4. Let r be m(-4). Let s be 2/5 - 456/(-10). Let y = r - s. Is y a multiple of 9?
True
Let q = -3 + 6. Suppose 5*g + 8*g = q*g. Suppose 5*a = 2*v - 70, g = -v + 5*v + 2*a - 116. Is 10 a factor of v?
True
Suppose 267*g + 270*g = 510*g + 123552. Is 208 a factor of g?
True
Let r = -131 - -239. Suppose -108 = -4*i - r. Suppose i = 3*l - 244 + 7. Does 25 divide l?
False
Suppose -7 = 6*c - 67. Suppose c = 12*t - 11*t. Is t a multiple of 2?
True
Suppose 0 = -5*q + 431 - 21. Let h = q + -37. Suppose h = 2*i + i + 4*o, -2*i + 32 = 2*o. Is 5 a factor of i?
False
Is (5 - (2 + 4))*(3 - 0 - 2163) a multiple of 24?
True
Suppose 24 = 4*s - 28. Suppose -k = 3*g - 2887, 5*g + s*k - 9*k = 4800. Is g a multiple of 77?
False
Let k(p) = p**3 + 4*p**2 - 17*p + 16. Let d be k(-7). Does 63 divide 2524/8 + 6/d?
True
Suppose -19*d - 6*d - 18375 = 0. Let h = 1091 - 1610. Let l = h - d. Is l a multiple of 27?
True
Let d be 28/(-35)*25/(-2). Let y be (-2)/((-18)/40 - d/(-50)). Suppose 890 = y*o - 38. Is o a multiple of 20?
False
Suppose 0 = 47*j + 1498 - 5164. Is 78 a factor of j?
True
Let g(m) = 72*m**2 + 2*m + 5. Let y be g(2). Suppo