k + 5*m - 9. Suppose -k*t + 6 = -87. Is t a prime number?
True
Let u(m) = -m**3 - 3*m**2 + 3*m - 4. Let c be u(-4). Suppose 0 = r - 2*d - 4 - 4, -4*r - 2*d + 12 = c. Suppose -r*t + 96 = -172. Is t a composite number?
False
Let k(f) = -140*f**3 + 1. Is k(-1) composite?
True
Suppose 311 - 45 = 2*q. Is q a prime number?
False
Let j(c) = -c**2 + c + 92. Let i be j(0). Suppose h - 3*b - 239 = -4*h, 2*h - i = 3*b. Is h prime?
False
Let n(a) = 24*a + 5. Let f be (2/1)/((-8)/12). Let b be 3 + 6/((-6)/f). Is n(b) a composite number?
False
Let s = 50 + 10. Suppose 3*v + v = s. Is v a composite number?
True
Let n(u) = 211*u**2 + u + 1. Is n(-1) a composite number?
False
Let v(q) = -34*q**3 - 2*q**2 + 4*q + 7. Is v(-5) composite?
True
Let l = 123 + 8. Is l a prime number?
True
Let i = -92 + 203. Is i composite?
True
Is -1 + 1 + (2480 - 1) a composite number?
True
Let x(o) = -4*o + 7. Let w be -1*3/(-6)*0. Suppose -2*z - 4*t - 24 = w, 4*z + 22 = z + t. Is x(z) a composite number?
True
Let a(i) = -i**2 + 10*i - 4. Let f be a(10). Is 3 + f + (-24)/(-1) a prime number?
True
Suppose 2 + 2 = 2*o. Let z = 0 + o. Is (-3 - -40) + (z - 0) prime?
False
Suppose -3*s + 0*s = -9. Is (1/(-2))/(s/(-618)) prime?
True
Let d = 141 - 26. Is 2/(-4) + d/2 a composite number?
True
Let m = 10 + -7. Is m/(-5 + 2) + 32 a composite number?
False
Let c = 1463 - 762. Is c a composite number?
False
Suppose 11 + 72 = o. Is o composite?
False
Is (4 - 0) + 123 - 4 a prime number?
False
Is (-2)/3 - (-2370)/18 a composite number?
False
Let o(t) = 3*t**2 - 9*t + 25. Is o(6) composite?
False
Let t(q) = 7*q. Let w(y) = -13*y - 1. Let u(n) = 5*t(n) + 3*w(n). Is u(-10) a composite number?
False
Let r = 653 - 445. Suppose 0*b + y = -b + 220, b = 3*y + r. Is b composite?
True
Let h(s) = s**3 - 3*s**2 + 3 + s**3 - 4*s - s**3. Let n be h(4). Suppose -n*l + 17 = 3*m + m, -4*m + 24 = 4*l. Is l a prime number?
True
Suppose 3*y + 3*n = n + 784, -2*y = -2*n - 526. Suppose -2*u + y + 64 = 0. Is u composite?
False
Let m(q) = q + 1. Let x be m(0). Is ((-1)/x)/(2/(-134)) a composite number?
False
Let y(u) = 4 - 1 + 17*u**2 + 11*u**2 - 12*u**2 + 4*u. Let i = 5 - 7. Is y(i) a composite number?
False
Let m(j) = j + 1. Let f be m(2). Let h be (f - 2 - -1) + 376. Let y = h - 229. Is y composite?
False
Let n = -2 + 15. Let a = -18 + n. Let x(k) = 2*k**2 - 6*k - 3. Is x(a) a prime number?
False
Let i(j) = 5*j**2 - 1. Let y be i(1). Let t(d) be the first derivative of d**3/3 + 2*d**2 + 2*d + 1. Is t(y) a prime number?
False
Suppose -3*x = 4*b - 18, -x - 5*b + 15 = -2. Let h(a) = -1 + 8*a + a**x + 3*a**2 + a**2 + a**2. Is h(-7) a prime number?
False
Suppose x + 82 = 5*x - m, 2*x - m - 40 = 0. Is 6/x + 621/7 a prime number?
True
Let g = -185 - -312. Is g composite?
False
Let z(q) = -34*q + 5. Let o be z(4). Let a = -78 - o. Is a prime?
True
Let b = -9 + 13. Let j = 6 + b. Is (-26)/(-4)*j/1 a prime number?
False
Let b = 43 - 21. Is b composite?
True
Suppose m = -6*s + s + 18, -m + 2*s - 17 = 0. Let u(r) = -r**2 - 9*r. Is u(m) composite?
True
Let x = 476 - 116. Suppose 3*k - 4*c = -c + x, -5*c + 5 = 0. Is k a prime number?
False
Suppose -6*l + 5*a = -l - 3290, a = 4. Suppose -5*c + 3367 = l. Is c prime?
True
Let h = 1944 - 1225. Is h composite?
False
Suppose 0*z - 674 = -2*z. Is z a prime number?
True
Suppose -3*r = -2*r - 179. Let p = 484 - r. Is p a prime number?
False
Suppose 0 = -2*k - 5 + 17. Is k*((-21)/(-6) + -3) a composite number?
False
Is (-830)/(-6) - (-24)/36 prime?
True
Let z = -5 - -7. Suppose -u + 435 = z*u. Is u a composite number?
True
Let g(n) = n**2 - 11*n + 12. Let f be g(10). Suppose -1 + 5 = -q, m = -f*q + 71. Is m a prime number?
True
Let m(k) = -445*k + 2. Let n(q) = 1335*q - 7. Let o(a) = 7*m(a) + 2*n(a). Is o(-1) a prime number?
False
Let n be (-1)/(2 - (-15)/(-9)). Is 33 - (2 + 0/n) a prime number?
True
Let q be 34/(1 + (-2 - -3)). Let x = q + -10. Is x a prime number?
True
Let y = 4 - 6. Let f be y + (-3 + 2)*7. Is 347/3 - (-6)/f prime?
False
Suppose 2*p - 31 = 191. Is p prime?
False
Let t(o) = o**3 - 3*o**2 + 2. Let m be t(3). Suppose -x - m*x + 6 = 0. Suppose -3*k = -3*b - 9 - 69, 0 = 4*k - x*b - 104. Is k composite?
True
Let l(m) = m**3 - 4*m**2 + 2*m + 1. Let s be l(3). Let i be (6/9)/(s/(-12)). Is ((-38)/i)/((-2)/4) composite?
False
Let r(c) = 13*c. Let f(g) = 286*g. Let j(x) = 3*f(x) - 65*r(x). Is j(2) prime?
False
Let x be 2/8 - 68/16. Let c = x + 9. Suppose u + 48 = c*i, 5*i - 4*u = -0*u + 42. Is i a prime number?
False
Let x(o) = 4 - 3 - 3*o + 3*o**2 + 0*o**3 + o**3. Let z = 3 - 1. Is x(z) prime?
False
Suppose 5*a = -1 + 21, 140 = 2*y - 2*a. Is y composite?
True
Let w = 176 - -92. Suppose -4*s + 4*f = -w, -4*s - f + 268 = -0*f. Is s a composite number?
False
Is 737*1 + (-8 - -8)/8 composite?
True
Let m = -67 - -175. Let g = m + -29. Is g composite?
False
Suppose 5*i + 15 = 0, -3*i = -4*z + 2833 + 148. Is z a prime number?
True
Let j(c) = c**2 + 40. Let r be j(0). Let k(d) = 7*d**2 + d + 1. Let s be k(-2). Let z = r - s. Is z a composite number?
False
Suppose 0 = -5*i + 602 + 583. Is i a prime number?
False
Let v(r) = r - 4. Let x be v(4). Suppose -w + 4 + 33 = x. Is w a composite number?
False
Let z(b) = -b**3 + 6*b**2 + 6*b + 7. Let t be z(7). Let o(x) = x**3 - x + 7. Is o(t) composite?
False
Suppose 0*p + 1120 = -5*p. Let i = p + 357. Is i composite?
True
Is (18136/(-6))/(-2) + (-34)/102 prime?
True
Suppose n - 5*n = -2084. Is n composite?
False
Let i = -2257 + 4584. Is i a composite number?
True
Let f be 8/(-10)*15/(-2). Suppose -f = -0*b + 3*b. Is (-1)/b*-2 - -16 composite?
True
Suppose 92 = 2*o + 2*o. Is o composite?
False
Let z(p) = p**2 + 5*p + 4. Let k be z(-4). Let s(g) = g + 7. Let b be s(-5). Suppose 170 = b*h - k*h. Is h composite?
True
Let z(d) = -d**3 - 13*d**2 - 2*d + 11. Let u be z(-11). Let x = u - -324. Let k = 192 - x. Is k a prime number?
False
Let d = -1 - -1. Suppose d = 5*l - 138 - 202. Suppose 4*x + 4*z = l, -59 = -4*x + x - z. Is x composite?
True
Let c be (12/(-15))/((-2)/(-20)). Let d = c - -14. Let n(w) = -w**3 + 8*w**2 - 5*w - 5. Is n(d) a composite number?
False
Let i = 233 - -1136. Is i composite?
True
Let i be (0 + 2 - 2)/1. Let f(u) = u**2 - u + 2. Let q be f(2). Suppose i = -q*m - 34 + 86. Is m composite?
False
Suppose 0 = -h + 3*m + 244 + 19, -5*m + 1235 = 5*h. Is h a composite number?
False
Let q = 8 - 5. Suppose -198 = -q*h + u, -4*u = -19 + 7. Is h a prime number?
True
Suppose 0 = 2*q + 3*a - 9, -5*q - a = -3 - 0. Suppose q = j - 86 - 25. Is j a prime number?
False
Suppose -346 = -5*y + 249. Is y a composite number?
True
Suppose -5*d = -w + 892 - 57, -3*w + 2437 = 2*d. Is w a prime number?
False
Let a(q) = q**2 - 4. Let f be a(-3). Suppose -1552 = -4*r - 6*w + 4*w, f*r - 3*w - 1951 = 0. Is r a composite number?
False
Let w = 533 - -1224. Is w composite?
True
Suppose 2*v - 1466 = 3*h, v - 1490 = -v - 3*h. Is v composite?
False
Let x = 2 - 2. Suppose x = -2*y + 5*y - 78. Is y composite?
True
Let a = 6 - 7. Let i be a*(-5)/(15/6). Suppose 0 = -i*g + g + 145. Is g a composite number?
True
Let b = 3 - -37. Suppose -3*n + b = 2*n. Suppose 76 = 4*l - n*j + 4*j, 3*l - 57 = 5*j. Is l prime?
True
Suppose -3539 = -3*y - 1022. Is y composite?
False
Suppose -16*o + 10955 + 24837 = 0. Is o a composite number?
False
Let j(x) = x + 5. Let k be j(-4). Suppose 4*b + 3 = -k. Is b - -3 - (0 + -95) composite?
False
Suppose 3*t - 158 = c, -4*c - 56 = -t - 7*c. Is t prime?
True
Is 7/28 + (-275)/(-4) a prime number?
False
Suppose -5*d - 3*s + 12857 = 0, -d + 0*s + 2*s = -2561. Is d a composite number?
True
Let v(d) = d**2 + d - 5. Let s be v(0). Is ((-132)/(-5))/(-4)*s prime?
False
Let v(y) = y**2 - y - 3. Let l be v(2). Is (0 - (-2)/l) + 355 a prime number?
True
Let b(i) = -2*i**3 - 9*i**2 - 3. Let r be b(-7). Suppose 292 = s - 5*m, -s = -0*s + 5*m - r. Is s a prime number?
False
Suppose 5*t = t + 656. Let k = t + -107. Is k a prime number?
False
Is (3 + (-68)/3)*-3 a composite number?
False
Let q(m) = -8*m - 3. Let x be q(-3). Suppose -5*l = 29 + x. Let t = l - -33. Is t a prime number?
True
Let o = -122 - -223. Let a = o + -57. Is a/(-2)*(-10)/4 a prime number?
False
Suppose 0 = -5*x + 2*r + 1317, -2*r = -2*x - 7*r + 521. Is x composite?
False
Suppose 4*r + 16 