s v prime?
True
Let w(t) = 6 - t**2 - 3 + 0 - 6*t. Let o be w(-6). Suppose o*b - b - 70 = 0. Is b prime?
False
Suppose -5999 + 2486 = -3*n. Is n prime?
True
Suppose -3*z + 13 = -8. Suppose -8 = -3*s + z. Suppose 2*n + s*v - 305 = 0, -3*n - 2*v + 151 = -2*n. Is n a composite number?
True
Suppose 0 = 33*i - 28*i - 2045. Is i composite?
False
Is 807/9 + 4/(-6) prime?
True
Let u(p) = p - 10. Let q be u(8). Is q/8 + (-269)/(-4) composite?
False
Is ((-2)/(-6))/((-23)/(-66171)) a composite number?
True
Let y be (-15)/(-6)*8/10. Suppose 335 = -g + y*g. Suppose -d + 6*d - g = 0. Is d a prime number?
True
Suppose -3*z = -5*y - 64, -12 = -2*z + z - 3*y. Let u = z - -1. Is u prime?
True
Suppose -4*r + 20 = 4. Is r prime?
False
Let c = 8 + -4. Suppose c = -4*q - 0*q. Is 0 + 6*4 + q prime?
True
Suppose 5*z - 33 + 13 = 0, z - 3 = d. Is 2*d/(-5)*-145 composite?
True
Let d(x) = 3*x**3 - 2*x**3 + 0*x - 5*x + 0*x + 4*x**2 + 2. Let z be d(3). Let y = -28 + z. Is y a composite number?
True
Let f = -219 + 364. Is f prime?
False
Let j(d) = -d**3 + 7*d**2 + 10*d - 1. Let r be j(8). Is 522/r + 1/5 a composite number?
True
Suppose -d = -a - 4*a + 23, -d - 5*a = -27. Suppose -530 = -d*i - 0*i. Suppose 0 = -4*h + i - 81. Is h composite?
True
Let r(f) = f**2 - 6*f. Let g be r(6). Let h(t) = t + 4. Let y be h(g). Is 1/y - 210/(-24) prime?
False
Is (-1 - 0)/((-2)/(-53384)*-4) composite?
False
Let c(v) = 9*v**2 - 5*v + 1. Is c(-5) composite?
False
Suppose -7*n + 2*n + 10 = 0. Suppose -n*o + 6 = -0*o. Suppose 0*a + 609 = o*a. Is a prime?
False
Let z(b) = 14*b**2 + b + 1. Is z(-2) composite?
True
Let o = 6 - 2. Is 9177/49 + o/(-14) a prime number?
False
Let v = 244 - 165. Is v composite?
False
Let q = -9 + 14. Suppose 4 = i - m, 5*i - 16 = m - 0. Suppose -267 = -3*r + i*n, -r + q*n = -3*r + 150. Is r composite?
True
Suppose 0 = -4*t - 5*g - 11 + 34, -3 = -3*t + g. Suppose 0 + t = s. Is ((-33)/s)/((-3)/4) composite?
True
Suppose 2*o - m = 9, -3*o + 7*o - 3*m = 19. Suppose -o*r - 68 + 304 = 0. Is r a prime number?
True
Let j be (3 - -15) + (-4)/2. Let w = j + -11. Suppose 147 + 8 = w*z. Is z prime?
True
Let a = 717 + -304. Is a composite?
True
Suppose 0 = -12*g + 16*g - 2140. Is g prime?
False
Let j be 3/(-5) - (-39)/15. Suppose -p - j*i = p - 114, 6 = -3*i. Is p composite?
False
Let q = -4 - -4. Suppose -4*k + k + 45 = q. Is k composite?
True
Suppose 4*h + l - 395 = 3*h, 0 = -4*h + 4*l + 1548. Is h a prime number?
False
Let y(d) = -d + 0*d + 3*d - d. Let h be y(2). Suppose 0 = -4*n + h*n + 74. Is n composite?
False
Suppose 4*k = -r + 22 + 3, 3*k = 4*r + 14. Suppose -4 = p - k. Suppose 0 = 2*x - p*b - 180, -b + 88 = x - 0*b. Is x a composite number?
False
Let p(k) = -11*k. Let a(b) = -11*b + 1. Let t(g) = -3*a(g) + 2*p(g). Suppose -m + 6 = 2*m. Is t(m) a composite number?
False
Suppose 4*v - 815 = -v. Is v prime?
True
Let w(d) = -70*d + 8. Is w(-5) composite?
True
Let p(h) = h - 49. Let s be p(0). Let w = s - -72. Is w a prime number?
True
Let h = -33 + 160. Is h composite?
False
Let j = -427 - -243. Let u = -89 - j. Is u composite?
True
Is ((-3949)/33)/((-1)/3) a composite number?
False
Is 3 - (471/(-3) + -1) composite?
True
Let v = 2 + 1. Let w = -3 + v. Suppose -5*u + 395 = -w*u. Is u a prime number?
True
Let z(i) = i**3 + 12*i**2 - 3*i - 4. Let a be z(-10). Is a*((-27)/(-6) + -4) prime?
True
Suppose -4*d = -z + 94, 5*d + 16 = 1. Suppose 274 = 4*l + z. Suppose 0 = 2*g + 4*h - 12, -5*g - 2*h = -g - l. Is g a prime number?
False
Suppose -3*z = 3, 0*z = -4*l - 4*z + 8. Suppose l*p = 4*q - 7, 2*p = -0*p + 5*q - 7. Is 36 + 1 + 0/p composite?
False
Let b = 27 - 15. Is (-3)/12 + 87/b composite?
False
Let r = 741 + -424. Is r a composite number?
False
Let k(h) = 2*h + 7. Is k(15) composite?
False
Let o(n) = -196*n**3 - 2*n**2 + 4*n - 1. Is o(-3) a prime number?
True
Is (2 - 10/4)/1*-634 prime?
True
Suppose 20*p = 3*p + 18003. Is p prime?
False
Let r(w) = w**3 - 8*w**2 - 13*w + 17. Is r(10) a composite number?
True
Let u(y) = -133*y + 35. Is u(-12) composite?
True
Suppose 2 = 3*u - 2*u. Suppose 0 = 3*l + 3*w - 7 - 11, u*l + 3 = 3*w. Is l a composite number?
False
Let a = 4 - -1. Suppose 5*v + 3*n - 3308 - 787 = 0, a*v = -4*n + 4090. Suppose 4*s = 454 + v. Is s prime?
False
Let m = -91 - -290. Is m prime?
True
Let y(a) = -5*a**3 + 5*a**2 + 9*a - 8. Let g(z) = 4*z**3 - 5*z**2 - 8*z + 7. Let p(j) = 4*g(j) + 3*y(j). Is p(6) prime?
False
Let b(k) = 25*k + 4. Let m be b(3). Suppose j - m = 10. Is j prime?
True
Let d be (-2)/(-7) - 198/(-42). Suppose 4*i + 0*i = -d*o + 971, i = 4*o - 760. Is o prime?
True
Let j(b) = 2*b. Let m be j(3). Let x be (-1)/(-4) - m/24. Suppose a = -3*y + 80, -3*a + 65 = 2*y - x*a. Is y a prime number?
False
Let l be (-2)/2 + 8/1. Let r be (-4)/(-3*(-4)/(-6)). Suppose -4*c + 21 = 4*j - c, r*j - l = -5*c. Is j a prime number?
False
Suppose 2 = 4*h - 18, 4*r + 2*h - 98 = 0. Is r composite?
True
Let h = -629 - -1302. Is h a composite number?
False
Let r(i) = 7*i**2 + 12*i - 27. Is r(-10) composite?
True
Suppose 3020 = -7*a + 12*a. Suppose 5*u - 3*u + 607 = 3*m, -3*m + 5*u = -a. Is m a prime number?
False
Suppose -4*h + 507 - 2456 = -3*a, 0 = -h + 4. Is a a prime number?
False
Let d(q) = -q**2 + 6*q - 1. Let w be d(5). Suppose a = -w*a - 165. Let j = a - -47. Is j a composite number?
True
Suppose -5*t - 50 = 55. Let y = 35 + t. Suppose 4*v = 2*v + y. Is v a prime number?
True
Let z be 1 - -2*1/2. Is (3 - z)/(1/95) a composite number?
True
Let f(h) = 25*h**3 + 3*h**2 - 1. Is f(2) a composite number?
False
Let t = -609 + 1142. Is t a composite number?
True
Suppose -2*k - k = -15. Suppose -2*s + k = 2*m + 3*s, -m + s + 6 = 0. Suppose -3*v + m*b = -178, 4*v - 209 = b - 0*b. Is v composite?
True
Suppose -u - u + 8 = 0. Let m(q) = 3*q**2 + 6*q - 3. Is m(u) a composite number?
True
Let n = 0 - -2. Let r(j) = j**3 - j**2. Let k be r(n). Is -1 + 0 - -5*k prime?
True
Let h = 3905 - 1854. Is h a composite number?
True
Suppose -p = 3*p - 16. Is 46/p*6/3 a prime number?
True
Let t(z) = 5971*z**3 + z**2 - 3*z + 2. Is t(1) prime?
False
Let x be (10/6 + -1)*-6. Let j = x + 2. Let h(m) = -2*m**3 - m**2 + m + 1. Is h(j) composite?
False
Suppose -8*d = -4*d - 20. Suppose 2*t + 6 = 5*t. Suppose -k + 58 = t*k - 4*j, -10 = -d*j. Is k a prime number?
False
Suppose 2*o - r - 3*r = 7178, 2*o - 7181 = 3*r. Is o composite?
True
Let v(x) = -2*x + 4*x - 3*x**2 + 3*x**2 + x**2. Is v(-7) a composite number?
True
Let u(d) = d**2 + 883. Let a be u(0). Is 2/3 + a/3 a prime number?
False
Suppose -3*w + 3*q = w - 13, 4*q + 8 = -4*w. Suppose 4*i - 41 = -w. Let h = 16 - i. Is h a composite number?
True
Suppose -108 + 666 = 2*l. Let z = l + -145. Let q = 201 - z. Is q a prime number?
True
Is -5 + (-4 - -10) - (-1422)/1 a prime number?
True
Suppose -2*k = -480 + 110. Is k composite?
True
Let f = -72 + -79. Let t be 174/(-3) - 2*1. Let b = t - f. Is b prime?
False
Suppose -2*q + 5*q = 1155. Let r = 4 + -2. Suppose -q = -r*g - i, 5*g + 3*i - 582 = 2*g. Is g prime?
True
Let a be (3 - 5) + (0 - -2). Let l(s) = 5*s + 2 + 0 + a + 4*s**2 - s**3. Is l(4) prime?
False
Suppose -35 = -5*r + 5*h, -3*r - 1 + 19 = -4*h. Let q be (12/r)/(4/50). Is 111/2 - q/(-10) a composite number?
True
Let u = 1091 - 432. Let z = 1338 - u. Is z a composite number?
True
Suppose -6*m + 17*m - 21835 = 0. Is m a composite number?
True
Suppose -20 + 90 = 5*u. Suppose -2*s - u = 6. Let g = -3 - s. Is g prime?
True
Let n be ((-1)/1)/1*1. Let m be -2 - (n + (3 - 158)). Suppose -f + 2*f - 65 = 5*l, m = 2*f - 4*l. Is f a composite number?
True
Suppose 4*c = 3*c. Suppose 19*m - 16*m - 177 = c. Is m prime?
True
Suppose 5*l + 2597 = 8422. Is l composite?
True
Is 2/(6/6687*3) a composite number?
False
Suppose -15*j + 18856 = 2071. Is j prime?
False
Let o(m) = 25*m**2 - m + 15. Is o(-4) prime?
True
Let v(f) = -3*f - 3. Let j be v(-2). Suppose -2*u - x = 3*x + 8, -38 = 4*u - j*x. Let q(r) = r**2 + 5*r + 7. Is q(u) a composite number?
False
Suppose -6*n = -4*n + v - 1796, 0 = n + 3*v - 893. Is n composite?
True
Suppose -20 - 6 = -4*a + 5*o, -a = -o - 7. Let t(i) = -8*i**2 + 4 - i**3 + i**3 + i**3. Is t(a) a composite number?
True
Let p(d) = -3*d**2 + 2*d**2 - 3 + 12*d - 3. Is p(9) composite?
True
Let y(a) = 5*a - 2. Suppose 2*u + 2*u - 28 = 4*o, 0 = 