 s a multiple of 13?
True
Let g be (-1342)/77 - (-4)/(-7). Is 74 a factor of (-24)/216 - 6662/g?
True
Suppose 18*b - 12*b = 66. Let h(z) = -z**2 + 16*z. Is 7 a factor of h(b)?
False
Let r(f) = 150 + 2*f**3 + 14*f**2 - 144 + f - f**3. Is r(-13) a multiple of 20?
False
Let c(w) be the first derivative of w**2/2 + 77*w + 37. Is c(-22) a multiple of 16?
False
Suppose -8*v + 217 = -223. Does 14 divide -4 + (2 - (2 - v)*4)?
True
Does 34 divide 39/(-9)*(-92 - 2716)?
False
Let h be (0 - 106)*(-10)/(-4). Let c be (-12)/(-5) - 2 - (-3746)/10. Let i = c + h. Is 22 a factor of i?
True
Let t(n) = n**3 + 61*n**2 - 30*n - 122. Is 49 a factor of t(-52)?
True
Let i(m) = m**2 + 17*m + 32. Let o be i(-10). Let k(l) = -l**2 - 34*l + 186. Does 8 divide k(o)?
False
Suppose -2*g = -0*g - 390. Let k(i) = -20*i**2 + i + 1. Let m be k(-2). Let q = m + g. Does 38 divide q?
True
Let y be (3 - 4/(-2))*34/85. Suppose -6*s - 14 = a - y*s, 5*s + 20 = 0. Suppose -a = 10*t - 622. Is 13 a factor of t?
False
Suppose 4*k - 6 = -2*d, 4*d = -5*k - 0*d + 12. Let j(r) = r + 3. Let z be j(7). Is 21 a factor of 4*z - (-2 - k)?
True
Suppose 6*d - 7*d = h - 3635, 5*h - 18095 = 5*d. Does 3 divide h?
True
Suppose -960512 + 58517 = -28*k - 85319. Does 48 divide k?
False
Let y(c) = c**3 - 10*c**2 + 10*c + 2. Let g be y(9). Let o(i) = 17*i + 24*i + 17*i - 12 + i**2 - 60*i. Is o(g) a multiple of 29?
True
Let x be (-10 - -7) + (-129 - 4). Is 438 + (-17)/(x/48) a multiple of 4?
True
Suppose -8*b = -24*b + 128. Suppose 0 = -5*l - 2*c + 2205, 3*l - b*c = -7*c + 1312. Does 15 divide l?
False
Let k = -263 - -294. Suppose -8*q + k = -721. Is q a multiple of 47?
True
Let y = -192 + 84. Let l = 1079 + -882. Let z = l + y. Is 6 a factor of z?
False
Let h(y) = 6*y**2 + 346*y - 150. Is h(59) a multiple of 50?
True
Let i(x) = x**2 - 8*x + 2. Let d be i(6). Is (28/d)/(9/(-1620)) a multiple of 10?
False
Let d = -274 + 108. Let g = -95 - d. Does 17 divide g?
False
Let y(p) = 16*p + 652. Let k be y(0). Suppose -168 = d - k. Is 11 a factor of d?
True
Let c be (-24)/(-5)*(-750)/45. Let x = -68 - c. Is 30 a factor of (-40)/((-9)/6 - (-14)/x)?
True
Suppose 0 = 6*x + 15*x + 378. Does 12 divide ((-7)/((-7)/40))/((-3)/x)?
True
Suppose -4*z + 6487 = -2585. Suppose -z = 4*r - 10*r. Is 9 a factor of r?
True
Let t be 130/(-2) + (20 - 18). Let s be (-123*(-7)/t)/(1/(-3)). Suppose g + 2*i - s = -3*i, 92 = 4*g - 4*i. Does 26 divide g?
True
Let t(n) be the first derivative of -n**4/2 + 43*n**3/3 - 36*n + 276. Is 45 a factor of t(21)?
True
Suppose 4*c = -4*h + 4220, 0 = -21*c + 25*c + 2*h - 4210. Does 15 divide c?
True
Let j = -1349 - -6368. Does 21 divide j?
True
Let o be 14/(-4)*(-3736)/14. Suppose 12*c - o = 26. Suppose -70*u - c = -72*u. Is 2 a factor of u?
True
Is 25 a factor of ((-1720)/(-688))/(1/1460)?
True
Let a = -1 + 1. Suppose 0 = j - q + 2*q - 1, -4*j - 3*q + 7 = a. Suppose 2*t + 0*t - j*c - 60 = 0, t - 3*c = 25. Is 16 a factor of t?
False
Suppose 7*h + 104956 = 33*h - 155876. Is h a multiple of 19?
True
Suppose 4*m = 3*i + 3130, -26*m - i = -28*m + 1564. Suppose -4*j + 883 + m = 0. Does 12 divide j?
False
Suppose -u - r = 1 + 49, -u = -3*r + 62. Let g = u - -56. Suppose m = -5*a + 32, g*a - a - 5*m - 2 = 0. Is a a multiple of 6?
True
Let j(q) = q - 5. Let i be j(3). Let l(t) = 17*t**2 + 6*t + 6. Does 11 divide l(i)?
False
Let w(d) = 57*d - 216. Suppose -3*q + 4*q - 13 = 0. Is w(q) a multiple of 15?
True
Let t = 125 + -120. Suppose p = 4*l + 3*p - 200, -t*l = 3*p - 250. Is 16 a factor of l?
False
Let c = 35445 + -22971. Is 18 a factor of c?
True
Let w(j) = -329*j**2 + 2*j + 2. Let y be w(2). Let b = -570 - y. Suppose 5*q + 3*f = 88 + b, 836 = 5*q + f. Is 29 a factor of q?
False
Suppose 0 = l + 5*s + 20, 0 = 5*s + 13 + 7. Let n be (5 + (-2 - 0))/(3 - l). Is (-1 - n - 1) + (-5754)/(-42) a multiple of 25?
False
Let o be 5/((-20)/(-16)) + 18. Suppose -3*x + 226 - o = 0. Is x a multiple of 17?
True
Let x(o) = -o - 49. Let q be x(2). Suppose 148 = a - 5*a. Let s = a - q. Is s even?
True
Let k(t) = 28*t - 75. Let z = -155 + 187. Is k(z) a multiple of 22?
False
Let s(h) = -h - 10 + 10*h + h**2 + 13*h - 6*h**2. Let y be s(5). Let i = 157 + y. Is i a multiple of 11?
True
Suppose -4*h = -2*i + 3 + 1, 3*i - 2*h = 6. Suppose -5*k - 576 = -3*t, k = i*t + t - 576. Is t a multiple of 6?
True
Let k(d) = -d**3 - 3*d**2 - 6*d - 5. Let m be 3 + (-23)/5 + (-22)/55. Let s be k(m). Suppose 27 = s*g - 63. Is 6 a factor of g?
True
Let l be (14/8)/(-7 - (-595)/84). Suppose 5 + l = p. Is 13 a factor of p?
True
Let v = -154 + 163. Is 20 a factor of 188/(-1)*(v/(-6))/3?
False
Is 17 a factor of (-1 - -996)*58/9 + (-456)/2052?
False
Let p = 132 - 134. Does 17 divide (2590/(-30))/(p/6)?
False
Let c(d) = -d**3 + 4*d**2 + 13*d - 5. Let v be c(6). Does 6 divide 15/(-20)*(v + 3) + 155?
False
Suppose -2*k + 266 = -3*z, 5*k = k - 4*z + 492. Suppose 3*x + k = -j - 494, -4*j = 5*x + 1035. Let b = 13 - x. Does 13 divide b?
False
Let l(m) be the first derivative of -28*m**2 + 32*m + 5. Is 16 a factor of l(-12)?
True
Suppose 2*l - 3*k - 43 = 0, -2*l + 4*k - 3*k = -41. Let g = 9519 + -9524. Is 68 - l/(25/g) a multiple of 8?
True
Suppose 5*u + y = 12159, u + 3*y = 2634 - 205. Is u a multiple of 32?
True
Is 59 a factor of 1657 + (-1 - 2)/(-3) - (-49 + 55)?
True
Does 16 divide 105/120 + 1642860/96?
False
Suppose 5*d - 3*q = q, 0 = 5*q - 25. Suppose 10*g = 5*g - d*f + 3132, 4*g = 4*f + 2484. Is 78 a factor of g?
True
Suppose p + 5*f = 3058, -7*p - f = -6967 - 14575. Is 38 a factor of p?
True
Suppose -5*g + 5*r - 6547 = -8*g, 3*r = -4*g + 8733. Suppose 154*y - 150*y = g. Is 17 a factor of y?
False
Does 10 divide (-27)/(10*(-604)/(-3008)*-2 - -4)?
False
Suppose 0 = -u + 5*z + 31, -4*u - z - 32 = -114. Suppose u*l = 732 + 990. Does 4 divide l?
False
Let c(d) = -d - 23. Let j(a) = -3*a - 69. Let n(f) = -7*c(f) + 2*j(f). Suppose 60 = 16*s + 252. Does 11 divide n(s)?
True
Suppose 2*b + 9132 = 2*k, -1403*b + 1401*b - 18252 = -4*k. Is 38 a factor of k?
True
Let o(h) = -h**3 - 9*h**2 - 10*h - 12. Let v be o(-8). Suppose v*m = -m + 370. Suppose 0 = -2*z + 80 - m. Is z a multiple of 3?
True
Let h = -696 + 2412. Let p be 88/(-40) - -1*1/5. Does 13 divide h/13 - (0 - p)?
True
Does 57 divide 9/(2/(-57)*(-2034)/543304)?
True
Let u be (-85)/(-17) + (0 - -7). Suppose 2*p - 5 = -3*n + 3, 0 = 4*n + 3*p - u. Suppose 0 = 3*l + 9 - n, -5*m + 307 = l. Does 4 divide m?
False
Suppose 0 = -9*v - 11987 + 59840. Is v a multiple of 48?
False
Let z(q) = 2*q**3 - 10*q**2 + 6*q - 22. Let s be z(7). Suppose -4*r + 6*r = -5*h + s, 129 = 3*h + r. Is 14 a factor of h?
True
Let c(t) = 49*t - 47. Let a be c(-3). Let j = a - -294. Is 4 a factor of j?
True
Suppose 97*r - 99*r + 4*y = -7578, 15177 = 4*r - y. Is 11 a factor of r?
True
Let m(b) = 2*b**2 - 11*b - 23. Let y be m(13). Let k = -127 + y. Is 29 a factor of k?
False
Suppose 0 = 2*u - u + 5*i + 7, u - 3 = 5*i. Let k be (9 - 40)*u/1. Suppose -z + 109 + k = -4*b, 0 = 5*z - b - 855. Is z a multiple of 19?
True
Let r(h) = -2*h**3 + 9*h**2 - 18*h + 3. Let s be r(5). Let n = s + -56. Is (-2 - -2) + (-3 - n) a multiple of 11?
True
Is (65628/40)/((-43)/(-430)) a multiple of 12?
False
Suppose -3*h + 40 = -m + 11, -5*h = 3*m + 115. Let k be 12/(-15) - 168/m. Suppose -k*t = 29 - 101. Is 17 a factor of t?
False
Let p(j) = -j**2 - 14*j - 2. Suppose -h = 4*h + 1290. Let u be h/21 + (-4)/(-14). Is p(u) a multiple of 3?
False
Let q(n) = -19*n - 19. Let a be q(-1). Suppose a = 10*y - 1105 - 1165. Is y a multiple of 7?
False
Suppose -c - 4*c - l + 320 = 0, 5*c + 4*l = 305. Suppose -6*q - 312 + 24 = 0. Let j = q + c. Is j a multiple of 3?
False
Let s(q) = 4*q**2 - 3*q + 8. Let o be s(-5). Let k(f) = o*f**2 - 5 - 122*f**2 - 2*f - 19. Is k(-5) a multiple of 2?
False
Let s be (-24 + 0)*(28/(-12) - -3). Let r = s + 40. Is (r/10)/(6/(-20)*-1) a multiple of 3?
False
Is (-2086)/23989 - 507382/(-92)*4 a multiple of 20?
True
Suppose -58627 = 13*v - 163394. Is 103 a factor of v?
False
Let s(q) = q**3 + 9*q**2 - 17*q + 187. Is 4 a factor of s(-8)?
False
Suppose -2*i - 61 = -g, 4*i + 42 = -4*g - 74. Let f(u) = -10*u + 285. Does 75 divide f(i)?
False
Suppose 1413*u = 1397*u + 5424. Is u a multiple of 53?
False
Let c(t) = t**3 + 4*t + 33815. Is c(0) a multiple of 53?
Fal