se
Suppose 2*x - 4*p - p = 794, x - 403 = p. Is x a composite number?
True
Suppose -4 = -d + t - 0, 0 = -5*d - 2*t + 27. Suppose 1460 = 2*b + 3*b + d*s, -s + 5 = 0. Is b composite?
True
Let u(b) = 2*b**2 - 11*b + 7. Let z(p) = p**3 - 9*p**2 + 9*p + 4. Let k be z(8). Is u(k) a composite number?
False
Let d be (48/(-10))/((-3)/20). Suppose d = -u - 4*c + 125, -4*c = 3*u - 279. Is u a composite number?
True
Suppose 0*f + r = -4*f + 4179, f = -r + 1044. Suppose 4*n + n = f. Is n a prime number?
False
Suppose a = -3*a - 2*d + 116, d - 118 = -4*a. Suppose -a = -o + 16. Is o composite?
True
Suppose 0 = 4*c - 2*y + 10, 2*c = -2*y - 2 - 6. Is (-1 - (c - 0)) + 21 a composite number?
False
Suppose -836 - 260 = -4*c. Is c prime?
False
Let z(m) = 4*m**2 + 22*m - 5. Is z(-7) composite?
False
Is 5*23 + -4 + 4 composite?
True
Let w be ((-237)/(-6))/(1/2). Let r = -42 + w. Is r a composite number?
False
Let n(h) = 15*h**2 + 19*h + 3. Is n(10) a prime number?
True
Suppose 2*h + 914 = 4*h + 4*m, 5*h - 2285 = -5*m. Is h a prime number?
True
Let x(z) = z + 1. Let n(c) = c - 1. Let q(m) = 3*n(m) + x(m). Let a(o) = -2*o - 13. Let d be a(-10). Is q(d) a composite number?
True
Is 4/12*-1*-1101 a prime number?
True
Let r = 22 - 48. Let n = 63 + r. Is n a prime number?
True
Let i(n) = -n**2 - 4*n + 4. Let b be i(-5). Let u be (-3 - -2)/((-1)/(-2)). Is (-178)/u*(b + 2) a composite number?
False
Let k = -15 + 21. Is 10*21/k*1 a composite number?
True
Let i(g) = g**2 - 4*g - 8. Let z be i(6). Suppose -5*b + 0*p + 38 = -z*p, -15 = -3*b + 5*p. Is b prime?
False
Let j(p) = 3*p**3 + 3*p**2 + p - 2. Let n(l) = 7*l**3 + 5*l**2 + l - 3. Let g(x) = -5*j(x) + 2*n(x). Is g(-5) composite?
False
Let g(l) = l**3 + l**2 - 3*l. Let n be g(4). Suppose -4*r + 368 = 2*c, -2*r + 104 + n = -5*c. Is r composite?
True
Suppose 2*h + 4 = 3*h. Suppose h*n - 453 = -n + 4*u, 265 = 3*n + u. Is n prime?
True
Let c = -626 - -1533. Is c prime?
True
Suppose -3*h = -4*z + 6157, 3*z + h = 3*h + 4617. Is z a composite number?
True
Let t(u) = 3*u**2 + 4. Let c be (1/(-1))/(-1)*5. Let y(k) = k**2 - 5*k + 5. Let f be y(c). Is t(f) a composite number?
False
Let l(o) = o**2 + 12*o + 2. Let q be l(-11). Let n(y) = 3*y**2 + 10*y + 2. Is n(q) composite?
True
Let w = -8 + -30. Let t be 15*(w/(-10) - 3). Is (-3)/t + 637/4 a prime number?
False
Let b = -10 - -19. Suppose -b*c + 5*c + 356 = 0. Is c a prime number?
True
Let a(p) = 8*p**2 + p + 1. Is a(2) prime?
False
Let q = 1795 + 300. Is q composite?
True
Let s be (4 - -1 - 2) + -2. Is -14*(s + (-30)/4) a composite number?
True
Suppose h + 3 = -0. Let m be (7/h - -2)*-6. Suppose -5*d - m*y + 105 = 0, -3*y + 63 = 3*d + 2*y. Is d composite?
True
Is (-4 - (-3 - -4))*(-111)/5 prime?
False
Let o(a) = -3*a - 13. Let i be o(-6). Suppose -i*c - 3*b + 197 = 0, 0*c + 4*c - 132 = 4*b. Is c a prime number?
True
Let o = -5 + 14. Suppose -o*f + 295 = -4*f. Is f a composite number?
False
Suppose -24 = -q - 5*m - 1, 3*m - 27 = -5*q. Suppose 0 = -b + q*b - 254. Is b a composite number?
False
Let r be (-4)/6*(-1 + 37). Let q = r - -109. Is q a prime number?
False
Let x(g) = -g**3 - 9*g**2 - 2*g - 17. Let l(p) = 2*p**3 + 18*p**2 + 3*p + 33. Let h(j) = 4*l(j) + 7*x(j). Is h(-9) composite?
False
Is (140 + -1)*(-6)/(-6) prime?
True
Suppose -5*k = 5 - 15. Suppose -3*l - 3*m = -432, 0 = l - k*m + 4*m - 145. Is l prime?
False
Let c(j) be the third derivative of 3*j**2 - 31/24*j**4 - j**3 + 0 + 0*j. Is c(-7) composite?
False
Suppose -3*w + 6*w + 5*c + 4 = 0, 2*c = -10. Suppose -d - 1 = -w. Is d a composite number?
True
Suppose 5*r + 2*a + 0*a = 4385, a + 2631 = 3*r. Is r composite?
False
Suppose 5*f - 93 = -3*k, -k + 3*k - 2 = 0. Is 4/f - (-529)/9 prime?
True
Is 3/1 + 319 - -4 prime?
False
Let h = -9 - -15. Suppose a + a = h. Suppose 15 + 51 = a*w. Is w a prime number?
False
Let t(r) = -23*r**3 - 2*r**2 - 2*r - 1. Let y be 6/(-8) - (-3)/(-12). Is t(y) composite?
True
Is (1/(-3))/((-2)/894) composite?
False
Let s be (-194)/18 - 2/9. Is 4/22 - 1043/s prime?
False
Let q = 7 + -4. Let k be 4/(-10)*(7 + q). Let b(g) = -2*g**3 + 2*g**2 + 5*g + 3. Is b(k) a prime number?
False
Suppose 3*p + 3*r - 24 = 0, 5*r = p - 0*r + 10. Let q be (-2)/(128/43 - 3). Suppose q = p*b - 79. Is b composite?
True
Let u = -4 - -6. Suppose -u*r = -15 - 15. Is r prime?
False
Suppose 0*p - p + 4*x + 19 = 0, -p + x + 7 = 0. Suppose 2*v - 4*v + p*y = -502, -4*v + 1036 = 2*y. Is v a composite number?
False
Let h be (-12)/3*3/(-6). Let o be 7*5 + (h - 2). Suppose o = 3*n + 2*n. Is n a prime number?
True
Let q(p) be the second derivative of -p**5/20 - 3*p**4/4 + 3*p**3/2 + 3*p**2/2 + 4*p. Is q(-10) a prime number?
True
Let m = -6 + 10. Let o(i) = 5*i**3 + 16*i**2 + 20*i + 21. Let y(c) = -c**3 - 4*c**2 - 5*c - 5. Let s(h) = -2*o(h) - 9*y(h). Is s(m) a prime number?
True
Suppose 2*i = -w + 6*w - 19, -2*w = 5*i + 4. Suppose -3*f - 5*g = -192 - 73, w*g = -12. Is f composite?
True
Let w = -33 - -21. Let y be 3/1*16/w. Is ((-3)/(-6))/(y/(-296)) prime?
True
Suppose 0 = 3*t + 19 + 29. Let h(c) = -c**2 - 22*c - 7. Is h(t) a composite number?
False
Suppose -6*y - 27 = -3*y. Let h(t) = -15*t - 8. Is h(y) a composite number?
False
Let b be 12/15 - (-1)/5. Is 0/b + (-134)/(-2) prime?
True
Let h(f) = -f - 2. Let t(q) = 3*q + 6. Let b(l) = -8*h(l) - 3*t(l). Let k be b(-9). Let c(r) = 11*r. Is c(k) a composite number?
True
Let l be -1 + (1 - 0) + 4. Let c be l/(-18) + 8/36. Suppose c = -u - 3*u + 148. Is u a composite number?
False
Suppose t + 6 = -v, 0*v + 5 = -5*v. Let q(k) = -19*k. Is q(t) composite?
True
Let d(u) = u**2 - 11*u + 15. Let j be d(10). Suppose j*m - 3*r - 1103 = 0, 1 = 3*r - 11. Is m a composite number?
False
Let i(j) = 28*j**2 + j - 2. Let m be i(2). Suppose -m = -4*d - 36. Is d a composite number?
False
Suppose 6*t + 6 = 2*t + 2*i, 0 = 2*t - 2*i + 8. Is 1/((-2)/(-106)*t) a prime number?
True
Let q = -15 + 6. Let m = -5 - q. Suppose 4*b - m = 0, -2*k + 4*b = k - 149. Is k a composite number?
True
Is ((-2)/3)/((-10)/2235) prime?
True
Suppose 5*t - 3*z + 7*z + 1 = 0, 17 = 3*t - 2*z. Suppose 3*n = -6*v + t*v + 1122, n = v - 368. Is v a composite number?
True
Suppose -6*j + 887 + 619 = 0. Is j composite?
False
Let u be 1*((-13)/1 - -2). Let p = 11 + u. Suppose p*l = -l - 4*z + 53, 2*l = -z + 134. Is l prime?
False
Let k be (30/(-18))/((-1)/3). Suppose k*r - 2*j = 133, -2*j = r - 13 - 4. Is r composite?
True
Let t(b) = 3*b**3 + 2*b**2 - 2*b - 2. Let s be t(-3). Let o = 119 - s. Is o composite?
True
Let k(x) be the first derivative of -33*x**2/2 - 2. Is k(-1) a composite number?
True
Suppose 2217 - 815 = 2*d. Is d prime?
True
Let g = 4 + -5. Let v be g - (1 + -2) - -2. Suppose v*y + 23 - 109 = 0. Is y prime?
True
Let v = 169 - 10. Is v prime?
False
Let n(y) = -y + 5. Let l be n(4). Let f(a) = 3 + l - 8 + 3*a - 4. Is f(9) a prime number?
True
Let b = 3 - 1. Let i(k) = 5*k**2 + b*k**2 + 1 + 2*k**2. Is i(-2) a composite number?
False
Let y = 601 + -350. Is y a prime number?
True
Suppose 5*j - 402 = l + l, 398 = 5*j - 3*l. Suppose 0 = -0*p - p - j. Let h = p + 137. Is h composite?
True
Suppose 0 = -19*l + 15*l + 10436. Is l prime?
True
Let s = -51 + 261. Suppose 0 = -3*g + 153 + s. Is g a composite number?
True
Suppose 2*v = -3*d - 2*v + 49, -4*d - 5*v + 66 = 0. Is d composite?
False
Suppose 0 = 2*x - 25 - 1. Let n = -3 + x. Is n prime?
False
Let o(d) = -d**3 + 11*d**2 - 2*d + 14. Suppose 3*b = 8*b - 50. Is o(b) a composite number?
True
Suppose 0 = -5*g + 2 + 8. Let j(x) = x + 0 - x**3 + x**2 + g*x**3 - 4*x**2 + 1. Is j(4) a composite number?
True
Let w = -80 + 162. Suppose 4*u + 62 = -w. Is (1/1 - u) + -2 a prime number?
False
Suppose 6*z + 2*q - 11064 = 2*z, -z - q = -2765. Is z a prime number?
True
Let u(s) = -s**3 - 5*s**2 + 2*s - 3. Suppose -4*g = 2*t - 28, -5*g = -1 - 9. Let c be 8/t*15/(-2). Is u(c) prime?
False
Suppose 81 + 186 = 3*a. Is a a prime number?
True
Let m(z) = 2954*z + 5. Is m(1) a prime number?
False
Let c = -438 + 689. Is c a prime number?
True
Let d(o) be the first derivative of -14*o**2 + 9*o + 6. Is d(-4) a composite number?
True
Let y = -6 - -9. Suppose -y*c - 64 = c. Let d = c - -30. Is d composite?
True
Let t(p) = -11*p + p**2 - p - 16 + 5. Is t(-10) composite?
True
Let j(g) = -g**3 - g**2 + g + 2. Let d 