
Suppose 3163 = 3*s - 5*j, 5*j - 1424 = -2*s + 718. Is s a prime number?
True
Let o be 2/4 - (-234)/4. Suppose 3*z = 4*z - o. Let u = z + -36. Is u composite?
False
Suppose 4*b - 3*y - 31 = 0, 4*y + 29 = 4*b + 3*y. Let l(r) = -r**3 + 6*r**2 + 2*r - 9. Let a be l(6). Is (a + (-1 - 1))*b composite?
False
Suppose 0 = 5*y - 3*d - 11, -d + 5 = -2*y + 10. Suppose y*h + 23 = -5*i, -i = 3*h + 3*i + 16. Is 2/h + 1132/24 composite?
False
Let c(v) = -v + 307. Is c(0) a composite number?
False
Is 2775/20 - 2/(-8) a composite number?
False
Let t = -507 + 958. Suppose 1010 = 2*p + 138. Suppose 3*a - o - t = a, 2*a - p = -2*o. Is a a prime number?
True
Let v(l) = -13*l + 2149. Is v(0) prime?
False
Let h(r) = 307*r**3 + r**2 + r - 1. Let b be h(1). Let m = b - 180. Suppose 3*z = 6, -4*v + m = 2*z - 232. Is v composite?
False
Let n(z) = -3*z**3 + 3*z**2 - 7*z - 38. Let q(p) = p**3 - p**2 + 3*p + 19. Let t(w) = 2*n(w) + 5*q(w). Let j be 4/(-2) + (-4)/(-2). Is t(j) a composite number?
False
Let d = -60 + 391. Is d a prime number?
True
Let z be (-2)/(3*(-6)/(-1773)). Let s be z/(-3) + (-2)/3. Suppose -5*l + 0*n - 4*n + 155 = 0, 2*l - s = -n. Is l composite?
True
Let l = -9 + 17. Let r be 4/(-16) - (-2)/l. Is 35/3*(3 + r) a prime number?
False
Suppose -2*o - 10 = 0, 2*j - 3*j - 3*o = -196. Is j a prime number?
True
Is (-2)/((-768)/(-4466) - 2/11) a composite number?
True
Let a = -5 + 5. Let x(g) = g**2 + 3*g - 1. Let y(f) = 2*f**2 + 7*f - 3. Let i(m) = 9*x(m) - 4*y(m). Is i(a) a composite number?
False
Let i(t) = t**2 - 8*t - 10. Is i(-6) prime?
False
Let w be -9 + 12 - 3*1. Is 1 + w - (-126 - 0) prime?
True
Let w(l) = -4*l**2 - 4*l + 14. Let y be w(-12). Let r = 957 + y. Is r a composite number?
False
Let g(h) = -390*h + 3. Let f be -12 + 2 + (-2)/2. Let u(y) = -130*y + 1. Let n(b) = f*u(b) + 4*g(b). Is n(-1) a prime number?
True
Let s(x) = 5*x + 445. Let m(c) = -3*c + 217. Let u(q) = -q + 109. Let l(a) = 2*m(a) - 5*u(a). Let f(o) = -9*l(o) - 2*s(o). Is f(0) a composite number?
False
Suppose -4*t - 26 = 3*o, 2*o + t - 4*t = 11. Let b(u) = -79*u**3 - 2*u**2 - 4*u - 3. Is b(o) prime?
False
Suppose -5*l - 358 = -4*w, -w + 8*l - 4*l = -95. Is w a prime number?
False
Let w be 2 + 4 + -4 - -3. Suppose -w*x + 35 = -1910. Is x composite?
False
Suppose -7*a + 10*a = 9645. Is a prime?
False
Is -51*((-10)/25 + 267/(-45)) prime?
False
Suppose -2105 - 938 = -t + s, -4*t = 5*s - 12208. Is t a composite number?
True
Let u be (-12)/(-8)*62*3. Suppose 0 = -2*g + 5*g - u. Is g prime?
False
Let q(w) = 2*w**2 + 4*w - 5. Is q(4) composite?
False
Let p(u) = -u**2 - 3*u - 4. Let w be p(-3). Is (-8)/w + 242/2 a composite number?
True
Let v(u) be the first derivative of u**3/3 - 7*u**2/2 + 2*u - 1. Let y be v(6). Let d = 2 - y. Is d a composite number?
True
Suppose t + 3*t = 8. Is (t - 21/12)*76 prime?
True
Let o(k) = k**2 - 1. Let x be o(2). Suppose 0 = a - 5*y - 13, 2*y + x*y - 5 = -5*a. Suppose 0 = -0*u - a*u + 75. Is u prime?
False
Let t = 4 - -26. Let p = 0 - 0. Suppose -t = -5*z - p. Is z composite?
True
Let g(s) = -s. Let i be g(-3). Suppose 2*t + 3*t - 5*h - 1165 = 0, i*h + 464 = 2*t. Is t a composite number?
True
Suppose l - 77 - 216 = 0. Is l a composite number?
False
Let f = 10 + -14. Let y be (-1 + f)*(-4)/10. Is 62*1*1/y prime?
True
Let i(p) = p - 6. Let b be i(6). Is (3 - 40)/(-1 + b) a composite number?
False
Let a = 10 - 30. Let r = 83 - a. Is r composite?
False
Suppose b = 6*b - 10. Let y be (-86)/7 + (-2)/(-7). Is b/y - (-183)/18 prime?
False
Let y be 4/(-14) + (-9)/(-7). Let l be 6/(-12)*(-1 + y). Suppose w + 26 = j, -j - 3*w - 2*w - 4 = l. Is j a composite number?
True
Let a = 403 - 126. Let k be 60/(-9)*(-26 - 1). Let t = a - k. Is t a composite number?
False
Let p(f) = f**2 + 7*f + 3. Let o be p(-7). Let l be -3*((-24)/9 + 2). Suppose 3*k = -9, -2*u + 251 = -l*k + o*k. Is u composite?
False
Let n(q) = 2*q**3 + 4*q**2 + 5*q - 1. Let j be n(-9). Is j/(-8)*(-4)/(-5) prime?
False
Is (-3 + 1)/(-1 - 1020/(-1028)) a composite number?
False
Let n be 1/(-1) + 9/(-1). Let d be n/(-2)*(-2 + 3). Suppose -2*a - 67 = -w, -d*w = -a - a - 335. Is w a composite number?
False
Suppose -5*u - 4*a + 377 = 0, u = -0*a + 2*a + 81. Is u composite?
True
Is (-14)/(-77) + (-120741)/(-33) a prime number?
True
Let t(y) = y**3 - 11*y**2 + 7*y - 3. Is t(11) a composite number?
True
Suppose 2*d - 4*d = 0. Suppose 2*f - 8*z + 3*z - 209 = d, 5*f = -z + 482. Is f a composite number?
False
Suppose 0 = -5*y + 4*y + 4*k + 123, -5*y - 3*k = -592. Is y prime?
False
Suppose 2*o = 1 + 3. Let k(q) = -3*q**2 + o*q - 1 - 8*q**3 + 0 + 3*q**2. Is k(-2) a composite number?
False
Let l(y) = -y**3 - 10*y**2 - 9*y + 2. Let z be l(-9). Suppose 3*a = z*a + 2. Suppose 4*v = -2*s + 128, 0*v - 3*v = -a*s - 110. Is v a composite number?
True
Suppose 2*t + 4*b = -2*t + 48, 4*b = -5*t + 56. Suppose 26 = 3*c - 5*r, r = -t*c + 3*c + 34. Is (-322)/(2 - (-3 + c)) composite?
True
Suppose 8*u - 3*u = 10. Is (3/u + -1)*14 prime?
True
Suppose -5*x - 589 = -3*q + 5581, 3*x + 3 = 0. Suppose -11*h = -14*h + q. Is h a prime number?
False
Let s = 1 - -1. Let p be (-6)/(1 + 0) + 2. Is (s + -1)/(p/(-148)) a prime number?
True
Suppose 10 = -2*o + 28. Let f(n) = n**3 - 8*n**2 - 8*n - 9. Let k be f(o). Is (-2 - (k + -1)) + 54 a composite number?
False
Suppose -4*j + 28 = 8. Suppose 3*i - 8 = -2*c, 4*i - j*c - 3 = -0. Suppose 2*o - 2*q - 60 = 0, 75 = i*o - 6*q + q. Is o composite?
True
Suppose 9*u - 2*u - 2359 = 0. Is u a composite number?
False
Suppose -13 = 3*r - 25. Is r/(-10) - (-447)/5 composite?
False
Let h = 8 + -5. Suppose h*l - 5*l - 10 = 0. Is (4/l)/((-2)/35) composite?
True
Suppose -b + 5*r + 31 + 11 = 0, -b - 5*r = -82. Is b prime?
False
Let i(g) = 13*g**2 + 14*g + 2. Is i(7) prime?
False
Let s(q) = -q**3 + 4*q**2 + 8*q + 5. Is s(-6) composite?
False
Is (-3 - -2)*-369 + (6 - 10) a prime number?
False
Let x(d) = -d**3 + 12*d**2 - 5*d - 5. Is x(-10) a composite number?
True
Let q(x) = 4*x + 146*x**2 - 5 + x + 3*x - 4*x. Is q(2) prime?
True
Let b be -1 + (-2 + 1 - 0). Let i = 78 + -82. Is -2*(-35)/i*b a composite number?
True
Let t be -1 - 0 - (74 - -1). Let i = 209 + t. Is i a composite number?
True
Let k = -23 + 28. Suppose k*s + 13 - 1668 = 0. Is s a composite number?
False
Suppose 5 = 2*m - 3. Suppose -2*b - m = -b, 3*p = -4*b + 413. Is p a prime number?
False
Suppose -6 = -5*c + 19. Let y = c - 3. Suppose -f + y*f = 26. Is f composite?
True
Let d = 11 + -6. Suppose -2*i - 6*l = -3*l - 185, d*i - 491 = 2*l. Is i a composite number?
False
Suppose 3*i = -2*i. Let m(u) = u**2 + u + 155. Is m(i) a composite number?
True
Suppose 0*j + 740 = 4*j. Let f = -22 + j. Is f a prime number?
True
Suppose x - 3*d - 79 = 118, 4*x + 5*d = 754. Is x a composite number?
False
Suppose -5*q = y - 6*y + 25, 0 = 5*y - 4*q - 25. Suppose -4*k - 2*r = -126, -y*r + 117 = 3*k + k. Is k a composite number?
True
Suppose -o = -0*o + 5, 4*q + 4*o - 1152 = 0. Is q a composite number?
False
Let y = 39 - 2. Is y a composite number?
False
Suppose 303 + 202 = -5*a - i, -3*a - 301 = i. Let z = -56 - a. Is z prime?
False
Let a = 429 + -52. Is a prime?
False
Let g(x) be the first derivative of -x**3/3 - 33*x**2/2 + 15*x - 6. Is g(-16) composite?
True
Suppose 15 = f + 13. Suppose 0 = f*c - 5*c - i + 45, -c + 11 = -i. Is c a prime number?
False
Suppose -493 + 112 = -g - 2*t, 2*t = 10. Is g a prime number?
False
Let f(c) = -c**3 - 6*c**2 + 5*c - 5. Let w be f(-7). Is w/3*(-53)/(-3) a composite number?
False
Suppose 2*p - 4*u - 422 = 0, p = -2*u + 123 + 88. Is p a prime number?
True
Is 45/(-105) - (-388)/7 a composite number?
True
Let r(a) = -190*a - 1. Is r(-2) prime?
True
Let m = 491 + 140. Is m a prime number?
True
Suppose 0 = -3*y - 6*j + 5*j + 1983, -3*y + 2*j + 1992 = 0. Is y a prime number?
False
Suppose 7 = -0*p + 5*p - q, -p = 5*q + 9. Is 14/(((-8)/(-52))/p) composite?
True
Let l(c) = -9*c**3 + 10*c**2 - 6*c + 19. Is l(-8) a composite number?
True
Let g be 1 - (-654 - -4 - 0). Suppose -3*v = -6*v + g. Is v composite?
True
Let t be (0 - -2)/(6/21). Suppose 2*x - t*x = -275. Is x prime?
False
Let p(y) = y**3 + 7*y**2 - 3*y - 13. Is p(6) composite?
True
Suppose -4 = -g - 3*g - 3*i, 1 = g - 5*i. Let x be g/(-4) - 9/(-4). Is 46 + x/(-4)*-2 a prime number?
True
Let