 1*u*37/(-2) prime?
True
Let g be 8034/(-42) + (-4)/(-14). Let h = g - -270. Is h prime?
True
Let a(p) = p - 4. Let y be a(4). Suppose y = -3*j + 101 + 280. Is j prime?
True
Suppose -632 = -2*c + 6*c. Let o(u) = -92*u + 5. Let q be o(-4). Let j = q + c. Is j composite?
True
Let g be ((-2)/(-6))/(5/75). Suppose -l = 2*t - 380, -t + 5*t - 754 = -g*l. Is t prime?
True
Suppose -l = 2*g + 4*l + 8, -3*l - 12 = 0. Is (g/(-9))/(2/(-141)) prime?
True
Suppose -832 + 11 = -l. Is l composite?
False
Let s be (2 - 0) + 3 + 17. Suppose 3*g = j - s, j = 2*g + 9 + 8. Is (-119)/(-4)*(-3 + j) a prime number?
False
Suppose 0 = -5*b - w + 9331, 2266 = 2*b + w - 1464. Is b prime?
True
Let c(k) be the second derivative of k + 0 - 3/2*k**5 - 1/3*k**3 + 0*k**4 - 1/2*k**2. Is c(-1) a prime number?
True
Let i = 5 + -1. Let t(p) be the third derivative of p**4/8 - p**3/3 - 5*p**2. Is t(i) a composite number?
True
Suppose -24940 - 10815 = -5*j. Is j a composite number?
False
Suppose 5*n - 381 = 2554. Is n prime?
True
Suppose 3*t - 46 = t. Suppose 5*a + t = 208. Is a composite?
False
Let d(h) = 2*h**2 + 9*h - 6. Let x be d(12). Let s = -195 + x. Suppose 0 = -4*j - j + s. Is j a prime number?
False
Let v = 1140 + -809. Is v a composite number?
False
Suppose -g - 3 = -5*q, 2*g + g - 2 = 4*q. Suppose -g*b + 4*b - 4 = 0. Suppose -b*s + 4*s - 26 = 0. Is s a prime number?
True
Let k(o) be the second derivative of -o**5/20 - o**4/2 + 7*o**3/6 + 5*o**2 - o. Suppose -40 = 4*t + 4*j, 2*t - j + 18 = -t. Is k(t) prime?
False
Suppose -5 + 1 = x. Is x*(3 + -7 + 3) composite?
True
Suppose 6*h = 3*h - 2*s + 717, 5*h - 2*s - 1195 = 0. Is h a composite number?
False
Let s be (-12)/20 - 36/(-10). Suppose 0*k + 5*k + 2*u = 12, 4 = s*k - 2*u. Suppose -4*j + 3*n + 1037 = 0, -3*j + 7*j + k*n - 1022 = 0. Is j a composite number?
False
Let z be (-6)/(-9)*-1*-6. Suppose 2*c = -2*c + z. Is (2/4)/c*46 a composite number?
False
Let b(y) = -21*y - 9. Let q be b(-5). Suppose -u + 275 = q. Is u prime?
True
Suppose -487 = -2*t + 255. Is t a prime number?
False
Let f(m) = m**2 + 7*m + 8. Let h be f(-6). Suppose a + 381 = -h*a. Let b = 0 - a. Is b prime?
True
Suppose -2*j - 772 = -4*f, -3*f = -6*f - 2*j + 565. Is f a prime number?
True
Suppose -13*z = -14*z + 157. Is z prime?
True
Suppose r + s = 33, -3*r + 7*r - 4*s = 132. Is 4/(-22) + 2547/r a composite number?
True
Suppose -158 + 34 = -2*d. Suppose 0 = 3*f - d - 13. Let j = 114 - f. Is j a composite number?
False
Let f(b) = 423*b**2 - 1. Let l be f(1). Suppose -z + l = z. Is z a composite number?
False
Suppose 0*a = -2*a + 1476. Let s(b) = -b**2 + 7*b + 2. Let q be s(7). Is a/14 + q/7 a composite number?
False
Suppose 6*x = x + 55. Is x composite?
False
Let w be ((-5)/10)/((-1)/(-24)). Let g = -7 - w. Suppose -8 = -y - g. Is y a prime number?
True
Let l(o) = -3*o + 5. Let n(y) = -y - 1. Let g(w) = -l(w) - 6*n(w). Suppose 2*z - 3*i - i = 16, -4*z + 5*i = -26. Is g(z) a composite number?
False
Let q(u) = -3*u**2 + 16*u + 10. Let d(v) = v - 1. Let s(o) = 3*d(o) - q(o). Is s(10) prime?
True
Let c(p) = p**2 - 3*p + 6. Let f(b) = 2*b**2 - 7*b + 12. Let u be -2 + 0 + 1 + 6. Let a(y) = u*c(y) - 3*f(y). Is a(4) prime?
True
Suppose 0 = y - 5 + 3. Suppose -3*l + 15 = 0, 3*z - 6*l = -3*l. Suppose -z*c + 30 = -y*c. Is c prime?
False
Suppose -6*l + 7*l = 260. Suppose -h = 3*s - l, -1019 = -4*h - 4*s - s. Is h a prime number?
True
Let v(c) = -3*c + 1. Let x be v(-1). Is x/2 + 5 + 0 composite?
False
Let d = 3 + -3. Suppose d*c - 3*c = -186. Is c a composite number?
True
Let q = 1723 + -1076. Is q a prime number?
True
Let a = 887 + -370. Is a composite?
True
Let o(t) = 12*t**3 - 2*t - 9. Is o(5) a composite number?
False
Let l(b) = 50*b**2 - 2*b + 1. Suppose 3*g - 16 - 4 = -5*q, -5*g - 20 = -5*q. Let p be 0 + -1 + (2 - g). Is l(p) composite?
True
Suppose 440 = 5*j - 0*j. Let p = j - 54. Let d = 113 - p. Is d a prime number?
True
Let q = 595 - 355. Let g = 170 - q. Let p = g - -307. Is p prime?
False
Suppose -4*k = -3*l - 5593, -2*l + 5 = 3. Is k composite?
False
Let d(v) = -634*v - 3. Is d(-1) prime?
True
Let z(o) be the first derivative of -15*o**2/2 + 10*o - 1. Is z(-9) composite?
True
Let z = 369 + -24. Let c = 4 - 1. Suppose c*o = -0*o + z. Is o prime?
False
Let w = -13 + 18. Suppose -3*f - w = -4*f. Suppose -2*z + 5*s + 99 = 0, -4 - 38 = -z - f*s. Is z a prime number?
True
Let q be 3/5 - (-54)/10. Suppose 8 = -4*a + t + t, 4*t = -3*a - q. Is 11/2*(12 - a) composite?
True
Let m be (12/(-8))/((-1)/2). Suppose 3*l - 872 = z, 4*l = m*l + z + 290. Is l a composite number?
True
Let j(l) = -l**2 - 16*l - 15. Is j(-14) composite?
False
Suppose 0*p - 3*w - 906 = -3*p, 0 = p - 2*w - 299. Is p composite?
True
Suppose 0 = -3*l + 17 - 5. Let y be 2 + (l/(-2) - 2). Is (-8)/(-12)*(-21)/y composite?
False
Suppose 0 = 2*q + x - 14, x = -q + 2 + 7. Suppose 0 = q*z + w - 475, -3*z + 0*w = w - 285. Is z prime?
False
Let u(o) = 8*o**2 + 13*o - 15. Let h(y) = -7*y**2 - 12*y + 14. Let k(i) = -7*h(i) - 6*u(i). Is k(-13) a prime number?
True
Suppose l = -4*h - l + 176, -4*l = 5*h - 226. Suppose 3*i + h = 6*i. Is i composite?
True
Let p(l) = -23*l + 19. Is p(-8) composite?
True
Suppose -4*i + 812 = -0*i. Is i a composite number?
True
Let c(o) = 2*o + 10. Let a be c(0). Suppose a*z - 887 = 9*z. Is z prime?
True
Suppose 0*c + 171 = c. Let r = -56 + c. Let w = r - 26. Is w prime?
True
Suppose 3561 = 6*q + 447. Is q composite?
True
Let r = -735 - -1206. Is r composite?
True
Let p(r) = 10*r**2 + 30*r + 2. Is p(-9) a composite number?
True
Is 5/1 + -2 - -502*1 composite?
True
Is (-954)/(-4) - (-36)/(-24) a prime number?
False
Let q = -147 + 15. Let z = q + 243. Is z a composite number?
True
Suppose -2*m + 12 = -3*k - 0*m, 0 = 4*k + 3*m + 33. Let j(i) = -23*i + 5. Is j(k) prime?
False
Let v = -251 + 1230. Is v a prime number?
False
Is -2*((-3275)/10)/1 a composite number?
True
Let o = -1118 - -1574. Suppose 3*n - 27 = o. Is n a composite number?
True
Let p(f) = -161*f - 2. Is p(-1) a composite number?
True
Let y(g) = g**3 + 10*g**2 - 3*g - 5. Let r(i) = i - 10. Let n be r(0). Is y(n) a composite number?
True
Let j(l) = 45*l**2 + 10*l + 2. Is j(5) prime?
False
Let w be 6/(-4)*(-4)/3. Suppose -g + 9 = -2*b, -3 = -w*g + 5*b + 17. Suppose 5*y - 85 = -2*x + 43, 4*x = -g*y + 246. Is x a prime number?
True
Let p = 44 - 22. Let y be 3/9 + p/6. Suppose 0*w - 488 = -4*a - y*w, -5*w = 2*a - 229. Is a composite?
False
Let w(l) = 47*l - 2. Is w(3) prime?
True
Let w(u) = -46*u - 87. Is w(-16) a prime number?
False
Suppose 5*g - 21 = -1. Let w = g + 2. Suppose t - 4*j - 28 + 2 = 0, 2*j = -w. Is t a composite number?
True
Let c(t) = -70*t - 2. Let a be c(-2). Let u be (-1166)/14 + (-2)/(-7). Let g = u + a. Is g prime?
False
Let g = -4 + 7. Suppose -g*z - 1 = 2, -4*p + 331 = -3*z. Is p prime?
False
Let j = 10 + -6. Suppose 0 = y - j*u - 26, -3*u + 180 = -2*y + 6*y. Suppose h - y = -h. Is h a composite number?
True
Is 741 + 2 + 2*(2 + -1) a composite number?
True
Suppose -1117 - 1136 = -3*b. Is b composite?
False
Suppose d + 37 + 159 = 4*p, -4*p + 5*d = -196. Is p a prime number?
False
Let w(a) = 5*a**2 - 3*a - 1. Is w(4) a composite number?
False
Let r(j) = 3 - 9*j**2 + j - 17*j**3 - 5*j**2 + 13*j**3. Let u(n) = -5*n**3 - 15*n**2 + 3. Let w(l) = -6*r(l) + 5*u(l). Is w(7) composite?
False
Suppose -3*z + 1085 = 2*z. Is z prime?
False
Let w(y) = -49*y + 5. Let c be w(-4). Suppose -544 = -3*i - u - c, i - 93 = 5*u. Is i a composite number?
False
Is 1*11*(6 + 1) prime?
False
Let t(v) be the first derivative of v**4/4 + 2*v**3/3 - 3*v**2/2 + 1. Let q be t(-3). Suppose o + q*o - 511 = 0. Is o composite?
True
Suppose 0 = 5*r - 11477 + 3192. Is r a composite number?
False
Let q(x) = -x**2 - 7*x + 1. Suppose -3*v = 3*k + 18, -3*v = -2*k - 7*v - 14. Is q(k) a composite number?
False
Is (-47)/2*(-26 - 20/(-5)) composite?
True
Let u(r) = -2*r - 2. Let x be u(-2). Suppose -7*b = -x*b - 415. Is b prime?
True
Let m(p) = 4*p - 1. Let l be m(1). Is (32 - -2)/1 + l a composite number?
False
Suppose -1 = 3*k - 490. Is k a prime number?
True
Let k(v) = -75*v - 6. Suppose -5*i = 0, -4*z = -4*i - 6 - 26. Let t(y) = -25*y - 2. Let f(d) = z*t(d) - 3*k(d). Is f(3) prime?
False
Suppose 5*u = -d + 3019, -d = -3*u + 2*d + 1797. Let n = u 