 - 255, 0*l - 5*x = l - 45. Is l a multiple of 35?
True
Let g(t) = 265*t**2 - 103*t - 6. Is g(-5) a multiple of 20?
False
Let l be 5/(-2)*12/10. Let v be -2 + 3 - (3/l + 53). Let q = -26 - v. Is 25 a factor of q?
True
Let m be -4 + (-104)/(-28) + (-515)/35. Does 12 divide (-5)/m + (-1546)/(-6)?
False
Let g = -401 - -589. Let c(h) = -2*h - 5. Let n be c(-4). Suppose -n*d + 46 + g = 0. Is d a multiple of 13?
True
Let v(m) = 3*m + 538. Let k(i) = -3*i - 269. Let o(a) = 11*k(a) + 6*v(a). Is 4 a factor of o(16)?
False
Let c(o) = 3*o + 49. Let a(x) = x**2 - 8*x - 4. Let l be a(6). Let z be c(l). Is (22 - z) + ((-24)/2)/(-3) a multiple of 25?
True
Suppose -4*b - 1546 = -5*b. Suppose 5 = -p, -2*o + 14*p + b = 12*p. Is 12 a factor of o?
True
Let g(w) = w**3 + 2*w**2 - w - 2. Suppose -3*n + 54 = 2*l - 3*l, -2*n + 36 = 3*l. Suppose -c = -3*c - 5*h + 3, 5*c + 2*h = n. Does 10 divide g(c)?
True
Does 57 divide (5 - ((-8094)/24 - -5))*12/1?
True
Let p(f) = 454*f**2 - 17*f + 36. Is 22 a factor of p(2)?
False
Let h(n) = -n**3 + 96*n**2 + 200*n + 29. Is 11 a factor of h(98)?
False
Suppose -14*l + 1260 + 43562 = -31324. Is 20 a factor of l?
False
Let n(s) = s**3 + 14*s**2 - s - 14. Let f be n(-13). Let x = f - 778. Does 12 divide x/(-25) + -1 + 9/15?
True
Suppose 99 = -m + 10*m. Suppose -5*t - 1440 = -m*t. Suppose t = 3*a - 3*y, -3*a - 4*y + 234 = 8. Is a a multiple of 7?
False
Suppose 328 = 5*n + 4*s - 6*s, 127 = 2*n - 5*s. Let j be (-5)/2*n/(-55). Suppose 1245 = 5*u + j*g, -8*u + 3*g + 1215 = -3*u. Does 41 divide u?
True
Let r be (-1276)/5 + 7/35. Is 30 a factor of 8*(3 + r/(-16))*12?
False
Suppose 2*m - 3*o = 0, -12 - 6 = -5*m + 3*o. Suppose -m*n - 335 = -7*n. Is 11 a factor of n?
False
Let l be 2/(-6) - 3/(90/(-1510)). Suppose l*p = 51*p - 140. Is p a multiple of 18?
False
Suppose 9*x - 1080 = 3*x. Let l be x/25 - 2/10. Let i(q) = q**3 - 6*q**2 + 12*q + 11. Is i(l) a multiple of 24?
True
Suppose 5*y - 4*s = 303903, 183*s = 2*y + 188*s - 121515. Is 13 a factor of y?
True
Let p = -58 - -295. Let y = p + -161. Suppose 0 = -b - 3*b + y. Does 6 divide b?
False
Suppose -13*y + 58*y - 161595 = 0. Does 15 divide y?
False
Let o(a) = -a**2 + a. Let y be ((-18)/(-4))/(-9) - (-6)/4. Let z(k) = 2*k**2 + 14*k - 45. Let v(d) = y*z(d) + 3*o(d). Is v(10) a multiple of 25?
True
Suppose 104*w + 469 - 1374 = 99*w. Does 4 divide w?
False
Let l = 4410 - 2843. Let s = 2295 - l. Does 13 divide s?
True
Let v = 19083 + -10444. Is v a multiple of 134?
False
Does 6 divide (-340100)/(-380) + 0 + -9?
False
Let j(l) = -32*l - 192. Let s be j(-7). Suppose -18825 = 7*r - s*r. Is r a multiple of 33?
False
Suppose 15 = 3*a + 2*a. Suppose 2*f = 10, 105 = -q + a*f + 11. Let j = q - -170. Does 34 divide j?
False
Let z(h) = -h**3 + 14*h**2 + 18*h - 22. Let v be z(12). Suppose 4*b - 496 = 5*t - 0*b, 4*t = 3*b - 397. Is 15 a factor of v/8 - (-5)/t*5?
True
Let u be 1/(2/116) + (-12)/4. Let z = 80 - u. Is z a multiple of 5?
True
Let g be (1/(-2))/((-1)/12). Suppose -4*r - 2*m = -g, -2*m + m = 1. Suppose 0 = 2*w + 5 - 13, -p + 41 = r*w. Is p a multiple of 7?
False
Suppose 4*r - 464 = 284. Suppose 2*i - 628 = -8*s + 3*s, -3*s = 5*i - 392. Let j = r - s. Does 24 divide j?
False
Let a = 87 + -67. Let j be (-612)/(-5) + 12/a. Let t = j - 46. Is t a multiple of 21?
False
Suppose -7*o - 57 = -9*o + v, -3*o = -5*v - 68. Suppose 6*d - o*d = -7350. Is 3 a factor of d?
True
Let a be (2/2)/((-31)/(-68417)). Suppose -3*f - 107 = 5*j - a, -j + 4*f = -443. Does 12 divide j?
False
Suppose 3*b - 5*f = 19, 0*b + 4*f = 5*b - 10. Let s be b*2/(16/(-4))*3. Suppose -180 = -s*g - g. Is 5 a factor of g?
True
Let l(g) = g**3 - 7*g**2 - 17*g - 7. Let z be l(9). Let o be -173 + (1/(-1) - z). Let a = o + 429. Does 23 divide a?
True
Suppose 8467 = 5*r + 6*k - 4*k, -k + 1691 = r. Suppose m = 4*m - i - 1009, 5*m = -5*i + r. Is 24 a factor of m?
False
Let r(t) = -92*t + 638. Is r(-83) a multiple of 63?
False
Suppose -59*b = -77*b + 6966. Suppose s = 5*i - 803, 0 = -5*i + 3*s + 422 + b. Is 10 a factor of i?
True
Suppose 90434 = 12*v + 51110. Is 2 a factor of v?
False
Let y(p) = -11*p + 1804. Is 21 a factor of y(-54)?
False
Suppose 4*n = 9*n - 4*t - 80676, -n + 2*t = -16140. Does 218 divide n?
True
Suppose 2010 = 2*u + p, -23*u + 27*u = 2*p + 4036. Is u a multiple of 53?
True
Suppose -n + 3590 = 3*x - 5698, 3*n = 4*x + 27773. Is n a multiple of 19?
False
Suppose 49*m + 1225 = 74*m. Suppose -m*y = -62*y + 12740. Is 70 a factor of y?
True
Let a(x) = 301*x**2 + 30*x - 316. Does 46 divide a(12)?
False
Suppose 16*f + 1740 = 22*f. Let b = -205 + f. Does 4 divide b?
False
Let u = 41 - -36. Let r be (-155)/(5/(-7) + (-38)/133). Let z = r - u. Is 20 a factor of z?
False
Let m = 4281 + -3991. Is 7 a factor of m?
False
Suppose 0 = 3*q - 12, 0 = 5*d - 3*d + 5*q - 24. Suppose d*s + s + 182 = 4*f, 3*s + 206 = -2*f. Let n = s - -176. Is n a multiple of 34?
False
Let q be 3*(-118)/(-6)*(-1 - 0). Let j = 52 + q. Let s(m) = m**3 + 7*m**2 - 5*m - 4. Is s(j) a multiple of 31?
True
Suppose -278 = -12*m - 62. Suppose -6*f + m*f = -1368. Does 50 divide (26/(-3))/(4/f)?
False
Let h = 13 + -11. Suppose 0*u - h*u = -u. Does 12 divide -4 + 540/4 + u?
False
Suppose -5*f - 30 = 10. Let k be 18/22 - f/44. Does 4 divide (32/12 - 3)*(-52 + k)?
False
Let g(b) = -19*b**3 + 5*b**2 - 3*b + 4. Let k be g(3). Let t = k - -1653. Is 59 a factor of t?
True
Suppose 7*p = 5*p. Let r be p/((-2 - 0)/2). Suppose r = -2*t + 3*j + 33 + 7, -t + 4*j = -15. Does 5 divide t?
False
Suppose -56 = -35*h + 27*h. Suppose 2*q + 5347 = 5*f, -5350 = -5*f - 2*q + h*q. Is f a multiple of 27?
False
Let y = 67 + -64. Is 363 + -7 + y - 3 a multiple of 18?
False
Suppose -5*a + t + 41307 = 0, -5*t = -112 + 122. Is a a multiple of 117?
False
Suppose 0 = z + z - 102. Suppose -170*m + 2841 = -1064 + 1355. Let o = z + m. Is o a multiple of 6?
True
Let m be (18/8)/((-300)/(-32) - 9). Is 160 - (m/(-9) - 1/3) a multiple of 3?
False
Suppose 7*f = 17009 + 19517. Is f a multiple of 11?
False
Let x(l) = -3*l**2 + 3*l + 82. Let d(p) = p**2 - p + 1. Suppose -7 = -7*k - 0. Let b(n) = k*x(n) + 2*d(n). Is 12 a factor of b(0)?
True
Suppose 14079 + 25061 = 11*p - 44328. Does 7 divide p?
True
Let m = 5087 + 3941. Is m a multiple of 74?
True
Let w(t) = 7*t**2 - 19*t + 44. Let s be w(11). Let p = s - 381. Is p a multiple of 43?
True
Let a(v) be the first derivative of v**3 + 13*v**2/2 + 25*v + 21. Does 35 divide a(-11)?
True
Suppose 0 = -37*s + 34*s + 12. Suppose -4*c + s*h = -2672, 1348 = c + c - 5*h. Is c a multiple of 8?
True
Let m = -107 - -172. Suppose 5*z = 55 + m. Is 4 a factor of z?
True
Let y(d) = 12*d**2 + 43 - 32*d**2 - 7702*d**3 + 25*d + 7703*d**3. Is 18 a factor of y(19)?
False
Let o be 1 - (-63 + (-20)/5). Let t = o + -59. Suppose -15 = -3*z, -4*i + t*i - z = 930. Is i a multiple of 17?
True
Suppose 12*v + 565 = 169. Is (-678)/4*(v + 31) a multiple of 34?
False
Suppose -4*v + 2059 + 8099 = -726. Is v a multiple of 3?
True
Let p(c) = 2*c - 1. Let d be p(2). Suppose -b + k + 12 = d*k, 0 = -2*b + 4*k - 16. Suppose -b*n + 4*h + 82 = 0, 5*h = -n - n + 109. Does 9 divide n?
False
Let v(i) = 11*i**2 - i - 1. Let m(b) = -16 - 6*b - 15 + 2*b. Let u be m(-7). Is 15 a factor of v(u)?
False
Let b = 309 + -24. Suppose -5*o + 408 = -5*a - 1077, -o = 5*a - b. Is 28 a factor of o?
False
Let w(d) = -192*d - 1768. Is 18 a factor of w(-39)?
False
Is (-22)/(-99) + (-387821)/(-153) even?
False
Let m(k) = 8*k**2 - 32*k - 3. Let f be (9/(-5))/((-108)/360). Does 15 divide m(f)?
False
Suppose -2*l - 29 = -173. Let k(u) = u + 32. Let c be k(-28). Suppose -b = c*w + 3*b - 276, w - 2*b - l = 0. Is 10 a factor of w?
True
Suppose 0 = 3026*b - 3019*b - 98. Suppose -n = 4*z - 20, -5*n + 15 = -z - 1. Let o = n + b. Does 7 divide o?
False
Let y = 76 - 73. Does 5 divide 2248/16 - y/6?
True
Suppose -2 = 7*p - 65. Suppose p*a - 31*a + 682 = 0. Is 13 a factor of a?
False
Let n be (-4)/(-24)*-86*54. Let i = n - -1122. Is 12 a factor of i?
True
Let v be -22*(-6)/8*2/3. Suppose 96 = -v*a + 12*a + 3*i, -a = -4*i - 117. Is a a multiple of 49?
False
Let i = -3112 + 3871. Is 4 a factor of i?
False
Suppose 37153 + 135508 = 48*n + 9845. Is 8 a factor of n?
True
Let z = -6299 + 6650. Does 13 divide z?
True
Suppose 0 = -0*n + 3*n + 42. Let q(r) = r 