?
True
Let f be 12/9*(-23 - 1). Let b = f - 17. Let m = b - -140. Is m a composite number?
True
Suppose -v - 2*j + 5*j + 71 = 0, -69 = -v + 4*j. Is v a prime number?
False
Let m = 1 - 1. Let s(z) = m - 1 - 63*z + 2. Is s(-2) composite?
False
Let i be ((-12)/(-5))/(9/30). Suppose -2 = k - 4*u, 0 = -5*u + i - 3. Suppose -22 = k*f - 96. Is f prime?
True
Let q(o) = -o**3 + 5*o**2 + 10*o - 9. Let x be q(6). Suppose x*p + 935 = 20*p. Is p composite?
True
Let u(j) = -3*j - 8. Let s be u(-10). Let o = s + -15. Is o composite?
False
Let r = 91 - 40. Is r a composite number?
True
Is -4 + 99 + -3 + -3 a prime number?
True
Suppose 0 = 6*d - 8950 + 88. Is d a prime number?
False
Let v = 234 - 137. Is v a composite number?
False
Suppose 0*d + 190 = 4*c + 2*d, 0 = 5*c + 4*d - 236. Suppose -j - c = -151. Is j composite?
False
Let q be -6*(-4)/(16/(-10)). Is (-215)/q - 2/(-3) a prime number?
False
Let i = 99 - 58. Let g be ((-12)/(-15))/((-4)/(-10)). Suppose -o + i = -j - 4*j, -g*o + 5*j + 62 = 0. Is o composite?
True
Let l(j) = 2*j**2 - j + 1. Let b be l(-2). Let r be (-4)/6 + 2/(-6). Is (-1 - 1/r) + b composite?
False
Suppose -c + 2*c = -2*f + 2619, -5*f - 10541 = -4*c. Suppose -872 = 7*a - c. Is a a prime number?
True
Let i(n) = 15*n**2 - 8*n - 13. Is i(6) a composite number?
False
Suppose 4*k + 11 = -201. Is -2*(0 - k/(-2)) a composite number?
False
Is 20/(-25) - 13476/(-20) composite?
False
Let a be 3/(-6)*2 - -5. Suppose -a*q + 12 + 4 = 0. Let m(x) = -x**2 + 7*x - 1. Is m(q) a prime number?
True
Let u(s) = -s**3 - 9*s**2 + 15*s - 12. Suppose 0*g + 2*g = -22. Is u(g) composite?
True
Let z(g) = g**2 - 5*g + 3. Let r be z(7). Suppose n + r = 144. Is n a composite number?
False
Let p(i) = -i**2 + i + 4. Let v be p(0). Suppose v*o = 9*o - 15. Suppose o*w - 113 = -2*g, 4*g - g - 137 = 2*w. Is g a prime number?
False
Let o(u) = -u**2 + 8*u - 1. Let y(f) = -3*f**2 + 23*f - 4. Let j(b) = 11*o(b) - 4*y(b). Is j(5) prime?
False
Let l be 2/(-6) + 10/(-6). Let m = l - -21. Is m a prime number?
True
Let l(i) = 5*i**3 + 3*i**2 - 5*i + 2. Is l(3) prime?
True
Let c(d) = -d**3 + 10*d**2 + 2*d - 13. Let t be c(10). Let j be (-6)/(-21) - (-61)/t. Let v = 1 + j. Is v composite?
True
Let d(a) be the second derivative of a**4/6 - a**3/3 - 11*a**2/2 + 4*a. Is d(-8) a prime number?
False
Suppose 45 = 3*y - 4*b, -40 = -5*y - 3*b + 35. Let f = y - 11. Is 127*(-2 + (f - 1)) prime?
True
Let o(z) be the first derivative of -6*z**4 + z**3/3 - 4. Is o(-1) composite?
True
Let o be 12/15*20/(-8). Is (-71)/o - (-2)/(-4) a prime number?
False
Suppose -5274 = 5*a - 14*a. Is a composite?
True
Let o(c) = 11*c**2 - 9*c - 1. Let f = 9 + -1. Is o(f) a composite number?
False
Let f(q) = 73*q + 2. Let r(k) = -1. Let c(b) = -f(b) - 6*r(b). Is c(-3) a composite number?
False
Let w be -151 + (2 - 1)/(-1). Let c = 329 + w. Is c composite?
True
Let l(d) be the second derivative of -5*d**3/6 + 5*d**2/2 - d. Is l(-4) a composite number?
True
Let a = 7813 + -5511. Is a a composite number?
True
Let n = -191 + 270. Is n prime?
True
Suppose 6*r - 105 = -45. Is r prime?
False
Is 1/((-1)/2) - (-9 + -207) prime?
False
Is ((-1293)/(-2) - 5)/(2/4) a composite number?
False
Is (98 - 1)*(-1 - -2) prime?
True
Let o(m) = -1 + 22*m + 5 - 1 + 0. Is o(4) a prime number?
False
Suppose -2*i + 5*i = 15. Suppose o + 0*o = -2*t + 13, 5*t - 25 = -i*o. Suppose -t*u + 63 = -5*u. Is u prime?
False
Let k(t) = -t**2 - 10*t - 11. Let l be k(-11). Let c = 14 - -23. Let i = c + l. Is i a composite number?
True
Suppose -o = -5150 + 1443. Is o a composite number?
True
Suppose -151 = -2*o + 231. Is o a prime number?
True
Let h(d) = -73*d - 27. Is h(-6) prime?
False
Suppose -5*f = -4*f - m - 16, 0 = 3*m + 9. Is (-5)/(((-1)/1)/f) composite?
True
Suppose -18558 = 16*s - 55694. Is s a prime number?
False
Let f = 3 - 7. Let k(r) = 9*r - 6. Let p(j) = 4*j - 3. Let a(n) = -3*k(n) + 5*p(n). Is a(f) a composite number?
False
Let h be 1/(40/12 - 3). Let q = -6 - -10. Is q/(((-6)/(-5))/h) composite?
True
Let n(m) = -237*m - 5. Is n(-2) prime?
False
Let j be (1/(-2))/((-3)/150). Suppose 2*c = 2*w - w + j, -65 = -4*c + 5*w. Is (-39)/(-15) + 4/c prime?
True
Is 1/(4/524) - 4 a prime number?
True
Let j(p) = 32*p - 11. Let b(n) = 3*n. Let t be b(4). Is j(t) a prime number?
True
Suppose 0 = -2*u - 2*m - 2*m, 3*u + 5*m + 3 = 0. Let v(k) = -6*k + 1. Is v(u) prime?
True
Suppose 4*y - 2*p - 2076 = y, -1400 = -2*y - 4*p. Is y a prime number?
False
Let n be (-3 - -4) + 158 + 1. Suppose -4*u - n = -6*j + 2*j, -5*u = 5. Is j composite?
True
Let p = 399 - 106. Is p composite?
False
Let t = 6527 - 1044. Is t composite?
False
Let p(n) = -n**3 + 2*n**2 + n - 2. Let c be p(2). Let i be 1 - (-1 + (0 - c)). Suppose 395 = 3*j + i*j. Is j a composite number?
False
Let k = 179 + -125. Suppose 3*l - 2*l - k = 0. Suppose -2*v - l = -2*r, -5*r + 0*r + 139 = -4*v. Is r a composite number?
False
Suppose -3*v - 1 = -13. Suppose -8*q - 5*z + 232 = -4*q, 2*q - v*z - 90 = 0. Is q a composite number?
False
Let l(q) = 6*q - 7. Let p be l(10). Suppose -3*g + 143 - p = 0. Suppose -2*c + 0*c = -g. Is c composite?
True
Suppose 24 - 8 = 4*g. Is 10*((-45)/(-6) - g) composite?
True
Let t = 0 + -1. Let k = -11 + t. Is 21/k*-10*2 composite?
True
Let d(j) = -31*j + 2. Is d(-5) composite?
False
Suppose 2233 = 5*g + 5*l - 807, 0 = -g - 5*l + 596. Is g a prime number?
False
Suppose -3*b + g + 211 = 0, -3*b + 217 = 2*g - 0*g. Is b prime?
True
Let m be 2 + (6 - (-9)/(-3)). Suppose -3*c + 188 = h + h, 263 = 3*h - m*c. Is h prime?
False
Suppose 0 = 2*a - 90 - 16. Is a a prime number?
True
Suppose -171 = -2*h + 251. Suppose 0 = -g - 0*g + h. Is g a prime number?
True
Suppose 4*o = -0*o. Suppose o = 2*m - 5 - 5. Suppose m*i = -4*l + 518, -4*l - i + 6*i = -498. Is l a composite number?
False
Suppose -3*v = -2*i - 67 - 105, 4*i = 3*v - 176. Let m = v + -18. Suppose -41 = -c + m. Is c composite?
False
Let b = -104 + 289. Is b a prime number?
False
Suppose -5*w = -w + 4*z - 6028, 6064 = 4*w - 5*z. Is w a composite number?
False
Suppose -d + 469 = 4*z, 4*z - 3*d = 6*z - 227. Is z prime?
False
Suppose 6*r = -55 + 823. Suppose 67 - 239 = 4*a. Let i = r + a. Is i composite?
True
Suppose -5*g = 3*x - 235 - 690, -2*x = -4*g + 740. Suppose -10*n = -11*n + g. Is n composite?
True
Suppose -2*h = -8*h + 5322. Is h prime?
True
Let n(a) = -a + 13. Let j be n(9). Is j/(-10) + 891/15 prime?
True
Let o(i) = 2*i + 573. Is o(0) a prime number?
False
Let j be (-4)/(-3) + (-18)/(-27). Is 14*(9/j - 2) prime?
False
Let m be (-2)/(-4) - (-235)/2. Suppose 4*y = -3*a + m, -y + 23 = -0*y + 4*a. Is y composite?
False
Let q = -180 - -506. Is q prime?
False
Suppose -b + 3 = 5*t + 5, -2*t + 6 = -3*b. Suppose -5*u = -k + 223, t = 3*k + u - 4*u - 621. Is k composite?
True
Let x be (-2)/(-7) + (-356)/(-28). Let a = 36 + x. Is a prime?
False
Is (-879)/(3/(-1))*1 prime?
True
Let r(n) = 2*n**2 - 2*n - 1. Suppose 3*y + 8 = 5*y. Is r(y) a prime number?
True
Let r = -1 + 4. Suppose w - 3 = -2*w. Suppose -w = -q + r. Is q a prime number?
False
Suppose -q = 4*k + 5 - 4, 2*k = -q - 3. Let n(d) = -11*d + 3. Is n(q) prime?
False
Suppose -s + 154 = -0*s. Suppose 5*g - 3*g = s. Is g a prime number?
False
Let a(l) = l**2 - l - 1. Let s(f) = 5*f**2 - 8*f - 16. Let j(o) = -4*a(o) + s(o). Is j(-5) a prime number?
False
Let x(v) = -v**2 - 8*v + 4. Let z(p) = p**2 + 8*p - 4. Let b(l) = 3*x(l) + 2*z(l). Is b(-7) a composite number?
False
Suppose 4*n + 276 = 8*n. Is n a composite number?
True
Let r(b) = b**2 + 5*b + 17. Is r(13) a prime number?
True
Let v(s) = 12*s + 4 + 4 - 5. Let n be v(-5). Is (n/2)/(1/(-2)) prime?
False
Let b(q) = 7*q + 1. Let n be b(7). Suppose t = n + 21. Is t prime?
True
Let b = -9 - -114. Suppose -4*o = r - b, -2*o - 2*o = -4*r + 340. Is r prime?
True
Suppose r - 1316 = -i, 3*i - 4*r - 3969 = -0*i. Is i a prime number?
True
Let f be (1*19)/((-5)/65). Let l = f - -144. Is (l/(-2))/((-5)/(-10)) a composite number?
False
Let r be 2*(-21)/(3/(-1)). Suppose -h - r = -53. Is h composite?
True
Let n(l) = 76*l - 1. Let s(k) = 75*k - 2. Let v(y) = -5*n(y) + 4*s(y). Let w be v(-4). Suppose -w = -4*j + 495. Is j a prime number?
False
Let z(k) = 11*k. Suppose -2*x + 4*w = 14, 2*x - 17 = -2*x - w. Is z(x) composite?
True
Let m = -59 - -114.