number?
True
Let u = -15 + 20. Suppose 3*o - u*o = 6, -o - 293 = -2*w. Is w prime?
False
Suppose t + 4*t - 3175 = 5*p, 5*p = -5*t + 3175. Is t prime?
False
Suppose 2*u + 1 = 5. Suppose -405 = -u*h + 7. Is h prime?
False
Let b = 4 - -4. Is 2/8 - (-118)/b prime?
False
Let v be 3 + (184/(-32))/(2/(-40)). Let c(f) = -34*f - 3. Let r be c(-6). Let y = r - v. Is y composite?
False
Suppose -4*z - 4 = -2*t - 14, 2*z - 7 = -t. Suppose 89 = d + z*x, -d + 75 = -3*x - x. Is d a prime number?
True
Is (195/(-6))/(-5)*10 a composite number?
True
Let c(t) = 6*t - 1. Let s be c(-2). Let f = -7 - s. Let k(g) = -g**2 + 8*g - 2. Is k(f) composite?
True
Let s(n) = 113*n**2 - 24*n - 6. Is s(-5) composite?
False
Suppose 4*v = -4*n + 2248, -3*v + 2251 = 4*n - 0*n. Is n a prime number?
False
Let l = 27 - 5. Is l prime?
False
Let p be 14/(-8)*(15/3 + -57). Suppose 4*u = -o + 78, -5*o = -4*u + 44 + 22. Suppose 4*s + 227 = 3*q, -5*s = -q + p - u. Is q prime?
False
Suppose 3*k + i - 2752 = 0, 0 = 5*k - 0*k + 2*i - 4587. Is k prime?
False
Let p be (-20)/(-3) - (-2)/(-3). Suppose -g + p*g = 385. Is g composite?
True
Suppose -1 = 3*m - 13. Let q(s) = 2*s**2 + 2*s - 1. Let a be q(-2). Suppose -2*f + 72 = -2*z, -a*z = m*f - 0*z - 151. Is f prime?
True
Let n = 6 + -4. Suppose n*b = 82 + 80. Let m = -55 + b. Is m prime?
False
Let x = 1410 + -608. Is x a prime number?
False
Let k(v) = 10*v. Let n(b) be the third derivative of -b**6/120 + b**5/15 + b**3/6 + b**2. Let f be n(4). Is k(f) prime?
False
Let j = 409 - 198. Is j prime?
True
Let u = 6 + -3. Suppose -u*b + 2*l = -2*l + 1, 0 = l - 4. Suppose 98 = 2*o + h, -95 = b*o - h - 340. Is o a composite number?
True
Let z(s) = 171*s - 1. Let o be 2 + 1*(-1 + 0). Let h be z(o). Suppose 2*n - h = -0*n. Is n a composite number?
True
Let u(h) be the third derivative of h**5/60 + 7*h**4/24 - 7*h**3/6 + 5*h**2. Is u(5) a composite number?
False
Suppose 7*c + j - 1466 = 2*c, j - 880 = -3*c. Is c composite?
False
Suppose 334 = 3*r + 2*t - 250, 20 = -4*t. Let u = r + -83. Is u a prime number?
False
Suppose 2*p - 6*n + 2*n - 2 = 0, 0 = -2*p + 3*n. Is (-844)/(-6)*p/(-2) composite?
False
Let c be (-2)/(-1) + 2 + 0. Suppose 0 = -c*r, -3*h - 95 + 380 = -3*r. Is h a prime number?
False
Let k = -22893 - -34562. Is k prime?
False
Suppose -4*n = 4*p - 8, -3*n = -3*p - n + 6. Suppose c - 294 = -p*c. Let l = c + -63. Is l a prime number?
False
Let r(p) be the third derivative of p**4/12 + 2*p**3/3 + 3*p**2. Let u be r(5). Suppose -79 + u = -z. Is z a prime number?
False
Suppose -3*h + 69 = -474. Let b = h + -98. Is b a prime number?
True
Let v be (-7)/3 + 4/12. Let u be (-51)/v*-2*1. Let c = u - -73. Is c a prime number?
False
Suppose 8*c + 50 = 3*c. Is (-526)/c + 16/40 a prime number?
True
Let t = -13 + 20. Suppose 3*s - t*s = -236. Is s a composite number?
False
Let i(x) = -11*x - 9. Is i(-14) a prime number?
False
Let a(m) = 279*m**2 - 5. Is a(-2) composite?
True
Let d be (-608)/(-6) - 4/(-6). Suppose -3*k + 9 + d = 0. Is k a composite number?
False
Suppose -y + 37 = -o, -y - o + 3*o + 37 = 0. Is y prime?
True
Let v = -419 - -826. Is v composite?
True
Suppose -2*n = -257 - 25. Let u = n + -28. Is u a composite number?
False
Is 452/20 - 4/(-10) a prime number?
True
Let v(q) = -q**3 + 2*q**2 + 4*q - 3. Let t be v(2). Let h = t - -30. Is h a prime number?
False
Suppose 4*n + 0*n - c - 107 = 0, -4*c = -n + 23. Let f = 116 - n. Is f a composite number?
False
Let h be (-3 - -2 - 0) + 23. Is (-13595)/(-55) + (-4)/h a composite number?
True
Suppose 3*q - 20 = -2*q, -2*q = p - 885. Is p prime?
True
Let g = -481 - -1010. Is g prime?
False
Let h = 659 - 259. Suppose -4*n = -h - 164. Suppose n = 2*i + 23. Is i prime?
True
Suppose -4*f = f - 3*c - 595, -3*f = -3*c - 357. Is f prime?
False
Let l be (35/14)/((-2)/(-1052)). Suppose 3*d = 0, -5*t + d = -d - l. Is t composite?
False
Suppose 5*x - 4*j - 265 - 66 = 0, j + 267 = 4*x. Is x a prime number?
True
Suppose 1448 = k + 129. Is k a composite number?
False
Let z be 1/2 + (-5)/10. Suppose -5*b = 2*r - 106, z*r - 4*b = -5*r + 265. Is r composite?
False
Let m be (-14)/3*(-12)/14. Suppose 0*t = m*t - 844. Is t prime?
True
Let i be 0 - 1*(0 - 5). Let n(q) = 21*q**3 - 24*q**2 + 31*q + 10. Let h(j) = 4*j**3 - 5*j**2 + 6*j + 2. Let v(y) = 11*h(y) - 2*n(y). Is v(i) prime?
True
Let o(t) = 4*t**2 - 5*t. Let z be o(7). Let g = z + -84. Is g prime?
False
Let z(y) = -765*y + 5. Is z(-4) a composite number?
True
Is (2 - -1) + 0 - 5 - -879 a composite number?
False
Let q = 70 + -25. Let g be ((-32)/20)/((-6)/q). Is (0 - 4)*(-57)/g composite?
False
Let c = 8 - 6. Is (1 - c)/((-8)/456) composite?
True
Let c(f) = -35*f - 8. Is c(-9) a prime number?
True
Let j = 3 - 5. Let r be 3*-1 - j/(-1). Let l = 11 + r. Is l composite?
True
Let o be (5 + -64)/(2 - 3). Suppose -3*u + o + 77 = 4*y, -4*u = 3*y - 95. Is y composite?
False
Let o = 138 - 17. Suppose -o = 5*q - 376. Is q composite?
True
Let d = -101 - -300. Is d a composite number?
False
Let b be (-138)/(-1)*(-1)/(-3). Let m = -3 + b. Is m prime?
True
Let n(r) = -r**3 - 12*r**2 - 5*r + 11. Is n(-16) a composite number?
True
Suppose 4*k = 3*k + 2. Suppose -4*d + 2*t = -626, -4*d = -d + k*t - 487. Is d a composite number?
True
Let t be 0 + (-2)/(-3)*6. Suppose t*z - 50 = 2*z. Let a = -4 + z. Is a a composite number?
True
Let x = -6 + 8. Suppose x*t + t = 231. Is t composite?
True
Let g = 5 + -9. Let o be (g - -2)/((-2)/4). Suppose -o*c + 570 - 214 = 0. Is c prime?
True
Let u(r) = -12*r + 7. Is u(-6) a composite number?
False
Let y(j) = 5*j**2 + 6*j + 3. Suppose u = 4*f + 21, -6*f + 3*u = -3*f + 27. Is y(f) a prime number?
True
Suppose -5*a + 0*n + 85 = 3*n, 0 = 5*a + 5*n - 95. Let w = 6 + 13. Suppose w + a = c. Is c a composite number?
True
Let o(k) = -640*k**3 + 2*k**2 + 2*k + 1. Is o(-1) composite?
False
Let w(h) = 30*h - 1. Is w(5) composite?
False
Let z(x) be the third derivative of -x**6/12 - x**5/15 - x**4/12 + x**3/6 - x**2. Suppose -2 + 4 = o - 4*i, 0 = 3*o - 5*i + 1. Is z(o) composite?
True
Let q(p) = 3*p - 3 - 5*p**3 - 5*p - 2*p**2 + 2. Is q(-2) a prime number?
False
Is (-76135)/(-6) + (-4)/24 a composite number?
False
Let w(f) = -f**3 + f**2 + f + 743. Is w(0) a prime number?
True
Let y(z) = z**2 + 2*z + 6. Let v be y(-4). Let g = v + -30. Let p = 51 + g. Is p a prime number?
False
Suppose -4*z + 4*i = -z - 7, -5*z + 4*i + 17 = 0. Is (z + -6)/((-1)/11) a prime number?
True
Let u be -4*(9/(-6))/1. Let v be (6/4)/((-2)/(-4)). Is ((-38)/v)/(u/(-9)) composite?
False
Let r(d) = 5 - 6 + 0 - 2*d - 9*d**3. Suppose 0 = -0*t - 4*t - 4. Is r(t) prime?
False
Is (2 + 0)*2198/4 composite?
True
Let o = -18 + 53. Is o a prime number?
False
Let j = 2114 + -1371. Is j a prime number?
True
Let o be 8/14*(-21)/(-6). Suppose -o*b = -25 - 49. Is b a prime number?
True
Let x(j) = -j**3 + 14*j**2 - 2*j - 4. Let i(m) = m. Let y(s) = s**2 - 3*s + 13. Let n(o) = 3*i(o) + y(o). Let z be n(0). Is x(z) a composite number?
False
Let o be (-7)/(21/(-18)) - 2. Suppose o*u - 12 = 2*y - y, -4*u + 8 = 0. Let t(p) = -2*p**3 - 7*p**2 - 6*p - 5. Is t(y) a prime number?
False
Suppose s = -4*b - 1, -3*b - s - 5 = -4. Suppose -x - 2 = -5*y - 5*x, b = -5*x - 10. Suppose 0 = y*t + 2*t - 100. Is t a composite number?
True
Let j(m) = 3*m**3 + 5*m**2 + 8*m - 7. Is j(6) a composite number?
True
Let m(z) be the first derivative of 2*z**3 + 3*z**2/2 - 6*z + 2. Let w be m(6). Suppose -w = -3*d + 51. Is d a composite number?
True
Let i(d) = -15*d**3 - 3*d**2 + d - 1. Let h be i(2). Let s = 220 + h. Is s composite?
False
Is 2/2 + (-1533)/(-7) + 3 a prime number?
True
Let k = 260 - 135. Suppose -5*u + k = -5*z, -u + 23 + 1 = -2*z. Is u a prime number?
False
Let v(w) = -3*w**2 - 7*w + 2. Let i be v(-5). Let j = i - -59. Is j a prime number?
False
Let d = 42 - 23. Suppose 93 = 2*a + d. Is a prime?
True
Suppose y - 33 = 4*h + 16, 5*h - 111 = -2*y. Is y prime?
True
Let u(q) = -4*q - 1. Let l be u(-12). Suppose 204 = -k + 3*k. Let z = k - l. Is z a prime number?
False
Let v(b) = -2*b + 5. Let u be v(-5). Let d = u + -11. Suppose 0*f + d*f = 228. Is f a prime number?
False
Let v = -662 - -4609. Is v a composite number?
False
Let o = 846 + 55. Is o a composite number?
True
Let u(b) = -18*b**3 + 5*b**2 + 4*b + 8. Is u(-5) a prime num