s 22 divide (37493/8)/(7 - (-621)/(-92))*2?
False
Let u = 1589 + 1615. Is u a multiple of 178?
True
Let p(f) be the first derivative of f**3/3 - 19*f**2/2 - 62*f - 198. Does 7 divide p(-8)?
True
Let y be (6/(-8))/((-10)/3760). Suppose -504 = y*q - 284*q. Is q a multiple of 12?
True
Suppose 2 = s + 3*f, 4*s + 4*f = 2 + 6. Suppose s*h = 4*v - 3*v + 1432, -4*h + 5*v + 2858 = 0. Suppose -h = -4*c + 119. Is c a multiple of 40?
False
Let i(f) = -f**2 - 3*f + 20. Let x be i(-6). Suppose -3*s + 268 = 2*s - 4*j, -3*s + x*j = -160. Suppose s + 35 = 3*t. Is 10 a factor of t?
False
Let c be 27/45*(2 - -3). Suppose -5*u - 3*g + 120 = 0, -c*g - 145 = -5*u - g. Does 31 divide 4/(-26) - u/(-78)*90?
True
Let l(q) = -3*q + 5. Let n be l(1). Let t be ((-8)/3)/((-2)/6). Is t*n/4 - (1 + -1) a multiple of 2?
True
Suppose 244 = 2*j - 3*r, -j + 3*r - 131 = -2*j. Let b be (-257)/3 - (-158)/237. Let f = j + b. Is f a multiple of 4?
True
Let s(x) = x**3 - 7*x**2 + 113*x - 20. Is s(20) a multiple of 12?
True
Let k(t) = 3*t**2 - t + 60. Let w(m) = -m**2 - 9*m + 24. Let c be w(3). Does 12 divide k(c)?
True
Suppose -x + 7398 = -4*o, -2*x + 14789 = 39*o - 40*o. Is 7 a factor of x?
False
Let q(z) = -3*z + 22. Let c be q(-22). Suppose 4*h = 3*w - c, -4*h = 4*w - 59 + 147. Is 16 a factor of (-9)/3*h/3?
False
Let y(a) be the second derivative of a**5/20 - a**4/3 + 5*a**3/3 - 9*a**2/2 + a. Let j be 16/(-20) - (36/(-20) - 3). Is 8 a factor of y(j)?
False
Let c = 145 - 146. Let t(l) be the first derivative of 20*l**3/3 + l - 5. Is t(c) a multiple of 21?
True
Does 15 divide 2/4*(23 - -3141)?
False
Let h be 276/14 - (90/(-21) + 4). Suppose 26 = 2*d + h. Suppose -w - 272 = -d*w. Is 28 a factor of w?
False
Let i be ((-33)/21 - -3)*14. Suppose -2*t = -6*t - i. Is 11 a factor of 0 - t/(15/126)?
False
Let k = -15 + 1. Let x be (-693)/k*(-16)/6. Is ((-3)/(9/x))/1 a multiple of 11?
True
Let c = -1411 - -2074. Let b = -306 + c. Is 51 a factor of b?
True
Suppose 3*y + 12 = 0, 9*h - 6*h = -y + 1682. Suppose 0 = -h*b + 560*b + 308. Is 9 a factor of b?
False
Let a = 1062 - -6840. Does 9 divide a?
True
Let z(v) = -93*v + 37. Let c(k) = 190*k - 76. Let a(b) = 3*c(b) + 5*z(b). Is a(4) a multiple of 29?
True
Suppose 2*c = 3*s + 9 - 3, 0 = -2*c + 4*s + 8. Suppose 5*n = 5*a - 316 + 971, c = n + a - 121. Is n a multiple of 12?
False
Does 37 divide (-1 + -919)*((-3996)/162)/(4/3)?
True
Suppose -13*o - 76 = x - 15*o, 3*x + 173 = -5*o. Let l(h) = -28*h**3 - 3*h**2 - 2*h - 3. Let z be l(-2). Let j = z + x. Is j a multiple of 38?
False
Let m be 1*(0 + 3) - -5. Suppose -7 + m = r. Is 5 - 6 - (r - 30) a multiple of 4?
True
Suppose p + 36 = 7*p. Suppose 312 = p*h - 504. Suppose -v - 39 + h = 0. Is 8 a factor of v?
False
Suppose -32*j + 31*j + 120 = 0. Let b = 291 - j. Is b a multiple of 30?
False
Suppose 0 = 5*q - 9*g + 6*g - 76, -5*g = q - 32. Let z = q + 144. Is z a multiple of 7?
True
Suppose z - 849 = 2*t + 176, 0 = 5*z - 5*t - 5155. Is z a multiple of 3?
False
Suppose 9*z + 16 = z + 9*z. Does 4 divide z?
True
Let i(p) = 1314*p**2 - p - 11*p - 1315*p**2 + 19. Let w be i(15). Let a = -272 - w. Is a a multiple of 35?
False
Suppose 273 = k + j + 35, 2*j + 1183 = 5*k. Suppose 0 = -5*g + 2*g + k. Is 39 a factor of g?
False
Let g be 2/(-14) + (-57)/(-7). Suppose -5*i - 718 = 2*q, -4*i - 3*q + 556 = -g*i. Let k = 202 + i. Is 12 a factor of k?
True
Does 10 divide -1*15*(9/12 + (-84012)/144)?
True
Suppose -3*y - m - 31189 = -8*y, -18 = -3*m. Is 58 a factor of y?
False
Is 17 a factor of ((-81)/(-15))/(50/29500)?
False
Let o = 18342 - -6474. Is o a multiple of 150?
False
Suppose 5*p = -5*m + 20, -8*p - m = -3*p - 20. Does 31 divide ((-32)/(-16))/(((-24)/(-1581))/p)?
True
Let k(j) = -1992 + j**3 + 1992 - j**2. Let o be k(1). Suppose -5*z + 0*z + 5 = o, 674 = 5*r - z. Is 14 a factor of r?
False
Suppose -21*l = -14*l. Suppose l = -26*j + 18*j + 3488. Does 38 divide j?
False
Let t = 271 - 128. Let w = 156 - t. Does 13 divide w?
True
Is 12 a factor of 348783/45 + (-216)/(-810)?
False
Let n = -7749 + 11441. Is n a multiple of 13?
True
Let t = 53650 - 26671. Does 51 divide t?
True
Let y = -32000 - -66443. Is y a multiple of 89?
True
Let k(s) = -27 - 9 + 17*s + 10*s + 13*s**2 + 8*s - 44*s. Is k(9) a multiple of 12?
True
Let l(r) = -r**3 + 12*r**2 + 15*r + 10. Let v be (117/12)/(6/32). Suppose v*s - 47*s = 65. Is l(s) a multiple of 6?
True
Suppose 3*q = -2*a + 48, -2*q - 4 = -a + 13. Let z(x) = -x - 1. Let v be z(-6). Suppose 0 = -v*b + 69 + a. Is 6 a factor of b?
True
Let t(x) be the second derivative of x**4/12 + x**3/2 - 17*x**2/2 + 5*x. Let y be t(-6). Is 23 a factor of -1 - ((y - 2) + -140 + 0)?
False
Let k = 63 - 61. Suppose -2*y - 10 = 2*j, k*j - 20 = 2*y - j. Is 14/49 - (1 - (-1643)/y) a multiple of 39?
True
Let i be (-4)/(3 + 13/(-3)). Suppose 2*z - i*f + 45 = 0, -3*f = z - 0*f. Let v = 41 + z. Is 9 a factor of v?
False
Suppose -4*f - 2*n + 33192 = 0, -f + 10*n + 8308 = 13*n. Is f a multiple of 74?
False
Suppose 0 = 2*v + m - 14, 0 = v - m - 4. Let u be ((-42)/4)/(v/(-192)). Suppose -18*f = -21*f + u. Is 14 a factor of f?
True
Let g be (1 + (-2)/3)*0. Suppose g*b + 2*b - 24 = -f, 4*f - 41 = -3*b. Does 2 divide b?
False
Suppose 0 = 8*t + 3 - 43. Suppose t*n - 481 = 3*c, 3*n + 180 = 5*n + 5*c. Does 19 divide n?
True
Let a(y) = 305*y**2 + 38*y - 39. Is 23 a factor of a(5)?
False
Suppose -2*w - 3*u + 2816 = -32920, u - 53590 = -3*w. Is 185 a factor of w?
False
Let j(u) = -2*u - 11. Let t be j(-9). Suppose 0 = 7*n + t*n - 9492. Suppose 17*o - 11*o = n. Is 30 a factor of o?
False
Suppose 3*i + 17 = -5*o, -27*o + 31*o + 20 = -4*i. Is 9 a factor of ((-292)/10 - -4)*(-1 + i)?
True
Suppose -66368 = -50*p + 65532. Is 108 a factor of p?
False
Let a(l) = 157*l**3 - 2*l**2 + 2. Let w be a(1). Let d = 31 + w. Is 10 a factor of d?
False
Let f = 1573 + 597. Is 38 a factor of f?
False
Suppose -246*v = -242*v. Suppose 198*o - 205*o + 819 = v. Does 13 divide o?
True
Let v be (-71)/(-6) + (-5)/(-30). Let f be -6*(-1 - 148/v). Suppose -21*u = -16*u - f. Does 4 divide u?
True
Let r(l) be the third derivative of l**6/360 + 11*l**5/120 + 19*l**4/24 + 7*l**3/2 + 10*l**2. Let z(a) be the first derivative of r(a). Does 13 divide z(-11)?
False
Suppose -17*a = -14*a. Suppose a = -m + 4*y - 21, -2*m - y = y - 8. Is 13 a factor of 3 + -3 + m + 1 + 44?
False
Suppose 0 = -19*q - 24967 + 713679. Is q a multiple of 21?
False
Let z(w) = -23*w - 138. Let k(v) = 11*v + 69. Let r(y) = 5*k(y) + 2*z(y). Is r(8) a multiple of 11?
False
Let m = -11858 + 12026. Does 28 divide m?
True
Suppose 4*u - 4*w - 82 = -2*w, -3*w + 38 = u. Suppose -5*s - 112 - u = 5*z, -4*z - 111 = 5*s. Is 9 a factor of 16 - (z/(-16))/((-3)/4)?
True
Let w = -858 - -2640. Is 18 a factor of w?
True
Let r = -12952 - -40084. Is 12 a factor of r?
True
Is 4/(-5) - ((34048/5)/(-7) - 4) a multiple of 16?
True
Suppose -4*j + 0*j - 2*d + 4 = 0, 8 = j - 3*d. Suppose 2*z + j*b - 4*b = 154, 4*b + 230 = 3*z. Is 6 a factor of z?
True
Let u(f) = 9*f**2 - 13*f + 16. Let o(v) = -2*v**2 - 6*v + 8. Let j be o(-3). Does 20 divide u(j)?
False
Let c be (-70)/7*7/2. Is 2688/18 + c/(-21) a multiple of 12?
False
Suppose 9*p - 4263 = 2*p. Let m = p - 25. Is 12 a factor of m?
False
Let t be -1 + (-21)/(-14) + 753/(-6). Let m = t - -178. Does 8 divide m?
False
Let m(x) = 3*x - 13. Let g be m(8). Suppose -9*i + g*i = -6. Is 17 a factor of i + 0 + (-6 - -77)?
True
Let p(b) be the first derivative of b**4/2 + 12*b**3 - 11*b**2/2 + 22*b + 8. Is p(-18) a multiple of 20?
True
Is (-1 - -4744)/(-46 + 47) a multiple of 14?
False
Suppose 5*j - 3*d - 32497 = 0, -995*d - 25976 = -4*j - 998*d. Does 73 divide j?
True
Suppose -2*t + 5843 = 5*z - 11312, 0 = z + 3*t - 3444. Is z a multiple of 10?
False
Let d = 92 + -92. Suppose 2*y = -3*v - y + 570, 4*v - 3*y - 746 = d. Suppose -3*z = -v - 52. Is 8 a factor of z?
True
Suppose 0 = r - 7*b + 13*b - 12505, -r - b = -12525. Is 31 a factor of r?
False
Suppose -5*t + k + 1 + 12 = 0, 5*k = -15. Let u be t*(-3035)/(-10) - (4 - 1). Suppose -5*l - o + u = 0, -2*o + 3 + 5 = 0. Is l a multiple of 24?
True
Suppose -4916 = -6*v + 5494. Suppose -155 = 5*u - v. Is u a multiple of 14?
False
Let m be (1458/(-24))/(2/24). Let u = 1086 + m. Does 21 divide u?
True
Suppose 4*s + a - 6047 = 0, -857 - 