Let g = -58 + o. Is g a composite number?
True
Suppose -871 = -l + 4*x, -1808 = -3*l + 2*x + 805. Is l composite?
True
Let g = -16 + 8. Is 12/g - 18/(-4) composite?
False
Suppose -3*p + 5438 = -4135. Is p prime?
True
Let t(y) = -y**2 - 2*y - 3. Let q be t(-2). Let p = 10 + q. Let w(d) = d**2 - d - 5. Is w(p) a prime number?
True
Suppose 707675 = 5*m - 4*t, 4*m - 4*t = 6*m - 283098. Is m prime?
True
Let a = 15257 + 3900. Is a a prime number?
True
Suppose -4448 = -4*v + 5*r + 6521, -3*r = 5*v - 13702. Is v a composite number?
False
Let n = -62 + 90. Is (-7)/(n/(-115) + (-1)/(-5)) prime?
False
Let z(b) = 73*b**3 + 3*b**2 - 7*b + 25. Is z(4) a composite number?
True
Let v be 0/4 + 3 + 124. Suppose 5*p = v - 957. Let d = p + 325. Is d a composite number?
True
Let m(v) = -v**2 - 10*v + 24. Let s(q) = -q**3 - 9*q**2 - 11. Let g be s(-9). Is m(g) prime?
True
Let w(n) = -2*n**3 - 2*n**2 - 3*n + 14. Let x be w(6). Is (-2 - -1)*x/(-8)*-2 composite?
False
Let j be (16/6)/((-4)/(-12)). Suppose 0 = -j*z - 9187 + 36011. Is z a prime number?
False
Let g be -1 + -1 + (-4 - -4). Let c(o) be the first derivative of -6*o**4 + 2*o**3/3 - o**2/2 - o - 1. Is c(g) prime?
False
Let a = 1454 - 830. Suppose 3*r + 4*w - 439 = 0, -4*r + 21*w - 22*w = -581. Let b = a - r. Is b prime?
True
Suppose -121851 = -q - 8*q. Let x = q - 7760. Is x composite?
False
Let y = -1 - -5. Let g(u) = -u + 1. Let m be g(y). Is m + ((-158)/(-1) - -2) a composite number?
False
Suppose 14*v - 4116 + 686 = 0. Suppose -t - 4 = 3*y - 5*t, -2*y + 3*t = 4. Suppose -y*q + v = -111. Is q a prime number?
True
Suppose -14*f = -44334 - 30328. Is f a composite number?
False
Let i be 7 - (1 + -2 + 3). Suppose i*y = 8*y - 72. Suppose -d + a + y = 0, 30 = d - 0*d - 4*a. Is d composite?
True
Suppose -2*v - 15 = -5*n, -2*v + 0*v + n - 11 = 0. Let j be (-1 + 1)*v/10. Suppose -z = -2*w + 882, 3*z - 12 = -j*z. Is w a composite number?
False
Let f(y) = -y + 419. Let s be (-25)/(-15) + (-2)/(-6). Suppose 5*x + 11 = s*p + 3, 4*x - 4 = -p. Is f(x) a composite number?
False
Suppose 55 - 51 = s. Suppose 2*t + s*m = 590, m + 3 = 4. Is t composite?
False
Let u = -829 + 1402. Is (u/(-6))/((-2)/4) a prime number?
True
Is -5318*(-2)/12 - (-152)/228 a prime number?
True
Suppose -12 = -2*h - 2*h - 4*j, 14 = 5*h + 4*j. Let c be (10/(-20))/(1/h). Is (-266)/(c + (3 - 4)) a composite number?
True
Let s(i) = 9*i**2 - i - 14. Let f be s(-8). Let n = f - 239. Is n prime?
True
Let r = 3356 - 1339. Is r a prime number?
True
Suppose 135*n - 133*n + 3764 = 0. Let h = n + 3285. Is h a composite number?
True
Let w = -69 - -73. Suppose w*f + s = 2537, 4*s + 4 = -8. Is f composite?
True
Let f(p) = -3989*p + 3. Is f(-2) prime?
False
Let d(p) = 9*p**3 - 3*p**2 + 5*p - 2. Let w be d(2). Let z = w - -185. Is z composite?
True
Suppose -4*r = 5*o - 38122, r - 9527 = -2*o - o. Is r prime?
True
Let a be (-1310 - 7)/(1/(-3)). Suppose -3*s = 6*s - a. Is s a composite number?
False
Let y = 21 + -11. Suppose y = v - 6*v. Is (-363)/v*6/9 composite?
True
Let q(v) = -802*v + 64. Let n be q(13). Is (-8)/6*n/44 a prime number?
False
Let w(n) = 10*n**2 - 24*n - 70. Is w(-18) a prime number?
False
Suppose 2 = i, -2*o + 4*o - 3322 = -4*i. Is o a composite number?
False
Suppose -2*h + 5*l + 25 = 0, 0*h - 5*h + 40 = -5*l. Suppose -h*c = -9*c. Suppose 3*z + 271 = 2*j, c = 3*j + 3*z - 5*z - 399. Is j a prime number?
True
Let m be -2 + ((-7)/(-9) - 10/(-45)). Is (-2*m/(-2))/(4/(-2164)) composite?
False
Suppose -l = l + 356. Let o be 401/1 - (6 - 6). Let a = o + l. Is a a prime number?
True
Suppose -4*l + 5 = -15. Suppose 5*h = o + 7, h + o - l = -0*h. Suppose h*n + n - 573 = 0. Is n a composite number?
False
Is (36485/(-10))/(-2*(-1)/(-4)) a prime number?
True
Suppose 4*x - v - 35 = 0, -2*x - x - 5*v + 55 = 0. Let n be (325 + 1)*(-12)/(-6). Is n/20 - (-4)/x composite?
True
Let u(i) = -153*i**3 - 2*i**2 + 5*i + 7. Suppose 0 = 4*w - 80 + 88. Is u(w) a composite number?
False
Suppose 0 = 2*n - 19 + 9. Suppose -2*z + 5446 = n*z. Is z composite?
True
Suppose -54385 - 25156 = -7*j. Is j prime?
False
Let i(s) be the first derivative of -5/2*s**2 + 2/3*s**3 - 3 - 7*s. Is i(6) prime?
False
Is (6/(-10))/3 - 25230/(-25) a prime number?
True
Suppose -d - 2*o - 2 + 4 = 0, 3*o - 21 = 3*d. Let f be 2/((-2 - -1)/d). Suppose 0 = 4*t + f, -4*l + 6*t - 2*t + 372 = 0. Is l a prime number?
False
Suppose 2*q = -2*n - 3*q - 18, -3*n - 5*q = 37. Let m = n - -23. Suppose 0 = -m*i, 3*l + l - 2*i - 1484 = 0. Is l a prime number?
False
Let v = -1653 + 727. Let w = 1671 + v. Is w prime?
False
Let s(w) = -w**3 - 13*w**2 - 12*w + 14. Let x be s(-12). Suppose -5*k + x = 2*k. Suppose 684 = k*p - l, 3*p - 476 = 3*l + 553. Is p a prime number?
False
Let p(h) = 2*h**3 + 16*h**2 + 8*h - 9. Is p(4) a composite number?
True
Suppose -x + 6833 = -25814. Is x composite?
False
Let t(f) = -1248*f - 65. Is t(-4) composite?
True
Suppose 0 = -5*z - 0*z + 6110. Suppose 13*h - 10*h = 12. Suppose h*u - 6574 = z. Is u prime?
True
Suppose -3*x = 2 - 11. Let l be (1/(-2))/(x/6). Is 2/l - (2 - 91) a prime number?
False
Let g(m) = 2*m + 42. Let b be g(-18). Suppose b*f - 3*f = 2367. Is f a composite number?
True
Let d = -8330 - -13623. Is d a composite number?
True
Let m = 1321 + -470. Is m composite?
True
Let w = -351 + 1130. Let q be 2/3 - 40/(-12). Suppose -u - y = -216, 3*u - w = q*y - 166. Is u a prime number?
True
Let a be ((-32)/20)/((-2)/(-5)). Let t = 101 + a. Is t composite?
False
Suppose -c + 26647 = -5*i, -5*c = 3*i - 113459 - 19664. Is c a prime number?
True
Let f be 3 + 4/2 - 39849. Is 1/((-1)/f*4*1) a composite number?
True
Suppose -d + 15 = -r - 6*d, 4*r + 3*d - 25 = 0. Suppose 0 = -9*y + r*y - 1106. Suppose -y - 164 = -5*c. Is c a prime number?
False
Suppose 4*h = 4*r + 4, -3*r = 4*h - 0 + 10. Let j be (-362 - (-12)/(-4))*h. Let u = -216 + j. Is u a prime number?
True
Suppose -2*a = 2*c - 41324, -c + 4*c = 5*a + 61994. Is c composite?
False
Let f(y) = 7*y - 3. Let b be f(13). Let v be (-5)/((-5)/(-2)) - b. Let i = 205 + v. Is i a composite number?
True
Suppose 3*h + 5*g + 33 = h, 2*g = -5*h - 30. Is 346 + (2/h)/((-7)/14) prime?
True
Let l be -3*((-10)/(-12)*-62 - -3). Let u = l + 977. Is u composite?
False
Is -4*(-9)/(-9) - (-10844 + -1) prime?
False
Suppose 3*t - 3 - 12 = 0. Suppose -3*g + t - 2 = 0. Is (-543)/12*(g - 5) a prime number?
True
Let j(r) = -287*r + 203. Is j(-12) composite?
True
Suppose -2*y = -4*y + 10. Suppose 3*q - 3*u - 1170 = 0, y*u = -2*q - 2*q + 1605. Is q composite?
True
Let n = -5232 - -36701. Is n a prime number?
True
Let f = -158 - -55. Let l = f + 248. Is l composite?
True
Let f = -735 + 278. Let s be (-2)/4 - (-14)/(-4). Is (4/(s/f))/1 prime?
True
Let w be 0 - (4 + (-5 - 3)). Suppose -14 = w*t - 10. Is t/(-2) - 193/(-2) prime?
True
Suppose 0 = 56*i - 52*i + 4*m - 463304, 3*i = -m + 347472. Is i prime?
True
Let m(b) = b - 3*b + 380 - 2. Let d be m(0). Let u = 601 - d. Is u composite?
False
Let g be 64/36 - 2/(-9). Let z(k) = 4*k**2 + 2*k**3 - k - k**3 - 3*k**g + 198*k**3. Is z(1) a prime number?
True
Suppose 0 = -11*u + 4*u + 21. Suppose -u*o = y - 27 - 59, -3*y + 265 = 2*o. Is y a composite number?
False
Suppose -4*p - 7*r + 966 = -2*r, -3*r + 245 = p. Let t = 674 + p. Is t a composite number?
True
Let h be (-3 + (-34)/(-10))/(1/(-5)). Is 2791 + -13 + (h - 2/(-2)) composite?
False
Suppose 0 = 5*z - 49 - 21. Let f = -14 + z. Suppose -6*c + 9*c - 447 = f. Is c composite?
False
Let k be -1*(2 - (3 + -1)). Suppose k = -3*b + 3862 + 1049. Is b composite?
False
Let w(b) = b - 2. Let c be w(1). Let h = -1 + c. Let d(n) = -13*n**3 - n**2 + 2*n + 1. Is d(h) prime?
True
Suppose 293 = 4*l + 41. Let z = -37 + l. Is -3*5*z/(-6) a prime number?
False
Let h(t) be the first derivative of 0*t**3 + 3 + 1/4*t**4 + 447*t + 0*t**2. Is h(0) composite?
True
Let o = -154 + 154. Suppose -4*u + 5*u = -q + 2499, o = 2*q - 8. Is u composite?
True
Let c(t) = -t**3 + 10*t**2 + 37*t - 59. Is c(-28) a prime number?
True
Let w = -7509 - -10700. Is w a prime number?
True
Is -1 + 7/(14/72804) prime?
False
Is (14678/4 + (11 - 9))*2 a prime number?
False
Is 42/(-56) - (-154749)/12 prime?
False
Suppose 16*n = 11*n + 25, 0 = -3*d - 4*n + 80297. Is d a composite number?
False
Let l be (1244/(-10))/(((-30)/(-25