q = -4*g + 492, k*g + q + 246 = 2*g. Is g a composite number?
True
Let i be (-1086)/3*(-1 - -2). Let k = i - -573. Is k composite?
False
Suppose -5*m = -6*m + 59. Is m composite?
False
Let g be 3 - (2/(-2) - 0). Let z be 2/g - (-6)/(-4). Is (1/(-2))/(z/106) a prime number?
True
Let x be (17 + 2 - 0) + -1. Suppose -5*b - 3*i = -x, -2*i + 0 = -3*b + 7. Suppose 4*q + 2*r = 66, 0 = -b*r - 5 - 10. Is q a prime number?
True
Suppose -o - 3*q = -1076, -2*o = q + 3*q - 2146. Is o a composite number?
True
Suppose o = 5 + 25. Suppose q = -q + o. Is q prime?
False
Let f(t) = 13*t**2 + 2*t - 1. Is f(1) prime?
False
Let p(w) = -w**2 + 3*w + 2. Let u be p(3). Suppose u*o + 3*o = 385. Is o composite?
True
Is 170/(-4)*(1 + -3) a composite number?
True
Let f = 68 - -18. Let x = -8 + 12. Suppose -2*g = x*v - 70, 4*v + v - f = -3*g. Is v a prime number?
True
Let x = -115 + 163. Let i = 11 + x. Is i a prime number?
True
Let p(k) = -k**2 - k + 250. Let b be p(0). Is (b/(-4) + -1)*-2 prime?
True
Let x(a) = 53*a**2 + 4*a - 4. Let i be 0 + (-4 - -5)*3. Is x(i) prime?
False
Let u be 10/(-1 + 3) + -3. Suppose -4*q + u*q + 298 = 0. Is q a prime number?
True
Let g be (-19)/(-4) - 2/(-8). Suppose -3*r - g*c + 22 = 0, 3*r + 2*r = 5*c + 10. Suppose -2*t = -r*y - 50, -3*y = t - 2*y - 37. Is t composite?
True
Suppose 4*u + 6 = u. Is (-4)/8 + (-179)/u a composite number?
False
Let p(y) = 11*y - 3. Let j be (-4)/(-2 - (1 + -1)). Suppose 5*s + 4 = -2*d + 8, -4*d = -j*s + 16. Is p(s) prime?
True
Let z(c) = -2*c + 2267. Is z(0) prime?
True
Let k(j) = 5*j**3 - 21*j**2 + j - 16. Let z(i) = 3*i**3 - 14*i**2 + i - 11. Let d(l) = 5*k(l) - 8*z(l). Let n be d(-6). Suppose 4*o - 394 = -n. Is o composite?
False
Suppose -t - 30 = -4*t. Let w(z) = -z**3 + 11*z**2 - 6*z + 11. Is w(t) composite?
True
Let j(s) = -12*s**3 - 2*s**2 - 6*s - 3. Is j(-5) a composite number?
True
Suppose -g + 663 = 2*k, -k + 2*g - 5*g + 324 = 0. Suppose 0 = -5*m - y - k, m - 4*y - 144 = 3*m. Let x = -35 - m. Is x prime?
True
Suppose -6*n + n = -3815. Is (n/14)/(2/4) a composite number?
False
Let a = -7 + 36. Let q = a + -20. Suppose -q = -2*b + 21. Is b prime?
False
Suppose -2*j = 2*m - 894, 0 = -j + 2*m + 502 - 49. Is j a composite number?
False
Let w(k) = -k + 6. Suppose 3*y - 3 = -o, o - 2*y + 4 - 7 = 0. Let d be w(o). Suppose d - 11 = -2*r. Is r composite?
True
Let p be ((-12)/12)/((-1)/(-2)). Let b = 1 - 2. Is (7 - b) + (p - -4) a composite number?
True
Suppose 169 = 2*q - 3*q. Let v = q - -258. Is v prime?
True
Let b be ((-1)/2)/(1/8). Is (-282)/(-22) + b/(-22) a composite number?
False
Suppose -2*o - 31 = -5. Let w be 3 + -14*o*7. Suppose -3*p + w = 2*p - 4*k, -2*p - 4*k = -522. Is p a composite number?
False
Let h(o) be the second derivative of 0 - 3*o - 5/2*o**3 - 5/2*o**2. Is h(-6) prime?
False
Let w be 84/(-10)*130/(-4). Suppose h + 50 - w = 0. Is h a prime number?
True
Is (5/(-5) - -4) + 64 a prime number?
True
Suppose 0 = -2*x - 57 + 383. Is x a prime number?
True
Let v = 3344 - 1933. Is v a composite number?
True
Let j(u) = -u**2 + 11*u + 8. Let g(w) = -w**2 + 12*w + 9. Let k(y) = -6*g(y) + 7*j(y). Let l be k(4). Suppose l + 132 = 2*a. Is a prime?
False
Let h(k) = 37*k - 35. Is h(18) a prime number?
True
Let b(j) = j - 3*j + 5*j**2 - 5 - j**3 + 2. Let z be b(4). Suppose 2*i = z + 21. Is i a composite number?
False
Suppose z - 3*y - 6 = 0, 3*y = -4*z - 0*y + 54. Is (1 + (-69)/z)*-28 a composite number?
True
Let z(d) = d**3 - 8*d**2 + 6*d + 6. Let c(i) = 5*i**3 - 31*i**2 + 24*i + 25. Let m(l) = 2*c(l) - 9*z(l). Is m(-9) a composite number?
False
Is (-6)/(-21) - (1 - 19146/21) composite?
False
Suppose 8*t = 4*t + 224. Let c = 133 - t. Is c prime?
False
Is 18/36*(2836/(-2))/(-1) prime?
True
Let m = -2 + -3. Let i(r) = 6*r**2 - 5*r + 5. Let j be i(m). Is 2/2 + j/5 prime?
True
Let v be 18/63 + 24/14. Suppose -8 = 4*s, -v*m = -3*s + 181 - 541. Is m a prime number?
False
Suppose 0*p + 2*b = -p + 6, 4*p - 14 = -3*b. Suppose t - 5 = -3*q, -4*q + p*t + 26 = 6. Suppose u = 4*u - 2*h - 361, q*h + 363 = 3*u. Is u a prime number?
False
Let y be ((-14)/4 + 3)*-6. Let u = 1 + 1. Suppose 0 = y*j + u*d - 173, -4*j + 2*d - 41 = -253. Is j a prime number?
False
Suppose l + k - 25 = -4*l, -2*l = -4*k + 12. Suppose l*s - 8 = 5*c, 0*s - 3*s = 2*c + 17. Is (60 - -8)*(-2)/c composite?
True
Is (4*((-121)/2 - -1))/(-2) composite?
True
Let j = 1975 - 282. Is j prime?
True
Let w(y) = 26*y - 7. Let g be w(5). Suppose -n + g = -4*o, 0 = n + 2*o - 5*o - 121. Is n a prime number?
False
Let m(q) = q**3 - q**2 + q - 2. Let k be m(2). Suppose 4*n + r = 122, -4*n + k*r + 6 + 126 = 0. Is n a prime number?
True
Suppose 0 = -3*y + 1429 - 448. Is y a composite number?
True
Suppose m = -3*m - 40. Is (-3905)/m + (-1)/(-2) composite?
True
Suppose -4*u + 8 = -0*u. Is (u - 1)/(3/327) a prime number?
True
Let j be 916/3 - 2/6. Suppose -2*g + 5*m = -139, -4*g - 2*m + j = -3*m. Is g prime?
False
Let u = -84 - -143. Suppose u = -3*w + 4*w. Is w prime?
True
Let o(u) = 34*u**2 + 39. Is o(-5) a composite number?
True
Suppose -5*l = 0, 0 = 3*w - 0*w - 4*l - 195. Is w a composite number?
True
Suppose 2*k - k - 2*q = 592, -4*k - 4*q = -2428. Let l = k + -315. Is l composite?
True
Let t(j) = j**3 + 2*j - 1. Let o be t(1). Suppose 2*u + 12 = 4*k, -u = -o*k - k + 8. Is 34 - (1 - 0) - k a composite number?
False
Let h(y) = y**2 + 3*y - 2. Suppose 7*q + 4 = -2*f + 3*q, -f + 5*q = 2. Let w be h(f). Let p = 37 + w. Is p prime?
False
Let b(y) = -5 - 28*y + 4 + 5. Let x be b(-6). Suppose 3*m = -4*n + 6*m + 338, 0 = 2*n - 3*m - x. Is n a prime number?
True
Suppose 4*f + 2*o - 4*o - 2118 = 0, 5*f + 3*o - 2620 = 0. Is f prime?
False
Let f = 410 - 226. Suppose -4*p = 2*w - f, -2*w = -7*p + 2*p + 230. Is p prime?
False
Let o be (-37)/5 - 3/5. Suppose v - 1 - 3 = 0. Is (-6)/v - 188/o a prime number?
False
Let a(n) = 731*n**2 - 2*n + 1. Is a(2) a prime number?
False
Let f(i) be the second derivative of i**5/20 + i**3/6 + 19*i**2/2 - 6*i. Is f(0) composite?
False
Suppose -3 = 5*z - 18. Suppose 0*w + 4*w = 12. Suppose -z*u = -54 - w. Is u composite?
False
Let y = -65 + 97. Let s be 2/(-6) + y/6. Suppose s*r = -3*z + 44, 5*r = z - 2*z + 48. Is r a prime number?
False
Suppose 5*h + 0*h - 1449 = -3*y, -h = -4*y - 299. Is h a prime number?
False
Let c(k) be the third derivative of -13*k**4/24 - k**3/3 - 7*k**2. Let d = 6 - 9. Is c(d) a prime number?
True
Let n = 571 + -392. Is n a composite number?
False
Let z be 3*4/(-4) + 3. Suppose -3*t = -3*i - 750, z*i + i = -t + 258. Is t a prime number?
False
Suppose -3111 + 9655 = 16*q. Is q a composite number?
False
Is 34/2 + 45/(-15) a composite number?
True
Let i(w) = 39*w + 3. Let z be i(4). Suppose -4*y = -109 - z. Is y a composite number?
False
Let r(c) = -c**3 - 10*c**2 + c + 1. Let k be r(-5). Let u = k - -262. Is u prime?
False
Let z = -16 + -5. Let a = -10 - z. Is (-2)/a + (-9810)/(-110) composite?
False
Suppose -5*d = -224 - 411. Is d a composite number?
False
Suppose 0*g = -2*g + 40. Suppose 0 = 3*x - 8*x - g. Let i(c) = c**3 + 6*c**2 + 4*c + 3. Is i(x) a prime number?
True
Let z(q) = q - 7*q**3 - 4*q + 2 - 3*q**2 - 3. Suppose -2*k + 6*k + 8 = 0. Is z(k) prime?
False
Let u = 934 + -575. Is u prime?
True
Suppose 0 = 3*z - 5*x - 6736, 6*z = 2*z - 5*x + 8923. Is z prime?
True
Let q(a) = a**2 + a - 4. Let n be q(7). Suppose 1307 - n = 5*w. Is w a prime number?
True
Let h(j) = -28*j**3 - 7*j**2 + 6*j - 3. Let f(d) = 9*d**3 + 2*d**2 - 2*d + 1. Let n(m) = -7*f(m) - 2*h(m). Is n(-2) a prime number?
False
Let q(s) = 2*s**2 + 2*s - 2. Let t be q(-2). Let l be 1/(t/(2 + 0)). Is 37 + l + 0 - 3 a prime number?
False
Let y(a) = a. Let p(d) = -3*d - 12. Let b(m) = -p(m) - 4*y(m). Let n be b(7). Is (4 - 6)*-1*n a composite number?
True
Suppose -6*w = -w - 55. Suppose d - 2 = w. Suppose -d - 62 = -4*f + 5*n, -5*f - 4*n + 145 = 0. Is f a composite number?
True
Let c = -421 - -1094. Is c composite?
False
Suppose -3*f + 0*t + 9 = 3*t, 0 = 2*f - 3*t - 21. Let x(s) = 2*s**2 - 2 + s + 1 - f*s. Is x(4) a prime number?
True
Let n(g) = 11*g**2 - 4*g - 35. Is n(-8) a composite number?
False
Let r(y) = 697*y - 13. Is r(2) a prime number?
True
Let y(i) = -i - 3. Let b be y(5). Let l = -4 - b. Suppose -2*q = -5*p - 0*q + 114, -96 = -l*p + 4*q. Is p a pr