irst derivative of -12*n**2 + 13 - 3*n + 5*n**2 + 13*n**2. Does 28 divide m(5)?
False
Let z be (67/5)/(-1 - 80/(-75)). Let t = -175 + z. Is t a multiple of 3?
False
Suppose -o = 6*o. Let a be -4 + 5 + (o + -4 - -3). Suppose 4*s + a*s - 368 = 0. Is 46 a factor of s?
True
Suppose 156 = -0*y + y - 2*f, 5*f - 5 = 0. Suppose -4*l + 14 = -y. Does 26 divide l?
False
Let s(h) = 5*h - 4. Let x be s(5). Suppose x = 4*i - 7. Suppose -i*z = 2*z - 81. Is z a multiple of 4?
False
Suppose 95*m - 442150 = -92645. Is m a multiple of 13?
True
Is 3 a factor of ((-6)/(-12)*-466)/(-5*2/40)?
False
Let s = -28600 - -47913. Is 31 a factor of s?
True
Suppose -15 = -3*f - 174. Let s = 78 + f. Is 3 a factor of s?
False
Suppose 3*g = 5*s + 14401, -16162 = -4*g - 3*s + 3020. Is g a multiple of 205?
False
Suppose -5*l = -0*l + 510. Let t = l + 102. Suppose 0 = -5*m + 2*h + 64, -2*m + 2*h + 28 + t = 0. Does 7 divide m?
False
Suppose -l + 3*l = 5*t - 300, t + l - 67 = 0. Let w = -630 - -749. Let d = w - t. Does 21 divide d?
False
Let x = 127 - 121. Suppose -x*s = -50 - 1078. Does 15 divide s?
False
Is (34/68)/(1/6266) a multiple of 56?
False
Does 5 divide (4258/4)/((-23)/(-230))?
True
Suppose -272 = -3*r + 70. Suppose -119*l = -r*l - 270. Is l a multiple of 6?
True
Let t be ((-54)/45 - (-8)/40)*0. Let x = -6 + 9. Suppose t = -w - 5, w = -x*j + j + 223. Is j a multiple of 12?
False
Suppose 3*y - 13 = -25, -1688 = -4*v + y. Suppose -2*d + 573 + v = 3*q, 318 = q + 4*d. Is q a multiple of 29?
False
Let v be 862/6 - 8/12. Let y be 2 + (1681/(-246))/(1/(-6)). Let m = v - y. Is 25 a factor of m?
True
Let x = -15499 + 30657. Is 53 a factor of x?
True
Suppose 5*h - b = -72, -3*b + 1 = -5*h - 75. Let x = 17 + h. Let w(f) = 2*f**3 + 4*f**2 - f - 7. Does 16 divide w(x)?
True
Let o(w) = 15*w - 44. Let i be o(3). Is 32 a factor of i*4 - 3772/(-23)?
False
Let y be (-2)/((-12)/(-8) - 2). Suppose -3*o + 13 - y = 0. Suppose 92 = o*n - 43. Does 9 divide n?
True
Let c = 970 + -967. Suppose 0 = c*y + 5*v - 1569, -y + 271 = -4*v - 269. Is y a multiple of 24?
True
Suppose 8*a = 8 + 16. Suppose -a*g = -3*g - 9*g. Is 28 a factor of (-150)/50 + 53*(g - -1)?
False
Let s(r) = 10*r**2 + 2*r - 2. Let f be s(-8). Suppose 6*g - 290 = f. Suppose 25*o + g = 26*o. Does 38 divide o?
True
Suppose 6*w + 2*w - 20736 = 6*w. Does 24 divide w?
True
Let t(s) = -9*s + 29. Let g(p) = 4*p**2 - 11*p - 4. Let l(f) = -f**2 + f - 1. Let h(j) = g(j) + 5*l(j). Let u be h(-6). Does 11 divide t(u)?
True
Let k(p) = -p**3 - 23*p**2 + 15*p - 54. Let w be k(-24). Let g = 635 - w. Does 11 divide g?
True
Let n(c) = c**2 + 5*c - 50. Let r be n(6). Suppose -i - 19 = -r. Is 12 a factor of (3 - 18/i)/((-9)/(-24))?
True
Let s(j) = -105*j - 85. Let u be s(2). Suppose 0*r + r + 885 = 2*x, 15 = -5*r. Let f = u + x. Does 38 divide f?
False
Let m be (32/(-24))/((-4)/6) - -132. Suppose -3*y = -2*r - 0*y - 258, 4*y = r + m. Let w = -87 - r. Is 11 a factor of w?
False
Let y = 59959 + -40749. Is y a multiple of 17?
True
Suppose -1153*g = -1148*g - 1025. Is g + ((-4)/4 - -3) a multiple of 58?
False
Suppose -12 + 0 = a. Does 16 divide ((-1)/(-5))/(a/30)*-354?
False
Suppose -155*n + 124*n - 19339014 = -469*n. Is 67 a factor of n?
True
Let i be 199/4 - (1 - 2/8). Is (42/i*-2)/((-2)/168) a multiple of 48?
True
Let g(o) = 4*o**2 + 7*o + 4. Suppose 8*y = 91 + 37. Let r be y/(-10) + (-6)/15. Is 6 a factor of g(r)?
True
Suppose 0 = l - 3*v + 6*v + 32, 4*v = -4*l - 120. Let o = 124 + l. Suppose -o*x + 98*x = 465. Does 31 divide x?
True
Suppose 4*l + 416 = -0*g - 2*g, -4*g - 4*l - 836 = 0. Is 25 a factor of g/((6/15)/(0 + -1))?
True
Suppose -275*w + 284*w = 119358. Does 38 divide w?
True
Let x = 486 + 525. Is 19 a factor of x?
False
Let p = 671 + -241. Is 10 a factor of p?
True
Let y(v) = 4*v**3 - 3*v**2 - v + 1. Let j be y(-3). Suppose -4*c + 3*a = 790, 5*a - 6 + 976 = -5*c. Let i = j - c. Is i a multiple of 13?
True
Suppose -73*i + 100359 + 47977 = 0. Is 9 a factor of i?
False
Let l(g) = -2*g + 2. Let j(k) = -5*k - 141. Let y(z) = -j(z) + 2*l(z). Is y(30) a multiple of 7?
True
Let z = 3139 + 1256. Does 15 divide z?
True
Is 94 a factor of ((540/(-42))/(-5))/((-3)/(-987))?
True
Suppose 0 = -n - 4*u + 16837, 146*u - 143*u = 5*n - 84323. Does 85 divide n?
False
Let a = -60 + 65. Suppose 0 = 3*o - a*o + 20. Suppose -6*p = -o*p + 312. Is 5 a factor of p?
False
Let n(l) = -272*l + 2452. Let g be n(9). Let o be ((-2)/4)/((-2)/96). Is (g - 6 - (0 - -2)) + o a multiple of 10?
True
Let h = -2471 - -3165. Is h even?
True
Let b(f) = 6161*f**2 - 8*f + 2. Is b(2) a multiple of 38?
False
Let s = -313 - -324. Suppose 4*d + 15*c = s*c + 1300, 0 = -c + 5. Is d a multiple of 40?
True
Suppose j = -7*j - 72. Let k be j/12 + 252/16. Let i(y) = 2*y**2 - 28*y - 6. Is 8 a factor of i(k)?
True
Let o be 6520/5 - (-1 - -4). Let l = o + -856. Is 102 a factor of l?
False
Let y(u) = -121*u - 4800. Is 122 a factor of y(-60)?
False
Let f(x) = x**3 - 7*x**2 + 4*x - 23. Let w be f(7). Suppose -o + 0*o + 105 = m, -w*o - 3*m = -535. Is o a multiple of 7?
False
Suppose 0 = 5*q + 2*v - 23684, -4*v = -97*q + 91*q + 28472. Does 8 divide q?
False
Let u(w) = -w**2 - 8*w - 5. Let s be u(-6). Suppose -2*d = -3*p - 99, -2*d - 5*p + s*p + 104 = 0. Suppose -5*i = -383 - d. Is 7 a factor of i?
False
Let g(n) = -411*n - 1929. Is 61 a factor of g(-83)?
False
Let c = 19322 + -13448. Is 9 a factor of c?
False
Let j = -371 - -364. Does 20 divide (9 + 1)/(j/(-56))?
True
Let g(s) = -6*s**2 + 6*s. Let c be g(3). Does 10 divide (-3)/(27/(-276))*(-594)/c?
False
Suppose 8*a = 7*a + 4. Suppose -s - 25 = -a*c, -2*c + 71 = -5*s + 18. Does 8 divide (-556)/s - 22/(-99)?
False
Let s = 60 + 171. Let v(c) = -233 + 446 - s + 35*c. Is v(6) a multiple of 48?
True
Suppose -123016 = 225*u - 609466. Is 23 a factor of u?
True
Let p(k) = 13*k**3 - 6*k + 2. Let l(s) = -66*s**3 - s**2 + 30*s - 9. Let y(t) = 2*l(t) + 11*p(t). Let z be y(3). Suppose -43 - z = -4*x. Does 25 divide x?
False
Let s(g) = -g**2 + 30*g + 31. Let a be s(31). Suppose 5*f + 2*v + 268 - 6 = 0, -2*v + 8 = a. Is 13 a factor of (-3 - -5) + (-4 - f - 0)?
True
Suppose 5*s - 2*h = 1598, s - 5*h - 44 - 294 = 0. Suppose -2*t + s + 13 = 5*u, 2*t - 311 = -u. Does 44 divide t?
False
Suppose -3*d = -49 - 35. Let v = d + -25. Suppose i + 40 = 2*f, -4*i = -f - v + 23. Is f a multiple of 6?
False
Suppose -41503 = -4*y + 4433. Does 18 divide y?
True
Suppose 4*g + 4*m - 52 = 0, 5*g = 4*m - 5*m + 73. Suppose 0*c + 450 = g*c. Is c even?
True
Let z(p) = 22*p + 24. Let f(g) = 10*g + 12. Let o(b) = 13*f(b) - 6*z(b). Let y be o(4). Suppose y*h = -59 + 167. Is 2 a factor of h?
False
Suppose -5 = -a, 5*v - 34505 = 2*a + 5440. Is 131 a factor of v?
True
Let t be 2 - (-4 - (0 + -2 + -1)). Is (10/(-4))/(t/(-390)) a multiple of 13?
True
Let u be (-4)/(-12) - 15562/(-6). Suppose -h + 561 = j, 374 = -4*h + 4*j + u. Suppose 7*t - h - 37 = 0. Is 36 a factor of t?
False
Let k be -1*12/(-8 - -4). Suppose k*h = -3*f + 39, 4*f - 10 = 3*h - 63. Does 22 divide (13 - h)/((6/(-154))/3)?
True
Let j = 459 - -1974. Is j a multiple of 97?
False
Suppose 2*h + u = 31, 9*u - 5*u + 32 = 4*h. Suppose h*j = 11*j - 4*a + 606, 12 = -4*a. Is 59 a factor of j?
False
Let m(t) = -t**3 + 5*t**2 - 4*t - 2. Let b be m(2). Suppose b*p - 592 = -4*a, 0 = -4*p - 5*a + a + 1192. Suppose -13*o + p = -9*o. Does 8 divide o?
False
Let d(h) be the second derivative of -h**5/20 - h**4/12 - 2*h**3/3 + 300*h**2 - 33*h. Let c be d(0). Suppose 6*i - 2*i - c = 0. Is 10 a factor of i?
True
Let h = 7943 + 4080. Does 11 divide h?
True
Let k be -4 - 1/(2/1410*-3). Let b = -119 + k. Suppose a = 2*a - b. Is 28 a factor of a?
True
Suppose 0 = -0*m + 2*m - 5*o - 2323, -3*o = 2*m - 2283. Suppose m = 3*z - 5*u, 2*z + 1149 = 5*z + u. Is 25 a factor of z?
False
Suppose 5*t + 18 = 4*w, 2*t = 4*w - t - 14. Suppose -5*m = w*c - 40, -m = -9*c + 4*c + 46. Is 8 a factor of 0 - 6/c - 1492/(-20)?
False
Is 34 a factor of 28289056/1743 - 4/42?
False
Is 11 a factor of (((-1848)/20)/1)/((-34)/2295)?
True
Let p(h) = -h. Let f be p(0). Suppose f = 4*l + 9 + 51. Does 29 divide 12/(-90) - 647/l?
False
Let m(r) = -r**3 + 45*r**2 - 108*r - 5. Does 15 divide m(40)?
True
Let b(p) = 16*p**2 + 12*p - 56. Let c be b(-11). Suppose -3*s + 22*s = c. Is s a multiple of 9