se
Suppose -i = -5*q + 6, 0 = 3*q + i + 2 - 12. Suppose h + 12 = -q*h, -1228 = -3*f - 5*h. Does 52 divide f?
True
Let t = -11242 + 12922. Is t a multiple of 28?
True
Let s(f) = -14 + 15*f + 7*f + f - f. Is 4 a factor of s(2)?
False
Let v(r) = -r**3 - 32*r**2 - 43*r - 61. Let g be v(-33). Suppose -377 + g = 9*k. Is k a multiple of 23?
True
Let b(t) be the first derivative of -5*t**2 + 9*t - 16. Let l be b(-16). Let s = -119 + l. Is 7 a factor of s?
False
Let p = 1996 - 1314. Let q = p + 44. Does 22 divide q?
True
Suppose 10 = 2*a - 5*k, 2*k = -2*a - 3*k - 30. Let x(v) = 3*v**2 - v - 16. Is x(a) a multiple of 7?
False
Let g = 3533 + -3417. Is g a multiple of 12?
False
Let l(c) = c**3 + 11*c**2 - 3*c - 7. Let d be l(-11). Let g = d - 21. Suppose -2*q = u - 85, -g*q - 125 = -u - 19. Is 20 a factor of u?
False
Let y(z) = -5*z**2 + 9*z + 354. Let c be y(-23). Is 3 a factor of c/(-6) - (-3)/((-9)/(-2))?
True
Let g(y) = 102*y**2 + 346*y**3 - 102*y**2. Let f be g(1). Suppose -239 = -15*w + f. Is w a multiple of 7?
False
Let a = 24041 + 12675. Is a a multiple of 134?
True
Suppose -10*h - 5*z - 431 = -6*h, -z + 309 = -3*h. Let k = h + 597. Is k a multiple of 15?
False
Let k(f) = -4*f**2 - 9*f + 10. Let v be k(-10). Is 12 a factor of v/(-10) + (-36)/(-6)?
True
Let w = 19845 + -11663. Is w a multiple of 97?
False
Let z be (-2)/(-9) + -32*(-5)/90. Suppose 0*n + 4*j = -z*n + 170, -340 = -4*n + j. Let b = -67 + n. Does 2 divide b?
True
Suppose 5*t + 516 = 8*t. Let x = t - -105. Let v = x + -174. Is v a multiple of 15?
False
Suppose 753*o - 748*o = w - 2505, 5*w + o = 12395. Is w a multiple of 62?
True
Let i = 89 + -83. Let y(d) = d**3 - 4*d**2 + 3*d - 13. Let u be y(i). Suppose 4*q - u = -13. Is q a multiple of 4?
True
Let n(j) = -j**3 - 65*j**2 - 26*j - 598. Is 84 a factor of n(-65)?
True
Let y(h) = -h**3 - 5*h**2 - 7*h - 1. Let j be y(-4). Suppose 74 - j = 3*u. Suppose -3*t = -9 - u. Does 5 divide t?
True
Let j be (4 + (-348)/30)*5. Let p = j + 181. Is 13 a factor of p?
True
Let v = -300 + 517. Suppose m + 4*m - x = 213, 0 = 5*m + x - v. Does 35 divide m?
False
Let x be (-4 - -10 - 16)/((-8)/164). Suppose -25*k + x + 2545 = 0. Is k a multiple of 5?
True
Let l(s) = -s**3 - 2*s**2 - 3*s - 2. Let x be l(-2). Suppose -4*k - 76 = -3*h, -7 + 3 = x*k. Suppose -14*y = -h*y + 290. Does 8 divide y?
False
Let f(h) = -h**2 + 17*h - 26. Let o(i) = -i**2 - 29*i - 53. Let d be o(-27). Let z be ((-2)/6 - d)*(-1230)/164. Does 27 divide f(z)?
False
Let r = 278 - 273. Suppose -4*c + 207 = r*d, -4*c - 3*d - 69 = -270. Is c even?
True
Let j(x) = -128*x**3 + 14*x**2 + 24*x - 53. Is 30 a factor of j(-4)?
False
Suppose -2016 = -g - 5*n, 8202 = 97*g - 93*g - 3*n. Is g a multiple of 31?
True
Let x(o) = -o**3 + 17*o**2 + 16*o - 63. Is x(16) even?
False
Suppose 2*i - 14 = 3*t, 6*t = 4*t - 2*i + 4. Is 17 a factor of ((-68)/8)/(t/20)?
True
Let u be (-4)/(-14)*(23 - -19). Suppose u*m - 1872 - 1212 = 0. Is 10 a factor of m?
False
Let j(p) be the third derivative of 23*p**5/20 + 13*p**4/24 - 5*p**3/2 - 10*p**2 + 3. Is j(3) a multiple of 15?
True
Let z(x) = 13*x**3 - x**2 - 14*x - 28. Let o be z(-3). Let h = 330 - o. Is 26 a factor of h?
True
Suppose -453859 = -545*j + 522*j. Does 20 divide j?
False
Suppose -4 + 9 = c, 3*u - 5*c = -16. Suppose -3*o - 16 = -4, 3*w - u*o = 804. Does 33 divide w?
True
Suppose 0 = -5*s + 8*s - 18. Let x be 62/s - (-4)/6. Does 19 divide -19*(4 - x)*1?
True
Does 6 divide (-1 - -2 - -2727) + (-62 - -56)?
False
Suppose -3*w - 17*w = 480. Is (-9396)/w - 1/(-2) a multiple of 12?
False
Suppose -50*u - 15601 = -64*u + 5413. Is u a multiple of 46?
False
Suppose 3*j - 16835 = -5*h, 4504*j + h - 28051 = 4499*j. Does 17 divide j?
True
Let o(t) = 3*t**3 - 46*t**2 + 17*t + 123. Is 19 a factor of o(24)?
False
Let s = 17 - 13. Suppose 12 = 8*j - s*j. Let m = j + 39. Is 7 a factor of m?
True
Let a(p) = 4*p**2 + 11*p + 6. Suppose -10*q = -4*q - 240. Let z = -44 + q. Is 15 a factor of a(z)?
False
Let k be 0*2/10 - (-5 - -1). Is 16/20*230/k a multiple of 40?
False
Suppose 4*o + 160 = 7*u - 3*u, 0 = -u - 4*o + 40. Let n be (-210)/28*(-20)/75. Does 9 divide 628/u*n*5?
False
Suppose 0 = -2*p + 87 - 21. Suppose p = 8*t - 15. Suppose 3*o - t*z - 138 = -2*z, -o + 46 = 4*z. Does 23 divide o?
True
Does 5 divide (5088/742)/(3/448)?
False
Suppose -j + 2 - 8 = -2*c, -3 = -j - c. Suppose h - 14 = 4*k - j*h, 4*h = -k + 5. Is 30 a factor of k/((-1)/(172/348) + 2)?
False
Suppose -3*f + 590 = k, -3*k + 4*f = k - 2376. Let l = k + -153. Is l a multiple of 10?
True
Let w be -2 + 26 - (-11)/(11/(-2)). Let g = 27 - w. Suppose 1148 = g*z + 2*z. Is z a multiple of 13?
False
Let z(v) = -v**2 + 8*v - 10. Let m be z(6). Let c(n) = -1 - 6 - m*n**3 + n**3 - 4*n**2. Does 5 divide c(-5)?
False
Let h be (((-160)/(-12))/5)/((-2)/(-180)). Does 11 divide (4/10)/(6/h)?
False
Let w = 6 + 175. Let r be 40/5*2*2/8. Suppose -3*i = -f + w, f + r*f + i = 825. Is 27 a factor of f?
False
Let l(r) = -r**3 - 5*r**2 - 32*r - 40. Is l(-13) a multiple of 32?
True
Let c = -672 - -2640. Is c a multiple of 48?
True
Let o = 14870 - 10184. Is o a multiple of 33?
True
Is (3/(-56)*-32)/(6/85022) a multiple of 57?
False
Let v = -161 + 92. Suppose -3*o = -4*n + 12152, o = 3*n - 533 - 3521. Does 12 divide (o/v)/(4/6)?
False
Let p = -135 - -137. Suppose -p*s + 1280 = 14*s. Does 3 divide s?
False
Suppose -59 = 4*w + 5*k, 29 = -3*w - k - 7. Let a = w + 21. Is 2 a factor of (2 - (1 - -1)) + a?
True
Let m = -118 + 125. Suppose -m*z + 12*z = 720. Is 6 a factor of z?
True
Let p(s) = s**2 + 18*s + 4. Let n be p(0). Suppose 2*t - n = 0, -5*o + 3*t = -2444 + 945. Is 49 a factor of o?
False
Let p be (2/3)/(-7 - 195/(-27)). Suppose -2*i + 192 = -p*n, 183 + 9 = 2*i + n. Is 15 a factor of i?
False
Let r = 15059 + 1672. Is r a multiple of 3?
True
Let c(f) = 130*f - 70. Let l be c(16). Suppose 0 = 19*r - 1030 - l. Is r a multiple of 20?
True
Suppose 5*y + 5*d - 4*d - 270 = 0, 217 = 4*y + d. Suppose 4*m + 63 = -y. Let a = 24 - m. Does 6 divide a?
False
Let r be (-6)/(-9)*3 - 1. Let c = -23 + 26. Is 4 a factor of (r - c - -3)*(8 + 4)?
True
Let d(h) = -174*h**3 - 49*h**2 + 4*h + 51. Is d(-5) a multiple of 36?
True
Let g(w) = 32 - 1516*w**3 + 1535*w**3 + 2*w - 8*w - 5*w**2. Is 34 a factor of g(3)?
False
Let w(c) = 8*c**2 + 8*c + 13. Let y(v) = -5*v - 68. Suppose 11*r + 26 = 9*r. Let p be y(r). Is 4 a factor of w(p)?
False
Suppose 11*w - 1241 = 189. Is (21/((-945)/(-576)))/(4/w) a multiple of 13?
True
Is 14 a factor of 25096/1*8/20*35/28?
False
Let d = -4348 - -12394. Is 54 a factor of d?
True
Is 248 a factor of (-13142)/(-2) + -51 + 43 - -4 - -7?
False
Let y(i) = 21*i + 158 - 375 + 434. Is 7 a factor of y(11)?
True
Suppose k - z - 2*z = 570, z = -5. Let b = k - 326. Suppose 0 = 2*g - 5*y - b, 2*y = g - 5*g + 446. Is g a multiple of 23?
False
Let b be 412/6*(14 + -146). Let w be 4/((-32)/(-6)) - b/32. Let k = w - 164. Is 15 a factor of k?
True
Suppose 0 = -3*r - g + 24899, r - g - 3663 - 4630 = 0. Is r a multiple of 18?
True
Let a = 83713 - 31057. Is a a multiple of 16?
True
Let t = 197 + 563. Is 14 a factor of t?
False
Suppose 391 = 4*o - 145. Suppose 9*q = 7*q - 2*f + 16, -11 = -4*q + 3*f. Suppose -o = -q*d + 2*k + 315, 3*d - 263 = -2*k. Is 18 a factor of d?
False
Let d(q) be the second derivative of q**5/60 + 5*q**4/12 + 29*q**3/6 - 17*q**2/2 - 5*q. Let w(a) be the first derivative of d(a). Is 9 a factor of w(-13)?
False
Let u = 161 - 157. Let j = 142 - u. Is 23 a factor of j?
True
Let t = 2833 + -2718. Does 5 divide t?
True
Let j(h) be the first derivative of 2*h**3/3 - 73*h**2/2 + 93*h + 267. Does 63 divide j(48)?
True
Is -2 + 10 + 8050 + -16 a multiple of 8?
False
Suppose 0 = -3*w - q - 1236 - 197, -2*q = 4*w + 1914. Is w/(-77) - 4/22 a multiple of 3?
True
Is (-15232)/280*310/(-4) a multiple of 124?
True
Suppose -8 = -0*a - 2*a. Suppose -k + 2*m + 57 + 70 = 0, -a*k + 556 = 4*m. Is 9 a factor of k?
True
Let i(g) = -23 + 2*g + g**3 - 16 + 28*g**2 - 2*g**3 + 7. Does 12 divide i(28)?
True
Suppose -4*w = -504 + 392. Suppose -8*m + 116 = w. Is m a multiple of 9?
False
Let j be ((-3)/(-6))/(2/(-4)). Let u be (j/2)/((-1)/(-4)). Is 10 a factor of u + 2*-6*11/(-4)?
False
Let k(p) = 4*p**2 + 18*p - 7. Let d be k(5). Let b = d + -109. Is b a multiple of 5?
F