 -q = q - o. Is q a prime number?
True
Is (-1)/((-4)/8) + 104 prime?
False
Suppose 0 = 3*m - m. Suppose m = -3*s - 2*p + 74, -5*s - 2*p = -59 - 67. Is s prime?
False
Suppose -o + 733 = 4*z, 11*z - 6*z = 3*o - 2216. Is o composite?
True
Let p(z) = 1 + 8 - 2*z + 5*z**2 - 9. Is p(5) prime?
False
Let m be ((2 + -1)*-6)/(-1). Let n(q) = q**3 + 9*q**2 + 5*q - 1. Let w be n(-7). Is 2/m - w/(-3) composite?
True
Let w = 6 - 4. Is w*6/4 - -31 prime?
False
Suppose -5*j - 814 = -4649. Suppose -634 - j = -3*x. Is x a composite number?
False
Suppose -3*g - 127 + 508 = 0. Is g composite?
False
Let h be (-2)/12 - 751/(-6). Suppose 5*b = h + 510. Is b prime?
True
Let l = -7 + 7. Suppose -2*r + l*r = -118. Is r composite?
False
Let o = 1306 - 778. Let s = -365 + o. Is s prime?
True
Let k = 19 + 22. Let n = -8 + k. Is n prime?
False
Let y(d) = -3*d + 4. Let g be y(6). Is 4/g + 932/28 prime?
False
Let m = -130 - -44. Is (3/2)/((-3)/m) prime?
True
Let x(d) = 15*d + 4. Suppose 7*u + w - 13 = 2*u, 2*u + w = 4. Let o be 9/u*(1 - 0). Is x(o) a composite number?
True
Is 514/4*(2 - 0) prime?
True
Suppose 2905 = 9*u - 4*u. Is u composite?
True
Let k(u) = 2*u - 5. Let c be k(4). Suppose p - 4*b = 26, 4*p = -0*b + c*b + 169. Is p a prime number?
False
Let r = -4 - -7. Suppose -540 = -r*j - 201. Suppose 0 = -4*d + j + 99. Is d composite?
False
Let n = -14 + -6. Let b = n - -53. Is b prime?
False
Suppose -2*w = -228 + 64. Let h = w + -45. Is h composite?
False
Let a = 3636 - 1943. Is a prime?
True
Let i(x) = -x**2 + 6*x - 3. Suppose 12 = 3*r - 0*r. Let s be i(r). Suppose s*t = 37 + 8. Is t a composite number?
True
Let o = -17 - -8. Is (o/18)/((-2)/40) composite?
True
Let s(n) = -7*n**3 - 2*n**2 - 2*n - 1. Let b be s(-1). Suppose 3*c - b = 4*c. Let m = 8 + c. Is m prime?
True
Let o(m) = m**2 + m - 5. Suppose 0 = a + 4*a + w + 23, -3*a + 3*w - 21 = 0. Is o(a) prime?
False
Suppose 0 = i + 3*i + 12. Is 1/(-3) + (-556)/i prime?
False
Is 1/(-1) + 2 - -128 a prime number?
False
Suppose c - 3*c = -12. Let m(x) = 2*x**2 + 7*x - 5. Is m(c) a prime number?
True
Let u(o) = -o**3 + 11*o**2 - 5*o + 9. Suppose j - 2*j + 10 = 0. Is u(j) a composite number?
False
Suppose 0 = -h - 1, -q - 5*h = -165 - 371. Is q a composite number?
False
Let b = -7 - -12. Let a(m) = m - 5. Let g be a(9). Suppose b*x - 145 = 2*p, 2*x = -g*p + 6*p + 52. Is x a prime number?
True
Suppose 0 = -4*u - 5*k - 39, 4*k - 4 = 3*u + 2. Is ((-154)/u)/(3/9) prime?
False
Suppose 5*m + 1585 = 5*o, 5*o - 649 = 3*o + 5*m. Let n = -171 + o. Is n a prime number?
False
Suppose 0 = -0*n - 4*n + 68. Let x = n + 144. Is x prime?
False
Let q be (-20)/(-2)*(-10)/(-20). Let j(s) = 6*s**2 + s + 2. Is j(q) prime?
True
Suppose 1621 = 5*m + 356. Is m a composite number?
True
Let u(d) = -55*d + 3. Let x be u(2). Let t = 198 + x. Is t composite?
True
Let i = 10 + -14. Let h(d) = d**2 - 5. Is h(i) a prime number?
True
Let l(q) = -2*q - 5. Let p be l(-5). Suppose -p*w + w = 2*o + 34, -3*o = 4*w + 39. Is (-6)/(-18) - 544/w composite?
True
Is 2188/20 + (-2)/5 a composite number?
False
Suppose 15 = 3*x - 0*x. Suppose 0 = -x*z + 214 - 39. Is z a prime number?
False
Suppose 8*g + 643 = 1955. Suppose -l + 5*l = -16. Is (2/l)/((-1)/g) prime?
False
Suppose -151 = -m + 5*n - 4, -5*n = 5*m - 705. Suppose 2*b - 650 + m = 0. Is b a prime number?
False
Let b(d) = 192*d - 2. Let a be b(5). Suppose 3*n - 4*x - a = -161, -5*n - 4*x = -1275. Suppose -c + 2*t = -n, 3*c - 223 = 2*t + 550. Is c a prime number?
True
Let l(o) = o + 53. Let v be l(0). Let c = v - 31. Suppose -c = -a + 9. Is a prime?
True
Let c = 60 - -207. Let m = -226 - -90. Let k = c + m. Is k prime?
True
Suppose -h + 799 + 39 = 0. Is h composite?
True
Let y(b) be the third derivative of b**4/12 - b**3 - 2*b**2. Let u be y(5). Suppose -5*v + 59 = u*q - 144, 0 = -4*v + 4*q + 148. Is v a prime number?
False
Is (631/2)/(5/10) composite?
False
Suppose -19 = -4*s + 3*s. Is s composite?
False
Let b(v) = 50*v**2 - 2*v - 1. Let d be b(-1). Let z = 83 + -39. Suppose z + d = 5*p. Is p composite?
False
Is 3 + 2576 + 2 + (-6)/3 composite?
False
Let g = -649 - -434. Let q = -102 - g. Is q a prime number?
True
Let x be 14/(-7)*2/4. Let w(u) = -2*u**2 + u. Let z be w(x). Is (-1 + -3)/(6/z) a prime number?
True
Is ((-97)/(-4))/((-21)/(-1596)) prime?
False
Is (-2 - -3) + 0 - -334 a prime number?
False
Let g be ((-712)/6)/((-1)/3). Suppose 4*i + 4*q = g, 2*q - 6*q = -5*i + 445. Is i a prime number?
True
Let z(a) = -4*a + 1. Let o(c) = c**2 - 3*c - 3. Let m be o(5). Let y be z(m). Is (-479)/(-9) - (-6)/y a composite number?
False
Let u(a) = a**3 + 3*a**2 - 2*a - 1. Let i(p) = p**3 + 5*p**2 + 2*p + 7. Let x be i(-5). Let z be u(x). Let j = 10 + z. Is j a composite number?
True
Let z(s) = -17*s + 1. Let d be z(-5). Suppose -b - d - 4 = 0. Let v = -35 - b. Is v composite?
True
Let s(j) = 6*j**2 - 2*j + 1. Let b be s(1). Suppose -2016 = -b*d + 689. Is d a composite number?
False
Let p = 0 - 3. Let u = p - -4. Is (0 + u)/(2/134) a composite number?
False
Suppose 4*j + 180 = -4*i, -3*j = 3*i - 8*j + 127. Let r = 75 + i. Is r a prime number?
True
Suppose -p + m - 2*m + 295 = 0, -4*p = -3*m - 1180. Is p composite?
True
Let b = -3 - -4. Let a be 3/(-12) + b/4. Suppose a*v + 2*v + k - 65 = 0, 3*k = v - 22. Is v composite?
False
Suppose 2*j - 3*q = -371, 5*j + 4*q = -q - 965. Let s = 381 + j. Is s a prime number?
True
Suppose 4*c = -3*f + 628, c - 64 = 5*f + 116. Suppose -3*n = n - c. Is (3*1)/(12/n) composite?
True
Let z(o) = -o**2 + 9*o - 8. Let k be z(8). Suppose 5*i - 255 - 1405 = k. Suppose -5*c + i = -c. Is c prime?
True
Let n be ((-2)/6)/(4/(-12)). Suppose -c = -6 - n. Is c a composite number?
False
Suppose -4*x + 1043 - 282 = -j, 3*x + j = 569. Is (x/4)/(3/6) a prime number?
False
Is 15 - 14 - (-520 + 0) prime?
True
Let j(h) = 4*h - h - 6*h - 1 - 9*h. Is j(-10) prime?
False
Suppose 4*q = 1918 + 2226. Suppose q = 5*m - m. Is m composite?
True
Let q(u) = -u**2 + 11*u + 1. Let w = 5 + 0. Is q(w) prime?
True
Let z(x) = -x**3 - 3*x**2 - x - 7. Let h be z(-5). Suppose 0 = -2*y + h + 68. Is y a prime number?
False
Is (3*-2)/(30/(-1245)) a composite number?
True
Let g be 0 + (4 - 2) - -4. Is 3 + 181 + g/2 a prime number?
False
Let o(k) be the second derivative of 2*k**3/3 - 3*k**2/2 - 3*k. Is o(7) a composite number?
True
Let j(h) = -3*h**2 - 4*h - 7. Let l(u) = 5*u**2 + 8*u + 15. Let s(a) = -7*j(a) - 4*l(a). Is s(-8) a prime number?
False
Let x = 10 + -7. Suppose 4*q + 224 = 4*a, 3*a = -x*q + 95 + 55. Is a prime?
True
Suppose 784 = 2*y + i, 0*y + y + 4*i = 385. Suppose -s = -4*s + y. Is s a composite number?
False
Let q(x) = 2*x**3 + 3*x**2 - x + 13. Is q(6) prime?
True
Let b = -3248 + 8235. Is b a prime number?
True
Let n be 18/(-12) - (-9)/2. Suppose n*x - 4 - 62 = 0. Is x a composite number?
True
Let n(o) = -71 - o + 72 - 5*o. Is n(-3) a composite number?
False
Suppose 20 = -5*d, -4*d + d = 4*u. Let t = u + 0. Is (-161)/(2 - t/1) composite?
True
Let k(o) = -3*o**3 - 3*o**2 + 3*o - 9. Is k(-4) a composite number?
True
Let x(r) = -r + 11. Let j be x(9). Let s be j/(-9) + 119/9. Suppose -a = -0 - s. Is a a prime number?
True
Let m = -3 - -8. Suppose 0*n - 12 = -2*s - m*n, s = 4*n + 19. Is s a composite number?
False
Let a = -201 - 474. Let k = -464 - a. Is k a composite number?
False
Let g(z) = -z**2 - 5*z - 2. Let s be g(-4). Suppose -7*a + 185 = -s*a. Is a a prime number?
True
Let j be (-6)/(-18) - 23/(-3). Suppose j*k = 3*k + 635. Is k a composite number?
False
Let d = 2 + -14. Let w = 26 - d. Is w prime?
False
Let y = -8 + 6. Let v = y + 4. Is v/(2 - 0)*19 a prime number?
True
Suppose 0 = -4*s - 2*d - 10, -5*s + 3*d + 0 = 18. Let n be s/(-4) + 250/8. Is (n/20)/(2/5) composite?
True
Let l = 145 - 90. Is l prime?
False
Suppose -411 = -f + 242. Suppose 0 = 3*k - 2*n - 2*n - f, -k - n + 206 = 0. Is k prime?
True
Suppose -4*x - 413 - 1153 = -5*j, 0 = -2*x + 5*j - 778. Is x*(-3 + 2) + 3 composite?
False
Let g = 762 + -389. Is g composite?
False
Let x = 3 - 2. Suppose -3*w + 26 = -x. Suppose 0 = 5*n - 104 + w. Is n a composite number?
False
Suppose 17 = 4*z - 7. Suppose -z*l + 9*l = 75. Is l prime?
False
Suppose i - 12 = 2*h, -5*h + 3*h - 12 = 4*i. Suppose -z + 746 = 3*z - 2*u, 2*z - 5*u - 361 = 0. Is (z/h*-3)/2 a composite 