composite number?
True
Suppose 22*f = 12*f + 41110. Is f a composite number?
False
Suppose 5*t = 5*d + 5280, 3*d - 2 = 1. Suppose 0*v + 1077 = v + 4*a, t = v - a. Is v composite?
False
Suppose -841220 = -44*w + 24*w. Is w a prime number?
True
Let s(z) = 6*z**2 - 6*z + 5. Suppose -4*u - u + 25 = 0. Suppose -u*l - 24 - 1 = 0. Is s(l) a prime number?
False
Let v(o) = -297*o. Let c(b) = 296*b. Let y(k) = 4*c(k) + 3*v(k). Suppose -4*x = 2*u + 18, -u - u = 3*x + 13. Is y(u) composite?
False
Suppose -3*j = -6*j + 15. Suppose -53*h = -55*h. Suppose 1 = g, a + h*g + j*g - 111 = 0. Is a a prime number?
False
Let d(p) be the second derivative of 3/2*p**3 + 4*p**2 - 3*p + 1/20*p**5 + 0 - 7/12*p**4. Is d(9) a prime number?
True
Let d(r) = 35972*r**3 + 2*r**2 - 3. Is d(1) prime?
False
Suppose 0 = -7*j - 783 + 3191. Let u = j + -199. Is u composite?
True
Let s(u) = -4 - u + 718*u**2 + 4 + 2*u. Is s(1) a composite number?
False
Let u = -27907 + 56546. Is u prime?
False
Is -3*((-464)/12)/4*97 a prime number?
False
Let w(d) = 4*d - 21. Let k be w(6). Suppose -5*l = -3*a - 1127, 30 = -k*l + 5*a + 719. Is l a prime number?
True
Let g = 17462 + -11695. Is g composite?
True
Let w(v) = 1369*v - 8. Is w(1) a composite number?
False
Let r be 1*0/1*1/(-2). Suppose -5*s - 5*v + 7015 = r, 0 = 3*s - 0*v + v - 4201. Is s a composite number?
False
Let q = 36 + -36. Suppose 2945 = 5*i - q*i. Let d = i - -262. Is d a composite number?
True
Suppose -2*p + 1553 = -5*d + 25312, -10 = 5*p. Is d a composite number?
False
Let w(j) = -j. Let p be w(-7). Suppose -2*d + 1 = -p. Suppose 5*y = 4*f - 336, d*y - 406 + 106 = -4*f. Is f composite?
False
Is ((-17090)/20)/(2/(-4)) composite?
False
Suppose 0 = -3*m + 4*y + 237, -395 = -4*m - m + 5*y. Let l = m + 80. Is l a composite number?
True
Let b be (-37)/7 - (-26)/91. Is ((-14)/(-2))/(b/(-1340)*4) a composite number?
True
Let w(v) = -v**3 + 16*v**2 + 37*v - 19. Let y(o) = 2*o + 3. Let z be y(6). Is w(z) prime?
True
Let g(m) be the second derivative of m**4/4 - 5*m**3/6 - 2*m**2 - 13*m. Is g(-10) a composite number?
True
Suppose -60*h - 20225 = -85*h. Is h composite?
False
Is (3/2)/(222/1499684) composite?
False
Suppose -2*s - 24 = 134. Let c = 318 + s. Is c prime?
True
Let d(x) = 7*x. Let v(s) = s + 1. Let u(t) = d(t) - 5*v(t). Let w be u(4). Suppose -2*m + w*m - 118 = 0. Is m prime?
False
Suppose 3*v = -5*l + 13578 + 69289, 0 = -2*l + 5*v + 33122. Is l prime?
False
Suppose -3*m = -59*w + 54*w + 79688, 47816 = 3*w - 5*m. Is w prime?
True
Let c(y) = 132*y**2 - 4*y - 3. Suppose 12 = s + 14. Is c(s) a composite number?
True
Let k = 31 + -21. Suppose -k*t + 16 = -6*t. Suppose -10 = 2*v, -5*u - t*v + 764 - 149 = 0. Is u composite?
False
Let m = -79 - -138. Let q = -21 + m. Is q prime?
False
Suppose 0 = 73*i - 68*i - 20. Suppose 0 = -5*v - i*v + 13743. Is v composite?
True
Let v(q) = -q**3 + 6*q**2 + 2*q - 1. Let d be v(-5). Suppose -5*r = 4*n - 343, -5*r = 2*n - d - 75. Is r*2/((-8)/(-4)) composite?
False
Suppose -3 = -k - 0*k. Let z = k + -13. Is 752/22 - z/(-55) prime?
False
Suppose 34*r = -10*r + 80212. Is r a composite number?
False
Suppose 4*n = -24*t + 20*t + 27200, n = t - 6810. Is t a prime number?
False
Let k(n) = -2*n**2 + 2. Let p be k(-1). Is (1 + p)*-3 + 302 + 4 composite?
True
Let y = -15 - -18. Suppose 0 = -y*d + d + 1346. Is d a prime number?
True
Suppose -125*u + 128*u = 19293. Is u a prime number?
False
Let w(l) = l + 9. Let j be w(-7). Let h be 0*((-15)/6 + j). Is (0 + 13)*(h - -5) a prime number?
False
Let n be (-608)/6 + (-8)/(-6). Is (-4)/(-10) + (-12060)/n prime?
False
Let o(a) = 4*a**2 + 15*a + 12. Let u be o(14). Suppose -2*w + k = -u, -2*w + 2*k + k + 1010 = 0. Is w prime?
False
Suppose 2*n - 2*y - 3445 = -725, 2718 = 2*n - 4*y. Is n a prime number?
True
Let q(n) = -364*n**3 - 14*n**2 - 71*n - 15. Is q(-4) a prime number?
False
Let u = 55106 - 20523. Is u a composite number?
False
Let l be 4/18 + (-2410)/(-90). Let p = l + -31. Is (-326)/p*(2 - 0) a composite number?
False
Suppose 6 = 4*p - p. Suppose 0 = v + x - p*x - 3, -5*x - 11 = -v. Let r(y) = 438*y**2 - 3*y + 2. Is r(v) a prime number?
False
Suppose -5*r - 17139 = -10*r + d, -8 = 2*d. Is r composite?
True
Is (-124)/186*(9859/(-2) - 1) a prime number?
False
Let q = -548 - -229. Let y = 540 + q. Is y prime?
False
Let g(k) be the second derivative of 1/3*k**3 - 3*k**2 + 8*k + 3/4*k**4 + 0. Is g(-3) composite?
True
Suppose -5*x = 0, 0*x + 10252 = 4*y - 2*x. Is y prime?
False
Suppose 6 = 6*q - 18. Suppose 1479 = 7*x - q*x. Is x a prime number?
False
Let a be 5/2*468/30. Suppose a - 29 = 5*m. Suppose 2*r = 0, m*b - 3*r = -0*b + 1174. Is b composite?
False
Let q(m) = -3*m**3 - m**2 - 2*m - 2. Let i be q(-1). Suppose i*p + 2*v - 8 = 0, -2*p + v + 0*v - 4 = 0. Suppose p*a = -2*a + 326. Is a composite?
False
Let w(y) = y**2 - 39*y + 286. Let j be w(29). Let c(t) = -3*t**2 - 5*t + 2. Let o be c(3). Is ((-48)/o)/(j/(-50)) a composite number?
True
Let l(v) = v**3 - 7*v**2 - 23*v - 103. Is l(26) a composite number?
False
Let j = 55268 - 38937. Is j a prime number?
False
Suppose -33*m + 20489 = -26*m. Is m a composite number?
False
Let x = -384 + 652. Let u = -183 + x. Is u a composite number?
True
Let s = 56 - 59. Is (19/3)/((-7)/s + -2) composite?
False
Let u(g) = 194*g - 4. Let r be u(-4). Let t = r + 1127. Is t a prime number?
True
Let m = 215 - 39. Let l be m/6 + 2/(-6). Suppose f - l = 24. Is f a prime number?
True
Suppose 4*c + 29 + 30 = -j, -c - 90 = 2*j. Let d = 148 - j. Is d a composite number?
False
Let q be 1/(-3) + (-5)/(-15). Suppose o + 2*o = q. Suppose 24 = -b + j + 96, -b + 4*j + 57 = o. Is b composite?
True
Suppose 118*d = 128*d - 208570. Is d composite?
False
Suppose 3*j - 2 = i + 10, 4*i - j = 7. Let h(w) = 11*w**3 + 4*w**i - 21*w**2 + 21*w**2. Is h(1) a prime number?
False
Let m(x) = x**3 - 11*x**2 - 13*x + 7. Let w be m(12). Let l(y) = -y**3 - 3*y**2 + 8*y + 4. Is l(w) a composite number?
True
Suppose 2*p = -q + 26785, -2*p - 2*q = -28606 + 1822. Is p composite?
True
Suppose 3*p + p - 32 = 0. Let h = 7 - p. Is 327 + 4/(-4) - h a prime number?
False
Is 2 - (-660250)/(-76)*4/(-2) composite?
False
Let k = -10 - -20. Let f = 249 - -297. Is f/k + 2/5 a composite number?
True
Let b(q) = 25*q - 13. Suppose -3*x + 26 = 2*z - 4*z, 0 = 2*z + 5*x - 6. Let n be b(z). Let i = n + 315. Is i prime?
True
Let t = -6809 + 14802. Is t a composite number?
False
Suppose -19*x + 14*x + 10 = 0. Let t be (-1)/((-12)/(-8) - x). Suppose -158 = -t*r + 54. Is r prime?
False
Suppose -2*v - 189 = -5*v. Suppose -v = -4*z + 69. Is z a composite number?
True
Suppose -24*s + 8*s + 46416 = 0. Is s prime?
False
Let x be (60/(-36))/(2/(-6)). Suppose -x*s - 5*r + 217 = -23, 4*s - 3*r - 206 = 0. Suppose 0 = q - s - 1. Is q a prime number?
False
Suppose 0 = h + 11 - 12. Suppose -p + 3*v = -h, -4*p = -7*p - 2*v + 14. Suppose 3 = o, p*i + 5*o - 605 = 2*o. Is i composite?
False
Suppose j - 67579 = -2*m, -2*m + 73115 = 2*j - 62037. Is j a prime number?
False
Suppose 2*s + 16430 = 4*p, -6*p + 8200 = -4*p + 2*s. Is p a prime number?
False
Let l(q) = q**3 - 8*q**2 + 9*q - 7. Let z be l(7). Let s = z - 5. Suppose 3*c - 3*b = 360, 0 = -5*c - s*b + 388 + 198. Is c a prime number?
False
Let g = -2088 + 5135. Is g a composite number?
True
Suppose 2*y = l - 6*l + 368, -5*l = -3*y - 348. Is 180 - (l/32 + (-2)/8) composite?
True
Let a(z) = -10*z**2 + 4*z - 2. Let c(w) = 20*w**2 - 8*w + 3. Let f(x) = 5*a(x) + 3*c(x). Let u be f(6). Suppose 5*g + 70 = u. Is g prime?
True
Suppose 5*o + f - 5*f + 1841 = 0, -2*f + 373 = -o. Let a be (-1 - o - 1) + -2. Suppose 10*l = 5*l + 4*x + a, -264 = -4*l - 3*x. Is l a prime number?
False
Let a = -1667 + 1077. Let d = 921 + a. Is d composite?
False
Let d(f) = 137*f + 224. Is d(15) a composite number?
True
Let h(p) = -14*p**3 + 4*p**2 + 3*p + 35. Is h(-4) composite?
False
Suppose 4*w - 8 = -2*s, 3*w = -4*s + 4 + 2. Let m(o) = -3 + 7*o + 4*o + 9*o**2 + o**3 + w - 4*o. Is m(-8) composite?
False
Suppose 0 = d - 3*d + 4. Let g(m) = -164*m - 7. Let q(j) = 163*j + 9. Let y(t) = -5*g(t) - 4*q(t). Is y(d) composite?
True
Let h(d) = -d**3 + 11*d**2 + 30*d - 2. Let f be h(13). Let m = 119 - f. Is m prime?
False
Suppose -21*v - 28 = -25*v. Suppose -10*q + v*q = -5673. Is q prime?
Fa