 3*l**2 - 4. Let d be u(2). Let i = d + -79. Is i a composite number?
True
Suppose a = -2*a + 7845. Let u = a - 1548. Is u prime?
False
Let d = -26 + 30. Suppose 5*k - 3*x = x + 6713, -k + d*x = -1333. Is k a prime number?
False
Let k be 0 + (6 - 0) + -2. Suppose 11 - k = -v. Is (v/3)/((-7)/105) prime?
False
Is 414/1794 - (-580912)/26 a prime number?
True
Let o(k) = 14*k**2 - 13*k - 8. Let h be o(-13). Suppose 4*f - h = 5*w, -3*f + 4*w + 616 + 1279 = 0. Is f composite?
True
Suppose -q = -5 - 1. Let i = -4 + q. Is 109 + -8 + 4/i a composite number?
False
Let d(c) = 39*c + 79. Is d(30) composite?
False
Suppose 3*p + 22994 = 4*d, 5*d - 28*p + 31*p = 28729. Is d composite?
True
Suppose -37*s = -35185 - 261148. Is s prime?
True
Let s be 2 - 5/(20/(-168)). Let c = -7 + s. Is c a composite number?
False
Suppose b + 440 = -4*i, i - 2110 = 5*b + 3*i. Let y = -1111 + 1725. Let q = y + b. Is q a prime number?
False
Suppose 194 + 487 = q. Is q a prime number?
False
Suppose 150891 = -380*m + 419*m. Is m prime?
False
Let p = 3386 - 1175. Suppose 0*x - 3*q - 748 = -x, p = 3*x + 2*q. Is x composite?
False
Is (-343552)/(-33) + (-5)/3 composite?
True
Let r be 3*((-1520)/(-6) - 0). Let h be 2/4*((-6 - -6) + 6). Suppose -r - 647 = -h*k. Is k a composite number?
True
Let f(x) = x**2 - 1. Let g be f(-1). Suppose g = -5*k - 20 - 50. Let j = 17 + k. Is j a composite number?
False
Suppose 99*u - 97*u - 21702 = 0. Is u a prime number?
False
Suppose 7*h - 1623 - 281 = 0. Suppose 0 = -s + h - 38. Suppose -28 + s = w. Is w a prime number?
False
Let l = -16066 - -26655. Is l composite?
False
Let c(t) = 3 + 1 - 5*t + 7. Is c(-4) a composite number?
False
Suppose 6 = -4*n + 3*v, -2*n + 5*v - 10 = -0*n. Suppose -3*h - 2*h + 28 = 2*c, c - 3*h = -8. Is 379 + (n + 2 - c) composite?
True
Let k(i) be the second derivative of -119*i**3/2 + 8*i**2 + 30*i. Is k(-3) prime?
True
Suppose 0 = -5*i + x - 3506, i + 704 = 2*x + x. Let o = 2394 + i. Is o a prime number?
True
Let k = -21 + -51. Let l = 609 - k. Is l a composite number?
True
Suppose 2*y = 58032 + 8698. Is y prime?
False
Let h(g) be the second derivative of -g**4/4 - 5*g**3/2 + 3*g**2/2 + 2*g. Is h(-5) a composite number?
False
Let r(j) = 1195*j + 477. Is r(8) a prime number?
True
Is (7/2)/(273/122772) composite?
True
Let o(r) = 10367*r**2 - 10*r - 10. Is o(-1) prime?
False
Suppose 33*l - 369645 = 18*l. Is l a composite number?
True
Is 20/(-110) + (-193802)/(-22) a prime number?
False
Suppose 4*b = 16*b - 54084. Is b a composite number?
False
Let r(k) = 5251*k - 42. Is r(1) prime?
True
Suppose 472561 + 8360 = 21*o. Is o composite?
False
Let y = -24 + 48. Suppose 9*v - y = 3*v. Suppose 3 = -0*t + t, -1277 = -v*z - 3*t. Is z a prime number?
True
Is (357/14 + -5)*(1 - -57) composite?
True
Let x(f) = 1141*f**2 + 23*f - 25. Is x(1) composite?
True
Let i(k) = k**3 + 13*k**2 + 6*k + 10. Let y be i(-12). Suppose -2*m + 340 = -y. Is m composite?
False
Let r(j) = j**3 + 5*j**2 + 4*j + 2. Let y be r(-2). Suppose -y*u = -u. Suppose u = 5*s - 3*s - 194. Is s composite?
False
Let f be 6 - (-1)/((-2)/4). Suppose -f*a + 5*v = -3*a - 10, -48 = 4*a + 2*v. Is 94/1 + (-7 - a) a composite number?
False
Let s = -29 - -31. Suppose 92 = s*r + 26. Suppose o + r = 2*o. Is o a prime number?
False
Let s be (402/(-15))/(2/(-5)). Suppose -y = 3*u - s - 316, 256 = 2*u + y. Is u composite?
False
Let d(a) = 5*a**2 - 5*a - 8. Let u(x) = x**2 + x + 1. Let r(c) = -d(c) + 4*u(c). Let o be r(10). Let f(s) = 2*s**3 - s + 1. Is f(o) composite?
True
Suppose -2 = 2*i + 2*m, 0*i + i = 3*m + 11. Suppose 4*x = -5*r + 25145, 3*r + i*x + 2699 = 17788. Is r prime?
False
Let v(d) = 3*d**3 - 5*d**2 - 5*d + 8. Let b = 113 + -107. Is v(b) a composite number?
True
Let c be (36/(-30))/(6/(-20)). Suppose 3*u = c*w - 2686 - 4336, 5*w = -4*u + 8793. Is w a prime number?
False
Let p be 26/14 + 3/21. Suppose 0 = 4*c + j - 348, -3*j = p*c - c - 87. Is c a prime number?
False
Let d(x) = 5*x + 48. Let q be d(-9). Let a(j) be the third derivative of 13*j**5/30 - j**4/4 - j**3/2 - j**2. Is a(q) a composite number?
True
Let q = -13 - -15. Suppose 0 = p + q*p + 1524. Is (5 + -4)/((-2)/p) a prime number?
False
Let a(n) = -n**3 - 3*n + 7*n - 4 + 12*n**2 - 3*n**2. Suppose 0 = -8*z + 2 + 54. Is a(z) a composite number?
True
Let g(j) = -16*j + 1537. Is g(0) composite?
True
Suppose 4*y + 2*y - 432 = 0. Let x = 103 - y. Is x composite?
False
Let o = -21 + 26. Suppose -d - 5 + 3 = -o*m, 0 = 2*m - 10. Suppose -d = g - 164. Is g a composite number?
True
Suppose 3*j - 34 = -4*d, 4*d - 22 = 2*d - 4*j. Let u(v) = -5*v - 4. Let l(z) = z + 1. Let y(p) = -4*l(p) - 2*u(p). Is y(d) a prime number?
False
Let i(p) = 800*p - 21. Is i(11) composite?
False
Let y(t) = 99*t - 514. Is y(47) composite?
False
Suppose 0 = 3*x - 0*x + 4*p + 5, p = 4*x - 25. Suppose 0 = 3*u - x*m - 32, 3*u = u - 2*m. Let w(f) = 2*f**3 + 4*f**2 + 5*f - 3. Is w(u) composite?
True
Let l = 5 + -5. Let q be ((-567)/36)/(1/(-8)). Suppose l = 2*a - 56 - q. Is a composite?
True
Suppose -4*n + 16 = -4*m, 4*m - 29 = -5*n - 0*m. Is 1294/5 + 1/n a composite number?
True
Suppose -2*s + 5 = -3. Suppose -24 = p - s*p. Is (74/p)/((-3)/(-12)) a prime number?
True
Let a = 12430 + -1411. Suppose 10*s - 391 = a. Is s composite?
True
Let g = -58 + 61. Suppose -g*f + 6292 = 2*f - 3*b, -4*b + 1263 = f. Is f a prime number?
True
Let k(m) = 1 - 7*m + 4*m**2 - m**3 + 0 + 0. Is k(-6) prime?
False
Suppose 0 = -32*j + 168490 + 951030. Is j prime?
False
Suppose 4*b + 28 = 2*r, -2 + 7 = -b. Suppose 344 = z + 4*y - 223, -3*z = r*y - 1693. Is z composite?
False
Suppose 430319 + 196528 = 13*y. Is y a prime number?
False
Let z = -1725 - -2954. Is z prime?
True
Let k be (-308)/(-6)*(4 + 14). Let c = -1923 + k. Is ((-2)/(-6))/((-3)/c) composite?
True
Let p be 0/(-2) - 2 - -2. Let z be p + 3/((-6)/(-14)). Let w = z - -72. Is w a composite number?
False
Suppose 63764 = 3*b + 5*l, -12*l - 21256 = -b - 15*l. Is b composite?
True
Let x(h) = 13*h**3 + 9*h**2 + 14*h - 8. Let y(r) = 7*r**3 + 5*r**2 + 7*r - 4. Let o(u) = -3*x(u) + 5*y(u). Is o(-6) a prime number?
False
Let h = -277 + 114. Let o be (-36)/(((-4)/3)/(-2)). Let b = o - h. Is b composite?
False
Let t = 51 - 26. Suppose 6*h = h + t. Suppose 605 = h*k + 2*m, k - 2*m = 47 + 86. Is k a composite number?
True
Let x = -9737 - -20326. Is x a prime number?
True
Let p(f) = 28*f**2 - 4*f - 1. Let z = -30 - -23. Let w be p(z). Let x = w + -740. Is x prime?
True
Let p be 21/(-42)*(1 - 3). Let m(q) = 55*q**3 - q**2 + q. Is m(p) a prime number?
False
Let k = -4162 - -8263. Is k a prime number?
False
Let y = 4083 - 694. Is y a composite number?
False
Suppose -54*c + 1730 = -59*c. Is c/((-104)/(-28) - 4) a composite number?
True
Let a = -2365 + 4548. Is a a composite number?
True
Let l(s) = s**3 + 5*s**2 - 2*s - 7. Let y be l(-5). Suppose -y*j = -j. Suppose 5*h - 138 = -z, -4*z + j*h - 4*h = -568. Is z composite?
True
Let t be (-4)/((-3)/(-6)*-4). Suppose 2*c - 17 = -d + 6, 4 = c - t*d. Is c/(-25) + 957/5 prime?
True
Let s = 30 - 26. Suppose m - 4*l + l - 131 = 0, -4*m + s*l = -556. Is m prime?
False
Let d(l) = 34*l - 18. Let g be d(-7). Let r = g - -905. Is r composite?
True
Let h(m) = 6*m**3 + 3*m**2 - 6*m + 8. Suppose 6*l - 6 = 4*l. Is h(l) a prime number?
True
Suppose -3*w = -2*r - 21, 5*w + 2*r = -3*r + 10. Suppose w*l = 4*l + 22. Is (28/10)/(l/55) a composite number?
False
Suppose -7*u = -18 + 116. Is u/((-2085)/415 - -5) a prime number?
False
Suppose -3*h = -19 + 13. Suppose 0 = 3*p - 2*p + h*g - 795, 4*p = 2*g + 3140. Is p prime?
True
Let h be (-9)/3 - -2 - 1. Let i(q) = -q**2 - 4*q - 2. Let c be i(h). Is 1/c*1790/1 composite?
True
Suppose -38*s + 50*s - 110712 = 0. Suppose 5*u - 4*p = -7*p + s, -9 = 3*p. Is u prime?
True
Let q be (2/6)/((-5)/15) - -57. Suppose -1357 - q = -9*p. Is p prime?
True
Let b(g) = 4*g**2 - 4*g + 13. Suppose -6*c = 48 - 156. Is b(c) a prime number?
True
Let u = -3 - -3. Suppose -2*m - 4*a - 12 - 4 = u, m - 4*a + 20 = 0. Is 954/m*4/(-2) prime?
False
Let d = 63 + -64. Is -874*(0 + d) - (0 + 3) a prime number?
False
Let s = 84027 - 54798. Is s prime?
False
Is ((-2556736)/(-24))/1 + (-2)/(-6) prime?
True
Let h(a) = -36*a**2 + 29 + 5*a + 113*a**2 - 26. Let s = -4 + 8. Is h(s) composite?
True
Suppose 4*g - 