x. Is x prime?
True
Suppose -244*a + 239*a = -81085. Is a a prime number?
True
Is 1 + 18536 + (-5 - -7) a composite number?
False
Let i(f) = -174*f + 9. Let w be i(5). Let u = w - -1544. Is u a composite number?
False
Let b = 35 + -25. Suppose -7*m + b*m = 2427. Is m prime?
True
Suppose 4*f - 290 = a - 3*a, -3*a + 4*f = -435. Suppose 4*g = -a + 637. Is g prime?
False
Let d = 131 + -126. Suppose 0 = -2*w + 5*j - 0*j + 2221, -d*j = -3*w + 3344. Is w a composite number?
False
Let y(z) = -1209*z - 500. Is y(-7) a composite number?
False
Let n be ((-2)/1)/(12/(-2202)). Let b = n + 288. Is b prime?
False
Suppose -1533 - 2969 = 5*y - 3*s, 0 = 5*y - 4*s + 4501. Let r = 3260 + y. Is r a composite number?
True
Let r = 9351 - 5962. Is r a composite number?
False
Suppose 3*q = 5*g - 8993, -g + 2*g - 2*q = 1800. Suppose -5*z + 267 = -g. Is z a composite number?
True
Let r be (9*20)/4 - 4. Let m = 942 - r. Is m a composite number?
True
Is 4392/(-3)*-11 + 20/(-4) a prime number?
False
Suppose 0*k - g = -5*k + 118, 0 = 4*k - g - 94. Let j = k - 12. Suppose -201 = -j*o + 11*o. Is o a composite number?
True
Let q = 2075 + 924. Is q composite?
False
Is 2719 + (5 - 5/1) composite?
False
Suppose 11364 = 3*u - 14661. Suppose 3*a - u = 6070. Is a a composite number?
True
Suppose -51*z = -47*z - 6772. Is z a prime number?
True
Let w = -22 + 15. Let o(a) = -5*a**3 - 11*a**2 - 15*a + 10. Is o(w) a composite number?
False
Let x(q) = 3*q**2 - 11. Let p be x(8). Suppose 0 = 5*s, -2*v + 1505 = s + p. Is v composite?
True
Let g(u) = u**2 - 7*u - 18. Let c be g(-6). Suppose c*o - 55*o = 95. Is o a prime number?
True
Suppose 0 = -h - 4*h + 7115. Is h a prime number?
True
Let q be (-9)/6 - 2/(-4). Let u be q/4 - (-4390)/(-8). Is 1 - (u + 6 + -3) a prime number?
True
Let o(l) = 2*l - 5. Let x be o(6). Suppose -1895 = -x*u + 2*u. Is u a composite number?
False
Let i(z) = 19*z - 13. Suppose 0 = x + 2*x - 12. Let g(b) = -6*b + 4. Let m(y) = x*i(y) + 11*g(y). Is m(13) prime?
False
Suppose 0*k + 3433 = t + k, -3*t + 3*k = -10287. Is t a composite number?
True
Let c(k) = k**3 + 6*k**2 + 8*k + 17. Let j be c(-5). Is 383/j + (-3 - 5/(-2)) prime?
True
Let t = -7 + -7. Let s = 19 + t. Suppose 0 = s*g + 56 - 801. Is g composite?
False
Let v = 9827 + -54. Is v composite?
True
Let z(g) = -2*g - 6. Let u be z(-9). Is (1/(u/(-184)))/(2/(-51)) composite?
True
Let h be (-5565)/(-3)*2 - 1. Suppose -c + p = -3700, c = -0*c + 4*p + h. Is c a composite number?
False
Suppose 5*b + 4*t = 0, -2*b + 12 = -4*t - 16. Is (b/3)/((-22)/11)*-2559 prime?
False
Is (-2291)/(-6 - -5) - (-4)/2 prime?
True
Let p(f) = -14*f**3 + 4*f**2 + 2*f - 3. Let s be p(3). Let d = -62 - -67. Is 3 - d - 0 - s a composite number?
False
Let n = 10998 + -4219. Is n prime?
True
Let f be 23*4/16*4. Suppose -f = 2*a - 625. Is a prime?
False
Suppose -18*b + 21*b + 241916 = 5*h, 193549 = 4*h + 3*b. Is h composite?
True
Suppose -5*p + 14 + 1 = 0. Suppose -i = p*z - 194, -2*i + 403 = -z + 2*z. Is i a prime number?
False
Let u = 3 - -2. Suppose 3*p + 5*z = 1832, 5*p = -u*z + 2790 + 270. Is p prime?
False
Let g(z) = -4*z + 1 + z - 3*z + 12 + 5*z**2. Is g(-8) a composite number?
True
Let l = -106 - -50. Let j(y) = -7*y - 3. Let d be j(3). Is (-837)/d + (-7)/l composite?
True
Let t(v) = 828*v - 1. Let a(y) = 1657*y - 2. Let k(i) = -6*a(i) + 11*t(i). Is k(-1) composite?
True
Suppose -x - x + 6 = 0, 5*j - 4*x = 33. Suppose 6*l - 3*l = j. Suppose 0 = l*u + 4*c - 641, -4*u + 863 = 4*c - 7*c. Is u prime?
False
Let c = -228 + 2014. Let b = -989 + c. Is b prime?
True
Let q be 4/10 - (-36)/(-15). Let a be -3 - (-10 - 0/(-2)). Is q/(-2) + -1 + a a composite number?
False
Suppose -3*b = 21 + 21. Let h(a) = a**2 + 9*a - 5. Is h(b) a composite number?
True
Let t = 22 + -16. Suppose m = t*m - 30. Suppose -2*k - m*h = -h - 306, -2*k - 2*h = -318. Is k prime?
True
Let o be (-2)/(-6) + 38/(-6). Let d = o + 119. Is d prime?
True
Let u be -1 + -1 + (-9)/(-3). Let q be u/2*12/3. Suppose 2*b - 148 = -q*b. Is b prime?
True
Let i = -131 - -814. Is i a composite number?
False
Is (385 - 8) + 2*1 a composite number?
False
Let k = -104 - -53. Let r = 134 + k. Is r composite?
False
Let i(v) = -597*v + 272. Is i(-7) composite?
False
Let m(z) = -z**3 + 16*z**2 + z + 7. Let p be m(16). Suppose 4*y = -79 + p. Is (-24)/84 - 1166/y a composite number?
False
Let n(y) = -4*y - 4*y**3 + 2*y**3 - 2*y**2 - 3 - 2*y**3. Suppose 5*u - b + 17 = b, 3*u + 27 = -3*b. Is n(u) prime?
True
Is ((-5075862)/(-198))/(1/3) a composite number?
False
Let k(b) be the second derivative of b**4/12 + 11*b**3/6 + b**2/2 - 10*b. Is k(10) prime?
True
Suppose -6 = -2*b, -g + b - 2832 = -4*g. Let m = g + -312. Is m composite?
False
Let c = -84 - -78. Is 4/c - (-4 + 389/(-3)) a composite number?
True
Let w(c) = 49*c**2 - 6*c - 27. Let d be w(-5). Let m = d - 663. Is m composite?
True
Let q = 18 - 11. Let s(o) be the third derivative of o**6/120 - o**5/30 - o**4/6 - 2*o**3/3 - 19*o**2. Is s(q) a prime number?
False
Suppose 3*w - 7*w + 3*y = 115, 0 = 2*w + 2*y + 40. Is (-5)/(-2)*(-15230)/w composite?
False
Suppose 0 = 9*l - 18116 - 2395. Is l composite?
True
Suppose -5*l + 3*m - 23040 = 2*m, 2*l - 2*m + 9224 = 0. Let f = -3126 - l. Is f prime?
True
Let k = 204 - 33. Let b = 75 - 15. Let l = k - b. Is l composite?
True
Suppose 78*x + 37768 = 86*x. Is x composite?
False
Suppose 3*k = -4*k + 7245. Suppose k + 737 = 4*f. Is f composite?
False
Let l(y) = -12*y - 5. Let q be l(-1). Let j(c) = 97*c - 5. Is j(q) a prime number?
False
Let g be (0 - -1423)/(8/10 - 1). Let f = 10776 + g. Is f prime?
False
Let f(a) = 19*a - 1. Suppose -5*o + 2*o = -6. Is f(o) a composite number?
False
Suppose 2*x - 7*j + 11*j = 798, -3*j = -x + 424. Is x a composite number?
False
Let u = 2021 - -12060. Is u composite?
False
Let r(c) = 1960*c + 279. Is r(11) a composite number?
False
Suppose 24*r - 44*r + 97780 = 0. Is r a prime number?
True
Suppose 0 = -2*l - l + 3. Is -1 - -6*l/(3/947) prime?
False
Suppose 15*x = 14*x - 52. Is 4636/52 - (-8)/x a composite number?
False
Let y(s) = 733*s**2 - 17*s - 55. Is y(-8) a composite number?
False
Suppose -p + 2*a + 52 = 0, p + 0*p + 2*a = 32. Let x be (-4 - 57/(-9))*p. Suppose -l + 227 = -2*s, -l + x = -s - 125. Is l a composite number?
True
Let b(h) = -102*h + 27. Let t be b(5). Let c = t - -1156. Is c a prime number?
True
Let w = -15 + 29. Suppose -w = -2*a + 248. Is a a prime number?
True
Let b = 16 + -13. Is ((-761)/(-1))/(6 - (2 + b)) a prime number?
True
Suppose 396 = -53*c + 52*c. Let x = 605 + c. Is x prime?
False
Suppose 0*s - 5*s + 55780 = 4*f, 0 = -5*f - 3*s + 69725. Suppose -36*i = -41*i + f. Is i a composite number?
False
Let n = 12335 + -7404. Is n composite?
False
Let p be (-6)/3 + 1*-1. Let s(g) = -15*g + 8. Let d(n) = 150*n - 81. Let l(i) = 2*d(i) + 21*s(i). Is l(p) a composite number?
True
Suppose 0 = -3*o + 33737 - 4649. Suppose 15 = -9*p + 4*p, -4*x - 4*p = -o. Is x a prime number?
False
Let s(j) = -j**3 + 18*j**2 - 44*j - 19. Is s(9) prime?
False
Let n be (1 - -2)*5306/(-21). Let l = n - -1407. Is l composite?
True
Let r be (-4)/((-28)/49)*4/7. Suppose r*y - 6983 - 4645 = -4*c, 0 = -4*c - 2*y + 11620. Is c a composite number?
False
Suppose 0 = 11*u + 52*u - 663453. Is u a prime number?
True
Suppose 4*h - 3*k - 31 = 0, 3*k = 2*h + 2*k - 13. Suppose 418 = 2*i - 2*s, 2*s + 60 = -h*i + 896. Is i a prime number?
False
Suppose -5*d + l + 66133 = -2*l, 0 = 4*d + 3*l - 52928. Is d a prime number?
True
Suppose a + 0*a - 3140 = 5*h, -3140 = 5*h + 3*a. Is 1*(3 - (0 + h)) composite?
False
Suppose -596 = -5*r + 15219. Is r composite?
False
Let x(q) = 126*q + 11. Suppose -4*m + 18 = -y, 4*y + m - 5 = 8. Is x(y) prime?
True
Suppose 3 + 1 = -4*k. Is (-276)/16*(k + -3) prime?
False
Let d = 138 - -11. Suppose 5*x - 2*s + 512 = 0, 2*s = -9*x + 4*x - 508. Let r = d - x. Is r a composite number?
False
Suppose 4*o + 3 = 19. Suppose 2*z - o*z = -6. Suppose -z*h = -14 - 31. Is h prime?
False
Suppose 22*z = 8*z + 35042. Is z a composite number?
False
Suppose 98 = -5*y - 4*n, -131 + 37 = 5*y + 2*n. Let x(v) = -v - 15. Let d be x(y). Suppose -d*a + 16 + 77 = 0. Is a a composite number?
False
Suppose 57 = 2*w - 5*a, 5*w + 2*a - 225 = -2*a. Suppose m - 39 = -w. Is (-181 - -3)/(2/m) prime?
False
Let