168/(-16). Suppose 0 = 3*j + 201 - p. Is j a composite number?
True
Suppose -731 = -3*c - 2*y + 198, 2*y - 2 = 0. Suppose 0 = 3*l - c - 72. Is l prime?
True
Let d = 10 + -7. Suppose 7*h = d*h - 308. Is 1 - (-2 - -1) - h prime?
True
Let w = -280 - -825. Is w composite?
True
Suppose 0 = -b + 2*s - 17 + 166, -3*s + 447 = 3*b. Is b composite?
False
Suppose 0 = -t + 3*c + 20, -4*t - 2 = 2*c - 12. Suppose -t*h = -4*h - 217. Is h prime?
False
Let y(a) = a**2 - 8*a + 5. Suppose 0 = -0*g + 3*g - 21. Let m be y(g). Let b = m - -9. Is b a prime number?
True
Suppose 1109 = -3*f + 4*f. Is f a prime number?
True
Let n = 2 - -1. Let j = n + 12. Is j a composite number?
True
Suppose -4*l + 2*m = -54, 4*l - 3*m = l + 45. Suppose 120 = 4*b - 20. Let h = b - l. Is h a prime number?
True
Let g(k) = -k + 8. Let r be g(6). Suppose -3*v = r*v + 15. Is (-5 - -8)*(-37)/v a composite number?
False
Let n(v) = 15*v + 31. Is n(20) a prime number?
True
Let p(l) = l**3 + l**2 + 11. Let m be p(0). Let w = m + -15. Let b(n) = 2*n**2 + 5*n + 2. Is b(w) prime?
False
Let r(x) = -30*x**2 - 9*x + 11. Let n be r(9). Is n/(-28) + (-4)/14 composite?
False
Suppose 3*h - 5*f - 1315 = 0, -3*f = 5*h - 1280 - 889. Suppose -d + h = 4*d. Is d composite?
True
Let k be -1 + -1 + (-1 - 61). Let y = k - -128. Suppose 2*d - 25 = -4*j + 21, j = -3*d + y. Is d a composite number?
True
Let q(h) be the second derivative of -h**4/12 + h**3/6 - 32*h**2 - 4*h. Let k be q(0). Let a = k + 221. Is a prime?
True
Is 4 + (-4)/(4/(-529)) a composite number?
True
Let t(l) = -18*l + 7. Is t(-12) a prime number?
True
Let f(s) = -s**2 - 7*s + 2. Let x be f(-6). Suppose -x*n + 20 = -4*n. Suppose -4*p + 200 = -l - 155, 0 = -n*p - 5*l + 450. Is p a composite number?
False
Let u be (-82)/7 - (-28)/(-98). Let g = -6 + 36. Is (g/u)/((-2)/212) composite?
True
Is ((-5)/(-20))/(4/12976) a prime number?
True
Let r = 106 + 111. Is r composite?
True
Suppose 557 = m - a, 0*m - 4*m - 5*a + 2228 = 0. Is m prime?
True
Let r(j) = 3*j**2. Let f be r(-1). Suppose q = f*q. Suppose q = 2*o - 4*o + 254. Is o a prime number?
True
Let y = 14 - 10. Suppose 3*d - 5*q = -d + 304, 5*d - y*q - 371 = 0. Is d a prime number?
True
Let k be (-27 - -1)*(-7 + 5). Let v = k + 31. Is v composite?
False
Let s = 2 - -1. Let d = 8 - s. Suppose -4*g + 65 = d*b + 10, 3*b - 57 = -4*g. Is g composite?
True
Suppose 4*s - 316 = -3*x + 76, 2*s - 196 = -5*x. Suppose t = 4*t - 5*p - s, 5*t + p - 154 = 0. Is t prime?
True
Let t(p) = -5 - 9*p - 13 - 12*p + 8. Is t(-3) a prime number?
True
Let j be 1*(2 - 123)*-2. Suppose 5*i - 3*i - j = 0. Is i prime?
False
Is -13*-2*34/4 a prime number?
False
Let y = 39 - 64. Let x = 100 + -40. Let k = y + x. Is k a composite number?
True
Suppose -5*b = -5*d + 28750, 2*d - 11479 = -0*b - 5*b. Is d prime?
False
Suppose -30 = 4*i - 3*i. Suppose 3*h + 1 - 4 = 0. Let r = h - i. Is r a composite number?
False
Suppose -3*n - 4*j = -5521, j - 850 = -n + 992. Is n a composite number?
False
Suppose 16 = -3*g + 4*b, -4*g + 9*g - 3*b = -12. Suppose g = -y - 3*i - 8, -12 = -4*y + 2*i - 2. Is y/(-2) - (-214)/4 a composite number?
False
Let z(t) = -t**2 - 2*t + 3. Let l be z(2). Let j = -2 - l. Suppose -2*c = 3*w - 299, -j*w + 6*c + 287 = 5*c. Is w a prime number?
True
Let a be 164*(5/4 - 2). Let t = a - -269. Is t composite?
True
Suppose -h = -3*n - 0 - 2, n = -1. Let k be (0 - 0)/(h + 2). Is 9 - (k + 2 - 2) prime?
False
Suppose 3*f = 5*f - 52. Suppose -z + f = z. Is z composite?
False
Let f = 1477 + 232. Is f a prime number?
True
Let f = -77 - -204. Is f composite?
False
Let s(y) = -59*y**2 - y. Let w(b) = b**2 + 0*b**2 + 7 + b - 8. Let c(f) = -s(f) - w(f). Is c(1) a prime number?
True
Let t(o) = o**2 + 16*o - 26. Is t(-19) prime?
True
Let t = 10754 + -7335. Is t a prime number?
False
Suppose 0 = 3*s - c - 646, 4*s = 2*c - 257 + 1115. Let u = s - 68. Is u composite?
False
Suppose -1004 = -n - 3*n. Is n prime?
True
Let z be (1 + 2)/((-1)/(-257)). Let i = z - 424. Is i composite?
False
Let t(d) = 24*d**3 - d**2 + d - 1. Let f be t(1). Suppose -m = -f - 51. Is m a prime number?
False
Let i be (-16)/(-28)*8 - (-6)/14. Let p(z) = 1 - 2 + 3*z + 3*z**2 + 0*z**2. Is p(i) prime?
True
Let f = 6 + -92. Let p = f + 123. Is p composite?
False
Let j be 6/(-33) + (-35)/(-11). Suppose -2*i - y = 3*y + 26, 49 = -j*i + 4*y. Is i/(-1) + -2 + 0 a prime number?
True
Suppose 5*t + 2*r - 37 = 59, 0 = 5*t + r - 93. Let v be 5/((-105)/t)*-7. Let l(g) = 6*g - 1. Is l(v) a composite number?
True
Suppose 3*j - 656 - 2047 = 0. Is j prime?
False
Let j be (-3)/9 - 65/3. Let z = j - -75. Is z prime?
True
Let r = -7 + 9. Suppose -u + r + 20 = 3*b, 5*b - u = 26. Suppose -q = -b*q + 1055. Is q prime?
True
Let b(d) = -d**3 + 12*d**2 - 7*d + 11. Suppose -8 = -4*t, -2*j = -3*t + 2*t - 20. Is b(j) composite?
True
Let t(c) = -c - 1. Let i be t(-5). Suppose -3*s = -i*s + 460. Suppose 5*n - s = n. Is n a composite number?
True
Let o(s) be the second derivative of -s**3/3 + s. Let v be o(-2). Suppose 4*m = 3*i + 18, 13 = -v*i + 5. Is m a prime number?
True
Let r(j) = 56*j**2 + 28*j + 17. Is r(-8) prime?
False
Let u(l) = -5 + l + 13*l**2 + 3*l - 2*l. Is u(4) composite?
False
Suppose 0*x + 6 = 3*x. Suppose -78 = x*j + 132. Is j/(3/(-1)) - -2 a prime number?
True
Suppose -q - 3*y + y + 2 = 0, 0 = -3*q + 4*y - 14. Suppose 8*g - 4*g - 20 = 0. Let x = g - q. Is x prime?
True
Suppose f - 5 - 5 = -v, -5*f + 5*v = -30. Let b = f - 1. Is b a prime number?
True
Let o(d) = 0 + 2*d - 7 - d. Let x be o(6). Is 10/(x + (-26)/(-22)) a prime number?
False
Let b = 3 - 4. Let p(n) = -6*n + 1. Is p(b) prime?
True
Suppose 0 = 4*m - 2550 - 2054. Is m composite?
False
Suppose 7 = w - 2. Suppose 0 = 3*a + w - 150. Is a prime?
True
Suppose 0 = -x - 6 + 1. Let t be x/25 + (-671)/(-5). Suppose 5*i = -3*u + 184, 5*i + t = 5*u - 2*u. Is u a composite number?
False
Let h = 20 - 29. Is h/(-6)*(-112)/(-12) a composite number?
True
Suppose -5 = -5*c + 3*h, -2*c - 3*c - 2*h = 20. Let f(x) be the first derivative of -x**4/2 - 2*x**3/3 + x**2 + 2. Is f(c) a composite number?
True
Suppose 2*w - 3*w + 5 = 0. Suppose 83 = w*g - 7. Suppose 2*y - 12 = g. Is y prime?
False
Let z(x) = x**2 + 10*x + 12. Let j be z(-9). Suppose 369 - 45 = j*w. Let p = -59 + w. Is p composite?
True
Let j be (-60)/(-18) - 2/6. Suppose -4*w - 3*n = -861, -j*w + 8*n + 682 = 3*n. Is w a composite number?
True
Suppose -498 = -3*z - 3*l, -5*l = -4*z + 211 + 426. Is z composite?
False
Suppose -10 = -y + 6. Let l(z) = z**3 - 12*z**2 - 14*z + 14. Let k be l(13). Suppose -5*j = k - y. Is j a prime number?
True
Let a(y) = -y**3 - 3*y**2 + 2*y + 2. Let j be a(-4). Is 226/j + (-9)/15 a prime number?
False
Let c(k) = k**2 - 5*k + 2. Let o be c(5). Suppose s = o*s - 21. Is s prime?
False
Suppose 2*z + 2*z = -5*b, -2*b = -z. Suppose 2*w + 15 - 773 = b. Is w prime?
True
Suppose 314 = 4*o - 4*j + 2*j, 0 = -2*o + 4*j + 166. Is o a composite number?
True
Suppose -3*u + 4*u + 2*o = 186, u - 170 = 2*o. Is u composite?
True
Let l = -200 - -619. Is l a prime number?
True
Is (1 - 2)*(-1 - 148) a composite number?
False
Let l(i) = i**3 - 17*i**2 + 21*i - 25. Is l(16) prime?
False
Let x = -1166 + 4365. Is x a prime number?
False
Let h(p) be the second derivative of -4*p**3/3 + 3*p**2 + 6*p. Is h(-7) composite?
True
Let h be (-75)/10*2/1. Suppose 0 = -4*f + 4*t - 32, -4*f + 4 = 5*t + 18. Is f/(-2 - 24/h) composite?
True
Suppose 0 = 3*y + 2*w - 343, -2*w + 109 = y - 4*w. Is y composite?
False
Suppose 0 = -l - 3*l - 5*q + 9, 0 = -4*l - 4*q + 4. Is (-185)/(2*2/l) a prime number?
False
Is (3027 - (0 + 7)) + (-1 - 0) composite?
False
Suppose 0 = -2*f + 4. Suppose -j + 255 = f*j. Is j a prime number?
False
Suppose 6*p - 15 = p. Suppose 5*d - 122 = 3*d + p*o, -5*d = o - 339. Is d composite?
False
Is -3 + 8345/15 - (-2)/3 a composite number?
True
Suppose -2*c + 187 + 571 = f, -3*c - 12 = 0. Is (-3)/6 - f/(-4) a prime number?
True
Let b be 0 - 3 - (11 + -553). Suppose -247 = -2*c + b. Is c a composite number?
True
Let z be (2/5)/(1/15). Suppose -5*i + z*i = 4. Suppose -i*g + 5*g - 62 = 0. Is g a composite number?
True
Suppose 3*k - k - 4*g - 1542 = 0, 5*g = -5*k + 3825. Is k prime?
False
Let f(o) be the first derivative of -3*o + 3 + 1/2*o**2. Is f(10) a composite number?
Fals