rue
Let t be 15*(-15)/(-25)*4/18. Suppose j - t*s = s - 9, 0 = -4*s + 16. Suppose -j*b + 81 + 12 = -4*h, 124 = 4*b + 4*h. Is 31 a factor of b?
True
Let c(w) be the third derivative of 151*w**4/24 - 30*w**3 - 102*w**2. Is c(5) a multiple of 22?
False
Suppose -4*m = 39 + 69. Suppose 7*n - 5*n - 2*r = -8, n + 4 = 2*r. Does 24 divide (n - -6) + 0 - m?
False
Let n = 2516 - 1020. Is 44 a factor of n?
True
Let q(c) be the second derivative of 251*c**4/6 + c**3/2 - 2*c**2 + c + 10. Let v be q(1). Suppose 0 = 8*p + v - 1749. Is p a multiple of 39?
True
Let i = 20 + -20. Suppose i = -5*x - 33 - 57. Let c = 90 + x. Is 36 a factor of c?
True
Suppose 3*t = 4*l + 12838 + 8204, 0 = 2*t - l - 14033. Does 22 divide t?
True
Let q(r) = -5928*r + 19217. Is q(-5) a multiple of 250?
False
Does 14 divide (0 - -2)/(-20 - (-4521741)/226086)?
True
Let y(j) = -j**3 + 4*j**2 + 4*j. Let q be y(5). Let t be (-11 + 5/(-5))*q/4. Suppose 5*a + t = -10, a + 65 = 4*l. Is 3 a factor of l?
True
Let d be -116 - -4*3/(-6)*-2. Is 5 a factor of d/(-6) - (-41)/123?
False
Let x be 1/((2 + 0)/2) - 0. Let g(w) = -w**2 - 1. Let r(m) = m**3 + 6*m**2 - 3*m + 5. Let y(h) = x*r(h) + 3*g(h). Is 17 a factor of y(5)?
True
Suppose -25*t - 3673 = -70423. Does 13 divide t?
False
Suppose 0 = -q + 4*r + 3286, -2*r + 6602 = 2*q - 4*r. Does 19 divide q?
True
Suppose -345862 - 479469 = -52*i - 215527. Is 14 a factor of i?
False
Let c(o) = 99*o**2 - 12*o + 19. Is 71 a factor of c(5)?
False
Let a = -19 + 28. Let v(i) = i**3 - 2*i**2 + 0*i - a - 3*i + i - 3*i. Is v(6) a multiple of 21?
True
Is 22 a factor of -792*((-308)/8 + 8 + -2)?
True
Suppose -3*j + 0*j - 3 = -2*i, -3*i - 3*j - 3 = 0. Suppose 2*s - 127 = b + 64, s + b - 97 = i. Suppose -4*u = 3*l - 2*l - s, -5*u + 2*l = -120. Does 8 divide u?
True
Let g = -6972 + 16513. Is 29 a factor of g?
True
Let i(d) = 15*d**2 - 174*d + 119. Is 4 a factor of i(-13)?
True
Let a = 470 - 52. Suppose 0 = -k + a + 227. Suppose -3*r - 4*t + 475 = 0, -k = r - 5*r - 3*t. Is r a multiple of 11?
True
Let m(h) = -2*h**2 + 53*h + 36. Let z be m(27). Let i = z + 922. Is i a multiple of 63?
False
Let q be (4/(-5))/((-90)/25 - -4). Let r be 3186/22 - q/11. Is -2 + -2 + (r - 9) a multiple of 33?
True
Suppose -40 + 241 = -3*k. Let s = -65 - k. Is s*56 + (-6 + 3 - -1) a multiple of 29?
False
Suppose 5 = -3*o + 5*c, -o + c - 4 + 5 = 0. Suppose 422 = o*a - f, 8*a - 5*f + 74 = 9*a. Is a a multiple of 14?
True
Let q be (-1 - 21)*(-65)/2. Suppose 4*s - 2*u + 5*u - 2827 = 0, -2*u - q = -s. Does 7 divide s?
False
Suppose -13*c + 525 = -10*c. Let x = c + -137. Is 16 a factor of x?
False
Let h = 628 - 78. Let w = h - 460. Does 10 divide w?
True
Suppose -5*w + 2*t + 5262 = 0, -125*w + 121*w = -5*t - 4213. Does 4 divide w?
True
Let a(k) = 0 - 1 + 5 - 3*k. Let h(c) = -c**3 - 11*c**2 + 28*c + 23. Let q be h(-13). Does 5 divide a(q)?
False
Suppose 0 = -4*p + 4*d + 89060, -5*p = -11*d + 8*d - 111313. Is 28 a factor of p?
False
Let b(o) = 155*o**2 + 29*o + 126. Does 10 divide b(-4)?
True
Let v(s) = s**3 + 27*s**2 + 53*s + 3. Is 41 a factor of v(-15)?
False
Is 26 a factor of 1248/36*(5805/(-10))/(-9)?
True
Let v(j) = 2*j**3 - j**2 + 5*j + 8. Let o be v(4). Let w = o - 44. Is 16 a factor of (-4)/(w/(-2308)) + (-3)/18?
True
Suppose 0 = 34*b - 530724 - 88375 - 84905. Is b a multiple of 34?
True
Let x(v) = -3*v**3 - 3*v**2 - 2*v. Let w be x(-2). Suppose -19*o + 201 = -w*o. Is o a multiple of 7?
False
Suppose -50*w + 83 + 167 = 0. Suppose 0 = 4*m - 2*b + 1608 - 4652, 10 = w*b. Is 45 a factor of m?
False
Suppose 2*y + 20 = 28. Suppose -2*o = -2*r - y*o + 468, 2*o - 702 = -3*r. Is r a multiple of 14?
False
Let i = -9889 - -23749. Is 222 a factor of i?
False
Let q(u) = 1215*u**2 + 21*u - 39. Does 9 divide q(2)?
False
Suppose -5*g + 4*z = 8, -8*z = -g - 4*z - 8. Suppose g*y = 6*y + 234. Let i = y - -58. Is 14 a factor of i?
False
Is 26 a factor of 4/3 - (-1706808)/342?
True
Let x = -20288 - -29998. Is x a multiple of 10?
True
Let t(s) = 3*s**2 - 6*s - 76. Let q(x) = 2*x**2 + 1. Let b(m) = q(m) + t(m). Is b(-6) a multiple of 47?
True
Suppose 6*a = -16*a + 2775 + 17311. Is a a multiple of 6?
False
Let m be (-3)/(-16)*-2 - (-17031)/(-24). Let g = m - -1913. Does 52 divide g?
False
Suppose 6*o - 24 = 6. Suppose 2*g - 3 = o*g. Does 7 divide (-1)/((-40)/(-44) + g)?
False
Let y = -69 + 71. Suppose -2 = g - t, y*g - 5*t + 10 = -t. Does 9 divide 5*15 + g - (1 + -4)?
False
Suppose 14483 = 2*r - z, 316*z - 318*z + 6 = 0. Does 8 divide r?
False
Let k(l) = -l**2 - 4*l + 24. Let i be k(-7). Suppose 2*d + 81 = -i*j + 3267, -d + 1063 = j. Does 41 divide j?
False
Does 187 divide ((6/(-18))/((-5)/(-36)))/(4/(-50360))?
False
Suppose -4*k - 16 + 0 = 0, 3*k = 4*p - 412. Is 19 a factor of 167 + p/26 + (-26)/(-169)?
True
Suppose 0 = -5*n - 0*n + 310. Let h = -5 - n. Let a = -31 - h. Does 18 divide a?
True
Let j = -184 - -134. Let o = 128 + j. Is o a multiple of 44?
False
Let i(a) = -2551*a - 189. Let v be i(-15). Does 56 divide (-1)/((-34)/v) - (-2)/17?
True
Let q = 984 - 703. Let i = 34 + -29. Suppose -31 + q = i*z. Is z a multiple of 10?
True
Let m(v) = v**3 - 15*v**2 - 53*v + 16. Let z be m(18). Suppose -2626 = z*p - 47*p. Does 15 divide p?
False
Let x(k) be the second derivative of -13*k**3/2 + 3*k**2/2 + 30*k + 1. Does 20 divide x(-3)?
True
Suppose 5*h = p - 14, 2 = -p - 8*h + 5*h. Suppose -p*x + 5*x - 168 = 0. Does 8 divide x?
True
Let t = 188 + -339. Let i = 932 + -1145. Let c = t - i. Does 25 divide c?
False
Let z be 595 - (1/1 - (-16)/8). Suppose -z = -2*b - 4*o, 4*b + 4*o = 9*o + 1132. Does 32 divide b?
True
Let l = -1739 - -673. Let a = 634 + l. Let o = -292 - a. Is 28 a factor of o?
True
Let g(f) = -5*f**2 + f - 5. Let w(y) = -y**2 - y - 1. Let l(p) = -g(p) + 6*w(p). Let k be l(-7). Is k*6*(630/12)/(-3) a multiple of 15?
True
Suppose w = 5*k + 1055, -128*w + 2166 = -126*w - 2*k. Is w a multiple of 109?
True
Let q = 5068 - 4255. Is 7 a factor of q?
False
Let d be -5 + (-95)/(-1) + -1. Is d - 82 - (-2290)/2 a multiple of 16?
True
Let s = -4814 + 8832. Does 49 divide s?
True
Suppose 0 = j + 26 + 21. Let b = -43 - j. Suppose 3*g = -3*p - 2*p + 93, 93 = 3*g + b*p. Is 4 a factor of g?
False
Suppose 0 = -4*d + 6*d - 3*q + 4, q - 24 = -5*d. Let y be (d/(-3))/2*60. Does 6 divide -3 + ((-12)/(-4) + -4)*y?
False
Suppose -1092 = -31*w + 35*w. Let o = w + 550. Is 25 a factor of o?
False
Let a(y) = -2*y - 117. Let g(d) = -3*d - 118. Let x(h) = 3*a(h) - 4*g(h). Is 21 a factor of x(8)?
False
Suppose -62 = -4*z - 4*t + 38, 0 = -z - 3*t + 23. Let u = z + 32. Suppose 0 = 3*n - u - 44. Is n a multiple of 9?
False
Let a(p) = -p**3 + 5*p**2 + 1. Let t be a(5). Let g(q) = -2*q - 3. Let f(v) = -61*v + 12. Let d(c) = -f(c) - 3*g(c). Does 8 divide d(t)?
True
Let t be 302/7 - (-2)/(-14). Let i = t + -43. Suppose -3*h - 2*h + 25 = i, -5*g = -5*h + 5. Is 4 a factor of g?
True
Suppose 8*f - 3*f + 4*l = 30, 0 = f - 4*l - 30. Let h be (-1 - 326/f)*-20. Suppose 0*x + 6*x = h. Is x a multiple of 25?
False
Suppose -292488 = 735*u - 743*u - l, -109640 = -3*u + 5*l. Is u a multiple of 10?
True
Let c(m) = 9*m**2 - 4*m + 7 + 8*m**2 + 3*m**2 - 15*m**2 + 10*m**3. Let r be c(3). Suppose 2*d + 2*i = r, -d - 3*i = -4*d + 435. Is 15 a factor of d?
True
Let o = -933 + 936. Suppose 5*l = -5*x + 4295, 18 = -o*x + 5*l + 2603. Is x a multiple of 5?
True
Is 11 a factor of 0 + -12 + (-345)/(-15)?
True
Suppose s = -s, -4*s - 16165 - 17099 = -3*l. Is l a multiple of 18?
True
Let s be 6*(21/(-6) + 0 + 3). Is 89/(s/(6 + -12)) a multiple of 19?
False
Let l(g) be the third derivative of g**5/60 + g**4/3 - 259*g**3/6 + 87*g**2. Does 7 divide l(14)?
True
Let o(v) = 2*v**2 - 7*v - 13. Let w(r) = 3*r + 5*r - 9*r. Let b(f) = o(f) - 2*w(f). Is 29 a factor of b(11)?
True
Let j(n) = 25*n**2 + 126*n + 160. Is j(32) a multiple of 152?
True
Suppose -22*l + 1045 = -9449. Suppose -3*s - 78 = -l. Does 6 divide s?
False
Let p = 86 + -83. Suppose -p*b = -b - 5*a + 154, 0 = -b + 2*a - 77. Let d = b + 139. Is d a multiple of 7?
False
Let b(a) = -8*a**2 + 37*a - 30. Let w(q) = -7*q**2 + 36*q - 27. Let l(t) = 2*b(t) - 3*w(t). Is l(14) a multiple of 25?
True
Suppose -2*d + 447 = z + d, z - 442 = 2*d. Suppose -z = -6*a + 318. Does 5 divide a?
False
Suppose 2*j - 5*v + 33 = 272, -j + 3*v + 121