 - 35 = 5*n, o + 2 - 1 = b*n. Is o a prime number?
True
Is 3273/8 - 8/(61 + 3) composite?
False
Let j(v) = -v - 8. Let y(o) = 1. Let x(n) = -j(n) + 5*y(n). Let u be x(-10). Suppose w - 5*s - 27 = 0, 0*w + 109 = u*w - s. Is w composite?
False
Is ((-9)/21 - 0) + (-28258)/(-14) composite?
True
Let n(s) be the first derivative of -19*s**2/2 - 2*s - 1. Let w be n(-3). Let h = w + -12. Is h composite?
False
Let b be 1048/14 + 10/70. Is 44/(-6)*b/(-10) a composite number?
True
Let a = 461 - 249. Suppose 6*k + 8 = 2*k. Is a/(-8)*1*k composite?
False
Suppose -m - 12 = 3*m, 2*p + 4*m - 2270 = 0. Is p composite?
True
Let z(l) be the second derivative of -l**4/12 - l**3/6 + 35*l**2/2 - l. Let p be 2/4 - (-1)/(-2). Is z(p) prime?
False
Suppose 2*q = -2*q + 16. Let n = q - 1. Suppose -15 - 30 = -n*v. Is v a prime number?
False
Let d = 26 - 16. Is (502/(-4))/(d/(-20)) prime?
True
Suppose 0 = u + 3*s - 14, -3*u = -7*u + 5*s - 12. Suppose 13 = u*y - 15. Suppose a - y = -a. Is a composite?
False
Suppose -3*a - 270 = -2*v + 3*v, -4*a + v = 367. Let k = -133 - a. Let l = -29 - k. Is l a prime number?
True
Suppose 3*b = -5*k + 2149, 0*b + 5*b = k - 441. Is k composite?
False
Suppose 14*g - 13*g = 1651. Is g composite?
True
Let t = -4 - 2. Is (-45)/t - 2/4 a prime number?
True
Let l(a) = -10*a + 1. Let s be l(4). Let i be (-9590)/(-26) + (-6)/s. Suppose -5*f - 4*o = -i - 294, 0 = 3*f + 3*o - 399. Is f composite?
False
Suppose 3087 + 428 = 5*c. Is c prime?
False
Let s(u) = 39*u - 1. Let o = 3 + -1. Is s(o) a prime number?
False
Let t(g) = 2*g**3 - 2*g**2 - 2. Let s be t(4). Let a = s + -243. Is (-4)/14 + a/(-7) a composite number?
True
Suppose -2*f - 3*q + 126 = 0, 6*q - 3*q - 6 = 0. Let h(v) = -v**3 - 5*v**2 + 1. Let p be h(-6). Let m = f - p. Is m prime?
True
Let d(p) be the third derivative of 5*p**5/12 + p**4/6 + p**3/3 - 5*p**2. Is d(-3) composite?
True
Let c(o) = -2*o**2 + 10*o - 2. Let b be c(5). Is b*(0 - (-489)/(-2)) composite?
True
Let b be 10 + (1 - 2) - 3. Let a = -6 + b. Suppose 4*u = -a*u + 380. Is u a prime number?
False
Let v be ((-514)/3)/((-4)/18). Suppose -f - 2*f + v = 0. Is f prime?
True
Suppose y = 1 + 2. Suppose 422 = y*c - c. Is c composite?
False
Let s(y) = 218*y - 1. Is s(3) composite?
False
Let s(p) = -2*p + 21. Let c be s(10). Is c*(-1 + 3) - -53 a composite number?
True
Suppose 4*s - 34 = -6. Let o(v) = -15*v**3 + 25*v**2 + 5*v - 1. Let j(h) = -7*h**3 + 12*h**2 + 3*h - 1. Let i(m) = 13*j(m) - 6*o(m). Is i(s) prime?
True
Suppose -88 - 498 = -2*v. Is v prime?
True
Suppose 5*r + 65 = 3*z, -z - 3*r = 2*r + 5. Suppose -20 - z = -j. Is j a composite number?
True
Suppose y - 2*o = 797, -3*o + 720 + 52 = y. Is y a composite number?
False
Suppose 3*c - 3*m - 304 = c, 0 = c + 3*m - 143. Is c composite?
False
Is 3 + (-1180)/(-35) + (-6)/(-21) prime?
True
Let v(j) = 26*j**3 + 3*j**2 + j + 5. Is v(4) prime?
True
Let v(b) = b**2 + 2*b - 1. Let f be v(-3). Suppose 2*w = -o + 290, -5*w - o + 727 = f*o. Suppose -183 = -2*c + w. Is c a composite number?
False
Suppose 2*o = -2*o - 24. Is o/(2 + 1) + 117 prime?
False
Let r be (8/10)/(3/15). Suppose -z = r*z - 20. Is 331/z + (-4)/(-16) prime?
True
Suppose -7 + 75 = 4*c. Suppose 4*m = 4*h - 16 - 8, 0 = 5*h + 3*m - 6. Suppose h*u + c = 83. Is u prime?
False
Suppose 0 = 2*f + 1241 - 3759. Is f a composite number?
False
Let u(o) = -489*o + 1. Let k be u(-1). Let n = k - 269. Let g = -94 + n. Is g a prime number?
True
Suppose -1409 = -a + 2*z, -2*a + 2842 = 7*z - 5*z. Is a a composite number?
True
Suppose -j = -4*j. Suppose j*d - 3*d + u + 10 = 0, -d = -4*u - 18. Is (-70)/(-4)*d/1 a prime number?
False
Suppose -14*i = -10*i - 1276. Is i a composite number?
True
Suppose 206 = 4*z - 102. Is z a composite number?
True
Suppose 2*t - 7*t = 20. Let r be (-30)/t + 3/(-6). Suppose -l + r = -0*l. Is l prime?
True
Suppose 0 = -4*v + 285 + 375. Let a = v + -44. Is a a prime number?
False
Let t = -33 - -53. Suppose 3*m + t = n, n + m = 3*n - 45. Is n + 2 + 0 + 1 a composite number?
True
Suppose 0 = 4*h - 2*y - 1264, 0*y = -4*h + 5*y + 1258. Is h composite?
False
Suppose 0 = -0*o - 4*o - 2*l + 470, 5*l - 485 = -4*o. Is o composite?
True
Let f be -2 + 1 + 6 + -2. Suppose 0*z = -f*z - 21. Let w = 0 - z. Is w a prime number?
True
Suppose -4*w + 6*w = 2. Let h be (0 + 0)*(0 + w). Suppose h = i + 2 - 25. Is i prime?
True
Let x(g) = -12*g - 2. Is x(-9) composite?
True
Suppose -81*v = -86*v + 6595. Is v a composite number?
False
Let l = 1688 - 937. Is l a prime number?
True
Let j = -542 + 820. Is j composite?
True
Suppose -3*o = -588 - 165. Is o composite?
False
Let o(g) = g**3 + 7*g**2 - 7*g + 9. Let l be o(-8). Is (l - -22)/((-3)/(-3)) a composite number?
False
Let t(y) be the second derivative of -y**5/20 + y**4/12 - 2*y. Let r be t(1). Suppose -2*w + 3*w - 79 = r. Is w a composite number?
False
Let i = 0 - -46. Is i a composite number?
True
Suppose t = -4*c + 2*t + 1034, 4*t = 8. Suppose -2*l + 7 + c = 0. Is l a composite number?
True
Suppose -3*c - 17 - 1 = 0. Suppose 2*x - 1 = 3. Is ((-63)/c - -2)*x prime?
False
Suppose 3*k = 2 + 7. Let w be (2 + (-3)/k)*5. Suppose 4*t = -w*y + 65, -3*t - y = -2*t - 15. Is t a prime number?
False
Suppose 590 = -2*a + 4*a. Is a a prime number?
False
Suppose -l = -5*o - 9, -5*l + 5*o = -0*l - 25. Suppose -t + 265 = l*t. Is t prime?
True
Suppose -2*u - r = -0*r - 1353, 5*r + 5 = 0. Is u a composite number?
False
Suppose -i = 3*z - 4*z, i - 4*z + 6 = 0. Suppose i*u - 5*s = 305, 0 = u + 2*s - 108 - 49. Is u a composite number?
True
Let q be -1 - -4 - 3 - -154. Suppose -10 = 2*i - 0, -3*i = -2*y + 169. Suppose b + 5*r = -0*b + y, -2*b = 2*r - q. Is b a composite number?
True
Suppose -y + 679 = 4*a, 2*y - 4*y + 1358 = 4*a. Is y a prime number?
False
Let r = -2039 - -3694. Is r composite?
True
Suppose 3*q = 2*t + 1021, -4*t = -2*q + 813 - 143. Let g = q + -211. Suppose 4*c = -0*c + g. Is c composite?
True
Let x(p) = -p**2 - 5*p - 7. Let z be x(-5). Let c = z - -7. Suppose c = -6*f + f + 170. Is f a composite number?
True
Suppose a - 4*a = -702. Is a + (-1 - (-1 - 3)) composite?
True
Let z(r) = -22*r - 1. Let y(j) = 3*j - 7. Let w(t) = 4*t - 8. Let k(u) = -4*w(u) + 5*y(u). Let c be k(-2). Is z(c) a prime number?
False
Suppose -4*o = -3*o + 2. Let r(x) = -3*x + 9. Let h(d) = -2*d + 8. Let s(n) = -6*h(n) + 5*r(n). Is s(o) a prime number?
True
Let u(y) = y**3 - 4*y**2 - 2. Let g(x) = x**3 + 3*x**2 - 7*x - 6. Let l be g(-4). Let t be u(l). Suppose -2*r + t = 2*m, 0 = 5*r - 0*m - 2*m - 196. Is r prime?
False
Suppose -g - 4*b + 3809 = 0, -5*g + 3*b + 6475 = -12478. Is g a prime number?
True
Suppose 2*r - 1 = 3*f, 3*r - 4*f - 2 = -0. Is (r - 1)/(1/10) a prime number?
False
Let f = 3 - -12. Let s = f + -9. Suppose -3*m + s + 0 = 0. Is m prime?
True
Let s(p) = -19*p**2 + p. Let d be s(-1). Let j(m) = -4*m - 9. Let g be j(9). Let q = d - g. Is q a prime number?
False
Let k = -229 + 1182. Is k a composite number?
False
Let x be 8 - 8 - (0 - 1). Let o(r) = 19*r**2 + r - 1. Is o(x) prime?
True
Let b(m) = -2*m + 1. Let s(l) = l - 1. Let n(o) = -7*b(o) - 6*s(o). Is n(10) prime?
True
Suppose 5*n - 379 = 6. Is n a composite number?
True
Let f(j) = 11*j**3 - 8*j**2 - 17*j - 11. Let h(b) = 5*b**3 - 4*b**2 - 8*b - 5. Let z(w) = 6*f(w) - 13*h(w). Let n be z(-2). Is n/(3 - 0) + 34 a prime number?
False
Let s be (-3)/(-6)*(1 - 1). Suppose s*j + 410 = j + 3*o, -2*j = -2*o - 844. Is j a prime number?
True
Let m(t) = -2*t + 2. Let c be m(2). Let o = -10 + 7. Is 35/o*(c + -1) prime?
False
Suppose -2*j + 5*j + 5*r = 8, -4 = -r. Is (-397)/(-2)*(6 + j) composite?
False
Let q(c) = 3*c**2 - c - 3. Let g = 19 + -16. Is q(g) a composite number?
True
Suppose 23 = 4*l - 5*s - 27, 5*l = -s + 48. Let z be (-38)/(-5) - (-4)/l. Let y(q) = 2*q + 7. Is y(z) prime?
True
Is (0 + -2)/((-42)/2499) prime?
False
Suppose 2*d - 1 - 1 = 0. Let g be 3 + 0 + d - -1. Let p(o) = 6*o + 3. Is p(g) prime?
False
Let r = -1085 - -2550. Is r a composite number?
True
Let f = -57 - -148. Is f composite?
True
Suppose 2*i = -4*y + 4728, -i - 2368 = -4*y + 2*y. Suppose 0 = -5*b - 2*j + y, -159 = -b - 3*j + 88. Is b a composite number?
True
Suppose 144 - 19 = 5*c. Let z = c + -18. Suppose -42 = -z*o + 4*o. Is o composite?
True
Let v = 14 - 10. Suppose 0 = -v*a + 