 - 3*o, -2*o - 333 = -3*p. Is p composite?
False
Let q(y) = y**2 - 3*y - 5. Suppose 16 = 5*j - 7*j. Is q(j) a prime number?
True
Is 12/(-4) + 3 + -3 - -374 a prime number?
False
Let b(c) = 3*c - 6. Let n(p) = -2*p + 5. Let w(v) = -3*b(v) - 2*n(v). Is w(-6) a composite number?
True
Suppose 3*y - 716 = 2*y. Suppose -s = -5*s + y. Is s a composite number?
False
Let g(m) = -m**2 + 9*m + 10. Let y be g(10). Suppose y*s + 4*h = 2*s - 10, 32 = 4*s + 4*h. Is s a composite number?
False
Let f(l) = 131*l**2 + 2*l + 1. Let w be f(-2). Suppose -5*b + h + w = -2*h, 5*b + 4*h = 507. Is b a prime number?
True
Let y be 80/30*6/8. Suppose 3*x + 45 = 4*t - 147, 5*x = y*t - 82. Is t a prime number?
False
Let d = 0 + 0. Suppose d*i - 2*i = -606. Is (-4)/22 + i/33 prime?
False
Suppose v = -2*p + 2, -4*p - 2 + 6 = 4*v. Is (-75 + p)*(-6)/12 composite?
False
Suppose -i - 3*a = -1 - 361, 0 = -3*i - 3*a + 1116. Is i a prime number?
False
Suppose 4*a + 17 = 5. Let g(q) = q**2 + 2*q. Is g(a) a composite number?
False
Suppose -6 = -2*y - s, 2*s + 0 + 3 = y. Let i = y + 1. Is ((-27)/6)/((-3)/i) a prime number?
False
Suppose -2*f - k - 11 = 0, 2*f - 10 + 3 = 5*k. Let z = 29 - f. Is z a prime number?
False
Is (1479/2 - 1/2)*1 composite?
False
Suppose -4*j + 3*r + 638 = 0, -3*j + 464 = 7*r - 2*r. Let p = j - 71. Is p composite?
True
Suppose -5*q = -3*t - 113, q + 2*q - 2*t - 68 = 0. Is (q/33)/(2/1239) a prime number?
False
Suppose 4*a - 12 = 0, t = -2*t - 3*a + 111. Is t prime?
False
Is 3164/8*6/3 prime?
False
Suppose 2055 = 5*d - 2*x, 4*d - 1626 = -0*x - 2*x. Is d prime?
True
Let m be -3 + 4 - (-8 + -1). Let b be (-28)/((-24)/m - -2). Suppose -t - t = -b. Is t a composite number?
True
Suppose -q - 5*v = -1693, 4*v = 3*q - 2949 - 2054. Is q a prime number?
False
Let p = 0 + -1. Let h be (p - -1)*(3 - 4). Suppose h = -4*b - 2*w + 38, -5*b - 3*w - 53 = -10*b. Is b composite?
True
Suppose o + 4*c = 42, -4*c + c + 126 = 3*o. Let f be -15*(o/(-9) + -2). Let x = f - 49. Is x a composite number?
True
Let v(s) = s**2 - 4*s + 3. Let m be v(3). Suppose 2*j + m*j - 96 = 0. Let l = j + 101. Is l composite?
False
Let w(h) = -13*h. Let j be 268/(-52) - 4/(-26). Is w(j) prime?
False
Let l(p) = 18*p**2 - 3. Let q be l(-4). Suppose -4*o = -t + q - 40, 3*t - 777 = -2*o. Is t a composite number?
False
Let z = 25 - 18. Suppose 629 = 5*t - 3*a, -3*a + z - 1 = 0. Is t composite?
False
Suppose -5*i - 586 = -7*i. Is i a composite number?
False
Let i = 3211 - 1970. Is i prime?
False
Let w = -27 + 119. Let v(c) = -34*c**3 - c**2 - c + 1. Let z be v(1). Let i = z + w. Is i a prime number?
False
Let v = -6 - -37. Suppose v = -2*h + 3*h. Is h prime?
True
Suppose 5*v + 266 = 991. Is v a composite number?
True
Let v = 6 + 2. Let l(a) be the second derivative of 17*a**3/6 - 3*a**2/2 - a. Is l(v) composite?
True
Let l(o) = -3*o**2 - 12*o + 3. Suppose -3*b - 4 = g, -2*b + 7*b - 30 = 2*g. Let v be l(g). Let q = v - -254. Is q prime?
False
Let w = 7 + 0. Is w a prime number?
True
Suppose 4*c + 3*g - 192 = -g, 0 = 4*c + 3*g - 193. Is c prime?
False
Let g be (-1)/(-4) + (-294)/(-8). Let u = -18 + g. Is u prime?
True
Suppose l + 8 = d, 5*d = -l - 3*l + 22. Suppose 38 = -j + d. Let r = -23 - j. Is r a composite number?
True
Let b(c) be the third derivative of c**5/30 - c**4/3 + c**3/2 - 2*c**2. Is b(5) prime?
True
Let t(g) = -2*g - 2. Let f be t(-4). Suppose 2*l = 2 + f. Suppose l*p + 0*p = 308. Is p a prime number?
False
Let r be 2*3/6*-1. Let j(g) = -3*g**3 - g**2 - g - 1. Let b be j(r). Suppose b*p + 5*m - 309 = 0, 0 = 3*p + 3*m - 300 - 168. Is p prime?
True
Suppose y - 333 = -2*y. Suppose n - y = -0*n + 5*t, 2*n + 5*t - 177 = 0. Let o = 23 + n. Is o composite?
True
Let v(x) = -5*x**3 + 6*x**2 + x - 2. Let b be v(-4). Suppose -223 = -3*p + b. Is p prime?
True
Let z = 407 + -244. Is z prime?
True
Suppose 4*w = -12, g - 3*g - 4*w + 2374 = 0. Is g prime?
True
Let h = -35 - -74. Let j = 76 - h. Is j a composite number?
False
Suppose -5*w + 2*q + 0*q = 30, -4*q = 2*w - 12. Let z be ((-6)/9)/(w/186). Suppose 0*f = -f + z. Is f composite?
False
Suppose -241 = -9*h + 362. Is h composite?
False
Let q = -1166 + 2696. Suppose -5*z = -q + 35. Is z a composite number?
True
Is (-2 + (-11)/(-3) - 2)*-111 prime?
True
Suppose 25*i = 29*i - 1212. Is i a prime number?
False
Let b(v) = 11*v**2 + 9*v - 1. Let w(d) = d**3 - 5*d**2 - 7. Let g be w(5). Let f be b(g). Is (-2)/(-9) - f/(-9) a prime number?
True
Suppose 3*j - 9 = 2*o, 5*j - o + 0*o = 15. Suppose t = 3*u - 484, -j*u - t = -3*t - 485. Is u a composite number?
True
Let z = 1 + -4. Let p = -1 - z. Suppose -g - 150 = -2*v + 3*g, -p*v + 118 = 4*g. Is v composite?
False
Let q = 13 - 8. Let p = -5 + q. Suppose p = -3*m - 153 + 438. Is m prime?
False
Let d(m) = m**2 + 11*m + 2. Let x be d(-10). Is -4*22*7/x prime?
False
Suppose 5*j - 9395 = 5*a + 6790, -5*j = 4*a - 16230. Suppose -5*d - 4*g = -g - j, -3*g = 3*d - 1944. Is d composite?
True
Let o = 2 - -1. Suppose -35 = -o*a + 2*a. Is a prime?
False
Let b(k) = -k + 8. Let u be b(6). Suppose 6 = u*a, 7*a - 4*a = -4*d + 25. Suppose -d*n + 255 = n. Is n a prime number?
False
Suppose -4*b + 2*b - 774 = -2*r, -3*r + 1173 = 3*b. Is r prime?
True
Suppose 2*l + 5*z - 329 = 0, 0 = 3*l + l - 3*z - 723. Is l prime?
False
Let h(f) = -f**3 - 9*f**2 - 8*f - 1. Let i be h(-8). Is i/(-4) + 1718/8 a prime number?
False
Suppose -8 = -2*u - 0*u. Let h = -13 + u. Let a = h + 24. Is a a composite number?
True
Is (3297/(-9))/((-9)/27) a composite number?
True
Suppose 3*h - h = 0. Suppose 2*w - 106 = -h*w. Is w a composite number?
False
Let f(d) = 13*d**2 + 2*d + 22. Is f(-9) prime?
False
Let d = 10457 - 5626. Is d prime?
True
Suppose 0 = 2*h - 5*h. Is 3*(2 - h - -3) a prime number?
False
Suppose 1 = 3*v + 3*x - 2, -5*v - x + 21 = 0. Let i be (-18)/v*1520/(-24). Suppose -3*y = y - i. Is y composite?
True
Suppose -5*b - 668 = 467. Let u = 376 + b. Is u a prime number?
True
Let a be (-978)/(-24) - 6/8. Is a/(-6)*(-3)/2 composite?
True
Suppose 2*f = d + 25, 0 = 5*f - 0*d - d - 55. Let p(v) = 3*v - 7. Is p(f) composite?
False
Let a(b) be the third derivative of b**5/10 + b**4/6 + 5*b**3/6 - 5*b**2. Is a(-4) prime?
False
Let w = 2 + 1. Suppose 4*d + 6 = w*d. Is ((-30)/2)/(d/4) composite?
True
Let j(y) = -2*y**2 - 4*y + 5. Let z be j(-5). Let o = -2 - z. Is o composite?
False
Suppose 4*b - s + 5*s = 0, -4*b + 21 = -3*s. Suppose -5*j = 20, -4*j - 765 = -b*p - 194. Is p a composite number?
True
Let o(r) = -2*r**3 + 12*r**2 - 7*r - 4. Let g be o(9). Let c = g + 926. Is c a prime number?
True
Suppose 0*d = 2*d - 874. Is d composite?
True
Suppose -3*v - 5*m = 0, 3*v - 4*m + 0*m = 0. Let w be -3*(-61 + v + -2). Suppose 3*f - 120 = w. Is f a prime number?
True
Let v(j) = -10*j + 9. Let b(l) = 10*l - 10. Let i(x) = -4*b(x) - 5*v(x). Is i(6) prime?
False
Suppose 3 = t - 5*u - 9, 4*u = 3*t - 14. Let i(w) = w**2 + w + 1. Let b be i(-1). Let q = t + b. Is q a prime number?
True
Is (-2)/6 + 15988/21 prime?
True
Suppose s + 3778 = 3*s. Is s composite?
False
Let h(q) = -2*q + 2. Let l be h(-2). Is (l/9)/(2/57) composite?
False
Let u(g) = -13*g - 9. Is u(-6) prime?
False
Suppose 1185 = -0*l + 5*l. Is l prime?
False
Let o(i) = -24*i**3 - 2*i**2 - 2*i - 1. Suppose 2*d = 3 - 5. Is o(d) a prime number?
True
Suppose -5*x + 77 = -203. Let k = 119 - x. Suppose 5*u + 173 - 468 = 5*c, 2*c + k = u. Is u a composite number?
True
Let f = 8 - 6. Suppose 2*l - f*h - 47 = l, 3*l - 171 = -4*h. Is l a composite number?
False
Let m(g) = -g + 2. Let q be m(-5). Suppose b + 5*z + 2 = -0, -2*z = 3*b - q. Suppose -n = b*n - 12. Is n a composite number?
False
Let s(g) = g**2 - 11*g - 29. Is s(18) composite?
False
Let r be (-132)/21 - (-4)/14. Let q be 1016 + 0 + r/3. Is (-3)/(-12) + q/8 prime?
True
Let v(y) = -y - 4. Let z be v(-7). Let w(o) = z*o - 4*o - 6 - 2*o - 2*o. Is w(-4) a prime number?
False
Suppose 6 = 3*x, -4*z - 4*x + 62 = -5*x. Suppose -4205 = -5*o - 5*m, z - 1 = 3*m. Suppose 4*f + 0*f - o = 0. Is f a prime number?
False
Suppose 3*z - t + 4*t = 15, 0 = -3*t + 15. Suppose z*g = 4*g - 232. Is g composite?
True
Suppose -m + 2*m - 3 = 0. Suppose 0 = -4*s + 5*w - 35, -m*s + 13 = -5*s + w. Let k = s - -16. Is k prime?
True
Let o be 1/2*(0 + 0). Suppose o = b + b + 3*w - 169, -b = 2*w - 