= -606 + 1093. Is s prime?
True
Let j be (-1 - 1)/(-2) + 1*6. Suppose -r = -j*r + 708. Is r composite?
True
Suppose 1126 = -6*f - 9800. Let x = f + 2606. Is x a composite number?
True
Suppose 2*h - 3*h - 4*g - 277 = 0, -1108 = 4*h - g. Let p = h + 399. Is p prime?
False
Let l(d) = 267*d + 191. Is l(18) a prime number?
False
Let x = -1701 - -743. Let n be (-8)/16 + x/(-4). Let w = 352 - n. Is w prime?
True
Suppose -10281 = -12*d + 9*d. Is d composite?
True
Let b(u) = -u**3 + 7*u**2 - u + 10. Let z be b(7). Is z + (-368)/(-12) + (-8)/12 a composite number?
True
Suppose -4*y + 24 = -7*y. Let f = -8 - y. Suppose 3*g - 2*u - 155 = f, 5*u = 10 - 0. Is g composite?
False
Let a(m) = -m + 1. Let i be a(-3). Suppose c - 87 = -q - 1, 3*q + 309 = i*c. Is 1*c + (4 - 2) prime?
True
Let v(z) = 3*z**2 - 22*z + 37. Let f be v(-19). Let y = f + -279. Is y composite?
False
Suppose 5*q = 5*z - 1535, -z - 3*q + 93 + 214 = 0. Is z a composite number?
False
Let w(p) = -13*p + 72. Let s be (-1)/((-2)/8*16/(-68)). Is w(s) prime?
True
Let v = 135 - 57. Let b = v + -9. Suppose b + 7 = 4*y. Is y a prime number?
True
Let l be -2 + (-4)/2 + -4. Suppose 0 = o + 2*o + 5034. Is o/l - 3/4 prime?
False
Suppose -131 = -3*p + 616. Is p prime?
False
Let b = 9 + -11. Let c = b - -9. Is (1/(-1))/(c/(-4067)) composite?
True
Let v = 40 - 231. Is (-10)/20 + v/(-2) composite?
True
Let g(y) = -y**2 + 4*y + 1. Let v be 2/(-10) + (-26)/(-5). Let o be g(v). Is (-218)/o + (-5)/(-10) prime?
False
Is 17335 - (14/105 + (-28)/(-15)) a prime number?
True
Let j(p) = -p**3 + 5*p**2 + 2*p. Let h be j(5). Is (-1940)/8*(-8)/h prime?
False
Let a = -754 + 14736. Is a prime?
False
Suppose -2*q - 4*q = -54. Is (-1156)/(-8) + q/(-6) a prime number?
False
Suppose -37 + 2716 = 3*g. Let a = 2154 - g. Is a a prime number?
False
Let c = 10 - 21. Is ((-4130)/(-15))/(-3 - c/3) a composite number?
True
Let o(y) be the first derivative of 118*y**2 - y + 7. Let l be o(2). Suppose l = 4*a - a. Is a composite?
False
Let w = -9 + 17. Suppose 5*x + 5*u = 3725, -w + 0 = -4*u. Is x a composite number?
False
Suppose -39*m = 60*m - 645579. Is m composite?
False
Suppose 1 = -b - r, 2*b - r + 4 - 5 = 0. Suppose b = 4*q - 4*z - 540, -4*z + 512 = 5*q - 127. Is q composite?
False
Suppose 2*u = -3*i - 496, -u - 2*u = i + 730. Let k(o) = 2*o - 163. Let d be k(15). Let q = d - u. Is q prime?
True
Suppose -43 = -3*p + 5*u, -85 = -2*p - 6*u - 19. Is p prime?
False
Suppose 0 = -9*i + i + 3032. Let u = i + 108. Is u prime?
True
Let r = -35 - -40. Suppose 5*n - 4*n - r = 0. Suppose c = 5*p + 1471, -2*c + n*p - 3*p = -2958. Is c a composite number?
False
Suppose 5*n = n. Suppose -3*p - 3*k = -n*k + 72, 0 = 5*k + 20. Is (-4)/p - 594/(-5) a composite number?
True
Let w(z) = z**2 + 3*z + 2. Let l be w(-2). Let y(j) = j + 1. Let u be y(l). Is 13 + u/(3/(-9)) prime?
False
Suppose -20 = -4*s, 0*s - 8 = 3*m - s. Let c be 20 - m*(-1 + 5). Is (6256/c)/((-2)/(-3)) prime?
False
Let q(g) = 4*g + 6. Let h be q(-3). Let z(o) = -25*o**2 - 2*o - 4. Let j be z(h). Let u = j + 1673. Is u a composite number?
True
Let r(i) = 357*i + 81. Let k be r(37). Let a be 2/((-2)/20 + 0). Is ((-2)/3)/(a/k) prime?
True
Let z = -1428 + 7849. Is z prime?
True
Suppose -3*t - 2*c = -1645, 1648 = -10*t + 13*t - c. Let h = -132 + 2. Let s = h + t. Is s a composite number?
False
Suppose 7*g - 76857 = 49388. Is g composite?
True
Suppose -o + 4*p + 2477 = -10524, 3*p + 26002 = 2*o. Is o prime?
True
Suppose -4*v = 3*k + 6, 5*v + 1 = -k + 4*v. Suppose 5*n - k*n = 0, -5*z = n - 1315. Is z composite?
False
Let f(d) = -4*d - 16. Let x(n) = 6*n + 24. Let z(a) = -8*f(a) - 5*x(a). Let o be z(7). Suppose -3*m + 4*g + 38 = 0, g + o = m + m. Is m composite?
True
Let f = 56981 - 33564. Is f a prime number?
True
Let d = 4268 - 1367. Is d prime?
False
Suppose -1466*u - 220843 = -1473*u. Is u a prime number?
False
Let m(b) = b**3 + 23*b**2 - 12*b + 33. Let j be m(-19). Let z = 3266 - j. Is z a composite number?
True
Let w(h) = 0 + 0 - 200*h**2 + 580*h**2 - 1. Is w(-1) a prime number?
True
Let l(o) = -33*o. Let s be l(-1). Suppose 0 = -2*m + 7*m. Suppose -3*k - a + s = m, 0*k + 55 = 5*k + 5*a. Is k a prime number?
True
Let x be (-90065)/(-7) - ((-9)/7)/(-3). Suppose 4*g + x = 6*g. Is g a composite number?
True
Let a(w) = 3 + 0*w - 2*w - 10*w - 4*w**2 + 3. Let d be a(-6). Let g = d + 277. Is g prime?
True
Suppose 0*i = i - 9489. Is i prime?
False
Suppose -2*j = -5*u + 71225, -528*j + 523*j + 28461 = 2*u. Is u composite?
False
Is 278729/(-66)*(-1)/(4/24) composite?
False
Let z(s) = -308*s + 3. Let n be z(-11). Suppose -5*q + n = 1166. Is q composite?
True
Let g(b) = 369*b**2 + 19*b - 71. Is g(7) prime?
True
Let l = -2 + 3. Let b(m) = 16606*m**2 - 115. Let g(h) = 437*h**2 - 3. Let s(p) = -3*b(p) + 115*g(p). Is s(l) a composite number?
True
Let c = 6989 - 3502. Let q = c + -1440. Is q a prime number?
False
Let a be 8/2 - 3 - -811. Suppose -6*p + 2*p - a = 0. Is 3/(-9)*(p - -2) composite?
False
Let s = -2452 + 4497. Is s composite?
True
Let z = 524 + 215. Is z prime?
True
Suppose 0 = -4*w + 5*f + 26094, -5*w + 32603 = -f + 2*f. Is w a composite number?
False
Let s = -4069 + 23622. Is s a composite number?
False
Suppose -s = 4*j - 6*s - 33047, 0 = 3*j - s - 24788. Is j composite?
False
Let u = -21 - -14. Let d(o) = -5*o**2 + 6*o + 6. Let r(x) = 4*x**2 - 7*x - 7. Let f(j) = -3*d(j) - 2*r(j). Is f(u) a prime number?
True
Let i be (-2)/(-7) - (-182)/49. Suppose -i*h + 3501 = -5*o, 3*h - o - 939 = 1673. Is h a prime number?
False
Suppose 5*x - 5*p - 40 = 0, -p = -4*x + 31 - 14. Let t be (x - -2) + 3 + -3. Suppose t*d + 0*d = 115. Is d a composite number?
False
Suppose 9*f - 10*f = -2223. Suppose h + 4*h + f = 4*x, 0 = 4*h - 4. Is x prime?
True
Suppose -13 = -2*d - w, 0 = 2*d + 2*w - 3*w - 7. Suppose -2*l = 4*y + 62 - 1024, -l = -d*y + 1213. Let o = y - -257. Is o a composite number?
False
Suppose -3*i - 207 = -4*i. Let w = 100 + i. Is w a composite number?
False
Is (-6839 + -2)*-1*1 prime?
True
Suppose 3510 = 5*b - 0*b. Let s be 0 + 411 + -6 + 4. Let d = b - s. Is d composite?
False
Let n = -21 - -41. Let r = n + -15. Suppose 3*h = 5*w - 490, w - 23 = -r*h + 47. Is w a prime number?
False
Let l be (0 - -2)/((-1)/(-12)). Let y be (-6)/4*(-32)/l. Suppose z - y*z = -145. Is z a composite number?
True
Suppose -2*i + 364 - 14 = 0. Is -3*1 + i + -9 a prime number?
True
Suppose -5*i + w - 6289 = 0, 4*i + 1261 = 3*i + w. Let n = 2122 + i. Is (-2)/(-5) - n/(-25) a prime number?
False
Suppose 5*n = 25, q - n = -6*n + 1665. Let g = 3315 - q. Suppose -6*v + g = -v. Is v composite?
True
Let r be (-2892)/(-24)*(0 - 4). Let y = -177 - r. Is y composite?
True
Let m(u) = 273*u**2 + 2*u - 5. Let l be m(2). Suppose l + 235 = 6*f. Is f a prime number?
False
Suppose -4*j = -0*j + 4*o + 216, -4*j - 5*o = 215. Let h(z) = 25*z - 7. Let y be h(7). Let f = j + y. Is f a prime number?
True
Suppose -n = 3*n - 3464. Suppose -n - 571 = -3*o. Is o a composite number?
False
Suppose 0 = 2*y - 5*y. Let w = 4 + y. Suppose w*c - 179 = -7. Is c a prime number?
True
Let o(c) = c - 5. Let h be o(-5). Let s be (-3)/6 - h/4. Suppose s*l - 3*l + 13 = 0. Is l composite?
False
Let m(x) = 55*x. Let f(l) = l**2 - 2*l - 7. Let r be f(4). Is m(r) a composite number?
True
Suppose 0 = -5*n - 2*m + m + 22461, 2*m = -4*n + 17964. Is n composite?
False
Let o(t) be the second derivative of 19*t**3/6 + t**2/2 - 3*t. Is o(4) prime?
False
Suppose 2*f = i, -5*f + 6 = -0*i - i. Suppose 5*j + 2*s = -11, -2*s + 5 = -3*j - i*s. Is -7*(0 + 2 + j) a composite number?
False
Let n(l) = -23*l**3 + l**2 + 5*l. Let a(d) = 47*d**3 - d**2 - 11*d + 1. Let m(i) = 2*a(i) + 5*n(i). Is m(-3) composite?
False
Let n(z) = 3*z**3 - 3*z**2 - 3*z + 5. Let t be n(2). Suppose 7*x + 356 = t*x. Is x prime?
True
Let c = -1564 + 26297. Is c prime?
True
Let o(w) = 18*w + 1. Let i(y) = y**3 + 8*y**2 - 10*y - 4. Let u be i(-9). Let n be o(u). Suppose s = -0*t - t + 106, 0 = t - 4*s - n. Is t a prime number?
True
Let t = 3708 - 2543. Is (t/25)/((-1)/(-5)) composite?
False
Is (7 + 180/(-27))/(2/29730) a prime number?
False
Suppose 0 = 8*b - 47754 - 17054. Is b a composite number?
False
Suppose -2*z + 540 = -4*q, -z - 2*q + 286 = -0*z. Is z composite?
True
Let w(c) = 3*c**3 - 13*c**2 + 16*c