umber?
False
Let k = 576 + -1223. Is -1 + (-1 - -2) - k prime?
True
Let d(m) = 3*m - 14. Let q = 48 - 37. Is d(q) a composite number?
False
Let r(g) = 907*g**2. Is r(1) a composite number?
False
Suppose -8 = t - 2*b, 0 = -t + 3*b + 2*b - 20. Is (-4)/(-18) - 745/(-9) - t a prime number?
True
Suppose 0 = -2*x + 2, 0*p + 5*p + 3*x = 4803. Suppose k - 4*s = 2*k + 186, 5*k + 5*s = -p. Let j = k - -349. Is j composite?
True
Suppose -2*l + 1649 = 3*q, -3*q - 5*l = -4*q + 561. Is q a prime number?
False
Let q(j) = -j**3 - 12*j**2 - 4*j - 16. Suppose -77 = 4*o - 17. Is q(o) composite?
False
Let m(t) = 519*t + 50. Is m(7) composite?
True
Let h(a) = 9*a + 3. Suppose s - 11 = 3*z, 2*s - 6*z + 2*z = 30. Let v be (-2)/(-8) + s/4. Is h(v) a composite number?
True
Suppose 0 = 4*i + 4, -16307 + 50960 = 4*r - i. Is r a prime number?
True
Suppose 0 = 4*n + 20, -2*v + n - 4*n = 13. Let k(s) = 11*s**3 + 2*s**2 - 2*s + 1. Let b be k(v). Is 7*(b/3 + 33) a composite number?
True
Suppose -m - 5*o + 43124 - 6520 = 0, o = -5*m + 183140. Is m a prime number?
True
Let u(a) = 18*a**2 - 21*a - 185. Is u(22) composite?
True
Let y = 1734 - -214. Suppose -17*j = -13*j - y. Is j a composite number?
False
Suppose 334*l - 7575 = 319*l. Is l a composite number?
True
Suppose 3*x + 36 = 7*x. Suppose 0 = y + 3*n - x, 2*y + 10 = -3*y - 4*n. Let h(c) = 19*c**2 - 7*c - 5. Is h(y) a composite number?
True
Suppose -4*m + 33 = 5*x, -5*m - 5*x + 17 + 23 = 0. Let j(o) be the second derivative of o**4/6 + 2*o**3/3 - 7*o**2/2 + 54*o. Is j(m) composite?
True
Suppose 0 = 4*s + 5*x - 25733, -s - 11*x + 15*x + 6449 = 0. Is s composite?
True
Let w = -102 + 97. Is (-45)/w - 5 - 813/(-1) a composite number?
True
Let u(j) = 5*j**2 - 3*j - 8. Suppose -s + 35 = -6*s. Let k be u(s). Let i = -179 + k. Is i prime?
True
Let s(a) = a**3 - 9*a**2 + a - 6. Let i be s(9). Let f(b) = 41*b - 6. Let u(l) = -l + 1. Let m(g) = f(g) + 2*u(g). Is m(i) a composite number?
False
Let b be 1/(-3) - (-15904)/12. Suppose 6*c - b = c. Is c composite?
True
Let w = 1157 + 5454. Is w a prime number?
False
Let x = 184 - 173. Is x prime?
True
Let v(w) be the second derivative of -w**3/3 - w**2 - 5*w. Let s be v(-7). Is 3138/s + 1/2 a prime number?
False
Let w = -27 - -39. Let n be (5/2)/(6/w). Let i(g) = g**3 + 5*g**2 + 5*g + 12. Is i(n) a composite number?
True
Let b = -1052 - -683. Suppose h = 4*d + 4*h + 889, 3*d + h = -663. Let k = d - b. Is k prime?
True
Let m = 12 - 9. Suppose 3*r - 5*k + 2*k - 1875 = 0, -m*r - 3*k = -1905. Let n = r + -439. Is n composite?
False
Suppose -15*n = 27875 - 134630. Is n prime?
False
Let r = -519 + 2214. Suppose 4*m - 1991 = 3*n, 4*m + 3*n = r + 290. Is m prime?
False
Let d(j) be the second derivative of 5*j**3 - 9*j**2/2 + 40*j. Is d(14) a composite number?
True
Suppose 0 = 10*z - 6*z - 48. Let h(r) = 7 - 2*r + r**2 - 7*r + 10. Is h(z) composite?
False
Let y = 12305 - 6166. Is y a composite number?
True
Let o be (-3)/(-2)*(-39908)/33. Is o/(-6)*15/5 a prime number?
True
Suppose 0 = -3*t - 5*x + 42509, -2*t - x = x - 28342. Is t prime?
True
Let s be (2*-6)/(-2) - 3. Let d be s/9 - 12236/(-12). Suppose 4*h = -4*l + d, 2*l - 6 = -2. Is h a prime number?
False
Let m(a) = 8*a - 13. Suppose 0 = -5*s + 1 + 14. Let n be 14/2 - (s + -3). Is m(n) prime?
True
Let n = -1 + 7. Let l be 1356/((-8)/(-4)) - 4. Suppose -l = n*q - 3992. Is q a prime number?
False
Suppose -3*b + 6*b - 2*b = 0. Suppose 3*h + 19 - 2038 = b. Is h prime?
True
Suppose 4*a - 4 = 2*o, -2*a + 4*a + 5*o - 26 = 0. Suppose -a*r + r + 6 = 0. Suppose -3*f + r*w + 36 = 0, 5*w - 93 + 23 = -5*f. Is f a composite number?
False
Is -4 - (3 + (-9)/3) - -9493 composite?
True
Suppose -136 = 5*u + 5*p + 34, -3*u + 4*p = 123. Let s = 90 + 74. Let t = s + u. Is t a composite number?
False
Let f(n) = -87*n**2 - 1 + 37*n - 36*n + 307*n**2. Is f(-2) composite?
False
Let m(k) = -26*k**3 + 9*k**2 - 4*k - 5. Is m(-6) a composite number?
True
Let u = 440 + 233. Is u a composite number?
False
Let v(f) = -f**2 + 2*f - 3. Let o be (4/6)/((-2)/(-9)). Let i be v(o). Is 585/11 - i/(-33) a composite number?
False
Let z(o) = 124*o + 2. Let u(g) = 4*g - 7. Let w be u(3). Let a be z(w). Suppose -5*i = 5*d - 7*i - 1005, 5*i + a = 3*d. Is d prime?
True
Let g be 1 - (-3 + 1 - 185). Suppose 4*i + g = 5*s - 1701, 2*s - 4*i = 746. Is s prime?
False
Suppose 23*b - 779565 = 32657. Is b a prime number?
False
Let p = 63 + -61. Suppose 5*u - 5*c - 20990 = 0, -4*c = 3*u - p*c - 12609. Is u composite?
False
Let f(q) = -q**3 - 15*q**2 + 51*q - 27. Is f(-32) a composite number?
False
Suppose 4*k = -3*k + 3976. Suppose 80*v = 84*v - k. Is v a prime number?
False
Let n(x) be the third derivative of -x**6/120 + 7*x**5/30 - 11*x**4/24 + 3*x**3/2 - 11*x**2. Is n(11) prime?
True
Suppose 3*t - 58675 = 3*l + 13829, -4*t = 2*l - 96678. Is t composite?
False
Let u = -29 - -29. Suppose -5*i = -u*i - 695. Is i composite?
False
Suppose -5*u + 7*u = -4*n + 5142, -u = -n + 1278. Is n a prime number?
True
Let g(y) = 10*y**2 - y - 18. Let m be g(13). Let q = m + -1018. Is q composite?
False
Suppose -4*b = -2*t + 2, -2*t = -2*b - b - 2. Suppose 5*p + d - 409 = b, -4*d + 339 - 97 = 3*p. Is p prime?
False
Suppose -6*p + 716 = -4*l - 2*p, 0 = 5*p + 10. Let u = l - 223. Let j = -7 - u. Is j composite?
False
Let c(d) = -2*d**2 - 56*d + 15. Is c(-17) prime?
True
Let j(h) = 124*h. Let f be j(5). Let d be (-16)/(-48) + (-1192)/12. Let i = f + d. Is i prime?
True
Suppose 0 = 11*q - 4*q - 44023. Is q composite?
True
Suppose -l + 2 = 0, -3*l + 1842 = 4*x - 8*l. Is x a composite number?
False
Let m(x) = x**2 + x - 4. Let f be m(-3). Suppose -f*r + 188 - 32 = 0. Suppose 0 = -w + 85 + r. Is w a composite number?
False
Let r = -18899 + 29022. Is r composite?
True
Let q(d) = -4 - 5*d - 1 - 3*d + 10. Let s(i) = 16*i - 10. Let m(g) = 5*q(g) + 3*s(g). Is m(5) prime?
False
Is 7062 + (3 - (-6 + 10)) composite?
True
Let i = -35 - -35. Suppose i = 2*z - 0*t - 2*t - 1610, 4*t = -3*z + 2401. Is z composite?
True
Suppose 0 = 6*h + 7 - 1. Is (-16660)/(-42) + h/(-3) a prime number?
True
Let s(z) = -z + 1. Let m be s(3). Let f be (-144 - m)*(-7 + 6). Let v = 333 - f. Is v a prime number?
True
Let j = -16480 + 23379. Is j a prime number?
True
Let k(t) = -2*t + 7. Let g be k(2). Suppose i + 4383 = 5*x, 4*x + 0*i = g*i + 3502. Is x a prime number?
True
Suppose -4*a - 2490 = -12802. Suppose 1302 + a = 8*b. Is b a prime number?
False
Is -3 - (12/(-24) - 37507/2) a composite number?
True
Let l be 47/(2 + (-10)/6). Let s = l + -101. Suppose -v + 13 = -s. Is v a prime number?
True
Let u(v) = 41*v**3 + 5*v**2 + 7*v - 6. Let g be u(8). Is -2*1*g/(-44) prime?
True
Let p(q) be the second derivative of 25*q**3/3 - 17*q**2/2 - 7*q. Let j be p(12). Let d = -370 + j. Is d prime?
False
Is (2 - (-1477)/2)/((-2)/(-12)) a prime number?
False
Let j(i) = -i**3 - 11*i**2 - 3*i - 82. Is j(-20) a composite number?
True
Is (-9117890)/(-92)*(-4)/(-10) prime?
False
Let t = 10473 - 1174. Is t prime?
False
Is (-4566)/(-3)*(5 + (-42)/(-12)) prime?
False
Let w = 290549 + -880. Is w a composite number?
False
Suppose -39*a - 14*a = -209827. Is a prime?
False
Suppose 3*r - 4*d = 50 - 6, -3*d = -3*r + 48. Suppose -r = o - 135. Is o composite?
True
Let a be ((-12)/24)/((-1)/(-10)). Is 1*a/(20/(-52)) a composite number?
False
Let q be (-2)/(-4)*(2554 + -2). Suppose 0*s = 5*s - 3*p - q, 2*s + p - 517 = 0. Is s a composite number?
False
Let b = -46 - -38. Is 8/(b/3) + 3638 a composite number?
True
Let p = -5 + 8. Let c(b) = p*b**2 + 4 - 2*b - 3 - 2. Is c(-4) prime?
False
Is (27960 - 3)*(-1 + 2) prime?
False
Let m(g) = 2*g - 20. Let p(z) = -3*z + 20. Let h(b) = -4*m(b) - 3*p(b). Let y be h(9). Let j = -14 + y. Is j composite?
True
Let u = -24 - 11. Let v be (-7)/u + 184/5. Suppose -3*g + 236 = -v. Is g prime?
False
Let h = 198746 - 52993. Is h prime?
True
Is 34/(-255) - 274294/(-30) prime?
False
Let q = 139910 + -196525. Is (-20)/(-110) + q/(-11) a prime number?
True
Is (2/8*13417)/(4/16) prime?
True
Let d(x) = 11*x**2 - x + 5. Let v = 1 + -6. Let b be d(v). Let i = b - 154. Is i prime?
True
Let g(j) = j**2 + 10*j + 10. Let q be g(-9). Is -1 + (-2)/q - -748 a prime number?
False
Let r be -1 - 1/(1/(-2)). Let h = r + 6. Suppose 786 = h*k - k. Is k composite?
False
Is 