82 = 4*v - 2*f, 4*v + 6*f - 4*f - 78394 = 0. Is v composite?
False
Suppose 0 = -3*z - t + 15 - 4, 0 = z + 2*t - 7. Suppose -z*g + 6*g = 633. Is g prime?
True
Let k(v) = 2*v + 19. Let i be k(-7). Suppose 0 = x - 5*z - 1046, -3233 = -i*x - 5*z + 2087. Is x composite?
False
Let f(l) = -l + 8. Let c be f(4). Let w(j) = j + 1. Let n be w(c). Suppose -217 = -i - 0*q + 4*q, -n*i + 1101 = -4*q. Is i a prime number?
False
Let h(a) = -a + 1. Let z be h(-3). Suppose z = -5*k + 24, -4*p + 4*k = -4. Suppose -n + 3*i + 269 = n, -2*i = p*n - 701. Is n a composite number?
False
Suppose -5*z - 340016 = -21*z. Is z prime?
False
Suppose 0 = f + 2 + 3. Let q = f + 172. Suppose 4*l - 2373 = 5*c, 0 = -4*l + 2*c + 2525 - q. Is l a composite number?
False
Let j = 51 + -60. Let p(n) = 3*n**2 + 16*n + 24. Is p(j) a prime number?
False
Let n(o) = -o**3 + 7*o**2 + 8*o + 4. Let q be n(8). Let t(i) = -2*i**2 - 20*i - 11. Let v(x) = -x**2 - 13*x - 7. Let b(j) = -5*t(j) + 8*v(j). Is b(q) composite?
True
Suppose -107*h + 1501192 = -121035. Is h a composite number?
False
Let c(g) = 5*g**3 + 6*g**2 - 2*g - 10. Let t be c(5). Is -3*(4 - t/3) prime?
True
Is 19/(-133) + (-9760)/(-14) a composite number?
True
Let q(n) = 1 - 6 + 97*n - 19*n + 81*n. Let j be q(9). Suppose -d + j = d. Is d composite?
True
Suppose 28 = -2*l - 4*o, 2*l - 7 = 3*l - 5*o. Let r = l + 20. Suppose 0 = r*h - 138 - 814. Is h prime?
False
Let t be ((-3)/6)/(3/(-18)). Suppose -o - 4*o + 44 = -4*b, t*b - 12 = 0. Is 3194/22 + o/(-66) a prime number?
False
Suppose 0 = -4*g - 354 + 12598. Is g prime?
True
Let a be ((-2)/2)/(-1)*4. Let j = -136 + 247. Suppose 463 = 5*y + 2*p, -y - a*p = p - j. Is y a prime number?
False
Let g = -40829 + 112530. Is g a composite number?
True
Let p(l) be the third derivative of l**5/30 + 37*l**4/24 - 13*l**3/2 + l**2 - 2*l. Is p(-22) a composite number?
True
Suppose 3*h + 4*j = 32119, -15*h + 17*h - 21426 = 4*j. Is h a prime number?
True
Let s = -96 + 95. Is 1070 + (8/s - -5) a composite number?
True
Suppose 0 = 7*z - 10*z + 21. Suppose 3*j = z + 8330. Is j a prime number?
False
Let s(g) = -118*g - 131. Is s(-10) a prime number?
True
Let r be (-126)/(-36)*2*-1. Let g(d) = -d**2 - 8*d - 3. Let s be g(r). Is s/((-8)/(-102)) - -2 a prime number?
True
Let l be 0*3/(-9) + -7. Let k = l - -13. Suppose -k*s = -s - 1285. Is s prime?
True
Let o(f) be the first derivative of 550*f**2 - f - 18. Is o(1) a composite number?
True
Let k = -31012 + 63645. Is k prime?
True
Suppose 0 = 21*f - 25*f + 12572. Is f a prime number?
False
Let m be 106/8 - (-24)/32. Let q(h) = -h**2 + 14*h + 14. Let k be q(m). Is (k/(-4))/((-2)/68) a prime number?
False
Let r(a) be the first derivative of -57*a**2/2 - 46*a - 22. Is r(-7) composite?
False
Let g(c) = 2*c**3 - 11*c**2 + 6*c + 11. Let l be 2/((-24)/(-87)) - (-9)/12. Is g(l) prime?
True
Let m(p) = p**3 + 31*p**2 + 40*p + 71. Is m(-26) composite?
False
Is (6 + 4/((-4)/5))*1477 prime?
False
Let q be (-4 + (-30)/4)*-2. Let u = -19 + q. Suppose 3*p - u*x = 841, -4*p - 2*x - 3*x = -1173. Is p composite?
True
Is 18656/6 - 100/300 a prime number?
True
Is (-1270)/(-6) - 12/18 a composite number?
False
Let h(s) = s**2 - 3*s - 11. Let m be h(9). Suppose 4*z = -4, 0 = 3*b + z - m + 971. Let i = b - -520. Is i a prime number?
True
Let p(u) = -4*u**3 + 11*u**2 - 26. Let v(q) = -9*q**3 + 22*q**2 + q - 52. Let j(n) = -5*p(n) + 2*v(n). Is j(11) a composite number?
True
Suppose 0 = 11*t + 27 + 105. Let p(l) = -l**3 + 0*l**3 + 3 - 11*l**2 + 12*l + 7. Is p(t) a composite number?
True
Let g be (-18)/(-24)*(-16)/(-4). Suppose -n - 2284 = g*h - 4*h, 5*n - 15 = 0. Is h composite?
False
Is -2 + (10 + (-30)/5 - -17145) composite?
True
Let u = 2 - 12. Let z = 16 + u. Suppose z*b + 97 - 373 = 0. Is b a prime number?
False
Suppose -4*l + 22 + 0 = 3*y, -26 = -3*y - 5*l. Suppose -y*v + 1090 = -298. Is v composite?
True
Let g(k) = -9*k - 2. Let i be (-24)/(-18) - 2/(-3). Suppose 4*o = -5*h - 5, 5*h = 3*o + i*o - 50. Is g(h) a composite number?
False
Let j be 49/10 - 3/(-30). Suppose -2 = -q, -j*n + 4845 = q - 3952. Is n composite?
False
Suppose -20*g + 26*g = 42468. Is g prime?
False
Let l(s) = 7150*s**3 + 3*s**2 - 5*s + 3. Is l(1) a prime number?
True
Let v be 0/1 - 4*6/(-12). Is v + (-4)/(-10) + (-39)/(-65) prime?
True
Let c(d) = 8*d**2 + 9*d + 11. Let v(f) = f**2 + f + 1. Let l(z) = c(z) - 3*v(z). Suppose 22 + 11 = -4*a - g, -5 = g. Is l(a) composite?
False
Let g(d) = 7*d**3 - 10*d**2 + 7*d - 25. Is g(14) prime?
True
Let n(q) = -188*q**3 + 4*q**2 + q. Is n(-1) a prime number?
True
Suppose -x = -w - 2*x + 6852, -w = -5*x - 6882. Is w a composite number?
False
Let y(u) = 7*u - 7. Let l be y(-5). Let f = 143 - l. Is f a composite number?
True
Suppose -32 = -6*p + 5*p. Suppose -27*k + p*k = 6595. Is k a prime number?
True
Let o = 37 + -27. Let r be 0 + 3 + o/1. Suppose 2*z = 105 + r. Is z composite?
False
Let g(m) = 37*m - 10. Suppose -26 = -5*q + 3*q. Let k be g(q). Suppose 2*w = k + 539. Is w composite?
True
Let v(o) be the first derivative of 4*o**3 + 3*o**2 + o - 5. Is v(-8) a prime number?
False
Is ((16869/12)/(-1))/((-2)/8) a prime number?
True
Suppose 3*y + 3*r - 157890 = 0, -8 + 20 = 4*r. Is y a composite number?
False
Let z be 32/2*(1 - 26/4). Let w = z + 145. Is w prime?
False
Is 16563/4 - 7/(-28) a composite number?
True
Let g(j) = 98*j - 5. Let n(d) = 393*d - 19. Let c(x) = -9*g(x) + 2*n(x). Let r(y) = 3*y + 6. Let l be r(-4). Is c(l) prime?
False
Let z(y) = -2299*y - 2. Let k be z(-1). Let b = k - 1312. Is b a prime number?
False
Suppose 0 = 2*x - 6*q + 4*q - 69334, x + 4*q - 34667 = 0. Is x a composite number?
False
Suppose 0 = 4*r + 4*p + p - 2356, 3*p + 12 = 0. Let d(h) = h + 1. Let w be d(1). Suppose -3*u + r = -3*i - 0*i, 0 = -w*u + 4*i + 394. Is u a prime number?
True
Suppose 3*x - 4*x = 17. Let a = 274 + x. Is a composite?
False
Suppose 35 = -8*q + 13*q. Suppose -350 = -21*l + q*l. Is l prime?
False
Let c(b) = 3*b**2 - 2*b - b**2 - 15 - 9*b**2. Let w(y) = -7*y**2 - 2*y - 14. Let q(g) = 5*c(g) - 6*w(g). Is q(-6) composite?
True
Let n = 18744 - 10433. Is n a prime number?
True
Let c(i) = -2*i + 16. Let g be c(10). Let a be 2 + 16/g + 6. Suppose 0*w + 3*p - 1639 = -a*w, 2*w - 2*p = 816. Is w composite?
False
Let k be (3 - 17)/(-2) - -3. Let u = 14 - k. Suppose u*j = -j + 35. Is j composite?
False
Suppose 2*a + 232175 = 5*b, 12*b - 16*b = -2*a - 185742. Is b a composite number?
True
Suppose 0*k = 2*k - 148. Let a = 187 - k. Is a composite?
False
Let o = 313 - -426. Let i = -358 + o. Is i a prime number?
False
Let v(i) = 151*i**2 - 133*i + 1. Is v(7) a prime number?
True
Let p be -4 - (-2 + (-1 - 15)). Suppose p + 65 = c. Is c a composite number?
False
Suppose 4*r - 4*q + 6632 = 8*r, -5*r = q - 8302. Is r a prime number?
False
Suppose -3*w = 3*v - 9996, -18*v = -21*v - 5*w + 9986. Is v prime?
False
Suppose -3*h = -4 + 1, 4*h = 2*n - 5104. Is n a prime number?
False
Suppose 3*j = g, -5*g = j - g. Suppose -3*a + 22 = x + x, j = -3*x + 5*a - 5. Suppose 0*h + 5*h = 4*m - 2212, -x*m = h - 2765. Is m a composite number?
True
Suppose 0 = o + 2*r - 8993, 73*r - 72*r = -o + 8995. Is o prime?
False
Suppose 3*q = -0*q. Suppose 2*d - 2015 - 1547 = q. Is d a prime number?
False
Suppose 62929 = 2*c + 3*y, -5*c + 53894 + 103454 = -y. Is c prime?
True
Is ((-1998)/(-72))/((-6)/(-8)) prime?
True
Let k = 14 + -12. Is ((-222)/6)/(k/(-76)*2) a composite number?
True
Let g be 1/4 - (30/24 - 0). Is g/(2/(-2722))*5 composite?
True
Let u = 186 + 2555. Is u composite?
False
Let k = 6 - -38. Let c = k - 104. Let d = c + 139. Is d a composite number?
False
Let w(u) = -3*u + 3. Let c be w(1). Suppose c = -2*f + t + 2761, -6*f = -f - 5*t - 6910. Is f composite?
True
Let p be (1 - 1)*(-6)/18. Suppose p = -3*j - 5*r - 10 + 1517, r + 2549 = 5*j. Is j composite?
False
Let v(q) = 2*q**2 - 12*q. Let g be v(6). Suppose g = -5*w + 1186 + 1599. Is w prime?
True
Suppose 4*t - 2297 = 1299. Is t prime?
False
Let b(c) = -c**3 - 8*c**2 - 13*c - 2. Suppose 2*l + 0 = -3*q - 6, 4*l + 34 = 5*q. Let j be b(l). Let u(h) = 198*h - 5. Is u(j) prime?
True
Let s = 30 + -28. Suppose 5*u = 4*o + 6805, -u + 6805 = 4*u + s*o. Is u composite?
False
Let r(a) = -a**2 - 9*a - 16. Let k be r(-7). Let y = 7 + k. Suppose -y*h - 637 = -5*n +