 90441 = -5*l - 3*t, 54263 = 3*l - 2*t. Is l composite?
True
Let a(k) = k**2 + 13*k - 17. Is a(-30) a prime number?
False
Let g(i) = -2*i + 2. Let a be g(2). Let r be 5/(25/a)*-970. Let h = r + -245. Is h a prime number?
False
Suppose 39*s - 4 = 35*s. Is 1893/((3 - 2)/s) composite?
True
Let j = 1392 + 3155. Is j a composite number?
False
Let d(h) = 0*h**3 - 24*h**2 - h**3 - 39 + 7*h**2 - 3*h - 5*h. Is d(-22) prime?
True
Suppose 5*d - 10*d + 5 = 0. Let h(b) = -d + 5*b - 7 + b**2 - 7*b. Is h(-13) a prime number?
False
Let a = 12252 - 8135. Suppose 9*p + a = 114934. Is p a composite number?
True
Let d(v) = -v + 10. Let c be d(6). Suppose 5*o - 20 = c*b, o + b - 4*b - 15 = 0. Suppose o = w, -4*z + 2*w + 92 = -0*z. Is z a prime number?
True
Suppose 0 = -u - 119 + 1846. Is u prime?
False
Suppose 712*r + 150918 = 718*r. Is r a prime number?
True
Let z = 856 + -141. Suppose -5*p + 0*p + z = 0. Is p a prime number?
False
Let l = -19 - -22. Suppose 6*k = l*k - 3, 5*x + 2*k = 7183. Is x prime?
False
Let a = -5 + 10. Suppose -4*m = x - 816, a*x + 73 + 562 = 3*m. Let z = m - -4. Is z prime?
False
Let d(q) = -8*q - 1. Suppose 0 = 8*k - 7*k + 99. Let u be 1/(-3) + k/27. Is d(u) a prime number?
True
Suppose 0 = 7*h - 3 - 11. Suppose 15 = h*s + s, -5*s + 1653 = 4*r. Is r a composite number?
True
Let p(s) = 33*s**2 - 2*s - 18. Let b be p(-7). Suppose -782 - b = -5*m. Is m a prime number?
True
Let y(f) = -f**2 + f - 1. Let q(m) = -m**3 - 5*m**2 - 4*m - 24. Let s(w) = q(w) - 3*y(w). Is s(-8) prime?
True
Suppose -5*q - 5*c + 15 = 0, -4*q + 25 = 5*c + 10. Suppose 5*i - 596 = 5*z + 1009, q = -3*z. Is i a prime number?
False
Let v be ((-6)/(-8))/(8/256). Suppose 28*i - 6628 = v*i. Is i prime?
True
Let m = 658 + 1245. Is m a composite number?
True
Let u = -2031 + 5624. Is u a prime number?
True
Suppose 0 = 3*z + 5*y - 8329, z + 5*z + y = 16640. Is z a prime number?
False
Let w(x) = 22*x**3 - 4*x**2 + x - 7. Let t(q) = 22*q**3 - 5*q**2 + q - 8. Let g(j) = -5*t(j) + 6*w(j). Let s be g(2). Let c = -103 + s. Is c a composite number?
True
Suppose 0 = -9*j + 148839 + 39360. Is j prime?
False
Suppose -43*c + 57*c = 89068. Is c a composite number?
True
Let f(m) = -117*m + 23. Let j be f(-16). Let w = j + 2396. Is w composite?
True
Suppose 56 = -44*y + 40*y. Let t(r) = -r**3 - 7*r**2 + 13*r + 29. Is t(y) composite?
True
Let i be (-33)/(-6) - (-4)/(-8). Suppose 165 = i*m + 4*o, -5*m - o + 168 = -12. Is m composite?
False
Let u = 20123 + -10632. Is u prime?
True
Let v(l) = 2*l**2 + 2*l - 13. Let r be v(-9). Let w = -66 + r. Suppose -w = 2*q - 159. Is q a composite number?
False
Let a(l) = l**3 - 15*l**2 - 30*l + 14. Let p be a(14). Let k = p + 1231. Is k prime?
False
Is (-1)/(16/32180)*-4 a prime number?
False
Let c(o) = 102*o**2 - o + 3. Let n(r) = -r**3 + 10*r**2 + 12*r - 8. Let z be n(11). Let f be c(z). Suppose -3*b = -i - f, 5*b - 4*i = -0*b + 1523. Is b prime?
True
Suppose 5*u = 4*r - 38, 5*r - 3*u + 0*u = 54. Suppose -r*q + 2752 = -16*q. Let z = -401 - q. Is z composite?
True
Let a(r) = 4*r - 3*r + r - 5*r. Let p be a(1). Is -3 + 21 - p - 2 composite?
False
Let f(a) = -a**2 + 8*a - 9. Let p be f(6). Suppose p*m - 36 = -m. Let b(k) = k**3 - 6*k**2 - 8*k - 4. Is b(m) composite?
False
Let t = 65 + -67. Is t/6*(-476 + (-1 - -6)) composite?
False
Let v(o) = -2239*o - 215. Is v(-4) a prime number?
True
Let u = -9 + 13. Suppose 2*c - 4*z = 1574, -u*c + 3935 = c + 5*z. Is c composite?
False
Suppose h - 33961 = -4*a, -4*h + 865 = -a + 9368. Is a composite?
True
Is 5 - 13513/(-2) - 2/4 prime?
True
Let u = 73 + -63. Let p be (0 - 3) + (2 - 4). Is 354/u - (-2)/p prime?
False
Suppose -5*v = 5*s - 33665, -3*v - 2*v - s = -33669. Suppose 0 = 5*y + g - 7181, -4*y + 2*g = -v + 978. Is y a composite number?
True
Let m = 164 + -162. Let l be (0 - -1)/((-1)/(-5)). Suppose 0 = l*i - 3*z - 305, -m*i + 2*z + 39 = -87. Is i a composite number?
True
Suppose -2*z + 3*z + 4 = 0, 4*r - 5*z = 60. Suppose -4*i = i + r. Is 367 + 12 + 1*i prime?
False
Suppose -3*c = -4*a - 5*c + 24, -3*a + 3*c = 0. Suppose -4*d = -l + 17, -d = -l - 12 + 17. Is 151 + l*a/(-2) a prime number?
True
Suppose -45528 = -4*y + 4*n, -2*n + 14795 - 60317 = -4*y. Is y a prime number?
False
Let i(h) = 3 + h**2 - 2*h + 0*h - 7. Let t be i(3). Let g(p) = -362*p**3 - 2*p**2 + p + 2. Is g(t) composite?
True
Let y = -12481 + 19777. Let o = y + -4133. Is o composite?
False
Suppose -3*s - 2 = -11. Suppose -5*x - 1985 = -5*m, -3*m - s*x + 1183 = -4*x. Is m a composite number?
True
Let n = 6889 + -4732. Suppose 0 = 4*b - 4*f - 4252, 4*b - 4*f + f - 4249 = 0. Let g = n - b. Is g a prime number?
True
Let i(y) = -2*y**3 + 12*y**2 + 15*y - 12. Let z be 4*((-7)/2)/(0 - -2). Is i(z) a prime number?
False
Is (-12)/(-102) - (-21231)/17 a prime number?
True
Suppose -2*l - 5*t = -275 - 139, -3*t = -5*l + 1035. Let s = l + -122. Is s composite?
True
Let k(y) = 13*y**2 + 16*y + 45. Let p be k(-8). Let f = 1060 - p. Is f a prime number?
True
Let y be (-4)/(-8)*52*-17. Let r = 821 + y. Is r prime?
True
Let y(j) = -1093*j + 52. Let d be y(-13). Suppose -12*z = z - d. Is z a prime number?
True
Suppose 5*h + 18*b - 19*b - 39203 = 0, 39199 = 5*h - 3*b. Is h composite?
False
Let h = 32 + -48. Let u = h + 21. Suppose -46 = -u*m + 19. Is m prime?
True
Let t(k) be the second derivative of -k**6/360 - 17*k**5/120 - 11*k**4/24 - 11*k**3/6 - 2*k. Let x(v) be the second derivative of t(v). Is x(-14) prime?
True
Let v(q) = -2*q**2 + 2*q + 2. Let y be v(-1). Let l be (-4 + 2)/y - 2. Is (-1 + 0)*(-364 + l) a composite number?
True
Let k = -31 - -29. Is 82*(-3)/k - -4 composite?
False
Suppose -2*b = -4*b. Let r = b - 0. Suppose 5*p + g - 670 = r, 0 = -2*p - g + 4*g + 251. Is p a composite number?
True
Let n be (2 - -1)/9*-6. Is 59/(-2)*(n + 0) prime?
True
Let h = -120 - -325. Suppose -5*b + 5*j + h = 0, -2*b - b + 4*j + 119 = 0. Is (-10)/b + 1390/18 composite?
True
Suppose 0 = -3*b - m + 11218, 26*m - 23*m + 7475 = 2*b. Is b a composite number?
False
Let q = 24 - 22. Suppose 0 = 3*x + 5*d + 17, 0 = q*x + 2*x + 3*d + 30. Let t = x - -136. Is t prime?
True
Let w(m) = -5814*m - 151. Is w(-13) a prime number?
True
Let a be 16/6 + 2/(-3). Suppose a*r - 76 - 72 = 0. Suppose -3*n + r = 2*f - 8*n, 2*n + 37 = f. Is f a composite number?
False
Is 1 - (4/1 + -856) prime?
True
Let s = 812 + -539. Suppose 3*w - k = -s + 910, 5*w - 4*k = 1050. Is w prime?
False
Suppose -19*u = 16*u - 66115. Is u a composite number?
False
Let g(v) = 420*v**3 - 9*v**2 + 16*v + 7. Is g(4) a composite number?
True
Let p(j) = -5*j + 19. Let z be p(11). Let u = z - -45. Is u a prime number?
False
Let b(z) = -60*z - 60*z + 35 + 121*z. Suppose -6 = -v + 2*l, 4*v + 0*l - 6 = 2*l. Is b(v) prime?
False
Let j(w) = w**2 - 9*w + 9. Let x be j(10). Suppose x = a + 4*a - f, 16 = -4*f. Is 4 + 144 + 4 - a composite?
False
Is (-120)/15*3603/(-24) prime?
True
Let r(c) = 2961*c**2 + 5*c + 6. Is r(-1) composite?
True
Let a be ((-96)/10)/(-4)*(-15)/(-2). Is 16006/a + 30/(-135) composite?
True
Suppose -u = 13*u - 28. Suppose 2*c + u*c = -5*z + 212, 2*c - 5*z - 136 = 0. Is c prime?
False
Suppose -2*u + 5 + 0 = -3*s, -s + 2*u = 3. Is -467*(0 + 1)/s composite?
False
Let k(c) = -c + 3. Let m be k(-6). Suppose 5*u = -0*u + 2*y - 6, 0 = -u + 3*y - m. Suppose -d = -u*d - 1, -5*h + 4*d = -1251. Is h a prime number?
True
Suppose 0 = 2*c - c - 10. Suppose -c = -4*h - 2. Suppose -h*a + 178 = -0*a. Is a a prime number?
True
Let g = 404 - -1905. Is g a composite number?
False
Suppose 7194 = 2*w - 2*a, 4*w + 5*a - 10751 = w. Suppose -10*m + 6*m + w = 0. Is m a composite number?
True
Let d = 36 - 42. Is d/(12/41)*-4 composite?
True
Suppose 287 = -p - 520. Let u = 1246 + p. Is u a composite number?
False
Let i(o) be the third derivative of 281*o**6/720 + o**5/120 + 5*o**4/12 + 10*o**2. Let c(a) be the second derivative of i(a). Is c(2) a composite number?
False
Let x = -21830 - -36283. Is x a prime number?
False
Suppose 8*a = -5*l + 3*a + 42490, 2*l + 4*a = 16990. Is l composite?
False
Let t be (-1)/(((-15)/(-9))/(-5) - 0). Suppose 4*r - t*q - 409 = 3*r, -2045 = -5*r - 2*q. Is r a composite number?
False
Let w be 10/6*27/15. Suppose u - 6*u + 734 = 4*d, -w*u + 911 = 5*d. Is d a composite number?
False
Suppose -3*m = -8*m - 65. Let t =