rue
Is (-7 + 0)/(7/7) + 215820/20 a multiple of 90?
False
Let i(f) = 28799*f + 5146. Let x(o) = 347*o + 62. Let p(c) = -3*i(c) + 248*x(c). Is 24 a factor of p(-3)?
False
Suppose 32*a - 37651 = a + 8*a. Is 8 a factor of a?
False
Let z(p) = 6*p**2 - 10*p - 1. Let k be z(2). Suppose 2 = k*s - s, 2*s - 1082 = -3*o. Is o a multiple of 45?
True
Let i = 9643 + -6962. Does 87 divide i?
False
Suppose -71*a - 16*a = -464406. Is 10 a factor of a?
False
Suppose 11*a = 9*a + 18. Let q(z) = -z**3 + 8*z**2 + 10*z - 2. Let y be q(a). Suppose y*o - 119 = 413. Is o a multiple of 19?
True
Suppose -17943 = -121*x + 12307. Does 29 divide x?
False
Suppose -14540 = -5*t + 1365. Does 70 divide t?
False
Suppose -255*w = -1771943 - 1589977. Does 18 divide w?
False
Let x(h) = h**2 + h - 7. Let u be x(3). Let v(m) = m**2 - 3*m - 8. Let a be v(u). Suppose 185 = 5*f + 5*t, t + 169 = 4*f - a*t. Is f a multiple of 8?
True
Let k(j) = j**3 + 2*j**2 - 3*j - 4. Let a be k(2). Suppose 2*r + 5*x = 19, r + 3*x - 10 = 1. Suppose -2*y + a = 0, r*l = -0*l + 4*y + 30. Is l a multiple of 3?
True
Suppose 22*t - 494 = 3*t. Suppose t*a = 15*a + 13156. Is 26 a factor of a?
True
Let m = 4668 + -2435. Does 7 divide m?
True
Suppose 0 = -2*t + 2*y - 6*y + 72180, 0 = -5*t - 4*y + 180450. Is 236 a factor of t?
False
Suppose 0 = -m - 5*j + 27, -55 = -5*m - 3*j + 36. Suppose 5*c = m - 37. Is (-50)/c + (-15)/6 + 2 even?
True
Let m(r) = 3*r**2 - 115*r. Is 75 a factor of m(45)?
True
Let n(k) = 53*k**2 + 107*k - 348. Does 191 divide n(-18)?
True
Let x(i) = 2*i**3 - 7*i + 8. Suppose 0 = -102*w + 98*w + 16. Does 27 divide x(w)?
True
Let c = -17834 + 22429. Is c a multiple of 2?
False
Let l be ((-30)/(-35))/3 - 47/(-7). Let a be (-3 - l)/(-2) - 1*-3. Is a/(-28) + (-132)/(-21) even?
True
Suppose 24 = 5*v + 2*x, 4*v - 9 = -x + 9. Suppose q - 4*q - 5*i = -v, 5*i = 4*q + 53. Let u(f) = 2*f**2 + 8*f + 7. Is 6 a factor of u(q)?
False
Let g = 16761 - 13117. Does 34 divide g?
False
Suppose 17 = 4*z - 15. Suppose -4*y = -z*y - l + 817, y - l = 203. Is y a multiple of 15?
False
Let c be 3*52/(-6)*125/(-10). Let b = -185 + c. Is b a multiple of 35?
True
Let t = -544 - -559. Suppose t*d - 78 - 717 = 0. Is d a multiple of 16?
False
Let n be (1 - -1)/(70/(-65) + 1). Let t be 14/2 - (-23 - n). Does 5 divide (-20)/t + 1 - -54?
True
Let t = 3979 - 2306. Suppose 32*b - t = 25*b. Is b a multiple of 20?
False
Is 143 a factor of ((2 + 1)/(-3))/(5*(-9)/1196910)?
True
Suppose -5*n - 2*y - 64 - 24 = 0, 0 = -2*n - 3*y - 33. Let c(v) be the first derivative of v**3/3 + 8*v**2 + 8*v + 2492. Does 19 divide c(n)?
False
Let h be (-9 + 8)/((-1)/7). Let l(c) = -c**3 + 10*c**2 + c - 7. Does 7 divide l(h)?
True
Let u(r) = -20*r**2 + 1. Let f be u(1). Let k be ((-5 + 8)*420/45)/(2/1). Let t = k - f. Is t a multiple of 5?
False
Suppose -13*n = -5*n + 680. Let o = 312 - n. Is o a multiple of 17?
False
Let z = -6 + -14. Let j = 448 + z. Is 61 a factor of j?
False
Is 36/42 - (-384288)/14 a multiple of 45?
True
Suppose -131824 = -31*q + 42830. Is q a multiple of 9?
True
Suppose -373 = -16*l - 21. Suppose -19*h - 57 = -l*h. Is 8 a factor of h?
False
Let b(z) = 14*z - 28. Let t be b(2). Suppose t = 4*d - d + 6, 400 = 3*h - 5*d. Is 9 a factor of h?
False
Is 20 a factor of 52/(-1300) + 78302/50?
False
Let t(u) = -4*u**2 + 12. Let c be t(0). Suppose 0 = -h - 3*h + c. Suppose -2*w = -h*w + 152. Does 19 divide w?
True
Does 84 divide ((4 - 0)*2 - 0) + 14120?
False
Let v(q) = 7*q**2 + 29*q - 154. Is 2 a factor of v(-23)?
True
Suppose -3*q - 4*o = 434, 3*q = 4*q + 3*o + 153. Let u = -93 - q. Suppose 2*a = 53 + u. Is a a multiple of 7?
True
Suppose 22*a - 18*a - 4*m - 4420 = 0, 0 = 4*a + 2*m - 4450. Does 47 divide a?
False
Suppose 0*m = -5*m. Suppose 8*n - 11*n + 36 = m. Does 9 divide n/6 - (-33)/1?
False
Suppose 3*b + 1067 - 13231 = -g, b = -g + 4054. Suppose -7*d + b = -3043. Does 26 divide d?
True
Let n(v) = 17*v + 151. Let b be n(22). Suppose -b - 972 = -3*q. Is q a multiple of 21?
False
Let v(d) = d**2 + 5*d - 32. Let z be v(4). Suppose 0 = -2*q + 6, -4*f - 7*q = -z*q - 1149. Does 57 divide f?
True
Suppose -116 = 3*q - 122. Suppose q*k - 644 - 610 = 0. Is 57 a factor of k?
True
Suppose 12005 = 4*x + w, 136*x + 5*w = 134*x + 6025. Does 8 divide x?
True
Let y(k) = -2*k**3 - 2*k**2 + 3*k + 3. Let c be y(-2). Let h be (5 - 30/c) + 1880. Suppose 340 = -9*t + h. Is 8 a factor of t?
False
Suppose 0 = -3*t - 2*t + 3*b + 39271, -5*b = 4*t - 31476. Is t a multiple of 29?
True
Suppose -5*l + 13077 + 4900 = 3*d, -5*l - 4*d = -17976. Is 29 a factor of l?
True
Suppose 0 = -2*a + 119 - 113. Suppose 0 = -2*v + a*u - 12, 5*v + 3 + 9 = 3*u. Suppose -5*c - 5*s + 520 = v, 214 = 2*c + 3*s + s. Is c a multiple of 5?
False
Suppose 4*w = k + 208, 9*w = -k + 4*w - 163. Is ((-47)/k)/(1/6584) a multiple of 14?
False
Let n = -6 + 11. Is 13 a factor of (n/15)/(2/624)?
True
Let f = 6 + -3. Let i(c) = -c**3 - 16*c**2 + 22*c + 93. Let l be i(-17). Is 28 a factor of f - 2*(-148)/l?
False
Let h(n) = 3*n**2 - 47*n - 5. Let o(i) = -i**2 + i + 1. Let x(u) = -h(u) + 4*o(u). Is 21 a factor of x(6)?
True
Let n(r) = -2*r + 42. Let v(u) = 2*u. Let d(p) = 2*n(p) + 6*v(p). Does 41 divide d(8)?
False
Let n(p) be the first derivative of p**4/4 - 8*p**3/3 + 5*p**2/2 - 17*p + 139. Is n(9) a multiple of 29?
False
Suppose 32 = w + p + 119, -4*p = -4*w - 372. Is 8 a factor of (-168)/(-224) - -9*w/(-8)?
False
Let l(t) = -13*t**2 + 8*t + 6. Let j be l(-1). Let i be ((-155)/j + -7)/(2/(-6)). Is 46 a factor of -4 + (-2712)/(-15) + (-2)/i?
False
Let l(p) = -4*p**3 - 2*p**2 - 61. Let y(i) = 5*i**3 + 3*i**2 + i + 60. Let g(c) = -4*l(c) - 3*y(c). Let o be g(0). Suppose -143 - o = -v. Does 23 divide v?
True
Suppose -5 = 5*v, -1806*p - v + 100655 = -1802*p. Is 18 a factor of p?
True
Let w(z) = 5161*z**2 - 534*z + 1602. Is 16 a factor of w(3)?
False
Suppose 0*s + 2*s = 122. Suppose 20 - 102 = 79*q - 3. Let f = q + s. Does 28 divide f?
False
Let i be 1 + 1 - (-3314 + -3). Let c = i - 2299. Is c a multiple of 20?
True
Suppose -18*a = -21*a + 1374. Suppose 8*o + a = 1282. Is o a multiple of 16?
False
Let j(k) be the first derivative of -123*k**2/2 + 4*k - 152. Does 16 divide j(-4)?
True
Let c(w) = -w**3 + 2*w**2 + 6*w + 3. Let t be c(-2). Suppose 2*a + 175 = t*a. Is a a multiple of 7?
True
Let v be (21/14)/(4 + (-53967)/13494). Let r = v + -1579. Is r a multiple of 115?
False
Suppose 3*f = 3*q + 1295 - 21695, 0 = 4*q + 2*f - 27248. Does 17 divide q?
False
Let s be (-11 + 14)*(-7)/(-3). Suppose 15 = -3*j - 3*p, -3*p + s*p - 4 = 4*j. Is (-2)/j + -1 + (-1547)/(-51) even?
True
Suppose 29 = 2*q - 3*d, 5*q - 4*q + 5*d - 47 = 0. Suppose q = -9*a - 14. Does 6 divide a/24 - 440/(-48)?
False
Let y(u) = u**3 - 14*u**2 + 2*u + 10. Let g be y(15). Suppose 0 = -0*h + 5*h - g. Let i = h + -37. Is 3 a factor of i?
False
Let v(i) = 7*i**2 + 40*i - 235. Is 8 a factor of v(-24)?
False
Let r(q) = q**3 + q**2 + q + 20. Let l be r(0). Let z = 20 - l. Suppose z = 2*p - d - 19, -2 - 49 = -5*p - d. Does 3 divide p?
False
Let d be -24*(25/(-20) + (-2)/8). Suppose -477 = -d*c + 33*c. Is c a multiple of 12?
False
Suppose 258 = -b + 260. Suppose 2*s - 3*l = 451, b*s + l - 565 = -118. Is 32 a factor of s?
True
Let f be 1284/(-42) - (8/(-14))/1. Let g be (-96)/f*215/2. Suppose 4*r - 743 + 56 = 3*i, -2*r = -2*i - g. Does 32 divide r?
False
Let q be 36/((-6)/6)*554/(-8). Suppose -35*w + q + 3597 = 0. Is w a multiple of 29?
True
Suppose -3*p + 8*z + 83124 = 0, 110878 = 4*p + 35*z - 38*z. Does 109 divide p?
False
Suppose 0*k = -5*c - 4*k + 648, 0 = k - 2. Let o = 357 + c. Suppose -3*f + 112 = -2*f + 4*a, 0 = 5*f + 5*a - o. Does 27 divide f?
False
Let r be 5 + -2 - 1/(1/(-269)). Suppose q = -1 - 3, -2*q + r = -4*g. Let j = g - -130. Does 15 divide j?
True
Let t(f) = 22*f. Let y be (36/(-27))/(4/(-18)). Suppose -2*l + 0*b = 4*b - y, 3*l = 2*b + 1. Is t(l) a multiple of 12?
False
Let n = 46 - 41. Suppose -4*k + 36 = -n*u, 5*k - 25 - 29 = 4*u. Is (112/k)/((-2)/(-37)) a multiple of 26?
False
Let u be (10 - 2) + (-141)/3. Is (-4 + 313)/(u/(-65)) a multiple of 5?
True
Let j be (-4)/((-20)/(-15)) - -1451. Suppose 2458 + j = 6*x. Does 31 divide x?
True
Let w(u) = -6*u + 34. Let c be w(15). Let n = c - -61. Suppose 811 - 181 = n*s. Is s a multiple of 42