*q + m + 17 = 5*u, -5*q = 4*u - 33. Is u prime?
True
Let v be ((-2)/3)/((-14)/(-651)). Let t = v + 110. Is t composite?
False
Let m(s) = 4*s**2 + 2 - 2*s**2 + 4*s - s. Let r be m(-3). Let c = r - -2. Is c a prime number?
True
Let p be 9/4*(-56)/3. Let j = 73 + p. Suppose 0 = -2*z + z + j. Is z prime?
True
Let t = 3 + -1. Suppose -t*v - 35 = -229. Is v a composite number?
False
Let f(o) = -o**3 + 15*o**2. Let n be f(15). Let g be ((-2)/(-4))/(1/8). Suppose n*k - 349 = -g*c - k, 4*c - 344 = 4*k. Is c composite?
True
Suppose 0 = -l, -3*o + l + 120 = 6*l. Is (-9)/(-3) + o + 0 a prime number?
True
Let j(s) = 28*s - 3. Let z = 4 + -2. Suppose -3*t + z = -4. Is j(t) prime?
True
Let g(l) = l**2 + 10*l + 9. Let o be g(-9). Let s(f) = f**2 + f - 1. Let p be s(o). Is (-85)/p - (3 - 3) a composite number?
True
Let i = -122 + 269. Suppose -3*h + 5*c = -i, 5*h - 181 = -5*c + 64. Is h a prime number?
False
Let c(n) = -n**3 - 10*n**2 + 11*n + 14. Is c(-11) a composite number?
True
Let n = -10 - -6. Let t be 5*(7 + 2)*-1. Is (-2)/((-24)/t)*n composite?
True
Let f be 3/12 - (-38)/8. Suppose 4*w = 1 - f. Let t(y) = 52*y**2 - y. Is t(w) composite?
False
Let v = -5 + -2. Let x(y) = -54*y - 5. Is x(v) a composite number?
False
Let a(c) = -5*c**2 + 9*c - 3. Let w(j) = -j**2 - j + 1. Let f(t) = -a(t) - 6*w(t). Suppose 3*x = -k - 2, 5*k - 3*x - 2*x = -10. Is f(k) prime?
True
Let p be (1 - 0)*1 - -8. Let d be 1 - -7 - (-15)/(-5). Let b = d + p. Is b prime?
False
Let j(y) = y**3 + y**2 + 249. Is j(0) composite?
True
Is 957/2*10/15 a composite number?
True
Let u(v) = -3*v. Let r be u(1). Is (r/(-6))/(1/154) prime?
False
Let c(y) = -y**2 + 4*y + 1. Let f be c(4). Is (-53)/(f/(-1) - 0) a prime number?
True
Is -3 + ((0 + 0)/2 - -330) composite?
True
Let i(m) = -m**2 - 9*m + 13. Let l be i(-10). Suppose -4*c + o + 80 = -l*o, 5*c - 127 = -4*o. Is c composite?
False
Let n(i) = i**2 + 5*i + 4. Let j be n(-5). Let v(r) = -r**2 + 10*r + 2. Let f be v(10). Suppose -2*c + 95 = j*b + 3*c, 0 = -f*b + 2*c + 52. Is b a prime number?
False
Let i = -93 + 140. Suppose 2*f - i = 59. Is f a composite number?
False
Let o(m) = m**2 - 6. Let v be -3*20/12*-1. Is o(v) composite?
False
Let m(f) = 2*f - 6. Let a be m(4). Suppose 2*o + 324 = a*r, 453 = 5*r - 2*o - 348. Is r composite?
True
Is (-1080)/(-12) + (-1 - 0) prime?
True
Let f be (0 + 0)*3/(-6). Let y(k) = k**3 - k**2 + k + 23. Is y(f) a prime number?
True
Let n(k) = -k**3 + 6*k - 4. Let y be n(4). Suppose 107 = 3*g - 136. Let u = y + g. Is u a prime number?
True
Let q = -7 + 9. Let n be 2/q + (-3 - -6). Suppose n*a + a = 925. Is a a composite number?
True
Let n be (-22 + 2)/2 - 0. Let y be 3*(n/(-3))/1. Suppose y = 3*z - 8. Is z composite?
True
Let j = -26 - -28. Let m be ((-719)/(-4))/(2/8). Suppose -2*d + 151 = -p + j*p, 5*p + d - m = 0. Is p composite?
True
Let z(o) = -o**2 - 4*o - 1. Let n be z(-3). Suppose -n*a + k + 1400 = 0, 2*k + k = 4*a - 2802. Is a prime?
False
Suppose -5*c - 44 + 184 = 0. Suppose -c = -2*i + 16. Is i prime?
False
Let y(h) = -4*h**2 - 13*h - 6. Let i be y(10). Let k = i + 1213. Is k a composite number?
False
Is 106/22*133 - 6/(-33) a prime number?
True
Suppose -4*n - 4 - 12 = 0. Let s = 6 + n. Suppose l - 15 = 3*y - s*y, -56 = -4*l + 5*y. Is l composite?
False
Let q(l) be the second derivative of -7*l**3/3 - l**2/2 - 8*l. Let c be (-10)/14 - (-2)/(-7). Is q(c) composite?
False
Suppose p - i + 88 = 0, 0*p - 4*p - 316 = 5*i. Is (-1517)/(-7) + (-24)/p a composite number?
True
Let x = 8262 - 4609. Is x a composite number?
True
Let w(k) = k**2 - 4*k + 1. Let c be w(8). Is c/((-2)/(-2)) - 2 prime?
True
Let r(z) = -2*z**3 - 8*z**2 - z + 5. Let o be r(-6). Suppose 0*m - 5*m = -o. Is m prime?
True
Let a(g) = -g**3 - 10*g**2 - 10*g - 12. Let k be a(-8). Is (k/(-18))/((-6)/(-117)) a composite number?
True
Suppose 0 = 4*n - 3 - 5. Is 22 + (0 - 0)/n a composite number?
True
Let w = 0 - -3. Suppose z + 8 = -w*z. Is (1 - -3)*(-3)/z a composite number?
True
Let l(d) be the second derivative of -d**3/3 - d**2 + 3*d. Let m be l(-2). Is 1*(11 - m) - 2 prime?
True
Let y = 573 - -76. Is y a composite number?
True
Let b(d) be the third derivative of 9*d**4/8 - 5*d**3/3 - 2*d**2. Is b(7) prime?
True
Let k be -3 - (0 + (2 - 3)). Is k/(3 - (-123)/(-39)) a prime number?
True
Suppose 4*w + 3*c - 511 = 0, 3*w - 4*w = 5*c - 132. Is w a composite number?
False
Let a = 2 + 2. Is -2 + (-4)/(a/(-223)) composite?
True
Let s(p) = 2*p + 2. Let v be s(-1). Suppose v*h + h - 307 = 0. Is h a composite number?
False
Let b(f) = 13*f. Let j be b(-1). Let p = -8 - j. Suppose 3*k - k + 4 = 0, -p*r + 189 = -2*k. Is r a composite number?
False
Suppose 5*w = 2*w + 12. Let g(u) = 55*u + 1. Let h be g(w). Suppose -1 - 3 = 4*i, 4*d = i + h. Is d a prime number?
False
Suppose 4*k - 10 = 6. Suppose 0 = -k*g + w + 592, 6*w = 2*g + 3*w - 296. Suppose 6*s - 2*s = g. Is s composite?
False
Let i(f) = -18*f + 65. Is i(-5) a prime number?
False
Let v(y) = 25*y**2 - 26*y - 4. Is v(-11) a composite number?
False
Let y(r) = -r**2 + 2*r - 1. Let k be y(5). Let s = 6 + k. Let x(b) = -3*b + 7. Is x(s) a prime number?
True
Suppose -3*x + 15 = 0, -5*j + x - 4*x + 9710 = 0. Is j composite?
True
Let c(a) = -108*a**3 - 5*a**2 - 3*a + 3. Is c(-2) a prime number?
True
Suppose -4*t - x = -8*t + 5, 2*x = 4*t - 2. Let g = 1 + t. Suppose 6*n = g*n + 231. Is n composite?
True
Suppose 2*d + 0*d = 38. Suppose 4*i - d = -x, 0*x - x - 5 = 0. Is i composite?
True
Let g = 220 - 91. Suppose -m + 5*m = 2*k + 148, 3*m + 3*k = g. Is m prime?
False
Suppose 0 = 3*f - 836 + 233. Is f a composite number?
True
Let z(o) = 8*o + 7. Is z(9) a prime number?
True
Let h(c) = 79*c - 16. Is h(7) a composite number?
True
Let v(n) be the third derivative of n**5/60 + n**4/8 + n**3/6 - 3*n**2. Is v(6) a prime number?
False
Suppose 0*x = 2*x + 80. Suppose 6*u - 677 = u - 2*y, 0 = -5*u - 3*y + 678. Let p = x + u. Is p a prime number?
False
Let l(c) = 3*c - 4. Let u(h) = -3*h + 4. Let k(y) = 3*l(y) + 4*u(y). Let d be k(-6). Suppose 0 = -0*z + 2*z - d. Is z composite?
False
Let x(i) = i**2 + 10*i - 11. Let c be x(-11). Suppose c = 5*w - y - 413, 0 = 2*w + 2*y + 13 - 183. Is w composite?
False
Let d(y) = y**2 + y. Let n(o) be the second derivative of 5*o**4/3 - o**3/3 - o**2/2 - o. Let x(w) = 3*d(w) + n(w). Is x(-2) composite?
False
Let t = -89 - -182. Suppose 0 = 2*i + 3*i - 130. Suppose -t = -r - i. Is r a composite number?
False
Let b be (-4)/(-1)*(-6)/(-1). Suppose 0*q = -4*q - b. Is q/(-9) + 139/3 composite?
False
Suppose 2*b = -3*g, 5*g - 7*b + 2*b = 0. Suppose -j - 5*i = -20 - 20, g = 2*j + i - 107. Let y = -21 + j. Is y composite?
True
Is ((-2)/(-1))/(-1 + 3608/3592) composite?
False
Suppose -3*n + 894 = -n. Is n composite?
True
Suppose -42 = -x - 3*w + 139, 4*x - 724 = 2*w. Is x a prime number?
True
Let y = 19989 - 10246. Is y a composite number?
False
Suppose -56 - 19 = -5*w. Suppose -w = -3*d, -5*d - 79 = -5*q + 641. Is q a composite number?
False
Suppose 5*d + 2*s + 151 = 6576, -s = -3*d + 3844. Is d a composite number?
False
Let v be -2 + 9 + 0/2. Suppose 0 = -5*y + 22 - v. Is (2/(-2))/y*-69 composite?
False
Suppose -q - 709 = -3*m, 4*q - q = -4*m + 954. Is m prime?
False
Let l(u) = -5*u**2 - 3*u + 4. Let y be l(-3). Let z = -22 - y. Is z a prime number?
False
Suppose -k - 4*z - 12 = -z, 2*z = k - 13. Suppose 4*b = -5*h - 2, -h = 2*b - k + 1. Is 83 + (1 - (3 - b)) composite?
False
Suppose 4*r = 41 + 183. Suppose -q = 3*q - r. Is q prime?
False
Let q(w) = -w**3 + 5*w**2 + 8*w - 9. Let m be q(6). Let x(i) be the first derivative of 5*i**2/2 + 4. Is x(m) a prime number?
False
Let a(s) = 901*s + 29. Is a(5) a composite number?
True
Let f be 3 - 334 - 0/(-2). Let a = -74 - f. Is a prime?
True
Let b(i) = 601*i + 4. Is b(3) composite?
True
Let j(h) = h - 3. Let d(w) = -w. Let m(u) = -d(u) + j(u). Let v be m(4). Suppose 316 = -z + v*z. Is z a composite number?
False
Let i = 7 + -2. Suppose i*d + 135 - 324 = -2*f, 3*d = -f + 94. Is f a composite number?
False
Let l = 6 - -76. Suppose 3*x + 3*q - l = 152, -5*q - 149 = -2*x. Is x a prime number?
False
Suppose 2*m - i = -2 + 1, -2*m = 3*i - 3. Is m + -1 + -1 + 267 a prime number?
False
Let o = -26 + 40. Suppose 5*q = -a + 117, 5*q - 4 + o = 0. Is a composite?
Fa