= 2*x + 110. Let d be (1/(-3))/(3/x). Is y(d) composite?
True
Is ((-1346)/(-10))/(5/25) a composite number?
False
Let x(t) = t**2 - t + 3. Let a be x(0). Suppose a*m - 46 = m. Is m prime?
True
Let v be -1 - (-2 + 0 + 1). Suppose v*i - 2*i + 74 = 0. Is i composite?
False
Let p be -106*(-2 - (0 - 3)). Is (p/(-6))/(5/15) composite?
False
Let r be 0 - 1 - (2 - -1). Let i(p) = -p**3 + 6*p**2 - p + 12. Let n be i(6). Is (-134)/r + 3/n composite?
True
Let f be 8/(-6)*3/(-2). Suppose i + f + 1 = v, -2*v = -5*i - 12. Is v/(-1 - (-21)/18) a composite number?
True
Suppose 21*g - 26*g = -670. Is g prime?
False
Let p(l) = -5*l**2 + 9*l. Let j(r) = -3*r**2 + 6*r. Let i(f) = 8*j(f) - 5*p(f). Is i(-5) a composite number?
True
Suppose -o + 29 = 4*z - 0*o, 0 = 3*z + 2*o - 23. Let g(q) = -q**2 + 9*q - 10. Let c be g(z). Suppose -3*r = -c - 53. Is r prime?
True
Let q be (-1 - 0)*3*-1. Let l = q - -15. Let p = l - 5. Is p prime?
True
Suppose -2*r + 2095 = 389. Is r a prime number?
True
Let s be -5*-2*1/2. Suppose -2*r = -s*p + 290 + 179, -r = -3*p + 281. Is p a composite number?
True
Is -2*(4 - 540/8) composite?
False
Let t = 5 + 0. Suppose 410 - 1215 = -t*r. Is r prime?
False
Suppose -1 = 4*b - 21. Suppose -b*c = -5*v + 1040, c - 4*c = 5*v - 1064. Is v composite?
False
Let k = 10 + -8. Suppose -5*j + k*t = -613, -5*j + 2*t + 614 = t. Let f = -56 + j. Is f prime?
True
Let d(s) = -s**2 - 6*s + 3. Let x be d(-6). Let v(m) = 2*m**3 + m**2 - m - 1. Let t be v(x). Suppose -t = c - 2*c. Is c a composite number?
False
Let t = 6 - 2. Let o = 6 - t. Suppose -3*v + o*c = -31, -3*v + c = -0*c - 35. Is v prime?
True
Suppose -170 = 2*i - 2*v - 1344, 0 = 3*i + v - 1757. Is i a composite number?
True
Let t be 6/4*24/9. Suppose 0*d + t*d = -308. Let y = -55 - d. Is y a composite number?
True
Suppose -3409 = -4*r + 3*i, -2565 = -4*r + r + 5*i. Is r/4 - 3/2 composite?
False
Is ((-30)/12)/((-1)/10) composite?
True
Suppose 0 = 2*b - 0*u - u - 425, -3*b - 2*u + 620 = 0. Suppose 4*l - 2*d = -426, 4*d - 218 = 4*l + b. Let m = l - -152. Is m prime?
False
Let k be ((-3)/9)/((-1)/6). Is 12*(k - 6/4) a prime number?
False
Let q be (-37)/(-7) - 2/7. Let g(i) = 8*i + 3. Let t(w) = -15*w - 8. Let z(x) = 9*g(x) + 4*t(x). Is z(q) prime?
False
Let p be 192 - 1*(-3 - -3). Suppose 3*r - 277 = -r - 3*a, 3*r - p = 3*a. Is r prime?
True
Let a(k) = k**3 - k**2 - k + 203. Let x = 6 + -6. Is a(x) a composite number?
True
Let z(r) = 40*r - 1. Let u be z(-3). Let w be ((-246)/(-15))/(5/(-25)). Let d = w - u. Is d a composite number?
True
Let f = -750 - -2263. Suppose -g = -0*g + 4*k - 495, -3*g - 5*k = -f. Suppose 3*l = 5*d - 1264, -2*d + l = -2*l - g. Is d a composite number?
False
Suppose 2 = 4*t - 14. Let l = -3 + 7. Suppose -l*g - a = -409, 5*g - a - 530 = t*a. Is g composite?
False
Let s be 1/((12/21)/4). Suppose -2*q + 1650 = 5*a - s*q, -2 = 2*q. Is a a composite number?
True
Let h = 6 - 6. Suppose h = -3*f + 4*w + 51, -2*f + 5*f - 2*w = 57. Is f a composite number?
True
Let p(w) = 24*w**2 - 7*w + 6. Is p(5) a composite number?
False
Let o(w) = 3*w - 10. Let s(n) = 4*n - 11. Let y(v) = -3*o(v) + 2*s(v). Let c be y(6). Suppose -3*f - z = -4*f + 24, 4*z = -c*f + 30. Is f a prime number?
False
Let h = -82 - -243. Is h prime?
False
Let q(l) = -l - 67. Let b be q(0). Let p = 120 + b. Is p composite?
False
Suppose -6*o - 647 + 14873 = 0. Is o prime?
True
Let w(z) be the third derivative of 17*z**5/15 - z**4/12 + z**3/6 - z**2. Let y be 1/(2*(-1)/(-2)). Is w(y) a prime number?
True
Let s = 1021 + -435. Is s prime?
False
Let c = 6 + -10. Let v(y) be the first derivative of -y**4/4 - y**3/3 - 2*y**2 - 6*y + 2. Is v(c) a prime number?
False
Suppose 35*m = 31*m + 76. Is m composite?
False
Is 22/(-3)*(-9)/2 a prime number?
False
Let f = 5 - 2. Suppose -l - f*q = -4*q - 160, -2*l - 3*q + 305 = 0. Is l prime?
True
Let p(l) = 63*l**2 + l - 1. Let z be p(1). Suppose z = m - 94. Is m prime?
True
Let b be 6/(-4)*8/(-4). Suppose 4*h + 28 = 132. Suppose y = b*m + h, -6*y + y + 3*m = -70. Is y prime?
True
Let b(t) = t + 1. Let n be b(7). Is 57/4 + 6/n composite?
True
Is (3 - 11/4)*6172 a prime number?
True
Suppose -4 - 2 = -2*j. Suppose 5*l = 20, -1 = j*o - 4*l + 15. Suppose -q = 3*k - 122, o = 3*q - q - 3*k - 271. Is q a prime number?
True
Let h(g) = 0*g + 2*g + 5*g + 7. Let n(k) = 2*k**2 + 4*k. Let d be n(-3). Is h(d) a composite number?
True
Suppose 5*l = 5*t - 0*t, 0 = 2*l + 4*t. Suppose -5*p - 662 = -2*a - 2*a, l = a - 5*p - 173. Is a prime?
True
Suppose 3*q + 29 = -16. Let c be (-18)/q*(-20)/(-6). Suppose h = -4*o + c*h + 482, 125 = o - 3*h. Is o a prime number?
False
Let w = -268 + 459. Is w composite?
False
Suppose -5*d + 8 - 3 = 0. Is 47 + 8 - (1 - d) a prime number?
False
Let n(x) = -x**2 + 2. Let m = 2 + -4. Let i be n(m). Is i/(1*(-3 + 2)) a composite number?
False
Is 1/(-3)*(-117)/1 composite?
True
Let m be 2/(21/(-18) + 1). Let z be (m/(-10))/(2/5). Suppose z*t = 5*a + 39, 4*t - 2*a = t + 39. Is t a prime number?
True
Let c(z) = -7*z**3 + 4*z - 5. Is c(-4) composite?
True
Let q(f) = -f**2 + f + 475. Let y be q(0). Is (-1)/(-4) - y/(-4) a composite number?
True
Let j(s) = -7*s - 1. Let u be j(-4). Let h be -2 + (-148)/(-8) + 3/(-6). Let x = u - h. Is x a prime number?
True
Suppose 0 = 4*c - 0*c - 2020. Is c a prime number?
False
Suppose 2160 = 7*f - 12*f. Let t = f - -669. Is t a prime number?
False
Let g(r) = -r**2 - r + 5. Suppose 5*v - 4*f + 15 = 3, 3*f = 5*v + 9. Let c be g(v). Suppose -c*z = -z - 316. Is z composite?
False
Suppose -2*l + 0*a = -5*a - 126, 0 = l - a - 60. Let y = l - -21. Is y composite?
False
Let z(u) = 2*u**2 - 4*u + 1. Let i(s) = -s**3 + s**2 + s + 10. Let q be i(0). Suppose 0 = -5*v - q, -2*o - v = 2*o + 30. Is z(o) a composite number?
False
Let d(h) = -36*h + 29. Is d(-21) prime?
False
Let b(j) = j**3 - 12*j**2 - 9*j - 5. Is b(13) a prime number?
True
Is (1346/3)/((-2)/(-3)) prime?
True
Is (139016/72 + (-4)/(-18))*1 a prime number?
True
Let i(h) = -3*h**3 - 4*h**2 + 6*h - 7. Let b be i(-5). Suppose 0*k - 2*k + b = 0. Is k prime?
False
Suppose -2*n = -2*s + 10266, 3*s - 15383 = -0*n - 5*n. Is s a prime number?
False
Let n be ((-15)/(-6))/(2/(-4)). Is (-177)/(-5) - (-2)/n a prime number?
False
Suppose -4*t + 4637 = 3*x, 6180 = 4*x + 3*t + t. Is x a prime number?
True
Suppose 1069 = 2*c + 51. Is c a prime number?
True
Let m be ((-5)/(-4))/(3/12). Is m*21/3 + 2 a prime number?
True
Let h(j) = 23*j**3 + j**2 - 2*j - 3. Is h(4) composite?
True
Let s(h) = -184*h + 1. Is s(-3) a composite number?
True
Let j be (-6)/(-21) + (-12)/(-7). Suppose 5*o + 4*b - 121 = 0, 0 = -4*o - b + j*b + 80. Is o prime?
False
Let h be 21/12 - (-3)/12. Suppose -a = 3*n + 4 - 2, 0 = h*n. Is (a/6)/((-2)/138) composite?
False
Let g(b) = 6*b + b + 4 + 5. Let p be g(-6). Let s = p - -64. Is s a composite number?
False
Suppose -25890 = 3*l - 9*l. Is l a prime number?
False
Suppose -130 = 2*b - 3*b. Let q = b - 19. Suppose r = -0*a - 3*a + q, -4*a + r = -148. Is a composite?
False
Suppose 0 = -q - q - 24. Let o(b) = -b**3 - 12*b**2 - 3*b - 34. Let g be o(-12). Let x = g - q. Is x prime?
False
Let f = 15 - 11. Suppose -y = -0*y + f. Is (-157)/(-2) + (-2)/y prime?
True
Let i = 3542 - 2071. Is i composite?
False
Suppose 2*h + 32 = -h + 4*z, -5*h - 3*z = 5. Let u(w) = 5*w - 2 - 2*w + w**2 + w - 2*w. Is u(h) a composite number?
True
Let z(q) = -q - 7*q + q - 3*q**2 + q**3 + 11*q**2 + 11. Is z(-8) a prime number?
True
Let i = 25 - 17. Let o = -12 + i. Is (-514)/(-14) + o/(-14) composite?
False
Let x(h) = 4*h**2 + 6*h - 2*h + h**2 + 4*h**2. Is x(-3) composite?
True
Let a be (3/2)/((-2)/(-4)). Let x(s) = 0 + 5*s**3 + 2 - 2*s**a - 1 - s + 3*s**2. Is x(2) a prime number?
False
Let a(q) = -q + 1. Let f be a(-1). Let x(l) = l**3 - 3*l**2 + 2*l - 3. Let u be x(f). Is u/((4/(-6))/2) prime?
False
Let x be (-1 + 0)/((-7)/35). Is (x/10)/(2/52) a prime number?
True
Let u(h) = h**2 - 5*h. Suppose -20 = -2*o - 2*o. Let b be u(o). Suppose 4*y + y - 385 = b. Is y a composite number?
True
Suppose 3*s + s + 4*i - 1012 = 0, 0 = -s + 4*i + 258. Is s a prime number?
False
Let s be (-6)/(-14) - (-106)/14. Is ((-6)/(-10))/(s/40) a prime number?
True
Is 1 + (283 + 1)/(4/14) a composite number?
True
Let c(t) = t**3 - 4*t**2 - t - 2. Let f be c(