 t(c) = 2*c**2 + 10*c + 14. Let o be t(n). Let f = 133 + o. Is f a multiple of 25?
True
Suppose 2*h = 10*h + 3320. Let m = h - -950. Is 37 a factor of m?
False
Let y(s) = 11*s**2 - 382*s - 105. Does 32 divide y(47)?
True
Suppose -116*m + 1623269 = -1224763. Does 31 divide m?
True
Let q(j) = -2*j**3 - j**2 + 1. Let k(d) = 13*d**3 + 12*d**2 + 9*d - 5. Let y(p) = -k(p) - 6*q(p). Is y(-5) a multiple of 2?
False
Let z(k) be the second derivative of -k**4/12 - 3*k**3 + 25*k**2/2 + 88*k. Is 51 a factor of z(-7)?
True
Suppose 5*z = -5*g + 3*z - 1807, 5*z + 1449 = -4*g. Let i = -297 - g. Is i a multiple of 8?
True
Let c(j) = -5*j - 18. Let k be c(-4). Suppose -k*q + q = -5*d + 10, 4*q - d + 78 = 0. Does 26 divide (-95)/q - 4 - 682/(-8)?
False
Let p be (-7)/21*-6*-8. Is p/2 + (449 - -3) a multiple of 33?
False
Let g(j) = -1728*j - 3844. Is g(-5) a multiple of 11?
True
Let n(s) = -s**2 + 14*s - 11. Let l be n(13). Is (l - -1)/(0 + (-6)/(-546)) a multiple of 13?
True
Let v be ((-14930)/20 - 4) + 9/(-6). Let z = 1479 + v. Does 57 divide z?
False
Let r = 27 - 15. Let o be (-1)/((-4)/r) + 303 + 0. Is (0 + o)/(-11 - -12) a multiple of 18?
True
Suppose 10 = -2*k - 0*k, -56 = -2*r + 4*k. Let g(h) = h**3 - 18*h**2 - 3*h + 62. Let y be g(r). Is (-2)/(-5)*(182 + y) a multiple of 15?
False
Suppose 3*t + 2*r = -487, 2*t + 3*r + 2*r + 310 = 0. Let q = 244 + t. Is 8 a factor of q?
False
Let o be -3 - (-20 - (-5 - -1)). Suppose x = 3*r + 7, -5*x + 5*r + o + 32 = 0. Let s(m) = m**3 - 7*m**2 - 14*m - 6. Does 28 divide s(x)?
False
Let z(d) = 2*d**3 - d**2 - 3*d + 2. Let f be z(0). Suppose -898 = -3*k - f*k - m, 0 = -3*m + 9. Is 59 a factor of k?
False
Let w(i) be the third derivative of 41*i**4/24 - 19*i**3/3 + 17*i**2. Let g be w(4). Let p = g - 37. Is 12 a factor of p?
False
Let a = 258 + -356. Let s = 202 + a. Is s a multiple of 26?
True
Let x(q) = -q**2 - 22*q + 4. Let l be 1/(-2)*(1 + (-22)/(-2)). Let z be x(l). Let a = 145 - z. Is 15 a factor of a?
True
Does 19 divide (-57*(-12)/(-16))/(2/(-40))?
True
Suppose 55*s + 286 = -88*s. Let b(t) be the second derivative of -11*t**3/6 + t**2 - 2*t. Is 8 a factor of b(s)?
True
Let w(y) = 1. Let q(n) = 29*n + 58. Let c(u) = -q(u) + 3*w(u). Suppose -30*g - 70 = -20*g. Is c(g) a multiple of 32?
False
Let s = -343 + 343. Suppose s = 3*c, 28*j - 1256 = 26*j - 5*c. Does 44 divide j?
False
Let b(n) = 131*n + 714. Is b(37) a multiple of 41?
False
Suppose 0 + 4 = 2*g - 2*q, 0 = -3*g + q + 8. Is g - (2 + -318) - (-9 + 6) a multiple of 33?
False
Let m = -258 + 260. Is 5 a factor of (4551/(-74))/(m/(-4))?
False
Let k(a) = 1 + 6*a - 3*a - a**2 + 28 + 9. Let h be k(7). Let g(m) = m**3 - 11*m**2 + 21*m - 6. Is g(h) a multiple of 10?
False
Suppose 0 = -14*d + 11*d - 3. Let x be 1*d/(-7) - (-310)/(-14). Is 9 a factor of (-1483)/(-11) - 4*1/x?
True
Let a(q) = q**3 + 23*q**2 - 28*q - 280. Is 14 a factor of a(-14)?
True
Let a = 5187 + -1833. Does 44 divide a?
False
Suppose 7*s = 267 + 104. Suppose 0 = -48*r + s*r. Suppose 4*i = -5*w + 355, -4*w + 9*w + 3*i - 350 = r. Is 19 a factor of w?
False
Let p = 51 + -53. Does 29 divide (-970)/p + -2 + 3?
False
Let f be -4 + 10 + -1 - 127. Let x = f + 122. Is -33*(-4)/(-6)*(x + -3) a multiple of 28?
False
Is 326710/18 + (-3065)/5517 a multiple of 165?
True
Does 79 divide ((-6794)/14)/(3/(-21))?
True
Let y(u) = -u**3 - 5*u**2 + 11*u - 6. Let l be y(-6). Let i = l + 30. Is 14 a factor of 534/15 - (-5)/((-75)/i)?
False
Suppose 3*c - 5*s - 1324 = 0, 18*s - 16*s + 440 = c. Does 8 divide c?
True
Suppose 4*g + 1 = 13. Let r(z) = -3*z**2 + 2*z + 1. Let l be r(-2). Does 18 divide 25*(g + (2 - (-27)/l))?
False
Let r(t) = 2*t**2 - 103*t + 1291. Does 35 divide r(96)?
True
Suppose -4*x - 2*l + 4 = -3*l, -4*x = 4*l - 24. Suppose 2*o = -32 - 430. Does 40 divide ((-2)/(x*-1))/((-3)/o)?
False
Suppose 4*c - 344 = 5*b, -c - b + 26 = -69. Let u(y) = c - 36 - 3*y + 17*y. Is u(8) a multiple of 31?
False
Let k = 3446 - 716. Suppose -7770 = -7*g - k. Is 15 a factor of g?
True
Suppose 57 + 111 = 3*a. Suppose 2*p + 6 = a. Is p a multiple of 5?
True
Let p(z) = -2*z**2 + 314*z + 170. Does 69 divide p(118)?
False
Let m(s) = 4*s**2 + 270*s - 134. Let g(d) = d**2 + 54*d - 27. Let k(t) = 11*g(t) - 2*m(t). Is k(-20) a multiple of 7?
True
Let k = 145 + -147. Is 270 - (-4 - (k + 3)) a multiple of 57?
False
Suppose 0 = -2*g - 1 - 7. Let c = 20 - g. Is c a multiple of 13?
False
Suppose -7*r - 8*r = -8685. Suppose 6*u = r - 531. Is 5 a factor of u?
False
Let q(y) be the second derivative of -y**5/10 - y**4/3 + 3*y**3/2 + 7*y**2 - 4*y - 12. Is 7 a factor of q(-5)?
True
Suppose -4*z + 2*j + 10 = 0, -z + 4*j + 0 - 8 = 0. Suppose 18*a - z*a = 3822. Is a a multiple of 7?
True
Let t be (-8)/(-2) - ((-24)/(-6) + -2). Is (-6313)/(-15) + 24/180 - t a multiple of 52?
False
Let c(h) = -87*h + 41. Suppose -t - 4*z + 12 = -5*t, 4*t + 10 = 2*z. Does 14 divide c(t)?
False
Let x = 114 - 115. Let y(o) = -o - 1. Let i(w) = -31*w**2 + 10*w + 11. Let m(b) = x*i(b) - 5*y(b). Is m(-3) a multiple of 31?
False
Suppose 69*o = 70*o - 10. Let g(x) = 12*x - 2. Does 19 divide g(o)?
False
Let p(l) = 20*l + 12*l + 13*l + 50 - 40*l. Suppose -5*c = -b - 2*b - 6, 3*c = -4*b - 8. Is 25 a factor of p(c)?
True
Let k(z) = 7*z**2 - 154*z - 224. Is k(38) a multiple of 36?
True
Let s be (11 - 26)*(-4)/6. Let j be ((-30)/25)/((-4)/s). Suppose 0 = -y + j*g + 98, 4*y - 106 = g + 275. Is 16 a factor of y?
False
Let i(j) = 37 + 4*j - j - 5*j + 6*j. Let g be i(7). Suppose -8*k - g = -21*k. Does 2 divide k?
False
Let q be 5 - (2/1 + 1). Suppose -z - 11 = 4*y, -q*y + 3 = -3*z - 16. Let p = z + 18. Is 6 a factor of p?
False
Suppose 155*a - 131347 + 707 = 177500. Is 25 a factor of a?
False
Let f = -26 - -29. Suppose -18 = -3*v - 6. Suppose -4*s - 72 = -f*y, 2*y - 100 = -2*y + v*s. Is y a multiple of 5?
False
Suppose o + 4*y + 4536 = 5*o, -5*y = o - 1146. Is 10 a factor of o?
False
Let o(h) = 118*h + 3727. Is o(94) a multiple of 126?
False
Let p = 4324 - 4531. Suppose -g + 288 = -21. Let o = p + g. Is 42 a factor of o?
False
Let b be (-17)/(-3) - (-94)/(-141). Suppose 4*j - 148 = -2*q - 0*j, 5 = b*j. Does 2 divide q?
True
Suppose 4*d + 15 = 7*d, -3*d + 168 = u. Suppose 2*k - m = u, 5*k = 6*m - 2*m + 390. Is 37 a factor of k?
True
Let m = 833 + -828. Is 51 a factor of (-5)/((-20)/53)*8*m?
False
Suppose 0 = -2*c - 5*g + 13, 11 = 3*c + g - 2. Suppose -4 = c*j - 0. Is j - -2 - (-34 + -11) a multiple of 17?
False
Let q(a) be the first derivative of -117*a**2 - 3*a - 92. Is 31 a factor of q(-1)?
False
Let i be -3 - -2*2/(24/(-18)). Is (-3)/(-4)*2*(-2408)/i a multiple of 29?
False
Suppose 43*s - 180 = -17*s. Let f(n) = -n**2 + 5*n - 2. Let x be f(3). Suppose -q - u + 109 = 3*u, -x*q + 474 = -s*u. Does 13 divide q?
True
Does 21 divide ((-11)/(-22) - (-51)/18)/((-8)/(-5304))?
False
Let i be (18/(-36))/(0 + (-2)/8). Let l(j) = 9*j + 0*j + 8 + 14*j**i - 6 + 5. Is 13 a factor of l(-3)?
False
Let j = -10 - -7. Let v(z) = z**3 + 4*z**2 + z - 3. Let m be v(j). Suppose -12 = -m*u + 7*u, i = -3*u + 23. Does 16 divide i?
True
Let y(t) = t**3 - 50*t**2 - 109*t - 455. Is 19 a factor of y(58)?
False
Suppose -8*b + 1336 = 8. Suppose 3*f - 233 = b. Suppose -35 + f = k - o, 3*o = 5*k - 494. Is k a multiple of 25?
True
Let j(f) = -f**3 - 7*f**2 - f - 6. Let w be j(-3). Let d be (-6)/4 - (3 + w/6). Suppose d*z = -3*s + 370, 244 = 2*s + 7*z - 3*z. Is 38 a factor of s?
False
Let i be 2/8 - (1782/(-8) + -5). Let a = i + -84. Suppose -30*n + 26*n = -a. Does 4 divide n?
True
Let m(f) = 3*f + 36. Let u be m(0). Let v = 34 - u. Is 12 a factor of -44*(4 - (4 - v))?
False
Let a be 13*(-3)/(-15) + (-2)/(-5). Suppose 2*o - b = 1 - a, 0 = -o + 2*b - 4. Suppose -5*c + 2*u + 118 = o, -9 + 52 = 2*c - 5*u. Does 12 divide c?
True
Suppose 46 = 3*d + 4*z, -4*z + 5 = z. Suppose 2637 = 4*y - 11*q + d*q, 5*y = 3*q + 3330. Is y a multiple of 29?
False
Suppose 379*i = 364*i + 165336 - 44016. Does 7 divide i?
False
Let a = -4162 - -7882. Does 5 divide a?
True
Let h = 16748 + -7727. Is 6 a factor of h?
False
Suppose -4*v + 4152 = 2*g, 3*g - g - 2*v - 4158 = 0. Suppose 284 = -13*t + g. Is 23 a factor of t?
True
Let y(p) = 4*p - 25. Let x be y(7). Let k = x + 5. Suppose r - k = 2. Is 10 a factor of r?
True
Suppose -5*z - 3602*g + 3604*g + 516