factor of j(r)?
False
Suppose 32480 = 19*x + 16*x. Suppose 3*m - 4*k - x = 0, 5*m - 4*m - 4*k - 304 = 0. Is 26 a factor of m?
True
Let j = 5752 + 2153. Is j a multiple of 15?
True
Suppose 10*d + 685 = 2005 + 600. Does 48 divide d?
True
Let o(x) = -53*x + 1430. Is 14 a factor of o(18)?
True
Let g = 89 + 1132. Suppose -2*l - 3*y + g = -657, -5*y + 10 = 0. Is 13 a factor of l?
True
Suppose 22*w = 16822 + 426. Suppose 2*m - 4*g = -6, m - 14 - 7 = -4*g. Suppose 2*i + m*i - w = 0. Does 28 divide i?
True
Suppose -2*x = u - x, -2*x = 3*u. Suppose u = 12*p + p - 1586. Does 15 divide p?
False
Let i(s) = -s**3 + 14*s**2 + 37*s - 58. Let l be i(16). Suppose 1848 = 28*b - l*b. Does 14 divide b?
True
Let m(n) = 2*n + 12. Let z be 28/(-6) - 14/42. Let b be m(z). Suppose -2*t + 214 = j + 9, 0 = b*t - 3*j - 185. Is t a multiple of 20?
True
Let b(s) = 13*s**2 + s + 1. Let u be b(2). Suppose 26*v - 15*v - u = 0. Suppose -v*j = -2*a - j + 8, 0 = -2*a + j + 11. Does 2 divide a?
True
Suppose -26 = 11*z - 24*z. Suppose -846 = -2*d - 12*p + 14*p, z*d + 4*p = 858. Does 25 divide d?
True
Let y(d) = -9*d**2 + d - 1. Let w(j) = 44*j**2 - 4*j + 4. Let p(t) = -4*w(t) - 22*y(t). Let o be p(1). Suppose 4*h - 90 = o. Is h a multiple of 7?
True
Is (2 - -6)*(-23 - (-2947)/14) a multiple of 4?
True
Suppose -5*v = -2991 - 1859. Let k = v + -557. Is k a multiple of 17?
False
Suppose 3*j = -j - 24. Let x(q) = 152 + 114 - q + 3*q + 141 - 373. Is 3 a factor of x(j)?
False
Let m(i) = -3*i - 351. Let o = -58 - -58. Let g be m(o). Let h = -211 - g. Is h a multiple of 39?
False
Let s(w) be the second derivative of 9*w**3/2 - 164*w**2 - 215*w. Does 5 divide s(27)?
False
Let v = -254 - -259. Suppose -3*b + v*r = -831, -3*b + 7*r - 6*r + 843 = 0. Does 47 divide b?
True
Let y(m) = -m**3 - 8*m**2 - 6*m - 10. Let p be y(-9). Let x(i) = 3 + p*i + 19 - 6 - 123*i. Does 22 divide x(13)?
False
Let u be (-63)/126*(-1 - 3). Let n(l) = 398*l - 108. Is n(u) a multiple of 8?
True
Suppose -2*q = -5*g - 4*q + 68, 0 = -2*q + 8. Suppose h - 7*h = -g. Does 2 divide h?
True
Suppose -5*q - 2*t = -441, 2*q = 2*t - 6*t + 170. Suppose -3*o = i + 2, 3*o + 2*o = 5*i + 10. Suppose 6*c - q + 5 = o. Is 3 a factor of c?
False
Let w(g) = 3*g**2 + g - 14. Let v be w(0). Let q = 154 + -108. Let m = q - v. Does 6 divide m?
True
Suppose -2 = 4*c - t - 674, t = 0. Is (-1959)/(-4) + 42/c a multiple of 28?
False
Let k(w) = -52*w + 235. Is k(4) a multiple of 21?
False
Let l = 17 - 19. Let p be (1 + l/2)/1. Suppose -15*a + 10*a + 90 = p. Does 6 divide a?
True
Let m(w) = 5*w + 7. Let s be m(-1). Suppose s*p - 1132 = -4*o, 3*p - 9*o - 1706 = -11*o. Is 57 a factor of p?
True
Suppose 4*x + 8751 = -a, -5*a - 8763 = -2*x + 6*x. Let d = x + 3132. Suppose 5*v + 0*v - d = 0. Is 55 a factor of v?
False
Is 40/(-70) + (1 - 10616/(-7)) a multiple of 6?
False
Suppose -14*j = -13*j + 65*j - 1305480. Is 169 a factor of j?
False
Let j = -84 - -46. Let c be 3/(-2) + (-19855)/j. Let f = c - 221. Is f a multiple of 32?
False
Let d(z) = -14*z + 148. Let y be d(0). Suppose -5*c + 719 = -5*v + v, y = c - 5*v. Does 13 divide c?
True
Let b = -19509 - -34196. Is 32 a factor of b?
False
Let j(o) be the third derivative of o**4/2 - o**3/6 - 10*o**2. Let d be j(11). Suppose 4*g + d = 1035. Is 54 a factor of g?
False
Is 34*(-229)/(-2) + 167 + -172 a multiple of 4?
True
Let w(u) = -4*u - 93. Let i be w(-9). Let s = 19 - i. Does 15 divide s?
False
Is 14 a factor of (-52)/13*(-1)/((-4)/(-8848))?
True
Suppose -422 = -w - m, -1128 = -5*w - 4*m + 978. Let f = w - -66. Does 15 divide f?
False
Let t(q) = -3 - 2*q + 3 + 0. Let c be t(2). Is ((-34)/c)/(-3 - (-14)/4) even?
False
Let d = -5861 + 15386. Is 58 a factor of d?
False
Suppose 3*k - 10 + 4 = 0. Suppose -5*g - f + 3240 = -k*f, -2592 = -4*g + 4*f. Does 54 divide g?
True
Suppose 0 = -73*h + 221549 + 231489. Is h a multiple of 107?
True
Suppose -4*q + 9 = -47. Suppose -q*z + 8*z + 252 = 0. Suppose -z*s - 280 = -47*s. Is s a multiple of 28?
True
Suppose 0 = 5*j + 4*n - 396, 12 = j + 2*n - 72. Suppose j*a - 204 = 75*a. Is 17 a factor of a?
True
Suppose 35*j = 134*j - 377134 - 321113. Is j a multiple of 40?
False
Let r(c) = c**2 + 14*c - 2. Let k be r(-14). Let h be 130 - -8*k/(-4). Is 42 a factor of (h - -4) + 2 - (1 + -4)?
False
Let g(k) = -35*k - 28. Let j be g(-3). Does 5 divide j - (-10)/2*-1?
False
Let n(o) = -3 - 1 + 2*o - 5 + o. Let x be n(3). Suppose 4*v + x*v - 608 = 0. Does 22 divide v?
False
Suppose -5*x = -5*w - x + 91611, 2*x + 73296 = 4*w. Is 123 a factor of w?
True
Suppose 7 = 4*z - 13, -4*p + 55 = -5*z. Let a be p/(-28) + (-4)/14. Is 3/((-6)/(-166)) + a a multiple of 36?
False
Let g(m) = 8 + 4*m + 32 - 2*m. Let x be g(-19). Suppose -j + 72 = -4*k, 5*j - x*j = -2*k + 174. Is 19 a factor of j?
False
Let g(q) = -2851*q - 2925. Is g(-3) a multiple of 8?
False
Suppose -18*z - 27029 = -184511. Does 13 divide z?
True
Let r = 119 - 117. Is 4 a factor of (-11)/(726/(-2892)) + r/11?
True
Let b be 22/3 + 6*(-22)/99. Suppose 0 = b*d + 1575 - 6687. Does 13 divide d?
False
Let q = -25089 + 56021. Does 51 divide q?
False
Let d(f) = -2*f**2 - 25*f - 24. Let o be d(-11). Let p be (-4)/6*(-42)/4. Suppose o + 26 = p*w. Is 5 a factor of w?
True
Let z(f) = -f - 10. Let l be z(-7). Let d(m) be the second derivative of -2*m**3/3 + 4*m**2 - 5*m. Does 4 divide d(l)?
True
Suppose -2955 = 59*o - 12041. Does 7 divide o?
True
Let d(q) = 16*q + 259. Let v be d(-16). Suppose -3*r = v*p - 2739, 5 = -3*p + 8. Is 12 a factor of r?
True
Let l(x) = 73*x**3 - 5*x**2 + 2*x + 11. Let r be l(3). Suppose -r = -3*d - 26*d. Is d a multiple of 67?
True
Does 23 divide 4062*(-75)/180*2/(-1)?
False
Suppose d + 6*d - 14 = 0. Suppose d*k - 11340 = -13*k. Is k a multiple of 42?
True
Suppose -15*a + 13 = -32. Let m be 2*-1*-7*a/6. Suppose -m*t + 22 = -34. Does 3 divide t?
False
Let r be (-5)/((-5)/(-3)) - -113. Let a = -1186 + 1107. Let f = a + r. Is 26 a factor of f?
False
Let s(z) = -50*z + 3. Is 17 a factor of s(-2)?
False
Let g(k) be the first derivative of -k**4/8 - 5*k**3/3 - 5*k**2 - 15. Let f(s) be the second derivative of g(s). Does 2 divide f(-6)?
True
Let y = 4184 - 1754. Is 81 a factor of y?
True
Suppose 147*t = 118*t + 3915. Is 5 a factor of t?
True
Let f = -21 - 358. Is 17 a factor of (-8)/24 + f/(-3)?
False
Let z(o) = -2*o**3 + o**2 - o. Let j(y) = -98*y**3 - 9*y**2 + 7*y + 4. Let n(h) = j(h) + 6*z(h). Does 30 divide n(-2)?
True
Suppose -30*l + 20*l - 520 = 0. Let x = l + 74. Is x a multiple of 17?
False
Let w(k) be the third derivative of k**5/15 + 9*k**4/8 + 8*k**3 + 72*k**2. Is 7 a factor of w(-10)?
False
Suppose 124*k - 321464 = 1980348. Is k a multiple of 27?
False
Let p(c) = 10*c + 13*c + 202 + 11*c - 19*c. Is p(13) a multiple of 9?
False
Let t(d) = 8*d**2 - 716*d - 678. Is t(99) a multiple of 32?
False
Let m = 318 - 315. Suppose 0 = -m*g + 13*g - 1570. Is g a multiple of 7?
False
Let d(v) = -9*v + 6 + 0*v + 0*v. Let t be d(5). Let o = t + 174. Is 38 a factor of o?
False
Suppose 0 = -5*n - x - 692 + 5908, 2*n - 2083 = 3*x. Does 3 divide n?
False
Suppose -72 = -70*o + 58*o. Let z(x) = -36*x**2 + 226*x. Does 11 divide z(o)?
False
Let k = -22143 + 29072. Is 7 a factor of k?
False
Let c be (((-6)/10)/(-1))/(2/20). Let n(u) = 2*u**2 + 3*u - 30. Does 12 divide n(c)?
True
Suppose 0 = -2*r + 5*l + 578, 0 = -3*r - l - 329 + 1213. Is 6 a factor of r?
True
Suppose 0 = 4*f - 20, 10 = -3*w - 2*f + 47. Suppose -4*x = -7*x + w, 2*b = -4*x + 210. Does 9 divide b?
True
Is 22 a factor of 7689*((-48)/(-36) - 0)?
True
Let p be (165*(-8)/84)/((-2)/(-14)). Let s = 239 + p. Let a = -93 + s. Is 14 a factor of a?
False
Suppose -206*y = -3585425 - 4910684 + 2056343. Is y a multiple of 22?
False
Let d(q) = -2*q**3 + 20*q**2 + 25*q - 25. Let h be d(11). Let o = 105 - 197. Is (o/h)/(2/(-4)) a multiple of 3?
False
Suppose 4444 = 30*d - 41*d. Let b = d - -700. Is b a multiple of 6?
False
Suppose -6*h - 22 + 46 = 0. Suppose -h*a + 2*v = -1230, -5*a + 2*v + 1957 = 421. Does 18 divide a?
True
Suppose 13*f = 2*f - 11*f + 57024. Is f a multiple of 13?
False
Let g(s) = -2*s + 34. Let u be 3 + ((-2)/7 - (-20)/70). Suppose 4*d - u*d - 8 = 3*v, -9 = -2*d - v. Does 5 divide g(d)?
False
Does 25 divide ((-128)/(-24) - 12)*81/(-3)?
False
Let u = -99 + 151. Suppose 5*v