l = -272 + 459. Let h = l - 132. Is h a prime number?
False
Let b = 813 + -478. Is b composite?
True
Suppose 0 = 6*b + 2*b - 2456. Is b a composite number?
False
Let l = -3 + 3. Is 5/((-3)/(-6) + l) prime?
False
Let w(a) = 204*a - 1. Let i = -6 + 7. Is w(i) a composite number?
True
Suppose 2*k + 27 = -51. Let f be (1/(-2))/((-2)/(-80)). Let v = f - k. Is v a composite number?
False
Let m(i) = -2*i - 10. Let t be m(-7). Suppose -44 + 664 = t*n. Suppose -a - 4*a + n = 0. Is a prime?
True
Let x(g) = 34*g**3 - 2*g**2 + 1. Let j(o) = o**3 + 8*o**2 + 7*o + 1. Suppose 0 = -3*p + k - 20, -10 = 2*p - 5*k + k. Let w be j(p). Is x(w) a prime number?
False
Is (-4)/(4/3) + (142 - -6) a composite number?
True
Let u(p) = -4*p + 1. Suppose 0 = -g + 1, 5*g - 6 = 3*x - 2*x. Let q be u(x). Suppose 5*w + 3*o - 461 = -1, 5*w + q*o - 470 = 0. Is w prime?
True
Suppose 0 = 2*y - y + x - 3, 5*y - 15 = -x. Suppose -y*o - 6 = h - 4, 3*o - 12 = -3*h. Is h a composite number?
False
Suppose -3*a = -5*a. Suppose -4*p = -a - 204. Is p a prime number?
False
Let h = -58 + 141. Is h a prime number?
True
Let a = 6 + -2. Suppose 2*r - 6 = n, 0*n - r = a*n - 12. Is 38 + (2 - 1 - n) prime?
True
Suppose -5763 + 423 = -3*j. Suppose 0 = -0*x + 4*x - j. Is x composite?
True
Let x = -29 + 63. Is x a prime number?
False
Let w = 14 - 8. Let d = w - 4. Let q(g) = 29*g**2 + 2*g - 1. Is q(d) a prime number?
False
Let l(i) = i**2 - 8*i - 7. Let r be l(-6). Suppose 5*s - r = 88. Is s a prime number?
False
Let y = 0 - 2. Is 48 + -3 + y/1 a prime number?
True
Let i = 13 + -9. Suppose 0 = -i*f + f - 45. Let g = f + 54. Is g a composite number?
True
Let r = -178 - -92. Let d = r - -139. Is d composite?
False
Let k be (297/(-15))/(2/(-60)). Suppose 4*l + 86 = k. Is l a prime number?
True
Let d = 19 - 11. Let i be 1/2 + (-2)/4. Suppose i = -5*f + 63 - d. Is f a prime number?
True
Suppose 0*d - 5*t - 2357 = -3*d, d + 2*t = 771. Is d a composite number?
True
Let q = 2 - 0. Let v(p) = 64*p**2 - p - 1. Let u be v(-1). Suppose -5*h + 20 = 0, 4*n + q*h - u = -0*h. Is n a prime number?
False
Suppose -4*m = m - 15. Suppose m*h - 2*h - 109 = 0. Is h prime?
True
Let y(a) = 21*a**2 - 5*a - 1. Is y(-4) composite?
True
Let s be 2/(-8) - (-45)/20. Let j(x) = 2*x**3 - 3*x**2 - 4*x + 4. Let b be j(3). Suppose 0 = s*l - b + 5. Is l a prime number?
True
Let h(f) = f**3 + 8*f**2 - 7. Let p be h(-8). Let q(n) = 12*n**2 + 11*n + 10. Is q(p) prime?
True
Let s(p) be the second derivative of -2*p + 3/2*p**2 + 0 + 1/20*p**5 + 1/3*p**3 + 5/12*p**4. Is s(-4) a composite number?
False
Suppose 8*g - 37 = -13. Let q be -1 - (-2 - -1*7). Is (31/(-2))/(g/q) a prime number?
True
Let h(b) = -6*b + 3*b - 6 + 16*b. Suppose -2*t - 5 = 3*i - 7*t, -i = -5*t + 15. Is h(i) composite?
False
Let s(m) = -3*m + 17. Let v(c) = 2*c - 11. Let k(y) = -5*s(y) - 7*v(y). Let f be k(10). Is f/6 + (-1064)/(-21) composite?
True
Let a(j) = -j**2 + 4*j - 1. Let y be a(3). Suppose y*o - 106 = 32. Is o composite?
True
Let i(g) = -g**3 - 8*g**2 - 9*g - 2. Let w be i(-7). Let k be 1058/w + 9/(-54). Suppose -6*j + 2*j + k = 0. Is j a composite number?
True
Let i be 2/(-3)*(-3 - 3). Let f be 44*(0 - 2/i). Is (-8)/44 + (-1258)/f a composite number?
True
Let c be 24174/15 - (-6)/15. Let o = -869 + c. Is o a composite number?
False
Let i(v) = v**2 + 18*v + 19. Let y be i(-17). Suppose y*u - 346 = 184. Is u a composite number?
True
Suppose -5*c = -i - 26, 6*c - 2*c = 20. Let u be (-1)/(i*(-3)/(-57)). Suppose 3*y - u - 92 = 0. Is y a prime number?
True
Suppose 3*k = 5*c - 6, 4*k = c + k - 6. Suppose -a + c = 2. Is -149*a/(4/2) composite?
False
Suppose 0 = 5*x - 4*i - 935, -2*i - 250 + 69 = -x. Is x a composite number?
False
Let p be ((-12)/(-4))/((-3)/(-2)). Suppose -p*s - 70 = 3*s. Let f = s - -29. Is f composite?
True
Let w(k) be the third derivative of k**5/20 + k**4/3 + 7*k**3/6 + 3*k**2. Let z be w(-5). Suppose -z = -p + 7. Is p a composite number?
True
Let n = 11 + -7. Suppose 4*g - 2*g + n*d - 110 = 0, -2*g = -5*d - 155. Is g composite?
True
Let r(j) = 2*j**2 - 3*j + 2. Suppose -67 = 5*h - 2*u - 24, -3*h + 2*u = 29. Is r(h) a composite number?
True
Let m(w) = -9*w**2 - 2*w + 3. Let n be m(4). Let x(k) = -3*k**2 - 4*k + 2. Let y be x(-6). Let h = y - n. Is h prime?
True
Let y(q) = q**2 - 12*q - 8. Let l be y(12). Let j(t) = 7*t**2 - 4*t + 7. Is j(l) composite?
False
Let m(b) = -b**3 - 11*b**2 + 3. Let o be m(-11). Let g(z) = 14*z + 4. Is g(o) a composite number?
True
Let j = 6 - 2. Suppose f = j*f + 36. Is (8/f)/((-4)/66) a composite number?
False
Is (-3 - -2)/((-5)/35) a prime number?
True
Let m = 17 - -66. Suppose -4*q + m = 3*j, 32 = -3*j - 3*q + 113. Is j prime?
False
Let l = -2 - -2. Suppose -w + 1 = -4*p - 4, l = 4*p - 2*w + 6. Is (-1)/(p/35 + 0) composite?
True
Let c(b) = -b - 2. Let l be c(-5). Suppose -l*y - j + 165 + 96 = 0, 2*y - 5*j = 157. Let m = y + -37. Is m a prime number?
False
Suppose 4*w = 4*m - 524, -3*m = -4*w - 415 + 18. Is m a prime number?
True
Let z = -2 + 1. Let q(y) = 6*y**3 - y**2 + y + 1. Let k be q(z). Let o = 14 + k. Is o a composite number?
False
Let l be (-4)/(-1) + 4/2. Suppose -2*s = -l*s. Is s - 25*(-2 - -1) prime?
False
Let j be (1/3)/((-2)/(-30)). Suppose -j*d = -81 - 74. Is d prime?
True
Suppose 0 = -5*a - 3*j + 384, 3*j - 85 + 13 = -a. Suppose d = -p + 36, -p - p - 5*d = -a. Is p prime?
False
Is (953/(-5))/(2/(-10)) a prime number?
True
Suppose 3*s - 28 = -o, -o = 4*o + 10. Is 1/(-5) + 592/s a composite number?
False
Let i be 1 - (4 + 4 + -6). Is (3/3)/(i/(-205)) a prime number?
False
Suppose 0 = 2*i + 2*i - 12. Suppose -5*j = i*l - 0*l - 372, 0 = -2*j - 3*l + 147. Suppose -z - j = -6*z. Is z a prime number?
False
Suppose 4*y - 12 = 0, t - 2*t + 1 = -y. Suppose t*a = a + 63. Is a a composite number?
True
Let r(q) = -2*q - 5. Let j(o) = o + 3. Let a(u) = -10*j(u) - 6*r(u). Is a(5) prime?
False
Is 1 - (-5 + -298 - -3) a prime number?
False
Suppose 0 = -4*j + 3*i + 27, -4*i = i + 25. Suppose j*b = -b + 1068. Is b composite?
True
Let x(a) = -a**3 + 6*a**2 - 1. Let k be x(4). Suppose -4*n + 5*w = -139, -5*n = 5*w - k - 199. Let s = n + -10. Is s a prime number?
True
Is (-2031)/(-21) - 4/(-14) a composite number?
False
Let n(y) = -84*y - 1. Is n(-4) a composite number?
True
Let x = 8 - 5. Suppose -i - x*f = -44, -2*i + 39 + 59 = f. Suppose a = i + 9. Is a composite?
False
Let b(d) be the first derivative of 2*d**3/3 + 5*d**2/2 + d - 3. Is b(4) composite?
False
Let g(s) = -65*s - 6. Is g(-4) a composite number?
True
Let s(w) = 2*w**3 + 4*w**2 + 4*w + 3. Let x be s(4). Suppose 4*r = 3*r + x. Is r a composite number?
False
Suppose 0 = -2*o - 4*o + 2514. Is o composite?
False
Suppose 3*i + 2450 = 8*i + n, -i - 2*n = -481. Is i a composite number?
False
Let q(w) = -2*w**3 - 34*w**2 + 18*w + 39. Is q(-21) composite?
True
Let u(v) = 194*v - 7. Let x be u(7). Suppose 223 = 2*c - x. Is c composite?
False
Suppose 59 = 2*n - 13. Suppose -2*a + 62 = -n. Is a a composite number?
True
Is (-468)/(-7) + 1/7 prime?
True
Is 6/4*(-532)/(-42) a prime number?
True
Suppose 0*c + f + 824 = -2*c, -1214 = 3*c - 4*f. Let d = c + 601. Is d a composite number?
False
Is -115*((2 - 5) + 3 - 1) prime?
False
Suppose -c + 713 = k - 807, 4*k - 3*c - 6059 = 0. Is k a composite number?
True
Let l = -10 - -16. Is l/(-10) + (-398)/(-5) a prime number?
True
Let a(f) = f + 4. Let c be a(11). Suppose -c = -0*g - 3*g. Suppose t - g*v = 82, 3*t - 4*t = 5*v - 52. Is t a composite number?
False
Suppose 4711 = 3*p + 4*h, 20 = 5*h - 0. Is p composite?
True
Let b be (-4)/10 + 8/(-5). Is (-57)/b*2/3 prime?
True
Let o be (0 + -1 - -2) + 0. Let d(w) be the first derivative of 8*w**3/3 - w + 2. Is d(o) prime?
True
Let r = -1 + 4. Suppose -r*q - 24 = -0*q. Let j = -2 - q. Is j a composite number?
True
Let q(z) = 2*z**2 + 4*z. Let j be q(-3). Is (1 + -3)*(-165)/j a prime number?
False
Let d(l) = 2*l + 8. Let y be d(-7). Let w be 87/(-6)*(-4 - -2). Let a = y + w. Is a a composite number?
False
Let m = 381 + 140. Is m prime?
True
Suppose 19*s = 14*s - 2*x + 1130, -4*x - 226 = -s. Is s prime?
False
Suppose -2 = l + 2. Let z(n) = n**3 + 3*n**2 - 4*n - 1. Let p be z(l). Is p/5 - 192/(-10) a prime number?
True
Let v = -5 - -13. Let u be ((-3)/2)/(6/v). Is u - -3 - (-35 - -1) compo