factor of -248*(-7)/14 - -8?
True
Let g = -23 + 261. Is g a multiple of 34?
True
Suppose 88*p = 74*p + 7434. Is p a multiple of 50?
False
Let y = -22 - -22. Suppose 3*j - 180 + 30 = y. Is j a multiple of 20?
False
Suppose -2 = 6*x - 7*x. Suppose -5*u + 10 = -5*k - 0*k, x*k = -3*u + 21. Is 5 a factor of -2*1 - (-4 - k)?
True
Let d(l) = 7*l - 5. Let i = 5 - 0. Does 5 divide d(i)?
True
Suppose -3*b + 4*g + 1188 - 367 = 0, -2*g - 273 = -b. Is b a multiple of 23?
False
Let r(s) = -s**2 - 13*s - 3. Let t be r(-13). Let j = t + 1. Is 15 a factor of 13*(j/(-2) - -4)?
False
Let u = -43 - -45. Is 35 - (u - 2 - 1) a multiple of 18?
True
Let k = 5327 + -2366. Does 75 divide k?
False
Let j = 4 - 4. Suppose 0 = q + 4*r - 47, 3*q + 5*r - 120 = -j*r. Is 25 a factor of q?
False
Suppose -2*p = -5 - 31. Let i be 320/p + 4/18. Suppose 0 = -33*c + 32*c + i. Is 5 a factor of c?
False
Let l(o) = o**3 - 10*o**2 - 10*o - 11. Let c be l(11). Let b = c + 2. Suppose -b*i + 0*n = -4*n - 46, 16 = i + 5*n. Is i a multiple of 4?
False
Suppose 1763 - 6563 = -15*h. Is h a multiple of 33?
False
Suppose 0 = 5*q - 5*w - 565, -w = -3*q + 320 + 27. Is 37 a factor of q?
False
Suppose -292 + 900 = 4*a. Suppose -96 - a = -2*i. Is 13 a factor of i?
False
Suppose 6*k - 10 = 2. Suppose -5*b = k*b - 252. Is b a multiple of 9?
True
Let o(b) = b**3 - 44*b**2 - 7*b + 184. Is 44 a factor of o(45)?
False
Let n = 17 - 27. Let u be (-110)/(-25) - (-4)/n. Suppose d + 5*c = 18, u*d - 2*c + 2 = 8. Is 2 a factor of d?
False
Suppose 13*t - 1110 = 606. Does 6 divide t?
True
Suppose 2*a - 5*d = 212, -212 = 166*a - 168*a - d. Is a a multiple of 53?
True
Suppose 135848 - 544861 = -103*i. Is 69 a factor of i?
False
Suppose -14*x = -9*x + v - 843, -3*x + 513 = 3*v. Is x a multiple of 14?
True
Let r(c) = 2*c**2 + c - 1. Let p be r(1). Suppose 5*d + p + 7 = 3*t, 0 = -t - 2*d + 3. Suppose -3*h - t = b - 0, 0 = 5*b - 4*h - 80. Does 6 divide b?
True
Let l(o) = -54*o**3 - 2*o**2 + 4*o + 5. Is 16 a factor of l(-1)?
False
Let y(a) be the second derivative of 13*a**3/6 + 39*a**2/2 - 11*a. Does 12 divide y(13)?
False
Suppose -1743*l + 1744*l - 2 = 0. Suppose 0*d = -4*d + 120. Suppose -j = -0*c + l*c - d, j - 6 = 4*c. Is 11 a factor of j?
True
Let g = 27 + -24. Suppose -2*m + 13 = a - g*m, m + 3 = 0. Does 5 divide a?
True
Let w(q) = -q**2 + 5*q - 3. Let y be w(5). Let z(p) = 2*p**2 - 3*p - 5. Does 12 divide z(y)?
False
Suppose 5*l - 3*q + 944 = 3465, 15 = 5*q. Is 7 a factor of l?
False
Let n(o) = -o**3 + 10*o**2 + 9*o - 15. Does 3 divide n(9)?
True
Let w be (-492)/18*(-1 - (-23)/2). Let f = w - -408. Does 7 divide f?
False
Let g(y) = 2*y**2 - 32*y + 1976. Is g(0) a multiple of 26?
True
Let v = 15 - 18. Is (-120)/(-6)*v/(-4) a multiple of 15?
True
Is ((-9)/3 - -2)*-42 a multiple of 6?
True
Let k be 7 + -7 + (-3)/(-1). Let w = -3 + k. Suppose 4*b = y - 13, 2*b = y - w*y - 11. Is y a multiple of 3?
True
Let t = 62 + -65. Let k(w) = 4*w**2 - 5*w - 3. Is k(t) a multiple of 12?
True
Suppose 3*h - 6*h - 21 = 0. Let u(q) = -20*q - 6. Let x be u(h). Suppose 0 = -4*s - 16, -s + x = 2*r - 3*s. Is 21 a factor of r?
True
Let p = 159 + 83. Is 19 a factor of (1 - (3 + -5)) + (p - 1)?
False
Let t(i) = 34*i + 488. Is 18 a factor of t(10)?
True
Let j(o) = 79*o - 96. Does 9 divide j(4)?
False
Let s(h) = 2*h**2 + 4*h + 3. Let u be s(-2). Suppose 3*x + 2*w = 20, 5*x - 22 = 3*x + u*w. Suppose x*g - 769 + 1 = 0. Is g a multiple of 32?
True
Let c = -71 - -76. Suppose 4*t - 2*t = 2*x - 164, -t + c = 0. Does 18 divide x?
False
Let i = -74 - -161. Does 24 divide 6/(2/i - 0)?
False
Suppose -4*q + 4 = -3*q + v, 4*q - 8 = -2*v. Suppose 4*u = -q*u + 384. Is 32 a factor of u?
True
Suppose -9*l + 4*l = 5*a - 790, 5*a - 2*l = 776. Is a a multiple of 12?
True
Let o = -146 - -81. Is 3/(12/(-20)) - o a multiple of 12?
True
Let w(g) = 33*g + 21. Let i be w(-13). Let k = i - -683. Is 55 a factor of k?
True
Does 11 divide -143*(-10 + 16 - 16)?
True
Let f(n) = n**2 - 4*n - 28. Let o be f(8). Is o + 5 + 2 + 140 a multiple of 32?
False
Let v be (-70)/(-15) + (-4)/(-3). Suppose v*f = -f + 14. Suppose 0 = -5*p + 2*p - f*g + 336, p - 116 = -2*g. Is 36 a factor of p?
False
Suppose -3*x = -a + 268, 2*x - 3*x - 98 = 4*a. Is 4 a factor of (x/5)/((-4)/6)?
False
Suppose 3*a = -3*d + 331 + 86, 0 = d + 5. Is a a multiple of 18?
True
Let w(p) = 330*p**2 + p - 1. Let g be w(1). Let n = -228 + g. Is n a multiple of 34?
True
Let s(h) = -499*h - 218. Is s(-4) a multiple of 14?
True
Let a(r) = 18*r**2 + 19*r + 93. Is 23 a factor of a(-7)?
False
Suppose -8*y - 2*y + 5130 = 0. Does 57 divide y?
True
Let h = -916 - -1441. Is h a multiple of 9?
False
Is 3 a factor of 9/(-36)*(1 - 1) + 40?
False
Let p(v) be the first derivative of v**2/2 + 12*v - 15. Is 8 a factor of p(-4)?
True
Let n = -52 + 95. Suppose -2*m + n = -3. Is 8 a factor of m?
False
Let w be 1/3 - 1954/(-6). Suppose 4*x - 428 = k, -3*k - w = -3*x - k. Let h = x + -52. Is h a multiple of 18?
True
Suppose 0 = k + 4 - 6. Is 7 a factor of 4/(k - 7/4)?
False
Let q = -500 - -868. Suppose q = 3*z - 103. Does 13 divide z?
False
Let w be (0 + -2)/(5 - 7). Let y be 3/((3 + -4)/w). Does 8 divide (0 - 2 - y) + 12?
False
Let l(m) = 0*m + m - 15 + m. Let z be l(10). Suppose h + 5*o - 22 = 14, -z*h - 4*o + 117 = 0. Is h a multiple of 7?
True
Suppose -4*d + 8 = -5*t - 15, -2*t - 14 = -2*d. Suppose -72 + d = -5*k. Is k a multiple of 11?
False
Let w be ((-10)/14 - -1)*7. Suppose 3*s - 8 = -t, t - 5*t - w = -5*s. Suppose -2*z = -6*d + d + 87, 3*z - 50 = -s*d. Does 8 divide d?
False
Let r = -2249 - -2621. Does 4 divide r?
True
Suppose 23*f - 12 = 20*f. Suppose -3*n + 5*s + 112 = 0, -s + f*s - 232 = -5*n. Is 22 a factor of n?
True
Suppose 2 - 8 = -5*d + 4*i, 2*d - 9 = -5*i. Let t be (d + 1)*6/9. Suppose t*r + 108 = 6*r. Is 27 a factor of r?
True
Let z be 417 - -3*2/(-6). Suppose 3*v + n - 3*n = 629, -2*n = -2*v + z. Suppose -4*l + v = -5*f, -74 = -l - l - 4*f. Does 11 divide l?
False
Is 22 a factor of (((-231)/28)/(-11))/((-3)/(-144))?
False
Let d = 488 + -175. Does 14 divide d?
False
Let a(t) = 23*t + 8. Let z(x) = -20*x - 7. Let d(m) = 5*a(m) + 6*z(m). Suppose 3*v + 2*h = -2 - 14, 2 = -3*v + 5*h. Is d(v) a multiple of 9?
True
Suppose 2*n - 2*o = -7*o + 130, -3*n - 3*o = -204. Let g = 31 + -27. Suppose -h + n = g*h. Is h a multiple of 7?
True
Suppose -4*w - 4 = -4*x, 2 = x - 3*w + 5. Let t(p) = 0 - 27*p + x - 5 + 1. Is t(-1) a multiple of 13?
True
Does 21 divide (-31 + 682)/(0 + 1)?
True
Let y = 2635 - 925. Is 10 a factor of y?
True
Suppose 33 + 669 = 3*x. Let d = 334 - x. Is 17 a factor of d?
False
Let a(x) = x**3 + 11*x**2 + 2*x - 6. Is 11 a factor of a(-5)?
False
Let d(y) = -277*y + 33. Does 19 divide d(-5)?
False
Let n = -221 + 285. Does 15 divide n?
False
Suppose 3*u + 0 = g - 67, -g + u + 61 = 0. Suppose -64 = -w - 2*p, g = -5*w + 6*w - p. Is w a multiple of 9?
False
Let c = 90 - 30. Let o = 93 - c. Is 11 a factor of o?
True
Does 14 divide -3 + -9 - -3783 - -9?
True
Let r = -58 - -32. Let v be 3/(-3) + r/(-1). Let z = 12 + v. Is z a multiple of 14?
False
Suppose -2*d + 19 = -o, -2*d - 9 = o + d. Let k be (6/o)/(4/(-40)). Suppose k*m - 188 = t, 41 = -3*m - 5*t + 182. Is 17 a factor of m?
False
Let f be (-4)/2*(-27)/18. Suppose 4*c - 3*c - n = -32, f*n = 0. Is 9 a factor of (2/(-3))/(c/432)?
True
Let j(m) = m**3 + 6*m**2 - 6. Let q = -3 - -16. Suppose -3*o = -3*d + 4*d + q, -2*o + 5*d = 3. Is j(o) a multiple of 26?
True
Suppose 0 = 31*a - 53*a + 73392. Is a a multiple of 24?
True
Suppose -t + 5 = 2*w - 0, 20 = 4*t - 5*w. Let p = -397 + 585. Suppose 0 = t*m - 3*a - 306, 8*a - 4*a = 3*m - p. Does 15 divide m?
True
Let g(j) = 17*j**2 + 1. Let s(f) = f**2 + 7*f - 7. Let t be s(-7). Let w = 8 + t. Does 13 divide g(w)?
False
Suppose 1 = 4*d - 15. Suppose 3*a = d*l - 471, 2*l + 3*l - 5*a = 585. Is l a multiple of 19?
False
Let w = 281 + -131. Is w a multiple of 6?
True
Suppose 7*n - 16 = -58. Let v(b) = 3*b**3 + 9*b**2 + 5*b + 5. Let o(h) = -4*h**3 - 10*h**2 - 4*h - 6. Let c(d) = -2*o(d) - 3*v(d). Does 2 divide c(n)?
False
Let f be 34/4 - 1/(-2). Let x(p) = -1 + 14 + 4*p + 9*p - 12*p. Does 13 divide x(f)?
False
Suppose -m = -5, -2*i + 4*m + 380 = 3*i. Does 14 divide i?
False
Let v(g) = -g**3 + 8*g**2 + 9*g + 16. Is 21 a factor of v(8)?
