a(h)?
True
Let j be -20 + 9 + 5 + -3. Does 20 divide ((-12)/(-10))/(j/(-5670))?
False
Is 10 a factor of -10 + (12 - -834) + -6?
True
Let k be (-2)/6 - (-22)/(-6) - -104. Suppose -200 = -5*t - k. Is 2 a factor of t?
True
Suppose -4658 = -14*q + 12*q - 4*v, -5*v - 6954 = -3*q. Is q a multiple of 4?
False
Suppose -3*p - 5*u + 68398 = 0, 2*p + 4*u - 18316 = 27280. Is p a multiple of 18?
True
Let g be ((-405)/12 - -2) + (-2)/8. Let i = 32 + g. Suppose -2*v + c + i*c + 181 = 0, c = 3*v - 271. Does 9 divide v?
True
Suppose 2*v - 7 = 3*k, 6 = 4*k - 6*k. Let h be (-6 - -4 - 3)*v. Suppose -5*y + 295 = -4*d + 35, 0 = 3*y + h*d - 193. Is y a multiple of 14?
True
Let f be (-6)/27 + 20/9. Suppose 0 = f*m - 7 + 23. Is (-6)/4*(4 + m) a multiple of 3?
True
Let h(r) = 30*r**2 + 2*r - 1. Let w(m) = -m**2 + m. Suppose 0 = i - 3*y - 13, 4*i + y - 12 = 3*y. Let t(u) = i*h(u) - 2*w(u). Is t(-1) a multiple of 31?
True
Suppose -2*s = 3*n - 0 + 45, 0 = 2*n - s + 30. Let t = 131 + n. Suppose 0 = 35*q - 33*q - t. Is 13 a factor of q?
False
Suppose 10*w = 8*w - 2. Let i = w - -5. Suppose 0 = i*y - 0*y - 48. Is 4 a factor of y?
True
Suppose -56*j + 23701 - 3093 = 0. Is j a multiple of 46?
True
Suppose 3*c - 9941 = -4*w + 10056, -10009 = -2*w - 5*c. Is w a multiple of 99?
False
Does 136 divide (-708256)/(-8) + (0 + 8 - 17)?
False
Let n be (-3)/2 + (1 - (-2)/4). Suppose n = -3*l - 0*l - 2*b + 223, l - b = 71. Is l even?
False
Suppose -3*n + 5 = -10. Suppose -3*g - 2*t = 23, -t = -4*g + 2*t - 8. Is 11 a factor of (94/n)/((-2)/g)?
False
Let v(t) be the first derivative of -t**3/3 + 11*t**2/2 - 15*t + 13. Let u be v(9). Suppose -2*r - u*r = -745. Is 18 a factor of r?
False
Let x(d) be the first derivative of -11*d**2/2 + 3*d - 11. Let k(l) = 2*l**2 + 36*l + 30. Let z be k(-17). Is 14 a factor of x(z)?
False
Suppose 0 = -9*u - 841 - 689. Let b = -148 - u. Is 2 a factor of b?
True
Suppose -5*v + 17110 = 2*o, 8*v + 4*o = 5*v + 10280. Suppose -9*t = -v - 801. Is t a multiple of 54?
False
Suppose 182*j = 6120510 - 1002488. Does 307 divide j?
False
Suppose -10 = 5*v, -3*q - v + 10888 = 1020. Suppose 3*l + 669 = r - 0*l, -4*l - q = -5*r. Is 55 a factor of r?
False
Let m = -400 + 1306. Let a = -400 + m. Is 22 a factor of a?
True
Let f(g) be the second derivative of -19*g**3/6 - 5*g**2/2 + 18*g. Let q be f(-4). Let l = q - 40. Is 7 a factor of l?
False
Let f = 12 + -10. Suppose -f*z = 2*j + 6, -4*j - 19 = -0*j - 3*z. Is 105/j*12/(-3) a multiple of 25?
False
Does 3 divide 19 + (3869 - -10 - 15)?
False
Suppose 31860 = -0*m + 4*m + 2*m. Does 19 divide m?
False
Suppose -4*p + 1303 = 5*t + 5766, -907 = t - 4*p. Let x be ((-4)/(-10))/(6 + t/150). Is 30 a factor of ((-4)/(-3))/(x/27) + 117?
True
Let v = 1796 - 967. Let i = v - -375. Does 43 divide i?
True
Is 163 a factor of 90/(-300) - (-403315)/50?
False
Let a = -1852 - -1857. Suppose -100 = 5*l - 800. Suppose -l = -10*r + a*r. Is r a multiple of 13?
False
Is -3680*(95/114)/((-5)/3) a multiple of 5?
True
Let q be 15/(-2) + (-21)/(-14). Let i(s) = -4*s**3 - 10*s**2 + 6*s - 1. Let x(r) = r**3 + r**2 - r - 1. Let c(l) = i(l) + 2*x(l). Does 18 divide c(q)?
False
Is 8 a factor of 279/(-465) + (-3163)/(-5)?
True
Suppose -3*o + 36 = o. Let a(d) = -2*d + o*d**2 - 4*d + 0*d**3 + d**3 - 2*d**3. Does 8 divide a(8)?
True
Let r = 19739 + -15253. Does 6 divide r?
False
Suppose -3*d = d - 4*i + 400, -i = -5*d - 484. Let m = 122 + d. Suppose -2*h + 3*l + 17 + 2 = 0, h = -4*l + m. Does 7 divide h?
True
Let g be (0 + (1 - 907))*(-70)/105. Suppose g = 18*h - 296. Is h a multiple of 46?
False
Let w be (-845)/(-8) - (-18)/48. Let o = 225 - w. Let y = -15 + o. Is y a multiple of 13?
True
Let g = -73 + 77. Suppose 5 - 125 = g*d. Let u = 27 - d. Is 7 a factor of u?
False
Let q(t) = -215*t**3 - 12 + 37*t**2 - 16 - 81*t + 216*t**3. Is 43 a factor of q(-39)?
False
Let p be (-1)/1 - (3 + -24). Suppose 2*r + 20 - p = 0. Suppose 2*f - 2*n - 68 = r, 4*f - n = 2*f + 70. Is f a multiple of 9?
True
Suppose 10 = 7*q - 11. Suppose -6*o + b + 869 = -2*o, -4*b + 628 = q*o. Does 18 divide o?
True
Let b be (0 - -6)*(-5 - 3 - -9). Is (-5 - -3 - (-777)/b)*2 a multiple of 15?
True
Suppose -12*c = -9 - 27. Suppose -3*b = -c*a - 1152, 387 = 2*b - b - 4*a. Let s = b - 247. Is s a multiple of 23?
False
Let h = -2718 - -3587. Does 14 divide h?
False
Let b = -270 - -1396. Let s = -665 + b. Is s a multiple of 15?
False
Suppose 2*p + 3*p - 60 = 0. Is p/(-2)*1025/(-82) a multiple of 25?
True
Suppose -10 = 2*c - 2*x, 2*c + 2*x = x - 1. Let v be (-255)/6*c/5. Suppose 0 = s - v - 7. Is 8 a factor of s?
True
Does 20 divide (2569/3 - 405/243)/(11/1155)?
True
Let b be ((-180)/54)/(1*1/(-3)). Suppose d - b = -d. Suppose -4*w - 40 = -d*w. Is 20 a factor of w?
True
Let v(m) = 60*m**3 - 120*m**3 + 7*m - 8 - 5*m**2 - 2 + 62*m**3. Is v(5) a multiple of 6?
True
Is 3 a factor of (-493845)/(-275)*(2 - -3)?
True
Let m(a) = 30*a**2 + 4*a - 98. Does 40 divide m(7)?
True
Let j be (-6 - 1)/(-7)*(6 - 1). Suppose -a + j*b = b - 418, -5*a + 3*b + 2039 = 0. Let p = a + -280. Is 21 a factor of p?
True
Suppose -56 = y - 60. Suppose 0 = 3*z + 3*s + 344 - 1214, y*z - 2*s - 1172 = 0. Does 12 divide z?
False
Let r(v) = 197*v - 3. Suppose 0 = -4*x + 27 - 11. Let h(w) = -98*w + 2. Let a(l) = x*r(l) + 7*h(l). Does 26 divide a(1)?
True
Suppose -a - 1 = 1. Is 33 a factor of (4 + -5)/(1/a) - -295?
True
Suppose 3*g + 8 = 2*g. Let w(c) = 10*c**2 - c + 12. Let a be w(g). Suppose -3*p - n = 2*p - a, -3*p - 2*n = -396. Is p a multiple of 11?
True
Let z be 54392/(-468) + (-14)/18 + 1. Let m = z - -182. Does 11 divide m?
True
Let i = 2484 + -958. Let c = 2254 - i. Is 13 a factor of c?
True
Suppose 0 = 4*v - 20, 0*t - 2*v = -5*t + 75. Suppose 0 = -22*z + t*z + 1385. Suppose -4*x + z = -d, 4*d + 15 = d. Is 17 a factor of x?
True
Let s be 4965 - (-1 + 2/(3 + -2)). Suppose -s + 1640 = -4*j + 3*q, -j = 4*q - 850. Is j/15 + 12/30 a multiple of 19?
False
Suppose -9*u = -10*u - 1. Let c be -5*u/(5/(-5)). Is 2 a factor of 18 - c/5*1?
False
Suppose 14*u = 52880 - 632. Is u a multiple of 3?
True
Suppose 44 + 36 = -5*m. Let y be 24/2 + m/(-12)*-3. Suppose 5*n = -3*t + 1164, 702 = 3*n - 4*t - y. Does 39 divide n?
True
Does 141 divide 2 - 7 - (64712/(-16))/((-3)/(-6))?
False
Does 80 divide 10/(-14) - (-27486705)/1785?
False
Suppose -749 = -2*q + 4*h + 3, -1482 = -4*q - 3*h. Does 116 divide (27 - 22)*(-4)/(-10)*q?
False
Suppose 0 = 19*k - 110 - 4. Does 6 divide (16/12)/4 + 70/k?
True
Suppose 3*l - 3 = 2*s, -2*s + 5*l - 2 = 3. Suppose -5*f + 2*a = 8, f = -s*f - 4*a + 16. Suppose 5*x - 5*z - 220 = f, x - 5*x + z + 167 = 0. Is 15 a factor of x?
False
Suppose -22*z - 1707 = 14243. Let y = z + 1190. Is y a multiple of 35?
False
Let w(k) = -k**3 + 25*k**2 + 35*k - 72. Let s(c) = 11*c - 139. Let x be s(15). Is w(x) a multiple of 27?
True
Let i(c) = c**2 + 10*c + 37. Let r be i(-6). Let z(p) = 29*p - 39. Does 21 divide z(r)?
False
Suppose -3*q + 5*q - 5*s + 608 = 0, 0 = 3*q + 2*s + 874. Let v = 47 - q. Suppose z - b = 6*z - v, -2*b = 4*z - 274. Is 17 a factor of z?
True
Suppose -814 = -991*q + 989*q. Is q a multiple of 11?
True
Let o(z) = -8*z + 76. Let j(b) = b. Let v(c) = 5*j(c) + o(c). Let s(t) = -t**2 + 11*t + 2. Let m be s(13). Is 10 a factor of v(m)?
False
Suppose -23*t - 7412 = -6*t - 171428. Does 24 divide t?
True
Suppose -77*s - 12920 = -80*s - 2*q, 4*q = 3*s - 12950. Is 19 a factor of s?
False
Let p(v) = 12*v - 90. Let q be p(5). Does 10 divide (-5015)/q + -9 + 3/(-18)?
False
Suppose 5*n - 4*y = 8872, 0 = 334*n - 330*n + 4*y - 7112. Is 21 a factor of n?
False
Let j = -72 - -78. Suppose 2*i + j*a - 7*a - 207 = 0, 5*a = -2*i + 225. Does 10 divide i?
False
Let w(k) = 12*k**2 + 4*k - 93. Let s(j) = 4*j**2 - j. Let q(d) = -s(d) + w(d). Is q(8) a multiple of 22?
False
Suppose 812*z - 416640 = 780*z. Is 28 a factor of z?
True
Suppose -17040 = -5*l + f + 40600, -l = 4*f - 11528. Does 262 divide l?
True
Suppose 0*y - 5*r = -5*y + 90, -5*y + 3*r + 84 = 0. Let a be ((-4)/(-10))/(y/75). Suppose 5*t - 88 = t + 4*x, 13 = t + a*x. Does 13 divide t?
False
Let f = -6271 - -12387. Does 11 divide f?
True
Suppose -35 = -i + 5*a, 2*i + 9 = 2*a + 47. Suppose 4*n - i*n = -2893. Does 21 divide n?
False
Suppose -29*j + 35*j = 7404. Suppose -3*d + 4*t + j = 0, 1246 = 5