
False
Let t(j) = -2*j**3 + 10*j**2 - 8*j + 1. Let f be t(4). Is (-1559)/(6/(-4) + f) a composite number?
True
Suppose -5*o + c + 1 = -1, 4*o - 8 = 4*c. Suppose -2*w = 4*i - 32, o*i + 40 = 3*w + 4*i. Let l(t) = t**3 - 4*t**2 - 13*t + 11. Is l(w) prime?
True
Is ((-5883)/(-6))/(2/4) a composite number?
True
Let o = 15944 + -6591. Is o a prime number?
False
Let x(c) be the third derivative of 11*c**4/4 + c**3/6 + 37*c**2. Let p = -2 + 3. Is x(p) a prime number?
True
Let y(l) = 9*l**2 - 21*l - 119. Is y(-5) a prime number?
True
Suppose -2*o + 98 + 112 = 0. Let s = o - 62. Is s prime?
True
Let s = 19443 - 10444. Is s prime?
True
Let t = -15952 + 23759. Is t prime?
False
Suppose 4*m = 5*r - 7, -2*r = -5*m - 0*m + 4. Suppose m*l + 4*u = 7*u + 614, 4*l - 1228 = -2*u. Is l composite?
False
Suppose -4*z + 2*o - 18 = 0, -3 = -3*o + 12. Suppose 86 = -4*n - 5*d + 251, 5*n - d = 199. Let q = z + n. Is q prime?
False
Let p be (-6)/39 + 0 + 7496/52. Let y = 355 - p. Is y prime?
True
Let h = 530 + 4931. Is h a composite number?
True
Is 4094*36/24 + 2 composite?
False
Let t = 11 - 8. Suppose 3*n - 907 = 2*m, -t*m + 7 = -n + 314. Is n a prime number?
False
Let u = 8752 + -489. Is u a prime number?
True
Suppose 0 = 3*v - 3*s + 8*s - 2354, 3910 = 5*v + 5*s. Suppose 0 = -5*x + 4443 - v. Is x composite?
False
Let q = -7 + 5. Let o be ((-1)/2*0)/q. Suppose -3*a + o*a + 357 = 0. Is a prime?
False
Let k(g) = 8*g**2 + 8*g - 1. Suppose 0 = 3*d - 2*r + 21 - 2, -3 = 3*r. Is k(d) composite?
True
Let u(m) = 4*m**3 + m**2 + m. Let x be u(-1). Let n(z) = 3*z**3 + 4*z**2 + 2*z - 2. Let b be n(x). Is (-6)/33 - b/33 prime?
False
Suppose 5*a = -5*x + 65, -5*a - x = -10*a + 47. Is (-2)/a - 1956/(-5) composite?
True
Let g = -4 - -6. Let d be (-3 - 363)*(3 - g). Let o = d - -601. Is o a composite number?
True
Let g(n) = n**2 + 2*n - 9. Let h be g(-4). Let q be ((-119)/h)/(-9 - -10). Is q + 1 - (-15)/15 a prime number?
False
Let a(o) = -o**2 + 7*o - 8. Let s be a(5). Suppose 3*m + 15 = 0, s*v - 5*m + 3*m = 756. Is v prime?
True
Let g(p) = -2*p**2 - 10*p + 367423. Is g(0) prime?
False
Suppose -810 - 755 = -5*m. Suppose 5*v + c = 3700, 0 = -2*v - 3*c + 1180 + m. Is v prime?
True
Suppose -32 - 4 = -3*z. Let d be 3/(z/(-136)) - -1. Let q = 47 + d. Is q composite?
True
Let w(i) = -i**3 + 10*i**2 - 8*i - 10. Let v be w(9). Let f(b) = -247*b**2 + 3*b + 2. Let u be f(v). Let m = -165 - u. Is m a prime number?
True
Let q(c) = 285*c - 22. Let j(o) = -142*o + 11. Let w(u) = -7*j(u) - 3*q(u). Is w(12) prime?
True
Let q(k) = -5 + 17*k**2 - 4*k + 3*k + 0*k + 4*k. Is q(3) a prime number?
True
Let z be 15/9 - (-3)/9. Let o be (-4)/z*1254/(-44). Suppose 4*a - 4*l = 76, -o = -3*a + 4*l - 0*l. Is a a prime number?
True
Let n(d) = 4 - 14 + 15*d**2 - d**2 - d + 14. Is n(-7) a composite number?
True
Let r = -502 - -850. Let g = 310 + r. Suppose -3*l = 5*k - g, 0*k - 2*k = 2*l - 432. Is l prime?
True
Let p = -288 - -291. Let j be (2 - (-4)/(-2))/2. Suppose j = -4*y + 2*a + p*a + 454, 2*a = -5*y + 551. Is y prime?
False
Suppose 0 = 9*d - 1377 - 2421. Is ((-48)/32)/((-3)/d) composite?
False
Let i be (3 - 4)*5*-1. Suppose 5*u - g = 3231, -i*g + 446 = u - 221. Is u a prime number?
True
Let l = -1973 + 3759. Suppose -5*u - 2*f = -u - l, 4*f - 12 = 0. Is u composite?
True
Is ((-1)/(-3))/(-3 + (-49224)/(-16407)) a composite number?
False
Let g = -977 - -5026. Is g prime?
True
Let z(h) = 185*h**2 - 2*h. Let n(b) = -2*b + 1. Let o be n(0). Is z(o) composite?
True
Let b(t) = -5*t + 13. Let m be b(3). Is (-2)/((-6)/(-1173))*-1 + m a composite number?
False
Let j(x) = x - 12. Let v be j(4). Is (4/(-6))/(v/35124) a prime number?
True
Let j(b) = -b**3 - 5*b + 6 + 16*b**2 - 15 + 2*b**3. Let h be (-176)/24 - (-1 - 4/(-6)). Is j(h) composite?
False
Let h be (-21)/2*(-156)/(-91). Let r be 4/3*(-189)/h. Let n = 19 + r. Is n prime?
False
Let o be -1*(1 - (42 - -2)). Let m = -21 + o. Is m a composite number?
True
Suppose 28391 = 4*d - 3*k - 23409, 0 = -4*d - 4*k + 51828. Is d prime?
True
Suppose 0 = 4*r - 2*t - 18, -5*r = -0*r - t - 18. Suppose -2*f + 20 = -0*a + r*a, a - 24 = -5*f. Suppose -f*g + 68 = -8. Is g a prime number?
True
Is (8 + -11)*(106/3)/(-1) a composite number?
True
Let k(b) = 2*b**2 + 4*b - 22. Let r(g) = g**2 + 2*g - 11. Let a(p) = 4*k(p) - 7*r(p). Let c be a(8). Suppose -n - 2*n + c = 0. Is n a composite number?
False
Let f = 1832 - 126. Is f a prime number?
False
Let k = 1592 - 358. Is k composite?
True
Let j = 3928 + -1221. Is j composite?
False
Suppose -257983 = -29*d - 18*d. Is d a composite number?
True
Let j = 2 + -2. Suppose -2*t + t = j. Suppose -2*d - 2*d + 140 = t. Is d composite?
True
Let b = 11069 - -408. Is b a prime number?
False
Let f = 6808 + 5641. Is f prime?
False
Suppose 5*l + 3*h - 114172 = 0, 182422 = 5*l + 5*h + 68252. Is l a composite number?
True
Suppose -25 = -4*k - 5*b, 3*k + k + 4*b - 20 = 0. Suppose 0*u - u = k. Suppose u = 5*n - 187 - 58. Is n prime?
False
Suppose -4*r = 3*u - 953, 0 = -253*u + 255*u + 2. Is r composite?
False
Suppose 5*p + 3 = 83. Let s be p/2 + (2 - 0). Let i(w) = 22*w - 9. Is i(s) a prime number?
True
Let c(j) = 0*j**2 + 1 - 13*j + 1 + 1 + j**2. Let g be c(13). Suppose -g*v - 2*k = -95 + 10, 2*v = -3*k + 65. Is v prime?
False
Let f be (((-144)/(-21))/4)/((-6)/63). Is 12/f + ((-1604)/3)/(-4) composite?
True
Let g = 1 + -26. Is ((-407)/(-3))/(g/(-75)) a prime number?
False
Suppose -27717 = 6*m - 9*m. Is m a prime number?
True
Is 14/(-21) - (-14002)/6 composite?
False
Suppose -1439 = 3*l + 3*y - 7223, 3*y = l - 1940. Is l a composite number?
False
Let f(v) = 376*v**2 - 38*v + 273. Is f(10) a prime number?
True
Suppose 0 = -3*h + 2*s + 5 + 26, -h - 3*s = -14. Suppose 0 = h*z - 15*z + 904. Suppose 13*m + z = 14*m. Is m composite?
True
Let u(y) = -y**3 - 7*y**2 + 1 - 2*y + 0*y**2 - 11. Let g be u(-7). Let r(x) = 16*x**2 + 2*x + 1. Is r(g) a prime number?
False
Let l(v) = 10*v**2 - 6*v - 3. Let k be l(6). Let r = k + 236. Is r a composite number?
False
Let h be (4230/75)/((12/10)/3). Suppose -2*u - 2157 = -3*g, -h = -4*g - 5*u + 2712. Is g composite?
True
Suppose 0 = 5*i - 3*i + 24. Let t = i + 16. Suppose -y + t*y = -5*g + 383, 3*g + 5*y = 217. Is g prime?
True
Let f be (0 + (-9)/15)*(5 - 1990). Let v = f + -92. Is v composite?
True
Let r be -2 + (4 - 0) + -2. Suppose r = -0*j + j - 2084. Is j/6 - 2/6 prime?
True
Let f = -28 + 43. Suppose -q - r = -7, 5*q + 4*r - 3*r = f. Suppose -9 = -3*t, h - 372 = -2*h - q*t. Is h prime?
False
Let z = -23 - -27. Suppose 2*i = i - z. Is (3916/(-6))/(i/6) prime?
False
Suppose -2*i + 26 = -5*i + 5*x, i + 3*x = 10. Let j(v) = -9*v**2 - 2*v - 2. Let k(p) = -p**2 - p - 1. Let l(n) = -j(n) - k(n). Is l(i) a prime number?
True
Suppose 52*d - 6 = 50*d. Suppose -d*r = -5436 - 249. Is r a prime number?
False
Let m = 17 + -15. Suppose 503 = m*u - 2085. Suppose 3*l - l - u = 0. Is l prime?
True
Let c be (-5 + 52/8)*8/3. Suppose c*g - 6149 = -v, 0 = 5*g - 3*v - 6915 - 767. Is g a composite number?
True
Suppose -16*f + 21592 = -82456. Is f a prime number?
False
Suppose q = -3*a + 3*q + 4472, 5*a - 7455 = 3*q. Suppose 5*g - 867 = -2*n, -5*g = 4*n - a - 235. Let t = n + -308. Is t a prime number?
False
Let o(q) = -40*q + 91. Is o(-6) a prime number?
True
Let c(r) = 3*r**3 + 10*r**2 - 8*r + 1. Let k be c(7). Let a be (-114)/(-4)*k/18. Suppose -3*z = -5*w - 1733, -z - 3*z = -3*w - a. Is z prime?
False
Let n = -39 - -50. Suppose 0 = -14*y + n*y + 1581. Is y a prime number?
False
Let f(q) = 6*q - 2. Let g be f(-2). Let m(w) = -57*w + 41. Is m(g) prime?
True
Let d be ((-10)/(-15))/((-3)/324). Let l = d + 433. Is l composite?
True
Let h(f) = -14*f**2 + 2*f - 30. Let n(m) = 5*m**2 - m + 10. Let i(z) = -6*h(z) - 17*n(z). Let d be i(7). Let y(q) = 70*q**2 - 3. Is y(d) prime?
True
Suppose 2*z - 264 = -z. Let t = z + 142. Suppose r + r = t. Is r a composite number?
True
Let z = -43 - -47. Suppose -3*l = -v + 2507, 2*l + 6007 = z*v - 4041. Is v composite?
True
Suppose 29969 - 1225 = 8*i. Is i composite?
False
Let q(b) = -1706*b + 51. Is q(-10) composite?
True
Let b(c) = -2736*c - 49. Is b(-10) a prime number?
False
Let s be (1 - 19)*(-89)/1. Suppose -m = -305 - s. Suppose -2*j + m = 3*j + 2*v, 4*j - 1521 = 3*v. Is j composite?
True
Suppose -5*t + 10*h = 