s be f(d). Suppose -i + 2*v - 275 = -6*i, 134 = 3*i - s*v. Is i prime?
True
Let p = -9 + 5. Let g = 6 + p. Suppose 2*u - 387 = -3*b, 2*b - g*u - 3*u = 239. Is b composite?
False
Suppose -3*j + 8*j + 2*b = 435, -3*j = -b - 272. Is j a prime number?
True
Suppose 0 = 4*h + h + 25. Let i = h + 9. Suppose u + 207 = i*u. Is u composite?
True
Suppose 5*d - 2*w = 23, 4*d - w - 21 = -2*w. Suppose -d*f = 10, -7*o + f - 3 = -2*o. Is 0 + (1 - o) - -1 prime?
True
Suppose i + 385 = 2*w, -4*w + 3*i + 752 = 7*i. Is w prime?
True
Let i(j) = -4*j**3 - 6*j**2 + 6*j - 1. Let z(x) = -3*x**3 - 7*x**2 + 5*x - 2. Let k(m) = 4*i(m) - 5*z(m). Is k(9) prime?
False
Let w be (22 + 9/3)/(-1). Let f = -11 - w. Is f composite?
True
Suppose q - 5*k = 2*q + 18, -k = -5*q + 14. Suppose q*p - 24 = -5*r, r + 0*r + 6 = 5*p. Suppose -9 = -3*z, -28 - 27 = -r*t - z. Is t a prime number?
True
Suppose -3*u - 291 = -1212. Is u a prime number?
True
Let f be (-2816)/(-77) - 4/7. Suppose 0 = -3*v + 2*v - 4*a + 75, -v + 61 = -3*a. Suppose -5*j - 3*i = -v, -3*i - f = -4*j - i. Is j prime?
True
Let a be (-36)/(-3)*(-2)/(-4). Let i = 4 - a. Is (-90)/i + 8 + -6 a composite number?
False
Let r(x) = x**3 - 4*x**2 - 3*x + 11. Let o be r(8). Suppose -4*b + 240 = 3*p - o, -15 = 5*p. Is b prime?
False
Let t be 66/9 - (-2)/3. Suppose -3*q + t = q. Is 2*(-2 - (-23)/q) prime?
True
Let w = 1098 + -467. Is w a composite number?
False
Suppose 0 = d + 5*u, 0 = 3*d + u - 14. Suppose d*v - 4*y - y - 20 = 0, 10 = 2*v - 3*y. Suppose 0 = -c - v*c + 66. Is c a prime number?
False
Suppose -16*v - 98 = -18*v. Is v a composite number?
True
Let b(y) = -2*y**2 - 7 + 2*y**2 - 6*y + 8*y**2. Is b(-5) prime?
True
Suppose -7*a + 2*a = -15. Let z = -10 - -14. Suppose z*f + 38 = 2*j, -a*f - 74 = -4*j + 7. Is j a prime number?
False
Suppose -c - 2 = -2*c. Let u(j) = 3*j**2 - 3*j. Let z be u(c). Suppose -3*f + 5*x - z = -19, -3*f + 49 = 4*x. Is f a composite number?
False
Let y(p) = 3*p - 2. Let h be y(2). Let o be 3*4/6*83. Is 1/h - o/(-8) a composite number?
True
Let m(b) = b**3 + 2*b**2 - 2. Let o be m(-2). Is o/(-13) + 288/156 prime?
True
Suppose 2*g + 152 - 886 = 0. Is g composite?
False
Let x be 3*2*7/(-6). Let w = 74 + 10. Let y = w + x. Is y prime?
False
Let c(y) = -y**2 - 4*y - 4. Let n be c(-7). Is (636/15)/((-10)/n) a prime number?
False
Is (-13)/13 - 318/(-1) a composite number?
False
Let d = -468 - 364. Let k = -495 - d. Is k prime?
True
Let z be ((-4)/6)/(1/(-3)). Suppose y + 3*n + z*n = -20, -n - 5 = 0. Suppose 3*v - 4*l = l + 172, -v + 74 = -y*l. Is v a composite number?
True
Let a = -1 + 6. Suppose -a*l = -666 + 31. Is l a composite number?
False
Let w(n) = -2*n - 7. Let y be w(-7). Let c = y - 7. Is (c - (-21)/(-6))*-2 composite?
False
Let x(j) = -18*j - 12. Let g(v) = -17*v - 11. Let s(p) = 5*g(p) - 4*x(p). Is s(-6) a prime number?
True
Let l be 0/(-1) - (2 - 2). Suppose 1005 = 5*y - l*y + 2*j, j + 592 = 3*y. Is y prime?
True
Let a = 388 - 3. Suppose 4*v = 6*v - 10. Suppose -a = v*q - 1320. Is q composite?
True
Suppose 2*z - 28 = 2*u, u + u = 0. Let v be (-4)/14 - 10/z. Is (-2 + v)/(2/(-22)) a composite number?
True
Suppose 91*i + 1465 = 96*i. Is i prime?
True
Suppose -3*b + 1 = -8. Suppose 2*r - 296 = -0*m + m, 5*m = -b*r + 457. Is r a composite number?
False
Let t(a) = -23*a - 3. Let i = -8 + 4. Is t(i) prime?
True
Let f be 5/(5/2) + -2. Suppose -5*r - 30 = -f*r. Is (-70)/r*(1 + 2) a prime number?
False
Let p = -118 + 40. Let i = 161 + p. Is i prime?
True
Let g(d) = 186*d - 1. Let v be 0 + -3 - (-15)/3. Is g(v) a composite number?
True
Suppose -28*l - 1076 = -32*l. Is l prime?
True
Let n = 1 - 5. Suppose 3*t - 28 = -2*x, 0 = 3*x - x - 5*t - 28. Let c = n + x. Is c composite?
True
Let p(k) = -k**3 - 3*k**2 + 5*k - 1. Let f be p(-4). Let w(z) = -2*z - 1. Let o be w(f). Let s(a) = -a**2 + 9*a + 10. Is s(o) a prime number?
False
Let a = -216 + 361. Is a a prime number?
False
Suppose 67 = -13*r + 14*r. Is r composite?
False
Suppose 0 = -2*w + 2 + 2. Let p(a) = -2*a - 38*a**3 - 2 + 2 - 1 - w*a**2. Is p(-1) a prime number?
True
Let s(l) = -l**2 + 2*l + 691. Is s(0) composite?
False
Suppose 4*b - 3*b = 0. Let f(j) = -j**2 - j + 331. Is f(b) a prime number?
True
Let k(s) = s**2 - 12*s + 14. Let v be k(11). Suppose v*p = 20 + 187. Is p composite?
True
Let i = 7 + -2. Let s(d) = 3*d - 1. Is s(i) prime?
False
Suppose -3*l + 0*c + 5*c = -422, -l + 144 = -c. Is l prime?
True
Suppose 24 = p - 5*f, -p + 3*f + 12 = f. Suppose 0 = p*b - 4*z + 4, -5*z + 15 = -0*z. Suppose 4*s - b*s = 38. Is s a prime number?
True
Suppose 0 = 5*w + 26 + 14. Let x(a) be the second derivative of -2*a**3/3 + a**2/2 - 2*a. Is x(w) a prime number?
False
Let x be ((-20)/8)/(1/(-2)). Suppose 0 = -x*c + 1 + 9. Suppose -9 - 37 = -c*k. Is k prime?
True
Let s(g) = -g**3 + 8*g**2 - 5*g + 1. Let q = 7 + 0. Is s(q) prime?
False
Let g(l) = 2*l**2 - 14*l - 5. Let t be (-3)/(-2) + 19/2. Is g(t) composite?
False
Let v = 118 - -67. Is v a prime number?
False
Suppose 1018 = 4*o - 418. Is 1/(-2) + o/2 a prime number?
True
Let i(n) = -20*n + 2. Let v(j) = 10*j - 1. Let t(s) = -3*i(s) - 7*v(s). Let u = -8 + 6. Is t(u) prime?
False
Let p = 10 - 5. Suppose -5*l + l + 4 = 2*t, 5*t = -p*l + 5. Suppose t = f - 3 - 20. Is f a prime number?
True
Suppose -5*h - 3*p + 2*p = -1479, -2*h + 606 = 4*p. Is h composite?
True
Suppose 847 + 1003 = 2*l - 4*s, 3670 = 4*l + 2*s. Is l composite?
False
Let h(j) = -46*j**3 - j**2 + 1. Suppose f = -3*f. Suppose 7*u - 3*u + 4 = f. Is h(u) a composite number?
True
Suppose 14*u = 9*u + 16345. Is u composite?
True
Suppose -3*v + x + 10 = 0, 2*v + 2*x = 6*x + 20. Suppose 0 = -h + v*n + 11, 0*h - 30 = -3*h + 5*n. Is 128/h - 4/(-10) prime?
False
Let f be (-2)/9 - (-330)/27. Is (268/f)/(2/6) a composite number?
False
Suppose -2*n = 4*s - 2042, -1027 = -2*s + 2*n - 5*n. Is s a prime number?
True
Is -1 - 2 - (-2 - 216) a composite number?
True
Let n(y) = y**2 + 5*y - 3. Let k be n(-6). Is k/2 - 206/(-4) a prime number?
True
Let r(v) = -v**2 + 8*v + 2. Let p be r(8). Suppose 33 = q - 4*t, 0 = -5*q + p*t - 3*t + 123. Suppose 226 = 3*o - 2*n - 3*n, 5*n + q = 0. Is o a prime number?
True
Let l(m) = m**2 - 5*m + 7. Let s be l(4). Suppose f + s*f = 556. Is f prime?
True
Suppose -f + 142 = -0*f. Is f a prime number?
False
Suppose 18*l - 3062 = 13156. Is l a prime number?
False
Let j be 1*66 - (-5 + 5). Suppose -5*k = j - 331. Is k a prime number?
True
Suppose 5*z + 219 = 1234. Let w = 352 - z. Is w a composite number?
False
Let f = -574 - -825. Is f prime?
True
Is (-1274)/(-10) - (-10)/(-25) a composite number?
False
Let j = 11 - 8. Is (j - 1 - -1) + 10 prime?
True
Let w = -12 + 6. Let i = -3 - w. Is (i/6)/(2/196) composite?
True
Suppose -3*i = -0*i + 3*o - 9, 0 = 3*i - 5*o - 49. Let y(b) = 4*b - 7. Let w(g) = -4*g + 6. Let p(h) = 2*w(h) + 3*y(h). Is p(i) a composite number?
False
Let n be (18 - 6)*44/(-6). Let d = 205 - n. Is d a composite number?
False
Let v(g) = 50*g**2 - g + 2. Let r be v(2). Let z = r + -113. Is z prime?
False
Suppose g - 29 = p - 9, -4*p - 53 = 5*g. Let o = p - -24. Is o composite?
False
Let z(g) be the first derivative of -6*g**2 + 7*g + 2. Let i(d) = -265*d + 155. Let t(n) = 2*i(n) - 45*z(n). Is t(4) a prime number?
False
Let v = -5 - -9. Let t(q) = 4*q + 5. Is t(v) a prime number?
False
Suppose 3*w - 56 = 154. Suppose h = g - w, 5*h - 4*g = -3*g - 354. Let s = h - -204. Is s prime?
False
Let w = 24 + 65. Is w prime?
True
Let p(m) = 9*m**2 - 7*m - 3. Is p(-7) prime?
True
Suppose -4*t + u + 7045 = 0, -4*u + 2*u = -4*t + 7046. Suppose c - 4*c = -t. Is c composite?
False
Suppose -k = -0*k + 134. Let a = k - -60. Is ((-6)/(-12))/((-1)/a) composite?
False
Let y = 2065 - 838. Is y a prime number?
False
Let z(m) = 2*m. Let c be z(5). Let v = -20 - c. Let r = v + 45. Is r prime?
False
Suppose -14 = -3*f - 2. Suppose 2*d = f*d - 14. Is 457/d - (-6)/(-21) a composite number?
True
Let t(f) = -92*f - 1. Suppose -3*n + 18 = -6*n + 4*z, -4*n = 4*z + 24. Is t(n) a composite number?
True
Suppose 5*l - 77 - 698 = 0. Let k = l - 107. Suppose -3*m = -111 - k. Is m prime?
True
Suppose -8872 = -4*p + 3*l, -2151 = -p + 2*l + 62. Is p a composite number?
False
Is (-3)/9 + (-1064)/(-6) composite?
True
Let x(v) = -15*v - 7. Is x(-10) a prime number?
