actor of u?
True
Suppose 0 = 9*h - 6*h - 12. Suppose -h*f = -f + 15, -t + 9 = -f. Suppose t*r - 16 = 172. Does 16 divide r?
False
Suppose -5*b + 5293 = 2*f - 12973, -10944 = -3*b + 4*f. Does 13 divide b?
False
Suppose -4*d - 12 = 0, -25212 = -4*m + 67*d - 63*d. Does 9 divide m?
True
Suppose -m = -2, 5*m - 4 - 3 = l. Suppose 4*v - l*r - 979 = 0, 6*r - 8*r + 730 = 3*v. Is v a multiple of 5?
False
Let f(k) = k**2 + 20*k - 41. Let a be f(18). Suppose -5*u + a = -22. Is u a multiple of 25?
False
Let u = 3 - -6. Let n(t) = 11*t + t**2 - 11*t - 32 - u*t. Is 9 a factor of n(13)?
False
Suppose 59*q - 53*q - 60 = 0. Does 2 divide 4/q - (-6 - 2530/50)?
False
Suppose m = -4*m - 4*y + 38, 5*y = 2*m - 35. Suppose -104 = 14*c - m*c. Is 26 a factor of (c/(-5))/((-4)/(-20))?
True
Suppose -c = -2*u - 43, -2*c - 4*u + 7*u + 84 = 0. Suppose -34*n + c*n = 20. Is 4 a factor of n?
True
Let n be 5*((744/30)/(-4) - -1). Is (12 + n)/56 - (-3389)/4 a multiple of 29?
False
Suppose 2*s - 4*b = 24, -23 = -4*s - b + 4*b. Suppose -2*x - 60 = f + x, s*x - 80 = f. Let t = 144 + f. Is t a multiple of 18?
True
Suppose 2*i = -0*i - 130. Let a be -65 + 1 - -2*(-5)/(-2). Let c = a - i. Is c a multiple of 2?
True
Let n(x) = 25651*x - 511. Does 271 divide n(3)?
False
Suppose -11 = -12*c + 25. Suppose 0 = -c*a + 170 + 262. Does 16 divide a?
True
Suppose -133 = 13*z - 1290. Suppose 6*c + h + z = 7*c, -3*c + 257 = -5*h. Is c a multiple of 15?
False
Let o be 13/3 + (10/(-3))/(-5). Suppose o*j + 2*j = 441. Suppose -2*r + 13 = -j. Is 9 a factor of r?
False
Let g = 1118 - 542. Suppose 9*n + g = 21*n. Is 40 a factor of n?
False
Let l(b) = -4*b**3 + b**2 - 24*b - 295. Is l(-8) a multiple of 43?
False
Let w = -150 - -156. Let q be 1/4 - (-943)/4. Is 20 a factor of q*(15/w)/5?
False
Suppose -6*p + 30 = -3*p. Let s = 22 - p. Is 9 - -1 - (-9)/(54/s) a multiple of 3?
True
Let n(g) = -9*g**2 + g - 19. Let j be n(4). Let k = 648 + j. Is 12 a factor of k?
False
Suppose 688*h - 2438802 - 2605614 = 0. Does 11 divide h?
False
Let k be (-9)/(-15)*40/8. Suppose 52 = m + 5*l - 166, -2*m - k*l = -464. Does 17 divide m?
True
Suppose 0 = 4*v + 8, 2*n + 3 - 1 = -v. Suppose -3 = -4*t + t - o, -3*t + 2*o + 12 = n. Suppose 3*u + 60 = d, -3*u = -t*d + 2*u + 119. Is d a multiple of 10?
False
Let h(n) = -n**2 - 26*n - 120. Let y be h(-28). Does 44 divide y/(-3)*324/72?
True
Let q be 4 - (-45 + 1 + -5). Let h be -99 + 6/3 - 1. Let y = q - h. Is 15 a factor of y?
False
Suppose -4*m = r + 11, -m + 3 - 7 = 0. Suppose -268 = -4*o + 2*p + 200, 2*p = -r*o + 585. Is 4 a factor of o?
False
Let a be 3 + -1 - -2 - (-6 - -6). Suppose 3*m = -3*t + 1638, t - 2706 = -a*t + m. Is 13 a factor of t?
False
Let f = -11 - -11. Suppose -2*r + 0*r = -4*u, f = -3*r - 3*u - 9. Does 14 divide ((-50)/4)/(1/r)?
False
Let p be 0 + (-1 + 1 - -2) - (71 + -74). Let k(t) = -t**3 - 3*t**2 - 3*t. Let g be k(-2). Suppose r = z - g*r - 189, p*z - 3*r = 1005. Does 12 divide z?
True
Suppose -3*v - 2*u + 79 = 0, 8*v - 3*u = 3*v + 100. Suppose v = 2*y + 23. Is (1 + y)/(581/145 - 4) a multiple of 36?
False
Let k(m) = 10*m**2 + 498*m - 94. Let t be k(-50). Let g be (0 + 0)/(2 + -1). Suppose -t*p + 55 + 269 = g. Is p a multiple of 9?
True
Let x(p) = 5 - 14 - 8*p + 3. Let a be x(-12). Suppose 0*y + 2*y + k = a, y - 35 = -3*k. Is 5 a factor of y?
False
Suppose -4*v + 905 = 5*q - 10*q, 2*v = 3*q + 455. Suppose -26*m = -21*m - v. Is m a multiple of 4?
True
Suppose 0 = -4*b - 26 - 166. Suppose -4*n + 159*x = 154*x - 252, -n + 2*x = -63. Let y = n - b. Is y a multiple of 11?
False
Let d = 335 + -331. Suppose d*q - j - 2277 = 0, 3*q + 5*j = -30 + 1709. Is 42 a factor of q?
False
Let j be 15/(-2)*(-10)/(-15). Let v(r) = 25 - 3*r + 3*r - 3*r - 3*r. Does 11 divide v(j)?
True
Suppose 113*s = 101*s + 10032. Let m = s - 476. Is 24 a factor of m?
True
Let z(h) = -h**2 - 2*h + 2. Let g be z(0). Suppose -4*i - 4*s = -264, -3*i + 6*i + g*s = 193. Let c = 100 - i. Does 12 divide c?
False
Let t = -4251 - -4315. Is 4 a factor of t?
True
Let v be (1 + 2 - 3) + 5 + -4. Let h(t) = 528*t**3 - t**2 + 2*t - 2. Does 55 divide h(v)?
False
Suppose 4*n - 4*k + 764 = 0, -3*n = -2*n - 3*k + 183. Let t = -87 - n. Does 18 divide t?
True
Suppose 2*i + 0*k - 5 = 5*k, -12 = -4*k. Suppose g - 3*p = 0, -3*g - 4*p + 2*p = -33. Suppose -51 = -i*u + g*u. Is u a multiple of 6?
False
Let d be 0 - -82*(-184)/(-16). Let k = 1791 - d. Does 53 divide k?
True
Let a = -9192 - -15044. Is 11 a factor of a?
True
Let b(k) = k**3 - 3*k**2 - 7*k - 4. Let l(z) = -z**2 - 8*z. Let i be l(-8). Suppose i*m + 6 = m. Does 13 divide b(m)?
False
Let o(w) be the second derivative of -w**4/12 + 7*w**3/2 - 3*w**2/2 - 2*w. Let p be o(18). Suppose k + p = 3*j - 2*k, -3*j = -k - 47. Is 3 a factor of j?
True
Suppose 8*g + 13069 = -4*g + 71929. Is g a multiple of 24?
False
Let g = -867 - -1396. Let l = -425 + g. Is 26 a factor of l?
True
Let b be -4 - -1 - 3/(-3). Let f(p) = p**2 + 3*p + 3. Let d be f(b). Does 2 divide -2 + (7 - 1) + 0/d?
True
Does 35 divide ((-1064)/(-19))/((-20)/(-2750))?
True
Let c = 49 - 33. Suppose -2*x - 7 = -k + 3, 0 = 3*k + x - c. Is 3/k*(-5 - -7) + 25 a multiple of 16?
False
Let u = 3263 - 983. Is u a multiple of 40?
True
Let a(o) = 2*o**2 + o + 2. Suppose 0 = -0*w + 2*w. Let c be a(w). Is 21 a factor of (-5)/(164/84 - c)?
True
Let m(z) = -13*z**3 + 3*z**2 + 3*z. Let f(y) = y**2 - 12*y - 30. Let d be f(14). Does 11 divide m(d)?
True
Suppose 26*g + 40*g + 255200 = 86*g. Is 145 a factor of g?
True
Let x be 24/8 + (-3 + -2)*1. Let b(k) = 12*k**2 - 2*k + 2. Let h be b(x). Let s = h - 33. Is 8 a factor of s?
False
Let l = -3268 - -3261. Let f(n) be the first derivative of 2*n**3/3 - 5*n**2/2 - 14*n - 1. Is f(l) a multiple of 17?
True
Let n(k) = k**2 + 29*k - 52. Let p be n(-32). Suppose 5*g - 541 = -r, 328 = 3*g + 48*r - p*r. Is 23 a factor of g?
False
Suppose 20*x - 600 = 24*x. Let s = 106 + x. Let j = s + 58. Is j even?
True
Suppose -2*c + 561 = -365. Suppose -2*j = 2*p + j - c, -4*j - 686 = -3*p. Is p a multiple of 11?
False
Suppose 10*y - 216 = 74. Suppose y*l - 1022 - 41347 = 0. Is 36 a factor of l?
False
Suppose -57*u + 52*u + 10790 = 3*o, -14402 = -4*o + u. Is 80 a factor of o?
True
Suppose a = 5*f - 17, -8 = -a - 3*f - 65. Let m = -16 - -76. Let s = m + a. Does 2 divide s?
True
Let l(z) = 7*z**3 - 14*z**2 - 38*z + 43. Let d(f) = 2*f**3 - f**2. Let x(b) = 3*d(b) - l(b). Is x(13) a multiple of 4?
False
Let a(l) = 24*l + 433 - 22*l - 16*l - 425. Suppose -5*o - 5*z = 30, -4*o - o + z = 18. Is 16 a factor of a(o)?
True
Let h(y) = 113 + 151 - 4*y**2 + 3*y**2 + 3*y**2 - y. Is h(0) a multiple of 27?
False
Is 0/(18 - 31) - (-6642 - 0) a multiple of 41?
True
Suppose 0 = -3*o + 71 + 22. Suppose 0 = i + o - 304. Suppose 822 - i = 9*x. Is 12 a factor of x?
False
Let d(o) = -2*o**2 - 33*o - 7. Let u be d(-10). Suppose 4*z = 97 + u. Suppose 0 = 3*t - 296 - z. Is t a multiple of 9?
True
Suppose 2*u = b - 388, -5*u + 367 = -4*b + 5*b. Suppose 2*q = -4*v - 3*q + b, q + 296 = 3*v. Is v a multiple of 14?
True
Suppose 0*b + 5*d - 3750 = -3*b, 4*d = 7*b - 8797. Is b a multiple of 121?
False
Let v(r) = -733*r**3 + 4*r**2 - 15*r - 24. Is 6 a factor of v(-2)?
True
Let t(f) = 7*f**3 + 41*f**2 - 435*f - 97. Is 13 a factor of t(20)?
False
Suppose 2*d + 3233 = 2*g - 25463, -5*g - 2*d + 71768 = 0. Is g a multiple of 195?
False
Suppose b - 223 = -4*k, 4*k = -k - 2*b + 278. Let o = 58 - k. Is 150/20*4/o a multiple of 5?
True
Let x(d) = 17*d + 1. Let i = 20 - 15. Suppose 3*s + i*n = -12, -2*s - 5*n = -4*n + 1. Is 2 a factor of x(s)?
True
Let g be (13 - 15)/((-2)/6). Suppose 0 = g*j - 2*j + 8, 103 = -3*s - 2*j. Let a = 97 + s. Is a a multiple of 16?
True
Let k(r) = -2*r**2 - 10*r + 222. Does 14 divide k(-13)?
True
Let a(x) = 2*x**3 - 4*x**2 + 7*x - 3. Let p(q) = -q**2 - 12*q + 48. Let d be (4 + -3)*15*-1. Let g be p(d). Is 4 a factor of a(g)?
True
Let w(v) = -v**2 + 8*v + 20. Let n be w(10). Let s be (357/(-4) - n)*24/(-9). Let t = s + -137. Is 14 a factor of t?
False
Is 16 a factor of (195/(-78))/((-1)/3370)?
False
Suppose -4*l = -p + 8, -p + 5*p + 4*l - 12 = 0. Suppose 6212 = 4*q + 2*j, p*q - 3106 = 2*q - 2*j. Is q a multiple of 14?
False
Let m be (-1152)/(-15) + 4/20. Suppose 5*u - 23 = m. Suppose -5*x + u + 20 = 0. Is x a mult