composite?
True
Suppose 4*o - 452 = 3*o. Let c = o + -159. Is c prime?
True
Is 14/(-4)*77664478/(-959) a composite number?
False
Suppose 0 = 5*h - 186 - 64. Suppose -70 = -4*d - h. Suppose 0 = 5*i + 4*z - 495, -i = -0*i + d*z - 78. Is i prime?
True
Let i(w) = -150*w - 2. Let q be i(-2). Suppose -8 - 4 = -4*h. Suppose -h*r + 5*r - q = 0. Is r a composite number?
False
Let l be (20/(-6))/((-26)/39). Let m(t) = 119*t**2 - 7*t - 1. Is m(l) prime?
True
Let b be ((-2)/(-3))/(2/(-3)). Let k be (-1 + -41)*(b + 0). Let u = 43 + k. Is u a prime number?
False
Is ((-7)/((-105)/670))/(2/69) prime?
False
Let h(p) = p + 6. Let z(b) = 4*b + 19. Let x(i) = 7*h(i) - 2*z(i). Let t be x(0). Suppose -2538 = -4*j + 2*q, -6*j = -2*j - t*q - 2536. Is j a composite number?
True
Let n(u) = u + 10. Let y be n(-8). Suppose 69 = d - 5*r, -5*r - 15 = -y*d + 123. Suppose 401 = 5*j - d. Is j prime?
False
Let d be ((-60)/42)/(3/(-105)). Let k(y) = -36*y + d*y - 4 + 21. Is k(9) prime?
False
Let n(j) = j**2 - j. Let o(i) = -i**2. Let b(t) = 5*n(t) + 4*o(t). Let q be b(5). Suppose 3*u = -m + 2*m - 202, q = -4*m + 2*u + 838. Is m a prime number?
True
Let r be (-27)/(-6)*(-556)/(-6). Suppose -5*i = -8*i + r. Is i prime?
True
Let i(s) = 24*s**2 - s + 5. Let t(n) = 2*n**2 - n - 2. Let u be t(2). Let r be i(u). Suppose 1182 = 3*k - 3*d, -k - d = -r - 11. Is k composite?
True
Let d(z) = -z**3 + z**2 + 8*z + 3. Let l be 10 + -2 - (-3 - -1). Let n = -15 + l. Is d(n) a prime number?
True
Suppose 4*f - 389 = 2*j + 1115, 3*j + 1879 = 5*f. Is f a composite number?
True
Suppose -4*y + 1002 + 46 = 0. Is y composite?
True
Let q be (-253)/(-55) + (-2)/(-5). Suppose 5*g - 1997 = 4*r, -g + 2*r + 163 + 240 = 0. Suppose 4*o = q*o - g. Is o a prime number?
True
Let w(q) = 11*q**2 + 22*q - 939. Is w(26) a prime number?
True
Is (-6)/(-14)*7 + 1406/1 prime?
True
Let d(h) be the first derivative of 28*h**3/3 - 2. Let c be d(1). Is 7/c + 1590/8 a prime number?
True
Let v = 14 + -8. Let t be (1 - 6)/((-2)/2). Suppose -2010 = g - v*g + t*u, g - 392 = -u. Is g a composite number?
False
Let r(n) = -n**3 - 8*n**2 - 8*n + 4. Let x be r(-7). Suppose 6*k - x*k + 28320 = 0. Suppose 8*l - k + 312 = 0. Is l composite?
True
Suppose 3*u = 5*q + 34, -5*u + 0*u = 5*q - 30. Suppose -f + 14 = u. Is (-521)/((-3)/(f/2)) composite?
False
Let z(m) = 1647*m + 110. Is z(11) a prime number?
False
Let y(j) = -10*j + 17. Let v(n) = n**3 + 7*n**2 + 7*n + 7. Let s be v(-6). Let i(g) = -13*g - 1. Let u be i(s). Is y(u) a composite number?
False
Let g(t) = 58*t**2 - 5*t - 8. Is g(-3) a composite number?
True
Suppose -2*s + 9*j + 1091 = 4*j, -2152 = -4*s + 4*j. Let o = -378 + s. Is o a prime number?
False
Let t(b) = b**3 - 9*b**2 + 4*b - 3. Suppose 11*a - 13*a + 8 = 0. Suppose -3*l = -a*j - 0*j - 27, 4*l - 36 = -j. Is t(l) prime?
False
Let i(z) = 4*z**3 - 5*z**2 - 6*z + 16. Let g(a) = -11*a**3 + 14*a**2 + 17*a - 49. Let v(x) = 6*g(x) + 17*i(x). Is v(11) prime?
False
Let t(f) = -f**3 - 11*f**2 + f - 11. Let r be t(-13). Suppose 352 = 3*v - r. Let y = v - -277. Is y prime?
True
Suppose 0 = c - 0*c + 5*q - 19278, 4*c + 2*q = 77130. Is c prime?
False
Let n(z) = 16*z**3 + z**2 + 5*z - 3. Is n(2) prime?
True
Suppose f = 2*f - 491. Suppose -4*b + 753 = -f. Is b a composite number?
False
Suppose 2*q + 2*w + 8 = 0, -2*q + 4*q = -5*w - 20. Let f be (0 - q) + (9 - -1). Let i(a) = 3*a**2 - 15*a + 13. Is i(f) prime?
True
Let y(l) = 389*l - 56. Is y(5) a composite number?
False
Let d(w) = 51*w**2 + 18*w - 7. Is d(8) a prime number?
False
Let s be 5/(5/(-129)) + -1. Let t be (1 + -2)*s/2. Let g = -40 + t. Is g a prime number?
False
Let t = 21691 - 14255. Let r = 13215 - t. Is r a prime number?
True
Let n be 46/((-2)/(-1)) - (3 - 1). Is 7929/(-2)*(-14)/n a composite number?
True
Suppose -94944 = -4*u + 4*i, 2*i - i = 5. Is u prime?
True
Suppose a + 2*a - 4*d = -4, 4*a = -5*d - 26. Let p be (0 + 0)*2/a. Let l(g) = -g + 221. Is l(p) a composite number?
True
Suppose 4*h - 4*n - 25473 = 59, 5*n - 6359 = -h. Is h a prime number?
True
Is 7*239 - 0/(-6) prime?
False
Let g = -4475 - -11626. Is g a prime number?
True
Let t = -178 + 338. Suppose 2*g + 251 = -0*d + 3*d, 0 = -2*d + 5*g + t. Is d a prime number?
False
Suppose 3*y - 15 = -2*y. Suppose -y*k = 2*v - 1325 - 170, 5*v + 3*k = 3760. Suppose 90 = -5*b + v. Is b composite?
True
Let i = -4089 - -7352. Is i prime?
False
Let x = -429 - -1138. Suppose 537 = -2*u - 411. Let f = x + u. Is f a prime number?
False
Let p(s) = 238*s**2 + 6 - 2 - 236*s**2 - 36*s**3 + s. Is p(-2) composite?
True
Let z(o) = o**3 - 13*o**2 - 15*o + 16. Let x be z(14). Let g be (x/6 - 1)*-3. Suppose -d - u + 131 = -0*d, -g*u - 500 = -4*d. Is d a prime number?
True
Let m = 187 + -280. Suppose 0 = -0*i + i - y - 215, -2*y = 3*i - 670. Let u = m + i. Is u a composite number?
False
Let l(k) = 7314*k - 107. Is l(2) composite?
True
Let s = 2379 + -1256. Is s a composite number?
False
Let g(y) = y - 3. Let w be g(8). Suppose -5*t - 2*a - 5 = 2, 4*t + a = -w. Is (2763/(-18))/(t/2) a composite number?
False
Let r = -531 + 1645. Is r a composite number?
True
Suppose 3*q = -0 - 3, -2*q = 4*h - 10. Let g(o) = -22*o. Let y be g(h). Is y/(-12)*(6 - 0) composite?
True
Suppose -6*l + 4*l = -16788. Is 6/9 - l/(-18) prime?
True
Let v(o) = 30*o**2 - 3*o + 34. Let h be v(7). Let r = h - 942. Is r composite?
False
Suppose 3*b + u - 24438 = 0, -b - 2*u + 8135 = 2*u. Is b prime?
True
Suppose 3*k = -0*k + 168. Suppose 0 = t + k - 149. Is t a prime number?
False
Let z be 54/12*4/3. Suppose 2*n - z*n + 527 = -3*k, -2*n + 4*k = -256. Suppose -d + 101 = d + v, 3*d + 5*v - n = 0. Is d a prime number?
True
Suppose -p = 4*p - 20. Let l = p - -4. Suppose -1 = -3*m + l. Is m composite?
False
Let q = -22756 - -32793. Is q a composite number?
False
Is (4 - 2)/((-20)/(-30790)) composite?
False
Suppose -4*o = 16, o + 12074 + 26935 = 5*v. Is v composite?
True
Let j = -12505 + 8588. Let x = -1768 - j. Is x prime?
False
Let z = 833 - -16784. Is z a prime number?
False
Let k(n) be the first derivative of 65*n**2/2 - n - 5. Is k(3) a composite number?
True
Let l(a) = 81*a**2 + 23*a + 107. Is l(-11) prime?
False
Suppose -4579 = -f - 32. Is f a composite number?
False
Let c(t) = -t**2 - 15*t - 14. Let b(f) = f + 1. Let g(r) = 6*b(r) + c(r). Let z be g(-7). Is (-370)/(-12) + z/36 a composite number?
False
Let x(p) = -38*p**2 - 13*p + 6. Let i(c) = -57*c**2 - 19*c + 9. Let y(g) = 5*i(g) - 8*x(g). Is y(5) a composite number?
True
Let x = -4 + 3. Let d(l) = -10*l + 5*l - 10*l. Is d(x) prime?
False
Suppose 0 = 4*l - f - 4, -5*f = 5*l - f - 5. Let m(t) = -11*t**3 - 2*t**2 + 3*t - 2. Let d be m(l). Let r = d + 14. Is r composite?
False
Let l(v) = 999*v + 184. Is l(13) a composite number?
False
Let d(g) be the first derivative of 3*g**2 + 25*g + 4. Is d(7) prime?
True
Let z = 103 - 99. Suppose -6*v + 2*v + 16169 = 5*i, -2*i + z*v + 6462 = 0. Is i a prime number?
False
Suppose -2*l + 12277 = -2*k + 85943, 5*l - 73666 = -2*k. Is k a composite number?
False
Suppose j - 3*x + 265 = 3290, -9123 = -3*j - 3*x. Is j composite?
False
Is (-43208 - -1)*(-8 - -7) composite?
False
Let g = 2513 - 1426. Is g a composite number?
False
Let b be (0 - 1)*((-118)/2 + -3). Let t = b - -71. Is t a composite number?
True
Let f(s) = 374*s + 1257. Is f(68) composite?
True
Let a(y) = 2*y - 2. Let u be a(6). Let i(z) = 11*z + 7*z - 11 + 2 - z. Is i(u) composite?
True
Let v(q) be the third derivative of -q**6/10 + q**5/60 + 11*q**4/24 - 3*q**3/2 + 8*q**2. Let x be v(4). Let l = x - -1604. Is l a composite number?
False
Is 23194/3*(-6)/(-4) a prime number?
True
Suppose 0 = o - 5*l + 1989 - 5352, -o = 4*l - 3327. Is o a composite number?
False
Let t(l) = -5*l**3 + l**2. Let o be t(-1). Suppose -12532 + 2590 = -o*q. Is q prime?
True
Let i(p) = 43*p**2 - 3*p - 47. Is i(19) prime?
False
Let o(q) = -10 - q**3 + 9*q**2 + 8*q - 17*q**2 + 0*q. Let m be o(-9). Is m/(-3*(-4)/(-1332)) a composite number?
True
Let h = 40 - 36. Suppose 0 = h*v - 13*v + 198. Is v prime?
False
Let j = -11 + 14. Suppose -y = 5*r - 1540, 0 = -5*r + r + j*y + 1213. Is r prime?
True
Suppose -3*z - 4 + 19 = 4*o, 4*z + 2*o - 20 = 0. Suppose 0 = -z*r + 128 + 77. Is r/2*(-52)/(-2) a composite number?
True
Let a(i) = 2*i**2 - 5*i - 3. Let x be a(5). L