rime number?
False
Let a = -6920 - -13219. Is a a prime number?
True
Let b(z) = -495*z - 2. Is b(-1) a composite number?
True
Suppose 2*w = 8 + 4. Suppose x = -x - w. Let q(j) = -4*j + 1. Is q(x) a prime number?
True
Suppose -d + 5 = -0*d. Suppose -d*x + 224 = -251. Is x composite?
True
Let g(l) = 8*l**2 + 2*l + 3. Is g(7) a prime number?
True
Let p(z) = -12*z. Let j be p(-1). Is (-764)/(-6) + (-4)/j a composite number?
False
Let w be 78*(-3 - 10/(-4)). Let q(s) = s**2 - 5*s + 8. Let a be q(-6). Let z = w + a. Is z prime?
False
Let x = 2 - 1. Let l = x + 4. Let o(b) = -b + 8. Is o(l) prime?
True
Let z(s) = s**2 + 7*s + 6. Let k(q) = -q + 2. Let g be k(-2). Suppose -4*y + g*f - 20 = 0, 3*y + 0*y + 39 = -5*f. Is z(y) a composite number?
True
Let m = -18 - -120. Suppose 0 = 5*f + n - 334, 108 = 3*f + 3*n - m. Suppose 0 = -0*c - 2*c + f. Is c a prime number?
False
Suppose 50 + 218 = 2*a. Suppose 0 = b - 4*q - 37 + 14, 0 = -4*b + 2*q + a. Is b prime?
False
Suppose -114 = a - 3*a. Is a a composite number?
True
Let r be 0/(0 + 0 - 1). Suppose 2*d - 80 = -2*d. Suppose r = -2*k - t + d, -k = -2*k + 4*t + 19. Is k a prime number?
True
Let u(m) = 8*m**2 + 3*m + 4. Suppose 3*h + 4*i - 10 = h, 0 = -4*h - 3*i. Is u(h) a composite number?
False
Let u = -33 + 48. Let g be 5/u - (-173)/3. Suppose -g = -4*c + 3*c. Is c a prime number?
False
Let k(w) = -9*w**2 + 9*w - 8. Let o be k(-8). Let z = 1177 + o. Is z prime?
True
Let k(v) be the second derivative of 12*v**3 + 7*v**2/2 + 8*v. Is k(3) a prime number?
True
Suppose -8 = 4*l, -x - 2*x = 5*l + 1. Suppose -m + 5*m + x*t - 197 = 0, m - 78 = 5*t. Is m prime?
True
Suppose 6*p = 29 + 3343. Is p prime?
False
Let c = 685 + 100. Suppose -a + 6*a - c = 0. Is a a composite number?
False
Suppose -5*c = 2*x - 9, c - 2*x + 0 = -3. Suppose -3*s + 13 - c = 0. Is s composite?
True
Suppose 5*o = 8*o - 1761. Is o prime?
True
Suppose 4*d = -5*b + 634 - 77, -b - 289 = -2*d. Is d a composite number?
True
Suppose -13 = k - 2*p + 5*p, 8 = -4*p. Let f(o) = -11*o - 8. Let u be f(k). Suppose 0 = 4*z - 135 - u. Is z a composite number?
True
Let x(t) = 6 + 2*t + t**2 - 4*t - 7*t. Let u be x(8). Is (u - -3)*21 + 2 prime?
True
Let z(x) = -6*x - 8. Let l be z(-9). Suppose -l = 2*i - 4*i. Is i a prime number?
True
Suppose -708 + 74 = -2*g. Is g composite?
False
Suppose -4*p + 25 + 38 = 5*t, 5*t - 2*p - 81 = 0. Suppose 32 = 3*w + 3*u - u, 2*w - 5*u = t. Is w composite?
True
Is ((-1)/(-1))/(9/2655) composite?
True
Let i(k) = k**3 - 5*k**2 + 7*k - 46. Is i(9) composite?
True
Let a(h) = 11*h**2 - h - 5. Is a(-6) a composite number?
False
Let o(z) = z + 1. Let n(s) = -2*s - 5. Let g(c) = -n(c) - 4*o(c). Let t be g(-2). Suppose t*f = f + 124. Is f prime?
True
Let g(i) = i + 3. Let n be g(0). Suppose -n*a + 6 = 0, -4*a - 36 + 141 = w. Suppose 4*d - 4*y = 112, 4*d + 2*y = -15 + w. Is d composite?
False
Let u(o) = -2*o - 12. Let y be u(-8). Let w = y + 31. Is w a composite number?
True
Let d(l) = l**3 + 6*l**2 + l + 5. Let i be d(-6). Is (i/(-4) + 1)*404 a composite number?
True
Suppose 340 = 2*d - 186. Is d a composite number?
False
Is (((-5444)/(-16))/1)/((-7)/(-28)) a prime number?
True
Suppose -3*t - 3*j = -t, 2*t = 3*j. Suppose -n - 2*u + 180 = 0, t = -n - 3*n + u + 729. Suppose -n = -p - p. Is p composite?
True
Suppose -11*p + 15828 = p. Is p composite?
False
Suppose 14*o = 10*o + 1324. Is o a prime number?
True
Let c(s) = s**3 - 12*s**2 - 6*s - 14. Is c(13) a composite number?
True
Suppose 0 = 4*y + 10 - 2. Let r = 2 + y. Let z(a) = -a**2 - a + 77. Is z(r) a composite number?
True
Let a(u) = u**3 - u**2 - 2*u. Let l be a(2). Let x be (0 + l)*1/2. Suppose 4*g - 3*q + 36 = 120, -4*q = x. Is g prime?
False
Let s(a) = 21*a + 4. Is s(15) a composite number?
True
Let o(u) = u**3 + 3*u**2 - 6*u - 4. Let r be o(-4). Suppose 0 = r*q - 104 - 76. Suppose 0*c = -3*c + q. Is c prime?
False
Suppose 4*t - 9509 - 1411 = 0. Suppose -4*r + 5*x - 3400 = -9*r, -t = -4*r - 2*x. Is r a prime number?
False
Suppose -3*x - 48 = -7*x. Suppose 3*d - x = 0, -4*t - 106 = -t + 2*d. Is (-7)/2*t + 1 a composite number?
True
Suppose -5*l - 6 = 2*s, s - 3*l = -3*s + 14. Let i = 6 - s. Suppose -5*v + i*v = -19. Is v composite?
False
Let p(c) = 8*c**2 + 24*c + 29. Is p(-16) composite?
False
Let n be (-2)/(-11) - 53/(-11). Let l(c) = 9*c + 8*c + 8*c + 2. Is l(n) a prime number?
True
Let z(g) = 3*g**3 + 4*g**2 + g + 1. Is z(3) prime?
False
Suppose f + 1 = -v, v + 2*f = 6*f - 16. Let l be 2*2*(-6)/v. Suppose -3*n = -6, -l*z + 3*z - 2*n = -61. Is z composite?
False
Let f = -7 + 7. Suppose -y + 2*c + f*c = -73, -y = c - 70. Is y prime?
True
Let f be 24/40 - 22/(-5). Suppose -4*w + f*w = 85. Is w a composite number?
True
Suppose -5*q + 9*q - 3064 = 0. Is q prime?
False
Suppose 5*z + 3*z - 2552 = 0. Is z prime?
False
Suppose -2*r + 90 = r. Suppose 3*f - 4*u = -u + 33, 0 = -5*f + 2*u + 64. Is (f/(-4))/((-5)/r) a composite number?
True
Let w = 1066 + -632. Suppose 0 = -u + w + 2787. Is u/11 + (-4)/(-22) a composite number?
False
Let l = -4 - -75. Is l a prime number?
True
Let i(s) = -s**3 - 5*s**2 + 7*s - 3. Let b(w) = -1. Let y(x) = -6*b(x) + i(x). Let a be y(-5). Let d = 21 - a. Is d a composite number?
False
Is ((-19)/(-2))/((-3)/2)*-3 a prime number?
True
Let z be (-9 - 1)/(-1 + 0). Let b be (2 + -1)/(2/z). Suppose b*j - 69 = 2*j. Is j prime?
True
Is ((-36)/(-1) - 1) + 0 composite?
True
Let d(g) = -g**3 - 3*g**2 + 2*g - 2. Let b be d(-3). Is b/(-10)*35/2 prime?
False
Let m be 944/(-8) - 1*-2. Let v = 195 + m. Is v composite?
False
Let h be ((-2 - 1)*23)/(-1). Let p = 166 - h. Is p a prime number?
True
Let c(q) = -q**3 - 7*q**2 + 7*q + 9. Let o be c(-8). Suppose 4*w + 8 = 6*w. Suppose -w*n = -131 - o. Is n prime?
True
Let s(g) = 4*g**2 + 7*g - 5. Let m = 4 + -10. Is s(m) prime?
True
Let j = -2 - -2. Suppose -5*p = h + 3*h - 435, j = -3*p - 3*h + 264. Is p a prime number?
True
Let b = 112 - 210. Let v = 172 + b. Is v prime?
False
Suppose -5*u = -4*u - 3*v - 360, 0 = 3*v - 6. Suppose -2*a = -2*f + u, 5*f + a = -2*a + 883. Is f a composite number?
False
Let v(h) = 3*h + 7. Let k be v(5). Is 4638/k + (-12)/(-66) composite?
False
Suppose 0*d = d - 22. Suppose -4*k = 3*v + d, 4*v + 22 = 2*k - 0*k. Is (-3)/(v/(-44)*-1) a prime number?
False
Let h be 1/(-2) - 62/(-4). Let g = h + -10. Is (-34)/(-10) - 2/g a composite number?
False
Is (-4682)/(-10) + -1 - (-7)/(-35) a composite number?
False
Let p(s) = s**3 + s**2 - s + 2. Let m be p(-2). Suppose 1655 = -m*y + 5*y. Is y prime?
True
Let x(g) = -2*g**3 - 14*g**2 + 3*g + 3. Let o be x(-10). Suppose -o = 3*k - 6*k. Is k prime?
True
Let t(j) = 2 - 7 + 2*j + 0 + j**3 + 5*j**2. Let i be t(-4). Is (i/(-2))/((-4)/8) a composite number?
False
Suppose 14 = -5*g - 11. Let k = g + 11. Is (-276)/(-15)*15/k prime?
False
Let c(f) = -f**2 + 13*f - 4. Let n be c(5). Suppose 4*b = -4*r + n, 0 = -4*b + 5*r + 1 + 80. Is (3 + 2)*(b - 3) a composite number?
True
Suppose -4*p + 2*f = -146, -2*p - 3*p + 188 = 3*f. Let u = p - 26. Is u a prime number?
True
Let y be (-6)/(-4)*(-12)/(-9). Let u = y - 0. Suppose 4*o - 110 = u*o. Is o a prime number?
False
Suppose -2*m - 5*h + 37 = -3*m, -5*m + 5*h - 145 = 0. Let g = 72 + m. Let l = -26 + g. Is l prime?
True
Suppose d = -2*t + 1093, -2*t + 1090 = d + t. Is d a composite number?
True
Let o(i) = -7*i + 6. Let l(t) = -t. Let f be l(7). Is o(f) prime?
False
Let l be (-2 - 0)/2 - -53. Let z = 39 + l. Is z prime?
False
Let s = 3734 - 955. Is s a composite number?
True
Let s(q) = -q**3 + 8*q**2 + 8*q + 12. Let p be s(9). Suppose -88 = -p*x + 14. Is x a prime number?
False
Suppose 1160 = 4*s - 3*g, s - g - 37 - 252 = 0. Is s a prime number?
True
Let i(d) = -2*d - 3. Let a be i(-3). Suppose -a*c + 41 = -n, 0*n - 8 = -2*n. Suppose -3*x = -3*h - c, 4*h - 22 = x - 4*x. Is x prime?
False
Suppose w = -2*w - 183. Let i = -42 - w. Is i composite?
False
Let h(b) = 5*b**2 - 5*b - 7. Is h(-9) composite?
False
Suppose 0*a = -4*a + 140. Let b = 68 - a. Is b prime?
False
Let q = 92 - -131. Is q a composite number?
False
Let d = -23 + 37. Is d a composite number?
True
Suppose 16 = 4*q + 4*f, -4*q + 3*f = -2*q - 8. Let b(g) = -g**2 + 9*g - 4. Let h be b(7). Is (-22)/(q/h*-1) prime?
False
Let q = 709 + -438. Is q prime?
True
Suppose 0 = 2*o +