r - 2*u + 6 = -j, -5*r + u + 85 = 0. Suppose 0 = 5*y - r - 173. Is y prime?
False
Let t be (-2 + -235)/(2/(-4)). Is t/(-9)*(-3)/2 prime?
True
Let i(t) = t**3 + 2*t**2 - 4*t. Suppose 2*k + 2*j + 6 = 5*j, 0 = 3*j. Let n be i(k). Is 2/n + (-38)/(-6) a composite number?
False
Let o = -152 - -107. Let q(y) = -y**3 + 10*y**2 + 3*y. Let w be q(5). Let x = o + w. Is x composite?
True
Let t(m) = -m**3 - 3*m**2 - 3*m - 3. Let l be t(-4). Let n be 5/2*(4 - 2). Suppose -5*s = -20, -4*s - s - l = -n*k. Is k composite?
True
Suppose -3*d - 125 = -746. Let x = -76 + d. Is x a prime number?
True
Suppose 0*s = 4*s - 296. Suppose b = -b + s. Is b a prime number?
True
Suppose -5*z = -5 - 5. Is (-4)/z*(-478)/4 prime?
True
Let q = -52 - -383. Is q a prime number?
True
Suppose 8 = 4*q - 0. Let v be q*(-9)/12*-38. Suppose 2*u + v = 5*u. Is u a prime number?
True
Suppose -4 - 14 = -2*g - 2*d, -g = 5*d - 21. Is g a composite number?
True
Let p(f) = -27*f + 5. Suppose 2*s = -4*l + 12 - 4, s - 10 = -5*l. Suppose s*h - 4 = h. Is p(h) a prime number?
True
Let i(k) = 11*k**2 + 7*k - 3. Let t be i(-12). Let l = t + -938. Is l a composite number?
True
Let z be (-3)/((-9)/6) + -2. Suppose k + z*k - 45 = 0. Let v = k + 34. Is v composite?
False
Let v be (-6)/4*(-3 + 5). Is -2 + 1/(v/(-75)) composite?
False
Let z = -4 + 6. Let y be (-2)/((-1)/(3 - z)). Suppose -38 = -6*u + 3*u - 4*n, y*u + 5*n - 37 = 0. Is u composite?
True
Suppose 1 + 3 = 4*l, 3*l = -2*z + 31. Suppose 0 = -v + z + 146. Is v - ((-4)/(-2))/2 prime?
False
Suppose 2*u + 12 = -2. Let b be (21/u)/(3/4). Is b/(4/(-2)) + 147 composite?
False
Let q(s) = -560*s - 21. Is q(-7) a prime number?
False
Suppose 4*k = 3*b + 205, -3*k + 99 = -b - 51. Is k a prime number?
False
Is 11130/50 + 2/5 composite?
False
Suppose -92 - 1351 = -3*n. Is n a prime number?
False
Suppose 4*c - 5 - 3 = -3*a, -3*a - c = -2. Suppose u + 3*r - 4*r = 421, -3*u - 2*r + 1253 = a. Is u a prime number?
True
Let b = 18 + -32. Is ((-7)/b)/(2/844) composite?
False
Suppose 9 = t + 2*n, 0 = 3*t + 2*n - n - 27. Is t composite?
True
Let o(k) = k**3 + 7*k**2 - 5. Let d be o(-7). Let b be (-1)/(((-10)/12)/d). Is 119/(3/b*-2) prime?
False
Suppose 4*z = b + b - 24, 2*z = -2*b. Suppose 0 = 5*g + 5*y - 1190, -3*g - 19 + 736 = b*y. Is g composite?
True
Is (2/(-4))/((-9)/2412) a prime number?
False
Is 298*(-1)/(-2) + 0 a composite number?
False
Let j be ((-8)/(-12))/((-4)/(-12)). Suppose j*l + 5*b - 59 = 266, 12 = 4*b. Is l a composite number?
True
Suppose -2*q - w = q - 956, -q + 2*w + 321 = 0. Is q a composite number?
True
Let i(l) = 0*l**2 + 8 + l + l**2 - 8*l. Let x be i(7). Suppose 5*k - r - 119 = 0, -k = -3*r - 27 - x. Is k composite?
False
Let m(u) = u**3 - 16*u**2 + 13*u - 17. Is m(18) composite?
True
Suppose -i - 2*i + 6 = 0. Let r(v) = -v**2 + 8*v - 10. Let k be r(7). Is k/(-6)*19*i a composite number?
False
Suppose -2*f = f - 84. Suppose 2*j - 3 = -3*v - 1, -f = -2*v + 4*j. Suppose c = v*c - 195. Is c composite?
True
Suppose -12*b + 1497 = -9*b. Is b prime?
True
Let d = 1963 + -1044. Is d composite?
False
Is ((-166)/6)/((-2)/18) a composite number?
True
Suppose 12 = 3*w - 3*z, 0 = -3*z - 2 + 8. Let h(b) = 2*b**3 - 5*b**2 + 2*b - 7. Is h(w) a composite number?
False
Suppose y - 523 = 2*z + z, -y - z = -515. Is y a composite number?
True
Let x(j) = j**3 - 7*j**2 + 7*j - 2. Let o(i) = 3*i**3 - 20*i**2 + 21*i - 7. Let t be (-2)/(3*(-1)/(-12)). Let r(a) = t*x(a) + 3*o(a). Is r(4) prime?
True
Suppose -2*x + 988 - 237 = 5*c, -143 = -c + 2*x. Is c prime?
True
Let n = 273 + 236. Is n a prime number?
True
Let n(i) = -i - 7. Let d be n(-12). Suppose d*g = -4*q + 169, -4*q - 4*g + 0*g = -164. Suppose 0 = 3*v - q - 81. Is v prime?
False
Let u = 69 + -189. Let f = -33 - u. Is f a composite number?
True
Let l(k) be the first derivative of -k**3/3 - 3*k**2 + 7*k + 2. Let t be l(-5). Suppose t = y - 3*i, -y - i - 9 = -3*y. Is y a prime number?
True
Let k = 14 - 9. Suppose -q = -k*q. Suppose -u - 2 = 1, q = -y - 4*u - 2. Is y composite?
True
Suppose -4*w = -2*w - 32. Suppose 5*j = -4*t + j - w, 0 = 3*j + 15. Let o(v) = 58*v + 1. Is o(t) a prime number?
True
Let y = 42 + -21. Suppose 7*r + y = 4*r. Is 2/r + (-1110)/(-14) a prime number?
True
Let f be ((-36)/(-10))/(5/200). Let t = f - 95. Is t prime?
False
Let v(w) = 0*w**2 - 1 - 3*w**2 + 2 - 7*w**3 - 2*w. Let u = -7 + 5. Is v(u) a prime number?
False
Suppose 2*i = 3*x - i + 3, -5 = -x - i. Let m(t) = -2*t + 0*t**x + 7*t + 3 + 6*t**2 - 7. Is m(3) a composite number?
True
Suppose -5*t - i + 52 = 2*i, 4 = 3*t - 5*i. Let x = t + -2. Let h(v) = 15*v + 1. Is h(x) prime?
False
Let u(k) be the first derivative of 7*k**2 - 3. Let a be u(2). Suppose v + f - a = -0*v, 0 = -5*f - 15. Is v composite?
False
Let p(k) = 64*k + 2. Suppose 0 = -11*q + 8*q + 9. Is p(q) a prime number?
False
Suppose -39 = 5*m + 76. Is (m/(-2))/(2/28) composite?
True
Is 4907 - 10/15*-6 prime?
False
Let n(w) = -3*w**3 + 4*w**2 - w + 2. Let g be n(3). Let c be (-1)/2 + (-5)/(10/141). Let h = g - c. Is h composite?
True
Suppose -l + 3*g = -11, 3*l + 5*g = 7*l - 30. Suppose 0 = -l*j + 335 + 240. Is j composite?
True
Suppose z + 3201 = 4*p, -2*p + 5*z = -0*z - 1623. Is p prime?
False
Let j = 4090 + -2619. Is j a composite number?
False
Let s = -11 - -16. Suppose 651 - 16 = s*u. Is u a composite number?
False
Suppose 3*f + 2*f = 100. Let c = -14 + f. Is (1 + (-6)/(-4))*c a composite number?
True
Let f = -39 - -158. Is f prime?
False
Let k(x) = -x**3 - 10*x**2 - 2*x - 7. Let u be k(-10). Suppose 0 = -u*g + 9*g + 148. Is g a composite number?
False
Suppose -1271 = -5*o - 2*z, o - z = -0*z + 250. Is o a composite number?
True
Let v(r) = 21*r - 2. Is v(7) prime?
False
Let h(m) = -m + 1. Let a be h(0). Suppose 0 = 4*l + a - 61. Is l a prime number?
False
Let c = -8 - -11. Suppose 33 = -2*o + c*o. Is o prime?
False
Suppose 4*w - 15 - 5 = 0. Suppose 7*t - w*t = 286. Is t prime?
False
Suppose 0 = 5*u - 6*x + 2*x - 6, -1 = -2*u + 3*x. Suppose 5*g + 222 = u*s, -3*s + 333 = g - 0*g. Is s prime?
False
Suppose 2*h + 2 = 0, l = -3*h + 6*h. Let u = -2 - l. Is 0 + 11 + -1 + u a prime number?
True
Let k(v) = -2*v**2 - v + 19. Is k(0) a prime number?
True
Is (2 + (-1671)/(-9))*3 prime?
True
Suppose -3*u = -0*u + 15, -t + 5*u + 37 = 0. Let v = t - 39. Let m = v - -82. Is m a prime number?
False
Suppose -483 - 627 = -3*f. Let v = f + -249. Is v a composite number?
True
Suppose 13 = 3*u - 2. Suppose -10 = -u*k, x - 113 = 5*k + 134. Is x prime?
True
Suppose 0*l = -6*l + 36. Let c(k) = 37*k - 11. Is c(l) prime?
True
Let u(x) = 16*x**3 + 2*x + 2. Is u(2) a composite number?
True
Suppose -4*s = -1389 - 287. Is s composite?
False
Suppose -9 = -4*i + 3*m - 0*m, 2*m - 17 = -5*i. Suppose -j + i*j + 10 = 0, 5*j + 25 = a. Is (-1 - a/(-1))*-85 a prime number?
False
Is 2322 - (-1 - 0*(-1)/4) a prime number?
False
Is (-1)/(-4) + (-43096)/(-32) a prime number?
False
Suppose -3*o + 9 = 2*n, -2*o - o + 6 = 3*n. Suppose -3*s + 3*i = 246, 6*s - s + o*i + 420 = 0. Let j = -48 - s. Is j a composite number?
True
Let c(o) = 17*o**3 + o**2 - 2*o + 3. Is c(2) composite?
False
Let q be (3/5)/(5/25). Suppose 3*b - 617 = -q*f + 133, 3*f - 1252 = -5*b. Is b composite?
False
Let b = -15 - -31. Suppose -j + 5*x + b = -0*j, 0 = j - 4*x - 15. Is j a composite number?
False
Let k(s) = 6*s**2 - 9*s + 2. Is k(-7) composite?
False
Let a(k) be the first derivative of 59*k**6/120 - k**5/120 - k**4/24 + k**3/3 + 1. Let m(h) be the third derivative of a(h). Is m(-1) a prime number?
False
Let z = 585 - 134. Is z prime?
False
Suppose 3*f = -2*j + 4952, -2*f - 4*j = -5*f + 4982. Suppose 5*z = 3*p + 205 + f, -4*z + 1488 = -2*p. Is z prime?
True
Let o(w) = -w**3 + 7*w**2 - 6*w + 3. Let g be o(6). Suppose 2 + 23 = u + g*k, 3*u - 15 = 3*k. Is u composite?
True
Suppose u = 1 - 2. Is (-1)/(2/86*u) a composite number?
False
Suppose 0 = -5*v - 4*m + 1007, 2*v + 2*v = -3*m + 806. Is v a prime number?
False
Suppose 3*h = -3*x + 1236, -4*x + x = -5*h - 1212. Is x composite?
False
Suppose 4 - 7 = -z. Suppose 4*t = -t - 4*r + 733, -z*t + 4*r + 427 = 0. Is t a composite number?
True
Let w(t) = -t**3 + 22*t**2 + 9*t - 7. Is w(11) a composite number?
False
Let v(x) = x + 4. Let p be v(-7). Is 31*-3*p/9 a prime number?
True
Suppose f = 4*i + 