Let u = 31 + 46. Is u a composite number?
True
Let d be ((-10)/(-4))/(6/(-12)). Let b be -1*(1 - 4)*d. Let q = 50 + b. Is q prime?
False
Let j be (-2 - 2)*(-3)/6. Suppose j*r - 105 = -r. Is r composite?
True
Let m(z) = z**2 + 5*z - 9. Let q be m(-7). Suppose -q*b = -b - 136. Suppose -4*p = 0, -4*s - 4*p = -b - 442. Is s a prime number?
False
Let c(d) = -77*d**3 - d**2 + 4*d - 5. Is c(-3) a prime number?
True
Is (14*1/(-1))/((-2)/397) prime?
False
Suppose -185 = 5*t - 7*k + 2*k, -k + 2 = 0. Suppose -w - h + 280 = 3*w, -5*w = -4*h - 350. Let v = t + w. Is v a composite number?
True
Let x(q) = 3*q**2 - 10*q + 3. Is x(14) a prime number?
False
Let z(f) = 3*f**2 + 5*f - 1. Let l = -3 + 3. Suppose l = 3*v - 10 - 2. Is z(v) a composite number?
False
Suppose -2*x + 4*c = -5 - 13, 2*x + 3*c = -17. Is (x - 0)/((-3)/75) a prime number?
False
Suppose -5*i + 305 = 40. Let a = i + 158. Is a a composite number?
False
Suppose -4*y + 90 = -34. Suppose -r + y + 288 = 0. Is r prime?
False
Let d be (-4)/3*(-93)/2. Is (d/(-8))/((-6)/24) composite?
False
Suppose 78 - 289 = -a. Is a a composite number?
False
Let s = 0 + 3. Suppose -s*u + 147 = -0*u. Suppose 56 = 3*x - u. Is x prime?
False
Let m be (-1 - -2)/((-7)/(-28)). Suppose 4*f = 4*s - m, -4*f + 3 = -1. Suppose s*w - 53 = w. Is w a composite number?
False
Is (-1 + 152)*(-1)/((-4)/44) composite?
True
Suppose 0 = -4*x - 2 + 18. Suppose -x*j + 594 = 2*t, -104 = -j - 5*t + 40. Is j a composite number?
False
Is (-692 - (-3)/3)*-1 composite?
False
Suppose 7*z - 5*x = 2*z - 70, -3*z + 5*x = 48. Let c(d) = 0*d**2 + 7 - d**2 - 22*d - 1. Is c(z) a composite number?
False
Is (-147192)/(-28) + (-1)/(-7) a prime number?
False
Suppose 3*h - 865 = 2*h. Is h prime?
False
Let b(u) = -76*u + 1. Let f be ((-3)/(-2))/(6/16). Suppose 4*o + 4*l = 16, 4*o + f*l = 2*o + 18. Is b(o) a prime number?
False
Suppose 112*c - 1558 = 110*c. Is c a composite number?
True
Let i(f) = 53*f**2 + 3*f - 4. Is i(2) a prime number?
False
Suppose -2 - 1 = x. Let f be x*(21/9 + -2). Is (-1 - -52) + -1 - f composite?
True
Is ((-9)/(-6))/((-9)/(-534)) a prime number?
True
Let z = 23 - 2. Is z composite?
True
Is (1 + -1 + 1)/((-46)/(-55982)) a composite number?
False
Suppose -5534 = -5*f + 51. Is f prime?
True
Let g(l) = -l**2 - l + 18. Let d be g(0). Suppose -d = t - 95. Is t a composite number?
True
Suppose 0 = -2*k + 9 - 1. Is (-222)/k*208/(-24) a prime number?
False
Let d be 3 - 18 - (-2 + 0). Suppose -4*r + 33 = -v, -4*v + 6 = -r + v. Let u = r - d. Is u composite?
True
Let o(d) = d + 2. Let x be o(-6). Let z = 6 - x. Suppose -z = 2*n, -2*n - 40 = 3*r - 429. Is r prime?
False
Suppose q - 9 = -2*a + 2*q, -3*a = -5*q - 24. Suppose a*w + 2*w = 0. Suppose w = -k + 67 + 52. Is k a composite number?
True
Let r be (2252/12)/((-1)/(-3)). Suppose 3*i - 4*i + r = 0. Is i a prime number?
True
Suppose 68 = 3*q - 529. Is q composite?
False
Suppose 5*y = -y + 294. Is y prime?
False
Let c be (-1 + -2)/(1/(-56)). Let i = c + 23. Is i composite?
False
Suppose 2*c - 79 = 563. Is c a composite number?
True
Let r(w) = -w**3 - 2*w**2 - 6*w - 5. Let b = -20 - -16. Is r(b) composite?
True
Let y = 12 + -6. Let i(o) = o - 13. Let b be i(y). Let p(z) = -z**3 - 3*z**2 - 4*z - 1. Is p(b) composite?
False
Let g = -759 + 1646. Is g a prime number?
True
Suppose 50*r - 532 = 46*r. Is r a prime number?
False
Suppose c - 8 = -4*s + s, -5*s + 5*c = 0. Suppose s*b = -172 - 172. Let k = b - -249. Is k a prime number?
False
Let k(b) = -b**2 + 0*b**2 + 2*b + 3 - 6 + 4*b**2. Is k(-4) a prime number?
True
Let p be 2 + -4 + (-2 - -3). Is (3 - (-2 - 31)) + p a prime number?
False
Let f = -7 - -12. Let i(x) = x + 1. Let c be i(5). Suppose -3*w = -5*n - 55, -f*w - c*n + 2*n = -30. Is w prime?
False
Suppose 5*v - 1 = -21, -5*v - 176 = -t. Suppose 5*b - t - 154 = 0. Is b composite?
True
Let t(b) be the first derivative of b**5/20 - b**4/6 - b**3/2 + 7*b**2/2 + 3*b + 3. Let q(u) be the first derivative of t(u). Is q(5) a prime number?
True
Let x(b) = 2*b**2 - 3*b + 2. Let s be x(2). Let y be (-5435)/(-20) - (-1)/s. Suppose -y = -5*u + 23. Is u a composite number?
False
Let z(d) = d**3 + 6*d**2 - 6*d - 4. Let o be z(-6). Suppose 10 + o = 3*t. Is (-6)/21 - (-88)/t a composite number?
True
Suppose c - 32114 = -c. Is c composite?
False
Suppose 0 = 7*o + 294 - 3017. Is o prime?
True
Let o(a) be the third derivative of -a**5/60 + a**4/4 + 2*a**3/3 + 2*a**2. Let v be o(6). Suppose -v*f + 9 = -47. Is f composite?
True
Is -47*(2/(-3))/(14/357) prime?
False
Let d = -7 - -9. Suppose -d*y + 24 = -4*y. Let o(s) = -s**3 - 12*s**2 - 4*s - 15. Is o(y) a prime number?
False
Let g be 0 - (-204 + 1 + -2). Suppose -5*q + g + 200 = 0. Let d = -58 + q. Is d composite?
False
Is (-1)/4*0 + 59 prime?
True
Let s(l) = l + 3. Let u(j) = -2. Let v(t) = 2*s(t) + 5*u(t). Let k be v(3). Suppose -4*o - 4 = 3*c, k*c + 3*o = 2*o + 4. Is c a prime number?
False
Suppose d = 4 - 0. Suppose d*m - 10 = 2*i, 8 = 4*i + 2*m - 3*m. Is i a composite number?
False
Suppose -1413 = -4*t - 5*t. Is t a composite number?
False
Let w(i) = 11*i**2 - 6*i + 5. Let g(o) = 22*o**2 - 11*o + 9. Let z(s) = 6*g(s) - 11*w(s). Is z(1) prime?
False
Let t(m) = -106*m + 2. Let d be t(-3). Let k = d - 137. Is k composite?
True
Is 354/4*(-14)/(-7) composite?
True
Let b = 69 - -224. Is b composite?
False
Suppose 124 = 3*t + 7. Is t a composite number?
True
Suppose -5*j + 63 = r, -25 = -2*r + 5*j + 26. Is r composite?
True
Suppose -2*v - 3*l = -4*l - 905, 0 = 3*v - 2*l - 1359. Is v a prime number?
False
Suppose 630 = -0*l + 5*l. Suppose -l = 2*p - 300. Is p a prime number?
False
Let i = 2 + 1. Suppose -3*z + 16 = 4*b, -4*z - 3*b + 0 = -19. Suppose -4*x + 3*x + 4 = 0, -40 = -z*u - i*x. Is u composite?
False
Is 1214 + 3/((-6)/2) a prime number?
True
Let x(h) = -h**3 + h**2 + h + 1. Let z be x(-1). Is (6/(-3))/(z/(-557)) composite?
False
Let z be (-6)/(-10)*(2 - -3). Let f(x) = x**3 - z*x**3 - 6 + x**3 + 6*x**2 + 5*x - 2*x. Is f(5) a composite number?
True
Suppose -137 - 498 = -5*u. Is u prime?
True
Let k = 51 - -46. Is k composite?
False
Is 1117 + 2/(-1) - (0 + 0) composite?
True
Let n(i) = 20*i**2 - 6*i + 1. Is n(6) composite?
True
Suppose 1142 = 2*d - d + m, -5*m = -d + 1124. Is d a composite number?
True
Let q(s) = s**3 + 11*s**2 - 7*s + 13. Let h be q(-11). Let i = -59 + h. Is i prime?
True
Is 237 + (-1 + -1 - (2 + -4)) a composite number?
True
Let g = -6 + 8. Is 95 + (2 - g - -2) prime?
True
Suppose 0 = -0*h + 4*h. Suppose -3*j - 5*f = -4*j + 4, -4*j - f + 16 = 0. Suppose j*s = -2*t + 756, h*t = -s + 3*t + 203. Is s prime?
True
Suppose -2*r = -t - 7*r + 2, 5*r = 0. Suppose 3 = -3*x, -5*q - 60 = 3*x + 58. Is (t*q/2)/(-1) a prime number?
True
Let g(y) = -61*y - 1. Let c be g(-1). Let u be (-16)/48 - (-10)/3. Suppose -3*d + 119 + u = 2*m, -4*m - c = -2*d. Is d prime?
False
Let p(f) = 33*f**2 - f + 1. Let h be (-1 + 1)/(1 + 0). Let c = h + 1. Is p(c) a prime number?
False
Let w(g) = g**3 + 9*g**2 - g + 1. Is w(-6) composite?
True
Let k = 1732 - 917. Is k composite?
True
Is 476 - 6 - (-2 - -3)*1 a composite number?
True
Suppose -3238 = -3*h + 2*h. Suppose -3*m = -5*n + h, 2*n + 3*m - 644 = n. Is n a prime number?
True
Let f(j) = -2*j + j + 4 + 2. Let o be f(5). Is 23*3 + o + -3 a composite number?
False
Let c(q) = -10*q - 1. Let a(l) = -l**2 - l + 1. Let g(f) = -4*a(f) + c(f). Is g(7) prime?
True
Let w(l) = -l + l**2 + 0*l**3 + 0*l**2 + 174*l**3 + 59*l**3. Is w(1) prime?
True
Let d be (-476)/6 + 4/(-6). Let g(b) = -7*b + 4. Let h be g(7). Let p = h - d. Is p a prime number?
False
Let g = 341 - -30. Is g composite?
True
Let t be (-1)/(-5) + 2562/15. Let l(v) = v**3 - 5*v**2 - 6. Let q be l(7). Let y = t - q. Is y a prime number?
True
Suppose 448 = 4*v + 5*x - x, x - 225 = -2*v. Let o = -76 + v. Is o a prime number?
True
Suppose 4*l = c - 0*l - 5, 2*c = 4*l + 26. Is c composite?
True
Let f(a) = a**2 + 6*a + 4. Let n be f(-6). Suppose -6*s + 3*s + 4*d = -10, n = -4*d. Suppose -s*m + 7*m - 91 = -4*b, m = 5*b + 24. Is m composite?
False
Is 642/1 - (-1 - (1 - 3)) prime?
True
Let t(u) = 452*u + 1. Let c be t(-1). Let r = c - -650. Is r composite?
False
Let l(g) = 591*g + 22. Is l(3) prime?
False
Let l = 707 + -496. Is l a composite number?
False
Let y = -3 + 4. Is -2 + (