et h(f) = 30*f**2 - 32*f + 335. Is h(-38) composite?
True
Let i(l) = -429*l + 23. Is i(-4) a composite number?
True
Suppose 3*b - 33 = -4*f - 9, -5*f + b + 30 = 0. Is (-236)/6*(-9)/f composite?
False
Suppose -3*h + 27 = 3*l - 24, 4*l = -20. Suppose 2*k + 4*t + 13 - 3 = 0, 4*t + h = 2*k. Suppose y - 1 = k*r + 21, 0 = -4*r + 4. Is y a prime number?
False
Let c be ((-11039)/76)/(2/(-80)). Suppose 2*n = -2*i + c, 2*i - 5*n - 5798 = -n. Is i a composite number?
False
Let h(g) = 11*g**2 + 9*g - 3. Is h(6) composite?
True
Let p(t) = -t**3 - 3*t**2 + 2*t + 1. Let x(l) = -l**2 + 5*l + 1. Let k be x(4). Let j = k + -11. Is p(j) a composite number?
False
Let g = -335 + 908. Is g prime?
False
Let r(j) = 10*j + 61. Is r(13) prime?
True
Let s be ((-30)/(-18))/((-1)/(-3)). Suppose 3*y - 5*z + 310 = 0, 4*z = -s*y + 3*y - 170. Let x = y - -133. Is x a composite number?
True
Let r(g) = -g**3 - 28*g**2 - 73. Is r(-44) a prime number?
False
Let o be ((-5590)/(-2))/1 - 2. Let p = o - 1886. Is p composite?
False
Let q be 15/(-3)*(-732)/10. Suppose -16 = -3*t - 4. Suppose -4*g = 3*l - 1327 + q, t*l - 1294 = g. Is l prime?
False
Is 12 + -10 + 8817*1 prime?
True
Let s = 13 - -8. Suppose 12 + s = f. Let h = 0 + f. Is h composite?
True
Let j be 1 + 29 - (-3 + 3). Let k be j/5*5/2. Let d = 52 - k. Is d composite?
False
Let t = 27 - 29. Let d be -3 + (126 - t)/4. Let v = 51 - d. Is v composite?
True
Suppose -8981 - 7854 = -o - 4*h, o - h = 16845. Is o a prime number?
True
Let t be (-2)/(-14) + (-3 - 78/(-42)). Is -3 + t - 186/(-2) composite?
False
Let u = -21 - -24. Suppose 0 = -3*x, u*x + 87 + 543 = d. Suppose 0 = 3*a - 387 - d. Is a a prime number?
False
Let c(s) = 10*s**3 - 10*s**2 + 30*s - 17. Is c(12) a composite number?
False
Suppose 23*h - 28276 = -2*r + 24*h, 4*r = -3*h + 56542. Is r prime?
False
Suppose -2*s = -2, 4*r - 3*s - s - 1232 = 0. Suppose -4*c - r = -5*c. Is c prime?
False
Let j(t) = -95 + 4*t + 88 + 11*t**2 - 5*t**2 + 7*t**2. Is j(2) a composite number?
False
Suppose 0*s - k - 1006 = -2*s, 5*s + 3*k = 2526. Let v = 1137 - s. Is v a prime number?
False
Suppose 4*v + 20 = 0, -5*t - 1819 = -5*v - 5664. Let z = t - 536. Let c = 485 - z. Is c a prime number?
True
Let p(w) = 43*w**2 + 7*w - 57. Is p(9) a composite number?
True
Let u be 689/65 - 4/(-10). Suppose 5*h = u*h - 444. Is h a composite number?
True
Let y(b) be the first derivative of -b**4/4 - 2*b**3/3 - 2*b**2 - 2*b - 10. Let c be y(-2). Is 377 - (-2 + c + 0) a prime number?
True
Let v be (-20)/15*(-123)/1. Let r = v + -107. Suppose -2*f + 17 = -r. Is f a composite number?
False
Let j(k) = -k**2 + 15*k + 23. Let f be j(16). Let g(n) = 16*n**2 + 3. Is g(f) prime?
True
Suppose 17200 = 4*w + 2*s - 2470, -2*s = w - 4910. Suppose 0 = 5*d + 5*h - w, 1871 = 4*d + 2*h - 2063. Is d composite?
False
Let m = 13692 + -8131. Is m composite?
True
Is 476276/14 - 1 - (-70)/245 a prime number?
True
Let s be 565*(-4)/(-16) - (-1)/(-4). Is (s/(-4)*2)/(33/(-44)) prime?
False
Suppose 4*q - 33719 = -r, 6*q - 3*q - 2*r - 25303 = 0. Suppose 2*g - q = -3*l, g + 2*g - 8427 = -3*l. Is l prime?
False
Is (-2 + (-289146)/(-36))*6/1 prime?
True
Let r(t) = 5*t**2 - 16*t + 17. Let z(x) = -x**3 + 2*x + 17. Let f be z(0). Let d(g) = 14*g**2 - 47*g + 51. Let p(w) = f*r(w) - 6*d(w). Is p(8) prime?
True
Suppose -17*l + 44448 = -l. Suppose l = 6*c + 1056. Is c a composite number?
True
Is ((-141)/2 - 4)*-14 a prime number?
False
Let w(y) = 8*y**3 - 7*y**2 + 7*y - 13. Is w(9) a prime number?
False
Let x = -56913 - -95746. Is x a prime number?
True
Let f = 25 - 22. Suppose -868 = -3*p + 3*v - 58, 0 = p + f*v - 258. Is p composite?
True
Let s(t) = 4*t**2 + 16*t - 1. Let m be (-1)/2 + 38/4. Suppose -d - 2*i - 13 = 0, -m - 6 = d + 4*i. Is s(d) prime?
True
Let v(r) = -1608*r - 229. Is v(-15) composite?
True
Let o = -23 + 27. Is (o - -3)*(-20)/(-14) a prime number?
False
Let g(i) = 7*i**2 + 5*i + 15. Let l be 15/(-20) + 1 + (-86)/(-8). Is g(l) prime?
False
Is (-12)/(-2) - (-57 - 152) a prime number?
False
Suppose 0 + 4 = -2*l, 5*d = l + 17. Suppose d*c = -5*m + 933, 2*m - 312 = c - 2*c. Let z = c - 87. Is z a prime number?
False
Is ((-65)/10)/(11795/(-11794) + 1) composite?
True
Suppose 5*a = -f + 295987, 2*f - 18742 = a - 77935. Is a prime?
True
Let n = 1 + 2. Suppose -u - 20 = -5*o, -2*o + 11 - 3 = -n*u. Suppose w = -u*w + 85. Is w prime?
False
Suppose -4*g + 95 = 19. Let i(l) = -l**3 + 26*l**2 - 4*l + 8. Is i(g) prime?
True
Suppose 2*h = t + 25696, -9*t + 11*t - 51384 = -4*h. Is h a prime number?
False
Let a = -4180 + 9147. Suppose 4*t = -r + a, -3 = -r - 0*r. Is t a composite number?
True
Let i(p) = 46*p + 2. Let r be i(-9). Let x = 645 + r. Is x prime?
True
Suppose -2*v + 2*x = 4, v + 2*x = -3*x + 10. Suppose 5*j = -2 + 27. Suppose v = -j*o + 99 + 86. Is o prime?
True
Let f(k) = 62*k**2 - 22*k + 11. Is f(-7) composite?
False
Suppose -k + 2*k - 7 = 0. Let p(f) = 28*f - 2. Let b be p(k). Suppose 4*z = 5*m + b, 7 = -4*m - 1. Is z a prime number?
False
Let f(c) = -c**3 + 6*c**2 - 6*c + 7. Let y be f(5). Suppose a + j - 138 = 0, 0 = -0*a + y*a - 5*j - 262. Let w = 229 - a. Is w composite?
True
Let t = -55 + 55. Suppose -5*i - 308 + 1893 = t. Is i a composite number?
False
Suppose 4*c = 199 + 13. Let u(g) = -2*g - 36. Let s be u(-20). Suppose s*b - 321 = -c. Is b a composite number?
False
Is (295/15)/((-29)/(-1479)) composite?
True
Let z = -27 + 18. Let g be ((-8)/(-12))/(3/z). Is (-158)/((-16)/(-12) + g) prime?
False
Suppose 4*r - 2*b + 1880 = -452, 2*b = -2*r - 1166. Let j = -344 - r. Is j a prime number?
True
Let r = 9387 + 23990. Is r a composite number?
False
Suppose 9365 + 107780 = 5*t. Is t a composite number?
True
Let x(w) = -7 + 11 - 15 - 6 + 192*w. Is x(4) composite?
False
Let l be 0 - 4/(-6)*3. Suppose -4 = -2*d + 4*p, -22 = -5*d + l*p - 4*p. Suppose d*s - 63 = 29. Is s prime?
True
Suppose 2*n - 2*v - 14502 = 0, 4*v - 36255 = -8*n + 3*n. Is n prime?
False
Let p be 2/11 + 110776/88. Suppose 2*i - 5*o - 828 = 0, -i - o + p = 2*i. Is i a composite number?
False
Let w = 16601 + -11040. Is w prime?
False
Let x be -2*(-4)/((-8)/(-3)). Let l = 0 + 0. Suppose l = -4*c + x*c + 194. Is c a prime number?
False
Let q = 899 + -641. Let s = q - -789. Suppose -j + u + s = 0, -4*j - 2*u + 1053 = -3*j. Is j a composite number?
False
Let f(d) = 213*d - 13. Let g be (0 - -1)/1 - -11. Is f(g) prime?
True
Let f(s) = 2*s**2 + 6*s**3 - s - 3*s + 2*s - 2 - 22*s**3. Let k be f(-3). Suppose 4*w + 114 = k. Is w a prime number?
False
Suppose t + 5 = 9. Suppose t*k - 1681 - 1827 = 0. Is k a composite number?
False
Is (-4)/(-10)*22859 + 342/(-570) prime?
False
Let t = -320 + 647. Let s(j) = 36*j**2 + 8*j - 2. Let q be s(-4). Let x = q - t. Is x prime?
False
Let h = -3487 + 30308. Is h a composite number?
False
Suppose 2*r + 0*r = -2*c + 62, -43 = -c + 2*r. Is 6674/10 - 14/c a prime number?
False
Let u(f) = 799*f + 539. Is u(26) composite?
False
Suppose 0 = -3*t - 9, -5*t - 10 - 35 = -5*v. Let s(x) be the third derivative of -x**6/120 + 2*x**5/15 - 5*x**4/24 - 5*x**3/6 - 17*x**2. Is s(v) composite?
False
Suppose 104088 = -0*c + 24*c. Is c a composite number?
False
Let n(o) = -o + 5. Let t be n(7). Let r(h) = -103*h - 3. Is r(t) composite?
True
Let z(k) = 2160*k + 391. Is z(14) composite?
False
Let a(w) = -w**2 - 175*w**3 + w + w + w - 4*w. Let l be a(-1). Let f = l - -6. Is f a prime number?
True
Suppose -3*b = -b + 16. Let q(p) = -p**3 - 8*p**2 - 11*p - 5. Is q(b) composite?
False
Suppose -12*f = -3874 + 262. Is f prime?
False
Let a = -26 - -47. Let l = -21 + a. Suppose l = -6*w + 7 + 35. Is w composite?
False
Suppose 2*z - 2560 - 2074 = 0. Is z composite?
True
Suppose 4*i + 2*p = 62234, 0 = p - 6*p - 5. Is i a composite number?
False
Let j = 57 - 53. Suppose 0 = -4*z - 4, 3*v + j*z = 2*v + 499. Is v a prime number?
True
Let z = -37 + 114. Suppose a - z = 4*f, 4*a + 0*f - 342 = -f. Is a prime?
False
Suppose -5*t + 17 = 2*l, -2*t = 2 + 4. Suppose -12*i + l*i = 8. Suppose 0 = i*r + 5*z - 490, -r = r - 2*z - 462. Is r a composite number?
True
Suppose 4*z + 702 = 10*z. Let w = z + -46. Let f = w - 13. Is f composite?
True
Suppose -1297*f + 21794 = -1295*f. Is f a composite number?
True
Let t(x) = -7*x + 4. Let w be t(-3). Suppose -2*v - 4*b + 10 = -0*b, 0 = 5*v + 