 - q + 54 = o, 0 = i. Is o prime?
True
Let u = 269 - -122. Is u composite?
True
Let r(k) = -k + 1. Let p(u) = -121*u. Let n(t) = -p(t) + r(t). Let a be n(6). Suppose -l + 220 = -v, 2*v + 149 = 4*l - a. Is l prime?
False
Let h = 5692 + -2001. Is h prime?
True
Let p(m) = 3*m**3 + m**2 - m + 4. Let b be 4/8 + (-5)/(-2). Is p(b) prime?
False
Let s = 8 - 5. Suppose -5*v + 5*x + 615 = 0, -s*v + 4*x - 524 = -7*v. Is v a prime number?
True
Suppose 0 = -4*a + 16, -3*a + 5*a = 4*t. Suppose 0 = f + b - 7, -3*b = 3 + 6. Suppose 4*s - 2 = -f, t*q + s - 64 = 0. Is q a composite number?
True
Let h(l) = -6*l**3 - 6*l**2 - 6*l - 1. Let i(j) = -5*j**3 - 5*j**2 - 5*j - 1. Let f(y) = 6*h(y) - 7*i(y). Suppose 4*n + 8 = -0*n. Is f(n) a prime number?
True
Let o(t) = -t**2 - 7*t + 9. Let k be o(-7). Let n be ((-6)/(-4))/(k/48). Let a(z) = z**3 - 7*z**2 - 5*z + 7. Is a(n) composite?
False
Let y be (1 - 9/3) + 161. Suppose h - 4*n = y, -3*n - 135 = -h - 5*n. Is h a prime number?
False
Suppose 0 = -2*h - 5*w - 1, -5*h - 4*w + 6 + 0 = 0. Suppose 3*y - h*p + 11 = 2*p, -y - 22 = -5*p. Is 3*2/y + 29 a prime number?
True
Let n(l) = -l**2 + 8*l + 9. Let h be n(10). Let z be h/(2 - 18/8). Suppose f - 127 = 4*t, 3*t = f - 86 - z. Is f prime?
True
Suppose 0*p = 5*p - 30. Suppose -4*t + p = -t. Is t*1 + 195/3 prime?
True
Let p(w) = w**3 - w**2 + w + 53. Let d be (1/(-2) - -1)*0. Is p(d) a prime number?
True
Suppose g - 11 = 7. Is 4395/27 + 4/g a composite number?
False
Let w(x) = -85*x**3 - 6*x**2 - 21*x + 21. Let s(g) = 17*g**3 + g**2 + 4*g - 4. Let p(j) = 11*s(j) + 2*w(j). Is p(2) prime?
False
Let f be ((-2)/(-6))/((-4)/48). Is (-5 - f) + (-92)/(-1) a prime number?
False
Let y be 205*5/(20/16). Suppose 2*r - 10 = 0, 4*b - b + 5*r - y = 0. Is b composite?
True
Let o = -526 - -837. Is o composite?
False
Suppose -u = -0*u - 5*c - 97, -3*c = -u + 89. Is u composite?
True
Let h(z) = -2*z**3 - 4*z**2 + 9*z + 3. Let t(r) = -r**3 - 7*r**2 + r + 1. Let u be t(-7). Is h(u) a prime number?
False
Let w be (-1)/(1/(6/(-3))). Suppose 0 = -w*s + 5*s + 6. Is s*17/4*-10 composite?
True
Let t(j) = j - 1. Let l be t(3). Suppose -5*m + 11 = -4*r + l*r, -3*r - 4 = -5*m. Is r prime?
True
Let s = -14 + 22. Let i(l) = 239*l - 4 - 3 - 230*l. Is i(s) a composite number?
True
Let v(o) = -36*o - 91. Is v(-5) a composite number?
False
Let h(y) = -3*y + 4. Let c be h(3). Let v = c + 7. Suppose v*m = m - g + 188, g + 373 = 2*m. Is m a prime number?
False
Suppose -4*m - 2410 = -5*u, -4*u + 1740 = -3*m - 187. Is u prime?
False
Let o = -10 + 14. Suppose -u = -o*u + 393. Is u composite?
False
Let i = 174 - 65. Is i a composite number?
False
Let l = 3 + 2. Suppose -2*z = l*x - 26, -x - 2*x - z + 15 = 0. Suppose -x*k + 157 + 55 = 0. Is k a composite number?
False
Let j be (-447)/(-2) + 3/6. Suppose 4*y - y + 4*p - 727 = 0, y + 5*p = j. Is y/2*(-4)/(-6) a composite number?
False
Let a = 99 - 31. Suppose -r + a = r - 3*w, 3*w - 6 = 0. Is r composite?
False
Let i = -14 - -262. Suppose -3*u - 2*u = -20. Suppose 0 = 2*m - 3*a - i, u*m = 6*a - a + 498. Is m prime?
True
Let i(o) = -5*o + 1. Let l be i(1). Let r(p) = 5*p**2 + 5*p - 3. Is r(l) prime?
False
Suppose -12 = 5*k - 47. Let m = 2 - k. Let f = m - -12. Is f composite?
False
Suppose 2*m - 3*c - 79 = 0, 0 = -m + 3*c - 4 + 42. Suppose m = 5*g - 6*j + 3*j, 4*j + 38 = 5*g. Is (-1)/(2/(-11))*g a prime number?
False
Let u(p) = 2*p**3 + 4*p**2 + 4*p + 2. Suppose 0 = 4*o - 2 + 10. Let c be u(o). Let s = c - -75. Is s prime?
False
Is (-4)/18 - (-15640)/72 a prime number?
False
Let q = -104 - -219. Is q a composite number?
True
Suppose 3*c + 3*t + 0 - 3 = 0, -5*c = -2*t - 26. Suppose -c*n - b + 668 = -0*b, 2*n - 4*b = 334. Is n prime?
True
Let g(l) = l**2 + 2*l + 1. Let i be g(-2). Let q be -7 + (1 - i) + 1. Let j(r) = -3*r + 1. Is j(q) a prime number?
True
Let g = 182 - -376. Suppose 4*f + 50 = g. Is f composite?
False
Suppose 4*l - 1326 = -5*f, 3*l + 235 = -5*f + 1232. Is l prime?
False
Let o(d) be the third derivative of d**4/4 - d**3/2 - 2*d**2. Is o(7) a composite number?
True
Suppose 9*l + 4*i = 4*l + 673, i - 2 = 0. Suppose -h - 4*d + 151 = 0, h + d - 3*d = l. Is h prime?
True
Suppose 3*h + 4*l + 15 - 39 = 0, 4*l = -5*h + 32. Let z = h + 10. Let x = z + 0. Is x composite?
True
Let q = -4 + 8. Suppose t + 5 = -3*t - 5*w, -q*t = 4*w. Let g(u) = 20*u - 5. Is g(t) a composite number?
True
Let t be 196/8 + (-1)/(-2). Suppose -21 - 34 = -5*r. Let b = t - r. Is b a composite number?
True
Let x(v) = 109*v**2 - 18*v - 14. Is x(7) prime?
False
Suppose -648 = a + 3*a. Let q = a + 271. Is q a prime number?
True
Suppose 0 = 3*d - 2*r - 365, 3*d + r = -d + 472. Suppose 0 = -4*z - u + d, 3 - 59 = -z + 5*u. Is z prime?
True
Let h(a) = 94*a**3 - 3*a**2 - a - 5. Let p(x) = x**2 + 1. Let v(f) = -h(f) - 4*p(f). Let u be v(-1). Suppose -3*q + u = 24. Is q a prime number?
True
Let k(r) = r**3 - 5*r**2 - 6*r + 9. Let x be k(6). Suppose -4*n + 163 = q, 2*n = 2*q - 317 - x. Is q prime?
True
Let x(z) = 6*z**2 + 1. Let w be x(-2). Let j = 6 + w. Is j a composite number?
False
Let k = 35 + -21. Is k composite?
True
Suppose 0*k = -c - 2*k + 6, -3*c - 3*k = -27. Suppose c = -0*h + 3*h. Suppose -n + 95 = h*n. Is n a prime number?
True
Suppose -t - 5*t = -7194. Is t composite?
True
Let m = -238 - -461. Is m composite?
False
Let p(v) = 286*v**2 + 3*v + 1. Is p(2) composite?
False
Suppose 0*h = 5*h - 30. Suppose 2*g - h - 2 = 0. Suppose -2*a - c + 8 = 3*c, 46 = g*a + 2*c. Is a composite?
True
Suppose 5*b = -18 - 2, -276 = -4*h + 2*b. Suppose -2*a = -w - h, -2*a - 4*w = w - 37. Is a a composite number?
False
Is 2 + ((-12)/20 - 9952/(-20)) prime?
True
Suppose 662 + 691 = 3*a. Is a a prime number?
False
Suppose b + 1 = -0. Let j = 32 + b. Is j a prime number?
True
Let s be (-37 + 2)*(-12)/14. Suppose -u - 2*d - d = s, 192 = -5*u - d. Let p = u + 60. Is p composite?
True
Is -295*(9/5)/(-3) composite?
True
Suppose 17810 = 11*w - w. Is w a prime number?
False
Suppose -4*s = -3*q - 111, -26 = -s - q - 7. Suppose 0 = 4*d + 4*j - s, 4*j = -3*d - j + 22. Is 1/d - (-156)/16 a prime number?
False
Let r(o) = 19*o**3 - 2*o - 1. Let z be r(-1). Let b be ((-8)/(-12))/((-1)/z). Is 694/8 - (-3)/b composite?
True
Let l(z) = 9*z + 5. Let g be (-140)/(-18) - 4/(-18). Is l(g) a prime number?
False
Suppose -2*a - 6*y = -3*y - 11, 10 = a + 3*y. Let c be a + -2 + (-10 - -5). Let r(l) = -10*l - 2. Is r(c) composite?
True
Is 1/(0 - 5/(-2665)) prime?
False
Let v(w) = -30*w + 5. Suppose -2*s = -u + s, 4*u - s + 22 = 0. Is v(u) composite?
True
Suppose -3*w = -2*w + 124. Let j = 381 + w. Is j a prime number?
True
Let b = -647 + 1092. Is b a prime number?
False
Let g(a) = -a**2 - 11*a - 12. Let s(o) be the second derivative of -o**3/6 - 3*o. Let q be s(9). Is g(q) prime?
False
Suppose -616 = -3*t + 131. Is t a prime number?
False
Let u(s) = 5*s**2 + 2*s + 1. Let x be u(-1). Suppose r + x*r = 1685. Is r prime?
True
Let w = 25 - 16. Is -3*(-6)/w + 47 prime?
False
Suppose 0 = b + 1142 - 2835. Is b a prime number?
True
Suppose -471 = -2*y - y. Is y composite?
False
Suppose 5*x - 3 = 12. Let s be 29/x - (-6)/(-9). Suppose -y + s = -6. Is y composite?
True
Let y(i) = 15*i**2 - 7*i - 5. Suppose 0 = -k + 4*k + 6. Let l(b) = 8*b**2 - 3*b - 2. Let r(t) = k*y(t) + 5*l(t). Is r(-1) a composite number?
False
Let h be (1*-1 - -6)*1. Let p(m) be the first derivative of -m**4/4 + 2*m**3 + 7*m**2/2 - 7*m - 8. Is p(h) a composite number?
False
Suppose 4*z + 824 = 4*y, 0*y + 3*z + 216 = y. Is y prime?
False
Let d = 28 + -17. Let z = 15 - d. Suppose -z*p + 3*p = -33. Is p a prime number?
False
Let a(c) = -16*c**2 + 7*c + 9. Let k be a(-6). Let y(x) = -105*x**2 - 3*x - 4. Let o be y(-2). Let i = o - k. Is i prime?
True
Let z = 1846 - 1259. Is z prime?
True
Let x be 1*(-8)/10*5. Is x/14 + (-48)/(-21) prime?
True
Suppose 365 = v - 46. Is v prime?
False
Let p(o) be the third derivative of o**5/30 + 17*o**4/24 + 2*o**3 - o**2. Is p(-11) prime?
True
Let g be 42/4*(-6)/(-9). Let m = -5 + g. Is (m - -224)*2/4 a prime number?
True
Let n(c) = 133*c + 3. Is n(2) a prime number?
True
Suppose 0*k = 3*k. Suppose 5*j - 193 = -2*m - k*j, -m = -5*j - 89. Is m composite?
True
Let z = 12 - 6. Let g = -8 + z. Is -4*(54/(-8) + g) a prime number?
False
Let h = -2 + 0. 