 y a prime number?
True
Suppose 4*l = -0*h - 2*h - 18, -5*l - 51 = 4*h. Let y(p) = -4*p - 21. Is y(h) a composite number?
True
Let l(k) = 816*k - 53. Is l(3) a composite number?
True
Suppose c - 4*k = 162, -722 = -5*c + 4*k + 72. Let g = c - 107. Is g a prime number?
False
Let r(p) = p**2 - 12*p - 16. Let k be r(12). Let x = 23 + k. Let c(t) = 7*t**2 - 12*t - 6. Is c(x) a prime number?
False
Suppose x = -x + 5*l + 4, x = 4*l + 2. Let q(y) = -22 - 8*y**3 + 9 - 3*y + 10*y**x + 9*y**3 - 5*y. Is q(-10) a composite number?
False
Suppose 26 = -4*b - 18. Let u(d) = d**3 + 14*d**2 - 2*d - 4. Is u(b) prime?
False
Let q(t) = -t**3 - 11*t**2 + 11*t - 10. Let n be q(-12). Let p(v) = 92*v - 1 + 0 + 0 + n. Is p(1) composite?
True
Let l = -9 - -6. Let j be 4/(l - (-88)/29). Suppose g + 4*g - 570 = 5*h, g - 3*h = j. Is g a composite number?
False
Let x(s) = -2*s**3 + 16*s**2 + 5*s - 59. Is x(-10) prime?
True
Let h(c) = -37*c**2 + 5. Let s be h(-5). Suppose 0 = -4*i + 5*i - 1601. Let r = i + s. Is r prime?
False
Let x(f) be the second derivative of f**5/20 + 5*f**4/3 - 2*f**3 - f**2 - 4*f + 1. Let o be (-1 + (-42)/(-4))*-2. Is x(o) a prime number?
True
Is (9587/(-2))/(32/(-64)) a composite number?
False
Suppose 5750 = 6*o - o. Is o + ((-4)/(-22) - (-27)/33) composite?
False
Suppose 11*g - 14*g + 1886 = f, 3*f - 5645 = 4*g. Is f a prime number?
False
Let q = 0 + -2. Let k(s) = -s**2 + 15*s - 10. Let t be k(14). Is (-1170)/(-4) - q/t a prime number?
True
Let w be 23/(-69) - (-16)/3. Suppose -2*u + w*u = 1965. Is u prime?
False
Suppose -s = -22 + 8. Let u(d) = s - d**2 - 3 + 12*d - 1. Is u(12) a composite number?
True
Let t(o) = 2658*o**3 - 1. Let q be t(1). Suppose 4*m - q = -3*h, -3*m - 1371 = -2*h + 372. Is h a composite number?
True
Let u be (-1)/(0 - (-3)/(-6)). Suppose 2 = u*h - 2. Let w = h + 107. Is w a composite number?
False
Let r(k) = -4*k + 5*k - 2*k + 35*k**3 + 1 + 3*k**2 + 0*k. Let a(z) = z**3 - 8*z**2 - 9*z + 2. Let c be a(9). Is r(c) composite?
True
Is ((-2540)/(-30))/(10/15) composite?
False
Let d(z) = z - 9. Let y be d(9). Suppose q - i = y, -2*q + 3*i + 0*i = 0. Suppose -v + 5*o + 510 = -q*v, 0 = -v - o + 540. Is v composite?
True
Suppose -53 + 3 = 5*f. Is 2/f + (-2230)/(-25) composite?
False
Let g(m) = -3*m + 189. Is g(20) prime?
False
Let z = 8014 + -2963. Is z a composite number?
False
Let g = -28 - -30. Suppose -4*i + 2502 = g*a, -i + 5*a - 3*a = -613. Is i a composite number?
True
Let v = 3390 - 2270. Suppose 0*i - i = -v. Is i/6 - 7/(-21) a composite number?
True
Let p = 7089 + -2180. Is p a composite number?
False
Let y = 1 - -3. Suppose -3*n + 1535 = 5*j, 2*n = -y*j + j + 1022. Is n prime?
False
Let w(y) = 8*y**2 + 8*y + 33. Suppose 0 = -4*j - 8, 2*j + 20 = 2*s + j. Is w(s) prime?
False
Let x be 25*((-311)/5 + 5). Let b = x - -3765. Is b a prime number?
False
Let y(w) = -w**3 - 3*w**2 - 4*w - 6. Let s be y(-3). Suppose 11*g = s*g + 5715. Suppose -m = 2*m - g. Is m composite?
True
Let o(d) be the third derivative of 19*d**6/120 + d**5/12 + d**4/8 - d**3/3 - 19*d**2. Is o(4) composite?
True
Let y(a) = a**2 + 6*a + 1531. Let l be (0/((-8)/(-2)))/(-2). Is y(l) prime?
True
Suppose 0 = 688*y - 683*y - 31225. Is y a prime number?
False
Let o be (-9)/12 - 3292/(-16). Suppose 4*f - 183 = o. Is f prime?
True
Let f(h) = h**3 + 28*h**2 - 12*h - 37. Let b(j) = -7*j - 8. Let y be b(2). Is f(y) a prime number?
False
Suppose 0 = -4*h - 5*a - 24, -2*a + 24 = -4*h - 0. Let q(r) = 49*r**2 + 8*r + 61. Is q(h) prime?
True
Suppose 5*p + 4*j = 104, -j + 85 = 3*p + 17. Suppose 2*s = -3*n + 7*n - p, -4*s - 16 = 0. Suppose -n*o + 7*o = 69. Is o prime?
True
Suppose 3*q - 7 = 10526. Is q a prime number?
True
Suppose -1316 - 991 = -4*v - 5*y, 2*v - 1140 = 2*y. Suppose -1646 = -4*s - 3*d + v, -4*d = -20. Is s a composite number?
True
Suppose -15*u + 237075 = -15090. Is u composite?
False
Let t(u) = -38*u**3 + u + 3 - 3 - 2*u**2 - 1. Let l be (1/(-3))/(6 + 175/(-30)). Is t(l) a prime number?
True
Let g be ((-4)/(-6))/((-6)/(-27)). Suppose -g*a + 5*q = -50, 2*a + 3*q + 22 = 3*a. Let d(u) = 12*u + 13. Is d(a) composite?
True
Is (-36966)/(-8) - (-102)/408 a composite number?
False
Let m = -1 - -7. Suppose 0*f - m*f + 4686 = 0. Is f composite?
True
Suppose -6*p + 3*p + 228 = 0. Let i be (p/(-10))/(7/70). Let n = i - -231. Is n a composite number?
True
Let z be (-124168)/(-20) + (-2)/5. Suppose -3*c = 1129 - z. Is c composite?
False
Let r = 22685 + -15084. Is r composite?
True
Is 581016/645 - 2/(-10) composite?
True
Suppose 0 = 97*c - 4086228 - 2004499. Is c a prime number?
True
Suppose -15*i + 18*i = z - 2279, 11451 = 5*z - i. Is z composite?
True
Is (16/(-3))/4*121470/(-40) prime?
True
Suppose -t + 69 = -52. Is t a prime number?
False
Let u = -2657 - -4908. Is u a prime number?
True
Let a(g) = 189*g - 59. Is a(5) a composite number?
True
Let d(h) = h - 1. Let g(b) = -141*b + 8. Let u(x) = -6*d(x) - g(x). Is u(3) a prime number?
False
Is 777*8 - 10/(-5) prime?
False
Let x(i) = -i**3 - 2*i**2 + 1. Let j be x(5). Let u be (-60)/8*18/(-15). Is 0 - 3/(u/j) prime?
False
Let d(z) = z**2 - 22*z + 43. Let x be d(19). Is ((-254)/(-8))/(x/(-112)) prime?
False
Let x be (-4)/(-4) - (1 - 2). Let v be (-4 - -2) + x + -5. Is (-10)/v + 41/1 composite?
False
Let v(o) = -3*o**2 + 4*o + 9. Let k(h) = h**3 + 3*h**2 - 4*h + 2. Let i be k(-4). Let z(x) = -x**2 + x. Let g(y) = i*z(y) - v(y). Is g(7) composite?
True
Suppose 0 = z - 2. Let l be (z - 3 - 3)/(-2). Is ((3 - 4) + l)*83 a prime number?
True
Let h be (-2)/12 + 455/(-42). Let f(y) = -y - 8. Let l be f(h). Is (1 - 20)*l/(-3) a prime number?
True
Suppose 2*v = -5*n + n + 8, -3*v + 12 = -3*n. Suppose -z - 3*l + 284 + 294 = 0, n = -4*l. Suppose -2*b + 100 = -3*h - 476, -2*h - z = -2*b. Is b composite?
True
Suppose 2518 = 17*c - 15*c. Is c a prime number?
True
Suppose -6*t + 8174 = -10648. Is t a composite number?
False
Let j be -1583 + -1 + 1/(-1). Let p = j + 2552. Is p a composite number?
False
Let k = -2557 - -5111. Is k composite?
True
Let k = 3957 + -131. Is k a composite number?
True
Let z = -26 + 32. Suppose -m = -17 - z. Suppose -k = -4*u + m + 320, 0 = k + 3. Is u a composite number?
True
Suppose 262*g = 264*g - 7006. Is g a prime number?
False
Let j be (-1 - -2)/((-2)/(-10)). Suppose -5*x = 6*p - 3*p + 11134, -4*x - j*p = 8915. Is (14/(-10))/(5/x) prime?
False
Let j be (-82 - 1) + 0 + -1. Let a = 490 - 69. Let k = a + j. Is k prime?
True
Let p(o) be the first derivative of 5*o**3/3 - 3*o**2/2 - 6*o + 6. Let u be -3 + 4/(12/(-3)). Is p(u) a prime number?
False
Is 81 - 3/(-4)*(-152)/57 a prime number?
True
Let l be (-40)/25 + (-4)/10. Let k be l + (8/1 - 3). Suppose 3 = v, -k*y = -4*y + 2*v + 29. Is y a composite number?
True
Let l be (16/5 - 11/55) + 2. Let q(s) = 8*s**3 - 7*s**2 + 12*s + 2. Is q(l) prime?
True
Suppose a + p + 215 = 0, 0 = -16*a + 15*a - 4*p - 209. Let m(o) = -46*o**2 + 2*o. Let z be m(-3). Let n = a - z. Is n a composite number?
True
Let t = 16093 + -6582. Is t prime?
True
Let w(x) = 699*x**2 + 27*x + 63. Is w(-5) prime?
False
Let y be -8*3/30*-5. Suppose 85 = y*g - 375. Is g a composite number?
True
Let x = 16000 + -8507. Is x a prime number?
False
Let o(d) = -497*d + 132. Is o(-5) a prime number?
True
Let m(u) = u**3 + 4*u**2 + 3. Let j be m(-4). Suppose -2*b + 2*d = 2*b - 10, j*b - 4 = -2*d. Suppose k = b*k - 83. Is k composite?
False
Let x be (-9)/18*(-4)/(-2). Is x/3 - 1528/(-12) composite?
False
Let y = 2 + 3. Suppose y*w = -7*c + 2*c + 25, 2*c - 10 = -3*w. Suppose 0 = q - 6*q + 3*n + 554, c*q - 560 = 5*n. Is q composite?
False
Suppose -4*v = -4494 - 14318. Is v prime?
True
Suppose 0 = 5*b - 12040 + 3790. Suppose 186 + b = -4*q. Let w = -268 - q. Is w prime?
True
Let f be ((-210)/(-20))/(9/(-12)*1). Let g(d) = -d**3 - d**2 + 20*d - 1. Is g(f) prime?
True
Suppose 48477 = -16*o + 192461. Is o composite?
False
Let w(q) be the first derivative of 13*q**2/2 + 23*q - 8. Is w(8) a prime number?
True
Let l(g) = -4*g**3 - 24*g**2 + 12*g - 21. Is l(-16) a prime number?
False
Let t(i) = -6*i**2 + 12*i + 10. Let s be t(11). Let q = 1038 + s. Is q prime?
False
Let d(w) = 4 - 3 - 546*w**2 + 189*w**2. Let l be d(1). Let g = 649 + l. Is g composite?
False
Suppose -17060 + 217124 = 4*z + 4*j, 3*j - 100027 = -2*z. Is z 