 Is o composite?
True
Suppose -2*u + 2*c + 65738 = 0, 9*u = 7*u - 5*c + 65738. Is u composite?
False
Let o(n) = 40*n**2 + 2*n - 7. Let a be o(-5). Let b = a + -690. Is b composite?
False
Let m be -4 + ((-10090)/15)/(4/6). Let x = 4062 + m. Is x prime?
True
Let b = -12150 + 19149. Is b composite?
True
Let i(r) = 3*r**3 + 16*r**2 - 8*r + 34. Let p be i(13). Let x = p + -3922. Is x prime?
True
Let f(p) = -21*p**2 - 4*p + p**3 + 32*p**2 - p - 9. Is f(-10) composite?
True
Let g(y) = -y**2 + 11*y - 4. Let j be g(8). Suppose -3*z + a = -20, 4 = -4*z + 4*a + j. Let r = 11 - z. Is r a composite number?
False
Let i(m) = 493*m**2 - 4*m + 6. Let f be i(4). Suppose 3*w = 6*w - f. Suppose 4*t + w = 6950. Is t prime?
False
Suppose 2*v = -5*o + 22, -5*v = -3*o + 3 + 4. Is 455 + 2/(-1) + v composite?
True
Suppose 2*s = -3*o + 61, -2 - 22 = -o + 3*s. Suppose 4*d - o - 7 = 0. Is d a composite number?
False
Let n = -22 + 26. Let t(y) = 4*y**3 - 3*y**2 - 6*y + 1. Is t(n) a composite number?
True
Suppose 25888 = 2*p - 5*i, 4*p = -2*i + 18692 + 33108. Is p a composite number?
True
Let p = 617 + -1531. Let y = p - -1455. Is y a composite number?
False
Let l(t) = 49*t + 4. Let y be l(14). Let r = 2555 - y. Is r prime?
False
Suppose x - 7232 + 81 = 0. Is x prime?
True
Let t = 156 - 157. Let a = -29 + 42. Is (694 - a) + -1 + t prime?
False
Is 1498/(1 + 1 - 0) composite?
True
Suppose -3*u + 0*z = -5*z - 58343, 0 = u + 2*z - 19433. Is u composite?
False
Let r = -79435 + 111966. Is r a composite number?
False
Let f = -146 - -243. Suppose c - 2*s + 108 = -f, -s = c + 211. Let b = c + 444. Is b a prime number?
False
Let a = -159 + 283. Let w = a - -79. Is w a prime number?
False
Let b(i) = 16519*i - 289. Is b(2) composite?
False
Suppose 15 = 69*i - 64*i. Suppose -4*w = -i*s - 7349, -2*w + 1836 = -w - s. Is w a prime number?
False
Let l(h) be the second derivative of 7*h**3 - 5*h**2/2 + h. Suppose -3*c - 9 + 36 = 0. Is l(c) prime?
True
Let c(p) be the first derivative of p**4 + p**2/2 - 2*p - 15. Is c(1) a composite number?
False
Let u = -1154 - -2499. Is u composite?
True
Is ((-1455014)/(-33))/((-4)/(-6)) a prime number?
True
Suppose 0 = -0*f + 4*f - 12. Is (17742/(-9))/((-44)/12 + f) a composite number?
False
Let d(q) = 228*q + 22. Let g(b) = -114*b - 11. Let c(v) = -3*d(v) - 5*g(v). Is c(-6) prime?
True
Let v(n) = -328*n - 19. Is v(-5) a prime number?
True
Suppose 0*i - 3*w = 5*i, 3*i + 2*w = 0. Suppose -186 = -i*j + 3*j. Let d = j - -115. Is d prime?
True
Let v be 9/((-932)/(-944) - 1). Let x = v - -1306. Let g = -385 + x. Is g a composite number?
True
Is 4/6 + 989230/66 - 6 prime?
True
Let q = -133 + 135. Suppose -2*o + z = 803, 5*o + 4*z + 125 + 1876 = 0. Is (o/(-4))/(q/8) prime?
True
Let j(t) = 20089*t**2 + 4*t + 3. Let o be j(-1). Suppose -9*z - 3951 + o = 0. Is z composite?
True
Suppose 3*h - 31465 = 2936. Is h composite?
False
Let i(l) be the third derivative of 47*l**4/24 + 11*l**3/2 - 18*l**2. Is i(14) composite?
False
Suppose 0 = -4*y + 2*d + 6877 + 6703, 4*y - 5*d = 13580. Suppose -10*r + 15*r - y = 0. Is r a composite number?
True
Let j(r) = 2*r**3 + 4*r**2 + 7*r - 3. Suppose 8*y - 21 = 19. Is j(y) composite?
True
Suppose -6*t + 9*t = 0. Is 317/2*(2 + t) a prime number?
True
Suppose j + 4*j = -11640. Let w = j - -5761. Let l = w + 226. Is l prime?
True
Let a(t) = 1635*t**2 + 8*t - 1. Is a(1) prime?
False
Let a(d) = 4*d - 1. Let x be a(-3). Let r = 6 + x. Is -44*1/(4/r) composite?
True
Let n(p) = -2*p**3 - 4*p**2 + 34*p - 17. Is n(-8) prime?
True
Let v(o) = -o**3 + 2*o**2 + 4*o + 4. Let j be v(-6). Suppose 11*z = 7*z + j. Is z prime?
True
Let m(l) = 140 - 15*l - 16*l**2 - 157 + 35*l + l**3. Let w(g) = g**3 - 16*g**2 + 20*g - 18. Let i(r) = 5*m(r) - 4*w(r). Is i(16) prime?
True
Let f(n) = n**2 - 16*n - 15. Let p be f(17). Is p/12 + 9925/30 prime?
True
Let k(q) = 5911*q + 571. Is k(6) a composite number?
False
Let z(y) = y**2 - 6*y - 11. Let m be z(8). Suppose -136 = -m*s + 19. Is s prime?
True
Suppose -11*s + 7784 = 1371. Is s a composite number?
True
Let s be (-58508)/(-10) + 2/10. Suppose 2*x + x = -t + s, 5*t - 9765 = -5*x. Is x a composite number?
False
Suppose 0 = 4*n - 3*j - 2240, -2*n - 3*j - 1126 = -4*n. Is n prime?
True
Suppose 474 = 6*t - 858. Let h = t + 117. Is h a composite number?
True
Let s = 386744 + -212523. Is s a prime number?
True
Let y(p) = -p + 20. Let f be y(-10). Is (-6)/((-36)/f) + 1394 a prime number?
True
Let q(i) = 13*i**3 - 2*i**2 - 5*i**3 + 1 - i - 7*i**3 - 3. Let x be q(3). Suppose d + x*d = 430. Is d composite?
True
Suppose 7*c = 12*c - 4*g - 89747, 3*c + 4*g - 53861 = 0. Is c composite?
True
Suppose 4*y = -y - 4*c - 91, y - 1 = 4*c. Let h = 51 - -165. Let z = y + h. Is z prime?
False
Let t(r) = -2 - 9 + 4*r - 2*r - 4*r. Let m be t(-8). Suppose -q - 4*q = v - 52, 0 = 5*q - m*v - 40. Is q composite?
True
Let p(d) = d + 10. Let w be p(-8). Suppose 5*h - w = -q, -3*h + 5*h - 2 = 0. Let s(f) = 22*f**2 - 2*f + 7. Is s(q) prime?
True
Let f be 4*((-1 - 24) + 1). Let r = 155 - f. Is r a composite number?
False
Is 5/3 - 7/(63/(-16122)) prime?
False
Is (12/20)/(5/70475) a prime number?
False
Is 11 - -4034 - (-4 + 0) prime?
True
Suppose -2*w = 21*w - 44183. Is w a composite number?
True
Let s = 5551 - -568. Is s a composite number?
True
Let h(w) = -9 - 13*w + 6 - w**2 + 8. Let g be h(-10). Let o = 274 + g. Is o a prime number?
False
Suppose 0 = 3*y + 5*g - 1829, 11*y = 13*y - 5*g - 1236. Is y prime?
True
Is 94822/6 - (-130)/(-78) prime?
False
Suppose 62*s - 53*s = 242127. Is s a composite number?
False
Let i = 14488 + -4331. Is i prime?
False
Suppose 15*r - 10*r + 875 = 0. Let c = 53 + r. Let l = c + 204. Is l a composite number?
True
Suppose 4*m - 8*m = -396. Suppose 100*q - m*q = 131. Is q prime?
True
Suppose -10 = -2*k + 20. Suppose 2*o - 7*o + k = 0. Suppose -2*d + 1325 = o*d. Is d a composite number?
True
Suppose -4*y = 5 - 17. Suppose 4*q - 4*j = 8752, y*q - j - 8746 = -q. Let a = -1485 + q. Is a a composite number?
False
Let i be 7 + -4 + 0 + 2. Suppose -x + 2*k + i = 1, -4*x - 2*k = 14. Is ((-43)/x)/(8/16) composite?
False
Suppose 2*l = -2222 + 850. Let m = -395 - l. Is m a prime number?
False
Let y(f) be the second derivative of f**3/3 - f**2 + f. Suppose s = -4*n + 37, n + 3*n - 47 = -3*s. Is y(n) composite?
True
Suppose 32*b = 51*b - 129219. Is b prime?
False
Is (-3)/2 + (-10)/(-80)*89668 a prime number?
False
Let k be ((-30)/(-25))/(9/60). Suppose k = -b + 91. Is b a prime number?
True
Suppose 5*w - i = 9142, 0 = -i - i - 4. Suppose 0*z = -5*z + 3*h + 2278, -h - w = -4*z. Let m = z - 247. Is m a prime number?
True
Let l(r) = 445*r**3 - 13*r**2 + 2*r - 3. Is l(4) a prime number?
True
Let p(b) = -10*b**2 + b + 1. Let n be p(-1). Let r be n + 8 - (0 + -154). Suppose -h = 33 - r. Is h a prime number?
False
Let t(l) = 28*l**2 - 13*l**2 - 7 + 2*l - 2 + 54*l**2. Is t(-4) composite?
False
Suppose -4*p - 3*k = -5, 11 + 4 = 5*k. Is 1*(p - -17 - 3) a composite number?
False
Let v be ((-18)/(-54))/(1/36). Is (-6236)/12*-2*v/8 composite?
False
Let o = 30975 + -14494. Is o prime?
True
Suppose l - 46 = -4*r + 11, 0 = -5*l - 15. Suppose b + r = 508. Is b a composite number?
True
Let z = 88 + -84. Suppose -3*o = 12, z*v - 17317 - 16643 = -o. Is v a prime number?
False
Let p(u) = 57*u**2 + 9*u + 13. Let n be 1/(-1 + 1 - (-4)/(-16)). Is p(n) prime?
False
Suppose z - 28 = -5*j, -z + 2*j = -0*z - 14. Let o be (8 - z)*1/(-2). Suppose -o*h = -t + 356, 2*h + 1478 = 3*t + t. Is t a prime number?
False
Is ((-3)/(-21) - 0) + 5220/14 composite?
False
Let z be 0 - (-2 - -6)/2. Let d be (z/5)/(8/(-2360)). Let c = 16 + d. Is c a prime number?
False
Let h(p) = 420*p**3 + 3*p**2 - 13*p + 13. Is h(2) prime?
True
Let g = 638 + -7. Is g prime?
True
Let n(h) = -7*h**2 - 3*h + 4. Let d be n(-5). Let q = d + 92. Is (q/(-4))/(-4) + 447 composite?
False
Let t = -82 - -81. Is t/(-4)*(-26372)/(-19) a prime number?
True
Let q be (-412)/(-6)*3/(-1). Let y = q + 316. Is y/4*4/5 a prime number?
False
Let t(j) = -5883*j**3 + 6*j**2 + 8*j - 1. Is t(-2) prime?
False
Let w(x) = x**3 + 11*x**2 + 2*x - 10. Let f = -19 + 11. Let s be w(f). Suppose -o + s = o. Is o prime?
True
Let p(k) = 36*k - 41. Let a be (-14)/(3/4 - (-44)/(-16)). Is p(a) a composite number?
False
Suppose 512*