True
Let q = -75803 - -121160. Is q a multiple of 13?
True
Suppose 49 = 8*c - 23. Suppose 12*x - c*x = 30. Is 6 a factor of (x/5 - 1) + 138?
False
Suppose -6690008 = -114*w + 2463644 - 1215604. Does 79 divide w?
False
Let k(r) = -r**3 + 13*r**2 + 13*r + 12. Let s be k(14). Is 20 a factor of 278/(s/(-24)*6)?
False
Let z = -6637 - -6659. Is 22 a factor of z?
True
Suppose -23*m + 28 = 5. Let s(g) = 128*g**3 - g**2 + 5*g - 3. Is 10 a factor of s(m)?
False
Let i(x) = 195*x - 105. Let o(k) = -k**3 - 8*k**2 + 3. Let f be o(-8). Is i(f) a multiple of 10?
True
Is 9 a factor of ((-5334)/(-1905))/((-4)/(-23170))?
False
Let y(v) = 115*v**2 + 14*v + 20. Let t be y(-2). Let h = -426 + t. Is h a multiple of 3?
False
Let i be (2 + 1)*(-34)/(-3). Let w = -21 + i. Is 10 a factor of (2 - 28/w) + 2422/26?
False
Suppose 0 = -s - 4, 2*v + 5*s + 20 = -0*v. Suppose v*j = 7*j - 28. Is 9 a factor of 195/15 + -1*j?
True
Let h be -7 + (-3 - -7) + -2. Let f be ((-2)/6)/(h/45). Suppose 3*l = -f*u + 7*u + 336, -4*u + 12 = 0. Is 29 a factor of l?
True
Suppose 3*t + t - 42028 = 0. Suppose -18*o - o = -t. Is o a multiple of 54?
False
Suppose -59*k + 5*y - 6885 = -61*k, -13737 = -4*k + y. Does 5 divide k?
True
Let w(q) = -4*q**2 + 38*q + 14. Let l(t) = 13*t**2 - 120*t - 42. Let p(m) = -2*l(m) - 7*w(m). Let f = 46 - 31. Is p(f) a multiple of 13?
False
Let h = -5229 - -12190. Is h a multiple of 43?
False
Suppose -4296 = -k + 2*j, -7*j + 10*j = 3*k - 12909. Does 41 divide k?
False
Let w be 4*(1446/24 + -2). Let d = w - 135. Does 7 divide d?
True
Let a(y) = -15*y + 4. Let m be (-8)/2 - (-5)/(-5). Does 5 divide a(m)?
False
Suppose 0 = -i + h + 17722, 5*h = 8*i + 60679 - 202473. Does 134 divide i?
False
Let t(w) = 33*w**2 - 68*w - 42. Does 46 divide t(14)?
True
Suppose o = -0 + 1, -4*o + 337 = 3*q. Suppose -5*k - 265 = -5*g, 0*k + 5*g = 3*k + 163. Let d = q + k. Is d a multiple of 12?
True
Let h = 17585 - 1777. Is h a multiple of 19?
True
Suppose -4*m = 3*a - 35734, -a - m + 8161 = -3748. Is 22 a factor of a?
True
Suppose 23*s - 4*s = 37*s - 43920. Is s a multiple of 20?
True
Is ((-1172)/(-4) - (-3)/3)*357/6 a multiple of 45?
False
Does 13 divide 4 + -3 + -8 + 0 + 18124?
False
Let u = 199 - 203. Is 18 a factor of (0 - -417) + 0/(-1 - u)?
False
Let d be 6 + -41 + -7 - -4. Let i(b) = -b**3 - 39*b**2 - 43*b - 43. Does 7 divide i(d)?
True
Suppose 1298 = 167*n - 163*n - 2*y, 661 = 2*n - 5*y. Is 79 a factor of n?
False
Suppose -3*o - 7*m + 2*m + 15 = 0, -o + 5 = -2*m. Suppose 0 = 2*q - 4*c + 10, -o*q + 4*c + c = 50. Is (((-216)/15)/(-6))/((-1)/q) a multiple of 9?
True
Suppose 0 = -0*u - 3*u - 39. Let a be (u - -15)/((-4)/(-14)). Suppose -94 = -a*x + 669. Is x a multiple of 9?
False
Let u(b) be the third derivative of b**6/120 - 7*b**5/60 - b**4/6 - 29*b**3/6 + b**2 - 15. Suppose 5*l - 55 = 5*d, -4*d - 4 - 4 = 0. Is 22 a factor of u(l)?
False
Suppose -4*s + 4*t = 8776 - 46760, -5*s + 2*t = -47489. Is s a multiple of 59?
True
Is 29 a factor of (3306/(-76))/(((-15)/292)/5)?
True
Let i(v) = -v - 7. Let h(l) = l**2 + 12*l + 14. Let s be h(-12). Let d be i(s). Let m = d - -36. Does 8 divide m?
False
Suppose 0 = -2*h + 300 + 16. Suppose -5*b + 5*c + 234 = 34, -4*b + h = -5*c. Let s = b + 70. Does 12 divide s?
False
Let r be 15741/21 + 0 - 36/(-84). Suppose -10*m = -50 - r. Is m a multiple of 5?
True
Suppose q + 3*l = 64, q + 8*l - 11*l - 70 = 0. Suppose -q*i + 350 = -62*i. Does 35 divide i?
True
Let t = -10767 - -10821. Does 4 divide t?
False
Let q(f) = 30*f**3 + 5*f**2 - 21*f + 12. Does 4 divide q(3)?
True
Suppose 18837 = -271*i + 354*i - 29469. Is i a multiple of 40?
False
Let a(l) = -l**3 + 11*l**2 - 7*l + 66. Let v be (-4)/(-6)*(-459)/(-34). Is a(v) a multiple of 15?
True
Suppose -2*r - 1 = 5*v - 3, 2*v + 5*r = -16. Suppose 5*x = -5*d + 765, -3*d + v*x = -684 + 210. Is d a multiple of 12?
True
Let n = 5490 + -3664. Is n a multiple of 97?
False
Let b(f) = 3106*f**2 - 122*f + 7. Is 18 a factor of b(-3)?
False
Let k(t) = -t**3 - 222*t + 246*t + 7*t**2 + 6 + 11. Does 6 divide k(9)?
False
Let b = 21450 + -5566. Does 22 divide b?
True
Let q(k) = 4*k + 36. Let g be q(-9). Suppose g = -w + 4, 3*s = 5*w + 547. Is 27 a factor of s?
True
Is 2 a factor of (8/32 - 0)*1821*8/6?
False
Suppose -3*q = 810 - 0. Let b be (29/2)/((-15)/q). Let c = b + -119. Does 16 divide c?
False
Suppose -3*z - 3*m + 2406 = 0, 5*z + 83 - 4089 = -3*m. Let q = -191 + z. Suppose d - 218 = -0*h + 4*h, 0 = 3*d + 3*h - q. Is d a multiple of 42?
False
Let b(t) = -3*t - 21. Suppose 5*y = -3*j - 2 - 24, j - 8 = -5*y. Is b(j) a multiple of 15?
True
Let u = -18 - -23. Suppose -5*l + 100 = 5*p, -5*p - 76 = 2*l - u*l. Suppose 0 = -l*q + 20*q + 96. Does 7 divide q?
False
Let a = -86 + 65. Let l(j) = j**3 + 24*j**2 - 6*j - 26. Let w be l(a). Suppose -w = -13*s + 293. Is 12 a factor of s?
True
Let b(p) = -p**2 - 90*p - 1986. Does 3 divide b(-42)?
True
Suppose 4*c + 1577 = 23*c. Suppose 0 = -c*u + 71*u + 744. Is 3 a factor of u?
False
Let t be 2 - (1 + (0 - 17)). Suppose t = -h + 20. Suppose -58 = -h*v + 234. Is 15 a factor of v?
False
Suppose -40286 = -3*d - k, -k + 3376 = -3*d + 43670. Is 34 a factor of d?
True
Let y(l) = -l**2 - 23*l - 15. Let i be y(-23). Let b(w) = w**2 + 6*w + 5. Does 33 divide b(i)?
False
Let b(n) = -n + 2. Let o be b(0). Let j(u) = -28*u**3 + 63*u**2 + 2*u - 11. Let m(r) = r**3 - 9*r**2 + 1. Let t(z) = -j(z) - 7*m(z). Does 36 divide t(o)?
False
Let a be 2 + 2 + 1 - 3. Let f(u) = 2*u**2 - 9*u - 8. Let b(z) = z**2 - 8*z - 8. Let l(i) = a*f(i) - 3*b(i). Is l(-7) a multiple of 3?
True
Let f(t) = 2*t**2 + 13*t + 10. Let u be f(-5). Let o be u + -4 + 22 + -1. Let m(r) = 2*r - 19. Does 2 divide m(o)?
False
Suppose -z + 5*c + 1774 = -1235, 3*z + 4*c - 9084 = 0. Is 48 a factor of z?
True
Let z = -4951 + 12019. Is 12 a factor of z?
True
Suppose -3*b + 25653 - 8849 = -2*p, 3*b - 16811 = -5*p. Is b a multiple of 20?
False
Let v(w) = w**3 - 12*w**2 + 4. Let f be v(12). Suppose 0 = -o + f*a - 10 - 1, -4*o + 3*a = 5. Is ((-44)/(-16))/(o/4) even?
False
Suppose 0 = 5*m - c - 7 + 4, 5*m = 3*c + 9. Suppose -4*y = 2*q - 5888, m = -4*y + q - 610 + 6498. Is y a multiple of 16?
True
Is 0 + 10772 - (-4 + 5)/(21/105) a multiple of 13?
False
Let y(p) = -p**3 - 4*p**2 - 3*p - 3. Let h be y(-3). Let m(j) = -9*j**2 - 2*j + 17. Let o(i) = -5*i**2 - i + 8. Let s(w) = h*m(w) + 5*o(w). Does 19 divide s(6)?
False
Let u(a) = 2*a**3 + 81*a**2 - 50*a + 32. Is 3 a factor of u(-41)?
False
Suppose -7 = -4*u - 3. Let w be (u - 4 - -2) + 5. Suppose 13 - 4 = 3*m, -w*b - 2*m + 558 = 0. Is b a multiple of 19?
False
Suppose -26*y = -302128 + 90826. Does 43 divide y?
True
Suppose 3*d - b = 11, 0 = -4*d - 5*b - 7 - 10. Suppose 3*o + d*o - 8871 = -2*k, -5*k = -2*o + 3560. Suppose -o = -6*j - 389. Does 11 divide j?
True
Let m(g) = 2*g**2 + 4*g + 53. Let h(r) = -2*r**2 - 16*r. Let v be h(-8). Is 40 a factor of m(v)?
False
Let m(c) = 1884*c**2 - 161*c + 89. Does 79 divide m(6)?
False
Let n be (2/(-4))/((-1)/12). Let b be 2*(-51)/n*-1. Let p = 10 + b. Is 3 a factor of p?
True
Suppose -3*d + 4*h = -17, 3*d - 3 - 8 = h. Let k(b) = -2*b**2 - 11*b. Let a be k(-5). Suppose -4*r + 112 = -d*i - 155, a*r - i = 320. Is r a multiple of 21?
True
Let g = -34 - -80. Suppose -h + g = 4*p, -h + 18 = -5*p + 2*p. Does 15 divide h?
True
Suppose -324256 = -26*i - 106640 + 137726. Does 7 divide i?
False
Let k be 0 - 28/(-16)*(0 - -4). Suppose 0*a - 3*y + 13 = -a, -y + k = a. Suppose -2*o - 2*w = -2, -2*w - 14 = o + a*w. Does 6 divide o?
True
Suppose x = 4 + 3. Let c(h) = 6*h**2 - 2*h - 6 - 4*h**2 + x*h - h**2. Is 9 a factor of c(-8)?
True
Let n(s) = -s**3 + s**2 + 3*s - 2. Let b be n(2). Let a(i) = -i**3 + i**2 + i + 3. Let c be a(b). Is 17 a factor of c - (1 + -1) - 0 - -116?
True
Is ((-103259)/(-13))/(2/6) a multiple of 169?
True
Suppose f = -0*f + 19. Suppose -4*d - 54 + 78 = 0. Suppose d*g - f = 5*g. Does 13 divide g?
False
Let d(o) = 4512*o**2 - 63*o + 118. Is 218 a factor of d(2)?
False
Let x(g) = 5 + 9*g - 2*g**2 + 23*g**2 - 2 - 3*g. Is 30 a factor of x(3)?
True
Suppose 10 = 3*n - 5*c, -2*n - 12 = 5*c - 2. Suppose 9*d + 61 - 16 = n. Is 3 a factor of ((-44)/d)/(5/25)?
False
Suppose -s - 70 = -313. Let v = 89 - s. Is 6 a factor of ((-11)/(v/24))/((-2)/(-84))?
True
Let p = 282 - 490