 0 = -4*h + f + 10. Suppose -4*q + y - 2*y = -340, h*y = -4*q + 340. Is q a composite number?
True
Let u(k) = -3*k**2 + 10*k + 3. Let t(p) = 4*p**2 - 10*p - 3. Let s(z) = 2*t(z) + 3*u(z). Let y(h) = 4*h. Let r be y(2). Is s(r) prime?
True
Let u be ((-8)/12)/((-4)/(-294)). Suppose 5*y - 3*y + 36 = 0. Let i = y - u. Is i a prime number?
True
Is (-4)/(-24)*3*434 composite?
True
Is 3/((-5)/69470*-6) composite?
False
Is (13645/10)/((-1)/(-2)*1) a composite number?
False
Let w be (-6940)/(-55) + (-2)/11. Let n = w - 49. Is 2/(-11) + 1092/n prime?
False
Suppose -2*m + 17 = d, 3*m - 5*d + d - 9 = 0. Let p(n) be the third derivative of n**5/20 - n**4/6 - n**2. Is p(m) prime?
False
Let z(t) = 2*t + 2 - 2*t**2 + t**2 + 2*t**2 + 3*t. Let c be z(-5). Is (-26)/4*(-12 - c) a composite number?
True
Let r be (-6)/(-3)*543/(-6). Let j = 257 + r. Suppose 2*n = 4*z - j, -2*z - 2*n + 24 = -14. Is z a prime number?
True
Suppose -8*t = -3*t - 275. Suppose 0 = 4*f + 4*z - 468, -t - 74 = -f - 4*z. Is f a composite number?
False
Let u(k) = k**3 - 6*k**2 + k - 2. Let v be u(6). Suppose 7*d - v*d - 354 = -3*b, 5*d = b + 590. Is d composite?
True
Is -2*(165/(-6) + -1) composite?
True
Let c be (-1)/1 - 2/(-2). Suppose -g + 3*g - 184 = c. Suppose g = 5*u - u. Is u a prime number?
True
Let y(r) = -r**3 - 11*r**2 + 4*r - 13. Is y(-12) composite?
False
Suppose 13 = -c + 4*x, 4*x - 24 = -4*c + x. Suppose -c*z = -5*z + 106. Is z prime?
True
Let x(q) = q + 2. Let r be x(-3). Is -3*((-22)/3 - r) composite?
False
Let b be (-2 - 3)*6/(-5). Is (92/b)/(10/15) composite?
False
Suppose m = -3*j + 18, 2*m + 6*j - 4*j - 52 = 0. Let n = m + 5. Is n prime?
False
Suppose 0*w = -5*y + 5*w + 12160, 2*w - 4884 = -2*y. Is y composite?
False
Let s(c) = -24*c + 17. Is s(-10) prime?
True
Is (127/2)/((-10)/(-20)) a composite number?
False
Let b be (-12)/(-8) + 3/2. Suppose -5*k = m - 692, 3*m - 2*m = -b. Is k a prime number?
True
Suppose -11 + 2 = -3*s. Is (62/6)/(1/s) prime?
True
Let i(t) = t**3 - 4*t**2 - 4*t + 5. Suppose -6 = -3*v + 2*v. Let q be i(v). Let p = q - 27. Is p a composite number?
True
Let h(t) = 4*t**2 + 0 + 3 - 1 + 0 + t. Is h(-5) prime?
True
Suppose 4*r = 226 + 146. Is r prime?
False
Suppose 2*b - 4 = 3*g - 0, g + 2*b = 4. Suppose g = 2*c - 0 - 8, -5*l - 4*c = 129. Let p = l + 40. Is p a composite number?
False
Let p be -144 - (-3)/(-9)*0. Let h = p + 262. Suppose 2*w - u - h = -3*u, -4*w + 232 = 2*u. Is w a composite number?
True
Suppose 4*a - 2356 = 4*p, 2*p - 2344 = -2*a - 2*a. Is a a composite number?
False
Let u = 2 + 5. Let g(w) = -w**3 + 8*w**2 - 8*w + 10. Let b be g(u). Is 35*1 + -5 + b composite?
True
Let k = 318 - 622. Let r be ((-5)/(-4))/((-4)/k). Let l = r - 40. Is l a prime number?
False
Let q(j) = 8*j**3 - j**2 + 4*j - 5. Let x be q(4). Suppose -x - 89 = -4*c. Is c a composite number?
False
Let v(f) be the second derivative of f**4/3 + 3*f**3/2 + 5*f**2/2 - 2*f. Let k be v(-6). Suppose 5*n + 4*g + 3 = 260, 0 = -2*n + g + k. Is n composite?
True
Let y = -3 + 5. Suppose y*b + 2*b = 288. Let w = -41 + b. Is w a prime number?
True
Let y(o) = -2*o + 6. Let b(w) = -w**3 - w**2 + w. Let q be b(-2). Suppose -q*z = 4*d + 36, z - 14 = 2*d + 8. Is y(d) a composite number?
True
Suppose 4140 = 4*g + 5*x - 12296, -x + 20545 = 5*g. Is g prime?
False
Suppose -4*u + 1134 = -350. Is u prime?
False
Is (-2)/8 - 8603/(-28) a prime number?
True
Let y be 10/((2 + -8)/(-3)). Suppose 0 = 5*k + 3*p - 152, y*k + 5*p = -0*k + 150. Is k composite?
False
Let t = -1 + -1. Let g be (16 - t)/3 - 2. Suppose -90 = -g*w + 122. Is w prime?
True
Suppose 5*u - 4*u = 0. Suppose -t - 2*d + 167 = 0, u = -5*t - 2*d + 3*d + 780. Is t a prime number?
True
Suppose -974 = b - 3*b. Is b a composite number?
False
Let a(t) = -2*t**3 + t**2 + t + 5. Suppose 2 = 5*i + 22. Is a(i) prime?
False
Suppose 0*b = -2*b + 298. Is b a composite number?
False
Let l(r) = -4*r**2 - 7*r - 5. Let t be l(-5). Let i = 135 + t. Is i composite?
True
Suppose 0 = -11*s + 8*s + 921. Is s composite?
False
Let w(s) = s**3 - 2*s**2 + 23*s - 15. Is w(17) a composite number?
True
Let g = 17 + -8. Let j = g - -26. Is j a composite number?
True
Let o = -25 - -40. Suppose 3*t = 6 + o. Is t a composite number?
False
Let d = -197 - -356. Suppose 4*o - l = 645, -o = -2*o - 2*l + d. Is o composite?
True
Suppose q + 4*q - 20 = 0. Is 67 - q/(-3 - -1) a composite number?
True
Let m(z) = z**2 - z + 2. Let c be m(4). Suppose 0 = y - 3*r - c + 4, -3*r = 4*y + 5. Is (y/2)/(3/1206) composite?
True
Let t = 4 + -8. Is t/12 - 178/(-3) a composite number?
False
Is 366 - -5 - 2/(-1) prime?
True
Let k = 278 + -175. Suppose 2*c = 4*c + 2*p + 116, -5*c - 286 = 4*p. Let z = c + k. Is z prime?
False
Let o = 645 - 376. Is o composite?
False
Let s(n) = 2*n**3 + 6*n**2 - 20*n + 19. Is s(7) a prime number?
True
Let k(g) = -14*g + 13. Let c(n) = 28*n - 26. Let t(p) = -6*c(p) - 11*k(p). Is t(-9) a prime number?
True
Let a(u) = 17*u + 4. Let g be 25/9 + (-2)/(-9). Is a(g) a composite number?
True
Let p(f) = 21*f**2 + f - 1. Let x be p(4). Suppose -3*w + g = 6*g - x, -g = 0. Is w prime?
True
Let k be 1/(-3)*9*-3. Let c = k + 165. Suppose -q = 2*q - c. Is q prime?
False
Let h = 16 - 9. Is h composite?
False
Let d(v) = 4*v**3 + 8*v**2 - 7*v - 22. Is d(7) prime?
True
Let s = 11 - 3. Suppose 3*z + s = -z. Is z/(-4) - 147/(-6) a prime number?
False
Suppose -2*x + 206 = 64. Is x prime?
True
Is 0 + 0 + 946 + 4 + -1 composite?
True
Suppose -6*n = 1306 - 9652. Is n a prime number?
False
Let i(o) be the second derivative of -o**5/20 + o**4/4 + 2*o**3/3 + 3*o**2/2 + o. Let a = -9 - -7. Is i(a) prime?
False
Suppose 3*y = m - 0*y + 18, 3*m - 4*y = -39. Let b(c) = -2*c + 3. Is b(m) a composite number?
True
Let a = 1 - -2. Suppose 0 = 3*f - 15, 4*o + f - 634 = a*f. Is o prime?
False
Suppose j - 2 + 8 = 0. Let h(x) = 3*x**2 + 10*x + 9. Let p be h(j). Suppose -4*u + 59 = -0*u - 5*c, -2*u - 3*c = -p. Is u a composite number?
True
Let r(w) = -2*w**3 + 4*w**2 + w - 28. Is r(-5) a prime number?
True
Suppose 4*m + 5*f = 45, -10*m - f + 57 = -6*m. Is m composite?
True
Let q(v) = v + 2 - 2*v**2 + 1 - 4. Let f be q(1). Is (3 + f)/((-1)/(-15)) a composite number?
True
Suppose 41 - 1 = 5*g. Suppose -3*f - g = -353. Is f a composite number?
True
Let u = 1 - -6. Let o(f) = -f**3 + 6*f**2 + 9*f + 9. Is o(u) prime?
True
Let w = 10 - 3. Let s = -2 + w. Let f = 2 + s. Is f prime?
True
Let f = -16352 - -8544. Let s be f/(-12) + 1/3. Suppose d + s = 4*d. Is d prime?
False
Suppose -5*n = -0*n - 605. Is n prime?
False
Let o(c) = c**3 + 5*c**2 - 7*c - 1. Let z be o(-6). Suppose 0*u - z*u + 395 = 0. Is u prime?
True
Suppose 3*m - 14 - 1 = 0. Suppose -t = 4*l + m, l - 3 = -5. Suppose -t*z + 51 = 2*i, 89 = 5*z + 2*i - 0*i. Is z composite?
False
Suppose -n - 10 = -6*n. Suppose 3*m - 1325 = -n*m. Is m a prime number?
False
Let n(v) = 0*v**2 + v**2 + v + 3*v + v**2 + 13. Is n(-11) composite?
False
Let r(f) = f + 5. Let t be r(-4). Is -3 + (57/1 - t) a prime number?
True
Suppose -26*g + 29*g = 339. Is g a composite number?
False
Let z = -455 + 1128. Is z composite?
False
Is 196/7 + 3*1 composite?
False
Let n(m) = -11*m - 5. Let r be n(-5). Suppose 7*i - 2*i - r = 0. Let j = i - -1. Is j a composite number?
False
Let t be (-9)/3*4/(-6). Suppose -5 = -t*z + 7. Suppose -4*i = -z*i + 18. Is i a prime number?
False
Suppose -80 = -2*l - 2*a, -16 = -2*a + 6*a. Suppose -2*z = -q + 2 - 1, -4*q + 34 = 2*z. Let v = l - q. Is v a composite number?
False
Let p be 3 + (-116)/(-8)*-6. Let m = 203 + p. Is m composite?
True
Suppose 4*p + 5 = 4*q - q, 1 = -q + 4*p. Suppose 8*b - q*b = 1655. Is b a prime number?
True
Suppose -4*g = 0, -90 = -3*s - g - 0*g. Suppose -4*u + 5*b - s = -699, 5*u - b - 810 = 0. Is u a composite number?
True
Suppose 2*z - 294 - 476 = 0. Suppose -2*f + 148 = 7*l - 5*l, 5*f - z = -2*l. Is f a composite number?
False
Let p(q) = -q + 293. Suppose 0 = a - 0*a. Is p(a) prime?
True
Let g(b) = -b**3 + 25*b**2 - 16*b + 13. Is g(20) a composite number?
False
Suppose 0 = 10*b + 3137 - 8727. Is b composite?
True
Suppose 3*i - i - 20 = 5*b, 3*b + 12 = -3*i. Suppose -5*j + 2*n - 10 + 87 = i, j = 2*n + 17. Suppose -2*w + j = w, -u = w - 90. Is u a composite number?
True
Let m(z) be the second derivative of 5*z**3/2 - 5*z**