f 376*2 - 11/((-121)/44)?
True
Let f be 1*(3 + (3 - 6)). Suppose -4*z + 12 = -f. Suppose -z*c - 3*u + 69 = 0, 17 + 128 = 5*c - 5*u. Does 13 divide c?
True
Suppose -3*w - 47 = -5*n, -n = -3*w + w - 15. Let z(u) = -n*u - 6 + 2 - 1. Does 13 divide z(-10)?
True
Suppose -1326 = 42*t - 43*t. Does 12 divide t?
False
Let o = -1 + 12. Let s = o + 4. Does 15 divide s?
True
Suppose 80*k = 41*k + 2808. Is 8 a factor of k?
True
Suppose 0 = 10*u - 11*u + 40. Let c = 44 - u. Is 4 a factor of c?
True
Is 4 - ((-12)/3)/(2/7) a multiple of 3?
True
Let c(f) = -f + 0*f - 5 + 13. Let r(u) = u**2 - 4*u + 3. Let o be r(3). Does 4 divide c(o)?
True
Let y = 646 + -523. Is 5 a factor of y?
False
Suppose x - 3*x = -10. Let t be ((-1)/(-2))/(x/(-3880)). Is 13 a factor of 6/30 + t/(-10)?
True
Let d(o) = 6*o + 3. Let v = -28 + 35. Is 9 a factor of d(v)?
True
Does 12 divide 2*(9 + (-12210)/(-20))?
False
Suppose 50 = 2*y + 10. Suppose 0 = 4*u + y, 4*b + 4*u + 7 = -5. Suppose -12 = -4*s + b*d, 4*s = -0*s + 4*d + 4. Is 5 a factor of s?
True
Suppose -5*a = h - 132, -3*h + 504 = h - 4*a. Does 32 divide h?
False
Let m(p) = 26*p**2 - 3*p. Let f be m(-3). Suppose 11*g - f = 2*g. Is 9 a factor of g?
True
Suppose 2*x + 5*f = 995, 241 = 3*x + 4*f - 1248. Does 45 divide x?
True
Let s(h) be the second derivative of -h**5/20 - 13*h**4/12 + 7*h**3/3 + 19*h**2/2 - 20*h. Is 16 a factor of s(-14)?
False
Let x(d) = -29*d**2 + 7*d**2 + d**3 - 15 + 27*d**2 + 9*d + 15*d**2. Does 11 divide x(-19)?
False
Suppose -2*o + 6*n + 988 = 4*n, -o + 500 = -3*n. Does 21 divide o?
False
Is 173 - 18/(12/2) a multiple of 17?
True
Let l = 603 - 176. Does 18 divide l?
False
Suppose a + 4*v = 2259, -25*a + 29*a + 5*v - 9025 = 0. Is 48 a factor of a?
False
Does 7 divide 1847/8 - -2*(-11)/(-176)?
True
Is (0 + 10)*((-24570)/28)/(-39) a multiple of 9?
True
Let h(f) = 11*f + 3. Suppose 2*t - 6 = t. Suppose c - 5*q - 3 = -2*q, 4*q + t = 2*c. Is h(c) a multiple of 15?
False
Let o(m) = -6*m**3 - 6*m**2 - 3*m - 7. Let u be o(-5). Is (6/2)/(3052/u + -5) a multiple of 38?
True
Let m(j) = j. Let p be m(-2). Let u be (-16)/p - (0 + 3). Does 5 divide (-18)/(-4) - u/(-10)?
True
Let h = 793 + 223. Does 127 divide h?
True
Let x be (-1776)/(-20)*(-10)/(-3). Let k(z) = z + 3. Let b be k(0). Suppose 0 = o + b*o - x. Is 23 a factor of o?
False
Let k(t) = t + 1. Let j(a) = -a - 3. Let w be j(0). Let i be k(w). Does 14 divide i/2*(-49 + -7)?
True
Is ((-60)/25)/((-4)/70) a multiple of 4?
False
Let o = -1544 - -2329. Is o a multiple of 51?
False
Let s(p) = -p**3 - 4*p**2 - 5*p - 2. Let o be s(-3). Let u be 4/(-8) + 318/o. Let l = u + -50. Does 12 divide l?
False
Let d(y) = -4*y**2 - 1. Let f be d(1). Let c be 5/15 - f/3. Suppose 5*h - 14 = -2*j, -3*h + c = j - 5. Is 2 a factor of j?
False
Suppose r - 24 - 25 = 4*z, r - 2*z - 57 = 0. Is r a multiple of 15?
False
Suppose 6*n - z - 816 = 4*n, 3*z = 5*n - 2040. Does 12 divide n?
True
Let a = 562 - 279. Does 29 divide a?
False
Let h = -772 + 1130. Is h a multiple of 13?
False
Let k = 8 - 4. Suppose 82 = k*l - 22. Is 3 a factor of l?
False
Let v = 38 - -15. Let q = v - 36. Is 4 a factor of q?
False
Suppose -5*r = 5*b - 60, -3*r + 7 + 33 = 4*b. Let x = r + 10. Is x a multiple of 5?
False
Let z = 1265 - 729. Is 31 a factor of z?
False
Let x be 28/(-42) - (-316)/6. Suppose -x = -v - 17. Suppose -3*d = -28 - v. Is d a multiple of 21?
True
Let o(x) = -x**2 - 16*x + 2*x**2 + 2*x**2 - 4*x**2 + 19. Does 5 divide o(-14)?
False
Let y(r) = -r**2 + 29*r - 28. Suppose 2*v - m - 23 = 14, 0 = -5*v - 3*m + 65. Does 24 divide y(v)?
False
Let s(y) = -10*y**3 - 10*y**2 - 7*y + 4. Does 13 divide s(-6)?
True
Let f(p) = 103*p**2 - 3*p - 7. Does 57 divide f(-4)?
True
Suppose -u + 21 = 4*d - 2*u, -4*d + 3*u + 31 = 0. Suppose 307 = 4*l - k, -d*l + 0*k = 2*k - 322. Is l a multiple of 8?
False
Let v(a) = -2*a + 7. Let y be v(5). Is 6 a factor of -10*7/(-4) + y/(-6)?
True
Suppose 3*l + 8 = 4*o - 110, l = -2. Is 10 a factor of (o/6 + -4)*105?
True
Let x(a) = -a**2 + 11*a + 5. Let u(i) = i. Let d(f) = -6*u(f) + x(f). Does 6 divide d(4)?
False
Suppose -2*h + 2*a = 282, 5*h + 0*h = 4*a - 704. Let s = h + 204. Does 15 divide s?
False
Let u = 10 - 15. Let z be -1 - (u + (3 - 3)). Suppose z*f - 88 = 24. Is f a multiple of 14?
True
Suppose y = -0*y - 18. Let g = y + 25. Does 14 divide -236*2/(-1 - g)?
False
Suppose 3 + 9 = 6*b. Suppose -p + 9 = -b*r, 4*p - 22 = -0*p + r. Is 21 a factor of 327/15 + (-4)/p?
True
Suppose 4*u - 1628 = -3*s, -16*s - 5*u = -15*s - 539. Is s a multiple of 68?
True
Does 18 divide (-10)/8 - 11/((-132)/7371)?
False
Let k = -159 + 127. Let t = 3 + 0. Let n = t - k. Is 20 a factor of n?
False
Let h be 1/4 - 675/(-20). Does 34 divide -4 + (4 - h*-5)?
True
Suppose 5*v + 0*f - 499 = 2*f, -489 = -5*v - 3*f. Let q = -45 + v. Does 11 divide q?
False
Let l(y) = -y**2 - 6*y + 9. Let b = -11 + 4. Let h be l(b). Suppose a - 2 = -h*k + 9, -3*k + 11 = a. Does 11 divide a?
True
Let x be (-40)/(-6) + (-1)/(-3). Let g(d) = -d**3 + d + 1. Let a be g(-1). Is 9 a factor of (a/(-2))/(x/(-252))?
True
Let f be 26/(-65) + (-3014)/(-10). Suppose -2*u - b + f = -296, -1494 = -5*u - 2*b. Does 11 divide u?
False
Let j(f) = 82*f**2 + 6*f - 4. Does 40 divide j(4)?
False
Suppose 136*w + 3*j + 3227 = 138*w, -3*w + 2*j + 4828 = 0. Does 22 divide w?
True
Suppose -3*p - 5 = -23. Suppose 6*d + p = 3*d. Is d/8 - (-82)/8 a multiple of 10?
True
Let j(s) = s + 178. Does 50 divide j(0)?
False
Let h = 1873 - 1266. Suppose 8*s - h = 353. Does 24 divide s?
True
Let j(h) = -h + 6. Let z be j(3). Suppose 0 = v + z*l - 84, 3*v - 4*l - 138 = v. Suppose v = -0*m + 5*m. Does 8 divide m?
False
Suppose -2*w = -6*w + 92. Suppose 110 = 3*d + w. Is 29 a factor of d?
True
Let u = 11283 - 7482. Is 40 a factor of u?
False
Suppose -15*f = -1099 - 956. Is 32 a factor of f?
False
Suppose -2*p + 4*w + 33 = -381, 3*p - 631 = -4*w. Is 32 a factor of p?
False
Is 3*(574/(-3))/(-7) a multiple of 3?
False
Let j = 93 + -26. Suppose -13 = d - j. Is 16 a factor of d?
False
Let a(x) = x**3 - 2*x**2 - 10*x + 24. Let t be a(6). Suppose -12 = -7*n + 3*n. Suppose k - 38 = -2*u + t, -u + n*k + 66 = 0. Does 20 divide u?
False
Let g(z) = -2*z + 0*z - 5 + 3*z**2 + 4 + 5. Does 15 divide g(-4)?
True
Let c(x) = 4*x - 3. Let b be c(2). Suppose b*i - 16 = 4*i. Is 8 a factor of i?
True
Let m(k) = k**3 - 3*k**2 - 4*k - 39. Let r be m(7). Let o = 272 - r. Is o a multiple of 11?
True
Suppose 74 = 3*i - 1. Let b = -46 + i. Let s = -13 - b. Is s a multiple of 4?
True
Is (18 + 0)/(96/912) a multiple of 9?
True
Suppose -5*m = -3*i + 535, 2*m = 6*i - i - 898. Does 36 divide i?
True
Let o(f) = -80*f - 21. Is 32 a factor of o(-9)?
False
Suppose -4831 = 16*v - 26415. Is v a multiple of 139?
False
Let i = 897 - 547. Is 33 a factor of i?
False
Suppose 2*a - 366 = -0*a - 4*c, 3*c - 552 = -3*a. Does 22 divide a?
False
Let j be -4 - (87 + -3 + 5). Let l = 196 + j. Does 6 divide l?
False
Let i = -1 - -1. Suppose 0 = l - i*l. Suppose -2*a + 3*k - 63 = -5*a, l = 4*k + 8. Does 6 divide a?
False
Let c be ((-6)/3)/(6/501). Let s = c + 338. Does 32 divide s?
False
Let i = 10 - 6. Let v(h) = h**2 - 64*h + 484. Let m be v(60). Suppose -4*s - m = -i*t, 372 = 4*t + s + 133. Is t a multiple of 12?
True
Suppose 97*v - 29198 = 84*v. Does 92 divide v?
False
Let i(l) be the first derivative of l**4/4 + 16*l**3/3 - 3*l**2/2 - 6*l - 17. Does 35 divide i(-16)?
False
Let m = 80 - 11. Suppose 0 = 5*x - 409 + m. Is x a multiple of 28?
False
Suppose -b + 20*a - 24*a + 671 = 0, 5*a = 2*b - 1342. Is 35 a factor of b?
False
Let a = 16 - 16. Let j be 0 - -3 - a - 11. Let t = 17 + j. Is t a multiple of 9?
True
Let d(a) = -11*a + 8. Let o = 18 - 23. Does 9 divide d(o)?
True
Let c = -1187 + 1773. Does 11 divide c?
False
Let i = 183 - -651. Suppose 2*l + 2*b - 342 = 0, -5*l + i = -2*b - 0*b. Suppose -3*w + l = 4*w. Is w a multiple of 6?
True
Suppose 3*c - 24*c = -1470. Is 11 a factor of c?
False
Let t = 1987 + -1371. Is 8 a factor of t?
True
Suppose -3*f = 3*i - 348, -4 = -2*i + 4*i. Is 11 a factor of f?
False
Let y(s) = 3*s**2 - 36. Is 11 a factor of y(-8)?
False
Suppose 10*p - 1649 = 101. Does 3 divide p?
False
Let k(i) = -119*i**3 + 1. Let v be k(-1). Let u = -82 + v. Let y = u + 13. Is y a multiple of 17?
True
Suppose -5*m + 95