1). Is (934 + -4 + f)*1 prime?
True
Suppose -47*f + 205789 = -28*f. Is f composite?
False
Let w = 1297 + -735. Is w/18 - (-2)/(-9) a composite number?
False
Let l(r) = 15*r**2 + 14*r + 30. Is l(17) a prime number?
True
Let c(l) = -1928*l + 9. Let n be c(-4). Suppose -4*s = 3*p - 15467, 0*s = 2*s - p - n. Is s a prime number?
True
Let c(r) = 9*r**2 + r - 9. Is c(20) a composite number?
True
Let o(v) = v**3 + 3*v**2 + v. Let s be o(-2). Let t be (-36)/6*s/(-6). Suppose -5*p + 40 = -5*i, 0 = 4*p - 3*i + t*i - 17. Is p composite?
False
Let r(t) = 170*t + 131. Is r(6) composite?
False
Suppose 5*m = 5*s + 7490, 2*m - 2520 = s + 475. Is m a composite number?
True
Let k(x) = -x + 4. Let j be k(-3). Suppose 4982 - 14523 = -j*c. Is c composite?
True
Suppose 0*b + b = p + 35, -5*b + 3*p + 181 = 0. Let w = -7 + b. Is w prime?
True
Suppose -4*s = -4*h + 544, -h - h - 4*s = -242. Suppose -5*d - o = -h, -d - 31 = -2*d - 5*o. Suppose 0 = v - d - 351. Is v composite?
True
Is 1845 - (0 + 5 + -9 + 2) a prime number?
True
Let r be 116/5 + (-2)/10. Let s(g) = -g**2 - r + 17 + 121. Is s(0) composite?
True
Let a(m) = 3*m + 5. Let l(r) = -r + 13. Let i be l(-5). Is a(i) a prime number?
True
Let r(j) = 0 + 7*j - 3 + 4 + 2*j**2. Let f be r(8). Suppose f = 9*g - 4*g. Is g prime?
True
Let i = -9921 + 21172. Is i prime?
True
Let s = -7 + 11. Suppose -2 = -s*o + 6. Is o*4/(8/123) a prime number?
False
Let h be ((-5)/15)/(6/9)*0. Let o(s) = -2*s + 119 - 2*s**2 - 6 + s**2. Is o(h) prime?
True
Suppose -2*y + 10 = -30. Suppose 0 = 5*d + y - 0, 2*z - 5418 = -5*d. Is z a composite number?
False
Let c(y) = 2*y**3 - 3*y**2 + 8*y - 1. Suppose 0 = 5*p - p - 12. Suppose -5*l - 2*d = -32, l + 0*d - p*d = 3. Is c(l) a composite number?
True
Let n(s) = -3*s - 5. Let o be n(-3). Let p be 2*(-1)/(-4)*10. Suppose -3*t - o*j + 1211 = -0*t, -p*j - 20 = 0. Is t a composite number?
False
Let a be (12/(-1 + -2))/(-2). Let c be (-5)/(-10) + 1651/a. Let y = c + -491. Is y a prime number?
False
Let c(i) = 179*i**2 - i. Is c(-2) composite?
True
Suppose -2*s + 4*f - 8 - 10 = 0, -4*s + f = 29. Is (-2 - -4 - 3) + (-10220)/s a prime number?
True
Let w be (-1 - 44/(-12))*(-45)/(-12). Suppose -4782 = -w*l + 4*l. Is l a prime number?
True
Suppose 42*d - 289793 - 1083061 = 0. Is d a prime number?
True
Let u = 3 + 1. Suppose u*h = -1 + 13. Let c(t) = 251*t - 2. Is c(h) a composite number?
False
Suppose 26*w - 15 = 31*w. Is -1 + w/(-9)*15 a prime number?
False
Let c be 1 + (2 - (0 + 10)). Let x = 9 + c. Suppose -3*s - 3*d + 108 = 0, -3*s + 135 = x*s - 4*d. Is s a composite number?
False
Suppose -5*l - 9 = -19. Suppose -l*z + 4*o = 2*z - 4, -z - 2*o = 5. Is (z/3)/(13/(-5577)) prime?
False
Is 6054*(6 - (-35)/(-6)) a prime number?
True
Let j = -1061 - -1554. Is j a composite number?
True
Let h(u) = -u**3 + 9*u**2 - u + 11. Let z be h(9). Is z/(9811/(-3271) + 9/3) a composite number?
False
Is 2/3*(-241896)/(-16) prime?
True
Suppose -5*m - 2*c = -0*m - 35, -4*m + 5 = -3*c. Suppose -4*i + 157 = 3*k, m*k + 165 = 2*i + 2*i. Suppose i = g + 3. Is g a composite number?
False
Is (-1466)/(-5)*165/66 composite?
False
Suppose 7*i + 4793 = -3180. Let j = -508 - i. Is j a prime number?
True
Suppose 0 = -4*v + 4*n + 1812, -5*v + 3666 = 4*n + 1374. Suppose 0 = 7*p - v - 27. Is p a composite number?
True
Let c(f) = 2771*f**3 + 3*f**2 - 6*f + 9. Is c(2) composite?
True
Suppose -4*d + c = -c - 4198, -2119 = -2*d - 3*c. Suppose 0 = 8*g - d - 1404. Is g a prime number?
True
Let k = 737 + -1757. Let f = k + 1714. Is f a composite number?
True
Suppose -9*f = -5*f - 14728. Suppose 666 + f = 4*r. Is r prime?
True
Let q = 392 + -35. Let i(o) = -4*o**3 + 5*o**2 - 4*o - 2. Let w be i(4). Let a = q + w. Is a composite?
False
Suppose 1712 = -6*b + 14*b. Suppose b = 3*x - 167. Is x a composite number?
False
Suppose 0 = -y - 3*y + 4*k + 16, 3*y - k = 10. Suppose -f = -6*f + 4*i + 11101, 0 = 3*f - y*i - 6660. Is f a composite number?
False
Let r(f) = -f**2 - 3*f + 157. Suppose -2*i - 8*i = -2*i. Is r(i) a composite number?
False
Suppose 0 = 3*t - 2*z - 0*z - 99, -4*t = -5*z - 132. Let j = t + -9. Let x = j - -109. Is x a composite number?
True
Let n = 15 - 10. Suppose 12 = -z + 3*o, n*z - o - 3*o = -5. Suppose 5*i = -z*v + 288 + 484, 2 = -2*i. Is v prime?
False
Suppose 2*o - 7*o = 0. Suppose o = 3*q - 5*a - 302, -2*q + 168 + 34 = -4*a. Let b = q + 34. Is b a prime number?
False
Let v(s) = 5339*s + 1. Let w be v(1). Suppose 11*c - w = 15*c. Is 3 - (-1 - c/(-5)) composite?
False
Let m(p) = -76*p**3 - 9*p**2 - 15*p - 55. Is m(-6) composite?
False
Let j = -11 + 14. Suppose 3*i - 2*w + 126 = 5*i, -j*i = -3*w - 165. Is i prime?
True
Let f = -6503 - -10912. Is f a composite number?
False
Let s be 3*3 + 1/(1/1). Let y(w) = w**3 - 9*w**2 - 9*w + 45. Is y(s) a prime number?
False
Suppose -28*r + 22*r = -326166. Is r prime?
True
Let m be ((-3)/((-18)/(-10)))/((-7)/63). Is (2245/m)/(((-10)/(-6))/5) a composite number?
False
Let t(d) = 43*d**2 - 12*d - 59. Is t(-4) a prime number?
True
Let i be (-5)/1*3*(-5)/15. Suppose -i*d + d + 30892 = 0. Is d composite?
False
Suppose 3*g = 31716 - 3135. Is g prime?
False
Suppose 0 = 4*v + 2 - 10. Suppose n = 0, v*n = -3*o + o + 250. Let b = o + -74. Is b a prime number?
False
Suppose 5*w - 97 - 43 = 0. Suppose -5*p - 2*p - w = 0. Is 278/p*2*-1 composite?
False
Suppose 5*w = 29 - 9. Suppose -w*s - 138 = -2*s. Is 8/4*s/(-2) prime?
False
Suppose -5*v + 23 = n, -2*v + 46 = 2*n - 7*v. Let g = 20 - n. Is 419/(5 + g + -1) composite?
False
Suppose -833 = -4*z + 2759. Suppose -3*u + z = o, 3*o - 3*u = -6*u + 2700. Is o a prime number?
False
Let m = 17 - 14. Let c be (-18)/(1*(5 - m)). Let f = 13 - c. Is f prime?
False
Let l(h) = 36*h**3 + 8*h**2 + 5*h + 4. Is l(10) a prime number?
False
Suppose -163 = -6*d + 7859. Suppose -d = 2*s - 13207. Is s a prime number?
False
Suppose 4*t + t + 211 = 2*b, 5*b + 4*t = 610. Is b prime?
False
Let v(y) = 12*y**2 - 17. Let h(f) = -12*f**2 + 16. Let t(b) = -4*h(b) - 3*v(b). Is t(-5) a prime number?
False
Let v(m) = m**3 + 31*m**2 + 18*m + 43. Is v(-25) composite?
False
Let w = 6964 - 4842. Is w a composite number?
True
Suppose 66812 - 284012 = -5*v. Is v/18 - 5/15 a prime number?
False
Is 1/((-21)/(-77631)) + (-14)/(-49) a prime number?
True
Let g(m) = -m**3 - m**2 + m. Let a be g(0). Let k(h) = -h**2 - h + 33. Let n be k(0). Let v = n - a. Is v a prime number?
False
Is (-41632)/(-24) - (-45)/(-27) composite?
False
Let t be 0/(2 + -3)*1 - -15. Suppose 0 = 2*d + t*d - 99569. Is d composite?
False
Let i = 30 + -31. Let m = i - -20. Is m composite?
False
Suppose -415 + 15523 = 12*v. Is v composite?
False
Suppose 8*g - 239967 - 183817 = 0. Is g prime?
True
Let o(v) = 6*v**3 - 8*v**2 + 7*v - 7. Suppose -7*c + 2*c + 30 = 0. Let n(r) = -5*r**3 + 7*r**2 - 7*r + 7. Let p(q) = c*o(q) + 7*n(q). Is p(6) prime?
False
Suppose -2*o = -1 - 7. Suppose 390 = -o*p - p. Let z = p - -164. Is z a composite number?
True
Is ((-6)/(-4))/((-216)/(-6830064)) composite?
False
Let p(u) = 703*u**3 + 2*u**2 - 6*u - 2. Is p(3) composite?
False
Is 847946/(-33)*(-6)/4 a composite number?
False
Let l(s) = -1492*s + 811. Is l(-9) prime?
False
Suppose -10 = 6*v - v, -v = -3*s + 2528. Suppose -4*k + s = -4650. Is k composite?
False
Suppose 15*k - 7*k - 40 = 0. Suppose y + 2 = 5*h, 4*h - y + 3 = k. Suppose -t + 6*t - 2515 = h. Is t a composite number?
False
Suppose 0 = -2*c - 71 + 61. Let z(s) = -59*s - 44. Is z(c) a prime number?
True
Suppose -245 = -4*r - r. Let w be (4/(-6))/(8/(-36)). Is r + w + (-2)/(-2) a prime number?
True
Let n(y) = y**3 + 9*y**2 + 7*y - 5. Let s be n(-8). Suppose -s*x = -4*x + 113. Let j = 66 + x. Is j composite?
False
Let g be (46 - -3) + 4/1. Let l = 258 - g. Is l composite?
True
Let q = -14517 - -22426. Is q a composite number?
True
Let m(a) = -3*a**2 + 512 + 4*a**2 - 3*a - 490. Let z be m(-18). Let l = z - 147. Is l prime?
False
Let i = -124 + 213. Is i composite?
False
Suppose 0 = -b + 5*p + 41409, -2*b = -5*b - 2*p + 124295. Is b composite?
True
Suppose -54807 = -1571*k + 1568*k. Is k composite?
False
Let g(d) = 0*d**3 - 11 + 3*d**2 - 9*d + 7*d**2 + d**3. Let j be (-12)/(-3)*90/(-36). Is g(j) a prime number?
True
Suppose -2*f + 117 = f. Let v be 28/(-13) + 6/f. Is (61 + 0)*(v - -4) composite?
Tr