12*46?
True
Let i be (-3)/(((-78)/20)/(-13)). Is 19 a factor of (-1)/(i/6) + 1360/25?
False
Suppose -97*q + 102*q - h = 9143, 4*q = -h + 7318. Does 22 divide q?
False
Let p be 2*-1 - -2 - (-24 - -195). Let v = -142 - p. Is 6 a factor of v?
False
Let u(p) = -29*p - 25. Let h(y) = 30*y + 32. Let n(x) = 30*x + 31. Let v(i) = -6*h(i) + 7*n(i). Let s(f) = -6*u(f) - 5*v(f). Is s(4) a multiple of 6?
False
Let y = 115 + -110. Suppose y*x - 10 = 0, -3*n + 17*x = 15*x - 1169. Is n a multiple of 21?
False
Suppose 2*f = -5*w + 2039, -2*f - w + 3*w + 2046 = 0. Let c = -203 + f. Does 42 divide c?
False
Let i(m) = m**3 + 9*m**2 - 15*m - 21. Let f be i(-10). Let u = f + -24. Suppose -u*k - b + 2*b = -170, b + 65 = 2*k. Does 8 divide k?
False
Let s = -551 + 555. Suppose -4*a + 27 = -85. Suppose s*z - 4*v - 16 = -2*v, 4*z = -4*v + a. Is 5 a factor of z?
True
Does 32 divide (8084/(-470))/(1/(-80))?
True
Let c(t) = -1544*t + 9. Let k be c(-9). Does 12 divide k/105 - 3/7?
True
Let n(o) = 139*o**3 + 21*o**2 - 43*o + 2. Is n(2) a multiple of 8?
True
Suppose -2*v = -5*q - 9, 0*q = -3*v + 3*q + 9. Suppose 0 = v*k + 23 + 33. Let i = 4 - k. Is i a multiple of 32?
True
Is 128 a factor of 68875/10 + 5 - 55/(-22)?
False
Suppose 9 + 7 = 3*x - 5*a, 3*x + 5*a + 4 = 0. Suppose 0 = 10*c - x*c - 232. Suppose -2*u - c - 17 = -2*g, 2*g - 55 = -u. Is 6 a factor of g?
False
Suppose 0 = 3*l - 2*l - 3324. Suppose 21*m - 1590 = l. Is 18 a factor of m?
True
Suppose 36*d + 18751 = 37*d - 2*r, -4*r = -5*d + 93761. Does 47 divide d?
True
Is 206040/(-34)*(-264)/55 a multiple of 18?
True
Suppose -2*x = -5*y - 11578, 6 - 10 = 2*y. Is 16 a factor of x?
False
Suppose -28106 = 473*r - 482*r + 24238. Does 15 divide r?
False
Suppose -25978*l - 512512 = -26000*l. Does 64 divide l?
True
Let b(l) = 10*l**2 - 21*l + 96. Is b(10) even?
True
Suppose 0 = -4*g - 156 + 180. Is 16 a factor of (-26943)/(-63) - ((-8)/g + 1)?
False
Let q(p) = -p**2 - 5*p + 2. Let k be q(-2). Let g(y) = y**3 - 8*y**2 - y + 3. Let u be g(k). Let d(w) = -2*w + 11. Is d(u) a multiple of 7?
True
Suppose 425 = -9*r + 14*r. Let z = 156 - r. Is z a multiple of 9?
False
Suppose 134*w = 4*w + 2089360. Is 82 a factor of w?
True
Let a(t) = 2*t**2 + 8*t + 6. Let m be a(-3). Suppose m = 3*q - 12*q - 2070. Let y = 326 + q. Is 14 a factor of y?
False
Suppose 0 = -2*p - 2*p. Let d(x) = -x**3 - 14*x**2 - 10*x + 41. Let l be d(-13). Suppose p = 4*n + 5*t - 409, 0 = -n - l*t - 2*t + 105. Does 29 divide n?
False
Suppose -23*o + 43*o = 191880. Is 8 a factor of (-3)/(-4) + o/72?
False
Suppose -10*k + 35 = -3*k. Suppose 5*u - 9*r + 5*r = 1434, -u - k*r + 310 = 0. Let m = -191 + u. Does 33 divide m?
True
Is (((-1003275)/(-14))/(-15))/((-9)/18) a multiple of 195?
True
Let p = 54711 + -37349. Is 116 a factor of p?
False
Suppose 0*o - 99*o = -92465 - 102763. Does 4 divide o?
True
Let z(g) = 98*g + 3. Let u = -51 + 54. Let c be z(u). Let r = -167 + c. Is r a multiple of 26?
True
Does 79 divide 4*(-3)/(-6) - (41 + -11968)?
True
Suppose 5*g - 27430 = -3*b + 9049, 2*b - 3*g = 24313. Is b a multiple of 16?
False
Let u be 3*(7/(-6))/(11/(-22)). Let i be -47*(u/((-21)/12))/(-1). Let g = -133 - i. Is g a multiple of 30?
False
Suppose 4953 = -z + 14*z. Suppose u = x + z, 2*u = 4*u - 3*x - 763. Is u a multiple of 54?
False
Let l be (33/(-66))/(1/(-20)*2). Is -5 + 1/(l/1755) a multiple of 48?
False
Let q(k) = k**2 + 13*k + 1982. Does 70 divide q(-102)?
True
Is 10 a factor of (505/105 + 2/(-14))*(-552132)/(-1029)?
False
Suppose 94*g + 112*g - 1236016 = -98896. Is g a multiple of 15?
True
Let a be 4 + -2 + 2 - (-23 + 27). Suppose a*k - 12*k = -4536. Is 27 a factor of k?
True
Suppose -2*c + 0*c - 7428 = 4*p, -c = -3*p - 5561. Let z = p + 2722. Does 20 divide z?
False
Suppose 39*p + 65 - 299 = 0. Let d(a) = 127*a + 93. Is d(p) a multiple of 57?
True
Suppose 0 = -2*b - 38 + 30. Suppose -5*d = -i + 21450, 2*d + 10250 = 5*i + 1670. Does 18 divide 1 + d/(-24) - 1/b?
True
Let l(u) = -405 + 1476 - 4*u**2 - u**3 + 4*u**2 + 4*u**2 - 3*u**2. Is 9 a factor of l(0)?
True
Let k be -42 + 7 + -6 + 2. Let v = -37 - k. Suppose -13 = -3*b - 4*h, v*h + 18 = 4*b - 36. Does 8 divide b?
False
Suppose 308 = 2*g + 9*g. Let y = 33 - g. Let h = 31 + y. Is h a multiple of 5?
False
Let i = 100 - 98. Let m(j) = j**2 - 2*j - j**2 + 18 + j**i - j. Does 12 divide m(-6)?
True
Let b be ((-7)/((-56)/1992))/((-3)/(-5)). Let t = 440 + b. Is t a multiple of 15?
True
Let c(b) = b**3 - 2*b**2 + 6*b - 11. Let o be c(2). Let p be (o/(-2))/(7/(-1820)). Suppose p = 4*i + q, 3*i - 76 = -q + 22. Is i a multiple of 4?
True
Let f(h) be the first derivative of h**3 + h**2 + 13*h + 1. Suppose 2*v = 27*v - 150. Is 19 a factor of f(v)?
True
Let c = 652 + 5448. Is c a multiple of 20?
True
Suppose -84*c + 327706 + 82352 = -251190. Is c a multiple of 82?
True
Let m = 225 + 188. Let d = 131 + m. Is d a multiple of 26?
False
Let q = -25 - 201. Is ((-130)/(-4))/(q/(-32) + -7) a multiple of 10?
True
Suppose -y + p + 19 = 0, 5*y = -p - 15 + 104. Suppose -2*k = y - 12. Is 333/k*(-6)/3 a multiple of 40?
False
Suppose -2*q - 480 = -12*q. Suppose -5*y - 4*m + q = 0, -4*y - m + 36 = m. Suppose y*u - 475 = 501. Is 50 a factor of u?
False
Let t = 10608 - 3770. Is 107 a factor of t?
False
Let l(a) = -2*a - 10 - 2 + a**2 - 2. Let k be ((-128)/(-24))/(114/(-18) + 7). Does 8 divide l(k)?
False
Suppose 4*h + 2764 = 4*a, 0 = -a + 5*h + 352 + 351. Let n be (-6)/(-15) + 24/(-10). Is 4 a factor of a/24 - n/(-3)?
True
Let y(u) = 6*u**2 - 11*u + 71. Let k be ((-7)/2)/((-20)/40). Is y(k) a multiple of 16?
True
Let b be (-5)/(15/21) - 5. Does 37 divide (112/b)/(0 - 6/315)?
False
Let l(i) = 5*i**2 - 458*i - 84. Does 12 divide l(108)?
True
Let k(l) = -l**3 - 3*l**2 + 8*l + 4. Let f = 367 + -374. Does 24 divide k(f)?
True
Suppose -24*a + 3545 = -4173 - 682. Is a a multiple of 70?
True
Suppose 398*v - 15801609 = -14*v - 6028969. Is v a multiple of 8?
True
Let x = 659 - -53. Is x a multiple of 19?
False
Let p = -183 + 102. Does 55 divide 334*1 + (p - -77)?
True
Let j(a) = 10*a**3 - 28*a**2 + 191*a - 11. Is j(7) a multiple of 18?
True
Let x(j) be the first derivative of j**4/4 - 18*j - 16. Let c be x(5). Let q = 221 - c. Is 15 a factor of q?
False
Let j(a) = -42*a + 46. Let h be j(1). Suppose 0 = -10*n + h*n + 1662. Is 16 a factor of n?
False
Let f = -5883 - -5970. Is 4 a factor of f?
False
Let w(m) be the first derivative of 47*m**3 - 2*m**2 - m - 19. Is w(-1) a multiple of 12?
True
Let f be ((-915)/6)/((-3)/2 - -1). Let v = f - -39. Is v a multiple of 8?
True
Suppose 3*p - 18019 = m, m = 3*p - 2*m - 18021. Does 14 divide p?
True
Suppose 175*f - 172*f = 9. Suppose -3*x + 201 + 17 = -4*j, 5*x - 345 = f*j. Is x a multiple of 6?
True
Suppose -2 = -2*t - f + 3*f, -t = -4*f + 2. Let c be t/12 + (-58)/(-12). Suppose -10*x = -c*x - 65. Does 13 divide x?
True
Suppose 67*f = 73*f - 12996. Does 114 divide f?
True
Is (-20)/18 + (-16047880)/(-549) a multiple of 74?
True
Let u be (-226)/(-10) + 8/20. Let m(w) = -w**3 + 25*w**2 - 32*w + 27. Is m(u) a multiple of 32?
False
Let a be 7085/9 + 18/(-81). Let d = -408 + a. Suppose -3*m - 3*p = -231, -2*m + p + d = 3*m. Is 14 a factor of m?
False
Suppose 11*q - 4381 = -443. Let i = 710 - q. Is 16 a factor of i?
True
Let c be 3/(-2)*4/3 - 30. Let r = c + 38. Is 3 a factor of r?
True
Suppose 0 = 243*t - 24*t + 17*t - 6426988. Is t a multiple of 241?
True
Let j(s) = 12*s + 7*s + 0*s**3 - s**2 - 5*s - s**3 + 8 + 0. Is 2 a factor of j(-5)?
True
Let i(k) = k**2 - 19*k. Let y be i(19). Suppose 5*a = -y*a + 5*l + 5, 2*l - 1 = -a. Is a/(-4) - (-636)/48 a multiple of 2?
False
Let v(x) = -84*x + 35. Let j be v(-3). Let n = j - 191. Is n a multiple of 3?
True
Let u = -92045 + 138325. Is 26 a factor of u?
True
Suppose 139*x - 143*x + 140 = 0. Does 10 divide -1 + 942/14 + (-10)/x?
False
Let w(m) = -11*m + 25. Let h(g) = -10*g + 27. Let p(z) = 6*h(z) - 4*w(z). Let b = 71 - 88. Does 45 divide p(b)?
False
Let b(q) = -q**3 - 3*q**2 - 2. Let r be b(-3). Let f be (0 - 1)*(r + (1 - -2)). Does 36 divide -2 - f*(-1 + 0 - -291)?
True
Suppose -4*t + 21 = 13, n + t = -488. Let w = n + 810. Is w a multiple of 16?
True
Suppose f - 1255 = -4*o, -10*o - 3787 = -3*f - 11*o. Is f a multiple of 37?
False
Let t = -1597 - -6781. Suppose t = 73*o - 67*