2 - u - 1. Let g be o(-1). Suppose -2*x = -4*y + 68, -4*y + 88 = 3*x - g*x. Is y a prime number?
True
Let k = -696 + 1037. Is k prime?
False
Let i = 1432 + -537. Is i a composite number?
True
Let u = 12 + -20. Let v = 12 - u. Let a = 35 - v. Is a a prime number?
False
Suppose 0 = -20*n + 22*n - 5240. Suppose 0 = 5*q + 5*y - n, -q - y = -6*q + 2650. Is q prime?
False
Let q = 419 + -210. Is q composite?
True
Let r(m) = -m**3 + 9*m**2 + 9*m + 14. Let k be r(10). Suppose -i - 1 = -k. Suppose -t + 247 = 3*y, -i*t - 469 = 4*y - 1190. Is t composite?
True
Suppose -o - 2*p - 9 = 0, -4*o - 5 = -p - 14. Let a(s) = 543*s**2 - 2*s. Is a(o) a prime number?
True
Suppose 0 = -15*d + 23583 + 53622. Is d composite?
False
Suppose 5*v - 997 = 2*d, -3*v = 2*d - 3*d - 598. Is v a prime number?
True
Let d = 368 - -2441. Is d composite?
True
Suppose -r = -f + 286, -2*r - 290 = -f - 8. Suppose 0*s = -2*s + f. Is s a composite number?
True
Let s(z) = -2*z**3 + z**2 - 9*z + 5. Is s(-7) composite?
True
Let h be ((-4)/(-12))/((-2)/(-6)). Is 37/(2*h/2) composite?
False
Suppose 0 = -4*t - 3*o + 11, 0*o = -o + 1. Is (165/6)/(t/4) composite?
True
Suppose -28 = -6*u + 2*u. Let q(i) = -i**2 + 7*i - 2. Let y be q(u). Is 5/(-10) - 43/y a composite number?
True
Suppose 4*r = 8*r + 40. Let m be r/(-5) - -1*193. Suppose -7*c + m = -2*c. Is c prime?
False
Suppose -5*r + 1092 = -1573. Is r prime?
False
Suppose q - 92 = 2*f + 163, 4*q + 2*f - 1000 = 0. Is q a prime number?
True
Suppose 0*i = 5*i. Suppose i*z + z = 161. Is z a prime number?
False
Is (-202)/(-6) + 5/15 prime?
False
Let m(b) = b**2 + 6*b + 6. Let y be m(-5). Let i = -1 + y. Suppose 2*u - f = -i*f + 49, 4*u - 86 = -2*f. Is u a prime number?
True
Let m(n) = -n**2 - 4*n + 6. Let z be m(-5). Suppose -r - z = 3*a + 5, 0 = a - 3*r + 12. Let b(v) = -2*v + 3. Is b(a) a prime number?
False
Let a(k) = 133*k**3 - k**2 - 4*k + 9. Is a(2) composite?
False
Let s(n) = 20*n**2 - 5*n + 10. Is s(7) composite?
True
Suppose 21 = 3*l - 138. Suppose 5*y + 22 = -2*a - 0, 2*a - 14 = 4*y. Is (1/(a/l))/(-1) prime?
True
Is ((-3)/(-6))/(1/(-2782))*-1 composite?
True
Let c = 18 + 224. Let u = c + -145. Is u composite?
False
Let r(a) = a**3 - 10*a**2 + 2*a - 3. Let s be r(10). Let b = 11 - s. Is (65 - 0) + 8 + b prime?
True
Let l = -30 - -62. Let a(w) = 19*w**2 - w - 1. Let z be a(-1). Let x = l - z. Is x prime?
True
Let y(n) = n**2 - 7*n. Let q be y(7). Suppose 5*s + 399 = d, q*s + 1554 = 4*d + s. Is d a prime number?
True
Suppose -5*l + 35 = -0*l - 4*n, 0 = -3*l - 2*n - 1. Suppose 0 = -l*u + 5*u - 4. Suppose -g + 125 = -3*r, -g + u*r - 135 = -2*g. Is g a prime number?
True
Let h be (-3 + -1 - -3) + 7. Let g(p) be the first derivative of 9*p**2/2 - p - 1. Is g(h) a prime number?
True
Suppose 4*i - 3220 = 408. Is i a composite number?
False
Suppose -5*d + 7*d = 3274. Is d a composite number?
False
Let d(a) be the second derivative of 1/3*a**3 - 2*a - 1/20*a**5 + 0 + 2*a**2 + 1/2*a**4. Is d(3) a composite number?
False
Let m(h) = -212*h + 29. Is m(-7) composite?
True
Let h = -1231 - -2888. Is h composite?
False
Is (-1884)/(-4) - (9 - 7) prime?
False
Suppose -10 = 2*i, -2*g + 0*i = 2*i - 1492. Is g a composite number?
False
Let p = 508 + -205. Is p a composite number?
True
Let w(s) = -2 - 4*s**2 + s + s**3 + 2*s**2 + 6*s**2. Let y be w(-2). Is ((-102)/4)/((-2)/y) a prime number?
False
Let v = 37 - -290. Is v a prime number?
False
Suppose h + 4 = 3*h. Suppose 0 = 2*n - h*y - 574, -y = n + 3*y - 277. Let b = -158 + n. Is b composite?
False
Suppose -o + 0*o - 17 = -4*c, 3*c = 5*o + 17. Suppose -5*f = -c*k + 223, 286 = 3*k + 2*k + f. Suppose -4*r + r + k = 0. Is r a composite number?
False
Let q(v) = v**2 + 2*v + 2. Let r be q(-2). Let b(y) = -r + 2 - 6 - 4 + 6*y. Is b(8) composite?
True
Let u be (-11)/(-3) + (-1)/(-3). Suppose -2*h - 7*r + 2*r + 524 = 0, -5*h - 2*r = -1331. Suppose -4*f = -z + h, -145 - 893 = -u*z + f. Is z a composite number?
True
Suppose -n - n = -2*d - 14, 5*n - 4*d = 33. Suppose 1136 = n*x + 3*i, 2*i = -x + 92 + 138. Is x a composite number?
True
Let x = -12 + 5. Let m be 0 - 2 - 1*x. Suppose -7*y - 3*h = -2*y - 9, -5 = -5*y - m*h. Is y prime?
True
Let s be 1 + 0 - (-3 - -2). Let n(r) = -r**3 + 4*r**2 - 4*r + 3. Let m be n(s). Suppose -q - 5 = -0*q, 2*q = -l - m. Is l a prime number?
True
Suppose -4*b + 5*b + 4*z = 8143, -4*b + 32536 = -2*z. Is b a composite number?
True
Is (2/4)/((-3)/(-1314)) a composite number?
True
Suppose o - 6*o + 565 = 0. Is o a prime number?
True
Suppose -11197 + 988 = -5*o - 4*f, 0 = 5*o + 3*f - 10208. Is o a composite number?
True
Let o be (3 - 3)*(0 - 1). Is o - 1 - 45*-2 prime?
True
Suppose y + 4*g - 109 - 432 = 0, -5*y = -2*g - 2793. Is y a composite number?
False
Let h(y) = -3*y**2 + 8*y + 13. Let l be h(9). Let q = l - -247. Is q a composite number?
False
Let c = 0 + 2. Suppose -c*o + y = -32, -3*o - 3*y = -2*y - 38. Is o a prime number?
False
Suppose 0 = -3*s - h + 5131, -3*h - 8549 = -5*s - 4*h. Is s prime?
True
Suppose -h = -187 + 26. Is h a prime number?
False
Suppose 6 = q - 5*g - 2, 5*g = -5. Suppose i + 4 = -q*i. Let d(u) = 8*u**2 + u. Is d(i) a composite number?
False
Let r(m) = -5*m - 1. Let n be r(-3). Suppose v + 3*a - 31 = -4*v, 2*v + 2*a = n. Suppose 5*i = 3*j - 947, 1603 = v*j + i + 3*i. Is j a composite number?
True
Suppose -824 = -2*d + 3*m, -6*d = -4*d + 4*m - 810. Is d prime?
True
Suppose -2586 = -5*h - 4*g, 5*g + 393 = h - 101. Is h composite?
True
Suppose -3*l = 4*i - 388, 2*i + l = -0*l + 194. Is i a composite number?
False
Let i(x) = -15*x - 6. Let f(n) = -16*n - 5. Let a(z) = 5*f(z) - 4*i(z). Is a(-3) composite?
False
Suppose 0 = 52*h - 51*h - 127. Is h a composite number?
False
Let l(b) = -2*b**3 - 10*b**2 - b + 8. Let n be (0 - -2)/(6/(-21)). Is l(n) a prime number?
True
Let g(l) = -l**2 - 9*l + 12. Let m be g(-10). Let k be (-3)/m*20/(-6). Suppose 10*a - k*a + 75 = 5*d, -2*a = -d + 11. Is d a composite number?
False
Let c(g) = 2*g + 4. Suppose -3*k + 5*y - 34 = 0, 4*k + 3*y = 4*y - 17. Let z be c(k). Is (-3)/z - (-1135)/10 a prime number?
False
Let t(u) = 16*u**2 + 26*u - 24. Let x(o) = -3*o**2 - 5*o + 5. Let i(n) = -2*t(n) - 11*x(n). Is i(10) composite?
True
Suppose 4*g - 956 = -108. Is 10/4*g/5 composite?
True
Suppose 3*l = 5 - 2. Let f be ((-2)/(1 + l))/(-1). Is (f - (-50)/(-6))*-3 prime?
False
Suppose 2*c - c - 3 = 0. Suppose -12 = -3*s, -2*s + c*s = 4*n - 12. Is n a composite number?
True
Suppose 5*w - 5 = -o, -4*w - o + 0 = -3. Suppose w*p = 4*p + 4. Is 9 - p*(2 + -3) a composite number?
False
Let a(h) = -2*h**3 + h**2 + 2*h + 1. Is a(-3) a prime number?
False
Suppose x + 2*s + 8 = 2*x, -4*x + 10 = 3*s. Suppose -x*q + 12 = -8*q, -2*y + 319 = -3*q. Is y a prime number?
False
Let o = -99 - -38. Let a = 98 + o. Is a a prime number?
True
Suppose -5*u = -2*h - 32, 0 = 3*h - 4*u + 38 + 3. Let j = 4 - h. Is j a prime number?
False
Is 2/17 - 626928/(-272) a composite number?
True
Let p(a) = -13*a + 5. Let v(d) = d**3 - 4*d**2 - 7*d + 4. Let o be v(5). Is p(o) a composite number?
False
Let u(a) = -a**3 + 2*a**2 + 4*a. Let k be u(3). Let d be ((-4)/k)/((-2)/66). Suppose 33 = 2*i + 5*h, -i = 2*i + 2*h - d. Is i prime?
False
Let g(w) = 23*w**2 - 2*w - 5. Is g(-4) prime?
False
Let c(p) = 185*p + 18. Is c(4) prime?
False
Let y(d) = 416*d**3 - d. Let p be y(1). Is (2 - 1)/(5/p) a composite number?
False
Let k = -261 - -452. Is k a composite number?
False
Let u(p) = -p**3 + 35*p**2 + 19*p + 29. Is u(30) a prime number?
True
Let r be (-30)/(-16) - 9/(-72). Suppose 2234 = 5*x - 3*x - 3*k, r*k = 0. Is x prime?
True
Let d(g) = g**3 - 5*g**2 + 5*g + 1. Is d(7) a prime number?
False
Let d(z) = 634*z**3 + 4*z**2 - 1. Let f(t) = t**3 + t**2. Let v(a) = -d(a) + 4*f(a). Is v(-1) a prime number?
True
Suppose -3 = 2*n - 7. Suppose 0 = n*s + s - 15. Suppose 5*c - 56 = -3*j, -5*c + 0*j + 50 = s*j. Is c prime?
True
Let x(s) = -s + 7. Let i be x(5). Suppose -i*a + 254 = -d, -5*a - 4*d + 381 = -2*a. Is a composite?
False
Suppose -4*c - 560 = 2*z - 3758, -2398 = -3*c - 2*z. Let b = c - 460. Suppose b = 5*l - l. Is l a prime number?
False
Is 783 + (3 - 1 - -2) - 2 composite?
True
Is -3687*1*(-4)/12 a prime number?
True
Is 4/(-14) - (1628/(-14) + -3) a prime number?
False
Suppose -4*t = -t. Is 718 + 3/