f g?
True
Suppose -8*y = 20 - 4. Does 12 divide (-555)/y - 22/44?
False
Let k = -291 + 303. Suppose k*i - 6048 = 3*i. Does 24 divide i?
True
Let h(j) = -j**2 + 4*j + 38. Let b be h(10). Let u(p) = -6*p + 84. Does 36 divide u(b)?
True
Suppose i + 112 = -0*i. Let r be 32/i - (-508)/14. Let f = 29 + r. Is f a multiple of 13?
True
Suppose 7*w - 6*w = 25*w. Suppose 0 = -g + 4*j - 409 + 1075, w = -5*g + 2*j + 3258. Does 14 divide g?
False
Suppose -2*m - 3*p - 40 = 8, 116 = -4*m + 4*p. Let u be m/6*6/(-9). Is u/4 - (-1347)/12 a multiple of 20?
False
Is 844/3*(-14)/(448/(-216)) a multiple of 9?
True
Suppose 2 = 3*a - a. Let b(q) = -45*q - 3. Let t be b(a). Let n = -34 - t. Is n a multiple of 14?
True
Let m be 3/(-3)*(-16)/4. Suppose 7*v + i = m*v - 8, 2*v - 8 = 2*i. Does 11 divide (v + 9 + 0)/(24/396)?
True
Let i be (448/80)/((-2)/(-495)). Let r = -692 + i. Is r a multiple of 44?
False
Let n(f) = 3*f + 6. Let r be n(5). Let m be r/(-14)*8/(-6). Suppose -2*x + 104 = 4*u, 0 = 3*u - 4*u - m*x + 32. Is 8 a factor of u?
True
Is (6171/(-85))/(222/(-110) + 2) a multiple of 7?
False
Let a(i) be the first derivative of 5*i**3/3 - i**2 + 210*i + 19. Does 5 divide a(0)?
True
Suppose -44 = -c + 2*d + d, 0 = 4*c + 3*d - 251. Let m be 6 + -13 + (-42)/(-6). Suppose m = 4*n - 481 - c. Is n a multiple of 27?
True
Suppose -13 = -3*o - 1. Suppose -o*c + 172 = -2*a, a = -2*c - c + 124. Let l = -10 + c. Does 16 divide l?
True
Does 55 divide (0 + -4)*1 + (-103)/(1133/(-38786))?
False
Suppose 4*k = 5*a - 11490, 5*a - 4349 = -5*k + 7096. Is 74 a factor of a?
True
Suppose -4*x + 4*n + 20 + 12 = 0, 5*x - 4*n = 35. Suppose 0 = -5*k - 15, 24 = 3*a - 4*k + x. Is 4/(-2)*(-4 - a) a multiple of 7?
True
Let n = 121 - 166. Does 9 divide 9/(n/25)*-31?
False
Suppose -3*p + 5412 = -3*o, -o - 4*p - 377 = 1437. Let h = -1155 - o. Is h a multiple of 32?
False
Suppose 80981 = 29*c - 56479. Does 20 divide c?
True
Suppose 3*f + 711 = 5*s, -574 = -66*s + 62*s + 5*f. Is s a multiple of 5?
False
Let f be (113/(-2))/(3/6). Let d = 229 + f. Does 11 divide d?
False
Let m = 8582 - 1484. Does 78 divide m?
True
Let k(c) be the second derivative of 13*c**3/3 - 27*c**2/2 + 4*c. Let h be k(6). Is h/15 + (-8)/(-20) a multiple of 9?
True
Suppose 3*t - 401 = -v - 96, 0 = -5*t + v + 511. Is (-4)/34 + 46932/t a multiple of 24?
False
Let h(z) = -540*z + 32. Let u(s) = 83*s - 5. Let n(f) = -5*h(f) - 32*u(f). Let y be n(2). Let t = y + -45. Is 19 a factor of t?
False
Suppose 123 = -k - 179. Let g = 518 + k. Suppose 2*d - g + 62 = 0. Is d a multiple of 16?
False
Suppose 53*k = -54*k + 96*k + 19360. Is k a multiple of 220?
True
Suppose 847 = 23*w - 30*w. Let m = 26 - w. Is 6 a factor of m?
False
Let u(n) = n**2 - 3*n + 4. Let h be u(3). Suppose h*g - o = 850, -2*g - 3*g = -o - 1062. Suppose 4*f - g - 28 = 0. Is f a multiple of 32?
False
Is 8 a factor of (-1278464)/(-224) - (-6)/(-8)*(-4)/(-7)?
False
Suppose 0 = 642*q - 670*q + 59248. Is q a multiple of 23?
True
Let q(l) be the first derivative of 39*l**2/2 - 8*l + 12. Suppose 92*k = 89*k + 9. Is 11 a factor of q(k)?
False
Let l(k) = -13036*k + 6916. Does 65 divide l(-4)?
False
Let x(h) = -4*h - 2. Let l be x(-1). Suppose 3*y = -2*k + 199, 1 = -y + l. Is 3 a factor of k?
False
Let h be -3 + (3 - 1) - 8. Let d be 3 - 9 - -3 - h. Suppose b + 86 = d*b + 3*w, -4*b + 61 = 5*w. Does 19 divide b?
True
Let w(l) = -l**3 + 7*l**2 + 47*l - 33. Let y be w(11). Suppose 28*g - 12604 + 2944 = y. Is g a multiple of 23?
True
Let y(l) = 755*l - 4987. Is 9 a factor of y(8)?
True
Suppose 42*a = -3*p + 38*a + 42549, -5*p = 2*a - 70929. Is p a multiple of 14?
False
Suppose 40*c + 28249 = -19991. Let g = c - -1792. Is 9 a factor of g?
False
Let o(j) = 58*j - 2400. Is o(42) a multiple of 4?
True
Suppose 0 = 3*v - 0*v + 2*s - 126, s = 0. Let t = 44 - v. Suppose -6*i = -t*i - 256. Does 16 divide i?
True
Let w = -7 + 9. Suppose -4*v - 12 = -4*n, 0 = 3*v - w*v - 2. Suppose -n*d + 45 = -0*d + 5*o, 0 = -3*d - 2*o + 28. Does 7 divide d?
False
Suppose -23572*z = -23561*z - 24596. Does 13 divide z?
True
Let n(a) = -a**2 + a + 435. Is 145 a factor of n(0)?
True
Let i be (42 - 17) + 1 + 2. Let h = 96 + i. Is 3 a factor of -3 + h/4 - 4?
True
Let t be (198/(-4))/(7/42). Let x = t + 313. Is 2 a factor of x?
True
Let c(n) = 27*n**2 + 3*n - 84. Does 17 divide c(23)?
False
Suppose 0 = 3*k + 9, 2*k + 46 = 3*b + 37. Is 17 a factor of (b/2)/((-75)/(-48450))?
True
Let t(p) = 8*p - 4. Let a be t(1). Suppose -3*f - 2810 = -a*o, 0 = -4*o + 3*f + f + 2812. Is 77 a factor of o?
False
Suppose 46 = -3*x + 7*x - 3*w, -30 = -4*x - 5*w. Suppose 20 = -0*n - x*n. Does 6 divide (-3)/n*(-8)/36*-114?
False
Is 2266 + (7 + (-11)/3)*(-12)/10 a multiple of 174?
True
Suppose -2*j = 9*j + 21241. Let h = j + 2963. Does 54 divide h?
False
Suppose -267778 - 99488 = -35*g + 331089. Does 9 divide g?
True
Let z = 5425 - 5159. Does 38 divide z?
True
Suppose c + 129 = -y, y + 3*c = 2*y + 117. Is 7 a factor of (y/8)/((-16)/64)?
True
Suppose -7*r - 936 - 436 = 0. Let n = 497 + r. Is n a multiple of 28?
False
Let a be 57/171 + (-14)/(-3). Suppose a*i + 8*w - 559 = 7*w, -5*w - 341 = -3*i. Is 4 a factor of i?
True
Suppose -2*t - 3*a = -11205, 3*t + 5*a = -t + 22415. Is t a multiple of 110?
True
Let j = 3302 + 788. Is j a multiple of 7?
False
Suppose -232 = -2*w - 2*w - l, -5*w - 5*l = -305. Suppose 0*o - 3*o - w = -5*s, -5*o = -4*s + 43. Does 11 divide (-99)/s*192/(-18)?
True
Let s(q) = 7*q + 60. Let v be s(-9). Does 24 divide ((-4)/6)/(v - (-6041)/2016)?
True
Let m = 440 - -416. Is 42 a factor of 4/(-7) - -22*m/28?
True
Let o(q) = -36*q**3 + 10*q**2 + 3*q + 12. Let v be o(-6). Suppose v = 2*s - 5094. Is 10 a factor of s/133 - 4/(-14)?
True
Let v = -22362 - -33937. Does 78 divide v?
False
Suppose -33 = 5*x - 2*k, 2*k = -5*x + 8*x + 19. Let c be 2/5*(-1 - 322/x). Suppose -16*g = -c*g + 158. Is 8 a factor of g?
False
Let y(s) = -s**2 + 6*s + 12. Suppose z - 14 = -z. Let l be y(z). Suppose -5*t + 865 = l*g, 5*t - 262 = -3*g + 593. Is t a multiple of 24?
True
Is (8811/198)/(1/152) a multiple of 89?
True
Suppose 5*r - 15805 - 24444 = 3*v, 2*v = -3*r + 24138. Does 22 divide r?
False
Let z(o) = o**2 - 11*o + 8. Let p(j) = 2*j**3 + j**2 - 12*j + 8. Let n(y) = 4*p(y) - 5*z(y). Does 20 divide n(3)?
True
Does 54 divide ((54/90)/(3/(-1665)))/(-1)?
False
Suppose s + 0*s = 3*q + 743, 2*s = -2. Let o = q + 440. Is 27 a factor of o?
False
Let p be (301/(-86))/(2/(-228)). Let a = -299 + p. Is 20 a factor of a?
True
Let y be 6/(-8)*(-16)/6. Suppose -y*d - 17*d = -15504. Does 68 divide d?
True
Let g(k) = 7*k**2 - 63*k + 5. Let o be g(9). Suppose -3*t + 5*i + 170 = 0, -4*t + 2*i = -o*t + 42. Is 25 a factor of t?
True
Suppose 2*d + 4*g - 19154 = 0, -7*g = 9 + 54. Does 3 divide d?
False
Let j(m) = -12*m + 28. Let g be j(-14). Let x = 288 - g. Does 9 divide x?
False
Suppose 4*d + 5*o + 322 = -0*o, 0 = d - o + 76. Does 20 divide d/(-130) + 797/5?
True
Let r = -16 - -20. Let o be r/(-18) - (-1920)/135. Let q(t) = t**3 - 14*t**2 + t + 12. Is 26 a factor of q(o)?
True
Suppose 5*g - 1094 + 379 = 0. Suppose 0 = -2*d - 2*s - 194, 5*d + 297 = -s - 172. Let r = d + g. Is r a multiple of 5?
True
Suppose 126*f - 30 = 124*f. Suppose -f*a - 11 = -56. Suppose -a*w - 878 = -5*p + w, -2*w = -p + 178. Is 10 a factor of p?
False
Let z = 33 - 31. Suppose 4*f = z*n - 42, 27 = -3*n + 5*n - f. Does 19 divide 1/(-2)*n*(-6 - 4)?
False
Does 4 divide -25 - -301 - (9 - 3)?
False
Suppose v + 1096 = 3*i + 12409, -i = -v + 11319. Is v a multiple of 6?
True
Let b(c) = 12*c - 28. Let o be b(7). Let f be ((-24 - -1) + -1)*(2 + -15). Suppose 52*m = o*m - f. Is m a multiple of 14?
False
Suppose -3*q - 44 = 4*v, -4*v + 5*q = 12 - 0. Is (v/(-14))/((-43)/(-602)) a multiple of 3?
False
Let k be (0 + (-44)/3)/((-3)/(-18)). Let z = 186 + k. Is 7 a factor of z?
True
Suppose -2329 = -4*q + 3*v + 201, 1276 = 2*q + 4*v. Does 38 divide q/5 + ((-186)/(-30) - 6)?
False
Suppose 2*p - 4 = 6*p. Let c(w) = -448*w**3 - w**2 + 1. Let j be c(p). Suppose -9*f + j = -f. Does 3 divide f?
False
Let n = 84 - 75. Suppose 4085 = 10*m + n*m. Is m even?
False
Suppose 8*v - 60 = -12. Suppose 0 = -14*z + v*z + 504. Is z a multiple of 3?
True
Let k = 34667 - 23597. Does 205 divide k?
True
Let b = -36448 + 58077. Is b a multipl