0 - 8 = 0. Suppose -a - s = -4. Let v = a - -35. Is v prime?
False
Suppose -5*n = 91 + 149. Let i = 239 + n. Is i prime?
True
Suppose g = 4*g - 1119. Is g a prime number?
True
Let k(l) = -6*l**3 + l**2 + 3*l - 1. Let c be -2*(-3)/(-6) - 2. Let a be k(c). Let i = -50 + a. Is i prime?
False
Suppose -4*s + 119 = -3*s. Is s a composite number?
True
Suppose -12*p + 10*p + 2122 = 0. Is p prime?
True
Let x(w) = w**2 - 6*w - 5. Let h be x(6). Let a(p) = -p. Let g be a(h). Suppose -114 = -g*v - 4. Is v a composite number?
True
Let r = 396 + -269. Is r prime?
True
Let y(u) = -u**3 + 26*u**2 + 5*u + 53. Is y(22) a composite number?
False
Let h(s) = 286*s**2 + s + 2. Is h(-1) composite?
True
Suppose o = -1 + 5. Suppose 4*h + 312 = o*z, 4*z - 5*h - 359 = -46. Is z prime?
False
Let n = 189 + -107. Is n composite?
True
Suppose -z + 726 = -7*x + 2*x, 3*z = x + 2108. Is z prime?
True
Let y be (-16317)/(-27) + 4/6. Let m = -336 + y. Is m a composite number?
False
Let j(i) = -i**3 - 9*i**2 - 8*i + 2. Let g be j(-8). Suppose -g*k - k + 2*z = -183, -9 = 3*z. Is k composite?
False
Suppose 503 = 2*w + 163. Let q = 23 + -17. Suppose -q*r = -11*r + w. Is r prime?
False
Suppose 2*j = w + 2, -4*j + 7 = 5*w + 3. Suppose 2*y = -w*y + 46. Is y composite?
False
Let b be (-3)/(7 + -1)*-6. Suppose -b*p + 1185 = -0*p. Suppose -2*c = -7*c + p. Is c a composite number?
False
Let h be (-2)/7 - 153/(-21). Let j = h + -5. Suppose -j*m = -186 - 248. Is m prime?
False
Let b be (-10)/15*(-42)/2. Let m = b + 75. Is m composite?
False
Let j(c) = 272*c - 7. Is j(3) a prime number?
True
Let t(m) = -m + 295. Is t(0) a prime number?
False
Suppose 4*w = -w. Suppose w*u = 4*u. Suppose 2*t = -4*g + 3*g + 45, g - 2*t - 65 = u. Is g prime?
False
Let j = -9 + 5. Let h be (-2462)/j - (-4)/(-8). Let q = -328 + h. Is q a prime number?
False
Let g = -876 - -2723. Is g a composite number?
False
Let j be (-1041)/(-6) - (-3)/6. Is j*(-3 - (-21)/6) a composite number?
True
Suppose 2*o = -o. Suppose o = 5*d - 257 + 82. Is d a composite number?
True
Let t(k) = 6*k**2 + 6*k - 13. Let l be t(-9). Let s be (6/(-8))/(18/5472). Let p = l + s. Is p composite?
False
Let g be 1/((-2)/(-1*6)). Suppose -8*h + 2385 = -g*h. Suppose -k + h = 2*k. Is k a composite number?
True
Let s = 4527 + -2206. Is s composite?
True
Let w(p) = -2*p + 49. Is w(17) composite?
True
Let r(x) = 128*x**3 - 2*x**2 + 2*x - 1. Is r(1) composite?
False
Suppose 3*r - 2*r = 5. Suppose 5 + 0 = r*n. Is (-2 - -1)/(n/(-43)) composite?
False
Let f(c) = 2*c**3 - 2*c**2 + 1. Let a be f(1). Suppose 0 = -5*p + 3*q + 15, 4*q = 2*p - a - 19. Suppose p = -3*t + 6*t - 30. Is t a composite number?
True
Is 45/6*1910/15 a prime number?
False
Suppose n - 2*n = 0. Suppose n = -3*y + 156 + 378. Suppose 0 = -3*j + y - 13. Is j a composite number?
True
Let j(x) = 2*x**2 - 5*x + 9. Let d(m) = -m**3 + 11*m**2 + 12*m - 10. Let c be d(12). Is j(c) composite?
True
Let f(x) = 2*x**3 + 6*x**2 - x - 1. Is f(8) prime?
True
Suppose -l - 2*w + 6*w = -351, -5*w = -2*l + 687. Is l composite?
False
Let i be (-3)/(-6) - 3/(-2). Is i - -156 - (2 + -5) a prime number?
False
Let c(j) be the second derivative of -j**5/20 - j**4/2 + 5*j**3/6 + 5*j**2/2 + 2*j. Suppose -2*d = -4*d - 3*o - 20, 0 = -d + o - 5. Is c(d) a prime number?
True
Suppose 0 = -5*n + 10*n - 2335. Suppose -1722 = -5*u - n. Is u prime?
True
Suppose 3*f = -58 + 169. Is f composite?
False
Suppose 0 = 5*p - 25, -3026 = -3*y - 2*p - 151. Is y a composite number?
True
Suppose -3*h + 4*x + 332 = 0, 2*h + 2*x = -h + 302. Suppose -o = -2*o + h. Let a = o - 53. Is a a composite number?
True
Suppose 0 = -l - l. Let w = 163 - l. Is w prime?
True
Let u(i) = -960*i**3 + i - 1. Let g be u(1). Is 4/(-14) - g/28 composite?
True
Suppose 3*d = -7*r + 4*r + 1074, -3*d + 1081 = -4*r. Is d a prime number?
True
Let u(s) = -2*s**2 - 13*s + 3. Let w(q) = q**2 + 12*q - 4. Let n(g) = -5*u(g) - 6*w(g). Is n(6) a composite number?
True
Suppose 2*c = 1 + 5. Suppose -q = -4*x - 39, c*x = -2*q - 0*x + 56. Is q a prime number?
True
Let r be ((-12)/10)/(4/(-10)). Let t = -3 + r. Suppose k - 54 - 1 = t. Is k composite?
True
Suppose 4 = 4*l - 0. Suppose m + l = -2*v - 4*m, -3*v + 5*m + 11 = 0. Is (4/(-12))/(v/(-294)) a composite number?
True
Suppose 2*q - 2*g - 1494 = 0, -4*q + 781 = -3*g - 2206. Is q a composite number?
True
Let t = -123 - -200. Let y be 3/21 - (-166)/14. Let n = y + t. Is n a composite number?
False
Suppose 0 = -32*v + 29*v + 1359. Is v a prime number?
False
Let f = -6 - -9. Suppose -3*l - i = -2*l - f, 0 = 3*l + 4*i - 7. Suppose 2*x = 5*g + 47 + 52, -l*g = 3*x - 86. Is x composite?
False
Suppose 0 = -a - 1 - 5. Is (-4)/a - (-228)/9 a prime number?
False
Let q(l) = l**2 - l + 633. Let m be q(0). Suppose 2*d = -d + m. Is d a prime number?
True
Suppose 3*n = q - 50, 2*q - 4*q + 4 = 0. Let t = 51 - n. Is t a composite number?
False
Let n = -11147 - -19218. Is n a prime number?
False
Let y = 1668 + -509. Let q = -536 + y. Let w = q - 414. Is w a composite number?
True
Let s = 943 + -654. Let i be (-1)/((-1)/(558/(-1677)) - 3). Let k = i + s. Is k a prime number?
True
Let x(f) = -7*f + 10. Let p be x(11). Is (2*p)/(-2 - 0) a composite number?
False
Let g = 497 - 120. Is g prime?
False
Let y = -9 - -11. Suppose -4*b + r - 4*r = -2675, -b + y*r = -677. Is b composite?
True
Let g = 78 - 122. Let h = -25 - g. Is h prime?
True
Let l(i) = -i - 1. Let j(z) = -41*z - 2. Let w(p) = -j(p) + 3*l(p). Is w(1) composite?
False
Let d = 20 - 20. Is (d - -67) + (3 - -1) a composite number?
False
Let x = -74 - -93. Is x prime?
True
Let c(n) = 2*n**3 + 3*n**2 + 4. Let y be 1/3 + 16/6. Let i be c(y). Suppose 0 = -0*l - l + i. Is l composite?
True
Let q(g) = g**3 + g**2 - 7*g. Is q(5) prime?
False
Suppose -3*f - 2*f = -7960. Let h = f - 477. Is h a prime number?
False
Suppose -z - 7*v - 5 = -2*v, 3*z = -3*v - 3. Suppose -3*b = -33 - 30. Suppose -b = -z*f - f. Is f a composite number?
True
Let c be 2/4 - 1665/(-6). Suppose -2*s + 270 = -2*q, 6*q - 2*q = 2*s - c. Is s a prime number?
True
Suppose 64 = 5*n - 91. Is 26/6*(n + 2) composite?
True
Let h(j) = -j**2 - 9*j - 8. Suppose 0 = l - 5 + 13. Let k be h(l). Suppose 5*w = -k + 20. Is w a prime number?
False
Is (-406)/21*(-114)/4 composite?
True
Suppose -4*x + 3 = -5. Suppose 6 = 2*y + x. Suppose -r - 26 + 83 = y*s, -3*s - 337 = -5*r. Is r a prime number?
False
Suppose 0 = -2*o + 3*o. Suppose -5 = -i - o. Suppose -4*r - 4*m = -8, 0 = i*r - 3*m - 6 - 20. Is r a prime number?
False
Let l(s) = -s**3 + 17*s**2 + 14*s + 13. Let o be 3/6*(33 + 1). Is l(o) a prime number?
True
Let n = 7 + -4. Suppose 4*t = 5*a + 457, -n*a + 0*a - 3 = 0. Is t composite?
False
Suppose -k + 25 = -4*l + 3, 5*k + 5*l = -15. Suppose -2*n + 12 = k*n. Suppose -5*b = -n*b - 98. Is b a prime number?
False
Let i = 2986 + -1727. Is i prime?
True
Let z(t) = t - 10 - 3*t + t. Let s be z(-8). Is (2 - 80)*1/s a composite number?
True
Let w(r) = 2*r + 12. Let b be w(-5). Is b/(((-6)/1191)/(-1)) a prime number?
True
Let b(h) = -47*h - 17. Let c be b(-14). Suppose k = 4*p - c, -k = 3*p - 229 - 257. Is p a prime number?
False
Let j = 308 + 63. Is j prime?
False
Let q(i) = -3*i + 10. Is q(-3) a composite number?
False
Is (28 + 3)/(1/5) a prime number?
False
Let k(g) = -3*g. Let d(t) = -t**2 + 4*t - 1. Let a be d(4). Let w be k(a). Suppose 30 = x + 4*c, -c + w + 1 = 0. Is x prime?
False
Suppose r - 3*i - 7 = 0, 16 = -2*r - i - 3*i. Is 82 + -2 - (-2)/r composite?
False
Let c(y) = 50*y**2 + 5*y - 2*y - 4 - 10*y**2. Is c(-3) prime?
True
Let i(x) = 49*x + 12. Is i(10) composite?
True
Let h = 79 + -144. Let n = -16 - h. Is n a composite number?
True
Let t(n) = -n**2 - 4*n + 4. Let z be t(-4). Let l(c) = 7*c**2 + 5*c - 5. Is l(z) a composite number?
False
Let b = -7 + 10. Let c(x) be the second derivative of 37*x**3/3 + x**2/2 + 3*x. Is c(b) a composite number?
False
Is 91 - 2 - (14 - 10) a composite number?
True
Suppose -2*o + 0*o - 316 = -4*w, 0 = 2*w - 4*o - 158. Is w a composite number?
False
Suppose 3*w - 67 - 47 = 0. Let q = -19 + 0. Let b = q + w. Is b prime?
True
Let m = 6 + -2. Let o(g) be the first derivative of g**4/4 - g**3 + 2*g**2 + 2*g + 2. Is o(m) a prime number?
False
Suppose 0 = n + 3*n + 5*z + 25, 0 = -3*n + z + 5. Suppose n = -2*q + 73 + 