 number?
True
Suppose -13*b + 17*b = 1776. Suppose 225 + b = 3*p. Is p prime?
True
Suppose -f + 3781 = 4*c, -3*f + 0*f + 11258 = -5*c. Is f composite?
False
Let d(f) = -f**3 - 3*f**2 + 5*f + 5. Let b be d(-4). Is ((-3)/(15/(-9545)))/b prime?
False
Is (114/18 - 6)*1*27381 a composite number?
False
Let r = 168608 - 53359. Is r composite?
False
Let o be (6 - (-3 + 5))/2. Suppose 5*k + 41 = -g, o*k - 1 = 4*g - 13. Let l = k - -11. Is l a prime number?
True
Let l = -11 - -14. Suppose l*m + 2*m - 4020 = 0. Suppose 5*p - 3*g = 786, -5*p - 4*g = -g - m. Is p prime?
False
Let x be 2 + (-2)/4*-6. Suppose x*q = 4*z + 3369, -2047 = -4*q + q - 4*z. Is q a prime number?
True
Suppose 2*p = 2*s + 40, s - 2*p + 11 + 11 = 0. Let m be ((-204)/s)/((-1)/21). Is (m/42)/(2/(-12)) a composite number?
True
Let m(h) = h. Let j(w) = -121*w + 11. Let s(n) = -j(n) - 66*m(n). Let v be s(5). Let p = -119 + v. Is p a prime number?
False
Let n(c) = -164*c + 3. Let f be n(-4). Let b = f + -1185. Is 5/(-10) - b/4 a prime number?
True
Suppose 0 = 2*a + l - 21409 + 812, 3*a - 3*l - 30918 = 0. Is a a prime number?
True
Let z(m) = -22*m + 3. Suppose -5*x - 1 = -4*k - 21, 4*k = -4*x + 16. Let q be z(x). Let o = q - -119. Is o a composite number?
True
Let a(p) = -p**3 + 9*p**2 + p - 9. Let d be a(9). Suppose -u + 1260 + 339 = d. Let r = u - 1102. Is r composite?
True
Let o(s) = -11*s + 29. Let t be o(4). Is 3/t - (-1 + 962/(-10)) a composite number?
False
Let z(q) = q**3 - 15*q**2 + 13*q + 25. Let c be (-1)/(2/56*-2). Let f be z(c). Suppose 6*s + 7045 = f*s. Is s composite?
False
Suppose w - 8*s = -7*s + 8747, 0 = -5*s. Is w composite?
False
Suppose -26*r = -23*r - 102153. Is r a composite number?
True
Let x = 2367 + -1232. Is x a composite number?
True
Let u(t) = 3822*t**3 - t**2 + 2*t - 2. Let i be u(1). Let s = 6258 - i. Is s composite?
False
Suppose -4*v + d = 3*d - 117072, 5*v = 3*d + 146318. Is v composite?
True
Suppose -3 = -5*p - 4*t, 4*p + 7*t = 2*t - 3. Suppose 2*i = -p*i + 45. Is i a composite number?
True
Let h = 5084 + 18513. Is h a composite number?
True
Let y = -92 - -96. Is 0 + 6814/(-2 + y) composite?
False
Let b = -443 + -312. Let g = 1918 + b. Is g a composite number?
False
Suppose 1433*x - 1440*x + 362971 = 0. Is x composite?
False
Let z(g) = -g**3 + 50*g**2 + 56*g + 22. Is z(38) a prime number?
False
Suppose -2*r - r - 30 = 0. Let b be r/3*6/4. Is ((-586)/4)/(b/10) a composite number?
False
Let p(h) = -2*h**2 - 9*h - 5. Suppose -2*x + 30 = -7*x - f, -f - 2 = x. Let s be p(x). Is (940/s)/(2/(-4)) composite?
False
Let z(u) = 7*u - 2. Let c be z(1). Suppose c*k - 12 = 4*k - 2*q, 2*q = -4*k + 48. Let m = 26 - k. Is m prime?
False
Suppose 4*m - w + 99 = 0, 0*w = 3*w - 9. Is 6/4*(-1072)/m composite?
False
Suppose -83 = -5*m + 4*g, 0*g - 6 = -2*g. Suppose y - m - 298 = 0. Is y a prime number?
True
Suppose -u + 5*h + 1784 = -0*u, -4*u + h + 7041 = 0. Is u a prime number?
True
Let h = -32 + 35. Suppose -h*n = -7*c + 2*c + 1685, 0 = -2*c + 5*n + 674. Is c composite?
False
Let z(r) = -r**3 - 9*r**2 - r - 6. Let q be z(-9). Suppose -b - 4 = 0, q*f + b = 5*f - 842. Is f composite?
False
Suppose -2*i = -5*p + 12445, -2*p + p - 5*i + 2516 = 0. Is p a prime number?
False
Let j(t) = 188*t + 40. Let v be j(10). Let b = v - 1123. Is b prime?
True
Let a be -2 - ((-21)/2)/((-3)/(-4)). Is ((-6)/(a/(-466)))/(2/10) a composite number?
True
Let b = 2405 - 1512. Is b composite?
True
Let n be ((-3)/(-9))/(2/90). Suppose -2*f - 15 = 3*f, n = -2*a + 3*f. Let x = 3 - a. Is x a prime number?
False
Is 70/(-245)*(-478394)/4 a prime number?
True
Suppose 0 = 2*k - 7*k + 2*x + 631, 3*x - 6 = 0. Is k composite?
False
Let g be ((0 - 2) + 17)*(-3)/(-9). Suppose 2*j + 378 = 2*x, -g*x + j = -j - 951. Is x a composite number?
False
Let i(m) = m + 121. Let d be 18/12*(0 - -2). Suppose d*n = -n. Is i(n) a prime number?
False
Let w be (-18452)/(-6) - 20/(-30). Let a be 2 + w + -3 + 1. Suppose -a = -3*z - z. Is z a prime number?
True
Suppose -4*c + 30851 = 7*x - 4*x, 0 = -x + 5*c + 10309. Is x composite?
False
Suppose -7*t + 4954 = -5*t. Is t composite?
False
Let r = 20 + 99. Suppose 7*v = 8*v - r. Is v a prime number?
False
Suppose -3*b + 6*b = -48. Let t(z) = 2*z**2 - 8*z - 9. Is t(b) prime?
True
Let b(o) = -574*o**3 - o**2 + o + 1. Let u be b(-1). Suppose -2*j = j - u. Is j a prime number?
True
Suppose 3 = v - h, 4*h - 14 - 14 = -4*v. Suppose -4 = -3*q + v. Is 5 - (q + -3 + 2) prime?
True
Suppose 0 = 13*i + 18684 - 65965. Is i composite?
False
Suppose 1095 - 185 = 5*c. Let v = 115 - 42. Let p = c - v. Is p a composite number?
False
Let f be (4/6)/((-18)/27). Let s(d) = -127*d**3 + d**2 + d. Is s(f) prime?
True
Suppose -2*s + 3*m - 1096 - 744 = 0, -2*m - 3696 = 4*s. Let z(u) = -1335*u**2 + u. Let n be z(1). Let j = s - n. Is j prime?
False
Let x(q) = -144*q - 15. Let n be x(9). Let h = n + 1882. Is h a prime number?
True
Is (1309/(-14))/(4 - 18/4) composite?
True
Suppose -101 = -2*i - 5*g, 188 = i + 3*i - 4*g. Let p be (184/3)/(32/i). Is (0 + 6)/(-2) + p prime?
True
Let d = 1054 - -7407. Is d prime?
True
Suppose -5*z + 18 = 2*m - z, 15 = 3*m + 2*z. Let r = -288 + 403. Suppose -v - 4*t + 42 + r = 0, m*t = 0. Is v prime?
True
Suppose -118*n = -122*n. Suppose 2*z - 674 - 212 = n. Is z composite?
False
Let u(h) = -h - 2 + 4 + 3. Let q be u(6). Let p(f) = -139*f**3. Is p(q) a composite number?
False
Suppose -5*v - 27 = 2*l, 2*l + 11 = -2*v + l. Let a be -6 + (-2 - -5) - v. Is -5 + 96 - (0 + a) composite?
False
Let t(d) = 9*d**3 - 16*d**2 + 21*d - 23. Is t(17) prime?
False
Let w be ((-292)/2 + 1)*-10. Suppose 0 = 3*q - 1136 - w. Let a = q - 113. Is a a composite number?
True
Let a = -2917 + 10370. Is a a prime number?
False
Suppose 3*b = 4*b - 1834. Suppose 2*o - 3*i + 828 = -1542, 2*i - 3555 = 3*o. Let d = o + b. Is d composite?
True
Is 1500/2 + 2 - -3 - 2 a prime number?
False
Suppose -2*i - 3*f = -171 - 120, 0 = 3*i - 4*f - 462. Let d = 73 + i. Is d a prime number?
True
Suppose 3*l - 5*z = 6848, 9149 = 4*l - 9*z + 6*z. Is l a composite number?
True
Let s(g) = -362*g**3 + 3*g**2 - 5*g + 3. Is s(-4) prime?
False
Suppose 4*t = 4*u - 16488, u - 3*t - 4097 = 3*t. Is u a prime number?
True
Let m be 1/(-2)*4 + 1. Let x = m + 3. Suppose 0 = -0*t - x*t + 110. Is t a prime number?
False
Let j(u) = u**3 + 5*u**2 + 2*u - 5. Let d be j(-4). Suppose 4*m - 9 = 11, d*g = 4*m + 454. Is (2 - (3 + -2))*g composite?
True
Let j(c) = 80*c**2 - 7. Suppose 5*z + 48 = 28. Is j(z) composite?
True
Suppose -d - 3*r = -17, -4*d - 5*r + 27 = -20. Let h(b) = -b**3 + 8*b**2 - 2*b + 7. Let g be h(d). Is (-4 - -1)/g*177 a prime number?
True
Suppose -9*j + 13*j = 2540. Suppose -17*y = -12*y - j. Is y a prime number?
True
Let o(r) = r**3 - 2*r**2 - 11*r + 3. Let t be o(5). Suppose -d + t = 5*u, u = 1 + 4. Is 251/d*(-14 - -12) a prime number?
True
Suppose -412*v - 15635 = -417*v. Is v prime?
False
Let q be 4 - 13/((-26)/12). Is q/4*(-844)/(-10) a prime number?
True
Let q = 88210 - 60533. Is q/39 - (8/(-6))/(-2) a composite number?
False
Let v = 4132 - -1417. Is v prime?
False
Let x(r) = -r - 2 + 0 - 7 + 6. Let p be x(-5). Suppose -3*l = -l - 8, 0 = 5*a + p*l - 2453. Is a prime?
False
Let l(v) = 95*v - 53. Let f(z) = -z**3 - 17*z**2 + 36*z - 20. Let b be f(-19). Is l(b) a composite number?
False
Let h(b) = -3*b + 8 + 4 - 2 + 0. Is h(-9) a prime number?
True
Let t(g) be the first derivative of -g**3/3 + g**2/2 + 251*g + 8. Is t(0) composite?
False
Suppose -2*s - 24 = 2*o, -3*s - o - 24 = -2*o. Let i = s + 9. Suppose -5*r - 3*q + i*q + 620 = 0, 2*r + 3*q - 239 = 0. Is r a prime number?
True
Let n(k) = -6*k. Let g be n(2). Is -53*(8/g)/(2/3) composite?
False
Let b = 971 + -280. Is b a composite number?
False
Let p(c) = -2*c**2 - 13*c - 12. Let b be p(-5). Let m(l) = 66*l**2 - 7*l. Is m(b) composite?
True
Let s(g) = -5*g**2 - 8*g - 5. Let r(w) = -9*w**2 - 17*w - 11. Let l(h) = -4*r(h) + 7*s(h). Let c be l(-9). Is 4580/36 + 4/c a composite number?
False
Let t(l) = -l**3 + l**2 + l - 5. Let n be t(0). Let a(u) = -89*u - 2. Is a(n) a composite number?
False
Let w(f) = f**3 - 5*f**2 + 11*f + 21. Let m(k) = k**2 + 10. Let s be m(0). Is w(s) a prime number?
True
Let u(k) = 48*k**2 + 25*k - 4. Is u(-7) a composite number?
True
Let x(u) = -3*u + 50. Let