20 a factor of s?
True
Let c be (-1638)/(-336) - ((-2)/(-16))/(-1). Suppose 5*a = c*x - 30, -x + 8 = -8*a + 6*a. Is 2 a factor of x?
True
Suppose -b + 6894 + 28292 = -p, -b + 35228 = 5*p. Is b a multiple of 19?
False
Let c = 1729 - -3846. Is c a multiple of 67?
False
Let w be -25*8/(40/(-35)). Let n = -158 + w. Is 7 a factor of n?
False
Let c = 197 + -182. Suppose 142 = -13*t + c*t. Is t a multiple of 16?
False
Let o be (9/(-4))/(1*(-3)/8). Suppose o = 9*q + 33. Does 14 divide 24/16*268/(-18)*q?
False
Let x(i) = 27*i + 220. Let s be x(-20). Let p = s - -980. Does 44 divide p?
True
Let o(f) = 181*f - 54. Let x(q) = 182*q - 52. Let s(r) = -3*o(r) + 2*x(r). Does 32 divide s(-2)?
True
Let x(g) be the second derivative of 35*g**2 - 1/20*g**5 - 1/6*g**3 + 0 + g + 1/12*g**4. Does 7 divide x(0)?
True
Suppose -5*l = -4*i - 6995 + 848, 0 = -5*l + 2*i + 6151. Is l a multiple of 3?
False
Let l = 96 + -88. Suppose 7*f + 1 - l = 0. Let v(p) = 82*p + 2. Does 21 divide v(f)?
True
Let g(a) = a**3 - a**2 + a + 1. Let f(l) = -7*l**3 - 5*l**2 - 2*l - 4. Let k(w) = f(w) + 3*g(w). Let y be k(-3). Let u = y - 16. Does 8 divide u?
True
Let c(n) be the third derivative of n**6/120 + n**5/60 + n**4/8 + 149*n**3/3 - n**2. Suppose -2*p + 2*s = -3*s + 5, -3 = -2*p - 3*s. Is c(p) a multiple of 18?
False
Let k(d) = -2*d. Let u be k(-6). Suppose 21 = -u*h - 15. Is (-8)/(-24) + (-71)/h a multiple of 3?
True
Suppose w - 466 = 3*j, 5*w + 34*j - 31*j = 2366. Let a = w - 428. Is a a multiple of 17?
False
Suppose -16*k = -5*k - 1287. Suppose y = 11 + k. Does 8 divide y?
True
Let l(p) be the second derivative of p**4/12 + 12*p. Let m be l(-2). Let d(v) = 3*v + 7. Is 8 a factor of d(m)?
False
Let f be 3/(9/15) + -111. Let h = 241 + f. Is 15 a factor of h?
True
Suppose -435 = -26*f + 423. Suppose -f*u + 2116 = -29*u. Does 23 divide u?
True
Let p(c) = -92*c**3 - 7*c**2 - 10*c + 32. Is 68 a factor of p(-4)?
True
Is 140 a factor of (15/(-180)*-3885)/(((-15)/96)/(-5))?
True
Suppose -5*n + 7 = 2, 5*n - 13 = -4*g. Suppose 4*s - 32 = -g*t, -3*t + 4*s + 22 = -2*t. Does 11 divide (-3)/(-9) - (-786)/t?
True
Suppose 150 = 2*p - 320. Is 11 a factor of (p - -1) + (-13 - -8)?
True
Does 39 divide 1 - -6 - ((-1178 - 7) + -23)?
False
Let h(w) = w + 11. Let l be h(11). Suppose 47 = 5*q + l. Suppose 4*c = 2*k - 52, -2*k - c - 53 = -q*k. Is k a multiple of 5?
False
Let d(k) = -3*k + 22. Let n be d(7). Suppose -14 - n = 3*b. Is 2 a factor of 294/15 - 2/b?
True
Suppose -4*m - 4*w = -3*m + 210, 209 = -m - 3*w. Let l = 303 - m. Is 25 a factor of l?
False
Suppose -5198*y - 90 = -5216*y. Let i(r) = -5 + 4*r**2 + 17*r + r**2 - 4*r**2. Is 5 a factor of i(y)?
True
Let g(x) = 25*x - 122. Let q(n) = 17*n - 82. Let v(j) = 5*g(j) - 8*q(j). Is 6 a factor of v(-6)?
False
Suppose 0 = -9*i + 9085 - 1183. Is 2 a factor of i?
True
Suppose 4*m - 126 = 2*f, 5*m - 103 - 32 = -2*f. Suppose 0 = -10*q + m*q - 4332. Does 19 divide q?
True
Let p(q) = -27*q**2 - 10*q - 15. Let t(z) = 13*z**2 + 5*z + 7. Let x = -12 + 25. Let l(d) = x*t(d) + 6*p(d). Is 31 a factor of l(-4)?
True
Suppose 2*g - 645 - 1141 = 0. Suppose g - 2200 = 5*a + 2*t, -4*t = 2*a + 510. Let x = a - -383. Is 15 a factor of x?
True
Let s(g) = g**2 + 8*g + 4. Let k be s(-7). Let v(c) = -c**3 - 32*c**2 - 5 + 30*c**2 - 4*c**3 + 3*c - 2*c + 0*c**3. Is v(k) a multiple of 19?
False
Suppose -5*a + 19*f - 21*f = -16259, 0 = -2*a + 4*f + 6494. Is 21 a factor of a?
False
Let o be -6*((-3)/(-2) - (7 - 9)). Let f = 34 + o. Let y = -5 + f. Is y a multiple of 4?
True
Suppose -4*q - 294 = -10*q. Suppose 0 = w + 4*a - 40, a = 3*w - 19 - q. Is w a multiple of 13?
False
Let b(s) be the third derivative of -10*s**2 - 1/3*s**3 + 0*s + 8/3*s**4 + 0. Does 22 divide b(2)?
False
Let j = 181 + -181. Suppose 3*q - q - 3*t = 185, -4*q + 4*t + 364 = j. Does 8 divide q?
True
Suppose -3*z + 2*l = -8056, 10*z - 8055 = 7*z + 3*l. Is z a multiple of 12?
False
Let z(a) = 8*a**2 + 11*a. Let r be (-100)/(-36) + (-3 - 116/(-36)). Does 15 divide z(r)?
True
Let n(t) = 4*t**2 - 2*t - 1. Let z be n(-1). Let p(r) = 7 + 13*r**2 + r - z*r - 12. Is p(-3) a multiple of 28?
False
Suppose -2 = 6*l + 58. Let i = 19 - l. Let s = 116 - i. Does 11 divide s?
False
Let p = -14452 + 27910. Is 17 a factor of p?
False
Suppose -192 = -16*t + 4*t. Suppose 5*c + 4*b - 927 = 0, -5*c = -14*b + t*b - 931. Is c a multiple of 17?
True
Suppose 0 = 4*c - 18 - 50. Let l be 3 + (6 - (-3 + 0 - -5)). Suppose -2*i = -c + l. Is i a multiple of 5?
True
Let c(b) = -2*b**2 + 3*b + 11. Let d(x) = -x**2 + 9*x + 4. Let q be d(9). Let j be c(q). Is j/(-1)*40/30 even?
True
Suppose 707778 = 125*a + 132*a. Is a a multiple of 54?
True
Suppose -33*m + 59192 = -33729 - 311791. Is 73 a factor of m?
True
Suppose -27*f = -30*f - 144. Let c = 66 + f. Is 4 a factor of -4 + c - -4 - 1?
False
Suppose -2188*s = -2172*s - 26016. Is s a multiple of 38?
False
Suppose 58 = -10*r - 192. Let h = 25 + r. Suppose 0 = -3*g + 5*b + 239, -5*g + 4*b + 407 = -h*g. Does 9 divide g?
False
Suppose 0 = 3*x + w - 466, -3*w - 2*w = 2*x - 289. Let b = -7 + x. Is 13 a factor of -2 + b/3 - 1?
False
Let k(r) = r**2 + 2*r - 286. Let l be 11/55 - 2/10. Let d be k(l). Is 3 a factor of 16/96 + d/(-12) + -2?
False
Let c = -46 + 44. Let s(h) = 97*h**2 - 2*h - 3. Let u be s(c). Suppose -y = -4*b + u, b = 4*y + 12 + 104. Is 8 a factor of b?
True
Let w = -17603 - -20263. Is w a multiple of 19?
True
Let z = 366 + -362. Suppose -4*x + 2*b = -280, 0*b + 260 = z*x + 3*b. Is x a multiple of 3?
False
Suppose 0 = u + d - 3, -9 = u - 4*u + 5*d. Suppose -5*q = -2*j - 6, -257*j + 259*j - 2 = q. Suppose u*w + o - 461 = q*o, w - o = 157. Is 19 a factor of w?
True
Does 64 divide (32/(-96))/(1/(-112293))?
False
Suppose 5*p = 2*g - 3*g - 45, 0 = -2*g + 5*p - 135. Is 14 a factor of g/(-15)*97/2?
False
Suppose 0 = 11*d - 6185 - 4782. Let b = 583 - d. Let n = -284 - b. Is 34 a factor of n?
False
Let s be ((-840)/(-21))/(2/44). Let f = -592 + s. Does 48 divide f?
True
Let f = 60 + 324. Let o = f + -77. Is 40 a factor of o?
False
Suppose 2*q = -3*b + 3*q - 18, -4*b = 4*q + 24. Let d be 145 + b/3*1. Is d + 5 - (-1 - -3) a multiple of 34?
False
Let s be 16/(-72) + (-376)/9. Let q be 130 - ((-56)/s)/(2/3). Suppose -2*g - l = -q, -3*g + 5*l - 3 = -169. Is g a multiple of 31?
True
Let r = 87 - 121. Let i = r - -22. Is 25/(((-4)/(-14))/(i/(-14))) a multiple of 15?
True
Let k = 120138 + -81706. Does 16 divide k?
True
Let p be ((-4)/16*0)/(-1). Suppose p = -2*a - 45 + 253. Suppose -2 = -4*q + 5*b + 414, 0 = -q + 4*b + a. Is 13 a factor of q?
True
Let p = -144 + 150. Suppose 5*k - 94 = -y - p, -k = 0. Is y a multiple of 32?
False
Let g = -3885 + 5433. Is 4 a factor of g?
True
Suppose -3*y + 1030 = -2534. Suppose 104*b = 98*b + y. Does 33 divide b?
True
Let u be (3 - 2)/(2/4). Suppose u*q = q + 2, 98 = 4*c - 5*q. Let h = 32 - c. Is h a multiple of 2?
False
Let q(o) = -o - 35. Let g be q(-37). Is (3 - g)/(4/1268) a multiple of 8?
False
Let j(z) = z**2 + 8*z + 36. Let g be j(0). Is (-263)/g*-4 - 4/18 a multiple of 18?
False
Let t(i) = 4*i**2 + 3*i. Let j be t(1). Suppose -j*q + 4*f - 22 = -9*q, 2*f = -5*q + 15. Suppose -2*d = -335 + q. Is d a multiple of 28?
False
Suppose -8966 - 9238 = -d + 4*l, -6*l + 48 = 0. Is 194 a factor of d?
True
Is 21 a factor of -97 + 116 + 430*17?
True
Suppose 5*c - 2*w = 67828, 0 = 14*c - 23*c - 3*w + 122097. Is c a multiple of 57?
True
Let j(w) = w**2 + 11*w + 12. Let a be j(-10). Let m = -86 + 134. Suppose -a*o + 6*o = m. Is 4 a factor of o?
True
Suppose 4*f = 16, -847 - 1861 = -x + 2*f. Is x a multiple of 97?
True
Let y(q) = 49*q + 15. Let u be y(-5). Let s = u - -335. Is s a multiple of 21?
True
Let g(x) be the first derivative of x**4/4 - x**3/3 + x**2/2 + x + 16. Let q(i) = i**3 + 7*i**2 + 3*i + 8. Let t(c) = 2*g(c) - q(c). Is 14 a factor of t(10)?
True
Suppose u = -4*u + 1365. Suppose 5*n = 5*w - 3*w - 196, -3*w = 3*n - u. Does 10 divide w?
False
Suppose 1665*b + 210 = 1675*b. Is 17 a factor of b?
False
Is (-30)/4*(-848880)/900 a multiple of 12?
False
Suppose -15*h = -2*h - 26. Is 18 a factor of h + -11*(-182)/7?
True
Suppose 4*b = -3*t + 196407, -2*b + 46656 = -t - 51555. Does 31 divide b?
True
Suppose u - 2249 = -5*l, 2*u + 4*l - 5473 + 951 = 0. Is u a multiple of 11?
False
Let 