f (-10)/(-45) - (-1)/(s/(-565))?
True
Let u = -15 - -20. Suppose -u*w = 5*f, 5*w + 8 = 9*w + 2*f. Suppose -44 = -2*l - w*c, 8*c - 12*c = -2*l + 44. Is l a multiple of 11?
True
Let j = 27 + -27. Let g(q) = q**3 - q + 225. Let a be g(j). Let o = -128 + a. Is 19 a factor of o?
False
Let n = -1154 - -1512. Let q be -1*0/2*-1. Suppose 2*h - n = -q*h - 4*t, 0 = 5*h + 2*t - 863. Is h a multiple of 24?
False
Suppose -5*b = -6296 - 8689. Does 27 divide b?
True
Suppose -2074 = -5*z + 1446. Suppose -z = -8*r + 4224. Is r a multiple of 14?
True
Let d(i) = i**3 - 3*i**2 + 4. Let k be d(3). Let y = -2148 - -2237. Suppose k*o - 7 = y. Does 8 divide o?
True
Suppose 10*f + 75 = 275. Is 50 a factor of f/((-476)/1440 - 3/(-8))?
True
Let a = 4656 + 4829. Is a a multiple of 35?
True
Let h(s) = s**2 + 5*s - 136. Let a be h(11). Let u(b) = -3*b**2 + 123*b + 17. Is u(a) a multiple of 85?
False
Suppose 4*i - 18 = 6, 0 = 4*y + 7*i - 81750. Is y a multiple of 19?
False
Let i = -30 - -42. Let v(x) = 13*x - 32. Is 4 a factor of v(i)?
True
Let i(y) = y**2 - 38. Let r be (0/2)/(-2*(-6 - -5)). Let m be i(r). Let s = 158 + m. Is s a multiple of 24?
True
Suppose -2*o - 98*m + 14786 = -96*m, m = o - 7399. Is o a multiple of 86?
True
Let m(q) = 3. Let h(f) = 2. Let w(b) = 8*h(b) - 5*m(b). Let r(n) = -n**3 - 5*n**2 + 2*n - 2. Let i(d) = -r(d) - 4*w(d). Is 5 a factor of i(-5)?
False
Let b(h) be the third derivative of h**6/120 + h**5/5 + 5*h**4/12 + 20*h**3/3 + 95*h**2. Is b(-11) even?
False
Let y(v) = -v**2 - 4*v + 23. Let c be y(-7). Let s = 5 + 32. Suppose -s = c*z - 99. Is 9 a factor of z?
False
Suppose -2 + 12 = 2*r. Suppose -3*k + 12 = 0, 4*a + r = -a + 5*k. Suppose -21 = -2*g + 5*h, 3*h + 62 = 2*g + a*g. Is g a multiple of 2?
False
Let o = -148 + 143. Is 24 a factor of (-4)/(o - (-1915)/385)?
False
Let v = 8275 - 4326. Does 152 divide v?
False
Suppose -6080 = -252*v + 247*v. Is 16 a factor of v?
True
Suppose -60*u + 92*u = 73632. Is u a multiple of 59?
True
Let c = -2 + -63. Let j = 43 - c. Let v = j + 27. Is v a multiple of 12?
False
Suppose -3*g = 5*c - 4, g - 4*c + 5 = 4*g. Suppose -g*k + 1 = -11. Is (72/k)/(4/(56/3)) a multiple of 12?
True
Suppose 11*h + 2150 = 34072. Suppose -9*u + h = -500. Does 7 divide u?
True
Suppose w - 3 = -2*t, 4*t - 3*w + 4 = -15. Let q be t/(-1 + -1)*10. Suppose 0 = -2*y - 4*v + 238, q*y - 643 = 3*v - v. Is y a multiple of 21?
False
Let t(y) = -26*y**2 - 1862*y + 47. Is 4 a factor of t(-70)?
False
Let l(n) = -73*n - 112. Does 4 divide l(-5)?
False
Suppose -j + 12 = 2*s, -6*s + 5*s = -2. Suppose -2*h + 14 = 3*q, 14 = 4*q + 2*h - j. Does 18 divide 8*(6/q + -1 - -7)?
True
Suppose 27*o + 103*o = 819260. Is o a multiple of 23?
True
Suppose -178*p - 528 = -884. Let j be ((-3)/(-2))/(3/4). Suppose j*y - 338 + 94 = p*z, -4*z - 371 = -3*y. Does 28 divide y?
False
Suppose 34*r + 2245 = 39*r. Suppose 0 = -5*v - o + r, 3*v - 5*o = -2*v + 455. Is 12 a factor of v?
False
Suppose 137*f + 15 = 142*f. Suppose 13*h = 12*h - f, 3*c - 4*h - 1920 = 0. Is c a multiple of 17?
False
Is 19 a factor of ((-7259)/(-420) - (-19)/(-228))/((-6)/(-2865))?
False
Let l = -1573 + 848. Let y = l - -1095. Does 37 divide y?
True
Let a be (-3 + 5/2)*796/2. Let u = 360 + a. Suppose 4*j - u = -5*s + 2*s, 102 = 3*j - 4*s. Does 38 divide j?
True
Let g(u) = -u**3 + 49*u**2 + 82*u + 192. Is 119 a factor of g(50)?
False
Let g be -9*10/15 - -286. Suppose g = -14*d + 15*d. Is d a multiple of 10?
True
Let v(d) be the second derivative of d**4/12 + 13*d**3/3 - 70*d**2 + 59*d. Does 79 divide v(-38)?
True
Is 25 + 15581 + 16 + (-3)/6*-14 a multiple of 44?
False
Let k = -99 + 97. Let a = 117 - k. Does 11 divide a?
False
Suppose 76 = -18*o - o. Let n(s) = 45*s**2 + 2*s + 14. Is 11 a factor of n(o)?
True
Let u be (2/6)/((-17)/(-102)). Let l(m) = 2 - u*m**3 + 4*m**2 - 2*m**3 + 3*m**3 + 3*m. Is l(4) a multiple of 6?
False
Suppose -54*g + 50*g - 3*i = -1002, -285 = -g + 5*i. Is 128 a factor of g?
False
Let k = -100 - -100. Suppose -3*r = k, 860 = 5*n + r - 0*r. Is n a multiple of 10?
False
Suppose 1713*f - 1708*f = 16255. Does 25 divide f?
False
Suppose -23*i - 2025 = -43*i + 5*i. Is 2 a factor of i?
False
Let u be 24/14*70/20. Does 15 divide 100 + 15/3*(-5 + u)?
True
Suppose -5*f + 7 = -13. Is 6 a factor of ((-150)/f)/((-22)/264)?
True
Is ((4/30)/(8/(-40)))/(48/(-1361304)) a multiple of 7?
True
Let i(t) = -t**2 + 30*t - 6. Let r(c) = c**2 - 20. Let d be r(5). Suppose 4*s - 2*f = 50, -4*f + d = s - 3. Is i(s) a multiple of 15?
True
Let y(l) = l**2 - 84*l + 416. Is 37 a factor of y(83)?
True
Suppose -50*j - 41*j + 1272153 = -22*j. Is j a multiple of 7?
False
Let p = 839 - 392. Let j = p + -397. Is j a multiple of 6?
False
Let n = 474 + -468. Suppose 150 - 5022 = -n*o. Is 33 a factor of o?
False
Let k be -10*349*4/8*-2. Is k/7 - (-9)/21 a multiple of 21?
False
Suppose 5*z + 1887 = 557. Let i = 296 + z. Is 4 a factor of i?
False
Suppose -8*y = -99 - 61. Let l be (y/(-6))/((-5)/15). Suppose -l*j + 23 = -7. Is j a multiple of 3?
True
Let r = -6 + 2. Let i be (3*(-3)/6)/(3/r). Suppose i*g = -4*t + 370, 0*t - g + 455 = 5*t. Is t a multiple of 18?
True
Suppose 0 = 2*f + 4, t - 7*f - 1724 = -9*f. Suppose 16*d - 11*d + 1152 = 2*a, -3*a = d - t. Is 12 a factor of a?
True
Let r be (-12)/(-16) + 0 + 50/8. Suppose -r = -6*g + 959. Is 23 a factor of g?
True
Suppose 5*u + 94 = 3*o, -5*o + o + 3*u = -118. Suppose -11*q + 522 = -5*q. Is 29 a factor of (q/6)/(-1*(-2)/o)?
True
Let w(k) = 6*k - 130. Let j be w(-18). Is 17 a factor of (1 + j/10)/((-816)/46240)?
True
Let m be (-1760)/15*9/(-2). Suppose -14*x + 17*x + m = 0. Does 4 divide (x/32)/(1/(-8))?
True
Let i = 289 - 184. Suppose -5*c + 3*g + 1294 = 0, 3*g + 879 = 3*c + i. Does 10 divide c?
True
Does 92 divide (65/10 - 4) + 4345/(-10)*-47?
True
Let a = -196 - -224. Is a/(-6)*(-84)/8 a multiple of 3?
False
Let x(s) = -s**3 + 5*s**2 + 4*s - 26. Let c be x(3). Suppose -5*h + 1877 = c*t, 0 = 5*t - 7*h + 3*h - 2336. Does 6 divide t?
True
Let f(z) = 5*z**2 + 61*z + 28. Is 44 a factor of f(-25)?
True
Let x = -5147 + 9629. Is 54 a factor of x?
True
Let l(j) = 4*j - 24. Let z be l(7). Suppose z*h - 2*f + 0*f - 240 = 0, 5*f + 20 = 0. Let x = h - 18. Is x a multiple of 7?
False
Let t be (19 + -13)/((-3)/(-2)) - 36. Let l = 46 + t. Let w(p) = 12*p + 87. Is w(l) a multiple of 17?
True
Let w be 0*((-5)/10 + 1)*-1. Suppose w = -31*j + 34*j - 126. Does 42 divide j?
True
Suppose -9*j - 1340300 = -94*j - 15*j. Is j a multiple of 356?
False
Let i be (-56)/84 - (-3670)/6. Suppose -404 = -2*c + 4*k, -3*c - 5*k = -6*k - i. Is c a multiple of 51?
True
Suppose -5*u - p = -323, 5*u - 18*p + 16*p = 329. Does 8 divide u?
False
Let l(y) be the second derivative of 865*y**4/12 - 11*y**3/6 + 5*y**2 - 2*y + 1. Does 16 divide l(1)?
True
Let p = -37948 + 57053. Is p a multiple of 128?
False
Let h(i) = -i**3 + 19*i**2 + 22*i + 3. Let a be h(20). Let r = a - -88. Is 33 a factor of r?
False
Let u = -9654 - -13830. Is u a multiple of 18?
True
Suppose 831 = 4*m - 585. Let g = 681 - m. Is 24 a factor of g?
False
Suppose 73219 = 5*s - 3*t - 21507, 4*t + 75776 = 4*s. Is 19 a factor of s?
False
Let s be (-237)/(-8) + 63/168. Is 49 a factor of ((-66)/(-5))/(4/s)?
False
Suppose -5*r = -2*q - 8 + 3, -5*r - 5*q = -40. Suppose r*n - 786 = -3*n. Suppose -m + 54 = 5*y, -3*y = 4*m - 0*m - n. Is m a multiple of 7?
False
Does 104 divide ((-15)/(-20))/(153/(-24)) - (-17784354)/357?
True
Suppose 0 = 2*h - x + 43 + 10, 2*x + 34 = -h. Let v = h + 48. Is ((-6)/9)/((-2)/3) + v a multiple of 2?
False
Let a be (-4550)/(-18) - (-11)/(891/18). Suppose -5*f + y - a = -1817, -300 = -f - 3*y. Is 12 a factor of f?
True
Suppose -16*z + 177766 + 72500 = 33994. Does 4 divide z?
False
Let b = 326 + -315. Suppose -182 = -b*z - 2*z. Is z a multiple of 3?
False
Suppose -5*b + 12 = -4*b. Let j be (18/b)/((42/(-40))/7). Let o(a) = 2*a**2 + 14*a + 25. Is o(j) a multiple of 5?
True
Let u = -228 + 394. Let x = u - 138. Is 7 a factor of x?
True
Let q = 14290 + -7297. Is q a multiple of 13?
False
Let x be (20/(-15))/(4/(-6)). Let v be (-828)/(-8) - 3/x. Let q = -47 + v. Is q a multiple of 19?
False
Let n(z) = 130*z - 154. Let m = 98 - 91. Is n(m) a multiple of 27?
True
Let c be 10/((-40)/(-12)) - 161. Does 37 divide (3 - 4)/(2/c) - 5?
True
L