?
True
Let i be (4 - (2 + 0)) + -8. Is (1 + -90)/(i/6) a prime number?
True
Let f(l) = 12*l + 1. Suppose s = -0*s + 7. Is f(s) composite?
True
Suppose 0 = 4*z + 4*l - 376, 0 = 3*l - 2*l - 5. Let y = z + 41. Suppose -3*k - 5*s = -0*s - y, 0 = 5*s - 25. Is k prime?
False
Suppose k + 0*k - 12 = 0. Let f be ((-6)/12)/((-2)/k). Suppose -g = f*g - 92. Is g a composite number?
False
Suppose 9 - 33 = 4*h. Is 681/7 - h/(-21) a composite number?
False
Suppose x + 1 = 3. Suppose -2*u + 123 = -3*h + 490, x*u = -2*h + 228. Is h composite?
True
Let i(t) = t**3 - 3*t**2 + 1. Let g be i(2). Let h be (g - -4)*-7*1. Is (-383)/h + 6/21 prime?
False
Let v = 0 - -3. Is v/2*(-260)/(-6) prime?
False
Suppose 0 = 3*w + 2*y + 185, w + y + 74 - 11 = 0. Let s = 136 + w. Is s a composite number?
True
Suppose -i = 2, 170 = 5*h + 2*i - 591. Suppose 0 = -5*t + 2*t + h. Is t a prime number?
False
Let o = 11 + -7. Suppose z + o*z + 3*j = 75, 4*z - 60 = 4*j. Is z a prime number?
False
Let c = 40 - 24. Suppose -2*y = -3*z - 15, c = 5*y + z - 30. Suppose 4*w - 74 = f, f - 6*f = -w + y. Is w prime?
True
Let l(p) = -p**3 - 5*p**2 - 4. Let x be l(-5). Is 85/(-2)*(x - -2) a composite number?
True
Suppose 0*s - 885 = -5*s. Is s composite?
True
Let u = 4 - 1. Suppose 0 = -u*i + 4*r + 448, -5*i - 4*r - 312 = -1048. Let g = i - 21. Is g a prime number?
True
Let p(x) = x**3 + 8*x**2 - 10*x + 7. Let y be p(-9). Suppose 4*u - 4*q = -0*u + y, 7 = 4*u + 5*q. Suppose u*a - 423 = -0*a. Is a a prime number?
False
Let o(q) = -4*q - 2. Let n be o(2). Is (-236)/n*(-30)/(-12) a prime number?
True
Is 36 + -39 + -1 + 1 + 1942 prime?
False
Let t = 4 - 6. Let a = 0 - t. Is -11*(-3)/(3/a) a prime number?
False
Let x(l) = 8*l**3 - 10*l**2 - 6*l + 7. Let k(w) = 6*w - 1. Let d be k(1). Is x(d) a composite number?
False
Suppose -n - 4*n = 10. Let z(x) = 2*x**3 + 3*x**2 + 2*x + 3. Let t be z(n). Is t/(1*(-1)/3) a prime number?
False
Suppose -3*n - 2*n + 15 = 0. Suppose n*t = -0*t + 42. Is t a composite number?
True
Let m(u) = 18*u - 1. Let t = 2 - 3. Let r be m(t). Is -2*(0 - r/(-2)) a prime number?
True
Let f be ((-1)/(-2))/(2/(-52)). Let n = f + 9. Is n/14 - 1623/(-21) composite?
True
Suppose 0*f = -f - 4, -d = f - 23. Let b be (-2)/(-9) + 318/d. Suppose -c + 23 = -b. Is c composite?
True
Let i(f) = f**2 + 7*f + 5. Suppose -4*q = -4*v + 24, -q - 4*v = 11 + 5. Let b be i(q). Suppose c - 2*c + b = 0. Is c a prime number?
True
Let n = -17 - -8. Let l(g) = -g**3 + g. Let r(o) = -o**3 - 13*o**2 + 2*o - 5. Let w(v) = l(v) + r(v). Is w(n) prime?
True
Let u(y) = 2*y**2 - 12*y - 5. Let l(h) = 2*h**2 - 2*h. Let j be l(2). Suppose j*i - 15 - 21 = 0. Is u(i) a composite number?
True
Let j(g) be the first derivative of -g**2 + g - 2. Let s be j(-3). Let p(u) = 2*u**2 - 6*u - 9. Is p(s) composite?
False
Suppose 0 = -5*p + 11 + 24. Suppose s + p + 21 = 5*m, 4*m - 29 = 3*s. Let y(l) = -3*l**3 - 4*l**2 - l + 3. Is y(s) prime?
False
Let o(a) = a + 13. Let l be o(-10). Is 109 + 0 + (l - 6) composite?
True
Suppose 233 = -4*i + 1045. Is i a prime number?
False
Suppose -3*s + 1990 = 5*d, 3*d - 1293 = -s - 103. Is d composite?
True
Suppose 19*h = 18*h + 191. Is h composite?
False
Suppose 2*i - 10 = 0, -n + 4290 = 4*n + 5*i. Is n prime?
True
Suppose 2*q - 4*i = -28, 40 = -8*q + 3*q + 4*i. Is (-986)/q - 2/(-4) a prime number?
False
Let b be 76/18 - (-2)/(-9). Suppose 9*g - b*g = 10. Suppose -522 = -4*l - g*m, l + 6*m - 2*m - 127 = 0. Is l prime?
True
Let g be 1 + ((-2)/(-2) - -41). Let t be -2 + 1*(g - 2). Suppose c - t = -2*c. Is c prime?
True
Let i be 2 - ((1 - 4) + -343). Suppose -3*h + i = 3*b, 0 = 3*h + 3*b - 5*b - 333. Is h a composite number?
False
Let y(u) be the first derivative of 7*u**2 + 5*u + 3. Is y(6) composite?
False
Suppose -2*o + 5*j + 35 = 0, -2*j - 2*j + 62 = 2*o. Suppose -7 + o = 3*y. Is (4/(-6))/(y/(-873)) composite?
False
Let c(l) = -l**2 + 8*l + 12. Let h be c(9). Suppose -k + j - 5 + 2 = 0, k - h*j = 3. Is (k/(-4))/(1/14) composite?
True
Let y(u) be the second derivative of 23*u**5/20 - u**4/12 + u**3/6 - u**2/2 - u. Is y(1) composite?
True
Suppose -f + 5*f = 8. Suppose 0 = -3*i + f*i + 35. Is i a composite number?
True
Suppose -145 = -5*d + 10. Is d prime?
True
Let x(y) = 68*y**3 + 2*y - 1. Let w(i) = -3 + 2*i + 0*i - 3*i. Let j be w(-4). Is x(j) prime?
False
Let m = 110 + -31. Let t be (-4)/14 - (-8)/28. Suppose 0 = -t*s - s + m. Is s a composite number?
False
Let v = 927 + -512. Suppose -5*l + v = -10*l. Is (3 + 0 - l) + -3 prime?
True
Let k(w) = w**3 - 2*w**2 - 4*w - 2. Suppose a - 2 - 3 = 0. Is k(a) composite?
False
Let m(u) = u - 7. Let j be m(5). Let l be (-5)/j*(-6)/(-5). Suppose 2*z = -4*n + l*z + 383, n + 5*z = 122. Is n a prime number?
True
Let g = 4 - 7. Let j be 4/(-3) + (-1)/g. Is 2 + 34 + j + 3 a composite number?
True
Suppose -c - 3*c - 36 = 0. Let g(a) = -a**3 - 8*a**2 + 3*a - 7. Is g(c) a prime number?
True
Let p(l) = 96*l - 71. Is p(16) prime?
False
Is 0 - ((-17752)/(-2))/(-4) prime?
False
Suppose 41 = 3*r - 19. Suppose -3*w - r = -5*w. Is w a composite number?
True
Let k(l) = l**3 - 4*l**2 + 2*l - 6. Let f be k(4). Suppose -7*d + 144 = -3*d. Suppose 0 = -3*y + f*t + 49, -y = -3*y + 2*t + d. Is y prime?
True
Let u(n) = -2*n**2 + 10*n. Let w be u(5). Suppose 0*a = -4*a + 3*q + 2, 10 = 4*a + q. Suppose -s = -a*d - w*s + 71, 5*d + 2*s = 164. Is d composite?
True
Suppose t = 2*a + 12, -5*a - 24 = -2*t + t. Is -1 + (-1 - a) + 315 a prime number?
True
Suppose -4*u = -31 - 29. Is 6/u - (-173)/5 composite?
True
Let b = 261 + -131. Suppose 26 + 16 = p + 3*d, 5*p - b = 5*d. Suppose -3*i + p = -i. Is i a composite number?
True
Suppose 0*z + z = -1. Is (z + 1)/(-2) + 85 composite?
True
Let q = -693 + 1090. Is q a prime number?
True
Suppose -2*p + 96 + 218 = 0. Is p a composite number?
False
Suppose -2*a - a + 374 = u, 0 = 3*u - 5*a - 1052. Is u composite?
False
Suppose 18 = -0*d + 3*d. Let b be (6/4)/(d/8). Suppose 0 = m + c - 93, 2*c = -b*m - 3*m + 471. Is m a prime number?
False
Let l be (-1)/(1/(-18)) + 0. Let z be (-4)/8 - l/(-4). Is 12/9*66/z prime?
False
Let c = 22 + -17. Suppose -4*m + c*m - 409 = 0. Is m prime?
True
Let f(l) = l**2 - 5*l + 2. Let g be f(5). Suppose 2*t = -g*v + 844 - 256, 4*t - 1467 = -5*v. Is v composite?
True
Let g be (-36)/8*(-131 - 1). Suppose k - 5*l = g + 139, 733 = k + 2*l. Suppose -5*h - 4*x = -k, -4*h + x + 599 = -0*x. Is h composite?
False
Is (118/6)/((-4)/(-132)) composite?
True
Let m = 7511 - 2782. Is m a prime number?
True
Suppose -5*c = -2*a + 350 + 55, -3*a - 4*c = -619. Is a prime?
False
Suppose -2 = -2*a + 2. Let h(b) = -3*b - 5 + b**a + 2*b**2 + 0*b. Is h(-5) composite?
True
Let g = -7 - -11. Suppose -q = g*q - 75. Is q prime?
False
Suppose 2*u + 2*r = 14 + 18, 4*r - 81 = -5*u. Let p = 112 - u. Is p composite?
True
Let n(b) = -b**3 - 7*b**2 + 5*b - 11. Is n(-8) a composite number?
False
Let d(b) = 86*b**2 + 3*b + 4. Is d(3) a composite number?
False
Let h = 1 - -1. Let x(p) = -h*p + 2*p - p**2 + 1 + 53*p**3. Is x(1) prime?
True
Is ((-470)/6)/((-64)/12 - -5) a prime number?
False
Let k = 0 + 3. Suppose -4*j + k = -3*j. Suppose j*t + 9 = -0*t, 0 = 3*a - 3*t - 240. Is a a composite number?
True
Suppose 5*u = -0*u. Let v = 0 + u. Suppose v*b = -2*b + 14. Is b a prime number?
True
Let j(b) = b**3 + 6*b**2 + 2*b + 3. Let k be j(-6). Suppose 2*r = -2*r + f + 58, -66 = -4*r - 3*f. Is 2*(-3)/(k/r) composite?
True
Let a = 5 + -3. Suppose 0 = -a*q - 3*t - 2*t + 49, -32 = -q - t. Is q prime?
True
Let l = 34 - -9. Is l composite?
False
Suppose -2*c - 4 = -2*v - 16, -5*c = 3*v - 22. Is (c/(10/(-628)))/(-2) a prime number?
True
Let x = -371 + 1353. Is x a composite number?
True
Suppose -4*y = -2*d + 4, -4*y - 4 + 2 = -d. Suppose y*c = -4*c + 60. Is (-4)/10 + 1911/c composite?
False
Let d be (1/(-3))/(5/15). Is 74/1 + (d - 2) a prime number?
True
Suppose -2*w = -5*w + 4*n - 31, 4*w - 3*n = -39. Let q = -6 - w. Is q*2/12*106 composite?
False
Let x be 284/((-3)/((-36)/8)). Suppose -64 = 2*v - x. Is v composite?
False
Let c = 11 + -8. Let r(l) = 1 + l**2 + 0*l - l - l. Is r(c) prime?
False
Let h = -53 - -31. Let v be (h/4)/(2/4). Is (21/3)/((-1)/v) prime?
False
Suppose 3*u - 277 = 212. Is u composite?
False
Let i = 769 - 502. Is i a prime number?
False
Suppose -37 = -5*i 