0. Is t a prime number?
True
Let i = 39 + -8. Is i composite?
False
Suppose 7*q = 2*q. Suppose 4*s - 2*a = 76, -2*a - 2*a = q. Is s prime?
True
Let v(p) = p**3 - 6*p**2 + 2*p + 5. Let f be v(5). Is ((-1055)/f)/((-1)/(-2)) prime?
True
Suppose -2*r - 6 = l - 0*r, 9 = -2*l - 3*r. Let h = 14 - l. Suppose u + h = 2*x + 2*x, 2*u = 2*x - 4. Is u composite?
False
Suppose 5*t - 8 = t. Is -3*((t - 2) + -23) prime?
False
Suppose r = -33 - 74. Let o = -260 - r. Is 2/8 + o/(-12) a prime number?
True
Suppose -5*m + 3*m + 5*u - 35 = 0, 2*m + 2*u = 0. Is (76/m)/((-4)/10) a prime number?
False
Suppose -4 = o, 0 = -3*u + o - 2*o + 3761. Is u a composite number?
True
Suppose -4*o = 4*u - 1912, 0*u - 3*o + 953 = 2*u. Is u composite?
True
Let y(a) be the first derivative of -3*a**4/4 - a**3/3 - 5*a**2/2 - 2*a + 1. Is y(-3) composite?
True
Let m = 24 + 78. Suppose 15 = -5*v + 3*r, -4*r - 15 = 5*v - r. Is v*(m/9)/(-1) a composite number?
True
Suppose 3*r - 158 = 4*k, 5*r - 216 = r + 4*k. Is r a composite number?
True
Suppose -2*i - 587 = -4*r + 267, 0 = -2*r + 3*i + 425. Is r a prime number?
False
Let k(t) = t**3 + 3*t**2 - t - 1. Let q be k(-3). Suppose v + q*v = 429. Is v composite?
True
Is (5/(-2))/(1/(-502)) a prime number?
False
Let u be ((3 - -1) + -1)*1. Let b = u + 8. Is b prime?
True
Let o(x) = -x**2 + 3*x + 1. Let z be o(3). Let t be 4 - (2/(-2))/z. Suppose 0 = -k + 2*k + t*j - 10, -50 = -5*k - 2*j. Is k composite?
True
Let v be -4*(0 + 10/(-8)). Suppose -54 = -v*l - 9. Is l composite?
True
Suppose -5 = -4*w + 7. Suppose -d = -1 - w. Suppose 3*l + 36 = 5*o, 4*l + d = -4*o + 52. Is o prime?
False
Let t = -13 + 22. Let b be (3/1)/(t/6). Suppose 2*o = 4*q + 270, b*o = -3*o - 5*q + 615. Is o prime?
True
Let p(c) = 70*c**2 + 20*c + 23. Is p(-7) a prime number?
True
Suppose 0 = -d + 5, -q + 5*q + 34 = 2*d. Is q/30 - 156/(-5) prime?
True
Let n(j) = 2*j**2 - 6*j + 1. Let x be n(4). Let k(u) = -7 + 31*u - 4 - 5*u. Is k(x) prime?
True
Let a = 6 + -6. Suppose 3*b - 223 - 50 = a. Is b composite?
True
Suppose 2*s - 4*s = -4*l - 686, 3*s + l = 1015. Is s composite?
True
Is (-269)/(5 - 4 - 2) composite?
False
Let m = 316 + -222. Is m composite?
True
Let a be 16 - (2 + 0 - 2). Let o = -22 + a. Let s(r) = -r**3 - 4*r**2 + 7*r + 7. Is s(o) composite?
False
Suppose -3*d - 5*w = -2994 + 848, -5*d - 4*w + 3581 = 0. Is d a prime number?
False
Let r be (-36 + 0 + 2)*-1. Suppose -r + 1 = 3*i. Is (-2)/i + (-75)/(-11) composite?
False
Let l = -263 - -459. Let v = -39 + l. Is v a prime number?
True
Is 2 - (-5*21 + 4) composite?
False
Let o = -65 - -130. Is o/20*(-20)/(-1) a prime number?
False
Let x(s) = 41*s**3 + s**2 - s - 1. Let j be x(-1). Let n = 185 + j. Is n a composite number?
True
Let g(o) = 38*o**2 + 3*o - 3. Is g(-4) a prime number?
True
Let m(d) be the third derivative of 1/60*d**6 + 0*d + 0 - 1/4*d**4 - 1/15*d**5 - 3*d**2 + d**3. Is m(4) prime?
False
Let q(d) = 12*d**2 + d - 1. Let y be 6/2 - (1 + 0). Let r(b) = -b**2. Let x(g) = y*r(g) + q(g). Is x(-2) composite?
False
Let h(x) = x**3 + 9*x**2 + 8*x + 5. Let p be h(-8). Suppose 3*f - 435 = 3*g, 0*f - g - 717 = -p*f. Is f prime?
False
Is (1473 + -2)*(0 - -1) prime?
True
Suppose 4*x - 1285 = -x. Is x a composite number?
False
Let t = -5 - -3. Is 14/(-5)*(t - 3) composite?
True
Let y(d) = 3*d**2 + 6*d + 11. Is y(-8) composite?
True
Let t(v) = v**3 + 6*v**2 + 4*v - 2. Let d be t(-5). Suppose 102 = d*h - 189. Suppose w = -2*l + 77, 3*l - h = -2*w + 20. Is l a prime number?
True
Suppose 172 = -0*u - 2*u. Let l = -51 - u. Let m = l - 25. Is m prime?
False
Let z be 128/13 - 4/(-26). Suppose j = -4*m + 27 + 62, -2*m = -z. Is j prime?
False
Let x(r) be the first derivative of -11*r**2 + 3*r - 2. Is x(-9) a prime number?
False
Is ((-1724)/16)/(1/(-4)) a composite number?
False
Let l be 4*(-1 + (-1 - -40)). Let w = l + -73. Is w prime?
True
Suppose 5*q - 2*q = 12. Suppose -3*i = 2*h - 7, -h + 0*h - i + q = 0. Suppose -5*b - 5*s - 208 = -523, h*b - 317 = -4*s. Is b a prime number?
False
Let w = 15 + -30. Let l = -10 - w. Let a = l - -54. Is a a composite number?
False
Suppose 0 = -3*t + 2*t. Suppose 2*b = -t*b + 50. Is b prime?
False
Suppose -5*m = 4*w + 164 + 74, 2*w - 56 = m. Let g = 205 + m. Is g prime?
False
Suppose -q + 198 = -4*q. Let a be 2/(-5) + q/(-15). Suppose -18 = -a*g + 42. Is g composite?
True
Let b(c) = -c + 13. Let a be b(0). Suppose 4*j - a + 1 = 0. Suppose j*i = -2*i + 155. Is i prime?
True
Let h(l) be the first derivative of l**4/4 + 3*l**3 + 3*l**2 - 3*l + 1. Let k = 16 - 23. Is h(k) a prime number?
True
Let g = 49 + -12. Is g composite?
False
Let p(i) = 58*i. Let n be p(3). Suppose n = -0*u + 3*u. Is u prime?
False
Suppose 514 = -7*z + 9*z. Is z a prime number?
True
Suppose v + 4*v - 2705 = 0. Is v a prime number?
True
Let n(j) be the third derivative of 3*j**4/8 + 2*j**3/3 + 3*j**2. Is n(3) a composite number?
False
Suppose 2 = -x, u = -3*u - 2*x + 3064. Is u composite?
True
Let f(r) = -45*r**3 - 3*r - 1. Is f(-2) composite?
True
Let b(n) be the third derivative of -473*n**4/24 - n**3/3 + 3*n**2. Let z be b(-2). Suppose -5*w + z = -61. Is w a composite number?
True
Let f(d) = -11*d - 6. Suppose g = -3*g - 2*c - 10, -g = 5*c - 11. Is f(g) a prime number?
False
Let p be (2/2)/((-2)/(-10)). Let z = p - 2. Is ((-106)/(-1))/(z - 1) a composite number?
False
Let c(p) = p**3 - p**2 - p. Let r be c(0). Let o(b) = -b**3 + b**2 - b + 3. Is o(r) a composite number?
False
Let q(z) = z**2 + z - 4. Let l be q(4). Let c = 9 - l. Let k = c + 56. Is k a composite number?
True
Let c = 1332 + -661. Is c composite?
True
Let v = -11 - -15. Suppose 2*x = 3*a + 31, -4*a = v*x - 3*a - 27. Is x/(-12) + (-718)/(-6) a prime number?
False
Suppose 3*y - 3*i - 21 = 0, 0 = -2*i + 5*i + 12. Suppose 4*k = -3*g + 65 + 250, -y*g + 4*k = -291. Suppose -o - 4*a + 64 = -6, -5*a - g = -2*o. Is o prime?
False
Let i be 66/8*(-80)/(-6). Let c = i + -19. Is c composite?
True
Let w(o) = o + 9. Let l be w(-7). Let p be -2 + 1 + 0/l. Is (-4 - -35) + 1 + p composite?
False
Suppose -5*o + 3*d = -2950, 3*o - 1776 = 4*d - d. Is o a composite number?
False
Suppose z = -a + 33, 0 = z + 3*z + 5*a - 132. Suppose 2*r + 34 = 3*k - z, -4*k + 88 = -4*r. Is k/((-3)/2 - -2) composite?
True
Let z(g) = 398*g**2 - 2*g + 1. Is z(1) a prime number?
True
Let j = -2 - 2. Let y be 3*j/(2/1). Is (33/6)/((-3)/y) a prime number?
True
Suppose -21 = s + 108. Let r = 258 + s. Let z = r + -8. Is z a prime number?
False
Let a(d) = 4*d - 4. Let g be a(5). Suppose -b + 19 = -g. Is b a composite number?
True
Is (4634/10)/((-13)/(-65)) prime?
False
Let v(g) = -6*g + 9. Is v(-8) prime?
False
Suppose -33 = -2*a + 2*v + 3*v, -5*v = 4*a + 9. Suppose -a*w + 155 = -45. Let t = w - -7. Is t prime?
False
Let n(u) = -9*u. Suppose 0 = -3*f - 2 - 10. Let r be n(f). Is 0 - (-1 + r/(-1)) prime?
True
Let j(r) = r**2 - 6*r - 24. Is j(-13) a prime number?
True
Let g = -9 - -10. Is ((-1)/g)/(2/(-326)) prime?
True
Let g = -5 + 8. Suppose 0 = -g*u + 32 + 13. Is ((-382)/6)/((-5)/u) composite?
False
Let g(i) = -i + 4. Let k be g(4). Suppose -s = -k*s - 83. Suppose s = l - x, -l - 5*x - 336 = -5*l. Is l composite?
False
Suppose -4*c - 12 = 0, -7*c - 3 = -3*t - 2*c. Let w be (-5)/(-20) + (-15)/t. Suppose 0*s - 23 = -s + 2*a, 2*a + 116 = w*s. Is s composite?
False
Let p = -3 + 7. Is 317/p + 3/(-12) a prime number?
True
Let o(f) be the second derivative of 13*f**4/12 - f**3/6 + f**2/2 - 3*f. Is o(7) a prime number?
True
Suppose 4*n - f = -235, 0*n + 5*f - 35 = n. Let d = n - -209. Is d a composite number?
False
Let d(f) be the third derivative of 7/24*f**4 + f**2 + 1/3*f**3 + 1/120*f**6 - 1/12*f**5 + 0 + 0*f. Is d(5) a prime number?
True
Suppose -3*n = -4*n - 5. Let c be (-90)/(-25) + (-2)/n. Suppose -5*g + c*g + 2 = 0. Is g a prime number?
True
Let a(s) = -7*s**3 + 6*s**2 + 7*s + 2. Let u(t) = -t**3. Let z(p) = -a(p) + 6*u(p). Let y be z(7). Is (-237)/y + (-1)/(-2) prime?
False
Suppose 5*s + 3 = 598. Let d = 264 - s. Let q = d + -80. Is q composite?
True
Let h(q) = -q**2 + 2. Let j be h(0). Suppose d + j = -0*d. Let c(t) = 4*t**2 + 4*t + 3. Is c(d) a composite number?
False
Suppose f + 4*f - 635 = 0. Is f composite?
False
Suppose -d + 0*d + 5 = 0, -4*d = -4*i - 512. Let y = 256 - i. Is y composite?
False
L