t h be -8*(5/(-2) + 2). Is 1490/h*12/15 a prime number?
False
Let u be 2*(4 + 1)/(-5). Let a(n) = -1401*n + 11. Is a(u) a composite number?
True
Let u(p) = 867*p**2 + 3*p + 2. Let c be u(-1). Suppose 0 = -4*h - 154 + c. Let m = h + -91. Is m prime?
False
Suppose 2*d + 0*d - 4 = 0. Suppose 5*r + 902 = -7*i + 3*i, -458 = d*i - r. Is ((-3)/2)/(18/i) a composite number?
False
Let t(v) = -14*v**2 + 10*v + 18. Let a be t(6). Let k = -175 - a. Is k composite?
False
Let b(w) = -14*w**2 + 2*w + 23. Let h(n) = -5*n**2 + n + 8. Let d(u) = 4*b(u) - 11*h(u). Let r be d(-4). Is -4 + r + 81 - 0 a composite number?
True
Let z(x) = x**3 - 7*x**2 + 7*x + 4. Let q be z(6). Let y be (q/4)/5*620. Suppose -2*v + y = -0*v. Is v composite?
True
Let o(t) = -t**3 + 0 + 9*t - 5 - 8*t**2 + 16*t**2. Let f = -15 + 23. Is o(f) composite?
False
Let u(n) = 632*n**2 - 13*n - 148. Is u(-7) a composite number?
False
Suppose 3*k = -4*z + 16307, -k = -5*z + 8594 + 11766. Is z prime?
True
Let g = 6 - 6. Let w be g/((-8)/(-2)) + 2. Suppose 2*c = -4*t + 170, 2*c = -t - w*t + 167. Is c a composite number?
False
Let a be 2*(1*16/4 + -2). Suppose -3*v + 0*v + a*w + 2185 = 0, -v + w + 729 = 0. Is v composite?
True
Is (4 + -10)/(-12)*3694 composite?
False
Let n(w) = -11*w + 17. Let q = -26 - -16. Is n(q) prime?
True
Let i = -8 - -24. Suppose 11*p = i*p + 430. Let y = 145 + p. Is y composite?
False
Suppose 3*b = g - 291, b = 2*g + 6*b - 637. Let t = 843 - g. Is t prime?
False
Let h = 441 - 829. Let c = h - -801. Is c a prime number?
False
Let a(i) = -i**3 + 3*i**2 + 2*i - 3. Let l be a(2). Suppose 6*f - 4824 = 4*f + v, -12061 = -l*f + 3*v. Is f composite?
False
Suppose -2*l = -4*b - 2068, 0 = -l + 2*l - 2. Let r = b + 833. Is r composite?
False
Let f(d) = 139*d**2 + 3*d - 5. Let t(k) = k**3 - 5*k**2 - 13*k - 3. Let b be t(7). Suppose -b = c + 3*y, -5*y = -4*c - 4*y + 10. Is f(c) a composite number?
False
Let n(z) = -44*z + 15. Let j be n(9). Let h = -254 - j. Is h a prime number?
True
Suppose -3 + 5 = f. Let z be 8/(-6 + f) + 7. Suppose -6*b + b = z*t - 65, -4*t = -3*b + 18. Is b a prime number?
False
Let l(h) = 3*h**2 + h - 4*h - 1 + 10*h. Let x be l(-3). Suppose 0*p - 4145 = -x*p. Is p composite?
False
Let a be 2/8 + 95/20. Let t = 84 + -75. Suppose -t*d = -a*d - 628. Is d composite?
False
Let c(b) = -189*b + 54 - 29 + 4. Is c(-6) composite?
False
Let h = -116 - -315. Suppose -2*r = 81 - h. Suppose 2*n - 465 = -r. Is n composite?
True
Suppose 2*z = 5*p - 1015 - 1168, -2 = -2*z. Is p prime?
False
Suppose -32*m + 35*m = 0. Let l = 42 - 18. Suppose -r + 9 + l = m. Is r composite?
True
Suppose s - 1136 = -4*n + 3*s, -4*n + 1136 = 3*s. Suppose h - n = 64. Suppose i + h = 5*i. Is i prime?
False
Let v = 1 - 9. Let y(j) = -3*j - 4. Let u be y(v). Is (-26)/1*(-30)/u composite?
True
Let y(p) = 15*p**2 + 39*p + 309. Is y(-15) prime?
False
Let d be 8*(2 + 20/(-8)). Let k be 195*(d/3 - -2). Is k + 2 + -4 + 3 a prime number?
True
Let k(l) = 2329*l**2 - 34*l + 4. Is k(3) a composite number?
True
Is (-178976)/(-51) + 10/6 a composite number?
False
Suppose 9 - 3 = 3*h. Let x be ((-22005)/(-6) - -4)*h. Suppose -2*w + 9*w = x. Is w a composite number?
False
Let m(p) = -p**2 + 6*p + 16. Let q be m(6). Suppose 0 = 11*c - q*c + 515. Is c a composite number?
False
Let l be ((-5895)/(-2))/((-9)/(-84)). Suppose -6426 = -4*d - l. Is 1 + -3 - d/7 composite?
False
Is (2/6)/((-265279)/(-33159) - 8) a composite number?
False
Suppose 2*s + 4*f - 22 = 0, -3*s - 2*f = -0*s - 13. Let j be 2*(-1 + 0) - -1. Is j/(1/(-541)*s) a composite number?
False
Let q = -5128 - -14421. Is q a composite number?
False
Let f = 106 - -229. Suppose 0 = k + s - 2*s + 177, 4*k - s = -711. Let x = f + k. Is x composite?
False
Let m(p) = -36*p**3 - p**2 - 10*p + 1. Suppose 0 = -4*y + 3*k - 10, -5*y - 3*k - 20 = 6. Is m(y) a composite number?
True
Let p(x) be the first derivative of x**4/4 + 8*x**3/3 + 2*x**2 - 14*x + 9. Let l be p(-6). Suppose 4*z - l = 330. Is z a composite number?
True
Let y = -1379 + 2250. Is y a composite number?
True
Let w = 15871 + -8334. Is w composite?
False
Suppose -536792 + 125157 = -35*s. Is s composite?
True
Let f(d) be the third derivative of 5/6*d**3 + 13/60*d**5 - d**2 + 0 + 0*d + 1/12*d**4. Is f(4) composite?
True
Is -10 - (-492 + 10 + 3) a composite number?
True
Suppose 0 = -t + 1122 - 2695. Let i = -1104 - t. Is i a composite number?
True
Let c(r) = -248*r + 13. Let w(n) = -249*n + 12. Suppose 6 + 6 = -3*d. Let x(l) = d*w(l) + 5*c(l). Is x(-4) composite?
True
Let y = 18067 - -12514. Is y a composite number?
True
Suppose 1188 = 6*l - 2*l. Suppose -3*u - l + 2190 = 0. Is u composite?
False
Let d be 36/21 - (-6)/21. Suppose 4*k - a - 5 = 0, d*k - 2*a = k - 4. Suppose k*i + 0*i = -3*v + 343, 2*i - 573 = -5*v. Is v a prime number?
False
Suppose 1701*w = 1705*w - 132172. Is w prime?
False
Let u be 276/27 - (-2)/(-9). Suppose -23*a + 28*a = u. Suppose 4*z = -a*t + 514, -2*t = -t + 5. Is z a prime number?
True
Let w(g) = 4*g - 6. Suppose c = -4*x - 11 + 22, -2*x = c - 7. Suppose -19 = -x*o + 7. Is w(o) a composite number?
True
Is ((-1)/3)/((-4)/149964) a composite number?
False
Let y(v) = -5*v - 556. Let o be y(0). Let i = -63 - o. Is i prime?
False
Suppose 30*w - 8198 = 29092. Is w prime?
False
Suppose 16*t = 15*t + 185. Is t prime?
False
Suppose 15*d - 9*d = -666. Let f = d + 290. Is f prime?
True
Let i = 12 - -5. Suppose -i*s + 1276 = -13*s. Is s a composite number?
True
Suppose 0 = -3*i + 5*b + 20, -5 = -i - 5*b - 25. Suppose -2*m + 7*d + 76 = 2*d, i = -3*d + 12. Is (37/2)/(12/m) prime?
False
Is 1/(7/211353) - 78/273 composite?
True
Suppose -599 = -3*d - 122. Suppose -29*o + 32*o - d = 0. Is o prime?
True
Let r(i) = -8*i**2 - 4*i - 3. Let j be (-22)/(-33) - (-52)/(-6). Let o be r(j). Let f = o + 980. Is f a prime number?
False
Let n(b) = 10*b**2 - 2*b - 9. Suppose 5*m - 2*m - 21 = 0. Is n(m) a composite number?
False
Suppose -103*q + 110*q = 19439. Is q a prime number?
True
Is (5 - (-260295)/10) + (-6)/4 a composite number?
True
Let q(n) = 11*n**2 - 4*n - 269. Is q(-28) composite?
False
Let m(z) = z**2 - 9*z + 16. Let u be m(7). Suppose 5*k + 1511 - 5004 = 3*b, -u*k - 5*b = -1422. Is k composite?
False
Let k = -476 - -1172. Suppose t + 3019 - 214 = 4*r, r + 5*t - k = 0. Is r a composite number?
False
Is (300 + -7)/(0 - (-2)/26) a prime number?
False
Suppose -k - 4*y = -32403, 2*k - 5*k + 97264 = y. Is k prime?
True
Let g(n) = 0*n + 0*n + 6*n + 5 + 0 + n**2 + 1. Suppose -2*p - 2*m - 16 = 0, -5*p - m - m = 34. Is g(p) composite?
True
Suppose 5*p - 4*n = n + 20, -2 = -2*p - n. Suppose p*l - 2229 = -l. Suppose 561 - 1806 = -5*s + 2*x, -3*s = -2*x - l. Is s prime?
True
Let w = 9 - 13. Is 218 + 3 - 8/w prime?
True
Is (79/237)/(3/158913) a composite number?
False
Let x be 14 - (13 + 2 - 5). Suppose 0 = 2*n + j - 106, n - j - 54 = -2*j. Suppose 0 = -x*k + n + 1128. Is k a composite number?
True
Suppose 0 = 4*n, 4*f - 36 = f + 5*n. Is ((-84)/f)/((-2)/502) prime?
False
Suppose 232*m + 48021 = 235*m. Is m a prime number?
True
Let y(c) = -c**3 + 19*c**2 - 10*c - 15. Is y(16) prime?
True
Suppose -220 = 11*a - 16049. Is a a prime number?
True
Let h = 8 + -11. Let s be -5*(18/(-15))/h. Is (48 - 1) + (-2 - s) prime?
True
Let s be ((-234)/12)/(1/(-2)). Let r = 1306 - s. Is r a prime number?
False
Let o be (-17)/(-2) + (-9)/18. Suppose o*v = 13*v - 9005. Is v a prime number?
True
Let l(p) = -p + 373. Let s be 16/6 + (-12)/18. Suppose -s*o + 3 = 3*n, 3*o + n + 4*n - 5 = 0. Is l(o) a composite number?
False
Suppose -5*j - 11 = 4. Let t be j*-2*159/(-6). Is (t/(-6))/((-1)/(-2)) a composite number?
False
Let q be (-2044)/(-42) - 1/(-3). Suppose 431 - q = 2*g. Is g a prime number?
True
Let r be 580 + -2*(-3)/2. Suppose 2*a = -d - 111, -a + r = -5*d + 3*a. Let u = d + 194. Is u prime?
True
Suppose -42*w = 3*k - 39*w - 47049, 5*k - 78431 = 3*w. Is k prime?
False
Let j(c) = -c**3 - 7*c**2 - 12*c - 10. Let r be j(-6). Is (1/((-3)/326))/(r/(-39)) a prime number?
True
Let q = -33 - -65. Let s = q + -10. Suppose s - 992 = -5*p. Is p a prime number?
False
Is 15238/4 - 153/306 a prime number?
False
Let m be -3 + (-5 - -1) + 62. Suppose 3*v - m = 4*v. Let g = v + 122. Is g a composite number?
False
Suppose -9*k = -k - 28824. Is k*(2/(-3) - 