1?
False
Let b(a) = -a**3 + a**2 + 43*a - 47. Is b(4) a multiple of 4?
False
Let r = -337 + -1097. Let j be -6 + 12/3 - 22. Is r/(-22) + j/132 + 0 a multiple of 13?
True
Suppose c = 4*o + 9 - 2, -c = o - 17. Suppose 9 = -c*m + 18*m. Suppose -91 = -4*t - 5*q, 5*t + 0*q - 86 = m*q. Does 4 divide t?
False
Let c = -7101 - -22281. Does 11 divide c?
True
Let a(b) = -2*b**2 + 233*b - 83. Is 54 a factor of a(74)?
False
Let x be -3 - 63/(6 + -13). Is (2 - -1302)*3/x a multiple of 52?
False
Let v(z) = 70*z - 147. Let t be v(16). Let d = t - 181. Is d a multiple of 22?
True
Suppose -2*f - 4*y = 3*f - 167, -169 = -5*f - 3*y. Suppose 4*b - 61 = f. Is b a multiple of 24?
True
Let c(r) = -14*r - 240. Let b be c(-33). Let d = b + 861. Does 19 divide d?
True
Suppose 18830 = -72*j + 82*j. Does 4 divide j?
False
Suppose 262*z = 1310842 + 304388. Does 15 divide z?
True
Let n(b) = -b + 120. Let l(j) = -j + 1. Let y be l(-3). Suppose -3*x = h + 4, y*h + 3 = x - 13. Is n(x) a multiple of 30?
True
Let n(u) = u**3 + 9*u**2 - 10*u + 2. Let h be n(-10). Does 5 divide 17 - -57 - (-8)/((-4)/h)?
True
Let j(p) be the first derivative of 15*p**2/2 + 12*p - 7. Let r(a) = a + 3. Let l be r(0). Does 20 divide j(l)?
False
Let x(i) = -7*i**3 + 6*i**2 - 70*i - 108. Is x(-11) a multiple of 23?
False
Let o(m) = 6*m**3 + m**2 - m. Let x be -6 - (0 + 0 + -4). Let f be o(x). Let n = f + 90. Is 8 a factor of n?
True
Let r(o) = -o**3 + 8*o**2 - 12*o - 2. Let b be r(8). Let f = 100 + b. Suppose -f*v + 6*v + 192 = y, 0 = 4*y - 4*v - 792. Does 38 divide y?
False
Let p = 67956 + -36234. Is p a multiple of 87?
False
Does 5 divide -5*(4 + (-39 - 8))?
True
Let o(f) = -f**3 - 3*f**2 + 432*f - 219*f + f**2 - 4 - 216*f. Suppose 6*c + 23 = -2*n + 3*c, -4*n - c - 21 = 0. Is 5 a factor of o(n)?
True
Suppose -g + 8400 = a - 7*a, -a + 6 = 0. Is 12 a factor of g?
True
Let p(t) = -165*t**2 + 83*t**2 - t**3 + 2 + 79*t**2 - 6*t. Let q be p(-3). Suppose 5*v - 3*x = 306, 4*x + 288 = 5*v - q. Is 12 a factor of v?
True
Suppose 4*y + v - 83 = 0, 5*v - 33 = -2*y + 22. Does 30 divide y*-1*6*5/(-20)?
True
Suppose -6 = -2*y + 5*y, 4*u + y - 6 = 0. Suppose -x - 209 = -4*x - l, -u*x = 3*l - 144. Let f = x + -52. Is 11 a factor of f?
False
Let c(k) = -300 - 7*k + 0*k + 292. Let g be c(-8). Suppose -x + g = -32. Is x a multiple of 16?
True
Let y = 17547 + -9873. Let u be y/42 + (-4)/(-14). Suppose 2*s = -3*s + 3*f + u, -2*s + 66 = -3*f. Is 13 a factor of s?
True
Does 117 divide (138/7)/((-126)/(-41517)) + 1/7?
False
Suppose 2*d - 20110 = -4*y, -2*d - 7*y + 4346 = -15752. Does 143 divide d?
False
Suppose -16*w - 2*w = -54. Let o(g) = -g**3 + g**2 + 6. Let t(x) = -5*x**3 + 5*x**2 - x + 31. Let l(r) = -11*o(r) + 2*t(r). Does 3 divide l(w)?
False
Let s = 9041 + -5600. Is s a multiple of 93?
True
Is 2400/(-2)*81/(-12) a multiple of 20?
True
Let h = -77 + 45. Let u = h - -31. Let f(v) = -120*v**3 + 2*v + 1. Does 23 divide f(u)?
False
Suppose 282*n - 53482 = 161*n. Is n a multiple of 26?
True
Let f(w) = -13*w**2 + 6*w + 4. Suppose 3 - 30 = 9*n. Let k be f(n). Let u = k + 303. Is u a multiple of 22?
False
Let a(k) = 10*k**3 - 2*k**2 + 4*k + 8. Let d be a(-2). Let m be d/(-55) - (-4)/10. Suppose 3*o + 3*c = 363, -4*o + 238 = -m*o + c. Is o a multiple of 39?
True
Let p(y) = y**2 - y + 1. Let a(c) = -c**3 + 3*c**2 - c + 23. Let l(q) = a(q) - 3*p(q). Let g be 0/((1 - 0)*-1). Is 5 a factor of l(g)?
True
Let m = 35508 + -1460. Does 304 divide m?
True
Let t(p) = -2*p**2 + 8*p + 2. Let m be 10/20 - 18/(-4). Let d be t(m). Is (-351)/d + 5/40 a multiple of 17?
False
Suppose z = 4*s + 5, -z + 1 + 4 = s. Suppose -2*m + s*m = 3*u - 218, -5*u - 365 = -3*m. Does 4 divide m?
False
Suppose -2*a - 3*a = -20. Let f(q) = 6*q**2 + 2*q - 16. Is 31 a factor of f(a)?
False
Let o = -465 + 468. Suppose 910 = k - t, k - 2730 = -2*k - o*t. Is 13 a factor of k?
True
Let g(d) = -2*d**2 - 86*d + 4. Let f be g(-43). Suppose 3*a = -3*k + 1023 + 786, 0 = -f*k + 2*a + 2424. Does 55 divide k?
True
Let r = -25 + 55. Suppose 0 = r*o - 28*o - 1344. Suppose l - o = -11*l. Is l a multiple of 8?
True
Let q = -50 + 44. Let a be (q/(-15))/(2/20). Suppose -29 + 93 = a*r. Does 16 divide r?
True
Let u(c) = -c**2 + 27*c + 21. Let n(m) = -2*m**2 + 27*m + 22. Let k(p) = -3*n(p) + 4*u(p). Let a be k(-13). Suppose -7*y + 46 = -a*y. Is y a multiple of 10?
False
Let o = 79 + -78. Is 67 a factor of (o + 66)*(15 + -13)?
True
Let u = 31117 - 8607. Is u a multiple of 10?
True
Let j = 6954 + 7203. Is 123 a factor of j?
False
Suppose -7*h = 3*k - 6*h - 7, 5*h + 13 = -3*k. Suppose 4*s = -k*v + 218 - 34, -4*v = 2*s - 186. Is v a multiple of 15?
False
Let d = 18618 - -3306. Is d a multiple of 27?
True
Let b(u) = 2*u**2 + u + 5. Suppose -4*p + 2 = -5*z, -10*z + 7 = -5*z - p. Does 5 divide b(z)?
True
Let t = -33 - -58. Suppose -3554 = -t*q + 2746. Is 6 a factor of q?
True
Suppose -32*v + 268576 = -0*v. Is 27 a factor of v?
False
Let f = -16584 - -16948. Is f a multiple of 7?
True
Is 13/(26/3780)*12/5 a multiple of 24?
True
Suppose -10*i + 13491 - 893 = -16132. Is i a multiple of 4?
False
Suppose 0 = -2*m - 2*a + 79500, 14*m - 39766 = 13*m - 5*a. Is 14 a factor of m?
True
Suppose 3*w - 15 = -2*w. Let v(n) = -n**3 - 50*n**2 - 4*n - 107. Let t be v(-50). Suppose -2*k - 168 = -5*p + 271, t = p - w*k. Is p a multiple of 15?
False
Suppose 0 = -15*v + 117*v - 570996. Is 6 a factor of v?
True
Does 27 divide -1*11 + 6845985/459?
True
Is ((-76032)/(-1320))/(6/1360) a multiple of 36?
False
Let m be -6 + 616/99 - (-6469)/9. Is 1/((-1437)/m - -2) a multiple of 91?
False
Let p(o) be the second derivative of o**4/12 - 5*o**3/2 + 9*o**2 - 41*o. Let y be p(14). Suppose -y*x - 20 = 0, -2*z + 86 = -5*x + x. Does 10 divide z?
False
Let w be (9/6)/((-3)/(-28)). Let n = -786 - -824. Is 6 a factor of n/133 + 1172/w?
True
Let w = 6459 + 23131. Does 183 divide w?
False
Suppose -34*v + 36*v - 258 = -5*s, -s + 4 = 0. Is v a multiple of 7?
True
Let l be 9 + ((-13896)/3)/(-6). Suppose -2*z = -3*j + 775, -3*j + 3*z - 7*z = -l. Is 4 a factor of j?
False
Let t(i) = 2*i - 78. Let n be t(-21). Is 24 a factor of (144/(-90))/(1/n)?
True
Suppose 9*i = 10*i. Suppose 4*a - 8 + i = 0. Suppose 3*w = 5*l + 185, -a*w - l - 14 = -133. Is 12 a factor of w?
True
Suppose -3*w - 22 = -5*k, 11 = 2*w + 5*k - 16. Suppose -4*h - 7 = 1. Is (10 - 43)*(h + w) a multiple of 11?
True
Let x = -68 + 75. Suppose x*h = 4*h - 15. Does 19 divide 51 + 1 + 15/h?
False
Let c(r) = 3*r**3 - 10*r**2 - 8*r - 4. Let p(q) = q**3 - q**2 + 1. Let s(t) = -c(t) + 2*p(t). Let d be 4*(4/2 - 0). Is 35 a factor of s(d)?
True
Let t(f) = -f**3 - 26*f**2 - f + 2. Let s be t(-26). Is 7 a factor of (126/24 + 2)*s?
True
Suppose 0 = 2*i - g + 5*g - 88, 0 = 3*g - 9. Let t = i - 36. Suppose -l - 3*m + t*m = -96, -3*l + 282 = m. Is l a multiple of 23?
False
Let v(r) be the second derivative of -r**4/4 - 8*r**3/3 - 5*r**2/2 + 30*r. Let k be v(-5). Suppose 8*j - 5*j - 165 = k. Is j a multiple of 11?
True
Suppose 7*w = -705 + 3645. Let d = w + -180. Does 12 divide d?
True
Let a = 22740 - -910. Is a a multiple of 37?
False
Let t(v) = 4*v + 6. Let g be t(-1). Let o be (1*(-1 - g))/1 - -20. Suppose 2*k - 147 - o = 4*r, 5*k = -4*r + 396. Does 11 divide k?
False
Let x(a) = -a**3 + 15*a**2 + 2*a - 6. Let w be (12/5)/(15/100). Let k be x(w). Let r = -152 - k. Is r a multiple of 21?
False
Let h = -869 + 5621. Is 66 a factor of h?
True
Let k = 14459 - 1338. Is 139 a factor of k?
False
Let q = -854 - -12196. Is 106 a factor of q?
True
Suppose -365*s - 2518208 = -453*s. Does 196 divide s?
True
Let k = 125613 + -80799. Does 21 divide k?
True
Let l be 10/3*(-585)/(-75). Let p = l + 166. Is p a multiple of 5?
False
Suppose 4*d - 1344 = -4*s, 82*s - d - 1024 = 79*s. Is s a multiple of 34?
True
Suppose 4*p + 2608*q - 2607*q - 28034 = 0, 4*q = -2*p + 14024. Does 4 divide p?
True
Let r(q) = -12*q + 16. Let v be r(6). Let g = -200 + v. Let o = g + 364. Is 7 a factor of o?
False
Suppose -11 = 3*k + 1489. Let j = k - -845. Let d = 37 + j. Is d a multiple of 19?
False
Suppose 21120 + 145569 - 26274 = 345*i. Does 11 divide i?
True
Let h(n) = 109*n**3 + n**2 + 2*n. Let t be h(2). Suppose y = 5*y + t. Let u = 385 + y. Is u a multiple of 36?
False
Let r = 87 - 87. Suppose 0 = 5*x - 5, r*y + 13 = 4*y + 