2*t + 38 = 3*y - 0*y, p*t - 36 = -4*y. Is t a prime number?
False
Suppose 16 = 2*g + 76. Let z = 53 + g. Is z prime?
True
Let u(k) be the third derivative of -11*k**6/120 - k**5/30 - 5*k**4/24 - 5*k**3/6 - 7*k**2. Is u(-2) prime?
False
Suppose -27*g + 372380 = 111533. Is g a composite number?
False
Suppose -1719 - 174 = -3*i. Is i composite?
False
Let d = 1 + 1. Suppose -2*s + d + 0 = 3*v, -s + 14 = -5*v. Suppose 3*g - 236 = -p, -s*p + 233 = 3*g - 0*p. Is g prime?
True
Let g = 11 + -8. Suppose -369 = -g*y - 0*y. Is y composite?
True
Suppose -215 = -2*m + 231. Is m a prime number?
True
Let i = 837 - 308. Is i prime?
False
Suppose 10 = 5*q - 4*j - 9, -4*j = q + 1. Suppose -o = 3*a - 8, 2*a + 11 = q*a + 2*o. Is (-26)/(0 - (a - 0)) a composite number?
True
Suppose -o - 4*g + 211 = 0, -2*o = 3*o - 5*g - 930. Is o a prime number?
True
Let q = 12 + -7. Suppose -q*f + 278 = 3*u, -2*u - 116 - 47 = -3*f. Is f composite?
True
Suppose 0 = 5*d - 4*y - 2363, 0*d = -2*d - 4*y + 934. Is d a prime number?
False
Let q(j) be the second derivative of -136*j**3/3 + j**2 - 9*j. Is q(-1) prime?
False
Suppose -x + 893 = -2970. Is x a prime number?
True
Suppose x = 5*x + 4. Is ((-6)/8)/(x/44) prime?
False
Is (-36)/(-54)*(-3246)/(-4) prime?
True
Let u(o) = 80*o**2 - 5*o + 8. Is u(-5) prime?
False
Let v be (3/(-2))/(18/(-1752)). Suppose 0 = 4*g + 3*t - 204, -109 = -5*g + 3*t + v. Is g a composite number?
True
Let v(k) = k**3 - 4*k**2 + 4*k + 2. Is v(11) prime?
False
Let q = 678 - 157. Is q a composite number?
False
Suppose 5*h = 3*h + 1912. Suppose -2 = -2*m, 0 = -0*n - 5*n - m + h. Is n prime?
True
Suppose t = -2*t + 69. Suppose -3*f - 5*s + s = -26, 4*f = -3*s + t. Suppose -l = -f*l + 85. Is l composite?
True
Suppose -8*b + 6*b = -4*v + 8202, -5*b = -5*v + 10240. Is v composite?
False
Let s = 140 - 70. Let b = s + -138. Is 3/3 - 2 - b a prime number?
True
Let x(v) = -4 + 5*v + 6 + 2 - v**2 + 0*v. Let m be x(3). Suppose 0 = 3*g - m + 1. Is g a prime number?
True
Suppose 4*i + i + 290 = 0. Let a = -35 - i. Is a a composite number?
False
Let v be (8/16)/(1/(-22)). Suppose 434 = -2*c + 5*u - 1398, -4*u - 903 = c. Is 4/22 + c/v composite?
False
Suppose l - 6 = -l. Suppose q - 78 = 4*q + l*k, 3*k = -9. Let x = -14 - q. Is x composite?
True
Let j be 8/(-52) + 6/39. Let i = -23 - -42. Let z = i + j. Is z composite?
False
Let o be (3*6/9)/(-2). Let x be 93 + (-3)/(3*o). Suppose -m = m - x. Is m composite?
False
Let g(m) = -m**2 + 12*m + 2. Let a be g(12). Suppose -a*p + 301 = o - 85, 780 = 4*p + 4*o. Is p composite?
False
Suppose -2*w = -6*w + 1636. Is w a prime number?
True
Suppose -u = -5*o - 282, -4*u = -0*o + o - 1149. Is u composite?
True
Let j = 369 + -78. Is j prime?
False
Let l(s) = -s. Let r be l(-2). Suppose 0 = x - 4*v + 9, -r*v + 12 = v. Suppose -190 = -4*n + 2*h, 3*n + x*h - 4*h = 138. Is n composite?
False
Suppose g = 6*g - 405. Let b = g + 13. Is b a composite number?
True
Let u(o) = 5*o**3 + 13 - 2*o**2 - 11 + 2*o - 4*o - 4*o**3. Let y be 4 + (-2)/2 - -1. Is u(y) prime?
False
Let z(v) = -65*v - 5. Let b be z(-4). Suppose 0 = -2*g - g + b. Is g a prime number?
False
Suppose 0 = 7*w - 4*w + 6. Let r(x) = -28*x**3 + x + 1. Is r(w) a composite number?
False
Is 10*((-45)/(-6) - -1) a prime number?
False
Let y be (3/2)/(11/(-1254)). Let v = 320 + y. Is v composite?
False
Let j = 12 - 27. Let k = j + 48. Is k composite?
True
Let s = -11 - -6. Let w(v) = -2*v**3 - 8*v**2 - 4*v + 7. Is w(s) composite?
True
Let z be (-1 - -5)/2*1. Let j be (2/4)/((-7)/(-56)). Suppose -z*p - 59 = -3*q, -4*q - p = j*p - 71. Is q a prime number?
True
Let a(p) be the second derivative of 2*p**3/3 - 5*p**2/2 + 3*p. Let v be (-1)/(-2) - (-55)/10. Is a(v) a composite number?
False
Let p = 1053 + 568. Is p a prime number?
True
Let m(c) = 7*c**2 - c. Let a be m(3). Let t = 93 - a. Is t composite?
True
Suppose -234 - 196 = -2*c. Is c prime?
False
Let s = 110 + -107. Suppose -274 = -4*t - 46. Suppose t = s*w - 2*w. Is w a prime number?
False
Let b(v) = -v - 3. Let n be b(-6). Suppose -138 = -5*w + c + 205, 2*c + 203 = n*w. Is w composite?
True
Let r(s) = 217*s + 27. Let h(z) = 109*z + 13. Let d(b) = -9*h(b) + 4*r(b). Is d(-4) a composite number?
False
Suppose -10*x + 5*x = -1895. Is x a composite number?
False
Let o = 1 - 0. Suppose 4*y = -f + 210 - 21, 0 = -3*y + 2*f + 139. Is y + 1 + (-2)/o a prime number?
False
Suppose p + 5*u = 14, -3*u + 9 = 4*p - 13. Suppose 0 = -p*w + 1205 + 783. Is w a prime number?
False
Is 1/(-2) - 122409/(-14) a composite number?
True
Suppose -4*u = -o - 3*o - 24, o + 4 = -u. Is (u/(-1))/((-3)/111) prime?
True
Let w(s) = -s - 5. Let k be w(-6). Let j be (k - -1)*(-3)/(-2). Suppose f + 5*g = -2*f + 211, 243 = 3*f - j*g. Is f a prime number?
False
Suppose 4*r + k = 1361, -4*k + 148 = r - 211. Is r composite?
True
Let p(w) = 49*w + 1. Let m(s) = 0 - 19*s - 1 - 79*s. Let q(b) = 3*m(b) + 5*p(b). Is q(-3) a composite number?
False
Let y = 10 + -6. Suppose -423 = -y*r - 1983. Let p = 581 + r. Is p prime?
True
Suppose -2*j = 17 + 13. Let s = -2 - -23. Let v = j + s. Is v prime?
False
Suppose -36 = -0*y - 4*y. Let b = -16 + y. Let f(q) = q**3 + 10*q**2 + 11*q + 9. Is f(b) prime?
True
Is 8619/26 + 1/(-2) a prime number?
True
Suppose -4*o + 0*o = -3812. Is o prime?
True
Let y = -168 - -239. Is y a composite number?
False
Suppose -1199 = -17*z - 60. Is z a composite number?
False
Suppose 0 = -s + x + 560, -x - 2231 = 2*s - 6*s. Is s a prime number?
True
Let o(z) = 2*z + 3. Let d be o(-2). Let s be 4/(0 - d/(-5)). Is (-664)/s + (-1)/5 a composite number?
True
Suppose 2*u + 3*h + 46 = -73, -149 = 2*u - 3*h. Let i = 122 + u. Is i composite?
True
Let s(g) = 752*g**3 - g**2 - g + 1. Is s(1) a prime number?
True
Suppose -524 = -4*p - 5*m, m = 5*p - 3*m - 655. Is p composite?
False
Let z(q) = -5*q**3 - q - 1. Let k be z(-1). Suppose 6 = 2*c, -h + 5*c = -k*h + 283. Is h composite?
False
Let j(g) = 4*g**2 + 2*g + 3. Let z = 1 + -5. Is j(z) a composite number?
False
Suppose 2*z = 1901 - 359. Is z prime?
False
Let i = 17 - 89. Is i/(-1) + 0 - -2 a composite number?
True
Suppose 3*t - 63 = -5*b + 415, -5*t - 5*b = -800. Suppose 196 + t = 3*z. Is z a composite number?
True
Suppose 3*g - 6 = 3, -g = -p + 1. Suppose 0 = p*j - 2*f - 30, -j + 40 = j + 4*f. Is j a composite number?
True
Let k(x) = x**3 - 4*x**2 - 10*x + 6. Let u = 3 + -1. Suppose 4*p + u*l = 3*p + 11, p = -4*l + 15. Is k(p) a prime number?
True
Suppose -3*f - 4*q = 1, 3*f - 3*q - 4 = 23. Suppose 0*t + f*t = 385. Is t prime?
False
Let u(r) = -2*r**3 + 12*r**2 - 3*r - 1. Is u(-10) prime?
True
Let i(n) = -194*n - 1. Is i(-13) a prime number?
True
Suppose 0*d + 5*n - 4 = 3*d, 3*d - 8 = -n. Suppose -5*p + 25 = 0, -4*a = p + d*p - 267. Let h = a + -8. Is h a prime number?
False
Suppose 6 = 4*d - d. Suppose 0*g - g - 1 = 0. Is 164 + 2 + g + d composite?
False
Suppose l = -0*l. Let n(k) = -75*k - 4 + 4 - 1 + l. Is n(-2) prime?
True
Suppose 12*g - 3259 = 4313. Is g prime?
True
Is -1203*((-1)/2)/((-6)/(-4)) a prime number?
True
Let d = -586 + 1781. Is d prime?
False
Let a(h) = h**2 - h + 189. Let k be a(0). Let b = k + -115. Is b prime?
False
Suppose -5*r + 2*r = 0. Let j be 46*2 - (r - 1). Is (-2)/(-4) + j/2 a composite number?
False
Suppose -5*m + 10 = 5*q, m - 22 = -5*q - 0*m. Suppose q*p = 265 + 30. Is p a composite number?
False
Let q(g) be the second derivative of -g + 7/2*g**2 - 7/6*g**3 + 0 - 1/3*g**4 + 1/20*g**5. Is q(6) a composite number?
False
Let w = 10 - 15. Let i(o) = o + 7. Let m be i(w). Let q(x) = 11*x - 1. Is q(m) a prime number?
False
Let d(m) = -m**3 - 23*m**2 - 22*m + 43. Is d(-22) composite?
False
Let c(g) = 1840*g**2 + 3*g - 2. Is c(1) a composite number?
True
Is (-4)/(-18) - (-63372)/108 composite?
False
Let y(g) = 1 + g**2 + 0*g - 2*g**2 + 2*g. Let n be y(2). Is (7 + 0)*n + 2 a composite number?
True
Suppose 4*k = 2 + 2. Let f(b) = 54*b + 1. Let i be f(k). Is (0 + 9)*i/15 prime?
False
Let d(z) = -z**3 - 3*z**2 - 2*z + 3. Is d(-7) composite?
True
Suppose -12 = -4*h + 4. Suppose -3*v - 92 = -2*c + 77, -341 = -h*c + 3*v. Suppose -4*l + c = r - 3*r, l - 3*r - 14 = 0. Is l a prime number?
True
Let u = -4 - -5. Is (u - 2) + -1 + 93 composite?
True
Let s(q) = -119*q - 1. Let z = 2 - 3. Let y be s(z). Suppose -2*w = -0*w