s i prime?
True
Let o be 2/(3/(171/6)). Let i = -9 + o. Suppose 0 = -2*d + 12 + i. Is d prime?
True
Suppose -3*p + 4*p - 678 = g, 5*g = 3*p - 2036. Is p prime?
True
Let b(g) = -181*g + 18. Is b(-13) a prime number?
True
Let t be (-26)/(2*1/3). Let l = t + 83. Let j = l - 29. Is j prime?
False
Suppose 3*f + 62 - 21 = 5*s, -45 = -3*s - 5*f. Is ((-15)/s)/((-3)/502) composite?
False
Let z be 5 + 0/3 + 3. Let o = z - -7. Is o prime?
False
Let s(k) = -3*k - 3. Let m be s(-4). Let l = -19 + m. Let b = 56 + l. Is b a prime number?
False
Let c = 4 + -2. Suppose 0 = -r - 3*r + 4*f - 4, 2*f = 2. Suppose 4*h + t = 43 + 12, r = 2*h + c*t - 20. Is h prime?
False
Suppose 0 = -4*g + 47 + 249. Is g composite?
True
Suppose -v - 4 = w, -5 - 4 = 3*w. Let b(c) = c**2 + 2*c + 1. Let d be b(v). Suppose d = z - 1 - 32. Is z a prime number?
False
Let y = 1 + 1. Suppose w + 2*w - 5*x - 88 = 0, 3*x - 65 = -y*w. Is w a composite number?
False
Suppose -3*z - 8*q + 4*q = -25, -3*q + 12 = 0. Let b = z + 1. Suppose -b*v + 532 = -0*v. Is v composite?
True
Let u(q) = 3*q**3 - q**2 - 5*q. Let v(g) = 2*g**3 - 2*g**2 - 5*g - 1. Let m(y) = -3*u(y) + 4*v(y). Is m(-5) a composite number?
True
Let j(f) be the second derivative of 5*f**4/6 - 2*f**3/3 + 3*f**2/2 - f. Let h be j(2). Suppose -3*d - 2*d = -h. Is d composite?
False
Let q(j) = 3*j + 1. Let z be ((-4)/(-6))/(2/9). Let g be z*(-1 + 3 + -1). Is q(g) composite?
True
Is (3/(-6))/(5/(-2980)) prime?
False
Let z(d) = d**2 + 2*d + 1. Let o be z(-4). Let v = o - 15. Is v/4 - 218/(-4) a composite number?
False
Let f = -409 + 1478. Is f a prime number?
True
Suppose -158 = 3*z - 419. Is z a prime number?
False
Let g(h) = -2*h - 1. Let j be (4/2)/((-6)/(-15)). Suppose -s + 5*m = j, 0 = 4*s + m - 0*m + 41. Is g(s) prime?
True
Let s(o) = -2*o**3 - o**2 + 4*o. Suppose 17 = 4*i + 3*r + 38, 3*r + 24 = -5*i. Is s(i) composite?
True
Is 40930/25 + ((-3)/5)/3 a prime number?
True
Let f(g) = 5*g**2 + 4*g + 8. Let v be f(-8). Suppose 0 = -4*y - y - 2*i + v, -3*i - 49 = -y. Is y a composite number?
True
Suppose q = 2*q + m - 137, -4*m + 152 = q. Suppose -43 = -5*i + q. Is i a composite number?
True
Let t(o) = -2*o + 1 + 66*o**2 + 3 + 0*o - 5. Let c be t(-2). Let h = c - 44. Is h prime?
True
Suppose -4*j - 71 = -3*u, -41 = -5*u + 2*u - 2*j. Suppose -2*i = 4*s - 22, i - u = s - 0*s. Let h = 50 - i. Is h prime?
False
Let p = 156 + 93. Is p a prime number?
False
Let h(t) = -909*t + 37. Is h(-10) composite?
False
Suppose u + 4*x - 8 = 3*u, -4 = -4*u + 3*x. Is 144/14 - u/14 composite?
True
Let y = -387 + 1064. Is y a composite number?
False
Suppose -p - 4*v + 1 - 5 = 0, 0 = -3*p + 2*v + 16. Suppose p*r - 389 = -113. Is r prime?
False
Let t(h) = 25*h + 1. Let u be t(6). Let a be (-2 - -11)/((-15)/140). Let d = a + u. Is d a prime number?
True
Let n(v) = -v**3 + 4*v**2 + v. Let j be n(4). Let t = -2 + j. Suppose -3*r - 173 = -5*g, -t*g = -2*r - 3*r - 54. Is g a composite number?
False
Suppose 3*s - 3*y = 2172, -5*s - 2*y = -1784 - 1857. Is s prime?
True
Let d = 546 + 163. Is d composite?
False
Is 1/(-3) - (-1592)/6 a composite number?
True
Suppose 2*z + 4*g = z + 409, 1970 = 5*z - 5*g. Is z prime?
True
Let u be (-5)/1*4/(-5). Suppose -27 = -u*l + 25. Let k = l - 0. Is k a prime number?
True
Let f be 11 - 11 - -1*1. Is (106/6)/(f/15) a prime number?
False
Suppose x = 1784 + 795. Is x a composite number?
False
Let k be 2/(12/(-9) + 2). Is k - 1056/(0 + -3) composite?
True
Suppose f = -0*f + 22. Suppose -5*j + f = 122. Is 77/4 + 5/j composite?
False
Let l = 6 + -9. Is -1 + l*(-162)/3 a prime number?
False
Suppose -4*s + w = -2541, 3*s - 2348 + 439 = 4*w. Is s a composite number?
True
Is (-3)/2 - 1347/(-6) a composite number?
False
Let j = 916 + -622. Suppose -j = -2*b + 28. Is b composite?
True
Let r(y) = y**3 + 4*y**2 - 7*y - 5. Let d be r(-4). Let k = -13 + d. Is k a prime number?
False
Let w = -8 + 8. Suppose 497 = n + 5*b, w*n + 3*b - 1971 = -4*n. Let k = -233 + n. Is k prime?
False
Suppose 5*c - 1938 = -4*a + 3*c, 3*a - 4*c - 1459 = 0. Is a a composite number?
True
Suppose -6 = 2*a - 16. Suppose a*g = 2*r - 3*r + 1078, 5*g - 1063 = 4*r. Is g a composite number?
True
Let p be (-6)/(-8)*1*4. Let s(a) = 5*a**2 - a**2 + a**2 + 1 - a**2. Is s(p) composite?
False
Suppose 128 = -n - 0*n. Let f = 53 - n. Let d = f + -102. Is d a composite number?
False
Let d = -248 - -619. Is d composite?
True
Let c(i) = 3*i**2 + i - 2. Let q be c(-2). Let m be 1/(-4) + (-52)/(-16). Suppose m*o = q + 4. Is o prime?
False
Let p be 1/((-2)/4*2). Is -1*55/(p + 0) a composite number?
True
Suppose -4*s + 176 + 404 = 0. Is s a composite number?
True
Suppose t = -3*t. Suppose t = a - 2*a + 4. Suppose 0 = -a*z - 0*y - y + 99, 0 = -3*z + 5*y + 80. Is z a composite number?
True
Let q(n) = 7*n**2 + n - 6. Let i(g) = -15*g**2 - 3*g + 13. Let x(t) = -2*i(t) - 5*q(t). Let p be x(3). Is (p + 1)*(1 - 2) prime?
True
Suppose -u - 2*o + 20 = 0, u + o - 35 = -4*o. Let x = 47 + u. Is x composite?
True
Suppose -2*m = -430 - 458. Suppose 3*z = -z + m. Is z a composite number?
True
Suppose 0 = -5*t - r + 29, -21 = -5*t + 2*r - r. Suppose -t*x + 78 + 107 = 0. Is x composite?
False
Let r(q) = -q**3 - 6*q**2 - q. Let p be r(-6). Let w be 1 - (-2 + p/2). Suppose 5*g - 5*y - 70 = w, 0 = g + 2*y - 4 - 10. Is g prime?
False
Let y(d) = 13 - d - d**2 - 9 + 0*d**2 + 2*d**2. Is y(3) a prime number?
False
Let v(u) = u**3 - 2*u**2 + 3*u + 1193. Is v(0) a prime number?
True
Let j(y) = y - 8. Let d = 6 + 0. Let i be j(d). Is 344/24 + i/(-3) a prime number?
False
Suppose 75 = 5*x + 5*j, 4*x + 0*j - 63 = -j. Let h = 42 + x. Is h a composite number?
True
Let t = -14 + 14. Suppose t = 3*j - 6*j + 33. Is j composite?
False
Let r(l) = 212*l + 17. Is r(4) a composite number?
True
Let q(h) = 43*h - 3. Suppose -4*u - 6 = -4*y - y, -5*u + 11 = 3*y. Is q(y) a prime number?
True
Let n(j) be the second derivative of -11*j**3/6 + 6*j. Let t be 1*(1 - 2)*7. Is n(t) prime?
False
Let t(f) = 89*f**2 + 4*f + 7. Let a(z) = 44*z**2 + 2*z + 3. Let b(w) = 5*a(w) - 2*t(w). Let o be b(-1). Suppose 2*s - o = -3. Is s composite?
False
Let m(d) = 108*d**2 + d - 2. Is m(-3) a composite number?
False
Let g = -7 - 25. Let s = g - -55. Is s composite?
False
Is (66/12)/(3/138) a prime number?
False
Suppose -2*j = -2*d - 512, d = -4*j - 0*d + 999. Is j a composite number?
False
Suppose 3*s + 34 - 10 = 0. Let i(d) = d**3 + 8*d**2 - d - 10. Let x be i(s). Is (95/x)/((-3)/6) a prime number?
False
Let f be 6*-3*(-123)/18. Suppose f + 753 = 4*z. Is z a composite number?
True
Let t(w) = w**3 - 2*w**2 + w + 1. Suppose 10 = 2*j + 3*j. Let f be t(j). Suppose -f*o + 0*o + 18 = 0. Is o composite?
True
Let i = 214 - -937. Is i a composite number?
False
Let s be (3 - 3 - -7)*2. Suppose 0 = -10*k + 5*k - 20. Is 7/s + (-10)/k composite?
False
Let m(a) = a**2 - 14*a + 10. Let h be m(11). Let l = h - -33. Is l prime?
False
Suppose -2*w + w + 50 = 3*v, -4*w + 227 = 3*v. Suppose -2*k + 33 = 3*o, -5*k + w = -k - o. Is k/(-10)*(-45 + -1) prime?
False
Suppose -3*c + 400 = -2*z - 626, -2*z + 5*c = 1018. Let d = -262 - z. Is d composite?
False
Suppose 0 = 9*b - 7*b - 430. Is b prime?
False
Suppose x = -3, -4*x + 143 = 2*a + 3*a. Is (-4)/8 + a/2 a composite number?
True
Let t(h) = -23*h + 5. Let n be 2/(-3)*(10 + -4). Is t(n) prime?
True
Suppose 5*t + 2*p = -3*p + 990, -20 = 4*p. Is t a composite number?
True
Let h = 460 + 317. Suppose -h = -2*d - d. Is d a composite number?
True
Let g(o) = o - 30. Let d be g(0). Let r = -15 - d. Suppose -p - 2 = -r. Is p a composite number?
False
Let i = 108 - -843. Is i a composite number?
True
Suppose 201 = 2*m + m. Is m composite?
False
Let f = 8 + -8. Suppose f = 4*w + 23 - 7. Is (-317)/(-4) + w/16 a composite number?
False
Let m = -3 + 3. Let w be (m + 1 - 2) + 101. Suppose 4*z - 86 = 2*d, -5*d + w = 7*z - 2*z. Is z a composite number?
True
Let j(k) = -8*k - 2. Let d be j(-8). Let n = 120 - d. Is n a composite number?
True
Let m(b) = b**3 - 9*b**2 + 9*b - 6. Let q be m(8). Is 3 + 264/(q + 1) a composite number?
True
Let n(b) = b**3 + 9*b**2 + 6*b + 9. Suppose -2*t + 0*t - 2*y = 16, -4*t - 30 = 2*y. Is n(t) a composite number?
True
Suppose 152 = l - 5*t, 4*l + l - 712 = t. Let r = -63 + l. Is r composite?
False
Suppose 0*p = 3*z - 5