umber?
True
Suppose 0 = -2*r + 4*r - 4. Suppose -r*t + 1761 = t. Is t composite?
False
Let j(n) = 4 + 3*n - 4 + n**2 - n. Is j(-5) prime?
False
Suppose 5 = 2*q - 1. Is (-20)/(-5 - (-6 + q)) prime?
False
Is 3/(-9) - 1192/(-3) a composite number?
False
Let a(t) = t**2 - 12*t + 8. Let v be a(11). Let k be v/9 + (-375)/9. Let f = -23 - k. Is f prime?
True
Let p be 0/2 - (-6 - -3). Let h = 3 - p. Suppose h*n - 2*n = -14. Is n a composite number?
False
Suppose -3*r + 0*r + 17 = 4*k, -5*k = -4*r + 2. Suppose 0*y + 447 = r*y. Is y composite?
False
Let t(w) = -101*w - 2. Is t(-11) a prime number?
True
Let t(h) = -4*h - 8. Let g be t(-9). Is g/(-7)*113/(-2) prime?
False
Let s = -14 + 60. Let i = 1 + -12. Let r = s + i. Is r a composite number?
True
Let k(w) = 7*w**3 - 2*w**2 + 4*w + 3. Let i(r) = 6*r**3 - 3*r**2 + 5*r + 4. Let m(j) = -3*i(j) + 4*k(j). Let s be m(-1). Is s/(-15) - 109/(-3) composite?
False
Let x be (0/(-4) - 4) + -12. Is 266/2 - (-14 - x) prime?
True
Suppose -8 = 4*v - 3*j, -4*j = -2*v - 0*v - 4. Let u be (-10)/v*(-158)/(-10). Let r = 164 - u. Is r a prime number?
False
Let v be 319/55 + (-8)/10. Suppose v*x - 2*x = 807. Is x a prime number?
True
Suppose 2*f = 1219 + 139. Is f prime?
False
Let s = -17 - -58. Suppose 3*n = -0*n + 2*o + 107, n + 2*o - s = 0. Is n prime?
True
Is (273/(-12))/(-7)*236 a composite number?
True
Let t = -3 - -3. Suppose 15 = 3*y - t*y. Suppose -25 = -2*j - q, 0*q = y*q + 15. Is j prime?
False
Let a(k) = 20*k**3 + 4*k**2 - k + 4. Is a(2) prime?
False
Let s be (55/15)/(2/6). Suppose -2 = 2*h, 46 - s = 4*w + 5*h. Is w a composite number?
True
Let c = 58 - 136. Let p = -43 - c. Is p a prime number?
False
Let b be 3 + (-2 - -2) - 1. Let m(c) = -66*c**2 + 2*c + 3. Let a(s) = 33*s**2 - s - 1. Let h(u) = 5*a(u) + 2*m(u). Is h(b) a prime number?
True
Suppose -3*k = 2*s, 4*s = -2*k - 2*k + 4. Let u = 17 - 15. Is 15/u*(s + -1) composite?
True
Is (-1)/((-3)/(-9)) + 450 a prime number?
False
Let c(i) = -i**2 + 5*i + 3. Let z be c(3). Is (-9)/6*(-894)/z prime?
True
Suppose 3 = -2*b + 5. Is -2 + 56 - (b + -2) prime?
False
Suppose -12*d = -6943 - 1661. Is d a composite number?
True
Let y = 647 + -160. Is y a prime number?
True
Let f be 99/15 + (-2)/(-5). Let l = 2 + f. Is 3/(-2)*(-222)/l a prime number?
True
Let j(t) = 412*t**3 - t**2 + t - 1. Suppose 7*h - 10 = -3. Is j(h) prime?
False
Let t = 518 + -49. Is t prime?
False
Let a(m) = -34*m - 1. Suppose -4*s - 2 = -2*l - 2*s, 13 = -5*l - 4*s. Is a(l) prime?
False
Let l = 30 + -18. Let m(i) = -5 - 4 + l*i + 2 + 3*i. Is m(10) prime?
False
Let o(k) = k**3 + 3*k**2 + 3*k - 3. Let n be o(-3). Let g = 109 + n. Is g a prime number?
True
Let c(u) be the third derivative of 13*u**5/60 - u**4/24 - u**3/6 - 2*u**2. Is c(-2) a prime number?
True
Suppose -3*y = 3*d - 4020, -2*y + 5*d + 2890 - 231 = 0. Is y prime?
False
Let r = -12 + 12. Suppose r = -3*k + k + 406. Is k prime?
False
Let y(d) = d**3 + 4*d**2 + 2*d - 1. Let p be y(-3). Let b(g) = 15*g**2 + g - 2. Let n be b(-6). Suppose -n = -2*c - p*c. Is c a composite number?
True
Is 2/((-2)/9 - 6448/(-28692)) a prime number?
True
Let m(n) be the third derivative of n**5/60 + 7*n**4/24 + 11*n**3/6 + 3*n**2. Is m(-8) composite?
False
Let p = 2 - -1. Suppose -p*l + 37 = 4*g, 5*g - 2*g - 4*l = 9. Is g prime?
True
Suppose -10 = l - 0*l + 3*g, -2*l = 3*g + 8. Suppose 0 = -4*y - 4*n + 204, l*n = 4*y - 2*n - 220. Suppose -2*i + i = -y. Is i a prime number?
True
Is ((-1)/2)/(19/(-6878)) a composite number?
False
Let i = 8214 - 5051. Is i composite?
False
Is (-26482)/(-18) + 30/(-135) prime?
True
Let f(b) = 7*b**2 + 8*b - 12. Let j be (-172)/(-36) - 2/(-9). Is f(j) composite?
True
Suppose -2*o = 3*o + 5. Let l = o - -4. Suppose l*p + 4*z = 197, 0*z - z = p - 64. Is p composite?
False
Is 410/(-15)*(0 + -3) a composite number?
True
Suppose 6 = -4*g + 3*y, -y + 2 = -3*g - 0. Suppose -2*p - 2*t = t - 46, g = p - t - 28. Is p a prime number?
False
Suppose 5*m - 2538 = 3*m - 4*k, -4*m = 5*k - 5064. Is m a composite number?
True
Suppose 5*d - 404 = -139. Suppose 3*k - 220 = d. Suppose -4*s + 361 = -k. Is s composite?
False
Is 422/(-4)*(-5 - 5)/5 a composite number?
False
Suppose 3*o = 3*y - 3, -2 = 4*y - o - 0. Let j(f) = -22*f + 1. Is j(y) composite?
False
Let p(f) = -f**3 + 31*f**2 - 15*f - 2. Is p(12) a prime number?
False
Let o = 2468 - 1351. Is o a composite number?
False
Suppose -996 + 5168 = 4*x. Is x composite?
True
Let a(h) = -h**3 - 6*h**2 - 5*h - 2. Let d be a(-5). Is (2 + 3 - 0) + d prime?
True
Suppose 6*x = -5*y + 2*x + 333, -2*y + 126 = -2*x. Is y a composite number?
True
Suppose -3*i + i - 98 = 0. Let f = 62 - i. Suppose -x + f = 2*x. Is x composite?
False
Let r = -1952 + 3355. Is r a prime number?
False
Let w(p) = 46*p - 5. Let r(b) = 45*b - 4. Let o(x) = -4*r(x) + 3*w(x). Let n be o(-2). Is (-1 - -2)*n - 0 composite?
True
Let h(y) = -3*y**3 - y**2 + 1. Let o be h(1). Let p = -8 + 462. Is 2*(p/4 - o) prime?
True
Let x be (-78)/(-8)*16/2. Suppose 4*k = -26 + x. Let i = k - -12. Is i a prime number?
False
Suppose -3*b - 7*h = -2*h - 1681, -2*h + 4 = 0. Is b a prime number?
True
Let j = 9409 + -5474. Is j prime?
False
Let r = 24 + 39. Suppose -s + r = -11. Is s a composite number?
True
Let t(r) = 2*r + 1. Suppose 5*o - 35 = -10. Is t(o) a prime number?
True
Let v = -14 - -16. Suppose 5*f + 3*d - 550 = 0, v*d = -5 - 5. Is f composite?
False
Let i(m) = m**2 + 5*m + 5. Let u(o) = o**2 + o. Let p(d) = 12*d**2 + 6*d + 1. Let n(y) = p(y) - 6*u(y). Let q be n(1). Is i(q) a composite number?
False
Let a(x) = -x**3 + 12*x**2 - 9*x + 1. Is a(9) composite?
False
Suppose -4*q + 10 = 2. Suppose 0 = 2*j + q*j - 12. Is j a prime number?
True
Let p = 8332 - 4241. Is p a composite number?
False
Let x(q) = 4473*q**2 - q - 1. Let o be x(-1). Is (-2)/(-8) - o/(-12) prime?
True
Suppose 0*j = 2*j - 1520. Let x = j + 91. Is x a prime number?
False
Suppose -5*p + 26 = -4*a, 3*p - p - 16 = -4*a. Suppose 112 = 2*n + p. Is n a prime number?
True
Let h(m) = m**2 + 5*m + 7. Is h(9) composite?
True
Let n(v) = 18*v**2 - 9*v - 8. Is n(-5) prime?
True
Suppose 112 = 2*o + 2*o. Let t = 86 - o. Suppose -r + t = -x, 0*r - 2*r - 5*x = -95. Is r a composite number?
True
Let h be 86/2 + (0 - 2). Let k = -25 - -121. Let a = k - h. Is a a composite number?
True
Is (1506/12 - 5)*(-14)/(-1) prime?
False
Suppose -3*p + 165 - 8 = -4*w, 0 = p - w - 53. Is p a composite number?
True
Let o = -5 - -100. Suppose -2*a = -3*a + o. Suppose g = a - 8. Is g composite?
True
Suppose 2*u + 236 = 2*t, 5*u + 0*u + 5*t + 570 = 0. Let q be u - (-1 - (2 - 1)). Is (1/3)/((-2)/q) a composite number?
False
Let h = -43 + 85. Is (76/(-12))/((-2)/h) prime?
False
Let t be -1*(-8)/(0 + 2). Suppose t*p + 0 - 12 = 0. Let d = p + 34. Is d a prime number?
True
Is -1 + 0 + 4 + 146 prime?
True
Let o(k) = -k**3 - k**2 + k + 38. Let u be (0/4)/(2 - 1). Let n be o(u). Is n/4 - 1/2 a composite number?
True
Suppose -3*v + 3*d = -984, -9*v + 7*v = 5*d - 642. Is v a prime number?
False
Is 87 - (3 - 15/3) a prime number?
True
Suppose 0 = -3*r - q + 5*q - 5, 0 = -2*r + q. Is -5*r*377/(-13) a prime number?
False
Suppose -3*m + d = -251, -2*m + 59 = -3*d - 120. Let z = m - 20. Is z prime?
False
Is -838*(-2 + (-3)/6) composite?
True
Suppose -3*a + 51 = -7*a - 5*p, 42 = -5*a + p. Let k = 44 + a. Is k a composite number?
True
Suppose 0*z + 548 = z - b, 2*z + 5*b - 1131 = 0. Is z a prime number?
False
Is (-1)/(((-15)/9505)/3) composite?
False
Suppose -10*r = -6*r, -4*b - 3*r = -4292. Is b a composite number?
True
Suppose -h + 3 = 2*h, 3*g - 579 = 3*h. Is g composite?
True
Let w = 11 + -8. Let t(m) = -m - 1. Let y be t(-4). Is 232/y - w/9 a composite number?
True
Let o(n) be the third derivative of -n**7/5040 + n**6/240 + n**5/30 - 2*n**2. Let p(r) be the third derivative of o(r). Is p(-4) composite?
False
Suppose -239 = -4*m + 117. Is m prime?
True
Is (-42)/(-4)*8 + 1 composite?
True
Let l = 8 - -56. Suppose f - 417 = -l. Is f prime?
True
Let x be (2*8)/((-3)/(-24)). Suppose 4*o - 4 = x. Is o a composite number?
True
Let b = 10 - 21. Let x = b - -34. Is x a prime number?
True
Suppose f = -39 + 198. Is f a prime number?
False
Let o(r) = r + 5. Let k be o(8). Let c(v) = v**2 - 8*v - 12. Is c(k) prime?
True
Suppose -p - v - 19 = 0, -2