ime?
True
Let n = 8 + -8. Let c = n + 0. Suppose -4*w + 3*w + 109 = c. Is w composite?
False
Suppose 5*c = -19 - 6. Let m = 35 + -17. Let l = m - c. Is l a prime number?
True
Is (758/(-5))/(8/(-20)) composite?
False
Suppose -u + 1397 = -3*y, -3*u = -5*u + 2*y + 2810. Is u a prime number?
True
Suppose 0*i = 3*u + 3*i - 2238, 5*u = 3*i + 3706. Is u prime?
True
Suppose -2*k + 425 = -205. Suppose 3*p - 438 = k. Is p a composite number?
False
Let i(o) = -6*o**2 + 3*o + 4. Let m be i(4). Let x = m + 175. Is x composite?
True
Let f(r) = r - 3. Let g be f(0). Is 194/(-4*g/6) a prime number?
True
Let u(r) = 2*r + 7. Let t be (-5)/(-15) + 34/6. Is u(t) prime?
True
Let c = 2 + -2. Suppose 4*o + m + 621 = c, 4*o + 357 = 2*m - 273. Let q = o - -225. Is q composite?
True
Let m be 4/2 - (1 - -1). Suppose m = d + d. Suppose 47 = -d*r + r. Is r composite?
False
Is -1*1/((-1)/223) composite?
False
Let h(c) = 2*c**2 + 4*c - 1. Suppose -5*i = 2*l - 0*i + 12, l = -5*i - 16. Let r be h(l). Suppose -r = -k + 6. Is k composite?
False
Suppose 2*y + 3*y + 2*w - 38 = 0, 3*w = y + 6. Suppose -y = 2*v - 5*v. Suppose 4*h = v*h + 266. Is h a composite number?
True
Is 1*(52 - -2*(-12)/(-8)) a prime number?
False
Let v(p) = 20*p**2 - 6*p + 5. Is v(7) composite?
True
Suppose 54 = 5*v - 106. Let m = v - -39. Is m a composite number?
False
Suppose 3*w - 11 = 5*k - 4*k, -3*w + 12 = 0. Let x be k - 1/(1/1). Suppose 3*z - 4*z + 26 = x. Is z composite?
True
Let n = -23 - -41. Suppose u = -o + 6*o + 38, 0 = -3*o - u - n. Let r(w) = w**3 + 6*w**2 - 9*w + 9. Is r(o) prime?
True
Let k = -592 - 575. Let p be k/9 + (-4)/(-6). Let n = 20 - p. Is n a prime number?
True
Suppose -2*s - 229 = t - 1396, 0 = -s - 2. Is t a composite number?
False
Suppose 4*z + 4*f = z + 1133, 0 = z - 5*f - 384. Is z a composite number?
False
Let r(x) = -6*x - 1. Let p be r(-1). Suppose p*b = 4*j + 143, -3*b - j + 65 = -b. Is b a composite number?
False
Let v = 1859 + -1024. Is v a composite number?
True
Let t(g) = 37*g**2 + 3*g + 2. Let v be t(-2). Suppose -5*u + v = -11. Is u a prime number?
True
Let h = 25 + 0. Is 2110/h + (-3)/(-5) a composite number?
True
Suppose 2*b = 4 - 2, -5*b + 5 = -3*w. Suppose w*v = -5*v + 25. Suppose -v*o + 130 + 325 = 0. Is o a prime number?
False
Let a = 8 + 0. Suppose 3*c + 3 + 3 = 0, 0 = m + c + a. Is (-582)/(-4)*m/(-9) a prime number?
True
Let u(b) = b**3 + 7*b**2 - b - 5. Let o be u(-7). Suppose -o*p - 137 = 413. Let v = p - -388. Is v prime?
True
Let g = 3 - -1. Suppose 4*n = -n + 4*m + 107, -4*n = -g*m - 84. Is n a composite number?
False
Let a(s) = -27*s - 16. Is a(-5) composite?
True
Let t(q) = 26*q + 86*q + 34*q - 1 + 62*q. Is t(3) prime?
False
Is (34/8)/((-3)/(-60)) a composite number?
True
Let k(b) be the first derivative of 3*b**4/4 - b**3/3 - b**2/2 + b + 2. Let a be k(1). Suppose -3*o = a*o - 485. Is o composite?
False
Let j = -6 - -8. Suppose -j*i + 280 = -i. Suppose 3*g + 9 = 0, -2*s + 4*g = 2*s - i. Is s prime?
True
Let u(x) = x + 6. Let q be u(-6). Suppose 5*d + 322 + 503 = q. Let g = d + 280. Is g a composite number?
True
Let h(a) = 2*a**2 + 36*a + 26. Is h(16) a composite number?
True
Let o be (-1)/(-2) - (-990)/12. Let m = -6 + o. Is m a composite number?
True
Suppose -2*p = p - 255. Suppose 0 = -4*j + 4 + 4, 138 = -4*l + 5*j. Let h = p + l. Is h composite?
False
Let i(q) = 39*q**2 + 2. Let u = -8 - -11. Is i(u) a prime number?
True
Let n = -3 - 1. Is 238 + 2 + n + 3 a composite number?
False
Suppose r - 389 - 408 = 0. Is r a prime number?
True
Let t(l) = l**3 + 18*l**2 - 9*l - 11. Is t(-10) a prime number?
False
Let d(t) = 3*t**3 + 13*t**2 - 10*t - 5. Let b(z) = -7*z**3 - 27*z**2 + 21*z + 10. Suppose 2*c - 7*c = -45. Let l(g) = c*d(g) + 4*b(g). Is l(6) a prime number?
True
Suppose -2 = -y + 2. Suppose 3*s - 45 = -3*x, -1 = -2*s + 3*x + y. Is s composite?
True
Let x(s) = -s + 2. Let r be x(0). Is (1 - 4/r)*-23 a composite number?
False
Let z(n) = 2*n**2 + n - 3. Let g be z(-2). Suppose 374 = g*v + 8. Is v a composite number?
True
Is (-6708)/(-132) + 4/22 prime?
False
Let u = 17 + -12. Suppose i - 3 - 3 = 3*x, u*i - 10 = 5*x. Is x/3*-33 + -1 prime?
False
Let a(t) = -t + 9. Let y be a(13). Let z = y + 41. Is z a prime number?
True
Suppose p - 977 = -3*k, -3*p + 1299 = 4*k + 2*p. Is k a prime number?
False
Let x = -5 - -9. Let g be x/(1/13*-2). Let b = -5 - g. Is b composite?
True
Suppose 4*m = 6*m - 894. Suppose 0 = -4*n + 7*n - m. Is n a prime number?
True
Suppose -3*u = -2*c - 4*u - 5, 2*c = 5*u - 23. Let l = -2 - c. Suppose 6*m - l*m = 316. Is m prime?
True
Let r(d) be the first derivative of -26*d**2 + 3*d + 5. Is r(-4) prime?
True
Suppose 5*s + 0*s - 15 = 0. Is s + (-2 - 1 - -293) prime?
True
Let a(x) = -x**3 - x**2. Let n be a(0). Suppose 2*y - 8 = 0, -5*y = -5*m - n*m + 415. Is m a prime number?
False
Let a = -135 - -92. Let c = -30 - a. Is c composite?
False
Let q(a) = a**3 + 5*a**2 - 5*a + 1. Suppose 2*x = -2*x - 20. Is q(x) a composite number?
True
Is (6 - 5)*423 + -4 a prime number?
True
Let z(o) = -o**3 + 6*o**2 + 3*o - 8. Suppose -4*s = s. Let x be 6 - (-1 + s + 1). Is z(x) a prime number?
False
Let k(l) = 42*l - 7. Is k(5) a composite number?
True
Let i(b) = 102*b - 1. Is i(4) a composite number?
True
Is 1 + (-3 - -44)*2 a composite number?
False
Let u = -343 - -535. Let c = -95 + u. Is c composite?
False
Let i(f) be the second derivative of -29*f**5/20 - 5*f**4/12 - 5*f**3/6 - f**2 - f. Is i(-3) prime?
True
Let c(n) = 23 + 6 - 5 + n. Let z be c(0). Suppose 241 = 5*f - z. Is f composite?
False
Let g(v) = -7*v - 2. Let d(f) = 8*f + 1. Let t(k) = 2*d(k) + 3*g(k). Let l be t(-6). Let q = l + 93. Is q a prime number?
False
Is 5/(-2)*15796/(-110) prime?
True
Let n(r) = -50*r - 3. Is n(-8) composite?
False
Let q = -2047 - -4926. Is q a prime number?
True
Let t be 3/(87/(-48) + 2). Let g = t - 6. Is g a prime number?
False
Suppose 6206 = 5*c - 5*x + 701, 3*c - 4*x = 3301. Is c prime?
True
Suppose 0*q - q = 6. Is (-156)/(-2) - (-5 - q) prime?
False
Let n = 3 + 2. Let o = 1 - n. Is ((-14)/o)/(2/20) a prime number?
False
Let i = 478 - 931. Suppose 13*g = 12*g - 5. Is (-2)/g - i/5 a composite number?
True
Let f = -16 + 219. Is f a prime number?
False
Let a be 3*1 + (-95)/5. Let w(v) = v**2 + 9*v + 15. Is w(a) a prime number?
True
Suppose 0 = -f - 2*y + 217, -2*y + 660 = 3*f + y. Is f composite?
False
Let n = 667 + -389. Is n a composite number?
True
Is (-2170)/(-7) + 6/(-2) composite?
False
Let d = -39 - -74. Let h = d - 18. Suppose 0 = 5*q - a - 190, 4*q - a - 170 + h = 0. Is q a prime number?
True
Let v(d) = 5*d - 10. Let p(q) = -9*q + 19. Let n(j) = -6*p(j) - 11*v(j). Let r be n(-6). Suppose -44 = -r*s - 2*g, -4*g + 24 = s - 7. Is s prime?
True
Suppose 5*t = -0*t. Suppose 12 = 3*r - 3*l, 3*l = 3*r + 6*l - 12. Suppose t*i + 236 = r*i. Is i prime?
True
Suppose 2*f = 5*y - 36, -3*f + 21 = 7*y - 2*y. Suppose w - 55 = -5*t, -2*t = -w - 9 - y. Is t prime?
False
Let y(k) = -403*k + 22. Is y(-7) prime?
True
Suppose 0 = 5*k - 10*k + 3*w + 46, -2*w = -2*k + 20. Let o be 2/k + 33/12. Is (o/2)/(2/8) composite?
True
Suppose 3*l + 2*l - 1965 = 0. Let s = 817 - l. Suppose -s = -7*a + 3*a. Is a a composite number?
True
Is 1*1281/4 - (-6)/8 a composite number?
True
Let o = 4 - 4. Suppose -8 = -4*d + 12. Suppose o = -d*j - 25, -m - 3*j + 620 = 4*m. Is m composite?
False
Suppose 8 = -2*a + 4*a + t, -5*a = 4*t - 23. Suppose 0 = -v + a - 7. Let x(r) = -15*r - 5. Is x(v) a composite number?
True
Suppose -2*j + 0*y = -y - 1176, -2*y + 583 = j. Is j prime?
True
Let m(l) = -2*l**3 + 3*l**2 + 12*l. Is m(-5) composite?
True
Suppose -5*f - 4*q + 40014 = 13437, -4*f - 3*q + 21262 = 0. Is f prime?
False
Suppose -5 + 11 = q. Is q a prime number?
False
Suppose -4*n + 8*n = 16. Suppose n*a + 0*a = 332. Is a a composite number?
False
Suppose 2*l + 249 = 5*l. Is l composite?
False
Let u(q) = 12*q - 3. Suppose 30 = 3*h - 3*l, 0*l + 38 = 5*h + l. Is u(h) composite?
True
Suppose -2*q + v + 9 = 0, -2*q + 1 = -2*v - 5. Is 4/q + 273/9 prime?
True
Suppose 2*y + 0*y = 0. Suppose y = 5*i + 3 - 13. Is i prime?
True
Let f(d) = -d**3 + 3*d**2 - 2*d + 4. Let c be f(3). Is c/(-3) + 55/3 prime?
True
Let s = -6 - -11. Suppose -4*a + 3 = -9, s*u + a = -7. Is 29/4 - u/(-8) a prime number?
True
Let f be 1