36633)/(-5) - 0) + (-42)/70 + 0 a multiple of 33?
True
Let m be (-273)/26 + 6/(-4)*1. Is 32 a factor of (2888/m)/(4/(-12))?
False
Suppose 297*n + 7967 = 5*f + 301*n, 1595 = f + n. Does 3 divide f?
True
Let j = -190 - -172. Is (-13)/(-4) + j/(-24) + 222 a multiple of 19?
False
Let u(y) = -2*y**2 + 3*y + 10. Let f be u(3). Let j be 14 + -12 + f*-1*1. Is 28 a factor of (-2)/8*j + 449/4?
True
Let j(g) = -g**3 + 3*g + 46. Let p(l) be the second derivative of l**5/20 - l**3/2 - l**2 + 36*l. Let o be p(2). Is j(o) a multiple of 6?
False
Let o(g) = g**3 - 15*g**2 + 29*g - 29. Let i be o(13). Suppose 0 = 5*b + i*p - 14*p - 117, -4*p + 93 = 5*b. Does 3 divide b?
True
Let q = 5753 - 2617. Is 20 a factor of q?
False
Let o(x) = -15 - 29 + 11*x**2 + 54*x - 40*x. Is 12 a factor of o(3)?
False
Let t = 28 + -29. Let j be (t/((-2)/(-32)) - 1)*1. Let s = j - -40. Does 5 divide s?
False
Let f be ((40/(-4))/(-1))/(-2) - -15. Suppose -f*m = -31*m + 5775. Is m a multiple of 8?
False
Is 2 a factor of 5776 - 9/((-207)/184)?
True
Let c = -3285 - -3599. Is 2 a factor of c?
True
Let p(z) = -6*z**2 + 3*z + 2. Let i be p(-1). Let q(r) = -4*r - 25. Let x be q(i). Suppose u - 255 = -5*t, 167 = x*t + u + 16. Does 21 divide t?
False
Suppose 5*k + 4*p - 768 = 0, 2*k - 227 = 4*p + 69. Is 10 a factor of k/(-2 + (-1 - -5))?
False
Suppose 11*r - 26 = 6*r + x, -4*r - 4*x = -16. Suppose -7*w - 495 = -r*d - 11*w, -5*d + 4*w + 455 = 0. Let a = d - 53. Is 21 a factor of a?
True
Let p(j) = 67*j + 41. Let q be p(2). Suppose 991 = 2*y - q. Is y a multiple of 56?
False
Suppose -283 = 5*y - 1573. Let l = 434 - y. Is 19 a factor of l?
False
Is (21/(-56))/1 + (-132387)/(-8) a multiple of 12?
True
Let p = -806 - -845. Does 13 divide p?
True
Suppose -905*d = -899*d - 28152. Is 23 a factor of d?
True
Let a(o) = 61*o**2 - 48*o + 373. Is a(10) a multiple of 17?
False
Let v = -263 + 269. Suppose v*b + 8*b = 3528. Does 7 divide b?
True
Let u = -7993 + 14070. Suppose -2355 - u = -31*y. Does 8 divide y?
True
Suppose o = d + 15, -d - 2*o = 2*d + 25. Let u = d + 344. Is u a multiple of 36?
False
Let c(q) = 4*q**2 - 27*q + 1928. Does 241 divide c(67)?
True
Let u = 764 + 1624. Is 12 a factor of u?
True
Let n = 243 + -244. Is 49 a factor of n/6 - (1165/(-6) + -2)?
True
Suppose 4*f - 15854 = -2*q, -3*q = -2*f - 10844 - 12993. Does 50 divide q?
False
Suppose x = 20*x. Suppose x = 4*o - 3*j - 485, 2*o + 0*j - 255 = -j. Does 13 divide o?
False
Suppose -1720 = -5*k - 2*v, 3*k = -0*v + 4*v + 1006. Suppose 36*m - k = 27*m. Does 17 divide m?
False
Suppose 3*i + 69 - 84 = 0. Suppose 62 + 33 = i*v. Does 5 divide v?
False
Let o be (5 + 656)/(2/(2 - 0)). Let a = -325 + o. Does 6 divide a?
True
Is 60 a factor of (7 - -1)/(152/100244)?
False
Let k = 37 - 34. Let v be ((-396)/(-42))/(1/21*k). Let l = v + 138. Is 36 a factor of l?
False
Suppose 3*k + 4 = 3*p - 4*p, p = -2*k - 4. Let y be 5 - (k + 12/(-3)). Suppose 4*c + 65 = y*c. Is c a multiple of 2?
False
Let r(k) = 3*k**3 - 7*k**2 + k - 5. Let m be r(-4). Let v = m + 791. Is v a multiple of 23?
False
Suppose -258 = -5*d + 11*d. Let a(p) = -113*p**3 - p. Let q be a(-1). Let l = d + q. Is l a multiple of 10?
False
Is 148 a factor of (((-672)/105)/(-1))/((-1)/(-3145))?
True
Let s be (0*10/(-90))/((-2)/(-2)). Suppose 4*g + 3*g - 6685 = s. Does 23 divide g?
False
Suppose 2*u - 66 = -0. Let y be u/6*(-2)/(-1). Let p = 31 - y. Is 10 a factor of p?
True
Let a(g) = 2*g**3 + 23*g**2 - 5*g - 16. Let t be a(-12). Is 30 a factor of t/(-3)*(-1116)/(-155)?
True
Let h be 2/8 + (-32375)/140. Let l = h + 262. Is l a multiple of 13?
False
Let c be 6/(-5)*105/(-42). Suppose -320 = -5*a - 4*g + 522, 9 = c*g. Suppose 66 = -4*v + a. Does 17 divide v?
False
Let v(u) = -9*u + 140. Let k be v(15). Suppose -4*w + 13 = 65. Let c = k - w. Does 8 divide c?
False
Let s(m) = -498*m + 2208. Does 40 divide s(-6)?
False
Suppose m - 4*x - 28 = -3*m, -5*x = 2*m - 7. Suppose 3*b - m*b + 6 = 0. Is (0 + b/(-4))*(-23 + 1) a multiple of 6?
False
Let s(t) = 2*t**3 - 4*t + 16. Let k be s(6). Let w = k - 1242. Is 17/85 - w/10 a multiple of 4?
False
Let h = 6 - -2. Suppose v = k - 11, -2*k - 3*v + 2 = -0*v. Suppose -k*b + h = -5*b. Does 2 divide b?
True
Let o(d) = 4*d**2 + 9*d + 7. Let a be o(-3). Let k(u) = 48*u + 116. Is k(a) a multiple of 19?
False
Let q(d) be the first derivative of -141*d**2 - 6*d + 122. Is 84 a factor of q(-3)?
True
Suppose 294277 = 110*q - 151333. Is 14 a factor of q?
False
Let c(g) = 69*g + 3321. Does 89 divide c(5)?
False
Let j(h) = -4721*h - 4. Does 33 divide j(-2)?
True
Let d be 21/12 + 3/12. Let r be 5/d + 30/(-20). Is (10/4)/((-3)/(-90)*r) a multiple of 15?
True
Suppose -1957 + 274 = -33*w. Does 50 divide 9112/w*(-1 + 4)?
False
Let z(g) = -60*g**3 + 11*g**2 + 90*g + 688. Is z(-8) a multiple of 24?
True
Suppose 0 = 3*m + 4*l - 0 - 10, -l - 1 = -m. Suppose 0 = -4*n, -v - m*n + 5*n = -125. Does 4 divide v*((-32)/20 + 2)?
False
Let v(i) = -2. Let m(q) = 308*q + 13. Let j(a) = -m(a) + 5*v(a). Is j(-1) a multiple of 3?
True
Let r(b) = 25 - 27*b**2 + 3 + b**3 - 8 + 17 + 54*b. Is r(25) a multiple of 6?
False
Suppose -w + 2*a = -10, 0 = 3*a - 6 + 21. Suppose w = o + 5*u - 2*u - 263, 5*o = 3*u + 1369. Does 34 divide o?
True
Is ((-432)/45 + 12)/((-9)/(-18435)) a multiple of 4?
True
Suppose 29 = -3*t + 8. Let q(y) = 108 + 3*y - 195 - y**3 + 104 - 4*y**2. Is q(t) a multiple of 13?
True
Suppose 0 = 5*t - 5*u - 15, -t = 3*t + 2*u + 6. Suppose -6*v + v + 600 = t. Is v a multiple of 20?
True
Let w(n) = -674 + 2*n**3 + 10*n + 654 + 3*n**3 - 3*n**3. Does 27 divide w(7)?
False
Let p = -4214 - -4314. Does 25 divide p?
True
Let t be ((-224)/12)/((-6)/18). Suppose t*h - 8 = 54*h. Suppose -h*x = 25 - 137. Is 4 a factor of x?
True
Let o be (1 + (7 - -5))*2. Let n(w) = -w**2 + 29*w - 42. Is n(o) a multiple of 13?
False
Suppose -73953 = -4*a + 5*h, 5*a + 41*h - 44*h = 92451. Is a a multiple of 68?
False
Let b(d) = d**2 + 13*d + 35. Let h be b(-9). Is 26 a factor of (-166)/h + -5 + -5?
True
Suppose 5*o - n - 11 = 0, 12*n + 11 = 4*o + 9*n. Suppose 3*u - g = 746, 21*g - 17*g = o*u - 504. Does 6 divide u?
False
Let w be (-1)/(2/164*-2). Let p = -36 + w. Suppose 0 = -s - 0*z - z + 70, -2*s + 133 = -p*z. Is s a multiple of 32?
False
Suppose 92 - 24 = 4*p. Let y = 20 - p. Is y*((-3 - -1) + 44/3) a multiple of 19?
True
Suppose i = -o - i - 3, -5*i - 21 = -2*o. Let t(l) = -9 - 3 + 23*l + 4 + 3. Is 16 a factor of t(o)?
True
Suppose 173*v - 2875816 + 1130992 = 4809108. Does 84 divide v?
True
Let m(v) be the second derivative of v**4/12 + 2*v**3 - v**2/2 - v - 10. Is m(7) a multiple of 18?
False
Suppose -3*g = -10*g - 497. Let j = 78 - 158. Let o = g - j. Does 3 divide o?
True
Let x(v) = -v**2 - 25*v - 22. Let l be x(-24). Is 27 a factor of l/3*120*4 + 4?
True
Does 2 divide 2722 + 0*-5*(-6)/(-90)?
True
Suppose 5*s - 8*s + 6 = 3*u, -4*s = -2*u + 16. Suppose u*g = -3*g + 1260. Does 12 divide g?
True
Let u(i) = -i**3 + i**2. Let x(y) = -5*y**3 + 36*y**2 + 85*y - 68. Let g(v) = -4*u(v) + x(v). Does 17 divide g(34)?
True
Suppose 8*w - 38*w + 206188 = -64532. Does 10 divide w?
False
Let z = 49 + -50. Let w be (3 + z)*(-21)/(-14). Suppose 5*b + 5*a - 290 = 0, -6*b - w*a - 150 = -9*b. Is 27 a factor of b?
True
Suppose -4*d + 52917 - 50561 = 0. Does 7 divide d?
False
Let k(b) = -b**3 - 4*b**2 + 3*b - 9. Let h be k(-5). Let f be 3/(2/h + 20/(-16)). Suppose 4*v + 231 = 3*a, -a - f*a - v = -385. Does 32 divide a?
False
Let k = 7486 + -1466. Does 31 divide k?
False
Suppose -2*a - 25*a = 13500. Let c = -359 - a. Is c a multiple of 24?
False
Let u = -2 + 2. Let f(m) = 5 + 3*m + u*m - 4*m + 5. Does 15 divide f(-7)?
False
Suppose -3*g + z + 63 = -2*z, 3*g - 5*z = 61. Let n be 3*1/(-6)*g. Let a = n + 87. Does 38 divide a?
True
Suppose 5*b = z - 3020, 66*z - 5*b - 15120 = 61*z. Is z a multiple of 59?
False
Let f = 15 - 30. Let c(w) = -6*w**3 + 2*w**2 - 2*w - 1. Let q be c(1). Let l = q - f. Is 8 a factor of l?
True
Let o be 2/(-10) - 1332/(-10). Let k = o + -55. Is k a multiple of 4?
False
Suppose -92*i + 64248 + 104863 = -517393. Does 26 divide i?
True
Let k(d) = -2 - d - d - 2. Let c = 182 + -194. Does 12 divide k(c)?
False
Suppose 27*s - 10*s = 44*s - 212301. Does 149 divide s?
False
Let j(q) = -11*q**2 - 6*q + 63. Let d(h) = 33*h**2 