 = 5*u - 3990. Suppose 2*r - 319 = -h, r - 6*r = 3*h - t. Is r prime?
False
Let l(z) = 27*z**2 - 4*z - 4. Is l(-7) prime?
False
Let f = 312 - 173. Is f composite?
False
Let u = 3 + -8. Let y(i) = -5*i + 2. Let z be y(u). Let l = z - 14. Is l a composite number?
False
Suppose -2*c + 4 = -c. Suppose 0 = 3*p + c*f - 757 - 408, 4*p + 5*f = 1555. Is p composite?
True
Suppose 2*c - 6 = -0*c. Is 419*1/(c + -2) a prime number?
True
Suppose 20 = -5*f + 5*p, 12 = -f + p + 4*p. Let h be (f/5)/(1/5). Let l = 17 + h. Is l prime?
False
Let f(k) = k + 6. Let d be (-4)/(-6)*15/2. Is f(d) composite?
False
Let c(j) = 222*j**3 + 2*j**2 + 2*j - 3. Let l(p) = -6*p + 10 + 4 - 4 - 7*p**2 - 666*p**3. Let m(f) = 7*c(f) + 2*l(f). Is m(1) composite?
False
Suppose 2*s = 0, 2*s + 6 = 3*d + s. Let c be -1 - -1 - d - 0. Is 19*(c - (-2 - 1)) composite?
False
Let d = 550 + 217. Is d a composite number?
True
Let z be (-8 - 1)*(-1)/3. Suppose 3*r + w - 927 = 0, 3*r - z*w - 2*w = 927. Is r a prime number?
False
Is (-3)/(-6)*(2 - -620) prime?
True
Let n(y) = y**3 - 6*y**2 + 3*y - 3. Let m be ((-15)/(-3))/(3 - 2). Suppose -m*v + 12 = -3*v. Is n(v) composite?
True
Let p(g) = 28*g + 17. Is p(6) a prime number?
False
Let d(v) = -v**3 - 3*v**2 - 2*v - 2. Let s be d(-3). Suppose -s*y + 369 = 3*z, 0 = 3*z + y + 199 - 559. Is z a prime number?
False
Suppose -3*q + 570 = 3*l, 4*q - 771 = -5*l + 180. Is l prime?
True
Suppose 8*i + 12 = 11*i. Suppose 4*k - k + i*l = 1277, -5*k = l - 2100. Is k prime?
True
Suppose -3*x + 5*i = -367, -3*x - 4*i - i + 347 = 0. Is x prime?
False
Suppose r - 330 = -2*r. Suppose i - 3*t + 5*t = 60, r = 2*i - t. Suppose 2*d - i = -4*u - 2*d, 3*u - 3*d = 42. Is u a composite number?
True
Let s be (8/20)/((-2)/(-10)). Let i be 1/(-1) - (s - 3). Suppose o = 2*l - 129, i = -2*l + 3*o + 82 + 37. Is l a prime number?
True
Is ((-2)/6 - -1)/((-30)/(-9495)) prime?
True
Let h(t) be the first derivative of -t**3/3 + 3*t**2/2 + 6*t + 1. Let b be h(5). Is (147/(-12) - 1)*b a composite number?
False
Let u(r) = r**2 - 4*r. Let w be u(-6). Let g = -23 + w. Is g prime?
True
Let i be 2 + 3 + -3 + -2. Suppose i = -5*a - 3*g + 32, 0*g + 4 = -3*a + 4*g. Suppose -7 = a*z - 91. Is z a composite number?
True
Let v be (10/(-6))/((-2)/6). Let q(z) = 4*z + 2. Is q(v) a prime number?
False
Let u = -29 + 82. Is u composite?
False
Let p = 606 - -545. Is p composite?
False
Let l be (1 + 0 - 1) + 4. Let i(a) = a + 21*a - 3 + 4. Is i(l) composite?
False
Let s(y) = 30*y**2 + y - 5. Is s(4) a prime number?
True
Let c(y) = -2*y**2. Let b be c(1). Suppose 16 - 52 = -3*g. Let u = b + g. Is u a composite number?
True
Suppose 2*h - 371 = 1825. Let u = -649 + h. Is u a composite number?
False
Let v = 32 - 133. Let y = 224 + v. Is y prime?
False
Let w(c) = 3*c**2 + 3*c - 5. Is w(13) a composite number?
False
Let z(o) = 30*o**2 + 1. Is z(2) composite?
True
Suppose 8 = j + 3*j. Suppose -4*x = j*b - 16, 6*b - b = -5*x + 20. Suppose b = -3*m - 2 + 65. Is m composite?
True
Suppose 20 = -0*j + 5*j. Let g(u) = 51*u + 5. Is g(j) composite?
True
Suppose 5*h - f - f = -20, h = 3*f - 4. Let y = -1 - h. Suppose -2*r + 19 = 5*k - 17, 4*k + 31 = y*r. Is r a composite number?
False
Let d be (-2130)/(-25) - (-3)/(-15). Let k = d - -2. Is k composite?
True
Let d = -104 + 49. Let c = d - -86. Is c a prime number?
True
Let p(v) = 12*v**2 - 2*v + 2. Let q be p(-3). Let a be q/(-10)*(2 + -12). Let t = -81 + a. Is t a prime number?
False
Let r(p) = -4*p**3 + 9*p**2 - 2*p + 1. Let y(g) = -11*g**3 + 27*g**2 - 7*g + 3. Let x(d) = 8*r(d) - 3*y(d). Let h be 17 + -8 + 1 + 0. Is x(h) composite?
False
Let c = -1003 + 1704. Is c prime?
True
Suppose a + 6 - 21 = -3*d, d = 5*a - 11. Suppose -2*l - 112 = -d*g + 2*g, -3*l - 226 = -4*g. Is g composite?
True
Let o = 966 + -557. Is o composite?
False
Let y(s) = -4 + 5*s + 4*s + 5*s + 31*s. Is y(3) a composite number?
False
Suppose 0 = -t + 79 + 52. Suppose r - t = 23. Suppose 3*c - 319 = -4*m, m - 4*c = -m + r. Is m a composite number?
False
Let g be (-2)/(-6) - 165/9. Let x(q) = -q + 1. Let i be x(-1). Is 3/(g/i)*-57 a composite number?
False
Let z = -2 + 5. Suppose -z*y = -0*y - 489. Is y prime?
True
Suppose 2659 = 2*k + 245. Suppose -3*g + k = -50. Is g a prime number?
True
Let k(w) = -30*w + 1. Is k(-1) a prime number?
True
Suppose 5*s = 342 + 143. Is s prime?
True
Suppose 6 = -3*k, 4*r - 24 = 2*k + 2*k. Suppose -3*d + 246 = f, -103 - 226 = -r*d - f. Is d a prime number?
True
Let u(n) be the first derivative of -56*n**2 + n - 1. Let x = -7 - -6. Is u(x) prime?
True
Let z(j) = -66*j**3 - 2*j**2 + 3*j + 3. Is z(-2) prime?
False
Let j(n) = -4*n**3 + 7*n**2 - 6*n - n**2 + 2*n**3 + 3*n**3 - 5. Is j(-6) composite?
False
Suppose -5*w = -22 + 7. Suppose -8 = -4*j, -z = -w*z - j + 400. Is z a composite number?
False
Let z(n) = 66*n**2 - 2*n - 1. Is z(-1) a composite number?
False
Let m = -16 + 6. Is (42/35)/((-4)/m) composite?
False
Let n = 25 + -10. Is n prime?
False
Suppose -3*z + 2*z = 15. Suppose 4*g - 30 = 5*g. Let p = z - g. Is p a composite number?
True
Suppose 0*g - 907 = -g. Is g prime?
True
Suppose 283 = -3*c + 3*l + 2317, -5*l = 25. Is c composite?
False
Suppose -81 = -2*f + 215. Suppose 3*v - f = -v. Is v a composite number?
False
Let g(p) = 16*p**2 + 1. Is g(-2) prime?
False
Let y be ((-6)/(-3))/(2/4). Suppose 0 = o + y*o - 55. Is o composite?
False
Let j be 4 + -2 + 1 + 1. Suppose -172 = -4*o + j*m, -3*m - 32 - 5 = -o. Is o prime?
False
Suppose -2*s + s = 4. Let w be (3 + 1)*35/s. Let d = w + 58. Is d prime?
True
Suppose 0 = -4*d - 6 - 10. Let s(n) = -n**2 - 6*n - 1. Is s(d) a prime number?
True
Let f(g) = g**3 - 7*g**2 + 7*g - 1. Let p be f(6). Let o be 1 + 1 + (3 - p). Suppose o = 5*v - 838 + 63. Is v a composite number?
True
Suppose 0 = 4*l + l + 35. Let k(m) = -m - 3. Let u be k(l). Suppose -4*w = n - 585, 2*w - u*n - 705 = -3*w. Is w prime?
False
Let m(u) = -u**3 + 7*u**2 - 6*u + 2. Let q be m(6). Suppose -2*z + 5*c = -77 - 71, 5*z = -q*c + 399. Is z a composite number?
False
Let c be 23 + (2 - 0 - 2). Suppose -f - 5*x - 8 = 0, 2*x - 18 = -5*f + 6*x. Suppose f*m = c + 75. Is m prime?
False
Let h be 0/3 - (1 + -1). Suppose 4*w - 1169 + 93 = h. Is w prime?
True
Suppose -p - 3 = -i, i - 4 = -1. Suppose -r + 40 = -p*r. Let y = -3 + r. Is y a composite number?
False
Suppose 3*h - 278 = -d, -d + 5*h - 127 + 445 = 0. Is d composite?
False
Suppose 2*n = -179 + 681. Is n a composite number?
False
Let z be 20/(-30) - (-40)/(-3). Let w(l) = 4*l**2 - 2*l - 15. Is w(z) composite?
False
Suppose 2*g = -5*a - 15, -g - 2*a - 1 = 4. Suppose g*i + p - 395 = -4*p, 2*p = -i + 79. Is i prime?
True
Let b = 120 + -67. Is b composite?
False
Let w = 7 + 93. Let d = w + -63. Is d prime?
True
Suppose -2*a = 4*x - 7378, 0*x + 9206 = 5*x - 3*a. Is x a prime number?
False
Suppose -n = -5*y - 107, -5*y + 78 = n + 1. Suppose -5*h = -20, -r - 3*h - n = -3*r. Is ((-1)/2)/((-2)/r) prime?
True
Let u = -23 + 8. Let p be (-20)/u*1*3. Suppose 7 + 65 = 2*d + z, p*z + 8 = 0. Is d a composite number?
False
Let y be 202/5 - (-6)/(-15). Let s = 73 - y. Is s a prime number?
False
Let j(f) = -f**2 + 5 - 3 - 3*f + 2*f**2. Let q be j(3). Suppose -2*a + 152 = q*a. Is a composite?
True
Suppose 3*z - 2 = -8. Let c = z + 9. Is c a composite number?
False
Suppose -s + 5*c - c = -1529, -2*s + 2*c + 3040 = 0. Is s composite?
True
Suppose -3*s - s - b + 18 = 0, 3*s - 4 = 4*b. Suppose -5*g = -s*g - 23. Suppose 0 = 3*o - 136 - g. Is o composite?
False
Suppose -5*r + 160 = -2*o, -5*o - 64 = -4*r + 2*r. Let j be (-3)/2*r/6. Let g = 111 - j. Is g composite?
True
Let w = 781 - 494. Is w composite?
True
Suppose 3 = s - 0. Suppose 2*o + 0*o - 18 = 2*l, -3*o - 5 = 5*l. Suppose -5*u + 5*m + 60 = 0, 6*m - s*m = o*u - 54. Is u prime?
False
Let h(b) = b**3 + 11*b**2 - 11*b - 4. Is h(5) prime?
False
Let i = -4 + 13. Is i a composite number?
True
Let b(c) = -6*c**2 + 10*c - 1. Let g be b(-8). Let m = g - -663. Suppose -4*k = -i - 390, 0 = -5*k + 3*i + 293 + m. Is k a composite number?
False
Suppose 0 = 2*g - 255 - 1103. Is g a prime number?
False
Let a = -2 + 26. Suppose 3*v - 4*v + a = 0. Suppose 0 = 3*o - 4*o - 5*z + v, -2*o + 2*z = -36. Is o composite?
False
Let a = 1194 - 583. Is a prime?
False
Is 2/(1/(-4)*(-24)/69) composite?
False
Is ((-