s y composite?
False
Let y be 1/2 + (-729)/(-6). Let d = -55 + y. Is d a composite number?
False
Let w be 6 - (1 + (1 - 1)). Suppose -p + 13 + 7 = -w*s, -3*s = 4*p - 149. Is p a composite number?
True
Let v(n) = -n**2 + 10*n - 8. Let m be v(9). Let q be (8 - 2) + (m - 3). Suppose 4*s + 3*u + 0*u = 493, -2*s + q*u = -230. Is s a prime number?
False
Let r(s) = 689*s - 5. Is r(2) a prime number?
True
Let m = -241 + 45. Let g = m - -1067. Is g prime?
False
Let h(m) = -17*m**3 - 5*m - 3. Is h(-2) prime?
False
Let m be 35 + -1 - 1/(-1). Let k = m + -15. Is -1 + 2 - k/(-1) a composite number?
True
Is (-2 - 0)/(4/(-5384)*4) prime?
True
Suppose j + 0*j + 4 = 0. Is j/(-5 - -3) - -53 a composite number?
True
Let s = 359 + -202. Is s composite?
False
Is 729 + (-2)/2 + -1 prime?
True
Is (-601)/(-9) + 2/9 a prime number?
True
Suppose -3*w = -c + 1782, 1238 = 4*c + 3*w - 5875. Is c a prime number?
False
Let z be 66/14 + 6/21. Suppose 0 = g - z*g. Suppose 0*h - h + 35 = g. Is h a prime number?
False
Let b be (4/(-10))/(20/(-50)). Suppose 1 = s - b. Is s a composite number?
False
Let d(z) be the first derivative of 24*z**2 + z + 2. Is d(2) prime?
True
Suppose f + 3*m - 16 = 2, 5*m = 20. Is 2/(4/f)*1 a prime number?
True
Let s(i) = 12*i**2 - 1. Let q be s(2). Let v = -16 + q. Is v composite?
False
Let j(l) = 50*l - 1. Let d be j(-4). Let r = -88 - d. Is r a prime number?
True
Suppose 5*z + 5*x = 20 - 0, -4*z = -3*x + 12. Suppose z = 3*l - 812 + 203. Is l composite?
True
Let u be 4/8 + (-11)/(-2). Let b(j) = 2*j**3 - 9*j**2 + 2*j - 7. Is b(u) prime?
True
Let z be (-2)/6 - 6080/(-24). Is z - ((2 - 0) + 0) composite?
False
Let n(k) = 1637*k**2 - 3*k - 3. Is n(-1) composite?
False
Let n(u) = -u**2 - 3*u + 7. Let z be n(-5). Is 254*((-5)/2 - z) prime?
True
Let v(w) = -w**2 + 5*w. Let l be v(4). Suppose -4*f + 4*o = -o, 0 = -2*f + l*o. Suppose f*z = 2*z - 178. Is z prime?
True
Let s = 13 + -18. Is (6/s)/((-2)/5) composite?
False
Let s(j) = -2*j**3 + 5*j**2 + 7*j - 6. Let y be s(-7). Is 5/(-15) - y/(-9) composite?
False
Suppose 3635 + 7417 = 12*i. Is i a prime number?
False
Let x be (1/(-1))/(1/(-34)). Let r = x - 15. Is r a prime number?
True
Let h(a) = 5*a**2 + 191*a**3 - 6*a**2 + 2*a - 1 - 64*a**3. Is h(1) a prime number?
True
Suppose 0 = -2*p - 0*p - 50. Let b = p - -46. Is b prime?
False
Suppose 16 = 3*j - k + 3*k, 4*k = 20. Let i be (-14)/j + 3 + -1. Let f(t) = -5*t. Is f(i) composite?
True
Is 2 + 1894/1 + -1 a composite number?
True
Is (452/6)/(12/54) a prime number?
False
Suppose 5*l - 626 = -3*z, z = -2*z + 2*l + 640. Suppose -z = 3*g - 7*g. Is g a composite number?
False
Let v be -1*(-1 - (-82 + 4)). Is 33/v - (-482)/14 composite?
True
Suppose 0 = j - 7 - 3. Let y(v) = 1 - 3 + 2 + 1 - j*v. Is y(-3) a composite number?
False
Suppose 5*y - 30 = 5*j, 0 = -2*j + 2*y - 3*y - 24. Is (-640)/(-14) + j/(-35) a composite number?
True
Let i be 1/2 - (-7)/2. Let n = -6 + 8. Suppose n*z - 5*z + 762 = -3*k, -i*z = 2*k - 1046. Is z prime?
False
Is (-8)/6 + 76999/39 a prime number?
True
Suppose -4*s + 4*d = 0, 4*s - 4 = -d + 11. Let l(y) = -3*y + 0*y - 2*y**3 - 5*y**2 + 0*y**2 + s. Is l(-3) a composite number?
True
Let j = 825 + -455. Suppose -5*v + 370 = -3*u - 0*u, 0 = 5*v + 5*u - j. Is v*-1*4/(-8) a composite number?
False
Suppose 2*i + i - 21 = 0. Suppose 62 = -i*p + 9*p. Is p composite?
False
Suppose 0 = -4*h + 6*h. Suppose -5*u = -h*u. Suppose -4*k = o - 0*k - 79, -5*o - 5*k + 350 = u. Is o composite?
False
Suppose -17*c = -14697 + 2474. Is c composite?
False
Let i(r) = -r**2 - 5*r - 3. Let v be i(-4). Let b be 1 - (7 - (-2)/v). Let w(c) = -11*c - 5. Is w(b) a composite number?
False
Suppose 2*m - 3309 = -2*k + 7*m, -3*k + 4*m + 4967 = 0. Is k composite?
False
Let d(u) = -u**3 + 6*u**2 + 7*u + 5. Let g(m) = m + 7. Let r be g(0). Let k be d(r). Suppose 0 = k*j - 4*j - 11. Is j composite?
False
Let s(c) = -163*c**2 + 5*c - 5. Let t(h) = 82*h**2 - 3*h + 3. Let y(x) = -3*s(x) - 5*t(x). Is y(1) prime?
True
Let w be 0*(-2 + 6/4). Suppose 2*v - 7*v + 65 = w. Is v a prime number?
True
Let q(d) be the first derivative of -19*d**2/2 - 2. Let s be q(-3). Suppose -5*k + 188 = -s. Is k a composite number?
True
Let k be -1*2 + (-2 - -11). Let f = k - 5. Let t(c) = 18*c + 1. Is t(f) a composite number?
False
Let z = 659 + 438. Is z a composite number?
False
Let f be (-2)/4 - 27/6. Let m = -4 + 7. Is f/(-15)*83*m a composite number?
False
Let h = -8 + 4. Let v be 2/(-4) - (-2)/h. Is 2*(v/(-2) - -1) prime?
True
Let a(g) be the second derivative of 3*g**4/2 + g**3/3 + g**2/2 - 9*g. Is a(-2) prime?
False
Let x be 54/10 + 2/(-5). Let t be ((-1)/(-2))/(x/50). Is (0 - (-42)/15)*t a prime number?
False
Let o(u) = 12*u - 1. Is o(1) a prime number?
True
Let a = 1512 - 652. Suppose -6 - 29 = -z. Suppose -5*f + a = -z. Is f a prime number?
True
Let c(p) = 79*p - 1. Let s be c(8). Suppose 5*i + 10*w = 5*w + 770, -4*i + w = -s. Is i a composite number?
False
Let q(j) = j - 18. Let c be q(20). Let v be (-20)/(1 - 6/4). Suppose c*s - 190 = v. Is s a prime number?
False
Let c(u) = -u**3 + 21*u**2 - 19*u + 17. Is c(18) composite?
False
Let s(n) = n**2 + 3*n + 4. Let m be s(-3). Suppose -3 = -m*i - 3*w + 4, 5*i + 3*w - 5 = 0. Let h(j) = -j**3 + j**2 + 3*j + 1. Is h(i) a prime number?
True
Suppose 5*f + 190 = 4*j + j, -f = -5*j + 42. Let p = -14 - f. Suppose -6 = 3*k, 4*n + p = 5*k + 89. Is n a prime number?
False
Let j(y) = -18*y**3 - 5*y**2 - 3*y - 5. Let p be j(-4). Suppose 4*l = -2*o + 5*o - p, 4*l = 2*o - 726. Is o a prime number?
True
Let s(b) = -b**2 + 695. Is s(0) a composite number?
True
Suppose 4 = 3*x - x. Let r = x + -4. Is 107/7 - r/(-7) prime?
False
Let a(w) = 6*w + 1981. Is a(0) prime?
False
Is 21750/24 + 7 + (-2)/8 prime?
False
Suppose -4*k + 17 = -3, 3*m + k = 17576. Is m composite?
False
Let j(o) = -o**3 + 8*o**2 - 3*o - 3. Let s(p) = p**3 - 3*p**2 - 4*p + 6. Let m be s(4). Is j(m) a prime number?
False
Is (2*14913/(-54))/(1/(-3)) composite?
False
Let u(y) = 11*y**2 - 10*y + 7. Is u(12) a composite number?
False
Is 76*(4 - (-18)/(-8)) composite?
True
Suppose 1 = n - 1. Suppose -n*o - 15 = -125. Is o a composite number?
True
Let p(d) = -d**3 + 6*d**2 + 7. Let k be p(6). Suppose -4*x + 6 = -k*x. Is x/3 - (-130)/6 a prime number?
False
Suppose m + 4*f - 194 = 0, 0 = m + 2*f - 67 - 119. Is m prime?
False
Suppose -2*m + 66 + 8 = 0. Is m a composite number?
False
Suppose -4*d + 3*d - v = -59, -3*v = -3. Is d composite?
True
Let s(o) = -12*o + 1. Suppose 13 = -4*p - 3. Is s(p) a prime number?
False
Is 6/2 - -356 - 1 prime?
False
Suppose -16 = -z + 5*m, z + m = -0*z + 16. Suppose -12 = 2*a - 4*w, -2*w = 2*w - z. Is (-9)/a*(-2)/3 prime?
True
Let i be -43*23/(3 - 4). Suppose 3*f + 83 = i. Is f composite?
True
Let f(c) = -9*c + 4. Let q be (6 - -2)/(-2) - -2. Is f(q) composite?
True
Suppose -9 = 3*h + 3*j, -2*h - 3*j - 12 = 2*h. Let t be h - (1 - 162 - -3). Let o = t + -66. Is o composite?
False
Suppose 4*a - 24 = 12. Suppose -25 = 4*x - a*x. Suppose -565 = -x*j + q, 0 = -0*j - 5*j - q + 565. Is j composite?
False
Let g(r) be the first derivative of 15*r**2 + r + 3. Is g(3) a composite number?
True
Let u = -3 + 3. Let x(z) = z**3 - z**2 + 413. Is x(u) a prime number?
False
Is (13 - 12)*23*7 a prime number?
False
Let l be (-205)/(-7) + 4/(-14). Let n be (-3)/1*l/3. Let j = 44 + n. Is j a prime number?
False
Suppose 0 = j + 3*m - 4, 4*j - 5*j = -4*m + 24. Let c(f) = 15*f. Let y be c(-1). Let p = j - y. Is p a composite number?
False
Let z(m) = 23*m**2 - 3*m + 1. Is z(2) prime?
False
Suppose -2*h + 174 = i - h, -h - 360 = -2*i. Is i prime?
False
Let g(k) = 44*k + 7. Is g(3) a composite number?
False
Suppose -p - 5*n = -88, 5*p = 3*p + 2*n + 224. Suppose 28 = 4*s - p. Let g = 47 - s. Is g prime?
True
Suppose c - 27 = 24. Suppose d + 2*p - c = 0, 0 = 4*p - 6*p + 2. Is d a composite number?
True
Suppose -5*x = v + 1 - 7, 0 = 5*v + 5*x - 10. Let i be 1/v - (-160 + 0). Suppose -4*c = -i + 13. Is c a prime number?
True
Let i(m) = -m**3 + 6*m**2 + 7*m - 2. Let o be i(6). Let t be o + 2/2*0. Let f = t - 21. Is f a composite number?
False
Let v = -19 - -31. Let u = v + 41. Is u prime?
True
Suppose -7*a + 6 = -4*a. Let q(w) = 49*w**2 - 2*w - 1. Is q(a) composite?
False
Suppose -5*r - c + 1836 - 250 = 0,