-9)/(-18) + 2/4 - -680 a composite number?
True
Let f = 214 - 117. Is f a composite number?
False
Suppose 6*g = g + 130. Let l = g - 9. Let s = l - 3. Is s a composite number?
True
Suppose -4*s = -0*s - 13436. Is s composite?
False
Suppose q + 3 - 6 = 0. Suppose o = -0*o + q. Suppose 0 = 4*m - o*m - 15. Is m composite?
True
Let o be 564*(1 - -2)/3. Suppose o = -t - 2*t. Is (2/4)/((-2)/t) a prime number?
True
Suppose -n + 4*a = -8 - 7, a + 25 = -4*n. Let g(r) = -r**3 - 5*r**2 - 2. Let m be g(n). Is 36 + m*(-3)/(-6) composite?
True
Let l(p) = 19*p + 66. Is l(25) a composite number?
False
Let o(z) = z**3 + 5*z**2 - 5*z + 7. Let y be o(-6). Is ((-6)/(-12))/(y/70) composite?
True
Let b = 777 + -155. Is b prime?
False
Suppose -5*s - 28 = 27. Let l = -1 + -29. Let j = s - l. Is j composite?
False
Suppose 0 = 8*p - 2070 - 8674. Is p a composite number?
True
Let l(c) = -3*c + 3*c + 2 + 3*c**2 + 5*c. Is l(-3) a prime number?
False
Let k(f) = f**2 - 5*f + 11. Is k(11) composite?
True
Let c be 2/(-9) - (-504)/81. Suppose -5*p = 2*b - 458, -b - p - 1199 = -c*b. Is b prime?
True
Suppose -2*a - 29 = 175. Let f = -77 - -26. Let n = f - a. Is n a composite number?
True
Let j(g) = g - 4. Let w be j(-4). Let o be (-13)/(-5) - w/20. Suppose -21 = -o*q - z, 0*q - 5*q = -2*z - 35. Is q prime?
True
Is (-1)/(6344/(-1268) + 5) a prime number?
True
Let o(h) = -23*h - 10. Let r(l) = -12*l - 5. Let z(j) = 4*o(j) - 7*r(j). Let b be z(7). Let g = b + 119. Is g a composite number?
True
Let j be (1 + 0)/1 + 42. Let d = -6 + 14. Suppose 0 = -4*x - d, -3*x = -5*f - 4*x + j. Is f a composite number?
True
Let a(j) = j**3 + 11*j**2 - 13*j - 19. Is a(-10) composite?
False
Suppose 5*w + 4*y - 159 + 54 = 0, -w + 5*y = -50. Is w a prime number?
False
Suppose -4*i + 2716 = -4*j, -i - 5*j + 281 + 422 = 0. Is i prime?
True
Let w = 21 - 5. Let q = 54 - w. Is q prime?
False
Let x = 3 + -5. Let b = 7 + x. Suppose m + 121 = 5*t, 80 = -t + 5*t - b*m. Is t a prime number?
False
Let n(w) = 84*w + 29. Is n(5) a composite number?
False
Suppose 6 - 2 = -2*g. Let l be (-3)/(g/126*-3). Let c = l - -94. Is c composite?
False
Let n = 2 + 1. Suppose -2*u = -4*p + 222, 3*u - 194 = -n*p - u. Is p a prime number?
False
Let g = 20 + -17. Suppose 11 = -0*n + n + 3*y, g*n - 5*y - 47 = 0. Is n prime?
False
Let q be (-248)/16*(0 - 2). Let d = q - -66. Is d a composite number?
False
Let s be 1 + 10 + (0 - 0). Suppose 0 = 3*c - 2*p - 22, 0*p + s = -c - 3*p. Let r = -1 + c. Is r a composite number?
False
Let r = 8296 + -5751. Is r a composite number?
True
Suppose -p - d + 267 = 0, 3*p + 2*d + 3*d - 797 = 0. Is p composite?
False
Is -1*(-3 + 1) + 305 a prime number?
True
Suppose 3*u + 0*m = 5*m + 202, -5*u = 5*m - 270. Is u a prime number?
True
Let u = -7 + 11. Suppose 2*c = -u*z + 6*z + 58, 4*z + 66 = 2*c. Is c prime?
False
Suppose -391 = g + 241. Let f = g - -904. Suppose -5*h + 5*x = -0*h - 270, -f = -5*h + 3*x. Is h prime?
False
Suppose u = 5, 4*k - 3*u - u = 28. Suppose q = -q + k. Is q prime?
False
Let b(i) = -15*i + 11. Is b(-8) composite?
False
Is 12591/6*(-4)/(-6) a prime number?
True
Let q(p) = -4 + 0 - 3 - 6*p. Let k be -7*(-2)/(-2)*1. Is q(k) a composite number?
True
Suppose z + 7 = 231. Suppose 3*l + 0*l = -393. Let i = l + z. Is i a prime number?
False
Suppose -8*g + 1301 + 5411 = 0. Is g prime?
True
Suppose -f + 5*b = -67, 5*f - 2*b - 231 = -3*b. Is f a prime number?
True
Let n(p) = 247*p + 2. Let c(w) = -493*w - 5. Let a(u) = -3*c(u) - 7*n(u). Is a(-1) prime?
True
Let g(v) = 3*v - 5. Let f be g(-5). Let r = -14 + 3. Let n = r - f. Is n composite?
True
Suppose 3*t + 2*j = -17, 0 = 4*j - 9*j - 5. Let s(d) = -9*d + 4. Let n(q) = -44*q + 20. Let k(a) = -2*n(a) + 11*s(a). Is k(t) prime?
True
Suppose 2*r = -7*r + 1602. Is r a prime number?
False
Let m(k) = -5*k + 2. Let i(v) = -10*v + 1 + 2 + 0*v. Let s(t) = -2*i(t) + 5*m(t). Is s(-3) a prime number?
True
Suppose g + 0*d - 252 = d, 499 = 2*g - 3*d. Is g a prime number?
True
Suppose 0*n + 22 = n. Is n composite?
True
Suppose -678 - 103 = -3*k + 2*o, -o + 4 = 0. Is k a prime number?
True
Suppose -2*b - 12 = -3*b. Suppose -b = -0*u + 3*u. Is 310/4 + 2/u a prime number?
False
Suppose 4*f - 12 = 5*k, -4*f - 4*k + 29 = -19. Suppose 4*d = 8*d - f, 85 = b - 3*d. Is b composite?
True
Let v(c) be the third derivative of 0 - 7/6*c**3 + 0*c - 2*c**2 + 13/24*c**4 - 1/60*c**5. Is v(6) a prime number?
False
Let h(w) = 7*w**3 + 4*w**2 - 3*w + 1. Is h(2) a prime number?
True
Let i(h) = 12*h**2 - 20*h - 9. Is i(-8) prime?
True
Suppose v = -j + 4, -v - 4 + 8 = -2*j. Suppose 0 = -j*t + t - 3. Suppose 86 + 104 = 2*u - 5*c, 4*u - 380 = t*c. Is u prime?
False
Let r = -6 - -20. Let u be (-1)/(-2) - 9/(-2). Let j = u + r. Is j prime?
True
Suppose -l = -4*k + 3*l + 84, 0 = k + l - 17. Is k a prime number?
True
Suppose 0 = 17*j - 13*j - 1796. Is j composite?
False
Let y be (-1)/(3/(-1 - 11)). Suppose -4*j - 5*l + 4 = 0, 4*j = y*l + l + 44. Is ((-111)/j)/((-2)/12) a prime number?
False
Let g(s) = s**3 - 6*s**2 + s - 7. Let n be g(6). Let k = n - -12. Is k composite?
False
Let a(p) = -1 - 1 - 3*p + 2 + 4 - 18*p**3 - 2*p**2. Is a(-3) a composite number?
True
Let m(b) = -b**3 + b**2 + 7*b + 1. Is m(-6) composite?
False
Suppose 4*s - 6932 = 5232. Is s composite?
False
Let f(l) = -l**3 + 8*l**2 - 4*l + 5. Let k be f(6). Suppose -2*x = -129 + k. Is x a prime number?
False
Let q(x) = x + 88. Let f be q(0). Suppose 4*r + 34 = 2*k, 0 = 4*k + 2*r - 0*r - f. Is k a prime number?
False
Suppose 13 + 22 = 5*g. Suppose 0 = -5*x + 5*t + 9265, -g - 18 = 5*t. Is x/10 + (-3)/(-15) composite?
True
Is 3/(-6)*(-2)/3*201 a prime number?
True
Suppose 0*z + 3*z + 3*w = 282, 0 = 3*z - 3*w - 252. Suppose -4*u + 4*v = -160, -u - u = v - z. Suppose -72 = -2*a + t, a - 2*t = 2*t + u. Is a prime?
False
Let v(k) = k**2 - 5*k - 9. Let h be v(-8). Let l = h + -38. Is l composite?
True
Suppose -2*p = -r + 1261, -3*p - 439 = -2*r + 2082. Is r prime?
True
Let v(i) = -i**3 - 2*i**2 - i - 2. Let a be v(-2). Let k be (1 - (a - -1)) + -13. Let u = k - -38. Is u a composite number?
True
Suppose -1 = x - 0*x. Is (-110)/(-5) + (x - -1) a prime number?
False
Suppose 9 = -u + 92. Is u composite?
False
Suppose -6*a - 21 = -4*a + 3*k, 0 = 4*a - 3*k + 15. Let j = a - -27. Is j a prime number?
False
Let n be ((-40)/(-25))/(4/10). Suppose 0 = 2*c - n*z + 86 - 360, 2*c + 2*z = 244. Is c a prime number?
True
Suppose -268 = 2*q - 3*q. Let g = -111 + q. Is g a prime number?
True
Is -10 - -9 - (-380 - -2) prime?
False
Suppose 0 = p + 10 - 2. Let c = -10 - p. Is (c/(-3))/(2/255) a composite number?
True
Suppose 44 = 5*w + 2*z, 5*w + z = 2*w + 26. Suppose -w = -4*m + 2*m. Is (-2)/m - (-39)/2 a composite number?
False
Let u(n) = n**2 - n + 1. Let j be u(3). Let o = j + -5. Is (o/(-3))/((-4)/1806) a prime number?
False
Let m(g) = g**2 + 2*g - 4*g - 3 - 4*g. Is m(-10) prime?
True
Let w be -2*(17/2 - 2). Let s = w - -24. Is s a composite number?
False
Suppose 5*w - s = 16, -3*s + 6 = -5*w + 14. Is 0 + (-1 - -8*w) prime?
True
Let u be 3/(6/2) + -7. Let s = -21 + u. Is (-2)/9 - 1059/s composite?
True
Let p(t) = 3*t. Let w be p(-1). Let s be (-2 + 149)*(-4)/w. Suppose 0 = 2*v - 6*v + 3*z + 357, 2*v + 2*z = s. Is v prime?
False
Let l be (-6)/21 + 4/14. Suppose 5*b = 2*p - 57, 3*b + 2 + 1 = l. Is p prime?
False
Suppose -c = 2*c - 6. Suppose -5*s + 420 = 5*o, c*s = 3*o - 3*s - 212. Is o a prime number?
True
Let o be 305*((-14)/(-10) - 1). Suppose -2*c + o = -44. Let k = c - 40. Is k a composite number?
False
Let x(o) = 2*o + o + 3 + 0*o. Let n be x(3). Is n/(-30) - 194/(-10) prime?
True
Suppose i + 128 = 5*i. Suppose -i - 38 = -2*t. Is t composite?
True
Let d(r) = -r**3 - 6*r**2 + 7*r + 7. Is d(-8) a prime number?
True
Suppose -4*y = 2*y - 5010. Is y composite?
True
Let a(z) = -z - 4. Let d be a(-3). Let m be d + 1 + 0 - -2. Suppose -m*u + 477 = 3*l - 0*u, 4*l = 4*u + 616. Is l prime?
True
Let t(w) = w**3 + 7*w**2 - 5*w + 2. Suppose y + 8 = 4*o - 5, -5*y = o + 23. Is t(y) composite?
True
Let t be ((-10)/(-4))/((-2)/(-4)). Suppose 280 = 5*n + 5*i - 0*i, t*n = 3*i + 256. Is n composite?
False
Is -2*((-495)/6 - -2) a prime number?
False
Let p = 11 + -8. Suppose -g = w - 2*w + 1, p*w = -4*g - 32. Is (-6)/(-2) + (-410)/g composite?
True
Suppose 2*