 Let p be c(0). Suppose -3*r - 21 = -p*r. Is r a prime number?
True
Suppose 4*m + 717 = 5089. Let i = m - 758. Is i a prime number?
False
Let c(p) = p**2 - 6*p + 1. Let v(x) = 2*x**2 - 11*x + 2. Let f(i) = -11*c(i) + 6*v(i). Is f(6) a composite number?
False
Suppose 2*f = -f - 1419. Let n = -270 - f. Is n a prime number?
False
Let o(b) = -497*b + 12. Is o(-1) composite?
False
Let k(h) = 4*h**2 + 10*h + 1. Suppose -4*b - 8 - 8 = 0. Let p be 2/b*(-28)/(-2). Is k(p) a composite number?
False
Let j = -105 + 520. Is j a composite number?
True
Is 1/(-3) + 0 - (-16492)/93 prime?
False
Let u be 2/(-3) - 797/(-3). Suppose 0 = -3*b + 3*r + 766 + 461, 0 = -3*b - 2*r + 1222. Let o = b - u. Is o composite?
True
Let i = -137 - -429. Suppose 0 = 3*p - i - 65. Is p a prime number?
False
Let h(k) = -k**2 - 8*k - 3. Let n be h(-7). Suppose n*c - 60 = 256. Is c composite?
False
Let j(u) = 6*u + 5. Let y be 30/(-9)*(-3)/2. Is j(y) composite?
True
Let g be (2/3)/((-4)/(-18)). Suppose -f - g*f + 1636 = 0. Is f a prime number?
True
Let p = 5112 - 517. Is p a prime number?
False
Let s(y) = -29*y**3 + 5*y**2 - 3*y - 9. Is s(-4) a composite number?
True
Let f(t) = -t + 0 + 3*t**3 - 9*t**2 + 2 - 5. Let p(o) = o**3 - o - 1. Let r(w) = -f(w) + 2*p(w). Is r(8) prime?
False
Let a be (-2410)/(-8) - (-1)/(-4). Let y = a - 169. Suppose d - 5 = 0, -407 + y = -5*u - 2*d. Is u prime?
True
Let l = -31 + 704. Is l composite?
False
Suppose 0 = -5*n, -3*n - n + 8 = 4*a. Suppose -4*s + w + 32 = -0*s, 0 = a*w - 8. Is s prime?
False
Let i be 3/3*-1 + -100. Let y = 269 + i. Let t = -117 + y. Is t prime?
False
Let q = 3 + -3. Let d(p) = p**2 - p + 4. Let i be d(q). Suppose 2*g - 1 - 40 = -3*x, 5*x + i*g = 71. Is x composite?
False
Suppose 4*y + 67 = 2*m + 3*m, y = 5*m - 73. Suppose -3*t - m = -72. Is t a prime number?
True
Suppose -g + 5672 = 3*s + 4*g, -3*s + 5668 = g. Is s prime?
True
Let n = -3 - 2. Let p(s) = -s - 1. Let m be p(n). Suppose 2*u - 230 = -4*o, 7*u - m*u = 3*o + 372. Is u a prime number?
False
Let x(q) = 7*q**2 + 2*q - 1. Suppose -5 = 4*w + 11. Let k = w - -6. Is x(k) composite?
False
Suppose 0 = q + 2, -4*t + 3*t - 5*q - 4 = 0. Suppose -442 = 4*b - t*b. Is b a prime number?
False
Let g(z) = 2*z - 9. Let p be g(6). Suppose 5*i - 4*l + l = 45, -p*i + 23 = -l. Let h(n) = n**2 + n - 5. Is h(i) a prime number?
True
Suppose -150 = 3*v - 834. Suppose 177 = y - 4*d, v = 2*y + 5*d - 61. Is y a prime number?
True
Suppose -5*q + 24 = -1. Let n = q + -2. Suppose 0*k = -5*k - w + 118, n*k - 66 = w. Is k composite?
False
Suppose 86 + 43 = j - 5*s, -s = 4*j - 474. Is j a composite number?
True
Suppose -v + 4*v = 5*x - 181, -4*v - 4*x - 220 = 0. Let t = v + 128. Is t a prime number?
True
Let p(s) = s**2 + 3*s - 2. Let c be p(-5). Is 2/c - (-2028)/16 prime?
True
Let f(i) = 14*i**2 - 5*i + 2. Let y be f(3). Let j = y + -56. Is j a prime number?
False
Let h(s) = -s**3 + 5*s**2 + s + 1. Let y be h(5). Let j(t) = t**3 - 3*t**2 + 3*t - 6. Let x be j(y). Suppose -z = -x + 41. Is z a composite number?
False
Let z(j) be the first derivative of -j**4/4 - 2*j**3 + 3*j**2/2 - 9*j - 10. Let k = 13 - 20. Is z(k) a prime number?
True
Suppose 4*t = -0*t + 836. Is t a prime number?
False
Let m = -382 - -566. Suppose 3*n + 1 = 4, 4*l = 5*n + 7. Suppose l*u + u = m. Is u composite?
True
Let i be (-1312)/6*(-3)/2. Is 8/8 + 1*i composite?
True
Is (-879)/2*2/(-3) a composite number?
False
Let d(z) = z - 2. Let v be d(4). Suppose v = -k + 2*k. Is (60/k - -2) + 2 a composite number?
True
Let r be (-52)/(-8) - 2/4. Let b(h) = h**3 - 3*h**2 - 4*h - 5. Is b(r) composite?
False
Let y(m) = m**2 + 1. Let l(j) = -5*j**2 + j - 10. Let s(a) = l(a) + 6*y(a). Let q be s(-3). Is (-2 - 2)*(-17)/q composite?
True
Let l = -36 + 58. Is l a prime number?
False
Suppose 5*j - 15 = -2*l + 2*j, -4*l - 2*j = -10. Suppose 0 = 4*r - l*r. Suppose 4*c + 4*z - 5*z - 229 = r, -2*c = -2*z - 110. Is c prime?
False
Let c(g) = -g**3 + 3*g + 3. Let j be c(-2). Suppose -3*v + 3*b + b + 12 = 0, 4*v + j*b = -15. Suppose i + i - 178 = v. Is i prime?
True
Let y(b) = -2*b**2 - b + 2. Let r be -2*(1 - (-4)/(-2)). Let n be y(r). Let t = 3 - n. Is t prime?
True
Let u = 13 - 23. Is (-2)/(-5) + (-846)/u prime?
False
Let a = 82 + 273. Is a prime?
False
Suppose 6*h - 10 = h. Suppose 0*u - h*y = u + 1, -3*u + y = -25. Suppose -3*b - 184 = -u*b. Is b a composite number?
True
Is 189 + 1 + (-1)/(-1) a prime number?
True
Let w = 513 - 104. Let l = w + -260. Is l a prime number?
True
Let d = -286 + 587. Is d composite?
True
Suppose -6*w + 866 = -1666. Is w prime?
False
Suppose 4*i - 1951 = -5*p - 286, 2*p - 4*i - 694 = 0. Is p prime?
True
Suppose -2*k = 4*w - 354, k - 2*k + 3*w + 202 = 0. Is k a prime number?
False
Let u be 2 - 1 - 0 - -4. Let t(b) = 35*b**2 - b - 2. Let m be t(-2). Suppose u*c - c = m. Is c a prime number?
False
Let y(i) = 5*i**3 - 6*i**2 + 5*i - 1. Is y(5) composite?
False
Suppose 2*x + 4*x = 0. Let g be 1 + -2*2/(-2). Suppose x*j = g*j - t - 111, 0 = 4*j + 2*t - 148. Is j a prime number?
True
Let v(u) = -12*u**3 + u**2 + 3*u - 1. Is v(-3) composite?
True
Let l = -1893 + 2656. Suppose 5*i - v - 3711 = 0, 0*i = i + 5*v - l. Is i a prime number?
True
Suppose c = -n, c + n = 2*n + 6. Suppose 4*r + l - 165 = 150, 3 = -c*l. Is r prime?
True
Let w be (-4)/20 - (-302)/10. Suppose o + o = w. Is o a composite number?
True
Let o be (-125)/20 - (-1)/4. Let a(u) = u**3 + 7*u**2 + u + 1. Is a(o) a composite number?
False
Suppose 12*z - 8*z = 1384. Is z a prime number?
False
Let t(y) = -y + 1. Let k(v) = -2*v + 3. Let l(i) = -2*k(i) + 5*t(i). Let c be l(2). Let r(g) = 10*g**2 - 2*g + 1. Is r(c) a prime number?
True
Is 3/2*186/3 a composite number?
True
Suppose 0 = 6*x - 4*x. Let i(d) = d + 58. Is i(x) prime?
False
Let g be ((-91)/52)/(2/(-920)). Suppose -g = -0*o - 5*o. Is o composite?
True
Suppose -165 = -5*d + 365. Let r = 181 - d. Suppose 181 - r = 2*f. Is f composite?
False
Suppose -4*o + 0*o + 183 = r, 2*o = -5*r + 897. Is r a prime number?
True
Suppose 3*t - 5*t = -12. Let l(h) = h**2 + 3*h - 5. Let k be l(t). Suppose 0 = -g - 0*g + k. Is g composite?
True
Suppose -d = -3*v - 26 + 5, -3*d = -9. Let q = -4 - v. Suppose 5*n - 63 = q*n. Is n composite?
True
Let l(h) = -7*h**2 + 2*h - 1. Let q be l(1). Let y(g) = g**3 + 8*g**2 + 5*g + 7. Is y(q) composite?
True
Let o(k) = -4*k + 6. Let q(d) = -4*d - 1. Let v be q(1). Let t be o(v). Suppose 0 = -m + t - 0. Is m composite?
True
Is (-2671)/(-7) - (-12)/28 composite?
True
Let u(m) = 297*m - 4. Is u(5) prime?
True
Suppose 4*i - v = 374, 2*i + 4*v = -0*v + 196. Suppose -w = w - i. Is w composite?
False
Let a(b) = -b**3 + 8*b**2 + 5*b - 7. Let l be a(7). Let g = l + -52. Is g a composite number?
True
Let r = -291 + 670. Is r a composite number?
False
Suppose 43*z = 48*z - 425. Is z a prime number?
False
Let j(z) = -3*z**2 - z**3 + 9*z + 0*z**2 + 10 - 6*z**2. Let x(i) = -i**3 - 9*i**2 + 9*i + 9. Let r(w) = 5*j(w) - 6*x(w). Is r(-7) composite?
False
Suppose -4*g - 240 = -g. Is 3 + (-10)/4*g a prime number?
False
Suppose -5*p + 639 = -0*s + s, 5*p = -5*s + 3235. Is s a composite number?
True
Suppose 0 = -0*g + 8*g - 6352. Is g a composite number?
True
Let p(w) = 13*w + 6*w + 5*w + 7. Is p(5) composite?
False
Let t(o) = -o - 4. Let d be t(-7). Suppose 6 = 3*g - 2*b - 2, d*g - 5 = -b. Suppose 58 = 5*a - l, -a - 3*a - g*l + 38 = 0. Is a a prime number?
True
Suppose n + 2*n = 2*o + 13, -4*n + 18 = -2*o. Suppose 3*i - 7 = -x, -2*i - 4*x = -n*x + 2. Is 4*(i - (-3)/6) a prime number?
False
Let m = 37 + -2. Let n = m + 50. Is n a prime number?
False
Let x be (104/65)/(4/3490). Let t = x + -983. Is t composite?
True
Let g be (-1)/((-2)/(-10)) - -2. Let u be g/(-3) + -1 + 2. Suppose u*y + 316 = 6*y. Is y prime?
True
Let y(f) = f**2 + f - 4. Let i be y(-3). Suppose 5*d = i*d + 39. Is d prime?
True
Let q = 90 - 13. Suppose -2*l - 3*l + w = -194, 0 = 2*l - w - q. Is l a composite number?
True
Let v = -117 + 28. Let l = v - -42. Let r = 66 + l. Is r a composite number?
False
Is (4/(-6))/(10/(-3165)) prime?
True
Let t = -71 - -102. Is t composite?
False
Let j be (2 + -4)/(2/(-3)). Suppose -2*h - j = -17. Is h a prime number?
True
Suppose v - 3*v - 268 = 2*b, 8 = 2*b. Is (2/4)/((-3)/v) prime?
True
Let y(n) = 3*n**2 + 2*n - 7