alse
Suppose -2*g = g - 18. Suppose -g = -5*p - 21. Is (-1 - 1) + (-63)/p prime?
True
Let s be -12 + (-6)/(-3)*1. Let z be 8/s*60/(-8). Is z + -6 - 2*-2 a prime number?
False
Suppose -167 - 9 = -4*q. Suppose -5*v + 29 = -6. Suppose v*b = 3*b + q. Is b prime?
True
Is (489/4)/((-11)/(-44)) a composite number?
True
Is 6/(-21) - (-1 + 14624/(-28)) a prime number?
True
Suppose -4*o + 3*s + 25 = 0, 0 = 2*o - 4*s - 0 - 20. Suppose -o*k + 650 = k. Suppose -2*x - 3*x = -k. Is x a prime number?
False
Let j = 1 + 1. Suppose 69 = 3*r + 4*f, -j*r + 32 = 4*f - 14. Is r composite?
False
Let d(f) = f**2 - 12*f - 12. Let m be d(10). Let i = -5 - m. Suppose -5*y + 18 = 2*t, 7*t - 4*t + y - i = 0. Is t prime?
False
Let t(s) = -298*s - 6. Let a be t(-5). Let i = 3 + 1. Suppose -a = -i*d - 4*q, -5*q - 1502 = -4*d - 0*q. Is d a prime number?
True
Let l(z) = -4 - 4*z - 2 + 3*z. Let k be l(-8). Suppose -288 = -2*g - k*g - 5*f, -3*f + 373 = 5*g. Is g composite?
True
Let s(v) = 2*v**2 + 3*v. Let l be s(-2). Suppose -f - 151 = -4*g, -71 = l*g - 4*g - f. Is g prime?
True
Let m be (-10)/65 - (-1746)/26. Let p = 116 - m. Is p a prime number?
False
Let m(h) = -3*h**3 - h**2 + h. Let a be m(1). Let p be a*(80/3)/(-1). Suppose -2*d = s - 23, 5*d - s = 4*s + p. Is d composite?
False
Let b = -241 + 143. Let j = 84 + 67. Let f = j + b. Is f composite?
False
Suppose 2*k - 5*k = -1533. Let s = -300 + k. Is s composite?
False
Let s(t) = -2*t**3 + 7*t**2 - 6*t + 4 + 4*t**3 + 3*t - 3*t**3. Is s(6) composite?
True
Let k be 3/1 + (3 - 4). Let b be 9/((-3)/(-24)*6). Suppose k*f - 10 - b = 0. Is f a composite number?
False
Let p be (16/(-4))/((-2)/(-73)). Suppose 13 - 3 = 5*b, 5*o = 2*b - 249. Let z = o - p. Is z a composite number?
False
Let q(m) = m**3 + 9*m**2 + 9*m + 12. Let j be q(-8). Suppose 0 = -3*n - 0*n + 24. Suppose j*c - 349 = 5*t, 4*t - n - 4 = 0. Is c a composite number?
True
Let s be 3/15 - (-37245)/25. Suppose p = -p + s. Is p composite?
True
Suppose 17 = -5*u + 492. Is u a prime number?
False
Suppose 2*z = 147 + 1123. Is z prime?
False
Suppose -541 = -4*i - 3*q + 328, 0 = -2*i - 5*q + 417. Suppose o = 7 - 5. Suppose 5*y - i = o*g + g, 5*y = -4*g + 242. Is y composite?
True
Suppose 4*p - 7*p = -840. Suppose 2*w - p - 86 = 0. Is w a prime number?
False
Suppose -3*x + 5*x - 4 = 0. Suppose 0 = -u + x*u - 65. Is u a composite number?
True
Let i be 3/5 + 2/5. Suppose -d = 4*d - 155. Is 1/((1/i)/d) a composite number?
False
Let l(p) = 1. Let t(u) = -u**2 - 6*u - 13. Let b(k) = -6*l(k) - t(k). Is b(-5) a prime number?
True
Let j(g) = -g**3 + 5*g**2 - 3*g - 3. Suppose -4 = 2*u - 10. Let t be j(u). Suppose -4*a - v - t = -53, 3*v + 2 = a. Is a a composite number?
False
Suppose -5*r + 169 = -46. Let n = r - 22. Is n a composite number?
True
Let i = -14 - -17. Is i composite?
False
Let k = 12 + -18. Is (-2)/k*(1253 - -4) a composite number?
False
Let f = -5 - -7. Let g be -2*2/(f - 1). Is 2*18 - (g + 3) prime?
True
Let p be (-6)/2 - (1 + -6). Suppose -g = -4*k + 3, -5*g + 25 = 5*k - p*g. Suppose -5*u - 67 + 180 = -3*m, -k*u = 3*m - 41. Is u prime?
False
Let x(k) = k**2 + 11*k + 2. Let z be x(-8). Suppose 4*b - 7 = 3*d, 5*d + 4 = b - 2. Let t = b - z. Is t composite?
False
Suppose -5*i + 20 = -40. Suppose 3*d = i, 2*t + d = -2*d - 632. Is t/(-2) + 10/5 prime?
True
Let s(l) = -l**2 + 7*l - 6. Let t be s(6). Suppose -7*r + 3*w + 12 = -2*r, t = -4*r - w + 13. Suppose r*y = 101 + 154. Is y a prime number?
False
Is 2302/((0 + -1)*(-16 + 14)) composite?
False
Let h(t) be the third derivative of t**5/60 - t**4/3 + 7*t**3/6 + 3*t**2. Let d be h(8). Let o = -1 + d. Is o prime?
False
Suppose 472 = 25*k - 21*k. Is k prime?
False
Suppose 2*g + 3*a + 0*a = 12, 4*a - 16 = 0. Is (-39 + 4)/(g + -1) a composite number?
True
Is 52/39 - (-134)/3 prime?
False
Let k = 14 + -20. Let x(s) = -2*s**3 - 21*s**2 - 8*s + 6. Let j(z) = z**3 + 11*z**2 + 4*z - 3. Let d(y) = -7*j(y) - 4*x(y). Is d(k) a composite number?
True
Let u(a) = -8*a**2 - 2. Let q be u(-3). Let x = -21 - q. Is x composite?
False
Let g = -18 - -23. Let b = 3 - 1. Suppose -g*j - 3*u + b*u = -269, 3*u = -5*j + 277. Is j prime?
True
Suppose -5*f + 1955 = -5*z, -5*f + f = z - 1584. Is f composite?
True
Suppose -c - 1 = 0, 0*c - c = -5*i - 9. Is ((-250)/4 + -1)*i prime?
True
Suppose -4*v + 12705 - 2965 = 0. Is v prime?
False
Suppose -5*p + 1474 = -3*p. Is p a prime number?
False
Let p(f) = -12*f**3 + f - 2 + 57*f**3 + 2*f. Is p(1) a prime number?
False
Suppose 4*q = 2992 - 116. Is q a prime number?
True
Suppose 4*z + 3*p + 1 = 5*z, -z = -2*p - 1. Let y = z + 3. Suppose -2*a + y*i = -182, -19 = -a + i + 72. Is a composite?
True
Let k = 4695 - 3130. Is k a composite number?
True
Suppose 0 = 2*y + 3*y - 960. Suppose -2*c - 3*c - 5*k + 20 = 0, -3*c = 2*k - 12. Suppose -c*q - 44 + y = 0. Is q prime?
True
Suppose -4 = -4*a - 4*p + 476, 3*a = -5*p + 358. Is a prime?
False
Let r = 10 - 2. Let q(o) = 0 - 4*o**2 - 2 + o**3 - r*o + 1. Is q(6) composite?
False
Is (7/(-2) + 3)/((-4)/10216) prime?
True
Let g = -4 - -6. Let b(h) = h + 5*h - 3 - g + 0. Is b(6) composite?
False
Suppose 2*r = -3*a - 0*r - 9022, 4*r = 16. Let t = -1751 - a. Is t composite?
False
Let v(h) = -3*h**2 - 4*h + 4. Let x(f) = 10*f**2 + 12*f - 13. Let p(d) = -7*v(d) - 2*x(d). Let q be p(-5). Suppose 0 = -q*c + 52 + 5. Is c composite?
False
Let h be (-3 - -1)*1 - -6. Suppose -546 = 5*w + h. Let t = -75 - w. Is t prime?
False
Suppose 2*f + 2*m = f + 891, -m = -f + 885. Is f a composite number?
False
Let n = -1 + 4. Let o be -3*n/(-18)*0. Is 13 - (1 + 1) - o prime?
True
Let x = -1297 - -1884. Is x a prime number?
True
Let d(n) = -7*n - 1. Let x be d(-1). Let f = x - 7. Is f/((-33)/30 - -1) composite?
True
Let m = 57 - -92. Is m a prime number?
True
Let c be (-1)/2 + (-38)/(-4). Is (0 - 307)*(8 - c) a composite number?
False
Let l(o) = -o**2 - o. Let t(c) = -156*c**2 - 3*c. Let j(s) = 2*l(s) - t(s). Is j(1) a composite number?
True
Let m(s) = 7*s - 19. Is m(12) composite?
True
Let g = 456 + 1261. Is g composite?
True
Let s(l) = -l**3 - 9*l**2 - 9*l - 5. Let o be s(-8). Suppose -o*q + 6 = -4*q. Is (-263)/(-2) + q/(-4) prime?
False
Let t = -6 - -9. Suppose 4*n - b = 17, 5*n - t*b - 13 - 17 = 0. Suppose -2*j = 4*y - y - 149, 0 = n*j + 3*y - 216. Is j a prime number?
True
Is (-62)/(0 - -1 - 3) prime?
True
Suppose -5*z - 4*s + 50 + 875 = 0, 2*s = 2*z - 370. Is z a composite number?
True
Let t(j) = -105*j + 3. Is t(-2) a prime number?
False
Let y(r) = -3*r + 1. Let z(c) = c**2 - 7*c - 2. Let j be z(7). Let n be y(j). Is 0 + 1 - -3*n a composite number?
True
Let o = 2868 + -1351. Is o a composite number?
True
Suppose -3*z + 0*z + 15 = 0. Suppose z*c - 3*c - 92 = 0. Is c composite?
True
Let h = 887 + -586. Is h composite?
True
Suppose -140 = -b - 3*b. Is 14/b + (-1583)/(-5) a composite number?
False
Let s be (-1 + 3)*(-18)/4. Let x = s + 23. Is 2/7 + 486/x prime?
False
Let t(x) = 60*x - 4. Let v be t(7). Is v/12 - (-4)/(-6) a prime number?
False
Let s(v) be the second derivative of -65*v**3/6 - 3*v. Is s(-1) a prime number?
False
Suppose -4*v = -8275 - 4017. Is v prime?
False
Let n(a) be the third derivative of a**4/24 - a**3 + 4*a**2. Let g(r) = -2*r + 13. Let s(v) = 3*g(v) + 5*n(v). Is s(0) a prime number?
False
Suppose -3*t = -2*i - 101, -t - 2*i + 42 = -i. Is t a composite number?
False
Is 5*(-16)/(-20) + 1689 a prime number?
True
Suppose 5*c - 3 - 7 = 0. Suppose -c*k + 0*n = -2*n - 326, 3*k + 3*n = 489. Is k prime?
True
Let z(l) = -2*l - 7. Let q be z(-4). Is 3484/24 - q/6 a composite number?
True
Let a = 1482 + -815. Is a a composite number?
True
Let t(m) = m**2 + 5*m - 3. Let v be t(-6). Suppose v*g + 0 = 3*c + 12, -5*g + c + 24 = 0. Suppose 2*f - g*f - 263 = -5*u, 4 = f. Is u composite?
True
Suppose 4*j - t = 2*j + 2339, 3*t = -5*j + 5842. Is j a composite number?
True
Suppose 0 = 5*i + 2*g - 2395, -i + 2*g + 479 = 7*g. Is i a composite number?
False
Let g(r) = -31*r - 56. Is g(-9) prime?
True
Let o = -30 + 43. Let m(x) = -x**2 + 16*x - 4. Is m(o) prime?
False
Suppose -p + 0*p - 4*k = -255, p - 250 = k. Is p a composite number?
False
Let y(z) = -6*z**2 - 4*z - 31. Let l(s) = -s**2 - s - 6. Let g(b) = -11*l(b) + 2*y(b). Let p be g(3). Is (p - -73) + (1 - 1) composite?
True
Let o = 0 + 0. Su