 = -1 - -1. Suppose c - 27 - 22 = b. Is c a prime number?
False
Suppose -7*g + 3*g + 1228 = 0. Is g a prime number?
True
Let u be 2 - (-5)/((-5)/(-3)). Suppose -3*b = -3*n - n - 1213, -2*b + 824 = u*n. Is b a prime number?
False
Suppose -w + 8 = -u, -2*w + 4 = -0*w + u. Let l = w - 2. Suppose -l*x - q + 47 = 0, -5*q - 5 = -2*x + 24. Is x a prime number?
False
Let s be (-68)/(-12) - (-4)/(-6). Suppose s*f - 344 = f. Is f prime?
False
Suppose -w - 4*w - 10 = 0. Let g(h) = -12*h - 6. Let m(t) = -11*t - 5. Let v(z) = -4*g(z) + 5*m(z). Is v(w) a prime number?
True
Suppose 4*i = 5*w - 2877, 0 = 2*i - 3*i - 5*w - 688. Is i/(-9) - (-8)/(-36) a prime number?
True
Let o(h) = h + 10. Let m be o(-9). Let s(f) = 53*f**2 + 1. Let t be s(m). Suppose -g + t = -1. Is g a composite number?
True
Let q be 12/(-4) - (-435 + -2). Is (q/(-7))/(0 - 2) a prime number?
True
Suppose -5*p - 325 = -0*p. Is 6/(-39) - 8655/p a composite number?
True
Suppose 3*j + 55 = 4*b - 3*b, j + 165 = 3*b. Suppose 0 = q, 5*r - 6*r + q + b = 0. Is r composite?
True
Suppose -1 + 5 = 4*y. Suppose -11 = 2*s + y. Is ((-4)/s)/(8/228) a prime number?
True
Let q(p) = -p**3 - p + 17. Let h be q(0). Suppose t + h = 4*n + n, 0 = -2*n + 5*t - 7. Suppose -367 = -n*r - 27. Is r a prime number?
False
Let i(a) = a**3 - 6*a**2 + 5*a + 8. Let z be i(6). Suppose -2*h + 0*q + z = -2*q, 2*q - 77 = -3*h. Is h a composite number?
False
Suppose -r + 240 = -166. Suppose 15 = -4*t + 3. Is (1 + t)*r/(-4) a prime number?
False
Is 4/(-6) - (5 + 3820/(-6)) composite?
False
Suppose 10661 = r + 2*f, 5*r - 65352 + 12041 = -4*f. Is r a composite number?
False
Suppose -3 + 13 = b - 5*i, -5*b = -5*i - 10. Let u = 2 - b. Suppose -u*x = -3*x + 6. Is x a composite number?
True
Let g(c) = 5*c**2 - 2*c - 4. Let r(p) = -p**2 + 1. Let b(k) = g(k) + 3*r(k). Let i = -10 + 9. Is b(i) a prime number?
True
Let s(w) = w**3 + 0 + 0*w**2 - 2 - 5*w**2 - 6*w. Let p be s(6). Is 1/(0 + p/(-254)) prime?
True
Let y be 1*2 + (93 - -10). Suppose 9*r = 4*r + y. Is r prime?
False
Let d be -4*2*1/(-4). Suppose d*a = -a + 231. Is a composite?
True
Let l be (-90)/25 + 2/(-5). Let r(z) = z**3 + 3*z**2 - 6*z - 6. Let s be r(l). Suppose u - s = 5. Is u a composite number?
False
Suppose 20*d - 15*d - 3065 = 0. Is d a composite number?
False
Let i(a) be the third derivative of a**6/60 - a**5/30 + 5*a**4/24 - a**3/2 + 2*a**2. Is i(4) a composite number?
False
Let s = 17 + 293. Let t = -221 + s. Is t a composite number?
False
Suppose 3*w + z - 2716 = 0, 831 - 4479 = -4*w + 4*z. Is w a prime number?
True
Suppose 5*q = u - 1538, -5*u - 3*q = -0*q - 7718. Is u prime?
True
Let i(g) = 6 + 4 + 2*g - 4*g + g. Let s be 7*1 + 0 + 0. Is i(s) prime?
True
Suppose -5*a + 996 = a. Is a a composite number?
True
Suppose o + 5*y - y - 607 = 0, 4*y + 1178 = 2*o. Suppose -5*z = -5*l + 1245, -z - 413 - o = -4*l. Is l a composite number?
True
Suppose 0*m - 4*m = 0. Suppose m = -3*g + 29 + 28. Let o = g - 9. Is o composite?
True
Let w(b) = 3*b**2 + b - 1. Let l be w(-6). Let s = 204 - l. Is s prime?
True
Let j(l) = 31*l + 10. Let b(i) = 93*i + 29. Let s(f) = -6*b(f) + 17*j(f). Is s(-3) prime?
True
Is (-3)/(-6) - (4 - 9105/10) composite?
False
Let z = 8460 - 4667. Is z composite?
False
Let y = -14 + 12. Let z(i) = -37*i**3 - 2*i**2 - 2*i + 1. Is z(y) a prime number?
True
Let i(k) = -30*k**3 - k**2 - 2*k - 1. Let r be i(-1). Let x = 51 - r. Is x a composite number?
True
Let o be (3/(-9))/(2/24). Let z = o - -35. Is z a composite number?
False
Let c = 3557 - 2166. Is c prime?
False
Let c(j) = 79*j - 2. Let d(v) = -v**2 + 6*v - 3. Let q be d(5). Let g be c(q). Suppose 3*o - g = -o. Is o a composite number?
True
Let d = 224 - 131. Is d a composite number?
True
Let o be -3*(0 + 0 + 1). Let k be -1 - (-1 + -1) - o. Suppose 3*j = 2*h - 29, -k*h - 3*j + 37 = -3*h. Is h a prime number?
False
Let n(y) = 20*y**2 + 3*y - 10. Is n(3) composite?
False
Let c = -457 - -718. Suppose 6*z - 354 = -3*o + 3*z, -2*o = -3*z - c. Is o a prime number?
False
Let r be (1 + -2)/((-2)/(-4)). Let m be -2 + (-2 - r) + 9. Suppose 2*i + h = m*i - 637, -4*i + 2*h + 512 = 0. Is i prime?
True
Suppose -6*c = -2*c. Suppose 2*s - 21 - 55 = c. Is s a composite number?
True
Let g(h) = -262*h. Let t be g(-1). Let r = t + -591. Let f = r - -462. Is f a prime number?
False
Suppose 1230 = 6*s + 4*s. Is s composite?
True
Let r be ((-2 - -2)/(-3))/(-1). Suppose -4*j - 5*b + 156 = r, 2*b = -3*j - b + 114. Is j prime?
False
Let i be 2/8 + (-21)/(-12). Suppose 791 + 500 = 3*n - i*s, -s = 4*n - 1703. Is n prime?
False
Let u = -10 + 15. Suppose u*k = 5*v - 390, v - 13 = -k + 63. Is v a prime number?
False
Let r = 3 - -1. Suppose -u + 5*u = 2*a - 1478, -1508 = 4*u + r*a. Let t = u - -533. Is t prime?
False
Let n(d) = 333*d + 2. Let x be n(2). Let u be 1641/12 + 2/8. Suppose -5*t = -u - x. Is t a prime number?
False
Let v(f) = 6*f**2 - 13*f + 4. Is v(-7) a composite number?
False
Suppose 3*y + y - 5*g + 24 = 0, 0 = 5*y - 2*g + 47. Let p(c) = -3*c + 1. Is p(y) composite?
True
Suppose -33 = -5*c + 102. Suppose -t + 4*f = -c, 6*t - t - 153 = 2*f. Is t composite?
False
Let y(z) = z**2 + z - 1. Let n(s) = -6*s**2 - 7*s + 8. Let x(o) = -n(o) - 5*y(o). Is x(4) composite?
True
Let x = -2 - -18. Suppose 7 = 2*s + 1. Suppose -x = c + s*c, -2*r = 3*c - 62. Is r a composite number?
False
Let s(m) = -2*m**2 - 2*m + 22*m**3 + 0*m**2 + 4*m. Let r be s(2). Let x = r + -87. Is x composite?
True
Suppose 4*f - 227 = 3*v + 32, 4*f - v - 265 = 0. Is f a composite number?
False
Suppose 2*k - 4*k + 386 = 4*p, -3*p + 3*k + 294 = 0. Is p a prime number?
True
Suppose -3*y + 2*s = -2*s + 12, 2*y - 3*s + 9 = 0. Suppose a - 5*t - 147 + 19 = y, -a + 4*t = -125. Is a prime?
True
Suppose -5*f + t = -570, -t - 236 = -2*f + t. Is f prime?
True
Let m = 4 - 0. Let i(w) = 17*w**3 + 17*w**3 + 5*w - 2*w**2 - 11*w**3 - m*w. Is i(1) prime?
False
Suppose 5*q - 3*s - 30 = -6*s, -18 = -3*q - 5*s. Suppose -5*f - r + 1467 = 0, q*r - r = -f + 303. Is f a prime number?
True
Suppose 0 = -5*o + q + 1020, 4*q - 448 = -3*o + 187. Is o a composite number?
True
Suppose 1805 = -4*p + 9529. Is p prime?
True
Suppose 0 = -2*k - 2*f - 14, -2 + 1 = -2*k + f. Is 1/(-4)*k*246 composite?
True
Let a be (-8)/6*(-27)/(-6). Let h be 1 - -3*(-4)/a. Is 147/(-2)*(-2)/h composite?
True
Let f = -4 - -36. Let b = 191 - f. Is b prime?
False
Let b(z) = z**2 + z - 4. Let d be b(-3). Suppose -2*w - d*o = -14, -13 = -3*w - o + 4. Suppose -h + 10 + w = 0. Is h prime?
False
Let u = -188 + 425. Is u prime?
False
Let u be (-1402)/(-9) + 4/18. Let y = u + -98. Is y a composite number?
True
Let u be (2/(-3))/(12/(-90)). Suppose -u*d = 4*o - 463, -4*d + 347 = -0*o + 3*o. Suppose -3*a + 117 = -4*h, -5*a + 8*a - h - o = 0. Is a a composite number?
True
Is 3087 + (3/2)/((-6)/8) a prime number?
False
Let h(x) be the third derivative of -x**2 + 0 + 0*x + 5/6*x**3 + 1/2*x**4. Is h(4) prime?
True
Suppose 5*l = -5*g + 146 + 544, 4*l - 412 = -3*g. Let y = -27 + g. Is y prime?
True
Let p = -2 + 5. Suppose 332 = p*i + i. Is i composite?
False
Suppose -d + 75 = 4*d. Is d a prime number?
False
Let d(y) = -17*y - 1. Let w(i) = i**3 - 12*i**2 - i + 10. Let n be w(12). Is d(n) a prime number?
False
Suppose w + 5*o = 2631, 4*w - 9075 = -4*o + 1369. Suppose -4*v + 2232 = 5*f + 143, -f = 5*v - w. Is v composite?
False
Let x(a) = a + 4. Let p be x(-4). Suppose -3*m + m + 436 = p. Suppose -4*f - 8 = 0, 6*z - 2*z = 3*f + m. Is z prime?
True
Let m(y) = -50*y + 15. Let j(u) = -100*u + 31. Let g(w) = 2*j(w) - 5*m(w). Is g(12) prime?
True
Let v(h) be the first derivative of 37*h - 1/2*h**2 - 2 + 0*h**3 - 1/4*h**4. Is v(0) a composite number?
False
Suppose -4*r = -n - 9, r + 23 = -4*n + 4*r. Let w(x) = -x**3 - 4*x**2 + 4*x - 3. Let o be w(n). Is (9/o)/((-12)/(-16)) composite?
True
Suppose 0 = 5*z + 5*y - 148 - 42, -2*y + 150 = 4*z. Is z a prime number?
True
Let d(s) = s**2 + 3*s. Let x be d(9). Let h(v) = v**3 - 4*v**2 - 5*v + 3. Let l be h(5). Suppose l*y - x - 45 = g, -y + 3*g = -51. Is y a composite number?
True
Let j(y) = 53*y. Let l be j(4). Suppose -v - l = -5*v. Is v prime?
True
Let q be (5/(-15))/(1/(-3)). Is q + 53 + (7 - 8) prime?
True
Let v(b) = -9*b + 4. Let j(u) = -u + 2. Let s be j(7). Is v(s) a composite number?
True
Supp