False
Let q be -10*(-2 - -1) + -2. Suppose -2*p = -q, -6 = -2*x + 4*p + 10. Suppose -3*w = v - x, -109 = -4*v - 0*w + 3*w. Is v a prime number?
False
Suppose 2*l + 10749 = 5*p + 6*l, -2*p - 2*l + 4300 = 0. Is p a composite number?
True
Let g be (1 + (-3)/(-6))*-10. Let f = g + 202. Is f composite?
True
Let d = 109 + -236. Let b = -74 - d. Is b a composite number?
False
Let v be 18*1 + (2 - 3). Let i = v + -7. Is i a prime number?
False
Let r(j) = 15*j**2 + 2*j - 1. Let d be r(1). Suppose -2*q = 2*q - d. Suppose q*u = -u + 155. Is u prime?
True
Let b(h) be the first derivative of h**4/4 + 2*h**3 - 3*h**2/2 + 4*h - 1. Suppose -4*a - 15 = -k - 1, 3*k - 5*a = 7. Is b(k) prime?
False
Suppose 30*v - 25*v - 10315 = 0. Is v prime?
True
Suppose 4*d - 4*u - 172 = 0, -d - 2*u + 46 = 15. Suppose 5*h - 48 = 2*h. Let i = d - h. Is i a composite number?
False
Let z(l) = 13*l**2 + 7*l + 1. Is z(12) prime?
False
Is 9/6*680/12 prime?
False
Suppose 4*t = 0, -2*t - t + 27 = 3*l. Let f = -8 + 40. Suppose -l = w - f. Is w prime?
True
Suppose -2*z = 3 + 1. Let v = z - -5. Suppose 391 = v*f + 124. Is f a composite number?
False
Let v = 1 + 0. Let o(r) = 7*r - 2. Let q be o(5). Is v*(q - (-4)/2) a composite number?
True
Suppose 0*v - v + g + 331 = 0, -1310 = -4*v - 3*g. Is v a prime number?
False
Suppose 5*c + 4*v + 243 = 0, c - 4*v + 16 + 47 = 0. Let k = c - -97. Suppose 4*b - k = 2*b. Is b a prime number?
True
Let t(v) = v**3 - v**2 + v + 2. Let a be t(0). Suppose a*k + 2*k - 444 = 0. Is k a prime number?
False
Let q be ((-6)/9)/(1/3). Is (q - -1)/((-2)/62) a prime number?
True
Let h be (-2)/(-4)*(-1 + 5). Let w(q) be the first derivative of q**4/4 + q**2/2 + q - 2. Is w(h) a composite number?
False
Suppose 0*q - 48 = -4*w - q, 5*w - 60 = -q. Suppose w*u - 10*u - 530 = 0. Is u a prime number?
False
Suppose -7 = -o - 4*l, -2*l + 5 = 2*o - 3*l. Suppose 4*j - 8 = 2*h, o*j + 0 = h + 6. Let d(i) = -i**3 + i**2 + i + 37. Is d(h) a composite number?
False
Suppose 0*g - 40 = -2*g + 2*x, -g + 32 = 5*x. Let t be g/(-10) - 1/(-5). Is 38/(4 - (t + 4)) prime?
True
Is 11 + -13 + 2335/1 a prime number?
True
Suppose -4*c - l + 0*l = -5, 3*c + 4*l - 20 = 0. Suppose -2*r - 5 = -h - 2, -5*h + r + 15 = c. Is (-1 + -1 + h)*67 a composite number?
False
Let w be (-1)/(-5) - (-768)/10. Suppose r + 0*r - w = 0. Is r a composite number?
True
Is (-340)/(-8)*2 + 0 + 0 composite?
True
Let o = -11 + 23. Suppose -5*w - 3*z = -1, -5*z - o = 3*w - 3. Suppose -2*f = w*f - 628. Is f prime?
True
Let a(g) = 59*g + 1. Is a(4) prime?
False
Let z = 2439 - 1432. Is z composite?
True
Let n(z) = -z**3 - 9*z**2 - 8*z + 3. Let j be n(-8). Is ((-2)/(-4))/(j/330) a prime number?
False
Let y = 2 - 0. Suppose 454 = 4*m + y*i, i + i + 563 = 5*m. Is m a composite number?
False
Suppose -93 = -2*l + 3*h, h = 5*l - 0*l - 265. Let m = l + -23. Is m a prime number?
True
Suppose 4*y - 5*y = -2*b + 12, 5*y + 4 = 3*b. Let v = b + -5. Suppose 0 = -2*t + 8, 31 = a + v*t - 5*t. Is a a composite number?
True
Let u = 6 + 49. Is u prime?
False
Let k(n) = 2 + 0 + 108*n - 39*n. Is k(3) composite?
True
Let k = 0 + 2. Suppose 17*c + 21 + 47 = 0. Is (-358 - 0)*k/c composite?
False
Let u(b) = b**2 - 10*b + 21. Is u(26) a prime number?
False
Suppose 21 + 10 = -5*q + 3*y, -4*q + 5*y - 30 = 0. Is (4/q)/(8/(-220)) prime?
False
Suppose 0 = -2*o - 2*o + 16. Suppose -o*j = -0*j - 20. Suppose j*v = 140 + 515. Is v prime?
True
Let n = 233 + 210. Is n a prime number?
True
Is (15/10)/((-3)/(-4)) prime?
True
Let w be 4/((-2 + 5)/18). Let c = -3 + w. Is c a composite number?
True
Is (2/(-3))/(4/(-534)) + -2 composite?
True
Let b(g) = -g**2 + 3 - 3 + 4*g. Let u be b(2). Is 3268/36 - u/(-18) prime?
False
Suppose 9*s = 5*s + 12. Is 74*(2 - -2) - s prime?
True
Let i(y) = 33*y - 1. Let j(a) = -a. Let d be j(-8). Is i(d) prime?
True
Suppose 0*s - 4*l = -4*s + 184, 275 = 5*s + 4*l. Is s composite?
True
Suppose -3*g + 24 = -4*a + 250, 3*g + 227 = 5*a. Suppose -r + 218 = r. Let u = g + r. Is u a composite number?
True
Suppose 6*u - u = -4*w - 209, 139 = -3*u + w. Let j = u + 124. Let x = j + 18. Is x a prime number?
True
Let t be (-4)/(-18) - (-922)/(-18). Let b be (-4)/10 - t/15. Is (-81 + 2)/(2 - b) a prime number?
True
Let c = -5 - -1. Is 42/35*(-290)/c a prime number?
False
Suppose -4*r + 1780 + 176 = 0. Is r a prime number?
False
Let w = 1606 - -1549. Is w a prime number?
False
Let h(p) be the second derivative of -p**4/12 + 3*p**3/2 - 5*p**2/2 + p. Is h(4) a prime number?
False
Let j(d) = d**3 + 28*d**2 - 6*d - 54. Is j(-23) composite?
False
Let o(i) = 0 + 3*i**2 + 1 - 2 + 16*i**2 + i. Let a be 2/4 - 2/(-4). Is o(a) a prime number?
True
Let w = -11 - -96. Is w prime?
False
Suppose -2*s + 3*l + 10 = 0, 6*l - 2*l = 3*s - 15. Let o = s + 2. Let k(f) = -f**3 + 9*f**2 - 9*f. Is k(o) a composite number?
True
Let p be 1/((-2)/6) + 1. Is (4/6)/(p/(-33)) a prime number?
True
Is 1 - ((-4560)/35 + 4/14) a prime number?
True
Suppose -5*t + 2*t + 4083 = 0. Is t a composite number?
False
Let i = 647 - 294. Is i a prime number?
True
Suppose 0 = -2*r - 2*r + 28. Suppose 2*y + 1 - r = 0. Suppose i + 5*o = 152, 313 = 2*i + y*o - 2*o. Is i prime?
True
Let w(o) = 5*o + 6. Suppose -5*t - 5*j + 5 = 0, 3*j - 21 = -t + 7*j. Is w(t) prime?
True
Let m be (8/12)/((-2)/(-36)). Let y = m + 25. Is y a prime number?
True
Let y be ((3 - 0) + -1)*1. Suppose 0 = -y*z + 4*l + 114, z - l + 9 = 64. Is z a prime number?
True
Let h = -762 + 1074. Suppose -5*x = -2*g + 156, 4*g - 2*x = -x + h. Let y = -45 + g. Is y a composite number?
True
Let g = 420 - 287. Is g prime?
False
Let x = 221 + 36. Is x a composite number?
False
Is 1 + -1 + -8 + 105 prime?
True
Let t(f) = 16*f + 4. Let a be t(-18). Let w = -61 - a. Is w a composite number?
False
Suppose 3*z + z - 16 = 0. Suppose 24 = 8*r - z*r. Is r a composite number?
True
Let g(p) = p**2 + 12*p + 8. Let m be g(-9). Let v = m - -114. Is v a composite number?
True
Suppose -5*r + 11 = 31. Let f = r - -8. Suppose -100 = -f*o + y - 5*y, -2*o + 30 = -3*y. Is o a composite number?
True
Let a(z) = -3*z + 0*z + 4*z + 19 + 0*z. Is a(0) composite?
False
Let h(j) = -j**2 + 7*j + 11. Let b be h(8). Is (-4)/(-2)*159/b prime?
False
Is (-1 + 23)/((-8)/(-124)) prime?
False
Suppose 2*r = -4*d + 24, 5*d - 6*r = -2*r + 43. Suppose -12 = x - 3*g, -3*x - 5*g = -d - 27. Suppose 4*y + z - 471 = 0, 4*y - 368 - 93 = -x*z. Is y prime?
False
Let y(k) = -k + 5*k - 1 + 3*k - 4. Is y(4) composite?
False
Let h(r) = 2*r**3 + r**2 - 3*r + 3. Let s be h(5). Suppose -159 = -2*x - 6*w + w, 4*x - s = w. Is x a composite number?
False
Is (-4)/(-10) - 1172/(-20) a composite number?
False
Let w(s) = -2 + 2*s + 7 - 1 - 1. Is w(10) a composite number?
False
Is 0 + 146 + (-3 + 3)/2 a prime number?
False
Let q be 2/9 + (-175)/(-63). Suppose -4*d = -2*c + 72, 52 = -4*c - q*d + 251. Suppose -z = -0*z - c. Is z a composite number?
True
Let i(h) = h**3 + 7*h**2 - 7*h - 3. Let f(r) = -r**3 + 6*r**2 + 6*r. Let v be f(7). Is i(v) a composite number?
True
Suppose 2*h = -4*y + 24, 4*y - 12 = -0*y + 4*h. Suppose y*x = 143 + 72. Is x a composite number?
False
Is (1 + 2/2)*2402/4 a prime number?
True
Let w be (3/(-2))/((-9)/(-24)). Let q(i) = 9*i**2 + 5. Is q(w) a prime number?
True
Let d be 2 + (-2 - -2*3). Let z(n) = -9*n + 2. Let i be z(d). Let g = i - -75. Is g a composite number?
False
Suppose -4*j - j = -4*a - 1215, 4*a = -20. Is j prime?
True
Let j(m) be the third derivative of -m**6/120 + m**5/15 - m**4/8 + 3*m**2. Let b be j(2). Suppose 4*n = 2*a + 362, -b*n + n = -2*a - 89. Is n a prime number?
False
Let g = 23 + -15. Let o = g - 8. Suppose f = 4*u + 71, o*f - f + 96 = u. Is f prime?
False
Let b = -4176 - -7898. Let w = b + -2029. Is w a composite number?
False
Suppose -5748 = -4*g - 4*n, -g = n + 2*n - 1437. Is g a prime number?
False
Let x = 175 + 171. Is x prime?
False
Suppose 4*t - 2995 - 465 = 0. Is t composite?
True
Let r = -9 + 11. Suppose -3*d = r*d - 2935. Is d a prime number?
True
Suppose -1088 - 1929 = -w. Is w prime?
False
Let w(y) = y**3 - 7*y**2 + 5*y - 2. Suppose 5*t = t + 28. Is w(t) a prime number?
False
Let b = 54 + 73. Is b composite?
False
Let k = 18 + 0. Let d = k + 3. Is d prime?
False
Let k = 997 + -642. Suppose -4*v = -k - 297. Is v composite?
False
Let q(j) = 