+ ((-9)/o - -21)?
True
Let f = 63 + 28. Suppose 2*w - 25 = f. Let p = 114 - w. Is 28 a factor of p?
True
Let n be 4/8*4*-12. Let p = 1 - n. Does 11 divide (88/10)/(52/p - 2)?
True
Let s(t) = -t**3 + 29*t**2 - 18*t - 103. Is 4 a factor of s(28)?
False
Suppose 0 = -4*j + 14*j + 10*j - 83380. Does 11 divide j?
True
Suppose 0 = 3*a + 2*a - 15. Suppose 99*j - 72 = 81*j. Suppose -2*n - 3*n - 201 = -j*f, -a*f = 3*n - 117. Does 11 divide f?
True
Let m be (-3)/(-12 - -3)*0/3. Let q be 2 - m*4/(-20). Suppose q*t - 129 = 365. Is t a multiple of 18?
False
Let l(b) = 15*b + 2407. Is l(0) a multiple of 83?
True
Suppose 327*x = -5*f + 324*x + 200193, -4*x = -24. Is 100 a factor of f?
False
Suppose 0 = -5*s + 16 - 46. Is 28 a factor of 3033/18 + s/4 + 1?
True
Is 6 - 0 - 2*(-3093)/6 a multiple of 21?
False
Suppose 5*j + 17 + 1098 = 5*w, j = -w + 225. Does 16 divide w?
True
Let w = 180 + -89. Let j = 97 - w. Suppose -j*s - 3*k = -4*s - 27, 0 = -5*s - k + 100. Is s even?
False
Is 19 a factor of -2 + (-7 - -32066) + 3?
False
Suppose -5*i + 7*i = 4. Suppose -s - 216 = -4*h - 5*s, -6 = -i*s. Suppose -n + 9 = -h. Does 9 divide n?
False
Suppose 7*r - 7 = 7. Suppose 0 = -4*u, -r*u + 8 = 2*k + 2*k. Suppose -h = 3*y - 376, y + k*h = 6*h + 108. Is 30 a factor of y?
False
Let t = -7 - -9. Suppose 177*o - 20 = 175*o. Suppose -t*h - 1048 = -o*h. Does 20 divide h?
False
Let d be ((-4)/(-16))/((-2)/4)*0. Suppose -5*f + 340 = 5*o, -o + f + 27 + 37 = d. Does 11 divide o?
True
Let y = -90 + 78. Let d be (-1600)/y - 3 - (-4)/6. Suppose 64 + d = n. Is 39 a factor of n?
True
Suppose 19*l = 25*l + 12*l - 6336. Is 5 a factor of l?
False
Suppose -q = 5*g - 11 + 53, -12 = -4*q. Let u(v) = -14*v - 41. Does 5 divide u(g)?
True
Let g(d) = -23*d**3 + 4*d**2 + 32*d - 31. Is g(-5) a multiple of 8?
True
Let j be -2 - 21/(-12) - (-549)/(-12). Is 16899/69 + (-4)/j a multiple of 39?
False
Let b = 34956 - 23171. Does 29 divide b?
False
Let b = -35 - -36. Suppose 2 = 2*z + t, 4*z + 2*t - b = 3*z. Let w(v) = 69*v**3 + 3*v**2 - v - 1. Is 10 a factor of w(z)?
True
Suppose -2064 = 10*p - 44. Let o = p - -460. Is 9 a factor of o?
False
Suppose 4*t = 2*w - 3*w + 51, -t + 3*w = -29. Let f(a) = 3*a**2 + 7*a - 1. Is f(t) a multiple of 30?
False
Let f be -3 - (-21)/(-14)*-4. Suppose 4*r - 848 = -2*y, 4*r - 3*r + f*y = 222. Does 21 divide r?
True
Suppose 0 = 2*n + 3*a + 334, -n - 7*a = -2*a + 167. Let w = 245 + n. Is w a multiple of 13?
True
Suppose -687694 = -357*r + 428645. Is 11 a factor of r?
False
Suppose -8*d = -10*d - 17*d + 238735. Is d a multiple of 35?
True
Is 2/(-4)*3084814/268*1*-4 a multiple of 17?
False
Let n be 44/8 - ((-6)/4)/1. Is 13 a factor of 1753/n + (-3)/7?
False
Let n = 67 - 28. Suppose 1704 = n*m - 35*m. Suppose -2*t = -94 - m. Is t a multiple of 45?
False
Suppose 0 = -256*v + 215*v + 700485. Does 15 divide v?
True
Suppose 12*v + 8*v - 60 = 0. Suppose -2*t + 1886 = -3*j - 394, -j + 3420 = v*t. Does 20 divide t?
True
Let i be 4483/((-1)/2*(-6)/3). Suppose i + 2702 = 15*c. Is 30 a factor of c?
False
Suppose 2*p + 237 = -3*m, 0 = p + 3*p + 5*m + 471. Let z = -79 - p. Let x = 85 + z. Does 8 divide x?
True
Let k be 0/(-3) + 6*(-4)/8. Is 221 - 16/4 - (k + 1) a multiple of 24?
False
Suppose 0 = -s, -5*s - 275 = -5*b - 50. Suppose -90 = -b*x + 40*x. Suppose -21*w = -x*w - 336. Is 22 a factor of w?
False
Suppose -128*q = -39*q - 1169727. Is q a multiple of 184?
False
Suppose 3 = 4*q + 3*d, -3*q + 0*q + 5*d - 5 = 0. Suppose i - 13*v + 8*v - 310 = 0, q = 5*i + v - 1654. Is 22 a factor of i?
True
Let r(y) = 6*y - 20. Suppose 11 = 3*i - 19. Let p be ((-24)/20)/((-3)/i). Is r(p) a multiple of 4?
True
Suppose -4*n + 2*p = -2444, 31*n = 36*n - 3*p - 3054. Is n a multiple of 18?
True
Let z(n) be the first derivative of 2*n**3/3 - n**2/2 + 18*n - 434. Let p = 14 + -8. Is 12 a factor of z(p)?
True
Let b(t) = 99*t - 17. Let u(q) = -299*q + 48. Let y(h) = -7*b(h) - 2*u(h). Is 9 a factor of y(-6)?
False
Suppose m - 4 = -m. Suppose 0 = 4*d + 3 - 11, -8*x + 4*d = -2704. Suppose 6 = -3*s, x = m*b + b + 3*s. Does 23 divide b?
True
Let z be 42087/19 - 20/190. Suppose 7*j - 4*j = t - 745, j - z = -3*t. Is 18 a factor of t?
False
Let h(y) = 14*y**2 + 6*y - 9. Let q(j) = 23*j**2 + 11*j - 18. Let d(f) = 5*h(f) - 3*q(f). Suppose 4 - 1 = w - 4*p, 2*p = -2*w + 6. Does 9 divide d(w)?
True
Does 86 divide 12410 + (5776/(-19))/(-16)?
False
Let a(u) = 894*u**2 + 31*u + 150. Is a(-6) a multiple of 21?
False
Let i be ((-704)/33)/16*-12*2. Is 6 a factor of ((-2580)/48)/((-4)/i)?
False
Does 49 divide 490/(-4)*152/(-190)?
True
Suppose -4*b - 4 = 0, -3*b - b = x - 4. Let n be 45/((-4 - -1)/(-81)). Suppose -3175 + n = -x*k. Does 28 divide k?
False
Let t be (-53 + -2)*(-92)/(-4). Let i = -898 - t. Does 50 divide i?
False
Suppose -669*m + 679*m - 21620 = 0. Is m a multiple of 36?
False
Suppose 12*x - 22*x = -35000. Suppose 5*u - 3*u - 1412 = -4*c, 4*c - x = -5*u. Does 58 divide u?
True
Does 126 divide (924/18)/((-57)/(-18468))?
True
Let l = -66 - -70. Suppose m - 256 = -2*v + l*v, 12 = -4*v. Suppose 0*h + 5*h = 3*w + m, 5*h - 2*w - 250 = 0. Is 49 a factor of h?
False
Let o be (-129)/(-12) + 3/(-4). Let l(u) = 6*u - 50. Is l(o) a multiple of 2?
True
Suppose 252 + 128 = 4*t. Suppose 3*d = -4*r - 85, -r - t = 3*d + r. Let l = 48 + d. Is l a multiple of 6?
False
Let s(d) = -2*d**3 - 5*d**2 - 30*d + 33. Does 67 divide s(-10)?
False
Let g(d) be the third derivative of 17*d**4/8 + 23*d**3/2 - 7*d**2 + 2*d. Is 7 a factor of g(5)?
False
Let d(x) = 34*x + 260. Does 10 divide d(10)?
True
Suppose 0 = -4*q - 3*g + g + 5368, 4*q + 3*g = 5364. Suppose -q = 43*u - 45*u. Is 56 a factor of u?
True
Suppose -4*f - 5*x = -0*x, 3*x = 4*f. Suppose -c + 3*l + 99 = f, 0*l - 2*l = -4. Is 13 a factor of c?
False
Suppose 4*g + 2*o = 9*g - 33, 12 = 4*g + 2*o. Suppose -p - 5*b = -150, -4*b = -g*p - 89 + 839. Is 30 a factor of p?
True
Suppose 24*s = -4 + 4. Suppose -5*p + 0*p + 20 = s, -3*v + 565 = -5*p. Is 12 a factor of v?
False
Suppose -2*s + 7*s - 2*f + 510 = 0, -s - 2*f - 114 = 0. Let h(k) = 4*k**3 + k + 1. Let y be h(-2). Let m = y - s. Is 16 a factor of m?
False
Suppose 0 - 10 = -5*g. Suppose -7*n = -2*a - 5*n + 1322, g*n - 649 = -a. Does 33 divide a?
False
Let f = 4316 - 2549. Is f a multiple of 58?
False
Suppose p - 282 = 3*w + 6*p, p = 0. Let d(y) = y**3 + 10*y**2 - 5*y + 16. Let u be d(-11). Let z = u - w. Does 30 divide z?
False
Suppose 3*u + 158 = -5*l + 1333, 4*u + 5*l - 1560 = 0. Is 3 a factor of u?
False
Let g(b) = b**2 + 23*b + 299. Is 50 a factor of g(-10)?
False
Let y = -1770 + 3964. Does 61 divide y/6 - (-7)/21?
True
Suppose 4*b - n = 5577, -14 + 11 = 3*n. Does 41 divide b?
True
Suppose -19*k + 15*k - 12 = 0. Let d(g) = -20*g**3 + 2*g**2 - 8*g - 6. Is 24 a factor of d(k)?
True
Suppose 2*s - 4*d - 868 = 0, d + 0*d - 425 = -s. Suppose 4*i - 6*i = -s. Is i a multiple of 9?
False
Suppose 31*x - 338 = 33*x. Suppose -h - 99 + 6 = 0. Let a = h - x. Is 16 a factor of a?
False
Suppose -24*l + 22*l + 88 = 0. Suppose 46*x - l*x - 6 = 0. Suppose -w + 2 = 0, 0*w - 25 = -x*o + w. Is 3 a factor of o?
True
Let j = -366 + 1436. Is 107 a factor of j?
True
Let z(w) = 3750*w + 440. Does 11 divide z(3)?
False
Let a = 2 - 3. Suppose -443*u + 340 = -447*u. Is (-4 - (0 + -1)) + u/a a multiple of 41?
True
Let m = 11709 - 7011. Is 5 a factor of m?
False
Suppose 4*u = -5*r + 34, -2*r = -4*u + 1 - 9. Does 12 divide ((-10629)/63 - -5)/(r/(-28))?
False
Let y = 232 - 206. Suppose 4*c + y*v - 31*v = 1032, 5*c - 4*v - 1290 = 0. Is c a multiple of 43?
True
Let m(p) = -p**3 + 26*p**2 + 40*p - 48. Let v be m(27). Let r = -134 + v. Is r a multiple of 13?
True
Let l = -4072 + 6382. Does 10 divide l?
True
Let d = 4885 + -4285. Is d a multiple of 30?
True
Let c = 20 - -97. Let t = c - 110. Does 6 divide t?
False
Is 9 a factor of (-1 - -1) + 13950720/865?
True
Let m = -225 + 230. Suppose -640 = -5*l - 2*x, m*x = -21*l + 19*l + 277. Is 11 a factor of l?
False
Let j(l) = 12*l - 51. Let t(k) = k + 3. Let o(b) = -2*j(b) - 14*t(b). Is o(-14) a multiple of 16?
True
Suppose 2*l = -u + 1 + 4, -5*u + 10 = -5*l. Suppose 9*s - 4*s - 1440 = 3*b, u*s = 3*b + 858. Suppose s = 3*g + 27. Is g a multiple of 22?
True
Let q(v) = 3197*v + 230. Does 16 divide q(2)?
True
Suppose k + 2*s = 1 + 6, k -