 a prime number?
True
Suppose 0 = 2*l + 3*l - p - 20, -1 = -2*l - p. Suppose l*o + 21 = 87. Is o composite?
True
Suppose 5*k - k = -60. Suppose 14*g + 16 = -2*g. Is -35*(g - 9/k) prime?
False
Suppose 20 = -p - 3*s + 1222, 2*s = -4*p + 4758. Is p a composite number?
False
Suppose -2*r + 25 - 1 = 0. Suppose r*i = 7*i + 655. Is i composite?
False
Let r(u) = u + 1. Let o be r(2). Let q = 21 - 11. Suppose -q*b = -9*b - o. Is b prime?
True
Let b be ((-6)/(-9))/(1/6). Suppose -4*m + b = -6*m. Let q(c) = -102*c - 1. Is q(m) a prime number?
False
Suppose 9923 = 17*m + 556. Is m a prime number?
False
Suppose 5*w + 5*b - 3*b - 5145 = 0, 0 = 4*w - 5*b - 4083. Let t(r) = 183*r + 1. Let d be t(-3). Let n = d + w. Is n a prime number?
True
Let o(w) = w**3 - w**2 + 3*w + 7. Let m(n) = -n**3 - n**2 + 6. Let r be m(0). Is o(r) a composite number?
True
Let w = -512 - -807. Is w a composite number?
True
Suppose 0*u - 14 = -u. Suppose -g = -q + 6, -g + 2*q - u = 5*q. Is 564/16 + 2/g a composite number?
True
Suppose r = 2*o + 47, -5*o + 4*r - 75 - 47 = 0. Let l = -78 - o. Is 14/(-63) - l/9 composite?
True
Let a(s) = -8*s**3 + 9*s**2 + 2*s + 9. Is a(-6) prime?
False
Let r(y) = y**3 - 17*y**2 + 23*y - 33. Let t = -58 - -74. Is r(t) composite?
False
Let f(i) = 140*i**3 - i**2. Let r be 1/4 + (-57)/(-12). Suppose -4*p + z = 6*z + 21, r*p = -5*z - 20. Is f(p) prime?
True
Suppose 0*i = -5*u - 4*i + 16, -17 = -4*u + i. Suppose 2*v + u*j = 410, -170 = -v - 5*j + 35. Is v prime?
False
Let v(d) = 65*d - 179. Is v(36) a prime number?
True
Let t(q) = 3*q + 4. Let o be t(8). Let y = 735 - o. Is y a composite number?
True
Suppose -3*i = -5*i + 4*i. Suppose -2122 = -2*a - i*a. Is a a composite number?
False
Let g(m) = -2*m**3 - 6*m**2 - 4*m + 3. Let b = -21 + 17. Is g(b) a composite number?
True
Suppose -2*y - 2 = -0*y. Let h(i) = -2*i. Let m be h(y). Suppose -5*w + 120 = m*p, 3*w = 2 + 4. Is p composite?
True
Let f = 2415 - 1246. Is f prime?
False
Let h(o) = -48*o**2 - 3*o - 6. Let w(y) = 191*y**2 + 12*y + 25. Let p(d) = -9*h(d) - 2*w(d). Is p(-3) composite?
True
Suppose 28*p - 27*p - 801 = 0. Suppose -4*d = 3*o - 12491, 5*o = -d + 4*d + 20828. Suppose p = -4*m + o. Is m a prime number?
False
Let v(l) = l - 3. Let k be v(4). Let t be -4 + (k - 0/2). Is 1*-1 - (t - 75) composite?
True
Suppose -5791 = 5*w - 2166. Let l(q) = -7*q**2 - 7*q - 6. Let m be l(-4). Let z = m - w. Is z a prime number?
False
Suppose -100 = -3*w + 2*l + 789, w + 4*l = 287. Let t(k) = -10*k + 2. Let a be t(-3). Let o = w - a. Is o a prime number?
True
Suppose 6135 + 1692 = y + b, 4*b + 7822 = y. Let o = -1953 + y. Is o prime?
False
Let k be 4*(-35 - -6) - -8. Let c be 1957/(-4) + 2/8. Let h = k - c. Is h a composite number?
True
Let u(z) = 6542*z - 63. Is u(3) prime?
False
Suppose 2*j + 13 = -j - 5*v, 2*v = j - 3. Is (j - -2)/((-2)/(-586)) a composite number?
False
Let v(h) = -h**3 + 4*h**2 + 2*h - 5. Let u be v(4). Suppose 6*t - 183 = t + z, 6 = u*z. Is t a prime number?
True
Suppose -j + 6*y - y = -27, -108 = -4*j + 3*y. Suppose -5*t = 15, -j = -2*c - c + 3*t. Is c composite?
True
Let m(y) = -y**3 + y**2 + 3*y + 1. Let j be m(-2). Let q = j + -7. Suppose q*w = 3*w - 705. Is w a prime number?
False
Let p(i) = -595*i + 332. Is p(-47) a prime number?
True
Is 24222 - -1*(-3 + 4) a prime number?
True
Let r(p) = p**2 - 14*p - 4. Let z be r(16). Suppose 27*h + 4 = z*h. Is h prime?
False
Is 56390/20 + (28/(-8))/7 a composite number?
False
Suppose -11*a + 36 = -7*a. Suppose 0 = -a*t - 256 + 11065. Is t prime?
True
Is (187/(-11) - -28972)*2/10 a composite number?
False
Let d = -651 + 2679. Suppose 0 = 4*x - x - d. Is x/(-6)*(-36)/24 a prime number?
False
Suppose -10*g + 7*g + 12 = 0. Suppose d = -5*t + 1899, g*d + 742 = -t + 3*t. Is t a composite number?
False
Let i(z) = 12*z - 13 + 2*z - 1 - 2*z. Is i(10) prime?
False
Let a = -3 + 2. Let m be ((-12)/16)/(a/472). Let q = m - 151. Is q prime?
False
Let s(k) = 39*k - 11. Let h(x) = -x**2 + x + 10. Let l be h(0). Is s(l) a composite number?
False
Suppose 5*o = 21 - 6. Suppose 0 = -5*b + 4*r + 936, 0 = -b + 2*b - 3*r - 185. Is (b/(-12))/(o/(-63)) a composite number?
True
Let v = -16 + -8. Let a be (-46)/(-10) - v/(-40). Suppose -a*o = -0*o - 452. Is o composite?
False
Suppose -1 + 13 = -4*p, g - 11 = 2*p. Suppose 30*y = 64 + 86. Suppose 5*h + 1485 = y*u, -1461 = -g*u - h - 0*h. Is u a prime number?
True
Let v(n) = -n - n - 10*n**2 + 3*n**3 - 56 + 54. Is v(7) prime?
True
Suppose -114 = x - 4*h - 4509, 13168 = 3*x + 5*h. Is x a composite number?
False
Suppose -17 = -2*u - 3. Let c be ((-3)/(-9))/(u/63). Suppose 0 = 2*l, 0 = 4*p + c*l - 1766 + 90. Is p a composite number?
False
Suppose -17*k + 262210 + 68287 = 0. Is k a prime number?
True
Suppose -2*q + 5*t - 1977 = -9936, 4*t = -20. Is q composite?
False
Let r be 1/3 + 35/21. Suppose r*q + 2*q = 3476. Is q prime?
False
Suppose 2*i = -3*s - 2894, -956 = -2*i - 4*s - 3852. Let y = i - -2826. Is y composite?
True
Suppose -102*n = -98*n - 10052. Is n prime?
False
Suppose 13*c + 4 = 11*c. Is ((-5)/15)/(c/9618) a composite number?
True
Suppose -2*y + 948 = 4*y. Is y a prime number?
False
Let r = -36 - -40. Suppose -3*g + r*k = -10969, 3*g + 6*k - k - 10987 = 0. Is g a prime number?
True
Let w = 23869 - 13041. Suppose 0 = -15*z + w + 7817. Is z composite?
True
Suppose -5*m = -5*h + 39525, -7*m + 39485 = 5*h - 2*m. Is h a prime number?
True
Let j be ((-5)/(-15))/(3/603). Let l = j - -51. Is l composite?
True
Is (-8 - 38/(-5)) + (-36074)/(-10) prime?
True
Let u = -6 + 4. Is (u/(-6))/((-8)/(-11472)) a composite number?
True
Let s(u) = -64*u + 5. Let g(q) = 65*q - 4. Let a(z) = -4*g(z) - 3*s(z). Is a(-3) a composite number?
True
Let b = 3709 + 2812. Is b a composite number?
False
Let x be 181/(-3)*192/(-8). Suppose q - x = -3*w, -322 - 1116 = -3*w + q. Is w prime?
False
Let y(k) = 1210*k**2 - 11*k + 14. Is y(5) prime?
False
Let i = 3 - 1. Suppose -c - i*c = -759. Is c prime?
False
Let v(u) = -39*u + 4. Suppose 0*b - 5*b + 115 = 0. Suppose -3*j + 4*t + 8 - b = 0, 0 = -4*j - 3*t - 20. Is v(j) composite?
False
Let g = -24 - -27. Suppose 5*n - 2545 = -4*j, g*n - n = -3*j + 1018. Is n a prime number?
True
Suppose 0*v - v - 60 = 0. Let q(h) = 3*h + 151. Let y be q(0). Let t = y - v. Is t composite?
False
Let q = -9681 + 30530. Is q composite?
False
Let c(q) = 8*q**2 - 9. Let b be c(11). Suppose -4*y - l - 1913 = 0, l + b = -0*y - 2*y. Let p = 1126 + y. Is p composite?
True
Let n(a) = a**2 + 4*a. Let o be n(-4). Suppose -5317 = -5*y - 2*d - 0*d, 2*y = 2*d + 2138. Suppose -4*c - c + y = o. Is c a composite number?
True
Let i(s) = 4031*s - 230. Is i(3) a composite number?
False
Suppose 81*v = 85*v + 24. Let w(y) = -106*y - 5. Is w(v) a composite number?
False
Let u(o) = o - 2. Let v(m) = 3*m - 9. Let r(j) = -18*u(j) + 4*v(j). Let n be r(1). Is 4/12 - 1552/n composite?
True
Is 63/(-42)*2714/(-3) composite?
True
Suppose 5*f + 0*f = 0. Suppose -4*a + 2*a = f. Is a + 447/3*1 prime?
True
Let s(d) = -d**2 + 15*d + 11. Let q be (7*-1)/((-1)/2). Is s(q) a composite number?
True
Suppose 2*m - 3548 = 2*x - 5*x, -m + 1785 = -4*x. Is m prime?
True
Let p(l) = -1512*l**3 - 5*l**2 - 9*l - 19. Is p(-3) a prime number?
True
Let d(c) = 31*c - 9. Suppose 0 = -5*t + h + 14, -4*t = -0*t - 5*h - 7. Suppose t*r = 5*r - 4. Is d(r) prime?
True
Let o be -2 - 9/(-3) - -235. Suppose -o = -b - 73. Is b a prime number?
True
Let l(u) = 306*u + 11. Let j be l(6). Suppose 2*w - w = j. Is w a prime number?
True
Let j(d) = d**3 - 6*d**2 - 4*d - 2. Let o be j(5). Let x = o + 80. Is x a composite number?
True
Let j = -1873 + 1111. Let s = j - -1393. Is s composite?
False
Suppose 29*n + 2200 = 25*n. Let p = 1191 + n. Is p a prime number?
True
Suppose 0 = -10*n - 1609 + 247539. Is n prime?
True
Suppose -3*z + 39421 = 4*c, 6*c - 3*c + 65750 = 5*z. Is z composite?
False
Suppose 5*w + 69 - 199 = 0. Suppose -5*d + 5*g + w = g, d - 1 = 5*g. Suppose d*f = 3*f + 1515. Is f a prime number?
False
Let q(t) = t - 19. Let c be q(-9). Let s = -127 - -186. Let m = c + s. Is m a composite number?
False
Let g(s) = 267*s**2 + 67*s + 41. Is g(15) prime?
True
Let c(b) = 998*b - 21. Let k be c(5). Suppose t = -u + 2486, 2*u = -7*t + 2*t + k. Is u composite?
True
Suppose 2*b + 2 - 22 = 0. Let i 