divide i?
False
Does 3 divide ((-376)/470)/((-4)/7270)?
False
Let n(m) = 3*m**2 + 10*m - 1674. Is 11 a factor of n(25)?
True
Let c(t) = t**2 - 8*t - 31. Let g be c(-3). Does 10 divide -2 - (1 + -586) - (g - -1)?
True
Suppose 53 = -7*z + 2*z + 4*g, -z + 3*g = 15. Let j be (-5)/(-15) + -1 + (-186)/z. Is -1*j/6*(-180)/100 even?
True
Let l = -99 + 189. Let u = -98 + l. Is (u/6)/2 - 18564/(-63) a multiple of 49?
True
Suppose 0 = -4*x + 16, 2*x - 493 = y + 7*x. Let m be (y/(-36))/((-3)/(-8)). Suppose 41 + m = w. Is w a multiple of 12?
False
Suppose -i + 5*i = 8. Suppose -l = 0, z - 78 = -i*z - 4*l. Let p = 51 - z. Is 4 a factor of p?
False
Let u(r) = 4*r**3 - 6*r**2 - 5*r + 5. Let p(f) = 6*f + 46. Let s be p(-7). Is 5 a factor of u(s)?
True
Suppose -3*f - 21*m + 23*m = -36752, -2*m + 48984 = 4*f. Is 19 a factor of f?
False
Suppose 3*t + 4*d = 5586, -14*t + 16*t - 4*d - 3764 = 0. Does 10 divide t?
True
Let b be (-190)/57*(-8856)/10. Suppose 4*f = 4*i - b, 0*f = -4*i - f + 2942. Does 8 divide i?
True
Suppose -10*m - 566 = 1364. Let h = 608 + m. Does 31 divide h?
False
Let w be 102 + -1*(-3 - -4). Suppose -u - w = 2*b, 3*u + 69 - 256 = 4*b. Let z = b - -101. Does 13 divide z?
True
Let j(g) = 101*g + 202. Let s be j(-6). Does 14 divide -6 + (4 - 6 - s)?
False
Suppose -d = 4*y - 11852, 11848 = y + 3*y + 2*d. Is y a multiple of 14?
False
Suppose -22628 = -2*c + 2*w, -4*c - 59*w + 54*w + 45310 = 0. Does 25 divide c?
False
Let s be -23 + 16/((-8)/4). Let o(v) = -5*v + 157. Is 13 a factor of o(s)?
True
Suppose 5*k + 5*w = -6220, k + 8 + 1228 = 3*w. Let t = k + 1820. Does 7 divide t?
False
Let k(t) = 53*t**2 + 25*t - 34. Does 7 divide k(10)?
True
Let p = 927 + 1722. Is p a multiple of 75?
False
Let a(q) = -1404*q**3 + 8*q**2 + 36*q + 29. Does 4 divide a(-1)?
False
Does 12 divide 27*(1/9)/(113/2712)?
True
Let c(l) = 4*l**3 - 2*l**2 + 3*l - 2. Let j be c(2). Let s(y) = y**2 - 17*y + 5. Does 13 divide s(j)?
False
Let h(w) = -2*w + 2. Let x be h(-1). Let i be (1/1)/(x/3 + -1). Suppose 2*g - i*g = -1, -5*g = -q + 53. Is q a multiple of 12?
False
Let q(s) = 9*s**2 + 135*s - 32. Let f be q(-16). Let j(a) = -a**2 - 5*a - 3. Let p be j(-3). Suppose -p*x + f = x. Is x a multiple of 4?
True
Let b(k) = 79*k - 101. Is b(89) a multiple of 22?
True
Is 2 a factor of (5526/(-45))/((-26)/195)?
False
Suppose b = v + 948, 3*b - 2854 = -502*v + 503*v. Does 2 divide b?
False
Suppose -3*i - 32835 = -2*k, 2*k + 24*i - 28*i = 32834. Is 13 a factor of k?
True
Does 53 divide (128/(-24))/8 - (-12632)/3?
False
Let k(s) = 9*s**2 - s - 8. Let f be k(5). Let r = f + 22. Does 26 divide r?
True
Let x be ((-6)/2)/((-63)/1344). Let y be 160/(-9) + -2 + x/36. Is 63/6*(-12)/y a multiple of 7?
True
Let h(y) = -2*y**2 + 0*y**2 + 0*y - 6*y + y**2 + 3*y**3 + 6. Does 14 divide h(2)?
True
Suppose 0 = 5*s - 15*s + 30. Suppose 0 = v - 2*v + s. Suppose -25 = -v*b + 65. Does 3 divide b?
True
Let r(k) = -2*k**2 - 12*k + 19. Let i be r(-7). Suppose -5*p + v = -3619 - 1776, -v + i = 0. Does 13 divide p?
False
Is 2/8*(-4 - -24) + -4 + 4755 a multiple of 105?
False
Let b = 25051 + 4543. Is b a multiple of 49?
False
Let c = 111 - 48. Let t = -54 + c. Let n(b) = -b**3 + 10*b**2 - 10*b + 21. Does 2 divide n(t)?
True
Let n(y) = 103*y**2 - 5*y - 6. Suppose -2*j + 4*k = -8 - 6, 0 = 4*j + 5*k + 24. Does 17 divide n(j)?
True
Suppose -29*r + 4 = -31*r. Let j(w) = -10*w**2 + 4*w + 3. Let f be j(r). Let p = -40 - f. Is 2 a factor of p?
False
Suppose 10*t + 15 = -5. Let d be (-99312)/(-112) - t/7. Suppose 183 + d = 5*s. Is s a multiple of 32?
False
Let s = 104 + -104. Suppose 2*u - 6*k = -10*k + 276, s = 5*u - 4*k - 620. Is 10 a factor of u?
False
Let l = 6622 - 5725. Is l a multiple of 20?
False
Suppose -3*y - 28218 = -2*v, -2*y - 1441 = -2*v + 26779. Does 112 divide v?
True
Suppose -3142*m = -3159*m + 202470. Is 7 a factor of m?
False
Let d(g) = -g**3 + 9*g**2 - 5*g + 17. Suppose -5*f = 2*c - 0*f - 7, c - 9 = 3*f. Let v be d(c). Suppose -v = -3*n + 7. Does 9 divide n?
False
Let r = -32 + 30. Suppose -5*o = -4*c - 628, 3*c + 308 = c + o. Is 18 a factor of c/r + 16/(-4)?
True
Let q = 208 + -368. Let g = q + 235. Does 25 divide g?
True
Suppose -4*z + 22 = -2482. Suppose 9*l - z = 976. Is 89 a factor of l?
True
Suppose 319 = 5*c + 309. Suppose -o = c*q - 48 - 8, 4*o + 4*q - 220 = 0. Is o a multiple of 6?
True
Suppose -10 + 76 = 22*f. Suppose -4*m - j + 146 = -163, 0 = -j - f. Is m a multiple of 4?
False
Suppose -119*o + 123*o = 208. Let h = o + 204. Is 16 a factor of h?
True
Suppose 833 = 8*a - 7*a. Suppose a = m - 5*k, 0 = 5*k + 26 - 6. Is m a multiple of 33?
False
Let o = -2073 + 3453. Suppose 1765 = 5*p - 5*z, -3*p + 5*z = -o + 317. Is 4 a factor of p?
False
Suppose -3*t + 5*a = -10 - 9, t + 4*a = -5. Let o be 3/6 + t/(-6). Suppose o*u - 184 = -2*u. Is 16 a factor of u?
False
Let g be (-12)/8 - -2 - 3/2. Is 2 a factor of g*3 - (-9 - (-3 + 20))?
False
Let u(r) = 12*r**2 - 4*r + 16. Let v be u(-5). Suppose -66*q = -70*q + v. Is q a multiple of 6?
True
Suppose v + t = 22, 4*t + 34 = v + 7. Suppose -5*c = 2*u + v, 0*u + 7 = -u - c. Is 17 a factor of ((-6)/u)/((-5)/(-170))?
True
Suppose -26*d + 560 = 5*v - 31*d, 2*d = v - 115. Let y = v - 25. Is 34 a factor of y?
False
Let y = 66 + -63. Suppose i - y*i + 6 = -4*t, -2*t - 4*i = -12. Suppose t = 9*q - 53 - 289. Is q a multiple of 3?
False
Suppose -141448 = -9*g + 59126. Is g a multiple of 43?
False
Let z(i) be the first derivative of 23*i**2 + 30*i - 67. Is z(7) a multiple of 8?
True
Let y(k) be the second derivative of k**5/10 + k**3/3 + 509*k**2/2 + 8*k - 6. Does 41 divide y(0)?
False
Suppose -1325 - 725 = 5*g. Let a = -290 - g. Let t = a - 43. Is 38 a factor of t?
False
Does 7 divide (26 + -38)/(-1)*357/6?
True
Let o = 606 + -418. Let h = 110 - o. Let f = h + 114. Is f a multiple of 3?
True
Let k be (-10)/(-4) - 7/(-14). Let b be (1 + (k - 6))*10/4. Let x = 10 + b. Does 2 divide x?
False
Let w(x) = -3425*x - 508. Is 87 a factor of w(-5)?
True
Suppose 30*i - 216130 = 258170. Does 34 divide i?
True
Does 13 divide (41 - 27)*3620/14?
False
Let q(f) be the second derivative of 9*f**8/2240 - f**7/2520 + f**4/4 + 6*f. Let r(t) be the third derivative of q(t). Does 13 divide r(1)?
True
Is 98/(-245)*1910/(-4) a multiple of 2?
False
Let n(m) be the second derivative of m**3/2 - 3*m**2/2 - 6*m. Let w = 18 + -10. Is n(w) a multiple of 3?
True
Let x = 56 + -18. Is 17 a factor of -38 + x + 222/1?
False
Suppose -2*p + 3*g + g = 2648, 2*p - 3*g = -2644. Let v = -699 - p. Does 62 divide v?
False
Let r(t) = 2*t**2 + 6*t - 151. Suppose -4*u = -m + 12, 3*m - u - 28 = 19. Is 30 a factor of r(m)?
False
Suppose 11*a - 14049 - 4959 = 0. Suppose 10*g + 2190 = 15*g - 5*t, 4*g + 2*t - a = 0. Is 23 a factor of g?
False
Is (-9)/((-105919)/(-7568) + -14) a multiple of 86?
True
Suppose -3*j + 2*j + 4*g + 91 = 0, -338 = -3*j - g. Suppose -192 = -j*v + 107*v. Is v a multiple of 12?
True
Let q be (-5)/(225/(-6)) - (-1132)/60. Suppose 0 = -11*t + q*t - 2880. Does 8 divide t?
True
Is 64 a factor of 18/(-21)*750652/(-152)?
False
Let n(l) = -124*l + 74. Let i be n(-3). Let p = i + -246. Is p a multiple of 20?
True
Let d = 2107 + -886. Suppose 15*j + 321 = d. Is 12 a factor of j?
True
Let h be (5 + 3 + -2)/(9/(-6)). Let y be 1/h*21 - 6/8. Let a(s) = -5*s - 10. Is 5 a factor of a(y)?
True
Let a = -14712 - -25905. Does 96 divide a?
False
Suppose -10900 = -4*a - x + 12595, 0 = -a - 2*x + 5872. Is 6 a factor of a?
True
Let g = 1 + -16. Let z(q) = q**3 + 16*q**2 - 28*q - 11. Is 14 a factor of z(g)?
False
Is 15 - (-22000 + (-4 - 10)) a multiple of 91?
False
Does 52 divide (224/(-21) + 11)/(5/219615)?
False
Does 11 divide (-76)/760 - 52361/(-10)?
True
Suppose -175276 + 54316 = -30*q. Does 19 divide q?
False
Suppose -101*a - 185832 = -130*a. Does 36 divide a?
True
Suppose 6*x + 640 = 28. Let n = x + 104. Suppose -3*k - 5*j = -151, -k - n*j + 7*j = -57. Is k a multiple of 26?
True
Suppose n + 1443 - 5898 = 0. Does 81 divide n?
True
Let q = 54 + 75. Let l = q + -126. Suppose -2*b = -3*u + 798, -4*u - l*b = -1140 + 93. Is 33 a factor of u?
True
Let a be (8 - 18)*(0 + (3 - 1)). Is 7 a factor of ((-45)/a)/(((-45)/(-336))/5)?
True
Let p = 302 - 202. Suppose -6*n = -n + p. Let m = n + 48. Does 14 divide m?
True
Let a = -63 