Suppose -3*v = -y - 748, -558 = 5*v + y - 1818. Is v prime?
True
Let c(k) = -2*k**3 + k**2 + 3043. Is c(0) a composite number?
True
Let z(l) = -l**3 + 4*l**2 - 3*l + 2. Let j be z(3). Let m be 53/j*(2 + 2). Let t = m + -69. Is t a prime number?
True
Suppose -b + 53 = -w, 2*w + 10 = 4*w. Is b a composite number?
True
Suppose 2*k + 2*g + 6 = 4*k, -5*k - 3*g + 23 = 0. Suppose -j + 233 = 4*w - 4*j, 0 = -k*w - j + 237. Suppose 4*b - b - 3*m = 36, -5*b + 4*m + w = 0. Is b prime?
True
Let t(v) = -v**3 - 5*v**2 - 2*v - 6. Let j be t(-4). Let m = -8 - j. Let a(u) = 13*u - 1. Is a(m) a prime number?
False
Let r(f) = -20*f - 22*f - 31*f + 10*f - 2. Is r(-3) a composite number?
True
Let n = -526 - -921. Is n prime?
False
Suppose -3*l + 89 = -76. Suppose -5*w - 37 = 53. Let p = l + w. Is p a composite number?
False
Let c(k) = 36*k**3 + k**2. Is c(1) a prime number?
True
Let r(w) = w**3 - 4*w**2 - 2. Let u be r(2). Let v be 3 + -1 - 1 - u. Let t = v + 56. Is t prime?
True
Let y = 622 + -360. Suppose v = y - 45. Is v prime?
False
Suppose 3*q - 2*q = 0. Suppose q = p - 2*j - j + 8, 5*p = 2*j - 1. Is ((-39)/6)/(p/(-2)) prime?
True
Let y be (-1)/2 + 8/16. Suppose y = -7*h + 2*h + 30. Is ((-237)/h)/(2/(-4)) a prime number?
True
Let d(y) = 1082*y - 77. Is d(5) composite?
False
Suppose -2*i + 26 = 18. Is i a composite number?
True
Suppose 5*o + 5*w - 816 = 214, -5*o = -4*w - 1057. Is o composite?
True
Suppose 3*r - 7*r + 4 = 0. Is 246/2 - (r + -1) a prime number?
False
Suppose -n + y = 2*n + 152, 2*n - 2*y + 96 = 0. Let k = n - -175. Is k a prime number?
False
Suppose -1865 = -3*q - 497. Suppose -a - 2*a + q = 3*m, -4*a + 459 = 3*m. Is m prime?
True
Let o(r) = 3*r**2 - r - 12. Is o(-7) a prime number?
False
Let y(w) = w**3 + 19*w**2 - 26*w + 17. Is y(-18) a composite number?
False
Suppose 5*v - 1077 - 463 = 0. Suppose -4*g + v = -0*g. Is g prime?
False
Suppose 7*i + 0*i - 2933 = 0. Is i prime?
True
Let p(i) = 15*i - 10. Let b(q) = 22*q - 15. Let d(u) = 5*b(u) - 8*p(u). Let c(w) = 31*w - 14. Let v(x) = 3*c(x) + 8*d(x). Is v(3) prime?
True
Let u = 0 - -3. Suppose -t - 3*t = -z - 1, u*t = z. Suppose 0 = -z*s + 4 + 26. Is s composite?
True
Suppose -b = -0*b - 2*d - 6591, 3*d = 3*b - 19767. Is b prime?
False
Let u = 976 - 458. Let f = -357 + u. Is f prime?
False
Suppose 4*x + 287 = x + 4*h, 191 = -2*x + 3*h. Let z = 218 + x. Is z prime?
False
Let m(b) = -4*b + 31. Is m(0) a prime number?
True
Suppose 0 = -3*c + 445 + 44. Is c composite?
False
Suppose 2*i - 4*i - 5*h = -200, 5*h = 5*i - 500. Let r = i + -5. Is r composite?
True
Let h(m) = -m - 6. Let a be h(-6). Suppose 3*f = -4*k + 1766, k + 3*f + a*f = 437. Is k a composite number?
False
Is (4 - -158*5)/2 a composite number?
False
Let s = -272 + 421. Is s a prime number?
True
Let d = 29 - 24. Let p(a) = 13*a - 6. Is p(d) a prime number?
True
Let i = 2976 - 5598. Is 4/(-14) - i/14 composite?
True
Suppose -4*l + 2*k = -6, -5 + 11 = 3*l - k. Suppose 0 = g + l*g - 1712. Suppose 2*t = -3*b + g, t = -2*b - t + 286. Is b composite?
True
Let w = 22 + 97. Is w composite?
True
Let m(a) = 8*a + 1243. Is m(0) composite?
True
Let n be 6/27 + (-16)/(-9). Suppose -y = -n*y. Let k = 26 - y. Is k a prime number?
False
Is (-1)/1 + 551 + (-7 - -8) a prime number?
False
Let g(f) = f**2 + 9*f - 3. Let d be g(-7). Let u = 32 + d. Is u prime?
False
Suppose -2*m = 3*o - 10768 + 120, -m = 5*o - 5317. Is m composite?
True
Let w = 1110 + 23. Is w a prime number?
False
Let z(o) = -o - 3. Let i be z(-7). Suppose 2*d - i*d = -74. Is d a composite number?
False
Suppose 5*n + 0 = -5. Is -4 - n - (-122 - 0) composite?
True
Suppose 0*o - 5*b = 4*o + 28, 0 = -3*o - 4*b - 22. Is (20/3)/(o/(-3)) a composite number?
True
Suppose 0 = -3*c + 3*w + 2376, -c + 5*w + 783 = 7*w. Is c a prime number?
False
Suppose 3*i = 5*z - 3149, z - 3*i = -6*i + 637. Is z a prime number?
True
Let s(p) = -p**3 - 5*p**2 + 6*p + 2. Let m(z) = -z**3 - 6*z**2 + 6*z + 2. Let l(n) = -3*m(n) + 2*s(n). Is l(-8) a prime number?
False
Let z(j) = -10*j + 4. Let q be z(5). Let o = q - -81. Is o composite?
True
Let c be 2 - (1 + 0)*-2. Suppose 4*k = -c*m + 160, 4*k = 3*m - 8*m + 204. Suppose 5*v - 3*a + 0*a - m = 0, 0 = -3*v - a + 32. Is v composite?
True
Suppose -5*n + 3 + 7 = 0. Suppose 282 = n*t + t. Is t composite?
True
Let u(o) = 250*o - 4. Let h be u(3). Suppose a = -a + h. Let w = -168 + a. Is w composite?
True
Let t = -1975 - -3440. Is t prime?
False
Let t be (88 + 2*-1)/1. Let k(m) = -2*m**3 + m + 2. Let h be k(3). Let a = t + h. Is a a composite number?
False
Suppose 3*t + s = -t + 8666, t = s + 2169. Is t a composite number?
True
Let a be 2/(-8) - (-26)/8. Suppose 131 = a*z - 4*t, -2 - 8 = 2*t. Is z prime?
True
Let y(l) = l**3 + 9*l**2 + 8*l - 1. Let k be y(-8). Let m = k + 3. Is (-105)/(-9) + m/(-3) composite?
False
Let j = 625 - 294. Is j a composite number?
False
Is (1 - 38)/((-1)/3) a composite number?
True
Suppose 7*g + 3171 - 11158 = 0. Is g a composite number?
True
Is (1 - 2 - 2) + 50 prime?
True
Suppose -4*g = 3*h - 3807, 3*h + g = 4*h - 1276. Is h composite?
True
Let b = 0 - -2. Suppose -b*a + 4*y = -0*a - 16, -20 = -4*a - 4*y. Is a a prime number?
False
Suppose x + 3*x - 8 = 0. Suppose 3*f - 25 = -x*f. Suppose d - 18 = v, 26 = 2*d - v - f. Is d composite?
False
Let g(b) = 2*b**3 + 3*b**2 - 4*b - 1. Let t(s) = s**3 - 9*s**2 - 8*s - 14. Let x be t(10). Is g(x) a prime number?
False
Is (2*1)/((-14)/(-7679)) composite?
False
Let r = 2937 + -502. Is r a prime number?
False
Let f(a) = 9*a - 3. Let z be f(3). Suppose 24 + z = 3*g - 5*b, -5*g + b + 102 = 0. Is g prime?
False
Let p = 5 + -2. Suppose -38 = 5*f - p. Is 2/f - 494/(-14) composite?
True
Let n = 82 + -19. Suppose j = -0*j + n. Let g = 109 - j. Is g a prime number?
False
Suppose 5*w = -0*g - 3*g + 2718, -916 = -g - 5*w. Is g a composite number?
True
Let a(v) = v**3 + 8*v**2 + 5*v - 5. Let i(n) = 2*n**3 + 16*n**2 + 10*n - 9. Let k(d) = -5*a(d) + 2*i(d). Let o be k(-7). Let c(j) = -j + 8. Is c(o) prime?
False
Suppose -7*s + 6685 = -2*s. Is s a composite number?
True
Let u(f) = -f**2 - 5*f + 2. Let y be u(-6). Is 17 + 5 + y + 1 a prime number?
True
Is 2*1 - (21 + -426) a composite number?
True
Suppose 4*k - 7*k + 1749 = 0. Suppose -3*q - 2*x + k = 0, -x + 558 = 3*q - 4*x. Is q composite?
False
Let c be (3/(-3))/(1/(-33)). Let z be -1 + (-2 - -62*1). Let m = z - c. Is m prime?
False
Suppose 3*b - 2*b = 38. Suppose 0 = 3*w - 4*r - 18 - 101, w - r = b. Is w a prime number?
False
Is ((-1)/(-1))/(4/5348) composite?
True
Let i = -3 + 1252. Is i prime?
True
Let t = -1342 + 3594. Suppose 4*x = -0*x + t. Is x a prime number?
True
Let u(k) = k**3 - 8*k**2 + 9*k - 5. Let g be u(7). Let f = -13 + g. Is (10/f)/((-1)/6) composite?
True
Suppose -5*k + 5*s = -54010, -4*k + 35795 + 7386 = 5*s. Is k a composite number?
False
Suppose 0 = 5*p - y - 1495, -6*p = -3*p - y - 897. Is p prime?
False
Let u(l) = 7*l**2 + 11*l - 3. Let s(k) = 15*k**2 + 21*k - 7. Let h(z) = 6*s(z) - 13*u(z). Is h(-7) a prime number?
True
Let b be (-134)/(-26) + 4/(-26). Let x be 2/(-7) + (-212)/(-7). Suppose -b*s = -8*s + x. Is s a composite number?
True
Suppose 9*l + l - 3970 = 0. Is l a prime number?
True
Suppose t + 2*n = 4*t + 2847, -4*t - 3796 = -2*n. Let c = -551 - t. Suppose -g + z + 238 = 2*g, 0 = 5*g - 3*z - c. Is g composite?
False
Let x(m) = m**3 + 4*m**2 + 2*m - 2. Suppose 2*g - 4 = 4*g. Let l be x(g). Suppose 3*r - r + 56 = l*q, r = 5*q - 128. Is q a composite number?
True
Let b(k) = k**3 + k. Let o(t) = -2*t**3 - 4*t**2. Let v(a) = -3*b(a) - o(a). Let i = 6 + -4. Is v(i) a composite number?
False
Let u be 6*(3 + 32/(-12)). Suppose -h + u*h - 55 = 0. Is h composite?
True
Suppose -1 + 11 = 5*i. Is i/(-11) - (-2252)/44 a prime number?
False
Let b be 3 - (-5)/(10/(-6)). Suppose -4*q = -13 + 5. Suppose b = -3*l - q*l + 30. Is l prime?
False
Let w(a) = a**3 + 12*a**2 + 11*a - 13. Let i(z) = 3*z + 8. Let n be i(-6). Is w(n) a prime number?
False
Let x(f) = 1 + f**3 + 1 - 2*f**2 - 4*f**2 + 2 - 7*f. Suppose 5*o + 21 - 56 = 0. Is x(o) a composite number?
True
Let j(t) = -382*t**3 + t**2 - 1. Let h be j(-1). Is h*(-3)/(-3*2) prime?
True
Suppose -u + 2*l - l + 7550 = 0, 5*l + 22640 = 3*u. Is u a composite number?
True
Suppose -4*d + 3*q = 313, d + 320 = -3*d 