s y prime?
True
Suppose 30 - 261 = -q + 2*p, 0 = 5*q - 3*p - 1127. Is q a composite number?
False
Is (-373)/3*(-24)/8 a prime number?
True
Let d(a) = a**3 - 14*a**2 + 10*a - 21. Is d(14) a prime number?
False
Let f(h) = -4*h**3 - 5*h**2 - 3*h - 3. Let z be f(-3). Suppose 4*d + 171 = 3*l, d - z = -2*l + 34. Is l composite?
False
Let y(p) = -1 + 11 - 2*p - 3 + p**2. Is y(-10) composite?
False
Is (-6 - 197)*(1 - 2) composite?
True
Suppose 12*n = 9*n + 42. Is n prime?
False
Suppose -2*t + 55 = -t. Is t prime?
False
Is (-38375)/(-25)*(0 - -1) a prime number?
False
Let s = -1 + -2. Let z be (-3 - 10)*(-2 - s). Is (-12)/(-30) - z/5 prime?
True
Let a be (-9)/(-2) - (-6)/4. Suppose 3*w = -0*x + x + 2, -2*w = 4*x - a. Is (-5 + 36)*(x + 0) composite?
False
Suppose -4 = -4*v - 3*u + u, -v = 4*u + 6. Suppose 3*n = v*j + 633, -7*n = -2*n + 3*j - 1055. Is n a composite number?
False
Is (3 - 0) + (-132)/(-3) composite?
False
Let c be (-7)/2 + 4/8. Is (222/(-3))/(c - -1) prime?
True
Is 2 + 1053 - 3 - 3 a composite number?
False
Is ((-1)/(-2))/((-9)/(-2286)) composite?
False
Suppose 3*a - 7*a = -200. Let k = 19 + a. Is k composite?
True
Let u be 8 - (3 + -3)/3. Suppose -n + u = 3*n. Suppose -163 = -3*w + 2*s, 0*w - 108 = -2*w + n*s. Is w a prime number?
False
Suppose 0 = 12*t - 11*t - 251. Is t composite?
False
Let l = 245 + -141. Let x = 68 - l. Let n = -21 - x. Is n composite?
True
Let c = 3108 - 1451. Is c composite?
False
Let s be (32/3)/4*-15. Let t be ((-1)/(-2))/((-1)/(-124)). Let g = t + s. Is g a prime number?
False
Suppose 3501 - 311 = 5*d. Let v = 219 + 216. Let g = d - v. Is g a prime number?
False
Suppose -f + 1187 = -5*a, 2276 = 4*f + 4*a - 2472. Is f a composite number?
False
Is (-4)/(-14) + 94568/56 a prime number?
False
Is 1834/6*(1 - -2) composite?
True
Suppose 0 = -5*c + 4*l - 40 + 367, -2*l = 5*c - 339. Is c composite?
False
Suppose -5*w + 4*q = 29, -3*q - 1 = 2*w + 6. Let z(n) be the first derivative of -n**3/3 - 6*n**2 - 2*n - 7. Is z(w) a composite number?
True
Let p = 333 + 112. Is p composite?
True
Let x(o) = -85*o**2 - 3*o + 1. Let t be x(2). Is (1 - 3)/(10/t) prime?
False
Let q = -72 - -47. Let b be 2 - q*2/2. Suppose 3*v + 4*k = 89, -4*v + 129 = 2*k + b. Is v prime?
True
Let s be 1/((-1)/2) - 7. Let y be (s/6 + 2)*-20. Is -1*y*(0 + 1) composite?
True
Let q = -8 + 0. Is (-4435)/(-20) + 6/q a prime number?
False
Let v be (0 - -3)/(33/(-286)). Is (-810)/v + (-16)/104 a composite number?
False
Is (-4847)/(-15) - (-4)/(-30) prime?
False
Let n(z) = -z**3 + 2*z**2 + z + 2. Let m be n(3). Let a(v) = 2*v**2 + 1. Is a(m) a composite number?
True
Suppose 0 = -7*w + 148 + 643. Is w composite?
False
Suppose -2*t - 4*j = -1062, -2*t + 7*t = -2*j + 2671. Is t a composite number?
True
Let y(q) = -q + 1. Let g be y(4). Is 6/9 - 271/g a composite number?
True
Is (217/(-2))/(14/(-28)) a composite number?
True
Let u(p) = 71*p**2 - 2*p - 4. Is u(5) a composite number?
True
Suppose -l - 4714 = -11693. Is l a composite number?
True
Let q(k) = 28*k + 1. Suppose -2*j - 12 = -5*t + 2, 2*j - 14 = -2*t. Is q(t) a prime number?
True
Suppose -300 = -6*k + k. Suppose -5*c + c = 4. Is (0 - c)*-1 + k a prime number?
True
Let u(g) = -g**3 + 10*g**2 + 6. Let r = 1 - -1. Suppose -4*l = -5*z + 33, -24 = -r*z - 2*z + 4*l. Is u(z) composite?
True
Let k(j) = j**2 + 2*j + 1. Let d be k(-1). Suppose 4*x - 2*a = -d*x - 14, 4*x + 29 = 5*a. Is ((-4)/8)/(x/190) prime?
False
Let z(t) be the first derivative of 4*t**3/3 - t**2 - t - 2. Let j be z(-1). Suppose -j*d = -609 + 4. Is d composite?
True
Let m = 2 + 3. Let g be -5*m*6/(-15). Let s = 24 - g. Is s a prime number?
False
Let h = 125 - -246. Is h prime?
False
Suppose -10 = -4*z + 4*j + 258, -j + 75 = z. Is z prime?
True
Let x(p) be the third derivative of -119*p**5/60 + p**3/6 - 2*p**2. Let w be x(-1). Let c = 175 + w. Is c a composite number?
True
Suppose 156 - 558 = 2*f. Let q = 332 + f. Is q a composite number?
False
Let i(u) = -4*u + 0 + 8*u**2 + u**3 + 5 - 6*u**3 + 4*u**3. Is i(6) a prime number?
True
Let w = 5 - 3. Suppose 0 = g - w + 1. Suppose -g = 5*h - 96. Is h a prime number?
True
Suppose 0 = 3*z - 5*p - 9051, 0*z + z - 3017 = -2*p. Is z a prime number?
False
Let c = 1 + -1. Suppose 3*q - 4*w = -c*q + 34, 0 = -4*q - w + 39. Is q composite?
True
Let f(u) = 95*u - 2. Let m(i) = 96*i - 1. Let o(h) = 2*f(h) - 3*m(h). Is o(-1) a composite number?
False
Suppose 2*u + 3*u = 0. Suppose u*i - 121 = -i. Is i a prime number?
False
Let s be 0*(0 - (0 + 1)). Suppose 8 = -s*o - o + 2*h, -4*o - 20 = -4*h. Is -514*o*(-1)/(-4) prime?
True
Let y(v) = 2*v**2 + 5*v - 5. Let u be y(-5). Suppose 0 = -4*l - 2*p + 8, 4*p + u = 2*l - 4. Suppose 0*d - 76 = -l*d. Is d composite?
False
Is (-334)/(-5) - 10/(-50) composite?
False
Let j be (-9)/(-4) - (-4)/(-16). Suppose 0 = j*i - 5*i + 123. Suppose -r + 2*r - i = t, 2*r = -5*t + 54. Is r composite?
False
Let m = -26 + 29. Suppose 3*s + s + 818 = 3*b, 3*s + 819 = m*b. Is b a composite number?
True
Let l(d) = 8*d**2 + 2*d + 3. Let r(p) = p**2 + 5*p + 1. Let n be r(-4). Is l(n) a composite number?
True
Suppose 0 = p + 408 - 1711. Is p a prime number?
True
Let b(v) = 2*v + 8. Let y be b(-8). Is (45/(-20))/(3/y) a prime number?
False
Let w be ((-24)/(-28))/(1/7). Suppose -w = -3*g + g. Suppose 0 = g*l - 9, 0 + 48 = f + 5*l. Is f a composite number?
True
Let h(j) = -156*j**3 + 4*j**2 + 2*j - 1. Is h(-2) a composite number?
False
Let d be (1/(-1) - 2) + 146. Suppose -165 - d = -4*s. Is s a composite number?
True
Let a(k) = 8*k + 3. Let t be a(3). Suppose -2*g - 6 = -2*q, -6*g + 3*g - 3*q = t. Is (-2)/(-3) - 194/g composite?
True
Let g(f) = 150*f - 1. Suppose u + 3 = 2*x - x, -4*x = u - 17. Is g(u) a composite number?
False
Let k(z) be the second derivative of z**5/20 - 2*z**4/3 - z**3/3 - 9*z**2/2 - z. Let f be k(9). Let u = f - 33. Is u a composite number?
True
Let w = -1463 - -2104. Is w a composite number?
False
Is 10 + -7 - 90/(-1) prime?
False
Let u be -1 + 4/2 + -2. Let k be u/(-4) - (-69)/12. Is -134*((-9)/k - -1) composite?
False
Suppose -13 - 7 = -4*j. Let y(t) = t - 4. Let h be y(6). Suppose -h*u + j = -39. Is u a composite number?
True
Let h(t) = 172*t**2 - 2*t - 1. Is h(-2) prime?
True
Let v = -229 - -392. Is v prime?
True
Let s be (-9)/(-6)*8/(-6). Is 96 + ((-2)/s - 0) composite?
False
Suppose -13302 = -11*y + 2*y. Is y a prime number?
False
Let l(y) = -25*y**3 - 5*y**2 + 2*y + 3. Is l(-2) prime?
True
Suppose -r - 4 + 0 = 0. Let l be r*(-2)/(2/3). Suppose 0 = -5*v + 197 - l. Is v composite?
False
Let c be (-6)/4 - (-11)/2. Suppose -c*s = -s - 9. Suppose -3*r + 18 = -s. Is r composite?
False
Let z(j) = -j + 131. Is z(0) a prime number?
True
Is 3940/(-15)*3/(-2) a prime number?
False
Let a(z) = z**3 + 6*z**2 + 3. Let y be a(-6). Suppose y = 2*w - w. Suppose -4*d + 266 = -2*f, 130 = 3*d + w*f - 74. Is d prime?
True
Let p be (-2 - (-232)/(-6))*-3. Let j = p + -69. Suppose -j + 15 = -2*f. Is f prime?
True
Let d(r) = r + 15. Let l be d(-16). Is (l + 2)/(1/118) a composite number?
True
Is ((-5)/2)/(730/244 - 3) a composite number?
True
Let o(z) = 8*z**2 - 4*z - 1 - 7*z**2 + 0*z**2. Let h be o(4). Is (0 - 0 - h) + 25 composite?
True
Let j(c) = c**3 - 2*c**3 + 2 + 0*c**3 + 6*c. Is j(-5) prime?
True
Let a = 9 + -10. Is -2*19*a/2 a composite number?
False
Let l(g) = -g**3 + 9*g**2 + 10*g - 17. Is l(8) composite?
False
Let k = 1841 - 1254. Suppose k = 2*t - 659. Is t a prime number?
False
Suppose 0 = 3*p + 6, -2*s = 4*p + 3 - 5. Let a = s + 1. Is a prime?
False
Suppose 0*o - 3*o = 2*m - 110, -1 = -m. Let s = o + -3. Is s composite?
True
Let y = 775 - 266. Is y a composite number?
False
Let u(q) = -3*q**3 - 7*q**2 - 3*q + 3. Let x be u(-8). Suppose x = 8*y - 3*y. Is y prime?
True
Let i(o) = -o**3 + 8*o**2 + 5*o + 13. Let q be i(10). Let a be (-4)/(-1 + 243/246). Let z = q + a. Is z a composite number?
False
Let d(r) = -r + 995. Is d(0) a prime number?
False
Let d(k) = k**2 - k - 3. Let g be d(3). Let w(n) = -n - g + 1 + 1. Is w(-11) a composite number?
True
Let w be (-2)/6 + 202/3. Suppose -w = -3*l + a, -l + 4*a + 41 = -a. Is l a composite number?
True
Let q(j) be the third derivative of -13*j**4/24 - j**3/6 - j**2. Is q(-4) prime?
False
Is (-1574)/3*(-6)/4 a composite number?
False
Suppose -2*m 