9 + 55. Let y(v) = -4 + 10*v + t*v - 7*v. Is y(5) a prime number?
False
Suppose w + 3*w - 804 = 0. Is w a prime number?
False
Let x = 611 - 388. Is x a prime number?
True
Let k = 10 - 6. Let q be (-18)/k*(-2)/3. Let b(z) = 3*z + 1. Is b(q) a prime number?
False
Let g = 0 + 5. Let i = 509 - 314. Suppose 4*s - i = -5*t, s - 195 = -g*t + 5*s. Is t prime?
False
Let c = -14 + 10. Let w be 0*(-2 - 10/c). Suppose 0 = 5*s - 2*o - 271, 0 = 3*s - w*o - o - 163. Is s a composite number?
True
Let h(m) = m**3 + m**2 - m + 1. Let j(w) = 5*w**3 - w**2 - 12*w - 1. Let a(u) = -6*h(u) + j(u). Let q be (-1)/4 - 135/20. Is a(q) a composite number?
True
Suppose -q - 4 = 2. Let f = -4 - q. Suppose -4*v = -4*k - 352, -4*v - f*k + 60 + 322 = 0. Is v a composite number?
True
Let x = -5 + 11. Suppose s = x - 1. Suppose 4*i = 3*i - 3, -s*i + 216 = 3*j. Is j composite?
True
Suppose -5*q + 2 = -3*g, -3*g + 8*g + 30 = -5*q. Let t be q*(-2 - 4)*9. Suppose 4*d = 4*l - 72, 5*l + d - t = -0*d. Is l a prime number?
False
Let a(m) be the first derivative of m**4/4 - 8*m**3/3 - 3*m**2/2 - 5*m - 1. Let p be 5 + -4 + 7 - -1. Is a(p) a composite number?
True
Suppose -518 = i - 3*i. Is i a composite number?
True
Let z be (1 + -2 + -1)*-1. Suppose -311 = -4*v - o, z*v + 65 = 3*v - 4*o. Is v prime?
False
Suppose 2*z - 2 = 0, -3*h - 4*z - 5 = -39. Suppose -h*c + 5*c = -745. Is c composite?
False
Suppose 4*d = -4*z + 44, 5*d - 2 = -2*z + 38. Is d/(-15) - (-2151)/15 prime?
False
Suppose 0 = 3*i + 3*x - 0*x - 1167, -1167 = -3*i - 5*x. Suppose 3*t - i = -s + 6, -2*t - s + 262 = 0. Is t prime?
False
Let g(i) = 8*i**2 - 5 - 8 + 8*i + 8. Is g(6) prime?
True
Let f = 3 + 17. Suppose -f*w = -16*w - 236. Is w prime?
True
Suppose -33 = 2*b + 2*c + c, 46 = -4*b - 2*c. Let v = b + 66. Is v a prime number?
False
Let y be (0/2)/(-1) - -29. Suppose -3*v = -4*v + y. Suppose 0 = -2*j + v + 15. Is j a prime number?
False
Let u = -8 - 6. Let p be (-1 + 2)/((-2)/(-154)). Is u/(-7)*p/2 composite?
True
Let o be ((-2)/6)/((-4)/12). Let x(j) = 209*j + 2. Is x(o) prime?
True
Let u be (-1)/1*1*-2. Suppose 3*d - 5*y = 4 - 13, -u*d = -y - 1. Suppose -4*b + 161 = d*z - 3*b, 155 = 2*z - b. Is z a prime number?
True
Suppose 37*u = 41*u - 1028. Is u prime?
True
Let u = -19 - -16. Is -3 - (-506 - 12/u) composite?
False
Let x be (10/(-14))/(7/(-49)). Suppose -308 - 102 = -x*g - 3*b, 0 = -5*b + 25. Is g composite?
False
Suppose 6*w - 4*w - 62 = 0. Is w composite?
False
Let x be (-1 - (-8 + 1)) + -4. Suppose g = 2*s - 749, -x*s + 3*g = -515 - 224. Is s a prime number?
False
Let k(p) = p**3 + 13*p**2 - 14*p. Let c be k(-14). Suppose q - 3*q + 28 = c. Is q composite?
True
Let u be 5/((-5)/(-67)) + 4. Suppose 0 = 5*i + 4*x - 355, 2*x - u = -i + x. Is i composite?
False
Let d be 1 + -1 - (-6 + 2). Suppose m = -d*m + 15. Is m a composite number?
False
Let l = -9 + 19. Let n(u) = u**2 - 10*u. Let j be n(l). Suppose -w + 95 = 5*m - j*w, 2*w = 4*m - 76. Is m a composite number?
False
Is 0 + 3 - (-472)/2 prime?
True
Suppose 0 = 2*g - 52 - 240. Suppose 0 = 5*n - g + 16. Is n composite?
True
Let v(o) = -71*o + 5. Let z(l) = 18*l - 1. Let y(h) = -2*v(h) - 9*z(h). Suppose c = -0*c + 2, d = -4*c + 4. Is y(d) composite?
False
Let i(x) = x**2 - 5*x + 2. Let n be (0 + 1)/((-5)/(-10)). Let b be i(n). Is 22/3*(-6)/b prime?
True
Let r = 2 - 1. Is -3 - -4 - -18*r a prime number?
True
Let s(c) = -c**2 - c + 2. Let a be s(2). Let g(w) = -w - 3. Let h be g(a). Suppose 28 = 2*d + 2*t + t, -d + 5*t + h = 0. Is d a prime number?
True
Suppose 0 = -n + 5*n. Is (-6 - -55)/(n - -1) prime?
False
Let p(i) = 9*i**2 + 19*i - 3. Is p(-5) prime?
True
Let i(z) = 2*z**2 + 6*z + z**2 + 0*z**2 + 4. Is i(5) a prime number?
True
Let a(m) = m**2 + 6*m - 2. Let o be a(-7). Let n(s) = -46*s - 1. Let v be n(-3). Suppose -58 = -o*f + v. Is f prime?
False
Let o be 4/(-18) + (-8330)/18. Let p = o - -202. Let x = 476 + p. Is x a composite number?
True
Suppose 2*q - 140 = -2*w, -w + 2*w - 3*q = 62. Let l = 102 - w. Suppose -3*b + 167 = -l. Is b prime?
True
Let q(i) = -i**2 + 13*i + 11. Is q(9) a prime number?
True
Suppose -4*z + 246 = -7*z. Let v = z + 185. Is v prime?
True
Suppose -3*m = -m. Suppose 4*l + 197 = -m*l + a, 5*l + a + 235 = 0. Is -3 + (-4 + -1)*l a composite number?
True
Let j = 1045 + -555. Let p be (-2 - (-1 + 0)) + j. Suppose 0 = 5*a + 94 - p. Is a a composite number?
False
Let x(u) = -u**2 + 5*u - 3. Let w(r) = r**2 - 5*r - 1. Let k be w(6). Let l be x(k). Is -7*(-8 + (-3)/l) prime?
False
Let w = 8 - 4. Let f be ((-1)/w)/((-3)/(-12)). Is 3*f - (2 + -12) prime?
True
Let j(d) = -d - 4. Let g be j(-9). Suppose y + 0 = -g. Is (-23)/(-2) + y/10 a composite number?
False
Let d = -9 + 9. Is (-1 - (d + 2)) + 126 prime?
False
Is (-3)/15 - 358358/(-65) a composite number?
True
Let h be 5/1*3/5. Suppose -u - 216 = -4*d, 0 = -2*u - h*u - 20. Is d composite?
False
Suppose -2*u - 630 = 3*a - 5*u, u - 852 = 4*a. Let i = a + 801. Is i prime?
True
Let i(b) = 40*b**2 + 10*b + 17. Is i(-5) prime?
True
Suppose 0 = 3*h + 4*r - 17797, 0 = 7*r - 6*r + 2. Is h a prime number?
False
Let x be 1/3 + (-2814)/(-9). Let a be x/(-2) - 2/4. Let z = a - -318. Is z composite?
True
Is 633/6*(2 - 0) a prime number?
True
Let u be (16 + 1)*(0 - -4). Let t = u + 21. Is t a prime number?
True
Suppose 2*d + 31 = g - 3*d, -d - 4 = 0. Let v = g - 10. Is (8 - (-1 + v)) + -1 prime?
True
Let k be 64/36 - (-4)/18. Suppose 0 = -5*s + k*s. Is (-2)/((-4)/14) + s composite?
False
Suppose 0 = -4*d + 1 + 15. Suppose -d*b - 4*k + 85 = -1271, k + 2 = 0. Is b prime?
False
Suppose 5*f - 41 - 64 = 0. Let t be 2 + -3 - 7*f. Let m = t - -225. Is m a prime number?
False
Suppose g - 14 + 3 = 0. Let a(s) = 5 + s**2 - 2*s**3 + g*s + s**3 - 5*s. Is a(-6) prime?
False
Let v be (15/(-6))/((-2)/336). Suppose 5*s - 3*c = 3398, c + 1359 = 4*s - 2*s. Let m = s - v. Is m composite?
True
Suppose -20 = 3*j - 62. Is j prime?
False
Let u(j) = -j**3 + 8*j**2 + 7*j + 6. Let a be u(10). Let n = -78 - a. Let v = 71 - n. Is v composite?
True
Let u(j) = -j**3 + 10*j**2 + 8*j - 21. Is u(10) a composite number?
False
Let q = -5 + 8. Suppose -5*p - 3*y = -8, -q*p - 2*y = -p. Is ((-14)/p)/((-2)/4) composite?
False
Let v(j) = 3*j. Let k be v(1). Suppose -5*g + 1195 = 3*n, -8*n = -k*n - 4*g - 2004. Suppose 5*w - 5*m = n, 2*w - 5*m - 163 = -0*w. Is w prime?
True
Let m(n) be the second derivative of -55*n**3/6 - n. Is m(-1) prime?
False
Let u(y) = -y**2 - 6*y + 2. Let f be u(-6). Let a = f + 1. Suppose 3*h - 63 = -5*x, h + 2*x + a*x - 21 = 0. Is h composite?
True
Suppose 34 = n - 5*r, -2*n + 0*n + 57 = r. Let b(v) = v**2 + 8*v - 6. Let o be b(-6). Let x = n + o. Is x composite?
False
Suppose -3*p = -8*p + 1805. Is p composite?
True
Let d(w) = -2*w + 1. Let o be d(4). Let m = 12 + o. Suppose -m*y = -20 - 30. Is y a composite number?
True
Let l = 4 - -12. Is (2 - -4)*472/l a composite number?
True
Let n(w) = 92*w + 17. Is n(8) composite?
True
Let h be 2*-3*(-8)/12. Let w(p) = 2*p**3 - 2*p**2 + 5*p + 3. Is w(h) composite?
True
Let n(w) = w**2 - 9. Let s be n(0). Let r be 3/s + 38/6. Suppose 3*y - 5*o = -r*o + 235, -83 = -y + 2*o. Is y composite?
False
Let d(j) = 41*j + 11. Is d(3) a prime number?
False
Is 0 - (4 - 2) - (-1047 - -2) prime?
False
Let k be (-3)/(-6) - 2/(-4). Let i be 10*k*(-3)/(-6). Suppose 2*y - 195 = -5*b, -b + 6*b - 160 = i*y. Is b a composite number?
False
Suppose -5*p + 213 = -2*p. Suppose 3*s = p + 22. Is s prime?
True
Is -4 + (-1)/(2/(-14134)) composite?
True
Let r(p) = 12*p**2 - 3*p - 2. Let x(a) = -a**2 + 2*a + 5. Let v be x(4). Is r(v) a composite number?
True
Suppose -4*f + 10 = -22. Let w = 39 - f. Is w composite?
False
Let q be 50/4 + 9/18. Let k(u) = 7*u - 17. Is k(q) composite?
True
Let p(q) = -q + 2. Let o be p(0). Suppose -3*s - 1 = o. Let z(t) = -15*t**3 - 2*t**2 - 2*t - 1. Is z(s) a composite number?
True
Let v be (1/2)/(2/12). Suppose -v*j = z + 38, -j = -5*z + 2*z + 16. Let q = -3 - j. Is q composite?
True
Let g = 870 + -563. Is g a composite number?
False
Let r be (1 - 0) + 0 + 254. Let z be (r/4)/((-5)/(-20)). Suppose 0 = -4*w - w + z. Is w a composite number?
True
Suppose b + 3*b - 2860 = 0. Suppose 0 = -5*v - 0*v + b. Is v composite?
True
Let k(x) = 4*x + 4499. Is k(0) a prime number?
False
Let a = 749 -