a multiple of 12?
True
Let v be (1 - 2)*(-1091)/(-1). Let h = 1600 + v. Does 52 divide h?
False
Let n = 187 - 56. Suppose 5*f = -10, -5*j + 7*f + 20 = 2*f. Suppose j*y = n + 69. Is 20 a factor of y?
True
Let l = -406 + 400. Let g be 28 - (-4)/(1 + 1). Let n = l + g. Does 6 divide n?
True
Suppose -14*r + 2301 = -905. Let i = 819 - r. Is i a multiple of 59?
True
Let f(b) be the first derivative of 9*b**2/2 - 17*b + 13. Let y be f(6). Suppose -y = -2*n + 107. Does 18 divide n?
True
Is 21 a factor of -4*7743/(-5) + (1664/65 - 25)?
True
Suppose 0 = -190*k + 189*k + 10. Let j(h) = 17*h - 9. Let u be j(6). Suppose -9*d - 96 = -k*d - 2*c, -u = -d + c. Does 22 divide d?
False
Let s(t) = 333 - 997 - 31*t**3 + 332 + 332 + 4*t. Does 12 divide s(-2)?
True
Suppose 6*g = 327 + 417. Suppose -2*s + g = -364. Is 8 a factor of (-12)/(-8)*s/6?
False
Suppose 106 = -x - 5*m, 28*x - 23*x + 3*m + 574 = 0. Let z = x - -196. Does 20 divide z?
True
Is 19 a factor of (-42)/(-63) + 1322*(-91)/(-42)?
False
Let n = -27938 + 41055. Does 146 divide n?
False
Suppose 0 = -2*n - 58 + 186. Suppose n = -5*l + 234. Suppose -2*o + l = -264. Does 10 divide o?
False
Is 96 a factor of 4990 + (12 - (20 + -10))?
True
Let b = -157 + 161. Suppose -4*j - b*s = -6*s - 206, 0 = -4*j - 2*s + 194. Is 5 a factor of j?
True
Suppose -2322 = 52*y - 54*y. Does 8 divide y?
False
Let h(r) = 1093*r**2 - 909*r - 4. Does 73 divide h(5)?
True
Suppose -4*d = f + 2*f - 349, 0 = -4*d + 4*f + 384. Suppose 21*q = 8*q + d. Is 358/2 - (q + -6) a multiple of 22?
False
Suppose -4*d + 826 = -3*s, 3*s = -d - 4*d - 871. Let q = s - -903. Does 89 divide q?
False
Suppose 10524150 = -124*r + 120*r + 529*r. Does 39 divide r?
True
Let l be ((2 - 0/2) + -3)*-8. Let t be 4 + -4 + l + -1 + -5. Suppose -2*j = j + 6, -34 = -g - t*j. Does 13 divide g?
False
Suppose 0 = -15*o + 98640 + 23621 + 65329. Is 11 a factor of o?
False
Let y be -4 - 1/(3/6). Let n(f) = -3*f - 13. Let v be n(y). Suppose -3*w + 35 = 2*x, 0*w = 2*w + v*x - 38. Is 9 a factor of w?
True
Let g(v) = 5*v + 26. Let a be g(-5). Suppose -s - 8 = -3*u, 4*s - 3*u = -2*u + a. Does 9 divide (-3)/s*138/(-2)?
True
Let m be (3 + 10/(-3))*6. Let b(t) = 10*t + 7. Let c(f) = 1. Let z(k) = -5*b(k) + 40*c(k). Is 16 a factor of z(m)?
False
Let n be 2/(-7) - 300/(-70). Is 7 a factor of (1 + -8)/(n/(-4))?
True
Suppose -15376 - 54639 = -11*b. Is b a multiple of 19?
True
Let s be 6 - (2 + (-34 - 0)). Suppose 3*d - 4*d = -2*o - s, -5*o - 15 = 0. Does 32 divide d?
True
Is (0/14)/2 + 1*851 - -5 a multiple of 4?
True
Let g be (0 - 18/15)*(-40)/12. Suppose 0 = -7*q + 8*q - g*w - 610, 3*q + 3*w = 1755. Suppose -1562 + q = -9*n. Does 12 divide n?
True
Is 18 a factor of 5/20 + 78/(-24) + 300?
False
Is 19 a factor of (-261)/(-12)*(-29532)/(-207)?
False
Suppose -805*s - 1070 = -810*s + 5*b, 600 = 3*s + 4*b. Does 29 divide s?
False
Let y(o) = 21*o**3 + 13*o**2 + 12*o + 3. Let g(d) = -11*d**3 - 7*d**2 - 6*d - 2. Let q(v) = -5*g(v) - 3*y(v). Is q(-2) a multiple of 21?
False
Suppose -11*m + 120*m = -29*m + 1796622. Is m a multiple of 26?
False
Suppose -35*u + 252702 = -u - 206298. Is u a multiple of 15?
True
Suppose 6*p - 4*p = 3*q + 56547, 4*q = -4*p + 113004. Is 18 a factor of p?
True
Let f(z) = z + 15. Let u be f(-13). Suppose u*n = -3*h + 1740, 0 = 4*h - h - 2*n - 1728. Is h a multiple of 34?
True
Suppose -2*h = 2*j - 652, 0 = -2*j - 2*h + h + 651. Let q = -233 + j. Is q a multiple of 31?
False
Let l = 206 - 329. Let i = 278 - 91. Let u = l + i. Does 13 divide u?
False
Let i(q) = -4*q**2 + 2*q + 72. Let s be i(-9). Let y = -166 - s. Does 52 divide y?
True
Does 4 divide (0 + -16)*((-426)/(-10))/((-139)/695)?
True
Is (-36)/30 - (-7)/(-70)*-35012 a multiple of 128?
False
Let n be (-1)/2*-13*(-17 - -53). Let i = n + -179. Is 11 a factor of i?
True
Suppose -5*p + u + 8865 + 20734 = 0, 3*p - u = 17759. Does 40 divide p?
True
Let k(w) = -2*w**3 + w**2 + 5*w - 2. Let u be k(2). Is 6 a factor of (0 + (-65)/4)/(u/48)?
False
Let d be (-6)/3 - -129 - (-2 + 5). Let j = d + 16. Let b = j - 94. Is b a multiple of 13?
False
Suppose -4*q = -2*h + 90, 4*q - 16 = -h + 41. Suppose 13*w + 5688 = h*w. Does 6 divide w?
False
Suppose 20 = 4*c, -3*h = 2*c - 3*c - 4897. Does 53 divide h?
False
Suppose 4*o = -h + 39731, 2*o - 80*h + 81*h = 19865. Does 11 divide o?
True
Suppose 334312 + 884549 = 90*z - 68229. Does 223 divide z?
False
Suppose 44 = -10*s + 12*s. Does 51 divide (2 + 24/(-9))/(s/(-17457))?
False
Suppose 9066 = y - s, -4 = -69*s + 67*s. Is 9 a factor of y?
False
Suppose 4*a + 3*s = -88, -2*a - 3*a = s + 99. Let g = 15 + a. Does 5 divide 1 + -4 - (84/g)/1?
False
Let q(p) = 37*p**2 - 129*p - 1240. Is 9 a factor of q(-11)?
False
Let g = 292 + -272. Suppose -1585 = -g*z + 95. Is 5 a factor of z?
False
Let f(i) = 3*i**2 + 3*i - 21. Let n be f(3). Let a = 11 + -15. Let d = a + n. Is 7 a factor of d?
False
Let d(o) = o**3 - o**2 + 3*o + 13. Let i be d(-2). Let z be ((-1)/2)/(2/(-4)). Is (8/(-20)*i + 100)*z a multiple of 17?
True
Let k(a) = -53*a**3 - 7*a**2 + 59*a + 331. Is k(-5) a multiple of 115?
False
Let w(m) be the third derivative of m**6/120 - 13*m**5/30 + 11*m**4/24 - 11*m**3/3 - 12*m**2 + 7. Is w(26) a multiple of 24?
True
Let w(b) = -b**3 + b**2 + b + 224. Suppose -5*t + 20 = -3*u, -2*u - 2*u + 2*t = 8. Let v be w(u). Suppose 0*y = -7*y + v. Does 16 divide y?
True
Let h(o) = 45*o**2 - 139*o + 1442. Is h(11) a multiple of 57?
True
Let v = 3344 - 1893. Let m = v - 502. Is 15 a factor of m?
False
Suppose -5*x - 4*i = -129154, -10*x - 6*i - 129144 = -15*x. Does 42 divide x?
True
Suppose 20*z - 142958 = 50002. Is 186 a factor of z?
False
Let n(s) = s**3 + 5*s - 232 - 2*s**2 - 232 + 461. Let q be n(2). Let k(c) = -c**3 + 8*c**2 + 3*c - 11. Is 8 a factor of k(q)?
False
Let v be 31325/21 - (-4)/(-6). Is (-14)/63 - v/(-27) a multiple of 6?
False
Let h be (-6633)/(-1287) - (-1 - (-15)/13). Let c(f) = 102*f - 30. Is c(h) a multiple of 16?
True
Let k(r) = -5*r + 27. Let l be k(6). Is -3 + (l - 2 - -26) a multiple of 18?
True
Let o be (-2)/(-16) - (29006/(-16) - 6). Suppose 4*x + 903 = s, 3*s - s - o = -5*x. Suppose 167 = z - 3*w, 5*z + 7*w - s = 4*w. Is z a multiple of 10?
False
Let v be (-15)/(-5) + (-5 - 0)/(-5). Suppose m - 26 = -3*b, 5*b = m - 30 + v. Is m a multiple of 17?
False
Let f(o) = -432*o - 101. Does 5 divide f(-8)?
True
Does 105 divide 10/25 - (-1154960)/100?
True
Let r = -61 + 55. Let s(c) = -7*c**2 - 16*c - 14. Let y be s(r). Does 9 divide -12 - -13 - y/((-2)/(-1))?
False
Let b = 17 + -6. Let c = 61 + b. Suppose -2*y = y - c. Is y even?
True
Let t(r) = -178*r**2 - r. Let p be t(1). Let j be (-3)/(-9) - 961/3. Let q = p - j. Does 32 divide q?
False
Suppose 3*w = -12*w - 105. Let l(t) = 10*t**2 + 52*t - 1. Is l(w) a multiple of 19?
False
Let n(d) = 1994*d + 1108. Is 36 a factor of n(6)?
False
Let u be (-3)/((-1)/(-6)*54/(-30)). Suppose -94 = -4*m + 4*a + u, -2*m = 2*a - 44. Is 12 a factor of m?
True
Let s(g) = -g**3 - 16*g**2 - 5*g - 8*g**2 - 10 + 2. Is 14 a factor of s(-24)?
True
Suppose -5 = -5*q - 11*c + 7*c, 2*q = -2*c. Suppose -1430 = q*o - 10*o. Is 3 a factor of o?
False
Let d(j) = 17 + j + 32 - 39. Let q = -2 - -12. Is d(q) a multiple of 4?
True
Suppose 48*i + 35073 - 425622 = 150507. Does 174 divide i?
False
Let s = -36 - -36. Suppose 6*j - 15*j + 702 = s. Is 17 a factor of (j/24)/(1/40)?
False
Let b = 11 + -17. Let f be 1*((-4)/6 - 4/b). Suppose -r = y - 54, f*y = -3*r + 3*y + 150. Is 9 a factor of r?
False
Suppose 3478 = -2*q + 9*q - 7806. Is 124 a factor of q?
True
Let x(s) = -s**3 - 16*s**2 + 36*s + 3. Let k be x(-18). Suppose 4*q = r + 903, k*q = r + 109 + 567. Does 13 divide q?
False
Let k(r) = 59*r - 295. Let p be k(5). Suppose p = -93*d + 63*d + 9270. Is d a multiple of 7?
False
Suppose -3*m = -m - 4. Suppose -2*v + 5*v = -4*h + 476, -4*v - m*h + 638 = 0. Is v a multiple of 32?
True
Does 6 divide (-1381590)/(-187) + 2/(-11)?
False
Let i(t) = -t**3 - 12*t**2 - 30*t - 25. Let l be i(-9). Suppose -33 = -l*d + 367. Does 5 divide d?
True
Is (427/4)/(423/84 + (-125)/25) a multiple of 8?
False
Let c be (9/6)/(2/9064). Suppose 1732 = -17*n + c. Is 15 a factor of n?
False
Let l be 1*-3 - (18 - 23). Suppose 5*u - 3*x = 1857, -4*x + 170 + 578 = l*u. Does 31 divide u?
True
Suppose -4*q - 8423 