86 + -8790. Is x a multiple of 2?
True
Let z(p) = -2*p**3 - 20*p**2 - 8*p - 27. Let f be z(-10). Suppose d + f = 924. Is 67 a factor of d?
True
Suppose -352716 = -258*x + 37*x. Does 84 divide x?
True
Let n(t) = 6*t + 115. Let j be n(-18). Suppose -j*u = -4*u - 282. Is u a multiple of 5?
False
Suppose -31787 = -43*i + 36*i. Is 49 a factor of i?
False
Let t(w) = -w**3 + 12*w**2 - 7*w - 7. Let q be (33/(-6) - -6)/((-1)/(-12)). Let j be t(q). Let l = -101 + j. Is 11 a factor of l?
True
Suppose 85 = 23*r + 16. Suppose -3*v + 6*v - 2082 = -r*p, -p = 3*v - 690. Is 10 a factor of p?
False
Let b = 6256 - 481. Is 75 a factor of b?
True
Let m(s) = s + 190. Let j be m(7). Let i = j + 69. Is 7 a factor of i?
True
Let i be -7 + (-8)/((-8)/(-249)). Let g = -169 - i. Does 5 divide g?
False
Suppose -2*k + 10 = 3*k. Let l be (-11 + -191)*1/k. Let r = -71 - l. Does 15 divide r?
True
Let y(i) = -13*i + 9. Let d be y(-8). Suppose -10*l = 26 - 66. Suppose l*s - d = 79. Is 11 a factor of s?
False
Suppose 27*y + 5327 - 14927 = 5844. Is y a multiple of 22?
True
Does 23 divide (-16)/56 - ((-1733369)/77 + 1)?
False
Let g be (-40)/(-15) - 5/(-15). Is 211/2 - g*(-2)/(-4) a multiple of 52?
True
Let m be (-5 - -16 - 5) + -486. Let q = 906 + m. Is q a multiple of 11?
False
Suppose 3*u - 6*u - 4*a = -104, 4*a - 176 = -5*u. Let l = u - -22. Suppose b - 2*x - 2*x - l = 0, -4 = -4*x. Is 16 a factor of b?
False
Let t be 0 + -2 - (8 - (-26)/(-2)). Suppose -t*b + 2*a = -449, -17*a + 13*a = 4*b - 592. Is b a multiple of 8?
False
Is 1 + 11 - 179354/(-7) a multiple of 14?
True
Suppose -2*t + 128 = -54. Suppose -5*k = m - 490, -5*k + 1915 = 95*m - t*m. Is m a multiple of 19?
True
Let q(x) = -303*x**3 + x**2 - 1. Let w be q(-1). Suppose -17*p + 4*i = -19*p + 564, p = 5*i + w. Does 30 divide p?
False
Let n(d) = -3*d**2 - 60*d + 18. Let m be n(-20). Suppose 15236 = m*i - 676. Does 24 divide i?
False
Let w(k) = 2*k**2 + 18*k - 120. Is 102 a factor of w(9)?
True
Let a(d) = 16*d + 21. Let u be a(4). Let w = u + -83. Is (-5 - 9)/((-1)/23*w) a multiple of 31?
False
Suppose -17544 = 28*d - 45*d. Let k = -346 + d. Is 49 a factor of k?
True
Suppose 7 = -m + 2*m - 2*c, 5*m - 65 = -5*c. Let l(k) = 2*k**2 - 2*k + 25. Is 7 a factor of l(m)?
True
Let z = 8 + 874. Is 3 a factor of z?
True
Suppose 0*w = w - 6. Suppose 23*k + 62 = 25*k. Suppose -3*i + k = 2*a, 2*a = w*a - i - 83. Does 10 divide a?
True
Let n = 153 - 86. Let u = n + -72. Let x(g) = g**2 + 2*g + 3. Is x(u) a multiple of 7?
False
Suppose -20*t + 25*t + 490 = 0. Is 14 a factor of (-14)/49*4/(8/t)?
True
Let v(l) = 2*l**2 + 21*l - 181. Is v(-29) a multiple of 4?
True
Let v(a) = 4*a + 39 - 22 + 2*a**2 - 12 - 14. Does 54 divide v(-16)?
False
Suppose -33 = -5*l - 6*l. Let j be (-22)/(-8)*(127 - (l - 8)). Suppose j = 4*p - 3*r - 246, 0 = -5*p - 3*r + 741. Is 22 a factor of p?
False
Let l(i) = -313*i + 4. Let z(b) = 3*b**2 + 11*b - 5. Let j be z(-4). Let g be l(j). Suppose 4*n = g + 307. Is 18 a factor of n?
False
Let t(z) = z**3 - 4*z**2 - 3*z - 21. Let g be t(5). Let x(k) = k**3 + 13*k**2 + 11*k - 14. Let a be x(g). Let b = 176 - a. Does 10 divide b?
False
Let a(n) = n**3 + 8*n**2 - 10*n + 30. Let y(s) = -s**3 - 5*s**2 + 10*s + 19. Let o be y(-6). Let t be -5*1*(-8)/o + -1. Is a(t) a multiple of 11?
False
Let v(r) = -80*r**2 + 12*r - 25. Let p be v(3). Let f = 1583 + p. Is f a multiple of 46?
True
Is (25/75 - (1 + (-21)/18))*58330 a multiple of 19?
True
Let k be ((528/30)/(4/350))/(-1). Let w = -764 - k. Does 53 divide w?
False
Suppose 0 = -39*t + 40*t - 1570. Is 10 a factor of t?
True
Let v(j) = -j**3 - 21*j**2 - 17*j - 74. Let d be v(-22). Let r = d + -407. Does 13 divide r?
True
Let o(n) = 1433*n - 6. Does 7 divide o(7)?
False
Let j(i) = i**3 + 13*i**2 + 5*i + 42. Suppose -7*l - 5*r - 44 = -3*l, -4*l = -3*r + 12. Does 22 divide j(l)?
True
Let q(s) be the first derivative of s**3/3 - 8*s**2 - s - 6. Let j be q(-13). Does 17 divide j/11 + 8/(-44)?
True
Suppose 9851116 = 266*o + 9*o - 34*o. Is 90 a factor of o?
False
Suppose 0 = 3*j - 47 - 13. Let l(w) = 5*w + 72. Is 16 a factor of l(j)?
False
Let w(z) = 1067*z - 1091. Does 64 divide w(9)?
True
Suppose 2*g - 276 = 2*l + 350, -2*g + 5*l = -638. Let k = g + -192. Let d = k - 52. Is 11 a factor of d?
False
Suppose 146*d + 54250 = 160*d. Is 25 a factor of d?
True
Let p(a) = -a**3 - 11*a**2 - 9*a - 32. Let b be p(-10). Let r be 22/(-2)*10/(-1). Let o = r + b. Is 13 a factor of o?
False
Suppose -45*q = -5*t - 42*q + 16470, 8*q - 13176 = -4*t. Is t a multiple of 27?
True
Suppose i - 60 = -3*j, 3*i = -j + i + 25. Let c be (j - 4) + (0 - 3). Let y = c - 7. Is 5 a factor of y?
True
Suppose -4*o + 3*o = -2*m + 3, o = -5*m + 25. Suppose 2*a + 3*n - 376 = 290, 2*n - 1687 = -o*a. Is 11 a factor of a?
False
Suppose 0 = 3*b - 5*l - 2478 - 2744, 0 = -5*l + 25. Is 21 a factor of b?
False
Suppose -28904 - 11056 = -90*w. Is w a multiple of 6?
True
Is ((-6)/(-2) - -62 - -1)*1881/38 a multiple of 3?
True
Let l(v) = v**3 + 7*v**2 - 13*v - 33. Is 4 a factor of l(-8)?
False
Let x = -44392 - -46273. Is 19 a factor of x?
True
Does 85 divide (346655/(-380))/(2/(-8))?
False
Suppose 89120 + 199744 = 16*h. Is 17 a factor of h?
True
Let m(y) = 85*y - 10. Let o(z) = -171*z + 19. Let t(x) = 7*m(x) + 4*o(x). Let r be t(2). Let q = -106 - r. Does 22 divide q?
True
Let z = 74 + -69. Suppose -z*h = -2*j + 6*j + 74, -3*h - 46 = 4*j. Does 3 divide 6/6*(2 - h)?
False
Let g = 21584 - 13672. Is g a multiple of 43?
True
Let p be ((-150)/(-4))/(3/6). Let q be p/(-2) - 7/14. Let x = q + 103. Is x a multiple of 11?
False
Suppose 0 = 518*k - 517*k - 395. Is 5 a factor of 3/((-12)/50)*(-948)/k?
True
Suppose -142*k - 231972 = -152*k - 92892. Is k a multiple of 57?
True
Let p be 3/(-4) + (-975)/12 + -5. Let s = p + 126. Is 0 + s + (-1 - (2 + -4)) a multiple of 5?
True
Does 4 divide (((-2912)/(-48))/13)/(3 + (-8348)/2784)?
True
Let z = -23 + 23. Suppose z = k + 41 + 7. Let w = 63 + k. Is w a multiple of 15?
True
Let c(l) = 3*l**3 - 4*l**3 + 7*l**2 - 8*l + 12*l + 18*l. Is c(-5) a multiple of 38?
True
Let x = -728 - -1428. Suppose -4*k + 9*k - x = 0. Suppose -k = -5*t + 480. Does 62 divide t?
True
Let l(b) = -b**2 + 23*b + 58. Let r be l(25). Suppose -r*x = -12*x + 256. Is x a multiple of 38?
False
Is (-95)/38*(-63114)/15 a multiple of 17?
False
Suppose -29995 = -5*j - 4*q, 100*q - 29995 = -5*j + 95*q. Is 8 a factor of j?
False
Suppose 2468507 + 3395893 = 200*w. Does 9 divide w?
True
Suppose 9205 = 5*d + 4*i, 5*i - 45 = -2*d + 3637. Is d a multiple of 18?
False
Suppose 0 = a - 4*r + 3 + 11, -5*r + 22 = a. Suppose -i + 95 = 4*i + 5*x, -a*i + 52 = -5*x. Is 23 a factor of i - 0 - (-2 + 0)?
True
Let h = 2 + 12. Let f(d) = 9*d + 34. Does 8 divide f(h)?
True
Suppose -2*t - 3*m + 266 - 76 = 0, 2*t - 182 = m. Let h = 88 - t. Is ((-404)/(-8) - h) + (-2)/4 a multiple of 5?
False
Is 533 - (14 - (-9)/(-9)) a multiple of 2?
True
Let q(r) = 5*r**3 - 1. Let o be q(1). Suppose 4*k - 28 = -4. Suppose 0 = -t - o, -k*v - 5*t + 110 = -v. Is 14 a factor of v?
False
Let l(i) = -3*i**3 - 6*i**2 - 6*i - 1. Let k be l(-3). Let v = k + -12. Suppose -v = -s - w, s - 39 = w + 1. Is 12 a factor of s?
True
Let g be 1*(1 - 0) - 1. Suppose g = 5*s - 0*p + p + 15, -3*p = -15. Does 3 divide (-6)/((-2)/(s + 8))?
True
Suppose 4*i + 4*m - 24 = 0, 0*m + 2*m = -3*i + 19. Suppose t + 3 = -1. Does 3 divide (-11 + i)/(t/10)?
False
Let b be (-12)/(-21)*(-14)/(-4). Suppose b*i - 6 = 8*i. Let v(h) = 15*h**2 - h. Is 16 a factor of v(i)?
True
Suppose 37*s = 46*s - 22176. Is 56 a factor of s?
True
Let d(g) = -194*g - 314. Is d(-4) a multiple of 42?
True
Let n(u) = 14*u + 37. Let a be n(12). Suppose a = 3*c + 22. Suppose 0 = 7*d + c - 726. Does 19 divide d?
True
Suppose 0 = -3*z - 21, 3*a + 18*z - 17*z = 35306. Does 42 divide a?
False
Suppose -313*d + 4*y = -316*d + 118966, -4*d + 158619 = 3*y. Does 126 divide d?
False
Let j(c) = 1961*c**2 + 48*c + 117. Does 13 divide j(-2)?
True
Let w = 362 + -378. Is 5 a factor of -4*-4*(-5)/w?
True
Is ((656/(-7))/4)/((-14)/147) a multiple of 6?
True
Suppose 721 = 3*h + 2*w, -221 = -2*h - 2*w + 259. Does 78 divide h?
False
Let v(o) = 2*o**2 - 9*o + 15. Suppose -3*q = -9, -3*r - 3*q = -6 - 9. Let n be v(r). Suppose 3*j + 208 = z - j, -n*j + 607 = 3*z. Does 4