rime?
True
Is -471*(10/6 - 2) composite?
False
Let h(r) = -r - 6. Let l(k) = -1. Let t(b) = -h(b) + 5*l(b). Let c be t(0). Is 87 + 2 + (1 - c) composite?
False
Let x = -22 + -10. Let g = 97 + x. Is g composite?
True
Let b be (4/(-6))/(10/(-45)). Suppose -b*g + 5*n + 170 = 0, 0 = -4*g - 2*n + 79 + 139. Is g a composite number?
True
Is 0 + 51 - (2 + 0) a composite number?
True
Suppose 4*y = -4*v + 1928, 6*v + 2450 = 5*y + 3*v. Is y composite?
False
Suppose 0 = -5*h, -2*g + 16 = 2*g + 5*h. Suppose -g*s = s. Let x = s + 19. Is x a composite number?
False
Let a = 6 - 4. Is 1/4*a*134 a composite number?
False
Let b(i) = i**3 + 9*i - 2. Let x(d) = -d**3 + d**2 - 10*d + 3. Let a = -14 - -10. Let n(o) = a*b(o) - 3*x(o). Is n(-5) a prime number?
True
Let f = 3 - 3. Suppose f = 4*c - 3*m - 510 - 8, -3*m - 256 = -2*c. Is c prime?
True
Let s(h) = 4*h**2 - 10*h - 25. Is s(-4) composite?
False
Suppose -4*t = -t + 5*d + 32, 0 = -2*t - 3*d - 20. Let i(v) = -9*v - 5. Is i(t) a composite number?
False
Let o be ((-36)/10)/(12/(-40)). Is 1575/o - 2/8 a prime number?
True
Suppose 5*v = 85 + 95. Suppose 9*g - l = 4*g + v, -5*g + 5*l = -40. Is g a prime number?
True
Suppose 3*u + 1037 = -1591. Is (-1)/(4/u) + 4 prime?
True
Suppose 4*d = -2*f + 8, 0 = -3*d - d + 2*f - 8. Suppose d*q - 18 = 2*q. Is 86/1 - q/3 prime?
True
Let a(i) be the third derivative of 2*i**5/3 - i**4/12 + i**3/3 - 2*i**2. Let t be a(3). Let u = 609 - t. Is u a prime number?
False
Suppose 3*v + 321 = -5*n + 1106, 3*v - 4*n - 803 = 0. Is v a composite number?
True
Suppose v - 6 = -2*v. Suppose -3*j - 4*n = -223, -v*j + 316 = 2*j - 4*n. Is j composite?
True
Is 3/(2*3/652) composite?
True
Let b(s) = -8*s - 8. Let w be b(-6). Is (22/(-8))/((-2)/w) a composite number?
True
Is 686 + (-4)/(4/1) a composite number?
True
Suppose -198 + 33 = 3*o. Let b be 1 + -1 - 2 - o. Suppose -j + 166 = b. Is j prime?
True
Let d = -30 - -75. Suppose 2*r = -r + d. Is r a composite number?
True
Let b(g) = g**3 + 2*g**2 - 3*g + 2. Let j be b(-3). Let n(s) = 22*s**2 + 0 - 4 + j*s + 1. Is n(2) a prime number?
True
Suppose -v - 16 = -5*p - 5*v, 2*p = -v + 4. Let l(j) = -j + 15. Let u be l(p). Is (-3)/u + 186/5 a prime number?
True
Let j(w) = 10*w - 1. Let o be j(1). Suppose 17 = -4*t - 0*d + 3*d, 4*d + o = -t. Let g = 9 - t. Is g composite?
True
Suppose 0 = 6*s - 3*s - 1257. Is s a composite number?
False
Let w(l) = 16*l. Let t be w(5). Let h = t + -46. Is h prime?
False
Let i = 1 + 1. Suppose -i*c = -b - 86, c = 3*c + 4*b - 86. Is c a prime number?
True
Let s be (-13)/(-5) + 4/10. Let j be s/(-2) + (-6)/4. Let d(t) = -2*t**3 - t**2 + 4*t + 4. Is d(j) a composite number?
False
Is ((-1)/4)/((-4)/3376) a prime number?
True
Suppose 627 = -5*z + 2327. Suppose 0*c - z = -4*c. Is c composite?
True
Suppose 2*n + 2*t = -t - 12, 0 = 2*n - 4*t - 16. Suppose n = 4*b - 3*l - 584, -2*l = b + b - 306. Is b a composite number?
False
Is 7*(-78)/(-3) - -3 composite?
True
Suppose -w - 21 = -35. Is w composite?
True
Let x(n) = n**2. Let c be x(5). Suppose -3*w - 24 = 18. Let t = w + c. Is t a prime number?
True
Let k = -690 + 1028. Let w = -117 + k. Is w prime?
False
Let k(i) = 17*i**2 + 5*i + 5. Is k(-9) a prime number?
False
Let j(d) = d**2 - 2*d - 1. Let p = 0 - 4. Let h = p + 8. Is j(h) a composite number?
False
Let r(m) = -m + 13. Let u be r(6). Suppose u*j - 212 = 3*j. Is j a prime number?
True
Suppose 3*v + 3*c - 2*c = 1341, 1341 = 3*v - 5*c. Suppose 4*w + v = 7*w. Is w prime?
True
Suppose 4*t = 4*l + 41 - 1, -36 = 4*l - 3*t. Let h be 186/9 + (-2)/l. Suppose d + 5*c = h, -2*c = -2*d + 2*c + 14. Is d prime?
True
Let c(z) = 2*z**3 - 4 + 4 + 1 - z**2 + 7*z**3. Let s be c(-1). Let p = 56 - s. Is p prime?
False
Suppose -10*z + 5866 = -7744. Is z a composite number?
False
Is 0 - (-2 + (0 - 51)) a prime number?
True
Let g = 8 + -6. Suppose -g*l + 459 + 435 = 0. Is l composite?
True
Let l = 4 + -1. Suppose 24 = u + l*u. Is u a prime number?
False
Suppose -4*p + 46 + 70 = 0. Let h be (-69)/(-9) - 1/(-3). Let m = p + h. Is m prime?
True
Let n(h) = h**2 + h - 11. Let l be n(-8). Suppose -m + 112 + l = 0. Is m prime?
True
Let n be (48/9)/(2/6). Let v = -9 + n. Is v a composite number?
False
Suppose 0 = -t - 4*g + 2983 + 192, 3*t - 9534 = -3*g. Suppose 3*b = 4*b - w - 634, 4*w - t = -5*b. Is b a composite number?
True
Suppose 4*y + y = 2*h + 36, -4*y + 2*h = -30. Let n(u) = 1 + u**2 + 3*u**2 - 2*u**2 - u. Is n(y) a prime number?
True
Suppose -1516 + 0 = -4*y. Is y a prime number?
True
Suppose 0 = 6*r - 141 - 981. Is r a composite number?
True
Let p = 5312 - 345. Is p composite?
False
Is ((-2)/(-4))/(2/52) prime?
True
Suppose -10*b + 15505 = -5*b. Is b prime?
False
Let w(a) = 2*a**3 - a**2 - a. Let h be w(-1). Is h/(-9) + (-35659)/(-117) composite?
True
Let r = 208 - 750. Let u = -163 - r. Is u a prime number?
True
Suppose 3*g - 4*s - 137 = 0, 3*g - 3*s - 92 = g. Is g a composite number?
False
Let w = 1 + 8. Suppose 4*i = 4*q + 764, 0 = -3*i + 4*q - w + 582. Is i a composite number?
False
Is (1623/9 + 0)*(-2 - -5) a prime number?
True
Suppose -o = -4*o - 6. Let l(c) = 14*c**2 + c - 1. Is l(o) a prime number?
True
Let u(z) be the third derivative of z**5/30 - z**4/6 + z**3/2 + 2*z**2. Is u(5) a prime number?
False
Let p(k) = 3*k**2 - 3*k + 1. Suppose -x = 2*x - 3, w - x - 4 = 0. Let l(d) = -d**2 + d - 1. Let f(v) = w*l(v) + 2*p(v). Is f(3) a prime number?
True
Let s = 483 - 266. Is s prime?
False
Let l(j) = 2*j**3 + 4*j**2 - 2*j - 2. Suppose -3*a + 1 + 2 = 0. Let q = a + 1. Is l(q) a prime number?
False
Let t(h) = -h**3 - h**2 + h + 1. Let a(y) = -6*y**3 - 18*y**2 - 6*y + 18. Let x(o) = -a(o) + 5*t(o). Suppose 0 = -2*r - 0*r - 20. Is x(r) a prime number?
False
Let c(i) = -i**3 + 4*i**2 - 19*i + 7. Is c(-6) composite?
True
Let l be 3 + (3 - 0) + -4. Suppose 0 = -2*d + l*s + 80, -2*d - 2*d + s + 157 = 0. Is d a prime number?
False
Let y(g) = -677*g + 5. Let a be y(5). Suppose -6 = -0*p - 2*p, 4*i - 25 = -3*p. Is a/(-16) - 1/i a composite number?
False
Let b(r) be the third derivative of 0 + 55/12*r**4 + 5/6*r**3 - r**2 + 0*r. Is b(4) a composite number?
True
Suppose -x - 3*x + 288 = 0. Let j = -21 + x. Is j composite?
True
Let k be 1*(-8 - -3)*9. Let c = 110 + k. Is c a prime number?
False
Let x(v) = 5*v + 3*v**2 - v - 2*v + 2*v**2. Let q be x(5). Suppose g - 570 = -5*b, b - 4*g - q = -0*g. Is b a prime number?
False
Let h = 4 - -1. Suppose 3*s - h*v + 10*v = 2034, 5*v = -5*s + 3400. Is s a composite number?
False
Let h = 18 + -9. Suppose n - 14 - h = 0. Suppose j - l - n = 0, 2*j - 3 - 34 = 5*l. Is j a composite number?
True
Suppose 50 = 5*r - 4*y - 62, 5*r - 91 = -3*y. Suppose -5*k = -5*f - r, 2*f = 4*k - 9*k + 20. Suppose 4*t - 2*t - 18 = f. Is t prime?
False
Let d(b) = -b**3 + 26*b**2 + 2*b - 21. Is d(14) prime?
False
Suppose -1 = 3*z + 2*a - 0, -4*z = -5*a - 37. Suppose -5*f + 2*g + g = -78, 0 = -3*f - z*g + 42. Is f a composite number?
True
Let l = 177 + 130. Is l a prime number?
True
Let m(f) = 1137*f - 3. Is m(2) prime?
False
Let i = 991 + -20. Is i a composite number?
False
Let x be (-48)/(-18) - 2/(-6). Let p(t) = 61*t**2 - t + 1. Is p(x) prime?
True
Let t = -2 - -2. Suppose t = -5*x - 0*x - 65. Let j = x - -59. Is j composite?
True
Is (4/6)/(14/4683*1) prime?
True
Let h = -65 - -184. Is h prime?
False
Is ((-15)/((-225)/(-10)))/((-2)/2049) a composite number?
False
Suppose -20 = 2*q - 7*q. Is 1646/q - 6/(-4) a composite number?
True
Let s(z) = 4*z**2 + 8*z + 5. Let o be s(-5). Suppose 2*g - 6*g + 20 = 0. Suppose 0 = -g*t - 0*t + o. Is t a composite number?
False
Let d(c) = 12*c + 5. Is d(24) a prime number?
True
Suppose 0 = 6*p - 3*p - 93. Suppose 3*j = 2*q + p, -6 = 4*j - 3*q - 49. Is j a prime number?
True
Is (-1)/1*5416/(-8) prime?
True
Let b = 4 + 1. Suppose 3*d = -2*t + b*t + 162, -3*t = 3. Is d composite?
False
Is (-6 + -3380)*(9/6)/(-3) prime?
True
Let a(c) = 3*c**2 - 1. Let r be a(1). Suppose -r*t + 282 + 32 = 0. Is t a composite number?
False
Let v = -9 - -12. Suppose -2*s - 209 = -v*s. Is s composite?
True
Suppose -n - 10*n + 3377 = 0. Is n a composite number?
False
Is (4 + -6)/(-1*2/1801) a prime number?
True
Suppose 449 = 2*g - 5*s, 4*g - 2*s - 883 = 3*s. Is g a composite number?
True
Is ((-7)/21)/(4/(-26184)) a composite number?