*2 - 10*y + 22. Suppose 4*z = -d - 56, z + 2*d = 3*z + 38. Is k(z) prime?
True
Suppose 2*a + 0*a = 10. Let y = -27 - -27. Suppose b = -b + a*t + 125, y = -b + 3*t + 62. Is b prime?
False
Let i(d) = -2*d**2 - d - 10. Let q(n) = -3*n**2 - 2*n - 19. Let z(x) = -5*i(x) + 3*q(x). Let f be -10 - -2 - (1 + -1). Is z(f) composite?
True
Suppose -3*s + 8 = -s. Suppose -3*b - 128 = -s*p, -b + 3*b = p - 27. Is p a composite number?
True
Let b = 45 - -362. Is b prime?
False
Suppose 5*r - 3455 = -0*r. Is r a composite number?
False
Suppose -19*y = -17*y - 9722. Is y a composite number?
False
Let w(c) = c**2 - 10*c - 10. Let n be w(10). Let q(m) = -m**2 - 10*m + 14. Is q(n) composite?
True
Let m(b) = -39*b - 1. Suppose -w + 0*x = -x - 2, 0 = -5*x. Suppose d - w*d - 3*i - 17 = 0, 5*d + 3*i + 25 = 0. Is m(d) prime?
False
Let k = 430 - 231. Is k a composite number?
False
Suppose 10 = 8*i - 3*i. Suppose -4*a + 25 = -i*j - 19, 0 = 5*j + 10. Let x(k) = k**2 + 3*k + 11. Is x(a) composite?
True
Suppose 6 = 4*d - 2. Suppose -94 = -d*l - f + 14, 2*f + 208 = 4*l. Is l a prime number?
True
Let m = -6 + 8. Suppose 879 = m*y + y. Is y prime?
True
Let a = 67 + 899. Suppose 314 = -4*q + a. Is q a composite number?
False
Suppose 0 = r - 4*z - 19, -4*r + 3*z + 21 = -3. Is 36/2 + r + -2 a prime number?
True
Let o(u) = -37*u. Let x = -1 + -1. Let z be (-1)/(2 + 2/x). Is o(z) prime?
True
Let g = -309 + 208. Let n = g + 730. Is n prime?
False
Suppose -1593 = -2*b - p + 1534, 2*p = -10. Suppose -3*d + b = 447. Is d a prime number?
True
Suppose -4470 = 12*i - 22*i. Is i prime?
False
Let q(o) = -5*o**3. Let k be q(-1). Is (-1404)/(-30) - (-1)/k a composite number?
False
Let i(r) = r + 29. Let b be i(0). Suppose 4*j + 122 = 4*l - 2*l, -j - 2*l - 23 = 0. Let f = b - j. Is f a prime number?
False
Let l(r) = -r**2 - 11*r - 6. Let v be l(-9). Is 6*8/v - -190 a composite number?
True
Let z be 5*(-2 - 13/(-5)). Suppose -5*y + 399 = -n, -z*n - y + 739 = 1888. Let i = n - -545. Is i a prime number?
False
Suppose 2*r = -2*b + 222, 3*r + 5*b - 409 = -76. Suppose 0 = -3*h - 0*h + r. Is h prime?
True
Suppose -4*h + 0*h + 1384 = 0. Is h a composite number?
True
Let z = 20 - 6. Is z composite?
True
Let z(g) = 40*g**3 - 6*g**2 + 2*g - 1. Is z(3) a prime number?
True
Let f = 847 + -378. Is f a composite number?
True
Is (127 + 12)/(2/10) prime?
False
Let a be 1/((-2)/12*-2). Is (-5 + a)*(-166)/4 a prime number?
True
Suppose 4*k - 4*z = 17392, 3203 = 2*k + 3*z - 5498. Is k a composite number?
False
Suppose -x = 5*r - 8, 2*r - 6*r + 13 = 3*x. Suppose -f + 0*f = 4*s - 69, x*f + 9 = 0. Suppose -h + 5*y + s = 0, -4*y + 111 = 5*h - 2*h. Is h a prime number?
False
Suppose -2*u = -202 - 172. Is u a composite number?
True
Suppose 5*s - 1460 + 76 = -3*f, 4*f = -3*s + 1838. Is f a prime number?
False
Let m(y) = -2*y. Let u be m(-8). Suppose -3*a = 2 + u. Is ((-104)/a)/(4/6) a prime number?
False
Let k be 1 + -1 - (3 + -3). Suppose 0 = 3*h - 5*i - 476, -2*h + k*i = 4*i - 310. Is h a prime number?
True
Suppose 0*n = n - 2*d, -d - 18 = -5*n. Suppose n*g - g = 867. Is g composite?
True
Let m be 1 + (0 - (1 - -22)). Suppose -10*y + 15*y + 5 = 0. Let u = y - m. Is u a composite number?
True
Let r = 644 + 39. Is r composite?
False
Suppose -3*d + 3*s = 6, -2*d - 12 = 2*d - 3*s. Let v(i) = -i - 6. Let x be v(d). Suppose -2*j + 12 + 18 = x. Is j a prime number?
False
Let t = -134 + 441. Is t prime?
True
Let c = -160 - -1695. Is c a prime number?
False
Suppose -4*i - i = -2*r - 17, 4*i = -4*r + 36. Suppose -5 = 5*s + 2*z, -2*z + z = 5*s + i. Is (26/4)/(s/(-6)) a composite number?
True
Suppose p + 4*p - 12 = d, p = -d + 6. Suppose -j = p*c - 180, -50 = -c + 3*j - 0*j. Let g = 8 + c. Is g a prime number?
True
Suppose 2*w - 3314 = -0*w + 4*k, -1636 = -w - 5*k. Is w composite?
True
Let b(m) = -5*m + 1. Let x be b(-1). Is ((-128)/x - 3)*-6 a prime number?
False
Let x(q) = -29*q - 10. Is x(-3) composite?
True
Is 1/3 + 422/3 a composite number?
True
Let f(m) = -m + 16. Let g be f(9). Suppose -g*k + 3*k = -596. Is k a prime number?
True
Suppose -4*r + r = 3*a - 6, -2 = a + 2*r. Let x = a + -1. Suppose 0 = x*g - 93 - 72. Is g a composite number?
True
Let i(b) be the first derivative of 1/4*b**4 + 2 + 3*b**2 - 2*b**3 - b. Is i(6) prime?
False
Let x(o) = o + 2. Let a be x(-2). Suppose 0 = 3*l + l + 4*s - 524, l - 3*s - 143 = 0. Suppose -5*z + 51 + l = a. Is z prime?
True
Let q(c) = c**3 + 6*c**2 + 3*c - 4. Let n be q(-5). Let z(y) = 28*y. Let f be z(n). Suppose -3*h = -h + 4*m - 98, -3*h + m + f = 0. Is h a composite number?
True
Let z(h) = -2*h**2 + 11*h - 16. Let a(f) = -f**2 + 5*f - 8. Let x(t) = 7*a(t) - 4*z(t). Let d be x(9). Is (d/6)/(-2)*-141 composite?
True
Suppose -6*b = -1679 - 6013. Is b composite?
True
Let j(a) = a**2 + 3*a - 4. Let d be j(-3). Let b be ((-10)/2)/(2/d). Suppose -3*g + 22 = b. Is g prime?
False
Suppose -4*y - c + 1196 = c, 0 = -4*c. Is y composite?
True
Let k = 9 - 8. Suppose -4 = -u + k. Suppose -u = 3*g - 218. Is g a prime number?
True
Let p = -453 - -938. Is p a prime number?
False
Suppose 6*f = 3*f + 3*q + 6, f + 2 = 5*q. Let b(z) = -z**2 + 3*z. Let r be b(f). Suppose 0 = -5*u + 3*u + 5*h + 32, 4*h + 8 = r. Is u a prime number?
True
Suppose 0*g = -3*g. Suppose -a + 20 = 4*a. Suppose -v + 0*y + 2*y = g, -4*v + 12 = a*y. Is v a composite number?
False
Let n(l) = -31*l - 2. Let k be n(-9). Is k/9 + 6/27 a prime number?
True
Let c(q) = q**2 + 2*q - 1. Suppose 0 = -5*w - 0*w - 15. Let z be c(w). Is (4 + (z - -1))*17 a composite number?
True
Suppose n + 9 + 2 = 5*i, -5*n + 3*i = -11. Let q(h) = 19*h - 5. Is q(n) a prime number?
True
Let p(b) = -986*b - 1. Is p(-4) a prime number?
True
Let h(s) be the third derivative of -s**7/1680 + 7*s**6/360 - s**5/15 - 3*s**2. Let r(u) be the third derivative of h(u). Is r(-13) prime?
True
Suppose u - 4*k + 2 = -4*u, 15 = 5*k. Is u a composite number?
False
Suppose z = -27 + 130. Is z composite?
False
Suppose 0 = -4*f - 2 + 10. Suppose 1 = -0*y - y - f*t, 13 = 2*y + t. Is y composite?
True
Let k = 17902 - 10149. Is k prime?
True
Suppose -j + 2*j - 5*x - 59 = 0, 0 = 2*j + 4*x - 62. Is j composite?
True
Let k = 0 - 2. Let w be ((-9)/k)/(12/16). Suppose w = 4*p - 2*p. Is p a prime number?
True
Suppose -7*h = -2*h - 295. Is h composite?
False
Suppose 2*z + 1352 = 3516. Is z a composite number?
True
Let z(p) = -p**2 - 5*p + 4. Let m be z(-6). Let l = -4 - m. Let f = l + 5. Is f composite?
False
Suppose -w - 2*w = -n + 412, n - 417 = 4*w. Is n a composite number?
False
Suppose -2*n + 10 = 3*n. Suppose n*y = j + 176, 3*y - 276 + 12 = 5*j. Let a = y - 53. Is a prime?
False
Let i = -16 - -102. Let c(r) = -r + i + 0*r**3 - 3 + 36 - r**3. Is c(0) composite?
True
Let z = -77 + 120. Is z a composite number?
False
Suppose 4*s + 193 = 5*y, -2*s + 29 = y + 2*s. Is y a prime number?
True
Let g(i) = -i - 1. Let z be g(-4). Suppose -24 = 4*u - z*u. Let x = 38 + u. Is x prime?
False
Let p(x) be the third derivative of x**4/24 + 7*x**3/6 + 2*x**2. Let t be p(-6). Suppose t - 12 = -h. Is h composite?
False
Let f(m) = -m**3 + 6*m**2 - 5*m. Let z be f(4). Suppose s = 35 + z. Is s composite?
False
Suppose 0*t + 2*t - 430 = 0. Is t a composite number?
True
Let f be 10/(-25) - (-472)/(-20). Let j = f + 77. Is j a prime number?
True
Suppose -2716 = -2*c - 2*c. Suppose -4*w - c = -2331. Is w prime?
False
Suppose -2*w - 3*b = 7359, b + 2*b = 2*w + 7353. Is 10/35 - w/14 a prime number?
True
Let c(m) = 16*m - 3. Let l(x) = -31*x + 5. Let g be (2/4)/(6/(-60)). Let q(r) = g*c(r) - 3*l(r). Is q(1) a composite number?
False
Let u = -1350 + 1892. Is u prime?
False
Suppose -l + 9*l = 35080. Is l a composite number?
True
Let b be (-68 - -2)*2/(-6). Let w be (0 - 0)/(-2) + 1. Is b - 0/(-1 - w) a composite number?
True
Suppose 0 = -20*m + 24*m - 7388. Is m composite?
False
Is (-1 - (-118 - -4))*1 a composite number?
False
Let o(j) = -2*j**3 - 10*j**2 - 2*j + 8. Let l(v) = 2*v**3 + 11*v**2 + 2*v - 9. Let d = -4 + 9. Let m(f) = d*l(f) + 6*o(f). Is m(-4) prime?
True
Suppose -2*r = -i + 485, -5*r + 3*r = -2*i + 972. Is i prime?
True
Suppose -h + 483 = 3*p - 5*h, -3*h = -3*p + 480. Is p prime?
True
Suppose -2*s = -b - 6*s + 359, 2*s + 1063 = 3*b. Is b prime?
False
Let s = 72 - 34. Suppose -s = -4*w + 14. Is w c