 Is m a prime number?
False
Suppose y = -0*y + 572. Suppose 0*c = 4*c - y. Is c a composite number?
True
Let o(t) = 119*t + 39. Is o(17) a composite number?
True
Suppose -9*o + 2743 = -8*o. Is o a composite number?
True
Suppose -7*q + 155 + 972 = 0. Is q a prime number?
False
Suppose 0 = 3*l - 1 - 17. Suppose -a = -l*a + 1055. Is a composite?
False
Let n(l) = 4*l + 0*l**2 + 3 - l**2 + 3*l + 2*l**2. Is n(-9) a prime number?
False
Let d be (-1 - 9)*2/(-5). Suppose -d*g = g + 20, 5*b = 4*g + 811. Is b a composite number?
True
Suppose 185 = j + 58. Is j a composite number?
False
Suppose -342 = 3*r - 3*u, -r + 0*r = 5*u + 132. Let m = 168 + r. Is m composite?
True
Let d be -1 + 1 + 528/(-16). Let v = d - -52. Is v a composite number?
False
Suppose -b - 1 - 7 = 0. Let s(h) = -2*h**3 - 10*h**2 - 5. Is s(b) prime?
True
Suppose 8 = -2*v, 0 = c - 4*c - 2*v + 481. Is c a composite number?
False
Let o(b) = b + 1. Let x be o(0). Suppose -15 = -4*c + 3*h, x = -c - 4*h - 19. Suppose c = -k + 8 + 11. Is k a composite number?
False
Let n be -10*(1 - (-3)/(-2)). Suppose -n*q + 10 = -5. Is ((-9)/q + 2)*-11 a prime number?
True
Let h(n) = -2*n**2 + 3*n - 12. Let k be h(8). Let p = k + 271. Is p composite?
True
Suppose 15 + 110 = -q. Let x = -72 - q. Is x a prime number?
True
Let f be 4/10 - (-7)/(-5). Let t(o) = -26*o**3 - o**2 + 1. Is t(f) composite?
True
Let g be (-1 + 0)*(0 + -1). Let m = -31 + 19. Is g/(-2) + (-186)/m prime?
False
Suppose -x + 187 = -312. Is x a prime number?
True
Let m be 0 + -2*(-3 - -2). Let s(i) = 4*i**3 - 2*i**2 + 1. Let v be s(m). Suppose v = 2*z - 1. Is z prime?
True
Let z(p) = -3*p - 1. Let h be z(2). Let a = h + 10. Is 37*(-1 - (a - 5)) a prime number?
True
Suppose 0*k - 4*k - 2*v = -8, -2*k - 2*v = 0. Suppose h + 5*c - 504 = -113, c + 1480 = k*h. Is h prime?
False
Suppose 0 = -9*y + y + 16. Suppose -2*f + 4*o + 100 + 22 = 0, 3*o + 284 = 5*f. Suppose h = -3*i + 3*h + f, 4*i = -y*h + 78. Is i prime?
True
Let c(g) = -g**2 + 12*g - 5. Is c(6) prime?
True
Let a(b) = 7*b**3 - 2*b**2 - b - 4. Let c be a(4). Is c/(-16)*8/(-6) a composite number?
True
Let l(h) = -38*h. Let i be l(-1). Let t(g) = 11*g**2 - 3*g + 3. Let j be t(2). Let k = i + j. Is k a composite number?
False
Suppose -13 = -5*q - 3. Suppose 5*j + q*x = 2505, 3*x = 6*x - 15. Is j composite?
False
Let b = -129 - -218. Is b prime?
True
Let l = 237 - 88. Is l composite?
False
Let l(x) = x**3 - 4*x**2 + 6*x - 5. Let d be l(-5). Let o = -163 - d. Is o a composite number?
False
Suppose -8 = -3*t + 4. Suppose 0 = -2*r + t*b + 72, 3*r + 5*b - 240 = -2*r. Is (12/(-8))/((-3)/r) composite?
True
Suppose -2*i = -4*k - 2062, 0 = -3*i + 4*i - 3*k - 1027. Is i prime?
True
Let y be -2 + 2 + 2 + 8. Let f be ((-12)/y)/(2/(-5)). Suppose -3*r + f*j - 23 = -59, -2*r + 21 = j. Is r a prime number?
True
Suppose 4*k - 20 = k - t, 0 = 2*t + 8. Let f be k/3 + (-1)/(-3). Suppose -5*i + f*i = -94. Is i a prime number?
True
Let o = 8 - 92. Suppose 0 = 2*u - u + 139. Let b = o - u. Is b a prime number?
False
Suppose 0 = 3*c, 0 = 2*q - 5*c - 479 - 1475. Is q composite?
False
Let d be (0 - (2 - 2))/(-1). Suppose -v + 3*v + 108 = d. Let q = 89 + v. Is q composite?
True
Let g(b) = -b + 702. Let k be g(0). Let q = -373 + k. Is q a composite number?
True
Let g(p) be the first derivative of p**3/3 - 3*p**2/2 + 13*p + 3. Is g(9) a prime number?
True
Let a(q) = -6*q. Let x be a(-1). Let b = 8 - x. Suppose b*h - 1 = 1, 4*h = -2*c + 182. Is c prime?
True
Suppose 3*r = 2*c - 3964, -3*c - r - 5953 = -6*c. Is c a prime number?
False
Let x be (4/5)/((-5)/(-25)). Suppose -v + 2*v + x*r = 274, -4*r - 1116 = -4*v. Is v prime?
False
Let d be -1*(-57)/6*4. Let b = d - 4. Is b composite?
True
Suppose -7*o = -1215 - 2705. Suppose 0 = 4*a - 332 - o. Is a composite?
False
Suppose -2*u + 0*u + 3771 = 3*l, 0 = 2*l - u - 2514. Is l composite?
True
Suppose 4*o = 2*j - 410, 3*j - o - 655 = -5*o. Is j a prime number?
False
Is 6/(-15) + (-974)/(-10) composite?
False
Suppose 3*n - 3*q = -7*q + 11, -2*n - q + 4 = 0. Is (-31)/(1*(0 - n)) composite?
False
Let w(l) = l + 5. Let k be w(-3). Let q be ((-4)/6)/(k/(-24)). Is (-110)/q*20/(-5) a prime number?
False
Let d(k) = 11*k**2 + 4*k - 8. Is d(-5) prime?
False
Suppose -2*t - 38 + 132 = 0. Let l = 122 - t. Suppose -3*d + 2*h + 2*h + l = 0, 5*d - 4*h = 117. Is d prime?
False
Suppose 3*c - 1699 = -b, 4*c - 8473 = -5*b - 0*c. Is b composite?
False
Suppose 23*t - 20*t - 1641 = 0. Is t prime?
True
Let d = -10 + -27. Is (-4)/(-6) + d/(-3) composite?
False
Suppose -23 = 4*f - 7. Let q be (-6)/f*2 - -3. Suppose 352 = 3*m + 2*z, -5*m - q*z = -2*z - 586. Is m composite?
True
Let l = -79 - -114. Is l a composite number?
True
Let q(o) be the first derivative of -o**4/4 - o**3 - 7*o**2/2 + 5*o + 2. Let l(s) = -s. Let g(j) = l(j) + q(j). Is g(-6) composite?
True
Suppose h - 30 = -5*s, 2*s + 0*h + 10 = 4*h. Suppose 2*g + 3*g = 3*r + 15, -s*r - 25 = 0. Is 53 - (-1)/1*g a prime number?
True
Let i(l) be the third derivative of l**6/120 + 7*l**5/60 - l**4/24 - 4*l**3/3 - 2*l**2. Let t be i(-7). Is (t - -33) + (-4)/4 a composite number?
False
Suppose -76*h + 79*h = 1581. Is h prime?
False
Let l(w) = 3*w**2 + 4*w + 8. Let g be l(-6). Let n = g + -13. Is n prime?
True
Suppose 27 = -4*a + 3*x - 2*x, 5*a + 45 = -x. Is 60 - 3 - a/(-2) composite?
False
Suppose -2*r - 744 = -4*g + 2*r, -3*g - r = -562. Is g prime?
False
Is (-984)/(-4) + -4 + -3 composite?
False
Let l be ((-15)/10)/(6/(-3440)). Let i = l - 319. Is i a composite number?
False
Let q = -270 - -132. Let l = q - -205. Is l a composite number?
False
Let q = -379 + 1550. Is q prime?
True
Suppose -2*a + 40 + 5538 = 0. Is a prime?
True
Let d = -2 + -5. Let s = -4 - d. Suppose -3*f + s*u + 13 = -2*f, 0 = -5*f + 5*u + 95. Is f a composite number?
True
Suppose 1 = 2*l - 3. Is (l/(-3))/(8/(-444)) a composite number?
False
Is 682/(-4)*(-9 + 7) a composite number?
True
Is (-10)/30 - 524/(-6) composite?
True
Suppose -y - 3*u - 144 = -2*y, 4*u + 16 = 0. Let x be 1/((4 - 3)/3). Suppose x*p = 7*p - y. Is p composite?
True
Let o(d) = -d**2 - 7*d + 3. Let g be o(-7). Suppose -329 = g*c - 4*c. Is c composite?
True
Let t = -22 + 221. Is t a prime number?
True
Suppose -5*c - 5*v = -2415, 6 = -2*v - 0*v. Let h be c/14 + 2/7. Let g = -4 + h. Is g a prime number?
True
Suppose 0 = 2*x + 2*x - 2636. Is x composite?
False
Let w(g) = 72*g - 5. Is w(6) composite?
True
Is ((-11764)/6)/(8/(-12)) a prime number?
False
Let d be (0 - -4)*202/8. Let y = 26 + d. Is y a prime number?
True
Let j = 6 - 6. Suppose -5*h - 909 + 3199 = j. Suppose 3*o = 3*t + h - 77, -o + 127 = -5*t. Is o composite?
False
Let q(f) = -2*f - 6*f - f**2 + 4*f**2 + 8 + 0*f**2. Is q(9) composite?
False
Suppose 0*c = -5*c + 10. Suppose -2*z + 5*h = -43, -5*z + 3*h = -c*z - 51. Let a = 67 - z. Is a prime?
True
Let s(z) = -z**3 + 5*z**2 - z + 7. Let v be s(5). Suppose 2*o - 40 = -v*o. Let d(a) = 6*a - 5. Is d(o) composite?
True
Let m be (18 - 15) + (12 - -1). Is m/120 - 2306/(-30) a composite number?
True
Suppose -4*w = w - 1840. Suppose -627 = -5*a + w. Is a a composite number?
False
Let x(j) = -1. Let i(h) = 3441*h - 5920. Let g(t) = -43*t + 74. Let w(z) = -481*g(z) - 6*i(z). Let n(c) = -w(c) + 74*x(c). Is n(-1) prime?
True
Let c = 6 + -6. Let r = 2 - c. Is 0 + 22/r + -1 a composite number?
True
Suppose 278 + 48 = 2*y - 2*c, 4*y + 3*c = 638. Is y prime?
False
Let f = -4 - -4. Suppose 3*c = -5*w - 168, 4*w + 152 = 2*c - f*c. Is 8/w - 1073/(-9) a composite number?
True
Let d(r) = -r**3 - 12*r**2 - 7*r - 17. Let f(x) = 3*x + 3. Let p be f(-5). Is d(p) a composite number?
False
Let x = -1 + 1. Let c be (-1)/(-1) + (x - -1). Suppose -2*m - 43 = -g, 151 = 4*g + c*m - 3*m. Is g prime?
True
Let o(z) = z**3 + 6*z**2 - z + 5. Is o(-6) prime?
True
Let b = -52 + 77. Suppose 3*y - 5*y + 16 = 2*d, -3*d - 4*y + b = 0. Is d composite?
False
Let j = 54 - -57. Suppose 2*o + 0*q = 2*q + 12, -o - 4*q - 14 = 0. Suppose -r + j = o*r. Is r composite?
False
Suppose -10 + 20 = -s. Let h be (-42)/2*4/(-6). Let c = h + s. Is c a prime number?
False
Let x = 2197 - 1400. Is x composite?
False
Let z(x) = x**3 + 8*x**2 - 10*x - 4. Let h be z(-9). Suppose -h*f + 2 = -l, -4*l = -5*l + f + 10. Is l a composite number?
False
Let n(s) = 58*s + 1. Let w 