3/9 + (-200)/t a prime number?
True
Let u(o) = -833*o + 2. Is u(-1) composite?
True
Is 309 + -2 + 0 + 0/1 prime?
True
Is 66 - (0 - -1)*-1 prime?
True
Let t(f) = -72*f - 2. Let a be t(-4). Suppose -2*g = -2*q + a, -2*q + 278 = 3*g - g. Is q composite?
True
Let y(b) = 5*b**2 - 4*b - 13. Is y(-6) a composite number?
False
Let b(g) = -3*g - 6. Let q(f) = -4*f - 6*f**2 + 5*f**2 + 5*f. Let p(n) = b(n) - q(n). Is p(6) composite?
True
Let f(y) be the first derivative of -35*y**2/2 + 7*y + 4. Is f(-6) a prime number?
False
Suppose -d + 1 = 0, 0 = -0*i - i + 4*d + 10. Let r = i + -7. Suppose y = -3*w + 7, -19 + r = 3*w. Is y a composite number?
False
Suppose -5*t - 73 = -968. Is t a prime number?
True
Let d be (33/12)/(1/20). Let t = d + -78. Is (-3)/(-9)*(-2 - t) a composite number?
False
Let l(w) = -2*w + 168. Let y be l(0). Let p = y - 79. Is p a composite number?
False
Let a be (-6)/(1/(-2 - 33)). Suppose -a = 3*r + 2*r. Let m = -23 - r. Is m a composite number?
False
Let p be (-4 - -7) + 0/2. Suppose -4 = -2*k, -p*k = -3*g - 0*k + 24. Is g a composite number?
True
Suppose 7*i = 4*i - 2007. Is (-2)/12 - i/18 composite?
False
Suppose 3259 = 2*v + 5*f, -4905 = -3*v - 3*f + f. Is v a prime number?
True
Suppose -5*x + 2*j = -22, x - 2*j + 1 + 1 = 0. Is x prime?
False
Let n(h) = -15*h**3 - 2*h**2 + 2*h - 3. Let k be n(2). Let u = k - -195. Let i = 103 - u. Is i composite?
True
Let v be (-886)/(-14) + (-4)/14. Let f = -8 + v. Is f prime?
False
Let l = -46 - -64. Suppose -p = -4*d - 113 + l, -1 = d. Is p composite?
True
Let d(m) = 86*m + 5. Is d(3) a composite number?
False
Let x = -854 - -1353. Is x composite?
False
Suppose 7 - 76 = -3*c. Let z = -8 + c. Is z prime?
False
Let f = 14 - 20. Let q(g) = -g. Is q(f) a prime number?
False
Let o(w) = -8*w + 10. Let x be 8/12 + 87/(-9). Is o(x) composite?
True
Suppose -2*m + 486 = 64. Is m prime?
True
Let x(a) = -41*a - 2. Is x(-3) a prime number?
False
Suppose 1 = 4*r - 7. Let i = r + 1. Suppose u + 2*p = 3, -i*u = 3*p - 6 - 15. Is u composite?
False
Let l(d) = 1 + 2 + 6 + 16*d. Let i be l(7). Let v = i + -86. Is v composite?
True
Let f(q) = 5*q + 2. Let n be 0 - (1*-5 + 2). Suppose n*l + l = -3*o + 13, -3*l + 3*o + 36 = 0. Is f(l) composite?
False
Let y = 0 + 4. Suppose -y*q + 57 = -q. Is q a prime number?
True
Let f = 9942 - 6713. Is f a composite number?
False
Let r = 730 + -337. Suppose 3*l + o = r, 3*l - 419 = -4*o - 35. Suppose g - l = 13. Is g prime?
False
Let f(k) = -14*k + 15. Let b be f(7). Suppose -1626 + 396 = 5*v - 5*o, -2*o = 3*v + 728. Let m = b - v. Is m a composite number?
True
Let a be (4/7)/((-2)/(-7)). Let f = 2 - a. Let i(p) = -p**2 - p + 14. Is i(f) prime?
False
Suppose -5*s = -0*s. Let a be (3 - 2)*s/3. Suppose -3*d + a + 3 = 3*t, -t = -4*d + 14. Is d composite?
False
Let g = -40 - -184. Let z = g - 47. Is z a prime number?
True
Let m(w) = 19*w - 25. Is m(18) composite?
False
Let i(r) = -r**3 - 10*r**2 - 10*r - 4. Let a be i(-9). Suppose 4*m = p + 188, 0 = -4*m + 2*m - a*p + 72. Is m composite?
True
Let k(g) = g**3 + 3*g**2 + 2*g. Let a be k(-2). Suppose a*u - 2*u = -14. Suppose 2*r - u = -3. Is r a composite number?
False
Let c = -52 - -120. Suppose 324 + c = -4*o. Let p = o - -181. Is p prime?
True
Let g be (-8)/(-5)*20/8. Let k = 1 - g. Let z = k + 14. Is z composite?
False
Let m be (608 - 2)*(2 - 3). Let c = -212 - m. Suppose -77 = -y + 2*f, -y + c = 4*y - f. Is y a prime number?
True
Suppose 2*m - 148 = -4*a, 4*m = -3*a + 135 + 176. Let p = m + 393. Is p composite?
True
Let h(q) = q**3 - 9*q**2 + 10*q - 5. Let o(l) = -2*l - 4. Suppose -4 = t + 2. Let m be o(t). Is h(m) composite?
False
Let f be (2 + -3)*(-500 + 0). Suppose 4*c + c + 20 = 0, 4*z + 2*c = f. Is z prime?
True
Suppose -7 = 2*x + 5. Is 106/(-3)*9/x composite?
False
Let u(d) = -2*d**3 - d + 2 + 0 - 4*d - 8*d**2. Is u(-5) composite?
True
Is (26/(-8) - -3)*-668 composite?
False
Let h = -216 - -3649. Is h a prime number?
True
Let i be -1 - 15/(3 + -6). Suppose 2*x + 2*y + 662 = 0, -4*y = -6*y + i. Is (-1)/(((-3)/x)/(-1)) prime?
False
Let m(t) = -t**3 - 5*t**2 + 7*t - 5. Let y be m(-6). Let w = 66 - y. Suppose 3*n - 2*u = w + 26, u = -2. Is n a prime number?
False
Let o = -110 - -302. Let h = -133 + o. Is h prime?
True
Suppose 2*a = -0 - 2. Let c be a + (-29 - (2 + -2)). Let h = -11 - c. Is h a composite number?
False
Suppose -5*d + 5*k + 0*k + 6685 = 0, 0 = -4*k. Is d prime?
False
Suppose -4*o + 3 + 5 = 0. Suppose 0 = -o*u + 1 + 25. Is u prime?
True
Let q be (-6)/9 - 22/(-6). Suppose 4*h - 1169 = -y, -5*y = -q*h - h + 1187. Is h prime?
True
Suppose -4*p - 3*n + 1 = -3*p, 5*p = 3*n - 49. Is 464/(-4)*6/p prime?
False
Suppose -y - 2*y + 345 = 0. Suppose -y = -g - 3*i - 26, 4*g = 4*i + 388. Is g a prime number?
False
Suppose 10*s = 311 + 179. Is s prime?
False
Let c(f) = 4*f**2 + f + 4. Suppose -4*w + 2*w + 10 = 0. Suppose 2*q + w*o = 4, o = 3*q - 8 + 19. Is c(q) a prime number?
True
Suppose 4*l - 2544 = 572. Is l composite?
True
Suppose -4*n = -0*n. Let k be n + (-2 - -4) + 0. Suppose -k*i + 61 = -4*x - 41, -4*i + 200 = -4*x. Is i composite?
True
Suppose 21*g - 1097 = 20*g. Is g prime?
True
Let c(n) = 6*n**2 + 4*n + 2. Let h be c(4). Suppose 0 = -0*j - 3*j + h. Is j a prime number?
False
Is (-1)/(-3 - (-2 - 0)) - -666 prime?
False
Let i be (22/(-3))/((-1)/(-12)). Let a be 4/2 - (-2 + i). Suppose -327 = -5*k - a. Is k composite?
False
Let d = -199 + 347. Suppose -4*w = -0*w - d. Is w a prime number?
True
Let a(q) = -16*q**3 - 2*q**2 + 1. Let o be 2/7 + (-15)/(-21). Suppose 2*y + o = -3. Is a(y) a prime number?
False
Let z = -1 + 1. Suppose z = 4*u + u - 215. Suppose 154 - u = t. Is t a prime number?
False
Let u be 1243/4 + 3/12. Let s = u + -184. Is s composite?
False
Let d(x) = 0*x**3 - 3*x**3 + 2 + x**3 + 3 - 3*x - 6*x**2. Is d(-4) prime?
False
Suppose -2*g - 3*z = -2346, g = -0*g - 2*z + 1175. Suppose -2*k - 2*k = o - g, 0 = 5*k - 4*o - 1485. Is k composite?
False
Let n(s) = -s + 1. Let x(c) = -3*c + 3. Let z(h) = 5*n(h) - 2*x(h). Let u(d) = d + 7. Let y be u(0). Is z(y) a composite number?
True
Suppose 2*d - p - 4*p = 2373, 0 = 5*d + 3*p - 6010. Is d composite?
True
Let t = 1692 - 1019. Is t composite?
False
Let u = -3 - -5. Suppose -5*x = -u*x. Suppose -2*g + g + 57 = x. Is g composite?
True
Is 9/6 + 319/2 composite?
True
Let n(w) = w**2 + w + 5. Is n(-11) a prime number?
False
Suppose 3*m - 5*h = 212 + 136, 5*h - 96 = -m. Let x = m - 18. Is x a prime number?
False
Let q(m) = -10*m**3 - 3*m**2 - 5*m - 1. Is q(-2) a prime number?
False
Let v be 18/(-4)*(-10)/15. Suppose v*a = -2*a + 290. Is a a composite number?
True
Suppose -10*y + 1119 = -7*y. Is y prime?
True
Let g(v) = 5*v**3 + 11*v**2 + 9*v + 4. Let f(b) = b**3 + b**2 + b + 1. Let d(t) = 4*f(t) - g(t). Let r be d(-6). Is (-81)/r + (-2)/(-4) a prime number?
False
Suppose 5*r + 40 = 4*m, 0 = m - 2*m + 5*r - 5. Is (-419)/(-3)*m/5 prime?
True
Let y(a) be the first derivative of 1/3*a**3 - 1 - 11*a - a**2. Is y(8) a prime number?
True
Let k(f) = -f + 13. Let n be k(12). Let d be 3/((-3)/(-3*1)). Is 29*(0/n + d) a prime number?
False
Let i be (5/2)/((-2)/(-4)). Suppose 0 = q - 24 + i. Is q prime?
True
Let g(v) = -3164*v - 1. Is g(-1) composite?
False
Is 71/(-3 + 66/21) a composite number?
True
Suppose i - 3668 = -4*l, -9*l = -5*l + 4*i - 3668. Is l prime?
False
Let g(x) = -4*x + x**3 - 2 - 2*x + 3*x + x**2. Suppose 3*w - 34 = 4*f + f, 2 = 4*w + 2*f. Is g(w) prime?
False
Suppose 0*q - 4*q + 12 = 0, -4*z + 624 = 4*q. Suppose 0*c - d = 4*c - 143, 4*c = d + z. Let l = -11 + c. Is l prime?
False
Let m = 101 - 257. Let g = m - -243. Is g/(-2)*(-12)/9 a composite number?
True
Let o(a) = 3*a**2 - 9*a - 25. Is o(18) prime?
False
Let n(s) = s**2 + 12*s + 16. Let r be n(-11). Suppose 0 = d - r*z - 54, 3*d + 5*z - 252 = 2*z. Is d a prime number?
True
Let b = -436 + 915. Is b composite?
False
Suppose w = 2*w + 27. Is (58/6)/((-3)/w) prime?
False
Let w(g) = g**2 - g + 4. Let x be w(0). Let b(j) = 3*j**2 + j + 3. Is b(x) prime?
False
Suppose 4 = -5*h - 6. Is (-1)/h*(21 - -1) prime?
True
Suppose 0 = -4*y - 8 - 12. Is 890/y*1/(-2) a prime number?
True
Let b(c) = -c**3 + 27*c**2 + 8*c + 41. Is b(17) prime?
True
Let d be (8/2)/2 - 2. Is 104 + d + 6 + -4 a composite number?
True
Suppose 2*o - 