 -h + u. Is h a prime number?
True
Let c(n) = -23*n - 1. Let v be c(-6). Suppose -x + v = u, -2*x + 103 = 4*u - 179. Let f = 28 + x. Is f a composite number?
True
Let i(w) = 11*w**3 + 4*w**2 - w + 1. Is i(3) composite?
False
Let z(m) = 4*m**3 - 9*m**2 - 8*m - 19. Is z(8) composite?
True
Suppose 0 = -5*c + 1058 + 2387. Is c a composite number?
True
Suppose 2*d - 4*d + 758 = 0. Suppose -4*n + 289 = -d. Is n prime?
True
Suppose 20*s = 18*s + 188. Is s composite?
True
Let w(s) = -24*s + 33. Let f(p) = -3*p + 4. Let n(q) = -33*f(q) + 4*w(q). Is n(2) a prime number?
False
Suppose 0 = -6*i + 2*i + 304. Suppose 2*p + 2*w = 7*p - 74, 5*p - 3*w - i = 0. Is p prime?
False
Let x(a) = 3 + a**2 - a + 0*a - a - 8. Suppose 7*l = 2*l + 30. Is x(l) a prime number?
True
Let m(d) = 3*d**3 - 2*d**2 - 3*d + 9. Is m(5) a composite number?
True
Suppose -4*r + 2059 = q + 77, -2*q = 5*r - 3958. Suppose -535 = 3*b + 3*j - 1723, 5*b - j = q. Is b composite?
True
Let z(n) = n**3 - 5*n + 9. Is z(4) a composite number?
False
Suppose -5*p - n + 762 = -0*n, 4*n = 2*p - 318. Is (-4)/(-10) + p/5 prime?
True
Suppose 1137 = 10*l - 7*l. Is l a prime number?
True
Let o be 5/2*(-1 + 3). Suppose o*l = -0*l + 20. Suppose -745 = -l*n - n. Is n a composite number?
False
Let k(l) = l**2 - 7*l + 4. Let w(m) = m**2 + 6*m + 7. Let v be w(-6). Let z be k(v). Suppose 0 = -3*c + z*u + 25, 2*c - 9 = 2*u + 5. Is c prime?
True
Let l(m) = -2*m**3 - 7*m**2 - 7*m - 1. Is l(-6) a prime number?
False
Suppose -25 = 5*z, -2*z = 4*l - 3*z - 5. Suppose l*m + 74 = 2*m. Is m a composite number?
False
Suppose -4 - 16 = -5*l. Suppose -5*g = a - 175, -l*a - 164 = -4*g - 0*g. Let d = 149 + g. Is d a composite number?
True
Let r(a) = 3*a**2 + 1. Suppose h + h + 3*m = 1, -5*m = 5*h. Let k be r(h). Let o(y) = 3*y**2 + y + 1. Is o(k) a prime number?
True
Suppose -s = 3*l + 10, -4*s + 2 = l + 9. Let h be (2/(-2))/(s + 2). Is -37*(-4 + 2 - h) a prime number?
True
Suppose -2*i = -3*i - 4. Is i/(-22) + 1004/44 a prime number?
True
Let n(f) be the first derivative of -f**4/4 + 2*f**3 - f**2/2 + 6*f - 3. Let c be n(6). Suppose -5*i + c*i = -385. Is i composite?
True
Let d be 3/(-2) + 418/4. Suppose 4*y - 4*j = j - d, -5*y - 140 = -4*j. Let p = y + 54. Is p prime?
False
Let z(g) = -32 + 62 - g**3 - g + 130. Let o be z(0). Suppose 2*u + o = 2*f, 0 = 3*f + 3*u - 210 - 12. Is f a prime number?
False
Let c(q) be the third derivative of q**6/120 + q**5/15 - q**3/3 + q**2. Let m(w) = w + 9. Let s be m(-12). Is c(s) prime?
True
Suppose 85*x - 578 = 83*x. Is x prime?
False
Let m = 1049 - 582. Is m a prime number?
True
Suppose -3*c + 4*c - 191 = 0. Is c a prime number?
True
Suppose 0 = 3*x - 6*x + 9. Suppose 4*z + 2*d = 468, -2*z - x*d = z - 345. Is z a composite number?
True
Let k(i) = i**2 + 4*i + 1. Let m be k(-4). Let t(x) = 582*x**3 - 2*x + 1. Is t(m) a prime number?
False
Let y = 3335 + -2292. Is y composite?
True
Suppose -4*n + 1893 = 3*a, 4*n - n - 5*a = 1398. Is n a prime number?
False
Let f(u) = -5*u. Let t be f(1). Let q = t - -11. Is q a prime number?
False
Suppose i = -6 + 1. Let u = -3 - i. Suppose u = 3*v - 109. Is v a composite number?
False
Suppose w + 30 = 5*a, 2*a + w = 6*w + 12. Let r be 2/a + 6/9. Let f = 20 + r. Is f composite?
True
Suppose 4*b = 2*a + 22, 5*a + 3*b = 2*a - 6. Is (-268)/(-3) + a/15 composite?
False
Let p = 1 + 1. Let k be (p - 5)*-1*1. Is k*(71/3 + 2) prime?
False
Let i(a) = 235*a + 3. Let r(q) = -78*q - 1. Let j(b) = 2*i(b) + 7*r(b). Let m be j(-4). Suppose 0 = -5*n + m + 82. Is n a composite number?
True
Let g be 47 + 0 - (-3 - -2). Suppose -5*h + 22 = -g. Is h a composite number?
True
Let u = -3 - 0. Let c be ((-2)/6)/(u/18). Suppose c = -y + 17. Is y composite?
True
Suppose o - 880 = -3*m, 4*m - o = 2*o + 1169. Is m a prime number?
True
Let p(c) = -15*c - 1. Let u be p(1). Let v be (-4)/(-10) - u/10. Suppose 2*y + v*n - 72 = 4*n, 5*y - 4*n = 181. Is y prime?
True
Let v = 402 - 211. Is v prime?
True
Suppose 0*m + 3*m + 4*x = 2245, -4*m - 5*x + 2994 = 0. Is m a prime number?
True
Let x(o) = 133*o**2 + 1. Is x(1) a prime number?
False
Let b(v) = -v**2 - 1. Let q be b(-2). Let h = q + 3. Is (-260)/(-4) - 4/h a composite number?
False
Let h(m) = -m**2 + 6*m. Let b be h(5). Suppose -b*c = 96 - 491. Is c a prime number?
True
Let a be 34/10 - 4/10. Suppose -y = -a*y + 382. Is y prime?
True
Is ((-13)/26)/(1/(-838)) composite?
False
Let l = -6 - -7. Let i(t) = -6*t + 1. Let z be i(l). Is (0 + z)*(-141)/15 prime?
True
Let y(s) = 98*s - 25. Is y(16) a prime number?
True
Let n(u) = -u**2 + 9*u + 1. Is n(7) prime?
False
Suppose 0 = -5*r - 4*m + 25, 0 = 4*r - 3*r + 2*m - 5. Suppose -r*s - 205 = -0*s. Let p = s + 66. Is p prime?
False
Suppose 7*l - 2*l - 10 = 0. Suppose c = 2*f - 22, -2*c - 18 = -l*f - 3*c. Is f a composite number?
True
Suppose 2*k - 106 = -5*a, 2*k + a = k + 53. Is k composite?
False
Let o be (-2)/(-9) + 125/45. Suppose -2*i + b + 2*b + 106 = 0, -212 = -4*i - o*b. Is i a prime number?
True
Let x(c) = 56*c - 6. Let a be x(7). Let l = a + -267. Is l composite?
True
Let u be (-18)/(1 + -4) + -2. Suppose 185 = s + u*s. Is s a prime number?
True
Suppose 0*j + 4*j = 0. Suppose j*u = -3*u - 309. Is 4/10 + u/(-5) composite?
True
Let h(v) = -4*v - 11. Let a be h(-9). Suppose a = -w + 62. Is w composite?
False
Let y = -8 + 7. Is y/3 + 472/12 prime?
False
Let t be 12/(-10)*380/(-6). Suppose 2*p = -2*p + t. Is p a composite number?
False
Let j(f) be the second derivative of -f**3/6 - 4*f**2 + f. Let c be j(-7). Let z(y) = -127*y. Is z(c) composite?
False
Let z be (-1)/(3/18*3). Let t(m) = 26*m**2 - m. Is t(z) a prime number?
False
Suppose 4*d - 112 = -16. Suppose 2*i - 4*k - 82 - d = 0, 0 = 3*k - 6. Is i composite?
True
Let z(x) = -59*x + 12. Is z(-5) composite?
False
Suppose 888 = 3*d + d + 2*j, -3*d + 3*j + 675 = 0. Is d a composite number?
False
Let h be ((-2)/2)/(1/(-5)). Let d(l) = 46*l - 7. Is d(h) composite?
False
Suppose c + 2 = -0*p + 3*p, 4*c = -3*p - 8. Suppose -5*s + 4*b - 19 = 0, p*s + 5*b = s + 8. Is s/(2*(-2)/8) composite?
True
Is (-7)/(-21) + 3092/3 composite?
False
Let t(o) = -o**2 + 6*o + 2. Suppose 3*k = 8*k - 25. Is t(k) a composite number?
False
Let v(l) = l - 7. Let g = 6 - 5. Let o(p) = -p. Let i(a) = g*v(a) - 3*o(a). Is i(11) composite?
False
Suppose 8*g = 11783 + 18257. Is g prime?
False
Let j(w) = w**3 - 5*w**2 + 6*w - 4. Let o be j(4). Let n(c) = -4*c - 8. Let q be n(-8). Suppose -q = -0*g - o*g. Is g a prime number?
False
Let h be (-3)/6 + (-7)/(-2). Suppose -4*y - 345 = -h*b, 3*y - 8*y + 540 = 5*b. Suppose 2*v - b = -v. Is v composite?
False
Let l(s) be the first derivative of s**2 - 6*s - 3. Is l(8) a prime number?
False
Suppose -3*n + 3*f + 3510 - 693 = 0, -5*n + 3*f + 4699 = 0. Is n composite?
False
Suppose o + 0*o = 2. Suppose 3*v = -5*w + 22, -o*w + 7*w = -v + 24. Let g = -3 + w. Is g a composite number?
False
Suppose -3*r - 262 - 620 = 0. Let t be r/(-15) + (-4)/(-10). Suppose -p + 82 = 4*v, 0 = 2*v - 5*p - t - 32. Is v composite?
True
Suppose -4*f = -3*f. Is (f + -1)/(3/(-57)) composite?
False
Suppose -92 = u + 3*u. Let a = -83 + 11. Let t = u - a. Is t a composite number?
True
Is (-2)/10 + 4630/25 prime?
False
Suppose -8*z = -3*z - 40. Suppose 5*c - 187 = -l, -3*l = l - z. Is c composite?
False
Let o be 0 + (-36 + 0)/3. Let i = -8 - o. Is (-91)/(-3) + i/6 prime?
True
Let d = 8 + -5. Suppose -8*g + d*g - 220 = 0. Let k = 95 + g. Is k a prime number?
False
Let v = -2 + 3. Is 3*v - (2 - 5) composite?
True
Let m(w) = 2*w**2 + 3*w + 3. Let n be m(-3). Suppose -5*y - 2*r + 21 = 0, 2*y + 3*r - n = 3. Suppose 0 = 5*d - y*u - 74, 4*u - 2 = -14. Is d a prime number?
True
Suppose 10*q - 12*q - 234 = 0. Let i = 272 + q. Is i prime?
False
Suppose 4*x - 251 = -k, -k = 2*x - 0*x - 251. Is k a prime number?
True
Suppose -1195 = -8*s + 3*s. Is s composite?
False
Let q be 3 + (2 - (-2)/(-2)). Suppose 0 = q*f - 2*x + x - 2217, 10 = -2*x. Is f composite?
True
Let u be (-2)/7 - 60/(-14). Let s = -2 + u. Suppose s*a + 31 = 3*a + 4*y, y - 117 = -5*a. Is a composite?
False
Suppose -6*f + 7 = -17. Suppose f*c - 2*c - 130 = 0. Is c a composite number?
True
Suppose -165 = -5*u - 5*d + 820, -4*u - 2*d + 792 = 0. Is u a prime number?
True
Let g be (-6)/33 + (-35)/(-11). Let v be (g + -