 a prime number?
True
Suppose 0 = -h + 11 - 7. Suppose h*s = 8, -s + 1333 = 5*m + 3*s. Is m a prime number?
False
Let p = 694 - -549. Is p composite?
True
Let r(c) = -207*c + 6. Let h be r(-5). Let d = -350 + h. Is d prime?
True
Let d(o) = 101*o - 256. Is d(15) prime?
True
Let u(w) = -390*w + 11. Let p(h) = 391*h - 11. Let t(j) = -4*p(j) - 5*u(j). Let o(y) = -257*y + 7. Let x(s) = -8*o(s) - 5*t(s). Is x(2) a prime number?
True
Suppose -60*a = -55*a - 25995. Is a composite?
True
Let n = -52752 + 125203. Is n composite?
True
Let v = -203 + 521. Let h = -214 + v. Let l = 171 - h. Is l composite?
False
Let s(v) = -11*v - 16. Let c be s(-6). Suppose 5*t - 3*t = 2*q - c, -3*t = -q + 17. Suppose -28 - q = -3*z. Is z a composite number?
False
Let k = -7 + -2. Is 63753/27 + 2*1/k prime?
False
Suppose -2*x - 1 = -2*p - 9, -4*x + 12 = -2*p. Let z be p/8 + (-966)/(-24). Let f = 29 + z. Is f a prime number?
False
Suppose -4*s + 7*m = 3*m - 58748, -5*m - 44069 = -3*s. Is s composite?
False
Suppose -2*j + 3*i + 20999 = 0, 2*i = -3*i - 15. Is j composite?
True
Let y(d) = 474*d**3 + 6*d**2 - 5*d - 3. Is y(2) a composite number?
False
Suppose 0 = -30*u + 28*u + 10866. Is u prime?
False
Let v = -1017 + 24720. Is v a prime number?
False
Let y(z) = -4*z - 8. Let m be y(-8). Let u = -46 + m. Let f = 119 + u. Is f a composite number?
False
Let b = 1 - -6. Suppose b*q - 45 = 2*q. Is ((-381)/9)/((-3)/q) a composite number?
False
Suppose -98 = -2*d - 0*d. Suppose -3*c - 5*g - 8 = 0, 5*g - 17 + d = 3*c. Is 203 + (c - 1 - 3) a composite number?
True
Suppose -25 + 9 = d - 2*u, -d + u - 13 = 0. Let j = -6 - d. Suppose -3*o + v + 577 = 0, -o - j*o = -5*v - 975. Is o a composite number?
False
Let v = 81 + -79. Is 2049*(15/(-9) + v) a composite number?
False
Let s(d) = -24*d - 109. Is s(-22) composite?
False
Suppose 3*f = -4*k + 16041, f - 2*k + 3*k - 5347 = 0. Is f composite?
False
Suppose 3*h - 8*h = -20. Suppose -f = -5*s - 11, -h*f - 2*s = s + 25. Is (-410)/f*(8 + -6) prime?
False
Let r(o) = -o**2 - o + 53. Suppose -k + 0*k - 3*c + 21 = 0, 0 = 4*k - 3*c - 9. Let i be 18/24 + k/(-8). Is r(i) prime?
True
Let u(q) = -q**3 + 2. Let s be u(0). Let f(g) = 5*g**2 - 16 + 2*g + 0*g - 4*g**s. Is f(11) a prime number?
True
Suppose -2*b - 7 = -5*u + 5, -4 = -3*u - 2*b. Is 0 - 2*(-373)/u composite?
False
Let q be ((-13)/(-4) + -3)*68. Let u(w) = 32*w + 3. Is u(q) a composite number?
False
Is ((-2)/(-10))/(23/((-24173345)/(-7))) composite?
False
Suppose -5*o + 3*x = 4*x + 2315, o - 2*x + 474 = 0. Let c = 637 - o. Suppose -3*w = -237 - c. Is w a composite number?
True
Let z be 245/14*2898/15. Suppose 5*v - v + 673 = t, -5*t + 4*v = -z. Is t a prime number?
True
Let h(x) be the first derivative of 3*x**4/4 - 5*x**3/3 + x**2/2 - 2*x - 115. Suppose -10 = 4*u - 6*u. Is h(u) a prime number?
False
Let z be 22/55 + (-8)/(-5). Let g(j) = -3 + z*j + 9*j - 30*j. Is g(-14) prime?
True
Let j(w) = 2*w**2 + 25*w - 31. Suppose -2*x - x - 52 = 4*g, x + 24 = 2*g. Is j(x) a composite number?
False
Let y be ((-2)/4)/((-3)/12). Let f = -1400 - -2508. Suppose -3*c = y*p - 439, 5*p = -c + 4*c + f. Is p prime?
False
Let j(u) = -6448*u**3 + 6*u**2 + 3*u - 2. Is j(-1) a composite number?
False
Let w(h) = -7658*h - 19. Is w(-1) prime?
True
Suppose 9*k = 12*k - 15837. Is k composite?
False
Let q = -350 - -157. Let k be (128/12)/1*-45. Let m = q - k. Is m prime?
False
Suppose 0 = -h + f - 2*f + 622, 0 = 4*f. Let a be (-874)/3 + (0 - (-7)/21). Let r = h + a. Is r prime?
True
Let r = -500 - -2947. Is r a composite number?
False
Suppose 0 = 5*k - x - 391109, 4*k - 3*x = 8*k - 312872. Is (-4)/30 - k/(-195) prime?
True
Let z(d) = 2*d - 12. Let b be z(8). Suppose -120 = -b*w - 4. Suppose -2*y = -145 - w. Is y composite?
True
Let y(f) = 419*f**2 - 8*f + 53. Is y(6) a composite number?
True
Is (10/5)/(-2 - (-20040)/10015) a prime number?
True
Suppose -8*k = -86713 + 15201. Is k composite?
True
Let n(t) = -1 + 5*t**2 - 6*t**2 + 5 + 2*t. Let l be n(3). Is -2*l*(-955)/10 prime?
True
Let i(y) = 4*y - 1. Let r = 27 - 26. Let n be i(r). Suppose 0 = n*c + 2*c - 370. Is c a prime number?
False
Let u = 428 - 337. Is u a composite number?
True
Let k(x) = 2*x + 10*x**2 - 1 + 20*x**2 - 23*x**2 - 4*x. Let y = 6 - 12. Is k(y) composite?
False
Is (-3)/((-3)/8747*(35 + -34)) prime?
True
Let f(n) = 6*n**2. Let q be f(1). Suppose q*h - 3*h - 3177 = 0. Is h a composite number?
True
Let q = -36 + 41. Suppose d + q*k = k + 2145, 0 = -2*d - k + 4311. Is d a prime number?
False
Let s = 121 + -119. Suppose -s*a - 397 = -1743. Is a a prime number?
True
Let d(b) = -4*b**3 - 15*b**2 - 556*b - 18. Is d(-19) a prime number?
False
Let y(w) = 33*w + 2*w**3 + 2 - 1 - 28*w + 5*w**3. Is y(5) composite?
True
Suppose -5*a + 4*k + 321 = 0, -4*a - 2*k - 2*k + 264 = 0. Let t = 153 + a. Suppose y = -y + t. Is y a prime number?
True
Let z = -32 + 34. Let a(t) = 38*t + 3. Is a(z) prime?
True
Let n be ((-4)/12 - (-2)/6)*1. Suppose k + 5*l - 922 = n, 3*l = -k - k + 1823. Is k prime?
True
Let z(m) = -m**3 - 9. Let i be z(0). Let t be ((-3)/i)/((-2)/(-66)). Suppose -t = -p + 72. Is p a composite number?
False
Suppose 3*x = 243 - 2016. Let b = x - -998. Is b prime?
False
Let c(s) = 1358*s - 9. Let u be c(1). Let q(f) = f**3 + 4*f**2 - f + 2. Let g be q(-4). Suppose -g*v = -u - 2437. Is v composite?
False
Suppose 9*a = 3*a + 124158. Is a prime?
True
Is (1 - (-150)/(-1))/(98/(-686)) a composite number?
True
Suppose 12*h - 104 = 10*h. Let t = 1135 + h. Is t a composite number?
False
Let w = -21 + -62. Let v be 27/(-18) - w/2. Let g = 45 + v. Is g a composite number?
True
Suppose 125 = 5*y - l + 483, 3*l = -5*y - 366. Let o = 146 + y. Is o a prime number?
False
Suppose -5*k = -3*m - 93135, 124180 = -4*m + 3*k + k. Is m/(-21) + (-2)/6*4 composite?
True
Suppose 0 = 8*o - 36073 - 17863. Is o prime?
False
Let i(h) = -h**3 - 30*h**2 - 16*h + 73. Is i(-30) a composite number?
True
Let z = 3 + -2. Suppose -y + 2*y + 3 = 0. Is (-3)/y - (-18)/z prime?
True
Suppose -2*a + 29 - 13 = 0. Suppose -5333 + 909 = -a*q. Is q a prime number?
False
Let p be 284/6 + 2/3. Let c = 110 + p. Is 1 + (c - -4) + 0 a prime number?
True
Suppose 0 = 3*r - g - 138, -3*r + 34 = -5*g - 116. Is r/(-30) - 73/(-2) prime?
False
Let t(o) = 31*o + 17. Let x(l) = l + 1. Let c(d) = -t(d) + 6*x(d). Is c(-12) prime?
False
Let z be 210/28*(2 - 0). Suppose z*w - 13887 = 6*w. Is w a prime number?
True
Let q(v) = v**3 - v + 2. Let m be q(0). Suppose 0 = 7*x - m*x. Suppose x = 4*j - 45 - 143. Is j composite?
False
Let l = -5 - -4. Let d be -1 + l*(0 + -3). Is d - (-332 + (0 - 1)) composite?
True
Let g(k) = k**3 + 3*k**2 - 2*k + 5. Let x be g(-4). Let b be 286*(x + 36/8). Suppose b = 3*o + 3*h, 2*o - 5*o + 2*h = -429. Is o prime?
False
Suppose -13*z = -8*z + 5. Is z/(-1)*(143 + -2)/3 a prime number?
True
Suppose -91 = -10*w + 11*w. Is w/(-3) - (-14)/21 composite?
False
Is 0 + ((-36085)/14)/(4/(-8)) a prime number?
False
Suppose -4 = -i, -m + 5*i = -0*i + 15. Is ((56665/(-21))/m)/((-1)/3) a composite number?
False
Let v(b) = 14*b**2 + 10*b - 7. Let n be 2/(-1)*14/(-4). Is v(n) prime?
False
Let y = 6225 - -8628. Is y prime?
False
Let a = 51 + -47. Suppose 0*b = -5*f + a*b + 6149, 4917 = 4*f - b. Is f composite?
False
Let r be (-3)/(-21) + (-102)/(-21). Suppose -4393 = -r*d + 327. Let y = d + -490. Is y a composite number?
True
Is (-69899)/12*(127 + -139) a prime number?
True
Suppose -4*b = -6 - 10. Suppose m + b*v = 1003, v + 0*v - 4958 = -5*m. Is m composite?
False
Let w(x) = 52*x + 5. Let b be w(-4). Let m = b - -456. Is m prime?
False
Suppose 1 = -2*x + x. Let b be 15/5 - (0 - x). Suppose 26 = 4*t - 2*g, b*g + 14 = t - 0*t. Is t a prime number?
False
Is ((-14)/7)/(-2) - -1370 prime?
False
Is -27668*2/(-4) + 52 + -57 a composite number?
False
Suppose 107 = 2*y - y + 3*n, -20 = 5*n. Let u be (2/(-5))/((-7)/(-910)). Let i = y + u. Is i composite?
False
Suppose 0 = -6*r - 0*r - 282. Let p(b) = 63*b - 2. Let y be p(2). Let z = r + y. Is z composite?
True
Let r(m) = -1629*m + 2. Let c be r(-1). Suppose -233 + c = -o. Is (o/9)/((-2)/3) a composite number?
False
Suppose -5*b + 3*b = -3*r + 129, -3*r + 126 = -b. Let i = -29 + r. Suppose -16*l + 308 = -i*l. Is l a prime number?
False
Suppose 5*t + 2*t = 0. Suppose 5*x + b - 