1. Let h be (-3387)/u + 2/(-7). Suppose 1506 - h = 5*n. Is n prime?
True
Suppose 3*c + 2*c = 0. Suppose 95 = -o - c*o. Let s = o + 532. Is s a composite number?
True
Let p(w) = -44*w**3 - 18*w**2 - 20*w + 19. Is p(-7) composite?
False
Let y(t) = t**3 - t**2 - t + 4. Let f be y(0). Let n be f - 2*(-1)/(-2). Is (-39)/((n - 5)/2) composite?
True
Let x = -3666 - -10984. Is x a prime number?
False
Is (-56)/42 + 449934/18 composite?
True
Suppose 6*r - 3*r = 12. Suppose w - 117 = -k, w - 349 = -2*w - r*k. Is w composite?
True
Suppose s + 3*q - q = 13, -s + 2*q = -9. Suppose v = -s - 0. Let u = 48 + v. Is u a prime number?
True
Let x be 3/(-2)*(-144)/27. Suppose -k + 227 = -d + 5*d, 2*d - x = 0. Is k a prime number?
True
Let y(l) = -3*l**3 + 5*l**2 - 2*l - 7. Let p be y(-6). Suppose -4*r - 5*a = -978, -137 - 104 = -r - 3*a. Suppose 2*t = p - r. Is t prime?
True
Let a(k) = 428*k**2 - 13*k - 5. Let j be a(-4). Suppose -2*x + j = 3*x. Is x composite?
True
Let i(w) = -7*w**3 + 4*w**2 + 2*w + 185. Is i(-12) composite?
True
Let j(t) = -t + 5. Let k be j(3). Suppose -358 - 980 = -2*y - 5*g, 1354 = k*y + g. Is y a composite number?
True
Let h = -10 + 6. Is h - (0 + -5)*109 prime?
True
Suppose 105*g = 121*g - 919408. Is g composite?
True
Is 902 + (3 - (-2 + 6))/1 composite?
True
Let c be (4/6)/(8/60). Suppose c*j - 7*j + 148 = 0. Is j prime?
False
Let q be 2 + -2 + 6/2. Let z = -1791 + 3097. Suppose 3*u + 3*b = -2*u + z, 0 = -q*b - 9. Is u a prime number?
True
Let l = 54675 + -21364. Is l prime?
True
Suppose 0 = -5*d + 9907 + 20008. Is d prime?
False
Let d = 16 - 16. Let x(w) = w**2 + w - 2. Let m be x(d). Is (m/6)/(5/(-315)) composite?
True
Let a(l) = 757*l**2 + 2*l + 51. Let g be a(10). Suppose 14*t + g = 23*t. Is t composite?
False
Suppose 0 = -q + 85 + 27. Let c = -89 - -35. Let y = c + q. Is y prime?
False
Let a be (1 + 1)*2292/24 - 1. Suppose -2*s = -2*i + 2*s + 386, i = s + a. Is i a composite number?
True
Let q = -1047 - -452. Let t = 890 + q. Is t composite?
True
Let w(a) = -2 - 6 + 11*a**2 + 9*a - 5 - 15*a. Is w(-8) prime?
True
Is ((-23006)/(-5))/(8 - (-156)/(-20)) a composite number?
True
Let u = -29 - -30. Let t(j) = 95*j - 1. Is t(u) a composite number?
True
Let s(u) = u**2 - 15*u + 2. Let b be s(15). Is (-6 + 54/(-12))*b/(-1) prime?
False
Let d = -117737 + 170924. Is d a prime number?
False
Suppose -3878 = 3*o - u + 8552, -16580 = 4*o - 3*u. Let z = -2295 - o. Is z prime?
True
Let d = 1497 - 850. Is d prime?
True
Let g(y) be the second derivative of -y**5/10 + y**4/12 - 5*y**3/3 - 3*y**2 - y. Is g(-4) composite?
True
Let a(w) be the first derivative of 55*w**3/6 + w**2/2 + 3*w + 4. Let j(y) be the first derivative of a(y). Is j(6) composite?
False
Is 4465 + (6 - (1 - -1)) prime?
False
Let j = 5 + -16. Let v = 15 - j. Is v composite?
True
Let o be -86*(-15)/2*2/3. Suppose -n + o + 1586 = -d, -2*n + 4033 = -d. Is n prime?
True
Is 140/(-490) + 252830/14 prime?
True
Suppose o + 0*n = -3*n - 7, 2*o + 3*n = -2. Let t(l) = -23*l + 5 - o*l - 23*l + 3*l. Is t(-3) prime?
True
Let v(z) be the first derivative of 110*z**3 + z**2 + z + 1. Suppose h - 4*h = 3. Is v(h) composite?
True
Suppose 2*u - 39 = 987. Let k = -302 + u. Is k a prime number?
True
Let z(k) = 34*k**2 + k. Let d be z(-2). Let w be (-3 - -2)*d - -3. Let m = -94 - w. Is m composite?
False
Suppose g + 3 = 2*g + 2*k, 5*g - k = 26. Suppose 0 = 5*r + 5*m - 15, g*r - m - 22 = m. Suppose 0 = r*q - 0*q - 84. Is q a composite number?
True
Suppose -3 = -6*x + 15. Suppose 0 = 5*f - x*f - 628. Suppose -r - f = -3*r. Is r a composite number?
False
Let f(z) = 1084*z**2 - 15*z - 182. Is f(-7) prime?
False
Suppose -3*p - 19 = -4*t, 2*p = -1 - 1. Suppose -t*f - 2*w = 2*w - 2712, -2 = -w. Suppose -4*v + f = -0*v. Is v a prime number?
False
Let f = -14141 - -23210. Is f prime?
False
Let b = 14834 + -6775. Is b a prime number?
True
Let i be 1/(-9) - (-219)/27. Let f(k) = 13*k**2 + 8*k - 9. Is f(i) composite?
False
Let h(m) = -3*m + 3*m + 8*m + 13*m**2 + 3 + 7. Let l be 10/(4*2/(-4)). Is h(l) composite?
True
Let r be (75/(-4))/(3/(-192)). Suppose 0 = -34*g + 35*g + 281. Let w = g + r. Is w a composite number?
False
Let m(n) = -n**3 + 14*n**2 + 17*n + 19. Let b(x) = x. Let w be b(14). Is m(w) a composite number?
False
Let w = 601 - 599. Let x be (-1)/(-2)*0/(-1). Suppose w*b - 938 = y, -2*y = -b - x*y + 469. Is b a composite number?
True
Let d = 24 - 19. Suppose -d*g = -4*i + 1107 - 221, -4*i - 5*g + 866 = 0. Is i a composite number?
True
Let g(l) = 220*l**2 - l - 10. Is g(-3) a prime number?
True
Let m = -10 + 10. Suppose m = o - 371 - 371. Suppose 4*c - o = 2*c. Is c composite?
True
Let a be (-3 - 16/(-4))*-1597. Let h = a - -2856. Is h a composite number?
False
Let q(t) = -26*t**3 + 2*t**2 + 8*t + 11. Is q(-2) a composite number?
False
Let s = 3398 + -2247. Is s a composite number?
False
Let m be 1*44/4*253. Is m/5 - 20/(-50) a composite number?
False
Let v be (-1044)/(-8)*(-12)/(-2). Let m(x) = -x**3 - 7*x**2 - 13*x - 9. Let h be m(-10). Suppose -h = -4*b + v. Is b composite?
True
Let m = 1520 + -613. Is m prime?
True
Suppose -2*s + s - c = 3, -2*s = -4*c. Is 119 + 0/s + -1 a composite number?
True
Suppose 0 = 4*o - 3*f - 2585, 0*o - 2*o + f = -1293. Is o composite?
False
Let x = 96 + -59. Suppose -x*q + 38*q = 1361. Is q prime?
True
Let l be ((-2 - -1) + 2)*0/2. Suppose -y + 7*y - 2532 = l. Is y a prime number?
False
Suppose 522 + 324 = 3*b. Let c = -202 - -39. Let g = c + b. Is g prime?
False
Let j = -9 + 15. Suppose 4*c + 208 = j*c. Suppose -g - 25 = -c. Is g a composite number?
False
Suppose 390 = -2*w - 2. Let f = w - -471. Suppose f = 5*d - 20. Is d a composite number?
False
Let t(y) = 71*y**2 - 2*y. Let n(k) = -106*k**2 + 3*k. Let m(q) = -5*n(q) - 7*t(q). Is m(-1) a composite number?
True
Let u = -4967 - -10928. Is u composite?
True
Suppose 4*x - 5*t = 15054, -11*t + 10*t - 15046 = -4*x. Is x a prime number?
True
Let c(q) = 19*q**2 - 8*q + 5. Let y be c(5). Suppose y = 8*t - 7*t. Let o = 885 - t. Is o a composite number?
True
Let x(n) = 2*n**2 + n - 2. Let l be x(-3). Let r = l - 8. Suppose 3*u - 310 = -r*d, 4*u - 13 = 7. Is d a composite number?
False
Let b(i) = 0*i - 2*i**2 - 5*i + 3*i**2 - 82*i**3 + 4*i. Let k be b(1). Let z = k + 209. Is z a prime number?
True
Let d(l) be the second derivative of 41*l**4/3 - 13*l**3/6 - 2*l**2 + 9*l. Is d(-3) a composite number?
False
Suppose -2*o - 2*o + 5*u - 5 = 0, 2*o + 15 = 5*u. Suppose -665 + 10 = -o*t. Is t prime?
True
Let p be (-3)/(-2 + (-21)/(-6)). Is 3/((-219)/(-105) + p) a composite number?
True
Let v(a) = -54*a + 0 + 14 - 10. Is v(-5) composite?
True
Let o(g) = 3*g**3 + 7*g**2 - 2*g + 5. Is o(8) a prime number?
True
Suppose -21*m = -24*m + 9267. Is m composite?
False
Let r = 13 + -13. Suppose r = 3*z - 729 + 156. Is z composite?
False
Let g = 21384 - 12667. Is g prime?
False
Let q(x) = 5*x**3 + 9*x**2 - 8*x - 6. Let j be q(-8). Let p = -899 - j. Is p a prime number?
False
Let o(w) = -7*w - 38. Let k be o(-12). Let l = k - -391. Is l a prime number?
False
Suppose -4*u + 28 = 2*d, u = -d + 5 + 4. Suppose -2*s - 2 = -d*s. Is s + 636 + -2 + 0 a prime number?
False
Let z(x) = -17*x + 3. Let l be z(-1). Suppose 22*q = l*q + 2078. Is q composite?
False
Let o(r) be the first derivative of r**3/3 + 7*r**2/2 - 3*r + 1. Let q be o(-8). Suppose q*m - 9*m = -2524. Is m prime?
True
Let o(m) = 5*m**3 + 6*m**2 - 9*m + 1. Let p(s) be the second derivative of s**5/10 + s**4/6 - s**3/2 + 2*s. Let t(g) = 3*o(g) - 8*p(g). Is t(-3) composite?
True
Let q be 3/(3 + -2) + 37. Suppose -2*v - 4 - 6 = 0, -k + q = 5*v. Is k composite?
True
Suppose 3*x + 2*p + 90 = 0, -2*x - x - 4*p = 84. Let b = x + 68. Let c = b - 11. Is c composite?
True
Let t be ((-32)/16)/((-4)/(-86)). Let r = t - -206. Is r a composite number?
False
Suppose -4*w = -4*o + o - 17611, 0 = -2*w - o + 8793. Is w prime?
False
Let s(b) = 2*b**2 - 35*b + 55. Let a(c) = c**2 - 17*c + 27. Let r(n) = 9*a(n) - 4*s(n). Is r(14) a composite number?
False
Let w be 1 - -5397 - 7/7*2. Let b = -3235 + w. Is b prime?
True
Let f(m) = 237*m**2 + 79*m - 17. Is f(7) a prime number?
True
Let a = -3562 + 17153. Is a a composite number?
False
Suppose 7116 + 11436 = t - 2*z, t - 18551 = 3*z. Is t a prime number?
False
Let k(c) = 129