 ((-5)/(-3))/(2/6). Suppose u*g = -5*s + 375, s = -5*g - 3*s + 379. Is g a prime number?
True
Suppose -120 + 1055 = 5*x. Is x prime?
False
Suppose z = 3*f - 0*f + 3, -13 = -2*z - f. Is z prime?
False
Let v(i) = 21*i**2 + 2*i. Let m be v(2). Let t = -33 + m. Is t composite?
True
Let b = 432 - 252. Suppose 5*t + g - b = 0, -t + 3*g + 18 = -34. Is t prime?
True
Let a(u) = 5*u + 33. Let f(c) = -c - 8. Let l(i) = -2*a(i) - 9*f(i). Let g be l(5). Let r(o) = 3*o. Is r(g) a prime number?
True
Suppose 0 = -4*l - 0*l. Suppose l*k - 4*k = -172. Is k a prime number?
True
Let a be 4/(-18) - 7280/45. Let p = a + 311. Is p composite?
False
Let j(r) = -10*r - 1. Let f(y) = -2*y**3 + 4*y**2 + 2 - 3 - 2*y + 0. Let o be f(2). Is j(o) a composite number?
True
Suppose 2*i + 3*l = 5*l + 104, -i + 3*l + 50 = 0. Is i composite?
False
Suppose 0 = 18*i - 16*i - 1402. Is i a prime number?
True
Let a be (-1)/(-2)*28/2. Let m(c) = 20*c + 9. Is m(a) prime?
True
Let d(l) = -2*l - 9. Let x be d(-6). Suppose 0*y - 3*y - 5*z = 614, x*y + 582 = 3*z. Let w = y + 277. Is w a composite number?
False
Let l be ((-11)/2)/(2/4). Let z(j) = j**2 - 2*j + 12. Is z(l) a composite number?
True
Let o be (1 + 0 - 2)/(-1). Let s be 2 - 0/(-4 + o). Suppose -s*f = 2*k - 84, k = -3*k + 3*f + 196. Is k composite?
True
Is (3 + 28/(-8))*-157*2 a composite number?
False
Let w = 241 + -102. Is w prime?
True
Let d be (-2 + -155)/1*-1. Suppose d = -6*r + 7*r. Is r prime?
True
Let u(m) = m**3 + 13*m**2 + 12*m - 3. Is u(-9) prime?
False
Suppose -a - 289 = -4*l - 2*a, 2*a + 152 = 2*l. Suppose -5*q = m - 3*q - 85, q = m - l. Is m prime?
False
Let t = -8 - -3. Is 188 + t + (1 - -1) composite?
True
Is 97/(-1 + (-24)/(-21)) a prime number?
False
Is (0 - 1)/(2352/2359 - 1) composite?
False
Suppose 0 = 4*s + s. Suppose 5*q - 10 = -s*q. Is 386/4 + 1/q prime?
True
Suppose 73*x - 69*x = 124. Is x a composite number?
False
Let d = 3 - -1. Suppose 5*k + 2*u - 3679 = 0, -d*u = -k - u + 746. Is k a prime number?
False
Suppose 3*b = -0*b + 2355. Suppose 7*t - b = 2*t. Is t a composite number?
False
Let m = 130 - 83. Let j = 36 + m. Is j composite?
False
Suppose i + 1 = 6. Suppose -i*m = 20, -2*m = -3*f - 0*m - 10. Is 0 - 0 - 714/f a composite number?
True
Let w(z) = z - 5. Let p be w(7). Suppose 0 = 2*s - 5*s - k + 14, -3*k = p*s. Is s a composite number?
True
Let l be 1 + -3*(1 + -2). Let v be l/(8/19)*2. Suppose 2*r - v = -7. Is r a composite number?
True
Suppose 2*u - 72 = -22. Is u a prime number?
False
Let v(q) be the third derivative of 53*q**4/24 + 2*q**3/3 - 2*q**2. Let b be v(3). Suppose -3*n + 11 + b = 0. Is n prime?
False
Let b(n) = 2*n - 5. Suppose 2*a + 14 = 4*m, 2*m + a - 10 = -a. Let o be b(m). Let x(g) = 7*g**2 - 2*g + 2. Is x(o) a composite number?
False
Let i be 2/(-8)*(-9 + 1). Is (-247 - 0)/(i + -3) prime?
False
Suppose -2*u = -0*u - 574. Is u composite?
True
Is 2178/24 + 1/4 composite?
True
Let l(s) = -23*s - 8. Let t be l(-7). Let u = t + -88. Is u a composite number?
True
Suppose 0 = -4*t - 0*t. Suppose 5*n - 17 = -t*j - j, -2 = -2*n + 2*j. Suppose -4*c + n*c = -9. Is c composite?
True
Let a be ((-48)/(-10))/(4/30). Suppose 0 = 5*b - 10, -4*b = -2*z + a + 142. Is z a prime number?
False
Let r(z) = 1108*z**2 + 3. Is r(2) a composite number?
True
Let r be 0/(1 - 0) + -134. Suppose 4*d + 3*y + 65 + 130 = 0, -3*d + y = 156. Let a = d - r. Is a prime?
True
Suppose 4*y = v - 766, 1519 = 4*v - 2*v + 5*y. Let i = v - 431. Is i a prime number?
True
Suppose 0 = -5*l + 20, -2*i = 3*i + 4*l - 131. Is i prime?
True
Suppose -9 = 2*i - 7. Is 11/(-11) - i*5 a composite number?
True
Let o be 24/5 - 5/(-25). Suppose q - u = 3*q - 250, -o*q = 2*u - 627. Is q a prime number?
True
Suppose 0 = -2*w + 89 - 21. Let x be ((-72)/20)/((-12)/150). Suppose 2*n = -3*s + n + x, 2*s + 2*n - w = 0. Is s composite?
True
Suppose 0 = 3*n - 236 + 56. Suppose 3*s - 7*s + n = 0. Is s a prime number?
False
Let b(a) be the first derivative of a**3/3 + a**2/2 - 2*a + 3. Let g be b(2). Suppose -g*m = 5*h - 325, 256 = 4*h + 6*m - 2*m. Is h a composite number?
True
Let w be (-15)/20 + (-610)/8. Let v = 158 - w. Is v prime?
False
Let b(x) = -5*x**2 + 4*x - 5. Let f(j) = -6*j**2 + 3*j - 4. Let k(w) = 3*b(w) - 4*f(w). Is k(-2) a prime number?
True
Let z(m) = m + 3. Let b be z(0). Is (b*(-7)/(-3))/1 a prime number?
True
Is (-446)/10*(4 + -9) composite?
False
Let v(a) = -a**2 - a - 6. Let q(j) = 2*j**2 + 3*j + 11. Let o(f) = 3*q(f) + 5*v(f). Let n be o(-3). Suppose 2*d = -n*d + 138. Is d prime?
False
Let w(s) = -127*s. Is w(-1) a prime number?
True
Let n = 3 + -3. Is (3 - -32 - n) + -2 composite?
True
Suppose d - 559 = -5*p + 4731, -3*d = -p + 1042. Is p a prime number?
False
Let g(w) = -3 - 4*w + 7 - w**2 - 3 + 5*w**3. Let x be g(3). Suppose 2*s = 63 + x. Is s composite?
False
Let j = 8 + 23. Is j a composite number?
False
Suppose 4*s - 900 - 3264 = 0. Suppose -5*a = -25, a - 2*a = 4*v - s. Is v prime?
False
Let z = -132 + 281. Is z prime?
True
Let y be (-30)/(-8)*(-24)/(-9). Let i = y + 1. Suppose -5*a - 2*w + 231 = i, -4*w - 66 = -a. Is a a prime number?
False
Suppose 0*m + 4*m - 4*a - 3636 = 0, 2*a + 911 = m. Is m a prime number?
True
Let n = 6 + -3. Suppose 0 = -n*w + 2*j + 387, -w - 5*j - 67 = -179. Is w prime?
True
Let x(k) = 236*k - 4. Let y(c) = 237*c - 3. Let b(u) = 4*x(u) - 5*y(u). Let t be b(-1). Suppose 0 = 3*g - 2*v - t, 0 = -2*g + 3*v + 71 + 84. Is g composite?
True
Suppose -q + 1 = -2. Is -2*q/12*-382 a composite number?
False
Let q(m) = -3*m + 1. Is q(-6) a composite number?
False
Let p(k) = -k + 7. Let u be p(4). Suppose -145 = -z + 3*j, -u*z + 185 + 198 = 4*j. Is z prime?
False
Let z = 362 + -177. Is z prime?
False
Let v(r) = 2*r**2 + 4. Let h(b) = -3*b**2 - 5. Let a(t) = -3*h(t) - 4*v(t). Is a(-2) a composite number?
False
Let a = -5201 + 7459. Is a a composite number?
True
Let k = -9 - -15. Suppose -3*j = -6 - k. Suppose -84 = -j*v - 0*v. Is v composite?
True
Suppose 0 = -2*k - 4*z + 22, -3*k - 2*z + 24 = z. Let v(w) = 2*w**2 - 6*w - 5. Is v(k) a prime number?
False
Suppose 3*p - 75 = -5*g + 404, 0 = -g + 4*p + 105. Is g a composite number?
False
Let k = 1 + -24. Suppose -3*y + 3*r = 8*r - 111, -5*y = -3*r - 219. Let i = k + y. Is i composite?
False
Let c = 30 - 51. Is (-10)/3*c/2 composite?
True
Let w(y) = y**3 + 5*y**2 - 6*y + 1. Let j be (6/(-15))/((-1)/(-15)). Let b be w(j). Is 3/9*b*57 a composite number?
False
Suppose 0 = 4*x - 0*x + 48. Is x/4 + 0 + 136 a prime number?
False
Suppose 0 = 2*m + 3*r - 73, 5*r - 15 = -10. Is m composite?
True
Let p(q) = -q**3 - 11*q**2 + 13*q + 8. Let d be p(-12). Let n(j) = -4 - 5*j + 1 - 9*j. Is n(d) a prime number?
True
Let n(v) = -v**3 - 2*v**2 + 3*v + 2. Let l be n(-3). Let m(z) = -6 - 8*z**l + 14 - z**3 + 7*z + 5. Is m(-9) composite?
False
Suppose 2*s - 3*h + 25 = -2*s, 3 = h. Is (s + 53)*2/2 a composite number?
True
Is (5/(-10))/((-1)/438) a composite number?
True
Let b(a) = -a**2 + 44*a + 46. Is b(21) a prime number?
False
Let p = 5 + -3. Suppose 15 = p*o + 3*o. Suppose 2*a + o*k - 583 = -3*a, 0 = -5*k - 20. Is a composite?
True
Suppose -2*n + 2*o + 5 = -109, n + 3*o = 61. Is n a composite number?
True
Let c be (2 + 0 + -1)*-4. Let k be (c/(-3))/((-1)/(-3)). Suppose k*x + 2*a - 168 = 6*a, -4*x - 2*a + 138 = 0. Is x prime?
True
Suppose q + 4*a = 47 + 568, 2*q - 1246 = -4*a. Is q composite?
False
Let m(a) = a**2 - 3. Let b be m(3). Let d = -47 - -75. Let f = d - b. Is f a prime number?
False
Let m(x) = -6*x**2 + 2*x + 4. Let h(j) = 1. Let w(y) = 5*h(y) - m(y). Suppose -n = -2*l + 2, 2*n = n - 3*l + 8. Is w(n) a composite number?
True
Suppose 5*d = 12 + 1243. Is d prime?
True
Suppose 4*z + z - 335 = 0. Is z composite?
False
Suppose -9*v + c = -4*v - 13, 2*v + 2 = -2*c. Is 56/(-8)*(-6)/v a prime number?
False
Suppose -4*q = 108 + 64. Let n = q + 119. Suppose -4*x = -232 - n. Is x prime?
False
Suppose -3*v + 89 = -76. Is v prime?
False
Let g(b) = -b**2 - 4*b. Let z be g(-6). Is (-1673)/(-4) + (-9)/z composite?
False
Suppose -13084 = 118*g - 122*g. Is g composite?
False
Let u(j) = -j**3 - 4*j**2 + 5. Let l be u(-4). Suppose 83 = l*k - 302. Is k a prime number?
False
Let p = 5 - -1. Let q(z) = -z - 1. Let l(v) = -v - 1. Let o(n) = -l(n) - 4*q(n). Is o(p) a composite number?
True
Let