ctor of v?
True
Let u = 0 + 3. Let v(r) = 13*r**3 - 8*r**2 + 5*r - 6. Is v(u) a multiple of 12?
True
Let p = 91 - 94. Is ((-30)/(-12) + p)/((-3)/372) even?
True
Suppose -b - 2*s + 9544 = 0, 0 = -b + 4*s + 7847 + 1739. Does 54 divide b?
True
Suppose -5*r + 66702 = 2*u, -4 = -22*u + 18*u. Does 20 divide r?
True
Suppose -3*s - 3*q + 16500 = 0, 2*q = s - 3*q - 5518. Is s a multiple of 66?
False
Suppose -18*r - 463 - 185 = 0. Is 61115/45 + 4/r*1 a multiple of 95?
False
Let i(b) = -421*b**3 + 9*b**2 + 11*b + 7. Does 5 divide i(-2)?
False
Let s be 180572/70 + 2/5. Let q = s - 1815. Does 45 divide q?
True
Let g(z) = 56*z**2 + 15*z + 219. Is g(-12) a multiple of 42?
False
Is 4 a factor of ((-9)/(-18))/((6/(-4988))/(-26 + 20))?
False
Let h(s) = -3*s**3 + 11*s**2 + 13*s - 23. Is 25 a factor of h(-11)?
False
Suppose 2820 = -4*i - 3*d, i = -2*i + d - 2102. Is i/(-36)*(-4)/(-2) a multiple of 3?
True
Let r = -4155 - -820. Let f = -2263 - r. Suppose 0 = 30*m - 26*m - f. Does 36 divide m?
False
Suppose 8*z - 374 = 7*z. Let s be (33/11)/((-3)/(-74)). Suppose 3*v + s = z. Is v a multiple of 20?
True
Let a = -211 + 373. Let y = a - 477. Let i = 449 + y. Does 24 divide i?
False
Let b be ((-1350)/4)/(7/14). Let w = -459 - b. Suppose -2*s + w = 4*s. Is s a multiple of 9?
True
Let j be (-23438)/(-6) + 2/(-21)*-7. Suppose -43*r = -j + 123. Does 4 divide r?
True
Let j = -3660 + 2030. Let c = j - -2304. Does 6 divide c?
False
Let k = 30429 + -21351. Is 51 a factor of k?
True
Does 131 divide 19648 + (8 - -8) + -14?
True
Let z(r) = -2*r + 7. Let q be z(2). Suppose 0 = -c - q*c + 240. Is 8 a factor of c*(15/9 - 1)?
True
Suppose -388*v + 3442679 = -8276473. Does 136 divide v?
False
Let q(t) = 1131*t - 3848. Does 76 divide q(6)?
False
Let z(q) = 86*q + 1022. Is z(-6) a multiple of 23?
True
Let v(p) = -p**3 + 4*p**2 - 8*p + 38. Let n be v(4). Let d be 1/(-6) + 1/6. Suppose -n*i + 13*i - 763 = d. Is 32 a factor of i?
False
Let m(r) = r**3 - 9*r**2 - 3*r + 9. Let n be m(9). Let o = n + 36. Suppose -14*l + o = -11*l. Is 2 a factor of l?
True
Suppose 73189 = 19*i - 0*i - 106323. Is i a multiple of 106?
False
Suppose 0 = -4*i - 3*l + 28497, -12908 - 15619 = -4*i + 3*l. Suppose -10*o - 8*o = -i. Is o a multiple of 28?
False
Let c(d) = 436*d + 6. Let t be c(3). Suppose 0 = -3*o - x + t, 5*o - x + 3*x = 2191. Suppose -2*g - g + o = 2*i, 5*i = -3*g + 449. Is g a multiple of 19?
False
Suppose 0 = 12*x + 336. Is (-18)/(4 + 115/x) a multiple of 4?
True
Suppose 3*o = -5*g + 6444, g = -4*g + o + 6432. Is 5 a factor of g?
False
Let m(n) = -2*n**3 - 4*n**2. Let k be m(-3). Let p = -283 + 1021. Suppose 270 = k*g - p. Does 28 divide g?
True
Suppose -h = -0*h - 301. Let o(p) = -6*p**3 - 3*p**2 - 4*p - 2. Let b be o(-1). Suppose w - h = -2*t - 2*t, 365 = b*t + 5*w. Is t a multiple of 28?
False
Let a(x) = x**2 + x + 149. Let v be a(0). Suppose -v = -4*z + 83. Does 4 divide z?
False
Let c be 7/((-14)/(-4))*(-7021)/34. Let f = 486 - c. Is f a multiple of 31?
True
Let k be 26/195 - (-418)/15. Is ((-12)/(-2))/(k/658) a multiple of 20?
False
Let t = 9530 - 6560. Is t a multiple of 10?
True
Suppose -1855*j + 1270 = -1854*j. Is 51 a factor of j?
False
Let k = -65 - -76. Suppose 6*t - t - 3*l - 11 = 0, 2*t - k = -l. Suppose -p - 4*v + 26 - t = 0, 0 = 2*p - 3*v - 44. Is 11 a factor of p?
True
Let s(r) = -r**2 - 17*r - 24. Let o be s(-10). Let f = -44 + o. Suppose f*b - 4*a - 218 = -b, -2*a = b - 56. Is b a multiple of 27?
False
Let r(x) = -3*x**2 + 8*x + 53. Let m(a) = -16*a**2 + 42*a + 266. Let p(f) = 2*m(f) - 11*r(f). Does 26 divide p(19)?
True
Suppose -9*z + 13974 - 9877 = -38113. Is 35 a factor of z?
True
Let a(b) = -5*b**3 - 5*b**2 + 32*b + 179. Is a(-8) a multiple of 21?
True
Let h(z) = z - 16 + 6*z + z. Let g be h(11). Is 20 a factor of (5/((-25)/g))/(1/(-10))?
False
Suppose -14*y - 1206667 = -92*y - 40567. Is 25 a factor of y?
True
Let x(r) = -9*r - 35. Let v be x(-10). Let p = 425 + v. Is p a multiple of 40?
True
Let t be -1 + (21/14)/(2/8). Suppose -t*m + 918 = 2*r, -13*r + 14*r + 4*m = 465. Is r a multiple of 67?
False
Let b(c) = -5*c**3 + 3*c**2 - 4*c + 5. Let q be b(4). Let m = 1189 - 676. Let x = m + q. Does 29 divide x?
False
Let p(h) = -3827*h**3 + 7*h**2 + 7*h + 1. Is p(-1) a multiple of 22?
True
Let v = -46 - -46. Suppose 9*m - 410 + 68 = v. Suppose f - 46 - m = 0. Is 14 a factor of f?
True
Suppose -8 - 248 = -32*k. Is k a multiple of 4?
True
Suppose -4*y + 22112 = -5*l, 47*l = 49*l. Is 7 a factor of y?
False
Is 55/440 + 13055/8 a multiple of 4?
True
Let n = 6128 + -2171. Is 72 a factor of n?
False
Suppose -u = -6*u. Suppose -5*x + 39 = b, 4*b - 6*x + 8*x = 66. Suppose u = -g + 33 - b. Is g a multiple of 7?
False
Suppose 3*p - 11*h - 11454 = -16*h, 5*p = 4*h + 19016. Is 4 a factor of p?
True
Let r(u) be the third derivative of -u**4/6 - u**3/3 - 11*u**2. Let c be r(-3). Suppose 0 = 9*n - c*n + 42. Is 14 a factor of n?
True
Let u = -26 + 42. Let y be 1/(6/27*12/u). Suppose -w + y*w - 63 = -4*n, 5*w = -3*n + 51. Is 9 a factor of n?
False
Let a = 2 + 0. Suppose -u + 22 = y + a*y, -3*u = 5*y - 66. Let i = u + 12. Is 34 a factor of i?
True
Suppose -3*u = w - 3131, u - w - 1045 = -0*u. Is 116 a factor of u?
True
Let f(g) = -g**3 + 7*g**2 + 15*g - 15. Let w be f(9). Let t = -44 - w. Does 3 divide 19 + (-9)/3 + t?
False
Is 14/119 - (-665073)/153 a multiple of 27?
True
Let l = -5 - -10. Suppose 10*g = l*g + 250. Suppose 165 = g*f - 47*f. Is f a multiple of 11?
True
Suppose -297 = 6*a - 39. Let d = a + 46. Is (4 - d) + -5 + 58 a multiple of 18?
True
Let x be ((-1)/3 + (-196)/42)*-1. Suppose 2736 = 7*p + x*p. Does 6 divide p?
True
Suppose -8*i + 7*i + 225000 = 14*i. Is i a multiple of 8?
True
Suppose -2*z = -135 - 1. Suppose -2*m + 2*j = 38, -2*j = -4*m - 0*j - z. Let g = m - -41. Is 4 a factor of g?
False
Let g = 541 - -83. Does 39 divide g?
True
Does 76 divide ((-12472)/(-6)*369/(-164))/((-6)/32)?
False
Suppose -2*z + 10 = -0. Suppose -5*q - z*q = -3*q. Suppose 4*v - 64 - 148 = q. Does 7 divide v?
False
Suppose 0 = -8*o + 17*o - 9990. Let v = o - 480. Does 18 divide v?
True
Suppose -136*g = 95*g - 3385305. Is g a multiple of 24?
False
Let d = 81 - -2. Let o be (300/250)/((-2)/(-25)). Let j = d - o. Does 17 divide j?
True
Let i(s) = 2*s**2 + 56*s - 46. Suppose -5*x + 4*q - 2*q = 141, 0 = 3*x + 4*q + 95. Let m be i(x). Suppose -2*r + m = -218. Is 43 a factor of r?
False
Let b(v) = -250*v - 20. Let w be b(-4). Suppose 5*n + 2*n = w. Suppose 141*o - n*o = 53. Is 8 a factor of o?
False
Let i = 1673 + -1178. Suppose 2*y - 5*z - 297 = 0, -4*y + 4*z + 117 = -i. Is 26 a factor of y?
True
Suppose 184 + 26 = t. Suppose 0 = 2*q, -5*l - 18*q + 21*q = -25. Suppose 0*d + l*d = t. Is d a multiple of 5?
False
Suppose -2*o + 0*h - h = -1889, 0 = -2*o + 4*h + 1904. Is o a multiple of 24?
False
Let o(v) = -11*v - 23. Suppose -5*x - 15 - 10 = 0. Let n be o(x). Suppose n*r = 28*r + 624. Is 45 a factor of r?
False
Suppose 3*c + 154*g - 155*g = 17908, 5*c + 5*g - 29860 = 0. Is 30 a factor of c?
True
Suppose 62386 = 25*m - 73010 - 27754. Does 2 divide m?
True
Let g = 64 - 59. Suppose -4*p + g*n - 3*n = -466, 347 = 3*p - n. Is 38 a factor of p?
True
Let a be 100152/(-42) + (-3)/7. Is 9 a factor of (-28)/(((-60)/a)/(2/(-3)))?
False
Let a be (-6690)/(-27) + 7 + (-2)/(-9). Suppose -5*n = -o - 3*n + a, -2*o + n = -504. Is o a multiple of 15?
False
Suppose 5*w + 15 = 5*b - 0*w, 0 = -4*b - 5*w + 3. Suppose -i + 2*i = 4*z + b, -2*z = -2*i - 8. Let k(f) = -8*f - 21. Does 2 divide k(i)?
False
Let d = 136 + -97. Does 3 divide -5 + d - (-6 - -4)?
True
Suppose -3*k = 2*f - 15164, 2*f + 5 = 7*f. Is k a multiple of 24?
False
Let u = 4962 - 1081. Suppose 0 = 17*x + u - 13673. Is 36 a factor of x?
True
Suppose -499*s = -497*s - 884. Is s a multiple of 26?
True
Suppose 2*y - 23 = -5*k, -11*y + 14 = 3*k - 10*y. Suppose 10*z - 15*z + 1625 = k*c, 5*z = 4*c + 1625. Is z a multiple of 20?
False
Let s(y) = y**3 - y**2 - 13*y - 3. Let j = -109 + 114. Does 3 divide s(j)?
False
Suppose 0 = -76*p - 205*p + 7762696 - 1539951. Is p a multiple of 43?
True
Suppose v + 317 = 2*f, 0 + 2 = 2*v. Suppose -f = 3*b - 48. Let k = -29 - b. Is k a multiple of 4?
True
Suppose 5*u - 70 = -5*l, 2*l - 3*u - 33 = -6*u. Let f(k) = 3*k + 57. Let i be f(l). Suppose