 1 + (-1*1832)/(-2) a prime number?
False
Let i = 29 - 9. Suppose -3*f + 23 = -2*w - 7, -5*f + 50 = 3*w. Let y = i - f. Is y prime?
False
Is 3650/18 - (-4)/18 a prime number?
False
Let w be 3 + 2 - (0 + 0). Suppose -w*p + 836 = -p. Is p composite?
True
Suppose -4*j = 3*f - 2435, 0*j + 599 = j + 4*f. Let g = j + -420. Is g a prime number?
True
Let l(b) = b**3 + 5*b**2 + 5. Let m be l(-5). Suppose -316 = -m*p + p. Is p a composite number?
False
Let y(n) = -84*n**3 + 2*n**2 + n. Let w be y(-1). Suppose 272 = 3*x - w. Is x a composite number?
True
Suppose 5*d = -4*o - 801, 3*d = -2*o + d - 400. Let z = o + 288. Is z composite?
False
Let i = 0 - -4. Let a(d) = 2*d**3 - 4*d**2 + 4*d - 5. Let x be a(i). Suppose 3*m + 181 + x = 4*p, m = 2*p - 130. Is p a composite number?
False
Is (-5753)/(-5) - 10/(-25) a prime number?
True
Let l be (-1 + 1)*(2 + -3). Suppose 0*w + w = l. Is (w - 0 - 0) + 37 a composite number?
False
Is (4 + (-849)/(-9))*3 composite?
True
Let c(o) = 8*o - 1. Let l be c(-1). Let f(t) = -4 + 6*t**2 + 9*t - 3*t**2 - t**2. Is f(l) composite?
True
Is (-8454)/9*-1*6/4 a prime number?
True
Let j(z) = z**3 - z**2 - 3*z - 5. Suppose 0 = 5*m - 4*d, 0*m + 5*m - 10 = 2*d. Is j(m) prime?
True
Let m be (2*-2)/(2/(-83)). Suppose 2*r - m = -4*l, 0 = r - 2 + 5. Let j = l - 9. Is j a prime number?
False
Let d(u) = 13*u**2 + 11 + u**3 - 5*u + 0*u**3 + 2*u + 11. Is d(-9) prime?
True
Suppose 6*z - z = 10. Suppose 2*h - 2*b = 5*h - 332, -h - b + 112 = 0. Is (-1*z + h)/2 a prime number?
True
Let c be (80/(-24))/(4/1170). Let a = c - -1420. Is a a prime number?
False
Let f(n) = -n**2. Let t be f(0). Let u be (-1 + t)*(3 - -264). Is 1/((-3)/u) + 0 a prime number?
True
Let w(k) = 3*k**2 - 3*k - 3. Let y(g) = 4*g - 2. Let p be y(-2). Let t(j) = j**2 + 11*j + 8. Let s be t(p). Is w(s) a prime number?
False
Let m(g) = -77*g - 15. Is m(-4) prime?
True
Let v(h) = 55*h - 2. Let u(x) be the third derivative of -x**5/60 + x**4/4 - 5*x**3/6 - 4*x**2. Let j be u(4). Is v(j) a prime number?
True
Let r(v) = v**2 + 9*v - 6. Let j be r(-10). Suppose -g - j*g = -165. Is g prime?
False
Suppose w + 13 = -3*x - 4, -x + 2*w - 8 = 0. Let m(f) = -28*f - 1. Is m(x) prime?
True
Is (-1)/(-5) + (-5346)/(-45) composite?
True
Suppose -3*q + 10 = 4*z, -4*z - 10 = -2*q - 5*z. Is ((-3)/q)/(2/(-596)) prime?
True
Let c = 638 - -1519. Is c a prime number?
False
Let y = 18 - 16. Suppose 4*f = -f. Suppose 3*g + 3*o - 9 = f, 24 = 3*g - 0*o - y*o. Is g prime?
False
Suppose 5*h - 4*v - 2255 = 0, -2*h + h - 5*v + 422 = 0. Is h composite?
True
Let t(b) = b**2 + b - 5. Suppose -3*q + 100 = -4*j, -4*q + 5*j = -33 - 101. Suppose -q + 15 = 3*n. Is t(n) a composite number?
False
Suppose 2*y = 4*y - 556. Is y composite?
True
Let a = 505 + -348. Is a a composite number?
False
Let y(s) = -s**2 + 6*s + 9. Suppose -2*x + 17 = 5*p - 2*p, 5*x - p - 34 = 0. Let k be y(x). Suppose k*a - 2 - 16 = 0. Is a a prime number?
False
Let x(q) = q - 6. Let l be x(9). Suppose 0 = l*j - 5*u - 0*u - 506, -2*u = 3*j - 478. Suppose -2*d = -j - 104. Is d a prime number?
False
Let c = -68 - -133. Is (c - 1) + -6 + 4 a prime number?
False
Let t be 2/(-1 + 3) - -219. Suppose -655 = -6*q + q. Let z = t - q. Is z a composite number?
False
Let o(s) = -s**2 - 7*s + 8. Suppose 0 = -5*q - 5*l - 0 - 50, 0 = -3*q + 4*l - 16. Let w be o(q). Suppose 2*b - 4*b + 50 = w. Is b prime?
False
Let f be (-1*10)/((-3)/6). Let j = 123 - f. Is j composite?
False
Suppose -4*s + 2*h = -22, 10*s = 5*s - h + 10. Suppose 308 = p + s*p. Is p a composite number?
True
Let r = 2 + 1. Suppose 0 = y - r*y + 340. Suppose 4*t = 2*m - y, -3 = t + 1. Is m prime?
False
Suppose 85 = -q - 4*q. Let j = 3 - q. Suppose -v - j = -133. Is v a composite number?
False
Let g = 102 + -8. Let c = 163 - g. Is c a prime number?
False
Suppose 0 = 2*a - 3*a + 83. Is a composite?
False
Suppose -2*t + a + 3 = 1, 0 = -t - 4*a - 17. Is -6 - -4 - 53/t prime?
False
Suppose 5*f - 5*v = 490, 4*f - 2*v = 324 + 64. Let d = -63 + f. Is d a composite number?
True
Let d = 10 - 5. Suppose -f = -3*m + 10, 4*m = -d*f + f + 24. Suppose 2*q = m*u + 84, -q + 4*u = 4*q - 186. Is q a composite number?
True
Let d = -5 - -5. Suppose -12 = -3*n - 0*v - v, d = 3*n - 2*v - 3. Is n a prime number?
True
Let x(g) = -g + 5. Let b be x(0). Suppose b*q = -2*h + 4, -3*h - 2*h = 3*q - 10. Is 15/h*(-6)/(-3) prime?
False
Let y be 38/14 - 8/(-28). Suppose -1 = z - y*r, 4*z + 32 = 2*z - 4*r. Is (-3)/(-3) + z/(-2) composite?
True
Let k = 326 + -59. Is k a composite number?
True
Suppose 6*c - c = -2*x, -3*c - 16 = -2*x. Suppose 162 = 2*i - x*f, -2*i - f + 67 = -i. Is i prime?
True
Let x be (0 - -3)*(4 - 3). Let a = 30 + x. Is a composite?
True
Let g = 9 + -8. Is (g + 2)*(-5570)/(-30) composite?
False
Let y(v) = 11*v - 1 + 14*v - 9*v. Is y(5) a composite number?
False
Let u be (-3 - (-1 - -1)) + 19. Let j be (-2 - u)*8/(-12). Is (-1500)/(-21) - j/28 composite?
False
Suppose f = o + 21, -5*o + 36 = 3*f - 35. Is f a composite number?
True
Let i be ((-2)/1 + -5)*-1. Suppose i + 1 = 4*t. Suppose -28 = -b - 2*l + 25, -4*b + 182 = t*l. Is b a composite number?
False
Suppose -3*b = -4*b + 266. Is b/4 - 1/(-2) a composite number?
False
Let l = 439 + -144. Is l a prime number?
False
Suppose -4*x + 5499 = 5*x. Is x a prime number?
False
Let j(c) = -c**2 - 6*c - 1. Let s be j(10). Let h = 92 - s. Is h composite?
True
Let q(x) = -x + 8. Let l = 8 + -6. Suppose 3*d - 2*o + 8 = 0, l*o - 7*o = -3*d + 7. Is q(d) prime?
False
Let z = -722 + 115. Let k = z - -902. Is k a composite number?
True
Let t(c) = 3*c**2 - 12*c - 4. Let m(a) = -13*a**2 + 49*a + 15. Let x(v) = -2*m(v) - 9*t(v). Is x(10) composite?
True
Let i(y) = -y**3 - 7*y**2 + 7*y - 4. Let d be i(-8). Suppose -1413 + 201 = -d*p. Is p a prime number?
False
Is 2/((-2)/(-13))*4074/42 a composite number?
True
Let n(b) = 308*b - 5. Is n(3) prime?
True
Let q be 0/12 + (4 - 0). Suppose 0*w = -4*j + 2*w + 1580, 1975 = 5*j - q*w. Is j a composite number?
True
Let a(i) = -i + 108. Let y be a(0). Suppose 3*q = 3*u - 0*u + 84, -4*u + 2*q = y. Let s = 23 - u. Is s prime?
False
Suppose 13 = i - 5*i + 3*j, i - 4*j = 0. Is 2/i - 43/(-2) composite?
True
Let w = 1481 - 986. Suppose w = 2*v + 49. Is v composite?
False
Suppose -4*n + 14205 = 4393. Is n a prime number?
False
Let c = 103 - -276. Is c composite?
False
Let k(s) = 6*s**3 - s + 1. Is k(4) a prime number?
False
Let n(k) = -k - 4. Let o be n(-6). Suppose o*s + 3*s = 5. Is -25*(-2 - (s + -2)) a prime number?
False
Suppose -9 = -y + 3*c, -3*y + 2*c + 0*c + 6 = 0. Suppose -3*g + 7*g = 16. Suppose y = 2*n + 5*z - 43, 5*n = g*z + 166 + 24. Is n a composite number?
True
Suppose q + 18 = 5*p, -5*q = -5*p + 37 - 7. Suppose 9 = p*g - 0*g. Is 307/4 + g/12 prime?
False
Let n(j) = 9*j**2 - j - 1. Let b(z) = z**3 + 7*z**2 + 6*z + 4. Let f be b(-6). Suppose -3*q - 3*w - 9 = 0, 2 - 12 = 2*q + f*w. Is n(q) composite?
True
Let q(f) = -2*f**2 - f + 101. Let m be q(0). Let c = m + 93. Is c composite?
True
Let s = 8 - -16. Suppose 5*c - 46 = s. Let l = 28 - c. Is l a prime number?
False
Let j(s) = s**2 - 4*s - 12. Let r be (-14)/(-6) + (-2)/6. Suppose 0 = -5*v + 25, r*m + 2*m - 11 = 5*v. Is j(m) a prime number?
False
Suppose 4071 + 1047 = 3*z. Is z prime?
False
Let x be -1 + (-3)/((-3)/2). Is (x - (-6)/(-3))*-7 a composite number?
False
Let w be 3 + -2 + (0 - 1). Suppose -3*q = -w*q. Suppose o + 4*o + 2*t = 183, -4*t - 4 = q. Is o a composite number?
False
Suppose -3*u + 5*u = -6. Let z(n) = n**2 + 2*n - 2. Let w(r) = r**2 + 4*r - 4. Let g(i) = -2*w(i) + 5*z(i). Is g(u) composite?
False
Let l = -39 - -90. Is l a prime number?
False
Let o = 935 - 348. Is o composite?
False
Suppose 2*t - 23 = -59. Let x be (17 + 2/(-2))*2. Let s = x + t. Is s a composite number?
True
Let b be -2 + (3 - 2)*-122. Let u = 39 - b. Is u a composite number?
False
Let h = -1 - -2. Let w(n) = h + 6 + 9*n**2 + n**3 + 4. Is w(-9) a prime number?
True
Let j be ((-8)/5)/((-8)/20). Suppose -178 = -2*b - v, -j*b + 6*v + 356 = 4*v. Is b a prime number?
True
Let w(o) be the third derivative of 7*o**5/60 - o**4/8 - o**3/2 + o**2. Is w(-3) a composite number?
True
Let r = 272 - 87. Is r a composite number?
True
Let a(m) be the first derivative of 5*m**3/3 + 3*m**2/2 + 11*m + 3. Let z(h) = -9*h