 a prime number?
True
Let z(w) = w**2 - 2*w + 1. Let g(l) = l. Let o be g(3). Let q be z(o). Suppose -q*y = 4*u - 48, 8 = -0*y + y + 3*u. Is y a composite number?
True
Let a be (-3)/((-3)/(-2)) + -54. Suppose 0 = 3*j - 43 + 145. Let h = j - a. Is h prime?
False
Suppose -3*m + 2879 = 2*u, 7203 = -0*u + 5*u + 2*m. Is u prime?
False
Suppose 5*q - 236 = -41. Is q a composite number?
True
Let h(q) = -278*q**3 + 2*q - 1. Let t be h(1). Is t/(-2) + 2/4 composite?
False
Let d(a) = -a**2 + 2*a + 2. Let l be d(4). Is -2*2*93/l a composite number?
True
Suppose 3*v - 2208 = -v + 4*d, 0 = 4*v + 4*d - 2248. Is v prime?
True
Let a = 54 + -18. Let d = -16 - -3. Let o = a + d. Is o prime?
True
Suppose 0*u + 4*a + 120 = 5*u, -4*a = u. Is u/8 + (-2)/(-4) composite?
False
Suppose 66 = 3*z - 2*z. Suppose z = -2*q - 0*q. Is (-2)/3*3 - q a composite number?
False
Let q be 4/(-14) + 8/28. Suppose q = 4*r - 16, -2*x - x + 162 = -3*r. Is x prime?
False
Let v(o) = -5*o**3 - 2*o**2 - 4*o - 9. Is v(-5) a composite number?
True
Let q be (-169)/(-2) - (-7)/14. Let w = q - 50. Is w a prime number?
False
Let c be ((-8)/12)/((-2)/6). Is (-295*c)/((-2)/1) composite?
True
Let u = 523 - 360. Is u prime?
True
Let c = -2 + 4. Suppose 203 - 26 = -3*x. Is c/2 + -3 - x composite?
True
Suppose v - 2*o = -v - 26, -4*o + 16 = 0. Let u(j) = -5*j**3 - 8*j**2 + 7*j - 3. Let z(n) = n**3 - n + 1. Let m(k) = u(k) + 4*z(k). Is m(v) a prime number?
False
Let k(f) = -13*f + 3. Let w(s) = 38*s - 8. Let a(r) = 11*k(r) + 4*w(r). Let c = -21 - -27. Is a(c) composite?
True
Suppose 5*u - 1453 + 420 = -4*f, -5*f + 2*u = -1283. Is f composite?
False
Let p(z) = -z**3 - 4*z**2 - 5*z - 19. Is p(-10) a composite number?
False
Let y(i) be the third derivative of 11*i**5/2 - i**4/24 + 2*i**2. Is y(-1) a prime number?
True
Suppose 0*j - j = -145. Is j prime?
False
Suppose -2*g + 32 = -502. Suppose -2*l + 12 = 3*b + l, 0 = -4*b - 5*l + 16. Suppose r = b*r - g. Is r prime?
True
Suppose 5*b - x = -5, 5*b + 2*x - 7*x = -25. Suppose -2*f + f + 5 = b. Is f*(-3)/3*-23 a prime number?
False
Let o(j) = -18*j - 3. Let a be o(-4). Let q = a + 196. Is q a composite number?
True
Suppose -2 + 3 = -r, -r + 19 = 5*g. Suppose 5*c + g*i = 20, -4*i - 11 = -5*c + 9. Suppose c*q - 88 = -4*v, -v = v - 2. Is q prime?
False
Suppose -3*h - 292 + 1449 = 5*p, -5*h + 1887 = -2*p. Is h prime?
True
Let u(d) = 25*d. Let p be u(1). Suppose c = 2*c - p. Is c prime?
False
Suppose 0 = 3*i - 5*z - 3, i - 5*z = -0*i + 1. Suppose 0 = -c + i + 5. Suppose u = c*u + 10, -u - 575 = -3*h. Is h a prime number?
True
Suppose -5*i = 5*j - 6610, -2*j = 5*i - 4*j - 6589. Is i prime?
True
Suppose -k = 5*f - 159, 2*k = 4*f - 0*f - 116. Is f a prime number?
True
Let s = -5 - -5. Let b = -3 + 6. Suppose u = -t + 50, t + 154 = -s*u + b*u. Is u prime?
False
Let b be 4/2*(-5)/(-2). Suppose b*z - 755 = 40. Is z prime?
False
Let l(g) = 5*g**2. Let h(k) = 11*k**2 - k - 1. Let u(c) = -6*h(c) + 13*l(c). Let t be u(6). Is (-3)/t*2 + 8 a prime number?
True
Let x(v) = -20*v - 3. Suppose 0 = -3*n - 3*m - 291, n + 3*n + 384 = -2*m. Let z be n/20 + 1/(-4). Is x(z) a composite number?
False
Let v(x) = -163*x - 50. Is v(-15) prime?
False
Let c(z) = 8*z**2 + 3 + 4 + 3*z**2 - 9*z**2 + 5*z. Is c(-6) a prime number?
False
Suppose 0 = -3*t + 2*r + 2871, 4*t + 4*r = 2245 + 1563. Is t a composite number?
True
Let t = -400 + 773. Is t prime?
True
Suppose v = -0*v - 5, 9 = -u - 2*v. Let s be (3 - 2)/u - -1. Suppose s*b + 3*b - 275 = 0. Is b a prime number?
False
Suppose 3*n + n = 16. Suppose f + 8 = -4*m - 3*f, -8 = 5*m + n*f. Is m + -2 + (11 - -2) a composite number?
False
Let n = 6380 - 3547. Is n composite?
False
Let s be 3/(-3)*(-1 - -3). Let d be s/(-9) - 50/(-18). Suppose -2*l = x - 7*l - 62, -d*x - 3*l = -132. Is x composite?
False
Is (-712)/(-1) + 4 + -7 a composite number?
False
Let d = 178 - 119. Is d prime?
True
Let f = 28 + -19. Suppose -3*z - 3 - f = 0, 2*b = 3*z + 62. Is b prime?
False
Let p = 132 + -58. Suppose 2*l - p = -0*l. Is l composite?
False
Suppose 0 = x - 108 + 551. Let q = 443 + -723. Let l = q - x. Is l prime?
True
Let m = 125 - 84. Suppose 4 = t, -4*t = c - 3*t - m. Is c a composite number?
False
Suppose -4*j = -2*j - 634. Suppose -3*i = -4*i + j. Is i composite?
False
Let r(z) = -2*z + 4 + 0*z + z - z**3 + 3*z**2. Let w be r(3). Let h = 6 + w. Is h composite?
False
Let d = 1 - -4. Let q(j) = j + 6. Let z(n) = 3*n + 12. Let w(k) = d*q(k) - 2*z(k). Is w(-5) composite?
False
Is -3 + 80/(0 + 1) a composite number?
True
Suppose 23565 = 5*j - 2*a, 3*j - 111 = 5*a + 14047. Is j prime?
False
Let t be -1*(-8)/6*3. Suppose 122 = y - 9*g + t*g, -5*y - 3*g + 610 = 0. Suppose 3*j + 3 = 2*c + 61, 5*j = -3*c + y. Is j prime?
False
Let o be (-30)/4*(-200)/(-6). Let a = 693 + o. Is a a composite number?
False
Let s(x) be the first derivative of -x**3/3 + x**2/2 + 2*x - 2. Let d be s(2). Let g = 15 - d. Is g prime?
False
Let c(a) = 200*a - 13. Is c(3) a composite number?
False
Let g(q) = 5*q**3 - 4*q**2 - q + 1. Is g(4) a prime number?
False
Let g be 10/15 - 4/6. Let w(n) = -n - n**3 - n**2 + 55 + n + n. Is w(g) a prime number?
False
Suppose 2*a + 3*a = -5*g - 5, -3*a - 5*g - 7 = 0. Is 2 - (a*318)/(-2) prime?
False
Let b(t) = -2*t**2 - 2*t + 1. Let o be b(1). Let r(c) = 29*c**2 + 4*c + 2. Is r(o) composite?
False
Let f(v) = -7*v**3 - 2*v**2 - 4*v + 17. Is f(-6) composite?
False
Let z be -2 - (1 - 4 - -1). Let b be (z + 0)/(-3) - 0. Suppose 2*h - 5*h + 9 = b. Is h prime?
True
Let r(v) = -v**2 + 6*v + 5. Let u be r(7). Let n be 2/1 - (-244)/u. Let h = 209 + n. Is h prime?
True
Let k(t) = 25*t**2 - 26*t - 7. Is k(8) composite?
True
Suppose -u + 4*j = 4*u + 12, -5*u = j - 3. Suppose u = a - 36 - 13. Is a prime?
False
Let p(j) = -302*j**3 - j. Let v be p(1). Is (-6)/4 + v/(-6) prime?
False
Suppose 0*q = -4*q + 324. Let t = -50 + q. Is t prime?
True
Suppose -x = -0*x. Suppose -u + 70 - 2 = -5*r, 4*u - r - 234 = x. Is u a composite number?
True
Let d be (-4)/(-10) - 13/(-5). Suppose -14 = 2*o - d*o. Suppose -u - u = -o. Is u a prime number?
True
Suppose 0 = -3*d + 198 + 477. Let r = d + -76. Is r a composite number?
False
Suppose -12*x - 904 = -16*x. Is x prime?
False
Suppose y - k = 12, -k = -5*y + k + 51. Suppose -1276 = -4*x + 2*s, -4*s - y - 7 = 0. Is x composite?
False
Suppose 0*c = c + 23. Is ((-1)/(-1) - 2)*c composite?
False
Suppose -20 = -5*h, -2*h = -2*m + h - 4. Suppose -q + m*t + 24 = -t, -5*t = 2*q - 18. Is (q/(-6))/((-2)/18) a prime number?
False
Let a = -11 + 6. Let b = 8 + a. Suppose -u + b*u = 26. Is u prime?
True
Suppose 1899 = 2*d + 5*n, -3*d = 2*n - 4*n - 2801. Is d a composite number?
False
Suppose 9*p = 4*p + 1255. Is p prime?
True
Let g(c) = 4*c + 6. Let h(y) = -8*y - 12. Let k(t) = 5*g(t) + 3*h(t). Let b be k(6). Let i = 1 - b. Is i a composite number?
False
Let b(h) = 16*h - 2. Let x be b(4). Let i = x + -7. Is i prime?
False
Is 9/3*(-1 + 1560) prime?
False
Let h(v) = -16*v**3 - v**2 + 1. Let m be h(-1). Let g = -11 + m. Suppose -879 = 2*o - g*o. Is o composite?
False
Suppose 5*m + 8649 = 4*r, -4*m - 8648 = -2*r - 2*r. Is r composite?
False
Let j = -62 - -103. Suppose -3*v - 4*a = -794 + j, -5*a = 0. Is v a composite number?
False
Let z = 5 + -3. Suppose z*i - i + 4 = 0. Let d = 17 + i. Is d a composite number?
False
Let d be 30/7 - (-18)/(-63). Suppose d*u = m - 263, -m + 2*u - 775 = -4*m. Is m prime?
False
Let x = -15 - -34. Is x prime?
True
Suppose -4*k + 12 = 0, 2*u + 3*k = 6357 + 3470. Is u a prime number?
True
Suppose -u = -4*u + 381. Is u composite?
False
Let m = -2 - -4. Suppose 0*c - 2*k = c - 10, -m*c - 2*k = -12. Let q = 33 - c. Is q composite?
False
Let h(n) = n**3 + n + 65. Let l(i) = -i**2 - i. Let k be l(0). Is h(k) a prime number?
False
Let u(j) = -j**3 - 9*j**2 - j + 9. Let g be u(-9). Suppose -6*w - 5*y = -2*w - g, 3*w - 4*y = -2. Suppose w*f - 236 = 2*h - 4*h, f - 114 = -5*h. Is f composite?
True
Let x = 68 - -369. Is x composite?
True
Let b = -16 - -18. Suppose -3*g + 5*x + 391 = 0, -b*g - 260 = -4*g + 3*x. Is g prime?
True
Suppose 3*x - 65 = 31. Let h be (x/(-8))/(2/(-94)). Suppose -5*g = -h - 247. Is g a prime number?
False
Let y be -1*(-5 - -2 - 0). Suppose -2 = 2*v - 6, -v = -y*q - 47. Let m = 28 + q. Is m a composite number?
False