x - 1095/(-10)?
True
Suppose -61 = -q - 4*b, 0 = -3*q + 5*b + 3 + 197. Suppose -4*y - y = -q. Does 3 divide y?
False
Suppose -96 = -14*s + 324. Is 6 a factor of s?
True
Does 36 divide (1 - (-290)/6) + 134/201?
False
Let m(c) = 29*c + 2. Let l be m(-2). Let q = l - -103. Does 11 divide q?
False
Let x = -9 - -18. Let a(g) = -g**3 + 7*g**2 - 2*g + 17. Let b be a(6). Let o = b - x. Does 16 divide o?
True
Let i = 2221 + -1989. Does 2 divide i?
True
Let d = 33 + -383. Let y be (-8)/(-36) + (-32)/(-18). Is 9 a factor of y/11 + d/(-11)?
False
Suppose -12*g = -63*g + 7140. Is 4 a factor of g?
True
Let g(y) = 32*y**2 + y. Suppose 6*v - v + 3*b = 41, 0 = v - 4*b + 1. Let t be 9/(-21) - 4/v. Does 9 divide g(t)?
False
Let k = 152 - -238. Is 26 a factor of k?
True
Let x be 1 + -1 + 3 - 0. Let c be (-2)/(-1) + x + 65. Suppose -u = 2*t - c, 5*u + t - 2*t - 394 = 0. Is 10 a factor of u?
False
Is 126 - (1 + (-3)/3 + -1) a multiple of 25?
False
Is 36 a factor of (13/2)/(4/104)?
False
Does 16 divide (-17292)/40*-2 + (-12)/20?
True
Let p(y) = -20*y - 6. Let n be p(-7). Let m = n - 50. Is 22 a factor of m?
False
Let l be (17 - 1)/4 + -5. Let i(a) = -30*a**3 - a**2 - a. Does 8 divide i(l)?
False
Let w(z) = -2*z**3 - 3*z**2 + 2*z + 6. Let c(j) = j**3 - 4*j**2 + 4*j - 7. Let p be c(3). Is w(p) a multiple of 17?
False
Let g = -14 - -16. Suppose 0 = p - 6*p + 4*m + 135, 54 = g*p - 5*m. Is 27 a factor of p?
True
Let b(q) = 343*q**2 - 3*q - 7. Is b(-3) a multiple of 14?
False
Let i = 939 - 111. Does 12 divide i?
True
Let p(g) be the third derivative of g**4/24 - 5*g**2. Is p(4) a multiple of 4?
True
Let g = -416 + 511. Does 12 divide g?
False
Is 18 a factor of ((-248)/(-2))/(((-15)/(-12))/5)?
False
Let r(b) = -b**2 + 4*b + 2. Let k be r(3). Does 16 divide 127 + (k - (-3 + 8))?
False
Suppose 2*z + d = 680, -3*z + 4*z + 3*d - 330 = 0. Does 31 divide z?
False
Suppose 0 = 3*y - 4*h - 152, -2*h - 276 = -5*y - h. Is y a multiple of 4?
True
Let p(d) = -3*d - 8. Let g be p(-4). Suppose 220 = 2*l - g. Does 16 divide l?
True
Suppose 8*n - 2*n = 6. Let d(z) = -18*z - 4. Let l be d(-3). Suppose n = 3*q - l. Does 5 divide q?
False
Let d = 140 - 137. Suppose 0 = -4*x - 4*m + 499 + 473, d*m - 972 = -4*x. Does 22 divide x?
False
Let p(i) be the first derivative of i**3 + i + 2. Let h be p(-1). Let m(n) = 5*n - 4. Is 8 a factor of m(h)?
True
Let b(f) = -f**3 - 8*f**2 + 4*f - 6. Let a be b(-10). Let g = 204 - a. Is g a multiple of 4?
False
Suppose -2*r = -5 - 5. Suppose 160 = -r*i + i. Let u = 68 + i. Does 4 divide u?
True
Is 247 - ((-80)/(-10) - 1) a multiple of 6?
True
Let f = 13 + -4. Let j = 11 - f. Suppose 18 = -v + j*v. Is v a multiple of 6?
True
Let z(s) = 40*s - 17. Is 8 a factor of z(2)?
False
Is 49 a factor of (-2)/3 + 569/3 + 0?
False
Suppose 0 = -4*s + 5*z - 13, 3*s + 5*z - 28 = 2*s. Suppose -5*c = -h + 37, -s = -3*h - 3*c + 18. Is h a multiple of 3?
True
Let j = 32 - 30. Suppose -z = 2*r - 3*r - 103, -106 = -z - j*r. Does 26 divide z?
True
Let q be 2/(-1*(-8)/132). Let z be 242/q*6/4. Let f(u) = 2*u**2 - 7*u - 16. Is 35 a factor of f(z)?
False
Let m = -6 - 89. Is ((-912)/m)/((-4)/(-30)) a multiple of 9?
True
Is 7 a factor of (-84)/12 - (0 - 56)?
True
Let r = -267 - -273. Let y be -1 + (-400)/(0 + -2). Suppose 31 = -r*n + y. Is 12 a factor of n?
False
Let u be 32/(-12)*1362/8. Let m = u - -784. Is m a multiple of 55?
True
Suppose 2*x + 42 = 5*x. Let b = x - -140. Is 17 a factor of b?
False
Let v be 1*(-2 - 2 - -9). Suppose v*j = -4*r + 60, -r + 4*j = -j - 40. Is r a multiple of 5?
True
Suppose 3*y + 38 = -139. Let w = -40 - y. Does 10 divide w?
False
Suppose -15*v + 49*v = 63648. Does 36 divide v?
True
Suppose 6046 = 5*h - 3*l, -12*l - 3639 = -3*h - 14*l. Does 5 divide h?
False
Suppose -9*c = -4514 - 8176. Does 14 divide 6/(-27) - (2 - c/27)?
False
Let m be 1*(-16)/(-12)*3. Suppose -d + 6 - m = 0. Suppose 0 = -2*u - 10, -3*r + 83 = -d*r - 2*u. Is 22 a factor of r?
False
Let b be (-2)/(-5) - (-3 + 6/15). Suppose 3*o - 4*o = 2*g - 106, b*g = -2*o + 210. Does 20 divide o?
False
Let g(u) = 5*u**2 - 13*u + 14. Let o(h) = -h**2 - 1. Suppose v + 0*v - 4 = 0. Let l(r) = v*o(r) + g(r). Does 10 divide l(15)?
True
Let c = -64 + 90. Let a = 39 - c. Let w = a - 3. Does 5 divide w?
True
Let h = -13 + -2. Let s = 9 + h. Let n(v) = -6*v - 8. Is n(s) a multiple of 7?
True
Let j(y) = 2*y**2 - 37*y + 31. Does 12 divide j(25)?
False
Let c(y) = 3*y**2 + 16*y - 10. Let s(o) = o**2 + 8*o - 5. Let r(b) = 2*c(b) - 5*s(b). Let i be r(6). Let h = -1 - i. Does 4 divide h?
False
Suppose 0 = -2*z + 5*z - 24. Let v be 3/(-4 + 38/z). Suppose -5*s - 5*d = -350, 0*s + 4*s - v*d = 248. Is s a multiple of 22?
True
Let z(n) = 14*n**2 - 12*n + 51. Is 17 a factor of z(7)?
False
Let z be 1/2 - (-5)/2. Let i be 6*7/(-19 - 2). Is 16 a factor of 2190/45 + i/z?
True
Let q(s) = 3*s**2 + 29*s - 11. Let m be (-102)/9 - 12/18. Is q(m) a multiple of 7?
False
Suppose 0 = 11*w - 12*w + 18. Let j(a) = -25 - 29*a - w + 44. Is j(-3) a multiple of 22?
True
Let z(o) = 111*o**2 - 4*o - 2. Is z(2) a multiple of 14?
True
Suppose 0 = -3*w - 2*n - 24, -3*w + 6*n - 12 = 4*n. Let m be 45/w*16/(-5). Suppose -2*g = -q + m, 4*q - 5*q - 4*g + 42 = 0. Is q a multiple of 10?
True
Let x be 67/5 - 8/20. Let g(d) be the first derivative of 5*d**2/2 - 2*d + 86. Is 11 a factor of g(x)?
False
Suppose -5*z = -4*b + 2*b + 25, 0 = 2*b + 4*z + 2. Suppose c + b*p + 8 = -9, 0 = -p - 4. Suppose 97 = 3*u - u - c*h, 3*u + 4*h - 154 = 0. Is 25 a factor of u?
True
Let n(b) = -119*b**3 - 3*b**2 - 6*b - 12. Is n(-2) a multiple of 6?
False
Let z(r) = r**3 - r**2 - 2*r - 6. Let g be z(0). Is 7 a factor of (g/4)/((-6)/336)?
True
Let y = 447 + -646. Let k = y - -309. Is k a multiple of 11?
True
Suppose 4*d - 3*n - 4093 = 0, d - n + 4113 = 5*d. Is 13 a factor of d?
True
Let j(i) = -i**2 + 12*i - 12. Let k be (-256)/(-18) - (-18)/(-81). Suppose 5*w + 5*d - 40 = 0, -4*d + k = 3*w - 9. Is j(w) a multiple of 15?
True
Let g = 27 + -24. Suppose g*t = -0*t - 57. Let j = t - -32. Is 4 a factor of j?
False
Let q = -29 + 374. Is q a multiple of 40?
False
Does 3 divide (-42445)/(-130) - (1/(-2) - 1)?
False
Let x be 4 + (-5)/((-5)/(-2)). Suppose x*u - w + 4*w + 1 = 0, 0 = -5*u + 2*w + 45. Is 7 a factor of u?
True
Suppose -q = -128 + 107. Suppose 0 = -5*s - 2*m + 14, 0 = -4*s + 2*m + m + 2. Let z = q - s. Is 3 a factor of z?
False
Let i = -791 - -1548. Does 56 divide i?
False
Let x be 15/(-3 + (-3918)/(-1304)). Does 24 divide 4/(-26) + x/65?
False
Suppose 5*t - 3 = 3*z, 3 + 0 = -3*z - 5*t. Suppose -7*n = 40 - 103. Does 2 divide 18*(n/6 + z)?
False
Let l = -5 + 17. Suppose 3*z + 5*t - l = 0, 3*t - 4 = -2*z + z. Suppose 0*v - z*v = -192. Does 20 divide v?
False
Let a be (-728)/(-78)*3/2. Suppose -a*r + 16*r = 312. Is r a multiple of 26?
True
Suppose -9*s = -s - 24. Suppose s*t - 61 = 47. Is 7 a factor of t?
False
Suppose -5*z - 5*g + 40 = 0, -3*z = 8*g - 9*g - 36. Is 3 a factor of z?
False
Let m(q) = q + 12. Let v be m(-7). Suppose -6*d + 2*d = 5*o - 3, v*o - 5*d - 30 = 0. Suppose -i + o*i = 192. Does 14 divide i?
False
Let r = 279 - 275. Is r even?
True
Let m be (-26)/(-8) + 2/(-8). Let t(h) = 55*h + 1. Let j(q) = 28*q. Let b(v) = -5*j(v) + 3*t(v). Is b(m) a multiple of 20?
False
Let s = 24 + -21. Suppose s*q = -0*q - 6. Is 17 a factor of 0 + -4 - (-57 - q)?
True
Let c(i) be the first derivative of -i**4/4 + 7*i**3/3 + 3*i**2/2 + 3*i + 7. Let a be -1 + 3/((-3)/(-8)). Is 17 a factor of c(a)?
False
Suppose -2*d - 12*o + 1499 = -13*o, 5*o + 15 = 0. Is d a multiple of 3?
False
Let w = -1 - -2. Let h(u) = 2*u**2 + w - 6 + 2*u + 2*u. Does 19 divide h(4)?
False
Let m be (-9)/(27/(-12)) - 1. Suppose 120 = m*i - 132. Does 12 divide i?
True
Let r(i) = 0*i**3 + i**2 - 14*i**2 + 30 - 2*i**3 + 13*i + i**3. Is 22 a factor of r(-14)?
True
Let q(g) be the second derivative of 5*g**4/12 - 5*g**3/3 + 4*g**2 - 11*g. Let h be q(6). Suppose -5*l + h = -172. Is l a multiple of 20?
True
Let n(t) be the second derivative of t**3/3 + 2*t**2 - 2*t. Let f be n(-3). Is (-49)/f - 4/8 a multiple of 7?
False
Let k(a) = 11 + 97*a - 96*a + 28. Is k(9) a multiple of 16?
True
Suppose -a - 1 = k - 3, -4*a + k = 2. Let g be (-2)/4*(0 + a). Suppose g = 4*m - m - 162. Is m a multiple of 18?
True
Let x = 351 - 69. Le