r?
True
Let i be (17*(-1)/(-4))/((-1)/(-12)). Let p = -49 + i. Does 11 divide (-3)/(-12)*p + 1573/22?
False
Let j = 151 - 151. Suppose j = o + 5*o - 3456. Is 10 a factor of o?
False
Suppose 2*r + 858513 = 53*r - 130785. Does 122 divide r?
True
Suppose -2*p - 4*m = -16, -p = 3*p - 4*m + 4. Let v be ((-60)/(-8) + p)*2. Let x = 135 - v. Does 28 divide x?
False
Suppose -109*j + 268026 = -311764 - 36823. Is 203 a factor of j?
False
Is 213 a factor of (40 - (-21)/((-42)/(-4)))*213*1?
True
Suppose -6 = -j - 2*u, -u + 6 = -j + 3. Suppose -2*n + 2*q + 2 = j, -2*n - 5 = -5*n + q. Does 13 divide (52/8)/(n/12)?
True
Let t(m) = 714*m + 138. Is 78 a factor of t(8)?
True
Let a(p) = 17*p - 184. Let d be a(11). Suppose 4*t = m - 145, -18*t + 21*t = -d*m + 435. Is 21 a factor of m?
False
Let p(a) = -17*a + 229. Let z(u) = 10*u - 115. Let t(r) = -2*p(r) - 5*z(r). Does 20 divide t(-3)?
False
Let j = -186 - -280. Let t = j + -73. Suppose -5*v + 54 = -t. Is v even?
False
Suppose 6*n - n + 4*h = 10359, -3 = -3*h. Is n a multiple of 11?
False
Suppose 0 = 112*b + 43*b - 313100. Does 4 divide b?
True
Is 8/68 + 14861/119 + -5 a multiple of 11?
False
Suppose -5*l = -5, 43*l + 2553 = 5*g + 46*l. Is 3 a factor of g?
True
Suppose -10*s + 0 = -40. Suppose 5*i = -s*k + k + 10, 4 = -2*k + 2*i. Suppose 4*d - 234 - 102 = k. Is d a multiple of 9?
False
Suppose 3*c = 2*i - 4*i + 98, c - 36 = -4*i. Suppose -x + 25 = -p, 3*x - 39 = p + c. Suppose -27*s = -x*s - 116. Is s a multiple of 29?
True
Suppose 29 = 4*d - 5*r, 2*d - r - 9 = 4. Let v be d*((-37)/3 - 2). Let h = -61 - v. Is 5 a factor of h?
True
Let z be (1 - (-12)/(-20))*-185. Let i = -74 - z. Suppose i*n + n - 287 = -4*l, -5*l + 362 = -2*n. Is 4 a factor of l?
True
Let w be (-4)/(-3)*(8 - -1). Let a be (8/(-14))/(2 - 132/63). Let u = w + a. Is u a multiple of 6?
True
Let u(s) = 12*s**2 + 24*s + 51. Let c be u(-18). Suppose 5*b - c + 702 = 0. Is 17 a factor of b?
True
Let y = 105 - 101. Suppose -c - 4*g = -y*c - 334, 3*g - 450 = 4*c. Let l = -74 - c. Is 10 a factor of l?
True
Suppose 9*x = 2236 + 1354 - 1160. Is x a multiple of 5?
True
Let a = 47323 - 13845. Is a a multiple of 124?
False
Suppose -13 = w + s, 30 = -2*w - 4*s - 4. Let y = -11 - w. Is ((-342)/(-15))/(y/(-10)) a multiple of 18?
False
Let q(o) = -o**3 + 17*o**2 + 18*o + 8. Let z be q(18). Suppose -192 = z*x - 10*x. Is 4 a factor of x?
True
Suppose -2*q - 3*u + 10646 = 0, -13863 - 12726 = -5*q - u. Does 9 divide q?
False
Suppose 8*d - d = 0. Suppose d = -4*t + t + 4*x - 25, -3*t + 5*x = 23. Let m = 29 + t. Is m a multiple of 12?
False
Let r be (-36)/6*(80/(-15) - -5). Suppose 0 = 5*c - 3*d - 1227, 2*c = r*d - 5*d + 474. Is 27 a factor of c?
True
Suppose 3*o + n - 1184 = 2166, 0 = 3*o + 3*n - 3348. Is o a multiple of 171?
False
Suppose 13*j - 12*j = 44. Let q = -46 + j. Is ((-20)/35)/q + 1508/14 a multiple of 36?
True
Is (-15)/24 - (-2848612)/416 a multiple of 167?
True
Suppose -801*i + 810*i = 495169 - 92977. Does 19 divide i?
True
Let k(n) = 98 - 120 - 97 - 107 - 19*n - 11*n. Does 10 divide k(-12)?
False
Suppose -1656*q + 1654*q = -12, -2*o + 4*q = -17038. Is o a multiple of 104?
False
Let d(a) = -a**3 + 6*a**2 + 23*a + 9. Suppose 8 = -q + 16. Does 37 divide d(q)?
False
Let d be (4 + (-54)/15)*30. Let l(n) be the first derivative of n**4/4 - 4*n**3 + 6*n**2 + 8*n - 170. Is l(d) a multiple of 25?
False
Let o(p) be the third derivative of p**4/4 + 79*p**3/2 - 141*p**2 - 2*p. Is 2 a factor of o(-37)?
False
Let a(g) = 28*g**3 + 8*g + 24. Is a(4) a multiple of 12?
True
Let d = 23071 - 16459. Is d a multiple of 3?
True
Let s = -112639 + 170329. Does 40 divide s?
False
Let z = 6599 - -1414. Is 3 a factor of z?
True
Let o be 14 - (8 - 0)/1. Suppose -o*x + 4347 = -1557. Is 8 a factor of x?
True
Let w be 1/(2/6 + (-22)/33). Let m be 174 - ((w - -3) + 0). Suppose 0 = -4*c + 150 + m. Is 19 a factor of c?
False
Suppose 0 = 6*a - a - 710. Suppose 4*h = a + 86. Is 27 a factor of h?
False
Does 68 divide 34856/14*(-5)/(20/(-56))?
False
Does 29 divide (-33768)/70*(-260)/8?
False
Let w(s) = -7*s**3 + 5*s**2 + 9*s + 3. Let f be w(-1). Suppose f*g = 3105 + 6237. Does 90 divide g?
False
Suppose -y + 29208 = 5*j, -1135*y + 1138*y = -4*j + 23362. Does 127 divide j?
True
Let p = 10053 + -4812. Is p a multiple of 101?
False
Suppose -2*t + j - 2 = 0, 0*t = 5*t + j - 2. Let k be (-3)/18*0 - (7 + t). Let y(z) = z**2 - 5*z + 22. Does 24 divide y(k)?
False
Let h(v) = 9*v**2 + 7*v - 9. Let a be h(2). Suppose 248 = -a*f + 45*f. Does 3 divide f?
False
Suppose 0 = -3*l - 5*a - 9, -5*l + a = -2*l - 9. Suppose -372 = 2*y - l*k, y - k + 189 = k. Let i = y - -346. Does 43 divide i?
False
Suppose 2*k = -k - 3, -3*s - k + 1103 = 0. Let u = s + -194. Suppose u = -22*p + 24*p. Is p a multiple of 16?
False
Let d(t) = -2*t**3 + 5*t**2 + 11*t - 145. Let s be d(7). Let j = s - -983. Does 10 divide j?
False
Let g(n) = 70*n**3 + 15*n**2 - 104*n - 5. Is g(5) a multiple of 86?
True
Suppose 0 = -s - 3*h + 213, -3*s - 2*s + 5*h = -1165. Let n = -361 + 367. Suppose -8*r + s = -n*r. Does 19 divide r?
True
Let c(d) = d**2 - 29*d + 342. Is 2 a factor of c(28)?
True
Is (-5481)/(-15)*455/39 a multiple of 29?
True
Let t(y) = -y**3 + 29*y + 7. Let v be (2/1)/(-10 + (-68)/(-7)). Is 5 a factor of t(v)?
False
Suppose -4*v = 4*c - 27704, 0 = c - 10*v + 12*v - 6927. Is 11 a factor of c?
False
Let v = 90 + -85. Suppose 0 = v*k - 4707 + 1347. Is k a multiple of 12?
True
Is 62 a factor of (-2210)/(-12) + (-33)/(-18)?
True
Suppose 0 = -2*m - 0 + 2, 5*s = -5*m - 1690. Let b = 21 - s. Does 10 divide b?
True
Let c(u) = 2*u**3 - 24*u**2 + 40*u - 511. Is 19 a factor of c(17)?
True
Let t(b) = 32*b + 193. Is 5 a factor of t(4)?
False
Let t(c) = -78*c**3 + 19*c**2 + 132*c + 80. Does 6 divide t(-6)?
False
Let t be (2/10 + 1)*-5. Let g = 971 - 975. Does 11 divide (1 - 194/g)*t/(-9)?
True
Suppose -2*o = -2*t + 73500, 0 = 303*t - 305*t - o + 73476. Is t a multiple of 16?
False
Let b(k) = -26*k - 8. Suppose -3*r + 5*y = 14, -r - y = -0*y + 2. Let t be b(r). Suppose 5*l - 105 - 19 = -4*n, 0 = 3*n - 2*l - t. Is 13 a factor of n?
True
Suppose 15459 = 17*a - 13*a + 3*j, 5*a = 2*j + 19318. Is 28 a factor of a?
True
Let u = 2814 + -1582. Suppose -616 = -2*c - z, 5*c - c - u = z. Is c a multiple of 20?
False
Suppose 2*z - j - 6 = -21, -15 = 4*z + 3*j. Let r(v) = v**3 + 4*v**2 - 3*v - 5. Let n be r(z). Let l = 105 + n. Is l a multiple of 8?
False
Let o(v) = -v**3 - 143*v**2 - 1650*v - 230. Is o(-131) a multiple of 16?
False
Suppose 0 = r + 2, 4*r - 970 = 5*g - 29193. Is g a multiple of 141?
False
Let r = 9634 + -3682. Is 32 a factor of r?
True
Let u = -239 + 128. Let r = -34 - u. Is r a multiple of 12?
False
Suppose -z - l = -3643 - 8457, -2*l - 12088 = -z. Suppose z = -16*o + 48*o. Does 21 divide o?
True
Let p = 132 + -99. Suppose p*y - 17784 = 14*y. Is y a multiple of 88?
False
Let g(p) = p**2 + 91*p - 2180. Is g(47) a multiple of 110?
False
Suppose 0 = -30*u + 368138 + 331732. Does 34 divide u?
False
Let s = 1510 - -7026. Does 18 divide s?
False
Suppose 23*g = 24*g - 16. Let p = g + -17. Does 21 divide p/(-4) - (-4563)/52?
False
Let y(x) = x**3 + 24*x**2 + 24*x - 24. Let u be y(-23). Let f = u + 45. Does 3 divide (f/8)/(2/(-40))?
False
Let o(j) be the second derivative of -j**3/6 + 3*j**2 + 9*j. Let z be o(-9). Let k = z - -24. Is k a multiple of 13?
True
Suppose -28623 = -17*g + 11327. Is 53 a factor of g?
False
Is ((-5024)/20)/(24/(-120)) a multiple of 8?
True
Suppose 6*q - 19*q = 0. Suppose q = -4*a + 6*y - 7*y + 1523, 3*y + 1891 = 5*a. Is 20 a factor of a?
True
Let m(j) = 46 - 31 + 39*j + 18 + 12. Is 33 a factor of m(9)?
True
Is 8 a factor of 10 - 47082/(7 + -14)?
True
Suppose 0 = -13*a - 112491 + 444381. Is a a multiple of 138?
True
Let n(w) = -423*w**3 - 7*w**2 - 61*w - 87. Is 8 a factor of n(-4)?
False
Let u(l) = 333*l**2 - 38*l + 377. Is u(8) a multiple of 59?
False
Let i = 996 + -428. Suppose -i = 234*c - 236*c. Is c a multiple of 8?
False
Is -5*(10 - (-1917)/(-45)) a multiple of 18?
False
Suppose -23*i + 166958 = 76013 - 218405. Does 10 divide i?
True
Let q(a) = -a**2 + 17*a - 14. Let t(s) = -5 - 33*s**2 - 19*s**2 + 1 + 5*s + 62*s**2. Let y be t(1). Is 22 a factor of q(y)?
False
Suppose 8 = 4*y, -4*b - 6*y + 3*y = -14. Suppose 2*o + 0 -