 -30, 5*u = f + 15. Suppose u = -i - 1. Let n = 9 + i. Is n composite?
True
Let o(p) = p + 83. Suppose 3*v + 3*m - 8 = 2*v, 0 = -2*v - 5*m + 15. Suppose 10 = -a - v*f, 4*a - f = 2 - 0. Is o(a) a prime number?
True
Suppose -m = 3*m - 8, 3*c + 2*m - 67 = 0. Is c a prime number?
False
Let a = 22 - 10. Suppose 0 = s + 2*s - a. Suppose 5*b - 79 = -2*n + 116, -s*b - 186 = -2*n. Is n composite?
True
Let v be -2 - 4*-1 - 6. Is v - -69 - (0 - 2) prime?
True
Let t(d) = d**3 - 7*d**2 - 8*d - 1. Let n be t(8). Is (1 + n + 7)*1 composite?
False
Let v(i) = -58*i**3 - 2*i**2 + 3*i - 2. Let g be v(2). Let w = -319 - g. Is w composite?
False
Let r = 1 - -2. Suppose -r*f = -5*g + 620, 3*f + 1 - 16 = 0. Is g composite?
False
Suppose -1343 = 3*g + 3*p - 13490, -2*g = 3*p - 8102. Is g a composite number?
True
Let c be (-3)/(-15) - (-118)/10. Let l = c - 47. Let f = 49 + l. Is f a prime number?
False
Suppose 0 = -3*v + 165 - 63. Suppose 0 = 3*m - 4*u - v, 3*m = 6*m + u - 29. Is m a composite number?
True
Let y = -650 + 957. Is y prime?
True
Let z be (-1)/(-2) + (-45)/(-10). Suppose 2*u - 1065 = -5*m, -m = -z*m + 3*u + 829. Is m a composite number?
False
Is ((-8)/(-6))/(6/153) a prime number?
False
Let f(r) = -2 + 2 + r - 3. Let v be f(3). Let n = v + 6. Is n a prime number?
False
Let t be (-19)/(-2) - (-6)/(-4). Suppose 4*c - d = -6*d + t, 3*d = 5*c - 47. Let y(f) = -f**2 + 9*f + 5. Is y(c) a prime number?
True
Let j = 166 - 98. Suppose -s = 7*b - 2*b - j, -s = -b + 10. Is b a prime number?
True
Is (854/3)/(12/18) a composite number?
True
Suppose 0 = -3*y + y + 1486. Is y a prime number?
True
Is 90366/24 + -4 + 1/(-4) composite?
False
Let b(f) = -7*f**3 - f**2. Let m = 9 + -5. Suppose -m = 3*d - 1. Is b(d) prime?
False
Let c = -8 + 8. Suppose c = u - 3*u + 154. Is u a composite number?
True
Let m = -10 - -1. Let d(q) = -q**2 - 14*q - 8. Is d(m) composite?
False
Let i(f) = -2*f**3 - 2*f**2 + 3*f + 4. Is i(-3) a prime number?
True
Let a = -1 - -2. Is (-294)/(-5) - a/(-5) a prime number?
True
Let t be ((0/2)/1)/1. Let v(r) = -r**2 + 20. Let u be v(t). Suppose 0 = -4*h + u, -y = 3*y - 5*h - 35. Is y a prime number?
False
Let s(c) = -c**3 + 13*c**2 - 11*c. Let d be s(12). Let g = 229 - d. Is g a composite number?
True
Suppose 2*z - 3*x + 4*x - 1149 = 0, z - 570 = x. Is z a composite number?
True
Suppose -c + 0*c = -4001. Is c composite?
False
Suppose 5*i - 231 = -f, 0 = 3*f - f - 4*i - 406. Is f prime?
True
Is (-1255)/(-5) + 2 + 1 composite?
True
Suppose 28*u + 1166 = 30*u. Is u prime?
False
Suppose j - h = 2*j - 116, -2*h = 8. Suppose -o + j = 3*i - 126, -o = 0. Is i prime?
False
Let t(a) = -4*a**3 + a**2 + a + 2117. Is t(0) prime?
False
Is (-3)/(-30)*-6*-295 prime?
False
Let o = 2008 + -1394. Is o composite?
True
Suppose 2*k = k - 4*r + 12, -2*r + 2 = k. Let i = k - -14. Is i prime?
False
Let c = -1 + 1. Let y = -372 + 637. Is (y/4 + c)*4 prime?
False
Let h be (2 - 1)*-3 - -276. Let w = -86 + h. Is w a composite number?
True
Let g = 304 - 55. Is g a composite number?
True
Suppose -1452 = -a - 3*a. Suppose -4*m + 1452 = 4*f - 9*f, 5*f = m - a. Suppose -r + 2*u = -m, -r + 2*u + 398 = 7*u. Is r a composite number?
False
Let n be ((-3)/6)/((-2)/684). Let l = 277 - n. Suppose -g = g - l. Is g prime?
True
Suppose 29*s - 28*s = 257. Is s a composite number?
False
Suppose -3*h - s = 306, 0*h - 3*h - 300 = 3*s. Let r = h + 168. Is r a prime number?
False
Let l(b) = b - 4*b - b**3 + 3*b**3 - b**3. Let a be l(5). Suppose -f = f - a. Is f a composite number?
True
Let v(o) = 46*o**2 + 1. Let a(c) = c + 1. Let b be a(2). Suppose -2*n + b*y = n + 6, 0 = -y + 1. Is v(n) a composite number?
False
Let h(b) = 14*b**3 - 2*b**2 - 2*b - 1. Let q be h(-1). Let r be (-1 - 2)/3 + 29. Let j = q + r. Is j prime?
True
Let s(w) = -5 + 10*w**2 + 2*w + 0 - w**2 + w. Is s(3) prime?
False
Suppose -5*l - 4*r + 119 = 0, -l + 5*r + 30 = -17. Let k = l - -54. Suppose -2*s + k = 8*b - 3*b, 0 = -5*s + 4*b + 285. Is s a composite number?
False
Suppose 4*l = 6*l - 38. Is l a composite number?
False
Suppose 0 = 4*x - 4 - 20. Let m(t) = t**3 - 2*t**2 - 4*t + 7. Is m(x) composite?
False
Let b(h) = 19*h**3 + 3*h**2 - h - 1. Let g be (6/9*6)/2. Is b(g) composite?
True
Suppose -o = 2*o - 9. Let b(u) = -2*u - 1. Let p(g) = 5*g + 1. Let m(y) = o*p(y) + 7*b(y). Is m(7) composite?
False
Let c(t) be the second derivative of -t**4/12 - 2*t**3/3 - t. Let u be c(-5). Let l(k) = -17*k - 6. Is l(u) a composite number?
False
Let v(j) = -j**3 - j**2 + 2. Let o be v(0). Let x(s) = -s**2 - 2*s + 3. Let n be x(o). Let b(q) = -q - 2. Is b(n) a prime number?
True
Let f = -12 + 10. Is (-3 - f)*(3 + -62) a prime number?
True
Let p be (-2)/(-5) - 254/10. Let x = p - -144. Is x a prime number?
False
Let m = -2 + 3. Suppose -t + q - 62 = 4*t, 0 = -2*q + 4. Let f = m - t. Is f prime?
True
Suppose -4*k + 15 - 11 = 0. Suppose 0 = 5*m - 0*h - 2*h - 68, 11 = m - 3*h. Let b = k + m. Is b prime?
False
Suppose 5*r + 363 = 4*v, 5*v + 271 = -r + 761. Is v a composite number?
False
Let o be (-4)/3*(4 - 7). Suppose 0*j - s = -o*j - 3, -2*j + 2*s - 6 = 0. Suppose 0 = -3*p - j*p + 21. Is p composite?
False
Let h(z) be the third derivative of 2*z**2 + 7/24*z**4 + 0*z - 7/6*z**3 + 0 - 1/60*z**5. Is h(5) composite?
False
Suppose 0 = -u + 3*u - 22. Let n = 46 - u. Is n composite?
True
Let c(q) = -1. Let s(f) = 18*f + 7. Let k(i) = -3*c(i) - s(i). Suppose o - 4*b - 11 = 0, -o - 3*b - 17 = -0*o. Is k(o) prime?
False
Let c(m) = m + 6. Let d be c(-11). Let v = 8 + d. Suppose -v*f = 26 - 95. Is f prime?
True
Let p(h) = -74*h**2 - 5*h. Let j(w) = w**2. Let n(b) = -2*j(b) + p(b). Let q(y) = -153*y**2 - 9*y. Let o(z) = 7*n(z) - 4*q(z). Is o(-1) composite?
False
Let l = 814 - 504. Let w be ((-13)/2)/(10/340). Let c = l + w. Is c composite?
False
Let t = 15 - -68. Suppose q = t + 44. Is q a prime number?
True
Suppose 0 = -o + 3*y + 2*y + 186, -2*o + 390 = -4*y. Is o prime?
False
Let r be 10*(2 - 44/(-8)). Suppose 155 + r = 5*h. Is h composite?
True
Suppose -4*j = -0*a - 2*a + 18, 4*j - 17 = -5*a. Suppose 0 = -6*q + a*q + 307. Is q composite?
False
Suppose 0 = -2*c - 4*l + 3160, 2*l - 7858 = -5*c + 6*l. Is c prime?
False
Let y = -1 + 1. Suppose 5*b = -i + 8, -2*b - 72 = -3*i - b. Suppose w - i = -y. Is w a prime number?
True
Let o(c) = 2*c. Let s be o(1). Suppose f = s - 3. Let t = 80 + f. Is t a composite number?
False
Let c = 4 - 4. Let g be 6/(-21) - 74/(-14). Suppose -g*d + 13 + 7 = c. Is d prime?
False
Let u(k) = k**2 - 3*k + 1. Suppose 5 + 3 = -4*b. Let s be b/(-2 + (-16)/(-6)). Is u(s) a prime number?
True
Is (-1)/4 + 8489/52 prime?
True
Suppose -2*s = -109 - 49. Is s a prime number?
True
Suppose -3*r + 6 = -9. Suppose 0*y - r*y + 15 = 0. Is y a prime number?
True
Let h = -20 + 6. Let c(b) = -40*b - 7. Is c(h) prime?
False
Let a be 0 - 3/(-1) - 1. Suppose a*h - 86 = 4*y, 70 = 2*h - 2*y - 10. Is h prime?
True
Let o = 9 + -6. Let v(r) = -9 + 10*r**2 + 8 + 2*r**3 + 2*r - r**o. Is v(-6) a prime number?
True
Suppose -2*r = -4*z + 1832, 4*z + 661 - 2485 = 4*r. Suppose -z = -2*m - 2*m. Is m composite?
True
Suppose 2*r = -2*g + 5*r - 17, 3*g + 2*r = 7. Let m = g - -1. Suppose -2*y = -m*y - 26. Is y a composite number?
False
Let r be (-32)/20 + 8/(-20). Is 50 - (-6 - (-1 + r)) a prime number?
True
Let d(g) = g**2 + 3*g - 1. Let r be d(-3). Let c be (-60)/18 + (-2)/(-6). Is 9 + 10 + (r - c) prime?
False
Let s(u) = u**3 + 5*u**2 + u + 5. Let b = 0 - 5. Let g be s(b). Is (0 - 15/(-1)) + g a prime number?
False
Let c(g) = -4*g**3 - 2*g**2 - g. Suppose 5*d = -5*t - 15, 2*d + 2 = t - 1. Let k be c(t). Suppose -5 = 8*h - 3*h, -5*m = k*h - 27. Is m a prime number?
False
Let k = 811 - 516. Suppose 2*b + k = 7*b. Is b a prime number?
True
Let n = 8 - -1. Let g = -3 + n. Is g/2*(-201)/(-9) prime?
True
Suppose 4*a + 440 - 3588 = 0. Is a prime?
True
Let z be -3 - (-4)/(4/163). Suppose 3*o - 20 = -o. Suppose -49 = -s - s - 5*v, -5*s - o*v = -z. Is s a prime number?
True
Let z be (-6)/(-12) + 75/(-2). Is (8 - 9)*1*z composite?
False
Let s = 0 + 5. Suppose 2*p + 2*a = s*p - 199, 0 = -3*a + 3. Is p composite?
False
Let o(b) = b + 815. Let u be o(0). Suppose -3*c = 2*c - u. Is c a prime number?
True
Let g(h) = h**3 - 2*h**2 - h. Let f be g(2). Let b = -2 + 3. Let y = b - f. Is y