 Suppose 5*h + 3*t - 9 = 0, -t + r = 6*h - h. Suppose 4*p + 2*d = 26 + 114, 5*p - 2*d - 193 = h. Is p a prime number?
True
Let o(b) = -b - 1. Let y be o(-6). Suppose y*w - 632 = 1053. Is w composite?
False
Let v(i) = 9*i. Let d be v(1). Suppose 0 = d*c - 13*c + 340. Is c a composite number?
True
Suppose -3*n + 13 = -5. Let o be (-3)/9 - (-14)/n. Suppose 0 = 2*j - 4*y - 30, -o*j - 5*y + 45 = j. Is j prime?
False
Suppose -5*d + 10*d = 0. Is (1 - 1) + 3 + d prime?
True
Suppose 0 = -a - 2*t, -3*a - t - 9 = -4*a. Let c(r) = 3*r**2 + 5*r + 5. Is c(a) a prime number?
False
Is (8/24)/(-1*1)*-231 composite?
True
Let d(b) = -b + 0 + 3*b + 4. Let r be d(-5). Is 20*(1 - r/8) a composite number?
True
Let j = 34 + -3. Let k = -56 + j. Let q = k - -56. Is q prime?
True
Let w = -12 + 5. Let n(y) = -y - 4. Let l be n(w). Suppose -l*d + 11 = -2*d. Is d a prime number?
True
Let d(h) = -h**2 + 4*h + 5. Let k be d(4). Let p = 12 - k. Let x(r) = 3*r + 5. Is x(p) a composite number?
True
Let j = -10 - -9. Is -5 - -42 - (j - -3) prime?
False
Suppose 3*b - 5*i = -7*i + 21341, 3*b - 21351 = 3*i. Is b a composite number?
True
Let b(k) = 82*k - 3. Suppose -2*n = 3*n + 20. Let u be 1*3/(-6)*n. Is b(u) a prime number?
False
Suppose -8*p = -5*p - 261. Is p composite?
True
Suppose 4*x + 4*l = 28, l = -2*x + 9 + 2. Suppose -3*c + 5*a = -64, 0 = -x*c - 3*a + 87 + 37. Let i = c - 15. Is i prime?
True
Let k(x) = x - 9*x + 2 + 0*x - 1. Is k(-6) prime?
False
Let r be 2*(10/4 + -3). Let i(g) = -212*g**3 + g. Is i(r) composite?
False
Let j be (-50)/(-18) + (-10)/(-45). Suppose -490 = -4*r + 2*t, j*r - 372 = -0*r + 3*t. Is r a prime number?
False
Let m = 3436 + -2067. Is m a composite number?
True
Suppose 6 = i - 2*i + 3*j, -4*i = -4*j. Suppose 0 = 2*g - 0*c + 5*c + 12, g - i*c = 16. Suppose 5*o - g*s = 95, -2*s - 5 = o + 2*s. Is o prime?
False
Suppose 5*p = 4*t - 4299, t = 5*t - p - 4319. Is t a composite number?
True
Let t(l) = 112*l - 1. Let j be t(2). Suppose 3*m = -5*s + j, 5*m + 190 - 29 = 3*s. Is s prime?
True
Suppose 2*i - i = 3*j - 7, i + j = -11. Let o be (-22)/i - 2/10. Suppose -o*b = 12 - 122. Is b a prime number?
False
Let c = 589 + 708. Is c prime?
True
Let k(z) = z**2 + z + 2. Let g be k(0). Suppose g*u = -u + 159. Is u a composite number?
False
Suppose -b - 5*j = -0*b - 259, 5*b = -4*j + 1337. Is b a prime number?
True
Let w = -4 - -10. Suppose w = -3*m + 5*m. Is m a composite number?
False
Suppose -4*n - 1398 = -2*t, -t - 5*n + 2*n + 674 = 0. Is t a composite number?
True
Suppose 0 = -3*a - 2*a + 880. Let k = 228 + -129. Let s = a - k. Is s a prime number?
False
Let w be (-3 - -2 - -1)/1. Suppose w = -0*m + 5*m + 3*s - 17, -4*m + 2*s - 4 = 0. Let a = m - -3. Is a prime?
False
Suppose -5*p = -3*g - 286, 5*g = 2*p - 83 - 20. Is p a prime number?
True
Let u(q) = -6*q + 29. Is u(-4) a prime number?
True
Let o(s) = 2 + 7*s - 22*s - 2 + 10. Is o(-7) prime?
False
Suppose 5*i = -g + 447, -4*i + 25 + 339 = 4*g. Suppose 2*s - s = i. Is s a prime number?
True
Suppose 90 = 3*j - 5*d, 0 = -3*j + 2*d + 24 + 66. Suppose l - 3*l + j = 0. Is l composite?
True
Let l(i) = -40*i - 3. Is l(-7) prime?
True
Let h(o) be the first derivative of 5*o + 29/2*o**2 - 1. Is h(4) prime?
False
Let d(o) = -210*o**2 + 2*o - 1. Let h be d(1). Let n = 445 + h. Let j = n - 145. Is j composite?
True
Suppose h = -3 + 10. Let p(s) = 2*s**2 - s + 6. Is p(h) composite?
False
Suppose 11 + 77 = 2*y. Suppose 5*d - 57 = -3*j + y, -3*j + 4*d + 119 = 0. Is j composite?
False
Is (3/(-1))/((-8)/4168) prime?
False
Let s = -96 - -229. Suppose -s = -5*f + 32. Is f composite?
True
Let z(u) = 290*u + 1. Let a(h) = h**2 - 3*h + 1. Let t be a(3). Let j be z(t). Suppose -b + j = 2*b. Is b prime?
True
Suppose -2*o = -9*o + 1477. Is o a prime number?
True
Let b be (-4)/(-4 - -2) - -1. Suppose -b*j = -8*j - 3*t + 655, -j + 144 = -2*t. Let c = j + 125. Is c a composite number?
True
Let a = 4 - 2. Let g(h) = -h - 1. Let s be g(1). Is (-1 + a)/(s/(-106)) prime?
True
Let l = 0 - -5. Suppose -l*u = -0*u - 1975. Is u a prime number?
False
Let o(d) be the second derivative of -37*d**5/120 - 5*d**4/24 + d**3/2 - 3*d. Let n(g) be the second derivative of o(g). Is n(-6) a prime number?
False
Suppose -3*m = r - 5, m + 2*m = 3*r - 15. Suppose -2*t + 2*c + 9 = 3*t, -r*c = -15. Let w(g) = g. Is w(t) a prime number?
True
Let p be -10 + -1 - (-1 - 1). Let l = 1 - p. Is l composite?
True
Let d = 3 + -7. Let g = d + -2. Let i(s) = -4*s - 9. Is i(g) a prime number?
False
Suppose 2 = -3*q - 1. Is q/2 - (-222)/4 a prime number?
False
Let l(x) = x + 11. Let r be l(-9). Suppose -5*d + 10 + 6 = p, -2*d - r*p = 0. Is 39/2*d/6 prime?
True
Suppose 0 = 3*o - 9, 2*t + o + 4*o - 253 = 0. Let q = t + -273. Let u = 57 - q. Is u prime?
True
Let d = 48 + 333. Is d a prime number?
False
Suppose -4*f - f + 2*z - 16 = 0, 4 = f - 4*z. Let g be 4/6 + (-40)/(-3). Is 222/f*g/(-21) a prime number?
True
Let g(m) = -152*m - 17. Is g(-5) prime?
True
Let k be -2*(2 + (-41)/2). Suppose s = 129 + k. Suppose 3*u - 173 = s. Is u composite?
False
Let p = -15 - -10. Let y(v) = v**2 + 10*v + 6. Let t be y(p). Let w = 40 + t. Is w a prime number?
False
Let w(x) = -4 + 0 + 4 + 2 - 227*x. Is w(-3) a prime number?
True
Let k(f) = -f**3 - 10*f**2 + 16*f - 14. Let u be k(-12). Let g = u - 15. Is g composite?
False
Let r be (-81)/63 + 4/14. Let c be r*(-1)/((-1)/(-1)). Is 21 - c - (1 + 0) composite?
False
Let x(v) = 3*v**2 + 3*v - 5. Let m be x(-4). Suppose -2*o = -2*l - 14, 2*l + 3*l + m = 4*o. Suppose 0 = -s - b + 86, -b + 454 = 5*s - o*b. Is s prime?
True
Is (818/(-4))/(2/(-4)) composite?
False
Suppose -2*l = 5*g + 50, -l + 7 = -g - 2*l. Let w = 19 - g. Is w composite?
False
Suppose 5*y = 9*y + 56. Suppose 5 = -3*j + 65. Let n = y + j. Is n a prime number?
False
Suppose 0 = 4*f - 2*l - 114, -2*f + 160 = 3*f + l. Let u = f - -4. Is u a prime number?
False
Let b(c) = -c**2 + 4*c. Let q be b(3). Let d(k) = 4*k**3 + k**2 - 2*k + 2. Let o be d(2). Let i = q + o. Is i a prime number?
True
Let d be (-8)/(-4)*3/2. Let v(u) = u**3 - 6*u**2 + d*u - 2 - u - 3*u. Is v(8) composite?
True
Suppose -l - 5 + 6 = 0. Is (l + -2)/((-2)/158) composite?
False
Let t(c) = 3*c**2 - 3*c - 3. Let r = -2 - -8. Let y = -3 + r. Is t(y) a prime number?
False
Suppose -3*j + 2*j = 23. Let i = 48 + j. Is i a prime number?
False
Let d = 3 - 0. Let b = -1 - d. Let o = 22 - b. Is o a composite number?
True
Let l(a) = 3*a + 4399. Is l(0) prime?
False
Let a(l) = -1163*l + 42. Is a(-5) a prime number?
True
Let p = -9 - -18. Suppose -p*l - 298 = -11*l. Is l composite?
False
Let l = -70 - -557. Is l a composite number?
False
Let a(m) = m**3 - 10*m**2 + 14*m + 21. Is a(16) prime?
False
Let u(k) = -k**3 - 6*k + 7. Let j = -15 - -9. Is u(j) composite?
True
Suppose 0 = -l - 2*l. Suppose l = 5*u + 2*n - 380, -2*u + 7*u + 4*n = 390. Suppose -h - h = -u. Is h prime?
True
Is (2031/(-3))/((1 - 1) + -1) composite?
False
Is (-1*3)/((-6)/3466) composite?
False
Let i(u) = 5*u**2 - 4*u**2 - 2 - u**3 + u - 2*u. Let t be i(0). Is t*(113/(-2) - 0) a prime number?
True
Is (-12)/(-8) - 1899/(-2) prime?
False
Suppose 2*c = -4*i + 906, -3*i + 0*c + 681 = c. Let w be 3/(-6)*-1*i. Let y = w + -79. Is y prime?
False
Let v be (8/10)/((-2)/(-5)). Is (4/v)/2*67 prime?
True
Suppose 2*g - 1162 = -4*n, 4*n + 4*g = 1823 - 671. Is n prime?
True
Let w(v) = 33*v**2 - 6*v + 1. Let b be w(7). Suppose -5*y + b = -3*m, y - 4*m - 84 - 221 = 0. Is y a composite number?
False
Let s(o) = -o**3 + 8*o**2 - 4*o - 18. Is s(-7) prime?
False
Let x(k) = 6*k - 5. Let o(d) = -25*d + 20. Let q(u) = -4*o(u) - 18*x(u). Is q(-14) composite?
True
Suppose -2*d = -6*d - 3*c + 17, 2*c = -2*d + 10. Is (0 + d)/1 + 57 a composite number?
False
Let f be (3/(-4))/(2/(-8)). Suppose -f*i - 636 = -7*i. Is i a composite number?
True
Let r be (-106)/3 + (-1)/(-3). Let l = -432 + -298. Is l/r - 2/(-14) a composite number?
True
Suppose -2*t = 3*t - 15. Suppose -31 = 2*r - t*r. Is r a prime number?
True
Let f(l) = 3*l**3 + l**2 - 3*l - 3. Let c be f(-2). Let g be (c/2 - 1)*14. Let m = g - -278. Is m a prime number?
False
Suppose 0 = -5*s + 5*c + 2780, -5*s - 6*c + 2730 = -c. Suppose 2809 = 5*a - 2*w - 0*w, -s = -a + 4*w. Is a prime?
True
Suppose -27 = 3*b - 4*b. Let u = b + 67. Suppose -o -