z composite?
False
Suppose 0 = 2*k + u - 881, -u - 2*u - 458 = -k. Is k composite?
False
Suppose -4 = 4*y - 8. Let p be (-1060)/(-8) + y/(-2). Let q = 185 - p. Is q composite?
False
Let y(b) = b**3 + 4*b**2 - 5*b + 1. Let q be y(-5). Is (-2)/(-4)*(q + 73) prime?
True
Is 7/(84/8)*33 a prime number?
False
Suppose 4*c - 9 - 7 = 0. Suppose -5*h + 5*n = -45, -c - 36 = -4*h + 5*n. Suppose -q + h = -8. Is q composite?
False
Suppose 2*o = -0*y - y + 3277, -5*o + 13099 = 4*y. Is y prime?
True
Let j(x) = -x**3 - 8*x**2 + 8*x - 6. Let a be j(-9). Suppose -2*d = a*v - 8*v + 71, -3*v + d = -42. Is v a composite number?
False
Suppose 0 = -2*y + 3*u + 1576, 2 = u - 0*u. Is y prime?
False
Let z = -2 - -7. Let c be z*-1 - (-5 + 4). Is 13 - c/(0 + -2) prime?
True
Let d = 7 - 5. Suppose -d*q + 75 = 31. Is q composite?
True
Suppose 7*a = a + 1758. Is a a prime number?
True
Let s be 6*(15/6)/5. Let v(j) = j - 5*j**2 - s*j**3 + 4*j**3 - 5 + 7*j. Is v(5) prime?
False
Suppose 2*a + 2*a = 16. Let j(i) = i**3 - 5*i**2 + 5*i - 4. Let f be j(a). Suppose -p + 4*p - 231 = f. Is p prime?
False
Suppose -f - 4*x = -7771 + 2368, -f = -5*x - 5412. Is f a prime number?
True
Suppose 3*s = w + 9, 5*s - 8 = 2*w + s. Suppose 5 + 7 = 3*i. Suppose r + r + w = 0, -i*r = -3*x + 45. Is x a prime number?
True
Suppose -2*l - 3*l + 25 = 0. Suppose 0 = f + 2 - l. Is f a prime number?
True
Suppose 4*a - 23 = 3*c, 0*c - 5 = c. Suppose -a*z - v = z - 2, -2*z = 2*v - 4. Suppose u - 3*b - 136 = -z*u, -5*u + 626 = 3*b. Is u a composite number?
False
Is (-3 + 4 - -1 - 3)*-1847 a prime number?
True
Let c(t) = -2*t - 4. Let a be c(-4). Suppose 4*i = -3*r + 5 + 20, 5*i = -2*r + 26. Let v = r + a. Is v composite?
False
Suppose 2168 - 6124 = -4*p. Is p a prime number?
False
Suppose -j + 2 = 0, 3*b - 117 = -2*b - j. Suppose 3*d = 5*u + 172 + b, -2*u - 195 = -3*d. Is d a composite number?
True
Let b = -9 - -326. Is b a composite number?
False
Let n be (-7 - 0)/((-2)/22). Suppose -14 = 3*q - n. Let i = q - -14. Is i composite?
True
Let i(g) = g**3 + 6*g**2 + 3*g - 4. Let q be i(-5). Let c(v) = -4*v + 2. Let m be c(-3). Suppose -2*h + q = -m. Is h composite?
True
Is 2/(-8) + (-2216)/(-32) composite?
True
Suppose 5*p - 45 = 5*d, -6 = -4*p + 2*d + 20. Let b(n) = n**3 - 6*n**2 + 2*n - 5. Let g be b(6). Let y = g - p. Is y composite?
False
Let u(k) = -k**3 - 18*k**2 - 2*k + 25. Is u(-20) composite?
True
Let l(i) = -141*i + 1. Let b be l(-3). Suppose f - b = -3*f. Is f prime?
False
Suppose 3*y = 5*y - 28. Let s = 39 + y. Is s a prime number?
True
Suppose -r = 1 - 5. Suppose 3*j - 2*a + 3*a + 35 = 0, 2*j = -r*a - 20. Is j/(-3)*(-37)/(-4) prime?
True
Let l(f) = 11*f + 5. Let c be l(6). Let s = -52 - -12. Let k = c + s. Is k prime?
True
Let x be (-3 + 1)/(4/(-430)). Let n = x - 94. Is n composite?
True
Let n(x) = 3*x**2 - 16*x + 6. Is n(-8) a prime number?
False
Let f(z) = 111*z**2 - z. Let d be f(-1). Let m = d + -361. Let v = -158 - m. Is v a prime number?
False
Is (-222)/(-1) - (23 - 22) composite?
True
Let b(m) = 9*m + 22. Is b(15) composite?
False
Let y be 2 - (0/3 + -3). Suppose 280 = y*s - 265. Is s a composite number?
False
Suppose -107 = -2*y - 3*i - 3, 4*y - 3*i - 190 = 0. Is y composite?
True
Suppose -2*o + 158 + 273 = -m, -642 = -3*o + 3*m. Is o a composite number?
True
Suppose -5*j = -0*j - 6295. Is j prime?
True
Is (293 - -4) + -1 + -3 a prime number?
True
Suppose -8 = -3*d - 5*r + 3*r, -2*r = -5*d + 8. Suppose -3*x - 2*x = 3*c + 6, -d*c + x - 4 = 0. Let m(k) = 9*k**2 - 2*k - 1. Is m(c) a composite number?
True
Suppose 0 = -m - 11*m + 6684. Is m a composite number?
False
Suppose 49 = -2*j - 5*f - 7, -4*j = 2*f + 80. Let p = j + 12. Let x = -3 - p. Is x a composite number?
False
Suppose -i + 3 = y - 1, 4*y - 4*i = 0. Let q(z) = 3*z - 2. Let x be q(y). Suppose -3*l + 61 = x*w - 5, 37 = 3*w - 4*l. Is w composite?
True
Suppose 4*t - 6 - 6 = 0. Suppose g = 2*x + 201, g + t*x = -40 + 266. Is g prime?
True
Suppose -k = -2*k - 3*o + 9, -19 = -5*k - 2*o. Suppose 5*t - k*t - 158 = 0. Is t prime?
True
Let a = 15 - 37. Let x = 116 - 59. Let p = x + a. Is p composite?
True
Suppose -5*o = -2*u - 574, u - 3*o + 32 = -254. Let t = -135 - u. Is t a composite number?
False
Is (-2)/4 - (-45)/6 a prime number?
True
Suppose z + 1143 = -2*z. Let s(m) = -m**2 + m - 3. Let w be s(0). Is 4*w/(36/z) composite?
False
Let u(d) = 37*d**2 + 3. Let m = -1 - -4. Let w(i) = -74*i**2 - 7. Let o(f) = m*w(f) + 7*u(f). Is o(-1) a prime number?
True
Let z be 1*212 + 4/2. Suppose 34 = 4*u - z. Suppose -3*q + u = 20. Is q a prime number?
False
Let b be 8/(-10)*(-8 - -3). Suppose -c + 255 = b*c. Is c composite?
True
Suppose -8*w + 3*w = 25. Let z(g) = -5*g + 4 + 2*g + 0*g. Is z(w) a composite number?
False
Let p(i) = -3 - i**3 - i + 3*i - i - i**2 + 7. Let q be p(0). Suppose -5*l + 99 - q = 0. Is l a prime number?
True
Let d(j) = -j**2 - 5*j - 4. Let f be d(-4). Suppose -h + 3*h - 170 = f. Is h composite?
True
Let x(q) = q**2 + q - 13. Is x(-17) prime?
False
Is ((-62)/155)/((-1)/8005) a composite number?
True
Let q = 6 + -3. Let p be 0 - q - (-1 - 7). Suppose p*g = 600 + 295. Is g prime?
True
Let b = 1 + -1. Let h be b/(2*-1) + 4. Suppose 3*z = 4*d - d + 99, 201 = 5*z + h*d. Is z a prime number?
True
Let s = 0 - -2. Let r be s/((4/21)/4). Let b = 65 - r. Is b prime?
True
Let z be (-2 + 0)/(1/7). Let a = 68 + z. Suppose -3*g = 15 - a. Is g prime?
True
Let w(u) = 4*u**3 + 4*u**3 - 1 - 4*u**3 - 2*u**2 - 2*u - 3*u**3. Let h be w(3). Suppose h*j - l = 480, -3*j + l + 93 = -626. Is j composite?
False
Is (-4)/(4/(-1)) + 193 composite?
True
Let m be (6/8)/((-2)/(-16)). Suppose -m*d + d = -420. Suppose 5*t - 3*n - 143 = 3*t, -n = t - d. Is t composite?
False
Let i(n) = 5*n + 8. Is i(9) composite?
False
Suppose 0*w - 3*n = -5*w + 18, -5*n - 2 = w. Is 1/w + (-116)/(-3) a prime number?
False
Let t = 15 + -53. Let a = 60 + t. Is a a composite number?
True
Let h(b) = -b**3 - 4*b**2 - 2*b + 2. Let r be h(-2). Let y = -4 + 2. Is (-429)/r + (-1)/y a composite number?
True
Let n(v) = -v**3 + 6*v**2 + 7. Let x be n(6). Let s(w) = -w**3 + 7*w**2 + 6*w - 4. Is s(x) a prime number?
False
Suppose 0 = 2*d - 28 - 70. Let p = d + -24. Is p composite?
True
Let p(c) = 3*c - 12. Let n be p(8). Let z = 14 + n. Suppose -3*a + z + 16 = 0. Is a prime?
False
Is -2 - 2 - -2*25 a composite number?
True
Let i = 16 - 16. Suppose 2*g - 244 - 234 = i. Is g a composite number?
False
Let p = -3 + 3. Let m = -125 - -219. Suppose p = c + c - m. Is c a composite number?
False
Suppose 0 = -4*b - r - 132 - 68, 4*b - r = -192. Let j = 83 + b. Is j a prime number?
False
Let q(o) = o**3 - 4*o**2 - 7*o - 5. Let d be q(6). Let n = d - -40. Is n prime?
False
Let z(b) = 3*b**3 - 3*b**2 + 6*b - 5. Let m = 0 - -4. Is z(m) composite?
False
Let i be (-93)/(-18) + 1/(-6). Suppose -i*q + 338 = 4*p - 208, -p = 4*q - 131. Is p composite?
False
Suppose -5*i = -0*i - 80. Suppose 0 = -s - i + 99. Is s a prime number?
True
Suppose -2*l = -9 - 3. Suppose 4*s - 352 = -4*i, l*s - 3*s - 98 = -i. Is i composite?
False
Let a be 1 - 3*-3*1. Let z = -3 - -6. Suppose -8*m + z*m + a = 0. Is m composite?
False
Let o(y) = -y**3 + 12*y**2 + 19*y - 7. Let h = 8 + -8. Suppose c = 5*z - c - 69, h = 4*z + 5*c - 42. Is o(z) a prime number?
True
Suppose -w - 29 = -3*w - p, -3*p - 4 = -w. Is w a composite number?
False
Let s = 11 - 10. Let i(a) = 14*a**3 + a**2 + a - 1. Is i(s) a composite number?
True
Let j(t) = t**3 + 7*t**2 - 6*t - 7. Suppose -y - 19 = 4*k, -k = -2*y - 6 - 5. Is j(y) composite?
True
Let y(k) be the first derivative of 5*k**3/3 - 3*k**2/2 + 3*k + 1. Is y(-3) prime?
False
Suppose 3*n = -8 - 10. Is n/21 + 4055/7 prime?
False
Suppose 0 = -2*c + 15 - 3. Let d be 458/c + (-2)/6. Suppose -3*g + d = g. Is g a composite number?
False
Let h(k) = k**3 - 7*k**2 - 4*k. Let z be h(7). Let n = z + 20. Is (-206)/n - (-2)/8 prime?
False
Let u = 97 - -88. Is u prime?
False
Let t(a) = 2*a + 9. Let f be t(-14). Let q(u) = -10*u**2 + u. Let b be q(-2). Let j = f - b. Is j prime?
True
Suppose -6 = -5*f + 3*f. Suppose 3*l = f, -2*q - l + 54 = -q. Is q a prime number?
True
Suppose -5*y + 4*m + 24 = -3*y, 2*m - 12 = -5*y. Suppose y*k - 33 = -3*v, 13 = 5*k + v - 31. Is k composite?
True
Suppose -c + 5*v + 231 = 3*v, -2*v = -5*