 - 13 + u = 0, -4*a = 0. Suppose 0 = -i + z*i - 77. Does 11 divide i?
True
Suppose -147*x = -178569 - 198138 - 354177. Does 113 divide x?
True
Is -12 - (-7887 + 1 - 4) a multiple of 13?
True
Let r be (-1)/(-1*1/(-2)). Let p(x) = -x**2 + 13*x + 10. Let g be p(12). Is g - 19 - (r - 282) a multiple of 41?
True
Suppose 0*t = 4*m + 3*t + 725, -4*t - 350 = 2*m. Is 6 a factor of 170/(-204) - m/6?
True
Let u(m) = -21*m - 45. Let v be u(-25). Suppose -4 = 2*h, 2*t + 5*h - v - 56 = 0. Does 12 divide t?
False
Let w(f) = 7*f + 133. Let u be w(-19). Suppose 2*t = -2*c + 422 + 4, 2*t - c - 417 = u. Is t a multiple of 15?
True
Suppose q - 3*m = -3*q + 19, -2*q - m + 17 = 0. Suppose q*x - 2*x + 589 = 2*b, -5*b + 5*x = -1510. Does 9 divide b?
False
Let z(i) = 78*i - 197. Suppose a - 16 = -3*k, 4*a + 5*k - 72 = -22. Is 11 a factor of z(a)?
True
Let c = 63525 - 11451. Does 304 divide c?
False
Let l be ((-33)/22)/(1/2) - -9. Let v(r) = -r**2 + 3*r + 8. Let k be v(l). Let g = k + 13. Does 2 divide g?
False
Let x(t) = -1441*t**3 + t**2 + 3*t + 3. Let r be x(-1). Suppose 5*a + 5*h = 1460, -r = -5*a - 2*h + 3*h. Let j = a + -190. Is j a multiple of 23?
False
Let i(p) = 4*p**3 + 7*p**2 - 11*p - 20. Is 28 a factor of i(5)?
False
Let o be (0 - 0)/((2 + 4)/(-6)). Suppose -5*s - 3*w + 10 = 0, 25 = -s + 4*s - 2*w. Suppose s*y - 257 - 578 = o. Is 30 a factor of y?
False
Let u(c) = 7005*c - 1603. Does 59 divide u(1)?
False
Is 7 a factor of (-1)/4 - (29 - 31)/((-8)/(-11369))?
True
Let w(n) = -2*n. Let o(l) = 61*l + 69. Let s(v) = -o(v) - 6*w(v). Is s(-3) a multiple of 39?
True
Let z(f) = -35*f + 26. Let m(l) = 37*l - 26. Let i(o) = -6*m(o) - 7*z(o). Is i(7) a multiple of 5?
True
Suppose 0*z - 3*z - 1055 = 5*d, -3*d - 657 = -3*z. Let m = 368 + d. Does 22 divide m?
True
Let x(u) = u**2 - 11*u - 6. Let a be x(11). Let l(m) = 2*m**2 + 9*m - 23. Let t(y) = -y**2 - 5*y + 11. Let j(i) = 3*l(i) + 5*t(i). Does 2 divide j(a)?
True
Let l = 10551 + -6014. Does 16 divide l?
False
Let k be (-43)/(-4) - 95/(-76). Suppose 0 = -5*c + c + 16. Suppose -n = -k - c. Does 3 divide n?
False
Suppose -2*z = -3*p + 139, 4*p - 90 = 4*z + 98. Suppose -88 = 7*x + p. Is 16 a factor of (-1)/4*(x - 601)?
False
Suppose -12*i + 7697 - 1445 = 0. Is i a multiple of 20?
False
Let g be 5920/(-32)*4/10. Let r = g - -109. Suppose 0 = r*a - 34*a - 90. Is a a multiple of 15?
True
Let h = 720 - 447. Suppose -h = x - 1351. Is 54 a factor of x?
False
Let q(g) = 921*g**3 - 24*g**2 + 23*g. Does 4 divide q(1)?
True
Suppose -3*p - 29 = -308. Suppose 4*x = -k + 7 + 11, 0 = x - 4*k - 13. Suppose x*b - p + 13 = -5*t, 3*t + 6 = 0. Does 9 divide b?
True
Let h(p) = 937*p - 148. Is h(3) a multiple of 58?
False
Is -1*(-5 - (-21934)/(-11)) a multiple of 17?
False
Suppose 3*f + 7 = 4*o, 0 = -13*f + 10*f - o - 2. Is 35 a factor of 1 - (-138 + 8)/(f/(-5))?
False
Suppose -5*m + 2986 = -d, -3*m = m + 3*d - 2404. Suppose 0 = -f - z + m, f - z - 2387 = -3*f. Does 22 divide f?
False
Let r be -8 + (4/(-12) - 7/(-3)). Let o be r/2 - (-1248)/2. Let k = o - 405. Does 27 divide k?
True
Suppose 0 = -14*f + 5172 + 428. Is f a multiple of 4?
True
Let y = -514 - -2142. Is y a multiple of 37?
True
Suppose -15*w - 8525 = -38945. Is w even?
True
Let c(u) be the third derivative of -u**4/12 - 25*u**3/6 + u**2. Suppose -115*s - 811 - 1109 = 5*s. Is 2 a factor of c(s)?
False
Let g = 457 - 513. Let p = g + 251. Is p a multiple of 39?
True
Let t(w) = 6*w + 34. Let x be t(-6). Let s be (-1 + x)*(-4)/6. Suppose i + s*i - 351 = 0. Is 13 a factor of i?
True
Let l(s) = s**2 + s - 36. Let x be l(5). Is 20 a factor of 172*30/25 + x/(-10)?
False
Suppose -2*p = 4*m - 360, -192 + 903 = 4*p + 5*m. Is p a multiple of 6?
True
Suppose 9 = 3*d - 0. Let x(a) = -16*a + 0*a**d + 0*a**3 - 20 - a**3 - 8*a**2. Does 15 divide x(-8)?
False
Let x be ((-16)/(-4))/(6/(-15)). Let w be ((-24)/x)/((-42)/(-5565)). Suppose g + 2*g = w. Does 15 divide g?
False
Let a(x) be the second derivative of 21*x**5/5 + x**4/6 + 10*x + 1. Is a(2) a multiple of 17?
True
Let g be (0 + -1)*((-6 - -21) + -5). Let x = 15 + g. Suppose 342 = -x*s + 902. Does 33 divide s?
False
Is 19 a factor of ((-2896)/2)/((-4)/38)?
True
Let i = -2936 + 3068. Is 22 a factor of i?
True
Let z(m) = -3*m - 5. Let l be z(-5). Let r be (0 - -3) + (0 - 1)*l. Is 2 a factor of (-2 - r/2)/(6/44)?
False
Suppose q + 19 + 49 = -4*a, 5*a + 2*q + 82 = 0. Suppose 4*h + 12 = 112. Let y = h + a. Is y a multiple of 7?
True
Let l be (-14 - -18)*15/(-6). Let i(n) = -34*n - 63. Is 26 a factor of i(l)?
False
Suppose -271 = -8*i + 1161. Suppose -5*b = v - 172 - 163, 0 = -3*b - 5*v + i. Does 6 divide b?
False
Is (3 + -11 + -5)/(30/(-111870)) a multiple of 13?
True
Suppose -35*s + 19*s - 16 = 0. Is 40 a factor of (-1750)/(-7) + (-2)/s?
False
Suppose -3*s + 83 = -n, 2*s = 3*n + n + 42. Let b = 354 + s. Is b a multiple of 12?
False
Let u = -81 + 90. Suppose -u*t = 1527 - 3642. Is 17 a factor of 30/(-20)*(-1 - t/3)?
True
Let n(z) = -3*z**2 + 4*z - 3. Let s be n(2). Let k be 2/(3/(-3)) + (s - -434). Suppose -6*a = -k - 55. Is 10 a factor of a?
True
Let k(i) = 22*i**3 + i**2 - 4*i + 19. Suppose 2*h + 2*w - 3 = 3*w, h = -2*w + 9. Is k(h) a multiple of 61?
True
Let v(s) = -47*s - 16. Let c(j) = 6 - 2 + 13 + 46*j. Let h(i) = 6*c(i) + 7*v(i). Does 17 divide h(-3)?
False
Let i = 3690 - -6753. Is i a multiple of 59?
True
Let l = -86 - -91. Suppose l*d - 40 = 10*d. Is (14/d)/(2/(-104)) a multiple of 11?
False
Suppose 0 = 4*n - n - 5*u - 15, -3 = 3*n + u. Suppose 7*b = -3*g + 5*b + 2057, -g - 4*b + 699 = n. Does 12 divide g?
False
Let s = 26136 + -18216. Is s a multiple of 18?
True
Let d be (-108)/(-11) + (-10)/(-55). Suppose -5*f = 5*a + d, -3*f + 0*f + 14 = -a. Is 72 - (1 + (f - 0)) a multiple of 30?
False
Let r(a) = a**3 + 16*a**2 + 17*a + 35. Let l be r(-15). Suppose 2*c - l*h = -7*h + 228, 3*c - h - 342 = 0. Let b = 136 - c. Does 4 divide b?
False
Let f(l) = -l**3 - 4*l**2 + 33*l - 24. Suppose -129*v = -118*v + 121. Does 46 divide f(v)?
True
Suppose -4*k - 5*a + 22 = 0, -3*k + 4*k - a = 1. Suppose -2*n = -2*z + 128, -4*n - 121 = -k*z + 76. Let q = z - 47. Is q a multiple of 6?
True
Let z = -574 + 970. Suppose 0*u + 3*k = 3*u + z, 5*u + 2*k + 681 = 0. Let i = u - -216. Is i a multiple of 9?
True
Suppose 0 = 4*w - 31 - 17. Suppose -w*z = -16*z - 240. Let c = -35 - z. Does 5 divide c?
True
Suppose 5*g - 4 = k + 6, g = -5*k + 28. Suppose 4*u - 12 = -v - g*v, u - 3*v = 3. Let f = u - -21. Is f a multiple of 6?
True
Let q = -241 + 2641. Is 12 a factor of q?
True
Let v be 3 + 4/12*6. Suppose v*h = -3*h + 2552. Suppose 212 = 2*i - 3*o, -i - 4*o = -4*i + h. Is i a multiple of 18?
False
Let z be (-1)/(-3)*6 + -41. Let o = 42 + z. Suppose -2*b - 2*b + 43 = t, -4*t - o*b + 120 = 0. Is 9 a factor of t?
True
Let s(t) = 29*t - 1110. Let r be s(54). Let z(i) = -i + 5. Let p be z(0). Suppose -p*o = -o - r. Is 19 a factor of o?
True
Suppose 4*k = -4*s + 26496, 5*k + 10*s - 33126 = 3*s. Is k a multiple of 33?
False
Let l(a) = -a**3 - 14*a**2 - 35*a + 11. Let z be l(-11). Let d = z - -75. Is d a multiple of 9?
True
Let h = 665 + 4072. Is h a multiple of 9?
False
Does 108 divide ((2 + -3)*1/(-1))/(3/27744)?
False
Let a = -27 + 29. Suppose 747 + 1411 = a*g. Suppose 11*h - g = -155. Is h a multiple of 28?
True
Suppose 47596 = 32*c - 69492. Is c a multiple of 109?
False
Let p = -19 - 27. Let q = p + 46. Suppose 2*a - 5*j - 319 = 0, 2*a + 3*j = -q*j + 279. Is a a multiple of 21?
True
Let z(j) = -1164*j + 128. Does 115 divide z(-1)?
False
Let f = 24865 + -13141. Is 76 a factor of f?
False
Let x(a) = -8019*a + 92. Let m(i) = -2673*i + 31. Let b(d) = 7*m(d) - 2*x(d). Let w be b(-7). Does 17 divide w/96 - 10/8?
False
Let h = 305 + -52. Suppose 0 = -3*w + 823 - h. Does 38 divide w?
True
Suppose 0*f - 47807 - 46950 = -37*f. Does 13 divide f?
True
Let s(n) = 3126*n**3 - 296*n + 297. Does 74 divide s(1)?
False
Let n(i) = -i**2 - 14*i + 5. Let z be n(-13). Let p(r) = 22 - 4*r + z - 47. Is p(-4) a multiple of 3?
True
Let j = 28601 - 9108. Does 29 divide j?
False
Suppose -5*o = 2*m - 2, 16*o - 21*o - 3*m + 3 = 0. Let a(k) = -k**3 - 2*k + 263. Does 43 divide a(o)?
False
Let c(g) = g**2 - 31*g - 931. Does 31 divide c(-61)?
True
Let j(y) be the first derivative of -23*y**2/2 + 45*y + 90. D