m + 20052, 3*f = 2*m + 30094. Is f a multiple of 36?
False
Let a(x) = -x. Let u(j) = j**2. Let t(z) = -4*a(z) - 3*u(z). Let y be t(4). Let w = -24 - y. Is w even?
True
Let h = -62 - -245. Suppose h = 6*j - 51. Does 4 divide j?
False
Let n(i) = i**3 - 13*i**2 + 2*i + 16. Let q be (-5 + 2)/(5/130*-2). Suppose 5*r + q = 8*r. Is n(r) a multiple of 14?
True
Let g = -3382 + 5851. Is g a multiple of 40?
False
Is 6 a factor of (-304545)/(-180) + (-4)/(-48)?
True
Let f be 6/(-4)*(-27092)/(-78). Let i = f - -791. Is i a multiple of 30?
True
Let v(r) = 105*r - 1920. Does 60 divide v(28)?
True
Let s = -13197 - -14712. Does 10 divide s?
False
Let a = -2493 - -3085. Is a even?
True
Suppose 156 + 40 = 2*w. Let m = w + -52. Suppose 550 = -44*p + m*p. Is p a multiple of 36?
False
Let x = 76 + 118. Suppose -4*n = 2*i - 388, 8*i + 4*n = 9*i - x. Is 17 a factor of i?
False
Let f(h) = 4*h**3 - 3*h**2 + 49*h - 232. Does 13 divide f(12)?
False
Let s = 4203 + -2350. Is s a multiple of 17?
True
Let c be (-4)/((-6)/(24/1)). Suppose -c = 8*w - 4*w, 2*v = 4*w + 1834. Is v a multiple of 52?
False
Let h(r) = -r**3 - 110*r**2 + 780*r + 152. Does 23 divide h(-117)?
True
Let q(i) = 3*i**2 + 17*i + 20. Let y be q(16). Suppose 2*z + 5*n - y = 3*n, 3*n - 540 = -z. Does 15 divide z?
True
Let s(q) = 38*q**2 + 425*q + 100. Is s(20) a multiple of 119?
True
Let g be (-10)/(-4)*(-1 + 3). Suppose -g = -5*x + 5. Suppose u + 2*u = -4*o + 663, x*o + 5*u = 321. Is o a multiple of 28?
True
Let q be 0 + 4 + -4 + -1. Let b be -42 - (-8)/(-5 - q). Is 15 a factor of 843/4 + 33/b?
True
Let b(h) = h**2 - 9*h + 6. Let v be b(5). Let u(m) = -m**3 - 11*m**2 + 30*m - 18. Is 10 a factor of u(v)?
True
Let g be (17 - 3) + -1 - 0/(-4). Suppose 2*b = -2, -2*r + b - 194 = -3*b. Is 11 a factor of g - 16 - (r + 0)?
False
Let t(k) = 26*k + 10. Let v be t(12). Let c = v + 105. Does 15 divide c?
False
Let q = -100 - -100. Suppose 2*h = -u + 256 + 724, -h + 2*u + 495 = q. Is 50 a factor of h?
False
Let n(m) = 4279*m**2 - 958*m + 1912. Is 248 a factor of n(2)?
True
Let o(n) = -24*n + 218*n**3 - 8*n + 12*n**2 - 217*n**3 - 1. Let m be o(-13). Suppose -q + 0*q = 5*x - m, q - 50 = -x. Does 7 divide x?
True
Let v be (3 + (-23)/3)/(1/9). Let z = v + 34. Let g = 49 - z. Is g a multiple of 11?
False
Let u(y) be the first derivative of -y**5/10 - y**4/6 - 2*y**3/3 + 13*y - 16. Let l(a) be the first derivative of u(a). Is 28 a factor of l(-4)?
True
Let o = 287 - 180. Suppose -24*d + 5*u = -26*d + 219, -d = 5*u - o. Is 24 a factor of d?
False
Let d(w) = 7*w**2 - 23*w + 46. Let h be d(13). Suppose -6*a + h = -3*a. Does 62 divide a?
True
Suppose -461*c + 18982350 = -11*c. Is c a multiple of 9?
True
Let x = 50 - 45. Suppose x*b = 17 - 7. Suppose -d = -b*d + 55. Is 12 a factor of d?
False
Suppose -2*u = -5*r - 6*u - 70, 0 = r + 2*u + 14. Is 15 a factor of (13398/(-9))/(-11)*(-72)/r?
False
Does 109 divide (1962/10)/((-12)/(-2060))?
True
Let q(d) be the first derivative of 2*d**3 - 51*d**2/2 - 11*d - 33. Let g(n) be the first derivative of q(n). Does 15 divide g(13)?
True
Suppose 0 = 6*i - 4044 - 180. Suppose -4*q - i = 5*g - 8*g, 492 = 2*g + 3*q. Does 8 divide g?
True
Suppose 4*c = -43*c + 57199. Suppose -223 = -10*f + c. Is 12 a factor of f?
True
Let c = -36 + 33. Let h be 5*1/(-1)*c. Suppose -h*i + 9*i = -1062. Is i a multiple of 59?
True
Let r = 21 + -16. Suppose -3692 = r*h + 7988. Is 15 a factor of (-40)/(-260) + h/(-26)?
True
Let o be (-125)/15 + 4/(-6). Let k be (-142)/(-12) + o/(54*-1). Does 17 divide ((-51)/6)/((-1)/k)?
True
Let b(v) = -v**3 + 2*v**2 - 3*v - 4. Suppose -t - 4*t = -5*x - 5, 4*t - 3*x = 0. Does 50 divide b(t)?
True
Suppose 37 = 4*a + c, -3*a = 5*c + 9 - 41. Let f = a + -4. Suppose 0*m - 266 = -5*m + 4*d, -270 = -f*m + 5*d. Is 10 a factor of m?
True
Suppose 5*w - 1899 = -3*h + 2592, 3*w - 4497 = -3*h. Let c = 2221 - h. Is c a multiple of 12?
False
Let w(k) = 3*k**2 + 7*k + 1. Let p be w(-4). Is 14 a factor of (-3 - (-57)/p) + 20622/147?
True
Is 26 a factor of (1*30/(-35))/((-3)/23184)?
False
Let b(h) = 9*h**2 + 109*h - 186. Does 92 divide b(21)?
True
Suppose 6 = 2*p + 2. Suppose -10*o + 15*o = 3*i - 1690, -3*i = -p*o - 1684. Does 70 divide i?
True
Suppose -p - 2*h + 24 = 2, 0 = -4*p - 4*h + 88. Suppose -3 = -x, 3*v + p = -5*x + 82. Does 17 divide 6/v - 508/(-5)?
True
Suppose 40*a + 6345 = -5*a. Suppose 3*n - 5*q = -112, 75 = -0*n - 2*n + 3*q. Let d = n - a. Is d a multiple of 17?
True
Suppose -25 = -5*x, -2*u + 27*x - 24*x = -15499. Is u a multiple of 62?
False
Suppose 66*f - 149*f + 893163 = 0. Does 9 divide f?
False
Suppose -106*l + 45192 = -85*l. Is 3 a factor of l?
False
Suppose -140 = 18*u - 8*u. Let d(a) = a**3 + 16*a**2 + 12*a + 7. Is 21 a factor of d(u)?
True
Let a be (4/(-6))/(24/108). Is 3 a factor of 4/a + 1 - 58786/(-273)?
False
Let f be (-414)/(-72) - 2/(-8). Let g be (-1009)/27*-6 - f/27. Suppose 0 = -x + 3*x - g. Is x a multiple of 16?
True
Let n be -5*(45/9 - 27). Suppose -n*s + 116*s - 1440 = 0. Does 10 divide s?
True
Let i = -8775 - -19687. Is i a multiple of 16?
True
Let v = 535 - 227. Suppose v = -4*q + 6*q + 5*z, 5*q - 708 = 3*z. Is 16 a factor of q?
True
Suppose -24*i + 23*i = -3. Let u be 1 + 10 + 4/(-2) + i. Suppose -o + 1 = -2*x + 3, -2*x = 4*o - u. Does 2 divide x?
True
Let p = 136 - 124. Is 162/p*(0 - (-52)/3) a multiple of 18?
True
Let m be ((-2)/4)/(60/(-4920)). Suppose -402 = m*i - 44*i. Is i a multiple of 5?
False
Let x(g) = -5*g + 823. Does 44 divide x(59)?
True
Let k = -571 - -574. Suppose k*l - 2*l - 115 = -a, 4*a - 458 = -2*l. Does 57 divide a?
True
Suppose 5*r + 16 + 14 = 2*s, -2*r = -s + 13. Suppose -4*n + 8423 = s*g, -g + 3*n + 2314 - 637 = 0. Is 17 a factor of (g/44)/((-1)/8*-2)?
True
Suppose -10 = -5*p - 0. Suppose p*n + 163 = 3*s, 0 = -2*s + 5*n - 43 + 148. Does 4 divide s?
False
Suppose -4*v + 564 = 2*v. Let j = 119 - v. Suppose -5*p - s = -33 - 164, 5*s - j = -p. Is p a multiple of 10?
True
Suppose 2*q - 400 = 3*x - 3*q, 2*x = 3*q - 265. Let y = 188 + x. Is 21 a factor of y?
True
Suppose 19*j = -12*j. Suppose j = -5*t + 2113 + 552. Does 25 divide t?
False
Suppose -3*y = 5*k - 202, -3*k + 2*y = -0*y - 125. Suppose f = k + 42. Suppose -h + f = -39. Does 12 divide h?
False
Let y = 15257 + -10928. Is 13 a factor of y?
True
Let v = -889 + 497. Let q = 529 + v. Is 35 a factor of q?
False
Is (34 - -8)/((-105)/(-22820)) a multiple of 163?
True
Let v(l) = -l**2 - 6*l - 11. Let b be v(-5). Let g be 20/(-2)*14/4. Is 37 a factor of b/15 - 2779/g?
False
Suppose -r + 29 = 5*t, 2*r = 4*r - 2*t + 2. Suppose r*z - 718 + 80 = -5*b, 0 = 3*z + 9. Does 10 divide b?
True
Let t = -799 - -818. Suppose -t*r + 24*r - 6155 = 0. Is 91 a factor of r?
False
Suppose 41*b - 36*b - 180 = 0. Let g = b - 31. Suppose 2*x = -g*p + 45, -x + 0*p + 25 = 3*p. Does 4 divide x?
False
Let s = -2 + 7. Suppose -5*a = 3*m - 45, 0 = -s*a - 0*a - 2*m + 45. Is 6 a factor of ((-96)/a + 1)*-3?
False
Suppose 37594 + 33722 = 7*r + 2*r. Does 14 divide r?
True
Let f = 1312 - 1309. Let i(o) = -60*o. Let s be i(-5). Suppose -s = -f*z - 3*z. Does 15 divide z?
False
Suppose -65 = 2*g - 7*w + 2*w, 5*w = 15. Is (4690/g)/(4/(-10)) a multiple of 9?
False
Suppose 3*u = 3*n - 12843, -70*u + 65*u = -2*n + 8553. Is n a multiple of 14?
True
Suppose -6*f + 25 = -10*f + 5*v, f - 4*v = -20. Suppose -5*u = -f*u - d - 765, -20 = 4*d. Does 5 divide u?
False
Suppose -4*b + b + g = -14245, 4*b = -2*g + 19020. Is 12 a factor of b?
False
Let j(o) = -4*o - 9. Let q(b) = 5*b + 8. Let d(g) = -2*j(g) - 3*q(g). Let m be d(20). Let l = m + 236. Is 18 a factor of l?
True
Suppose 2*r = 2, 9*r - 8*r = l - 1766. Does 48 divide l?
False
Suppose 516359 = 33*a + 16*a - 1357058. Does 221 divide a?
True
Let o(u) = -352*u + 4008. Does 181 divide o(-75)?
True
Does 102 divide ((-4)/(56/315))/((-5 - -2)/1224)?
True
Suppose 170*t - 40381 = -2*c + 175*t, -t = 5*c - 100993. Is 24 a factor of c?
False
Let d = -6 + 0. Suppose 0 = 70*u - 2237 + 7137. Let o = d - u. Is 15 a factor of o?
False
Let c(i) be the third derivative of -i**6/30 - 17*i**5/30 + 5*i**4/8 + 11*i**2. Let g(b) be the second derivative of c(b). Is 25 a factor of g(-7)?
True
Suppose -6*s = -69 - 261. Suppose -3 + s = l + 2*y, -2*l = -2*y - 80. Does 3 divide l?
False
Suppose -8*v + 3832 = -3264.