 number?
True
Suppose -5*t + 35 + 15 = 0. Is t a composite number?
True
Let z = -2 - -6. Let s = 43 + z. Is s prime?
True
Let m be (-2)/(2/(-5 + 3)). Suppose 0 = -2*d + 2*w + 22, -m*w - 3 = -5*d + 49. Suppose -3*c + 215 = -2*o, d*o = 5*o - 5. Is c a prime number?
True
Suppose 5*y + 2*k = 1524, -9 = 5*k - 2*k. Suppose 7*g = 4*g - y. Let q = 153 + g. Is q prime?
False
Suppose -8 = 7*z - 9*z. Let r(b) be the second derivative of 11*b**5/20 - b**4/6 + 5*b**2/2 + 3*b. Is r(z) a composite number?
False
Suppose 0 = 9*h + 2706 - 14037. Is h prime?
True
Let y = 92 - 37. Is y a composite number?
True
Suppose 0*o + 372 = 4*o. Is (0 + o/(-3))*-1 prime?
True
Suppose 14*p - 13*p - 683 = 0. Is p prime?
True
Suppose -5*p + 164 = 2*y, -2*p = 4*y + y - 389. Is y prime?
False
Is 127/(4*2/8) a composite number?
False
Suppose -4*d - 4*a + 6 = a, 3*d - 3*a - 18 = 0. Suppose -152 = -s - b, 0 = -2*s - b + d*b + 309. Let h = s + -56. Is h prime?
True
Suppose -5*o = -5*a + 255, -o = a - 5*a + 204. Is a a prime number?
False
Let w(s) = 10*s + 1. Let j be 5 + -3 + 6/3. Suppose z - 5*z = -4*n - 12, 0 = j*z - n - 9. Is w(z) a prime number?
False
Let x(c) = 61*c - 50. Is x(13) composite?
False
Let y be 6/(-5)*(-140)/(-3). Let b = y - -38. Let j = 44 + b. Is j composite?
True
Let t = -1758 - -2617. Is t prime?
True
Let l = 142 + 19. Is l prime?
False
Suppose -2*p + 1212 = 4*a + 2*p, 1244 = 4*a - 4*p. Is a prime?
True
Suppose f + 0*f = 1. Let c(b) = -9*b**3 + b**2 - 2*b + 1. Let z be c(f). Let y(m) = -4*m - 13. Is y(z) composite?
False
Let u(i) = -i**3 - 5*i**2 + 2*i + 3. Let a be u(-4). Let o be (-5 + 3)*1*a. Suppose -o = -3*k + 33. Is k a composite number?
True
Let b be -4*(6/(-4) - -1). Suppose 0 = -5*o + 3*r + 57, o - 1 = -4*r + 15. Suppose 2*w = 5*x - 0*w - 52, -x + b*w + o = 0. Is x a prime number?
False
Suppose 5*k = -12 + 82. Let s = k - -315. Is s composite?
True
Suppose 4*s = s + 6. Let n(a) = 16*a - 1. Is n(s) a prime number?
True
Suppose 0 = -4*q + 2*i + 407 + 399, -618 = -3*q - 3*i. Is q a composite number?
True
Let u be (1 - 2 - 47) + 3. Let r = 10 - u. Is r prime?
False
Let y be -16 + 2 - (-1 - 0). Let s = 25 + y. Is -1*(-4)/(s/129) composite?
False
Let w(n) = n + 8. Let f be w(-5). Suppose 5*a + f*b = 5*b + 2777, -3*a + 2*b = -1663. Is a a prime number?
True
Suppose -3*c + 5*k = -1490, -4*c + 2*c - 4*k = -964. Let a = c + -77. Is a a composite number?
True
Let t(r) = -208*r + 9. Is t(-4) composite?
True
Suppose 4*m + 35 - 11 = 0. Let u = 68 + m. Is u a prime number?
False
Let d = 2 - 0. Suppose -g - 105 = -d*s, 2*s + 4*g + 208 = 6*s. Is s a composite number?
False
Suppose 189 = 5*u - 296. Is u a composite number?
False
Suppose -4*v + 4318 + 558 = 0. Is v a composite number?
True
Suppose 5*x - 4*m = 510 - 89, 0 = 4*x + 5*m - 345. Is x prime?
False
Let t = 12 + -7. Suppose t*c = c. Suppose 0 = n + 1, 4*y - 189 = -c*y + n. Is y prime?
True
Let x be 5 + 2 + 0 + 1. Suppose 2*d = -q - q, x = -4*q. Is d/(-4)*-2 + 138 prime?
True
Suppose 0 = 8*p - 4*p - 1024. Suppose 4*g + 2*n - p - 348 = 0, -3*g - 5*n = -467. Is g a composite number?
False
Let g = 3 + -4. Let u(c) = -38*c**3 + c. Is u(g) a composite number?
False
Let w = -181 + 358. Is w composite?
True
Suppose 0*x - 4*x + 748 = 0. Is x composite?
True
Let c(s) = -6*s**3 - s**2 + s + 4. Let q be c(-3). Suppose -11 - q = -5*n. Is n composite?
True
Is -4 + (2 - -26 - 3) composite?
True
Let n be (-1396)/(-6) - (-2)/6. Let h = -118 + n. Is h composite?
True
Let j(c) = -c - 6. Let g be j(-5). Let i(a) = 3*a - 3. Let n(k) = -k. Let z(y) = g*i(y) + 3*n(y). Is z(-8) composite?
True
Let f = -6 - -6. Suppose u = -f*u + 293. Is u prime?
True
Suppose -5*g + 3*b = -0*g - 10856, 0 = 3*g - 5*b - 6504. Is g prime?
False
Let p = 3 - 1. Is 273/12 + p/8 a composite number?
False
Let f = 100 + -43. Is f a prime number?
False
Let l(w) = 3*w**3 + 2*w**2 + 3*w. Let i be l(-3). Is 16/i + 2711/9 prime?
False
Suppose -4*a + 3*o = -19, 5*o = -3*a - 0*a + 7. Let c be (2/4)/(a/48). Suppose -c*n + 381 = -3*n. Is n prime?
True
Is ((-1304)/(-20))/(2/5) a prime number?
True
Let w(u) = u**2 - u - 1. Let c be w(2). Let a be (-101 + -2)*-1*c. Let h = a - 50. Is h a prime number?
True
Suppose 258 = 2*b + 2*w, 0 = 5*b - 4*w + w - 629. Is b a prime number?
True
Suppose -5*q + 51 = 3*v, -q + v + 1 = -3*v. Let k = -4 + q. Suppose k*h - h - 1724 = 0. Is h a prime number?
True
Let b be 102/30 + (-4)/10. Let t be ((0/3)/b)/(-1). Suppose 165 = -t*s + 5*s. Is s a prime number?
False
Suppose 5*c - 165 = 155. Let n = c - 27. Is n a prime number?
True
Let g(x) = 2*x - 3*x + 1 - 2. Let o(c) = -15*c. Let v(i) = 4*g(i) + o(i). Is v(-3) composite?
False
Let r be 994/6 - (-6)/(-9). Let g be r/(-6) - 2/4. Let w = 65 + g. Is w a composite number?
False
Let l = 6 - 2. Suppose -l*s + 50 = s. Is s a prime number?
False
Let x = -5 - 0. Let t = 6 + x. Is -34*(t + 10/(-4)) prime?
False
Suppose 3*h - 988 = -2*t, -4*t - 4*h + 200 = -1780. Is t prime?
False
Is ((-4)/8)/((-5)/7090) composite?
False
Let i = 112 + -53. Is i a prime number?
True
Let q(w) = -12*w + 19. Let f be q(-5). Suppose -8*c - 82 = -3*c - 4*u, 57 = -3*c + 5*u. Let p = c + f. Is p prime?
False
Let o(x) = x**2 + 7*x + 2. Let y be o(-7). Suppose 260 = -3*b - c - c, -160 = y*b + 4*c. Is -4*(b/(-8))/(-3) a prime number?
False
Suppose 4*n = -0*n + 1336. Suppose n = 4*l - 142. Is l composite?
True
Let g(q) = -q**3 + 4*q**2 + 4. Let c be g(5). Let z be (c/(-6))/(1/2). Let k(f) = -f**3 + 8*f**2 - 3*f + 7. Is k(z) composite?
True
Suppose 3*q - 15 = -5*h, -3*q + 0*h - 2*h = -6. Let d(b) = b**2 - b + 5. Let r be d(q). Suppose -104 = -3*c + m - 6*m, 0 = r*c + 4*m - 182. Is c a prime number?
False
Let n(u) = -u**3 - 4*u**2 - 2*u - 3. Let i be n(-3). Let d = 3 + i. Is (3 - 0)/d*-257 a prime number?
True
Let z = -100 - -33. Is 1/(-2 - z/33) prime?
False
Let u be 78*(2 + 0)/2. Let f be (2/(-3))/((-4)/u). Suppose -3*b = 4 - f. Is b a prime number?
True
Let i(v) = 7*v**3 + 4*v**2 - 3*v + 1. Let u be i(2). Let g = -33 + u. Is g composite?
True
Suppose -c + 28 = 3*c. Suppose -3*g = 5*t - 196, -3*t + 4 = -c*t. Is g prime?
True
Let m(s) be the third derivative of s**5/12 + 5*s**3/6 + s**2. Let v be -1 + (-9)/(-3) + -6. Is m(v) a composite number?
True
Let g(j) = j**3 + 12*j**2 - 9. Is g(-10) composite?
False
Let z = -53 + 130. Suppose u = -5*j - 0*u + z, 4*j = -4*u + 52. Suppose 5*d + 3*a - a = 63, -j = -4*a. Is d prime?
True
Let z(r) = -159*r + 13. Is z(-2) composite?
False
Let t(p) = 72*p - 17. Is t(9) prime?
True
Let y = 509 + 776. Is y prime?
False
Let o = 2 + 1. Suppose o*g = 6*g + 2*n - 1, g + 3 = -4*n. Is -3 + 27 + g + 1 a composite number?
True
Let h(f) = -f**2 - 3*f - 1. Let t be h(-3). Let s = 6 + t. Is 105/s*(0 + 1) a composite number?
True
Let y be 2/5 - 1104/10. Let a = 66 + y. Let j = 13 - a. Is j prime?
False
Let g = 20 + -8. Let h = g + 73. Is h prime?
False
Suppose -3*x = -6*x + 249. Is x a composite number?
False
Let y be -1 + (-2 - -256) + 1. Is (y/(-4))/(1/(-2)) a prime number?
True
Let y(d) = -61*d - 1. Is y(-2) prime?
False
Let l(u) = -u**3 + 6*u**2 + 3*u - 6. Let q be l(5). Let p be 2*-5*2/(-4). Suppose 16 + q = p*x. Is x a prime number?
False
Suppose -2*f + 3*n = 10, 5*f - 2 + 8 = -2*n. Let a be (1 - 127)/(-3) + f. Suppose 3*g - 5*i - 27 = a, 3*i + 6 = 0. Is g prime?
True
Let r(y) = 57*y + 9. Let n be r(10). Suppose 3*a = n + 1353. Suppose -2*x + a = 2*x. Is x a prime number?
False
Let r = -14451 - -25630. Is r prime?
False
Let d = -123 - -223. Let v = 162 - d. Is v a composite number?
True
Let o = -3058 + 5997. Is o a prime number?
True
Suppose -5*o + 13*o - 1048 = 0. Is o a composite number?
False
Suppose -d = 5*k + 5, 0*k - 2*k = 2. Suppose d*l = -5*l + 155. Is l composite?
False
Suppose 5*h + 474 = -3*v, -3 = 3*v - 2*v. Let c = 112 - 168. Let q = c - h. Is q composite?
False
Suppose 4 = f - 3. Suppose -3*y = -f*y + 28. Is y prime?
True
Let c = -8 + 13. Suppose -2*z = -c*x + z - 5, -3*x + 31 = 5*z. Is (4/(-8))/(x/(-212)) a composite number?
False
Let v = 5 + 2. Suppose -1492 = 3*w - v*w. Is w prime?
True
Suppose 4 + 6 = 2*f - 2*q, 2*q - 25 = -3*f. Suppose 0 = -f*u + 8*u - 53. Is u composite?
False
Let g(z) = -z + 2. Let q be g(0). Suppose -w - 1 = -q. Is (-15)/w*25/(-15) a composite number?
True
Let f(o)