. Is q a prime number?
True
Let s = -2 + 9. Suppose -x = -4*q - s, 0*q = 2*x + 3*q - 3. Suppose 2*f + 7 = 4*f + x*a, -4*f - a + 39 = 0. Is f composite?
False
Let k(z) be the first derivative of -401*z**2/2 + 8. Is k(-1) a prime number?
True
Let u be (2/2)/(0 + -1). Is (1/(-2))/(u/102) a prime number?
False
Let b = -66 + 97. Suppose 0 = -5*g - b + 1. Let s(i) = i**3 + 10*i**2 + 9*i + 3. Is s(g) composite?
True
Let m(x) = -x - 3*x**2 - x**2 + 3*x**2 + 2. Let t be m(0). Is t/3*477/6 prime?
True
Suppose -4*d + 438 + 454 = 0. Is d prime?
True
Suppose -3*b = b. Suppose b = -j - 2*j + 57. Is j composite?
False
Suppose 4*l - 8 - 36 = 0. Let i = l + -5. Let y = i + 9. Is y a prime number?
False
Let f be (-2)/((-24)/(-10) - 2). Let s(h) = h**3 + 4*h**2 - 5*h + 4. Let z be s(f). Suppose -z*j + 73 + 3 = 0. Is j a prime number?
True
Let h(o) = 4*o**2 - 14*o - 5. Is h(-21) a composite number?
False
Suppose 15 + 1783 = 4*d + 2*c, -4*d + 3*c + 1793 = 0. Is d a composite number?
False
Let b(i) = i**2 + i + 95. Let r be b(0). Suppose 2*m + 2*m - 12 = 0. Suppose -3*x = -2*f - r, -2*x + 0*f = -m*f - 55. Is x a prime number?
False
Suppose 54 = 4*h - 70. Suppose 0 = 4*c - 45 - h. Is c a prime number?
True
Let u = -156 - -2003. Is u a prime number?
True
Suppose -3*q + 8 = 5. Is (64 - 2)/(1/q) a composite number?
True
Is 206*(-1 + 2) - 3 composite?
True
Suppose 0 = -2*k - 2*k - 64. Let v = -28 - k. Is (1 + 1)/(-2) - v a composite number?
False
Suppose -4*z - z = 2*g + 164, -z = 2*g + 156. Let q = 128 + g. Is q a composite number?
True
Let m(p) = 2*p**2 + 2*p + 2. Let n be m(-6). Let g = n + 32. Is g composite?
True
Let s be 93 + 3 + 1 + -1. Suppose -5*d - 147 = -4*z, 0*d + d - s = -3*z. Is z a composite number?
True
Let y(o) be the first derivative of -o**3/3 + 4*o**2 - o - 1. Let g be 8/(-20) + (-64)/(-10). Is y(g) a composite number?
False
Let w = -8 + 8. Suppose w = 3*a + f - 202, a - 5*f + 273 = 5*a. Is a a composite number?
False
Suppose 0*s = 3*s - 45. Is s a prime number?
False
Let c(r) = 5*r + 7. Is c(11) a composite number?
True
Let b(q) = q**3 - 4*q**2 - 7*q - 1. Let c be b(7). Let m be -3 - (2 - (c - 0)). Suppose -n = -3*n + m. Is n prime?
False
Suppose -5*a + 48 = 4*b, -b - 4*a = -3*b - 2. Suppose 0 = -2*p + b*p - 635. Is p composite?
False
Let k = -369 - -526. Is k prime?
True
Suppose 6*b - 12 - 12 = 0. Suppose -b*y + y = -474. Is y a prime number?
False
Suppose 0 = 2*w + l + 43, 2*w + 2*l + 52 = -2*l. Let r = 0 - w. Is r/1 - (0 - 2) prime?
False
Let w = 0 + 3. Let m be 3*w/9*185. Suppose -t + m = 4*t. Is t prime?
True
Let j(h) = -219*h**3 + 3*h + 2. Let u(v) = -220*v**3 + 4*v + 3. Let n(l) = -4*j(l) + 3*u(l). Let g be n(1). Let m = g - 106. Is m a prime number?
False
Let b = -677 - -2512. Is b prime?
False
Let w = 21 - 17. Suppose -4*u - 160 = -w*y, 7*y - 3*y + 2*u = 142. Is y a prime number?
True
Let m be (2 + -1 + -2)/(-1). Suppose 4*r + m = 13. Suppose 237 = r*j - 12. Is j composite?
False
Let a be ((-9)/(-3))/((-6)/16). Let m(j) be the first derivative of -3*j**2/2 + 10*j - 1. Is m(a) a prime number?
False
Let m(j) = j**2 + 7*j - 6. Let r be m(-8). Suppose 2*x - r = -v + 2*v, -2*v = 4*x - 12. Is (112 - 6)/(1*x) a composite number?
False
Suppose -3*l + 169 = 2*s - 48, -3*l + 221 = 4*s. Is l composite?
False
Suppose -2*t = -5*t - 6, -4*t + 1548 = 4*i. Is i a prime number?
True
Let g = 372 + -266. Is g a composite number?
True
Let m(z) = 3*z + 5. Let y(s) = -10*s - 15. Let w(p) = 7*m(p) + 2*y(p). Let q be w(7). Let b = q - 2. Is b a composite number?
True
Let z be 3/(-1 - -16)*5. Is (-3 + -124)*(0 - z) a prime number?
True
Let t be (-4)/(-2) - (-4 - -1). Suppose -2*l - 3*l - 155 = -t*m, 4*m - l - 136 = 0. Suppose m = 4*p + p. Is p composite?
False
Let o be (-8)/(-4) + (3 - 2). Suppose o*c = -5*p + 796, -2*c = -c + 3. Is p a prime number?
False
Let a(d) be the third derivative of -d**6/120 - d**5/10 + 11*d**4/24 - d**3 + d**2. Suppose -o - 7 = q, 5*q + 42 = -4*o + 6. Is a(q) prime?
False
Let a = 694 - 429. Is a prime?
False
Suppose -6*b = -7*b + 613. Is b prime?
True
Suppose 2196 = 2*q - 1046. Is q a composite number?
False
Suppose 3*n - 16 = -q, 2*n + 4*q - 32 = -2*n. Suppose -5*h + 3*j - 1220 = 0, -722 = 4*h + n*j + 286. Let f = -170 - h. Is f composite?
True
Let w be 140/16 + (-1)/(-4). Let u(k) = 57 + k**2 + w*k - 9*k. Is u(0) composite?
True
Let i = 75 + -134. Let q(s) = s**2 - 11*s - 4. Let m be q(9). Let x = m - i. Is x a composite number?
False
Let d be 0/(1/(1/(-2))). Suppose -5*k = -2*i + 78 + 18, d = k - 2. Is i prime?
True
Suppose 4*r = -h + 4, -3*r - h + 1 + 2 = 0. Let b be r + 0 + 91 + -2. Let w = b - 23. Is w composite?
False
Let c = 528 - -55. Is c a prime number?
False
Let c(w) = -w**2 + 31. Let t(i) = -i**2 - i. Let l be t(-1). Is c(l) a composite number?
False
Suppose a + 4*a - 2*p = 6, -9 = 4*a + 3*p. Suppose -m = -3*z + 4*m, a = 3*z + m. Suppose z*f - 140 = -4*f. Is f a prime number?
False
Let y = 18 + -13. Suppose -p + 5*z - 2*z + 1112 = 0, -y*p + 5578 = 3*z. Is p prime?
False
Let r(c) = -c + 4. Suppose -i - 2*i + 6 = 0. Let m be r(i). Suppose -5*x = 3*o - 0*o - 222, -o + m*x = -85. Is o prime?
True
Let u = -100 - -219. Is u prime?
False
Let x = 33 + -73. Let g(h) = 62*h**2 + 2*h + 1. Let u be g(-1). Let r = x + u. Is r a prime number?
False
Suppose 0 = c - 6*c + g - 14, 5*c + 2*g + 2 = 0. Let q be 1/1*(-22)/c. Let d = q - 4. Is d a composite number?
False
Suppose 2*f - 126 - 32 = 0. Is f prime?
True
Suppose -10*u = -15*u + 10765. Is u composite?
False
Suppose -22 = -4*t - 6. Suppose 0*p = -t*p + 312. Suppose -s + p = 23. Is s prime?
False
Let t(y) = 4*y - 6. Let a be t(6). Suppose 4*b = 3*b + 2. Suppose -u - a = -5*n, u + 2*n = b*u + 3. Is u prime?
True
Let n be (20/(-6))/((-2)/(-3)). Let z = n - -24. Is z prime?
True
Suppose 148 = -3*r + 2233. Is r a prime number?
False
Let b(d) = -d**2 + 12*d - 5. Let x(y) = -y**2 + 25*y - 10. Let a(g) = -5*b(g) + 3*x(g). Is a(-14) a prime number?
False
Let l(z) = -341*z**3 + 1. Let r be l(1). Let g = r - -495. Is g prime?
False
Let q = 638 + -193. Is q a composite number?
True
Suppose -n - 16 = -3*d, 4*d - 5 = 2*n + 17. Is 0 + (n - 6)*-11 prime?
False
Let n = 21 + -27. Is 8/n - (-2331)/27 a composite number?
True
Is 2 + (-4 + 0 + -11)*-39 composite?
False
Let s = -118 + 363. Let o = s - 158. Is o prime?
False
Let q(k) = k**2. Let u(f) = 4*f**2 - 12*f - 4. Let v(p) = 3*q(p) - u(p). Is v(7) composite?
True
Let l = -556 + 1203. Is l a prime number?
True
Suppose 5*h + 4*x - 15 = 0, 3 = h - 0*x - 2*x. Suppose h*t = -4*z + 93, -z - z + 29 = t. Is t a prime number?
False
Let f = 219 + -128. Is f a prime number?
False
Suppose -4*j + 1 = -5*u, 0 = -j + 2*u - 0 - 2. Let m = -6 + j. Is (-27)/m + (-3)/(-6) composite?
True
Let q be (4/(-12))/((-2)/18). Is (-1 + 4)/(q/113) composite?
False
Let k be 4/(-6) + (-18)/54. Is k/1*(3 + -410) a prime number?
False
Suppose -2*q = -3*m - 25, -34 - 3 = -3*q + 4*m. Is q prime?
True
Let m(k) = 2*k. Let z be m(2). Suppose -d = -z*d + 489. Is d prime?
True
Let t(m) = -58*m + 3. Let x be (-102)/17*(-2)/(-6). Is t(x) a composite number?
True
Let s(v) be the second derivative of 2*v + 5/6*v**3 + 0 - 1/12*v**4 + 2*v**2. Is s(3) a prime number?
False
Suppose -219 = -5*i + 66. Is i prime?
False
Let h = 54322 + -36801. Is h a prime number?
False
Suppose -4*j + 20 = 0, -4*j + 7*j = 3*u + 42. Let f be (-2)/5 + u/15. Is -149*(1 - 0)*f a composite number?
False
Suppose -5*s = -3*j + 4, 2*s + 6*j - j + 14 = 0. Is (-6 - s)*26/(-8) a prime number?
True
Suppose 2*r - 6*r + 24452 = 0. Is r composite?
False
Let p = -7 + 7. Suppose 0 = -2*w + 4 - p. Suppose 4*o = w + 22. Is o a composite number?
True
Let n(a) = -108*a - 13. Is n(-6) a composite number?
True
Let o(b) = -b**2 - 4*b + 1. Let t be o(-3). Suppose -a = -t*a + 1761. Is a composite?
False
Let s be -2 + (-5)/((-5)/4). Let k(i) = -i**2 - 15*i - 11. Let d be k(-12). Suppose -3*j - f + 9 = -s*f, -3*f + d = 4*j. Is j prime?
False
Suppose 0 = -0*a - 5*a - 2*h + 2711, 3*h - 9 = 0. Is a a composite number?
False
Suppose -5*f + 6 + 4 = 0. Suppose -2*x - i + 520 = f*i, 4*i = 8. Is x a prime number?
True
Let q(h) = 3*h - 1. Let z be (-8)/10*30/(-4). Let p be q(z). Suppose -p = d + 4*u, 2*d - 5*d = -3*u - 24. Is d a composite number?
Fals