omposite number?
True
Suppose 2*i + 5*y - 938 = i, 0 = 2*y + 4. Suppose -4*m + 3160 = i. Is m composite?
True
Let j = 31658 + -22353. Is j a prime number?
False
Let j = -278 + 697. Is j a composite number?
False
Suppose 0 = -3*b + 12 - 48. Let z be (-3)/9 - 9340/b. Let p = z + -397. Is p prime?
False
Let u = -17124 - -29105. Is u prime?
True
Let b(g) = 976*g + 81. Is b(14) a prime number?
False
Suppose -5*p + 15 = 4*o, -4*o - 2*p + 27 = -3. Suppose 0 = 5*w - o - 0. Suppose -w*z - 18 = -5*z. Is z a composite number?
True
Let o = 59 - 35. Let m be 10/(-3)*(o - 21). Let k = m + 227. Is k prime?
False
Is 21/14*(-3162)/(-9) prime?
False
Let i(y) = 5*y + 18. Let w be i(-6). Let j be 9*(w/(-9) - 1). Is (-95*1)/(j/(-3)) a composite number?
True
Suppose 14*u - 273421 = 106693. Is u a prime number?
False
Is (-2)/(-9) + (-3687)/108*-236 composite?
True
Let v be 52/10 - (-6)/(-30). Suppose 0*r = 3*r - 3, 5*y - v*r = 1900. Let w = -74 + y. Is w prime?
True
Suppose 7*z + 11 = 368. Is z a prime number?
False
Is (-16)/40 - (-833781)/65 prime?
False
Is (-225979)/(-26) + -9 - (-2)/4 prime?
False
Let s = 15 + -10. Suppose 0 = -a + s*a + 20. Is 739 - a/(10/(-4)) a prime number?
False
Let z(a) = -1 - 7 - 3 - 4*a. Let x be z(-17). Let c = 212 + x. Is c composite?
False
Let r be 2 - 1 - (-3 - -3 - 6349). Suppose 2132 = -6*k + r. Is k a prime number?
False
Let q = -6787 - -22602. Is q prime?
False
Let l(u) be the second derivative of -73*u**3/6 - 43*u**2/2 + 39*u. Is l(-6) composite?
True
Suppose -5*z = 2*y - 65157, 4*z - 3*y + 65153 = 9*z. Is z a composite number?
False
Suppose -8 = 2*h, 0 = n - 4*n + 2*h + 20. Suppose -5*i + 4*l + 375 = -0*i, i - n*l = 91. Is i prime?
True
Let b = 18177 + 13322. Is b prime?
False
Let r(s) = -s**2 + 13*s - 36. Let f be r(5). Suppose 0 = 3*y - 6, f*x + y + 3*y - 8388 = 0. Is x a composite number?
True
Let p = -211 + 573. Let q = p - 255. Suppose 0 = -3*z - 8 + q. Is z prime?
False
Let c(j) = 5*j**2 - 9*j + 5. Let z(l) be the first derivative of 7*l**3/3 + l**2 + l + 3. Let h be z(-1). Is c(h) a prime number?
True
Let a(g) = 247*g**2 - 15*g + 1. Is a(6) composite?
False
Let g = 1559 + -682. Is g a composite number?
False
Suppose 2*k + 0*k - 7984 = 0. Suppose -15962 = 2*h - 6*h - u, -h - u = -k. Suppose h - 35 = 5*s. Is s a prime number?
False
Suppose 5*n - 4*x - 68245 = 0, 15277 = 3*n + 2*x - 25670. Is n a prime number?
True
Let m(b) = 2794*b - 701. Is m(10) prime?
True
Let d(g) = -4*g**2 + 7*g - 17. Let r(x) = 3*x**2 - 8*x + 16. Let z(h) = -4*d(h) - 5*r(h). Let t be z(-13). Is (2*t)/(34/1649) a composite number?
False
Let c(z) be the third derivative of -13*z**4/24 - 17*z**3/6 + 26*z**2 - 3. Suppose -29 - 31 = 4*p + 2*w, -5*p - 2*w = 76. Is c(p) a prime number?
True
Let h be (0 - 3) + (-44)/4. Let a = h + 835. Is a composite?
False
Let a = 80153 - 52950. Is a a composite number?
True
Let q = 971 + -524. Suppose -5*l = -o - q, -4*l - 3*o = 76 - 426. Is l composite?
False
Let r(c) be the second derivative of 4*c**3/3 - 27*c**2/2 - 4*c. Let i be r(15). Suppose 0 = 3*v + 3*k - 393, 5*k = -v + 38 + i. Is v composite?
False
Let y be (1/(-1))/(4/(-8)). Suppose -h = -3*b - 5, -29 + 9 = -4*h + y*b. Suppose h = -z, -289 = -2*c - z - 4*z. Is c prime?
True
Suppose 64*j + 90295 = 69*j. Is j prime?
True
Let p(q) = q + 2. Let t be p(0). Let m be (-28)/6 - t/(-3). Is 1/((-1)/(764/m)) a prime number?
True
Let l(p) = p**3 - 14*p**2 - p + 16. Let r be l(14). Let k be -7 + (-4)/(-2) + r. Is (146 - 0) + (0 - k) a prime number?
True
Let u(z) = 1670*z**2 - 8*z - 119. Is u(-5) a prime number?
False
Let j = 18 + 2. Let i be -238*(j/(-8) - -2). Suppose 2*c = n - i, 0 = -3*n - 2*n + 5*c + 575. Is n prime?
False
Let a(s) = -s**2 - 7*s. Let h be a(-7). Suppose h = 10*r - 5*r - 1140. Is (1/2)/(6/r) prime?
True
Suppose -48 = -4*a - 0. Let l = a + -8. Suppose -r = 4*r + 5*y - 355, -l*y = 2*r - 146. Is r prime?
False
Suppose 3792 + 33801 = 9*m. Is m prime?
True
Is 2927*(-6)/12*-2 a composite number?
False
Suppose 0 = -3*h + h + 5*f - 8270, 0 = 5*h + 2*f + 20675. Let n = -2576 - h. Is n composite?
False
Suppose -108 = 3*y + 264. Let c = y - -564. Is (1 - c)/(1 - 2) prime?
True
Let s(c) = -212*c. Let i be s(-1). Suppose -47 + i = 5*p. Suppose p = 2*n - 41. Is n composite?
False
Suppose -2*n + 13221 = 2*i + 3*n, 0 = 5*i + 2*n - 33000. Is i a composite number?
True
Suppose 2*g - 4*f = 5492, 3*g - 5*f + 9*f = 8278. Suppose 5*t = -5*v + 511 + g, -t + 665 = -5*v. Is t a composite number?
True
Let p = 108 + -90. Suppose -9*c = -p*c + 1179. Is c composite?
False
Let u(d) = 165*d**3 + d**2 + 2*d. Let q be u(-3). Let j be q/(-48) + (-2)/(-8). Let s = -46 + j. Is s a composite number?
False
Suppose -14*x + 29012 = -10*x. Is x a prime number?
True
Let j = 9622 + -4901. Is j prime?
True
Suppose -d - 2 = -0*d, -5*y + d = -14607. Is y a prime number?
False
Let p(k) = 839*k - 7. Let a be p(1). Let c = a - 579. Is c a composite number?
True
Suppose -26 + 1254 = 4*o. Is (-1*o)/((3 - 3) + -1) prime?
True
Let c(b) = 44*b**3 + 4*b**2 + 2*b + 13. Is c(5) a composite number?
False
Let z(i) = 2*i**3 - 6*i**2 - 24*i + 29. Is z(12) prime?
True
Suppose 4*z - 16 = q, -4*q + 2*z - 8 = -0*z. Suppose 2*l + l + 11 = 4*x, 3*x + 4*l - 2 = q. Is (x - 4)*(-23)/2 prime?
True
Let s be 3/(-4*(-9)/36336). Let v = s + 125. Suppose 0*x - x + 627 = l, v = 5*x - 4*l. Is x a composite number?
True
Let d be (3*-335)/(1 - 2). Suppose 0 = -2*p - y + d, -2*y + 2003 = 4*p - 7*y. Suppose 2*x + p = 4*x. Is x composite?
False
Let l(u) = -20*u**2 + 16*u - 19. Let f(a) = 41*a**2 - 33*a + 37. Let i(d) = -3*f(d) - 7*l(d). Is i(5) a composite number?
True
Let i = 3 - 13. Let t(q) = q**3 + 11*q**2 + 10*q. Let k be t(i). Suppose -5*h + 92 = 2*j - k*j, 2*h = j - 46. Is j a composite number?
True
Let l = -945 - -1662. Is l a prime number?
False
Let d = 828 - -559. Is d a prime number?
False
Is 3/6 - 2*83559/(-28) composite?
True
Suppose 5*o + 1221 = 2*q, -1359 - 1671 = -5*q + 5*o. Suppose 5*i + 18 = q. Let x = i + -34. Is x a prime number?
True
Suppose 2*f - a + 215 = 0, -45 = 3*f + a + 280. Let n = 1009 - f. Is n prime?
True
Let u(x) = x**3 + 5*x**2 - 4*x + 10. Let i be u(-6). Let v be (3 - 2) + i + 4. Suppose 15 = -3*y, y = -5*t - v*y + 570. Is t a composite number?
True
Let o = 729 + -424. Is o prime?
False
Suppose -5*x = -10675 + 750. Is x composite?
True
Let f(g) = g**3 + 9*g**2 - 4*g + 7. Let v be f(-5). Let j = -36 + v. Let t = 236 - j. Is t prime?
False
Suppose 0 = -7*j + 2*j + 5*k + 30, 0 = 2*j + 5*k + 9. Suppose 1 + 8 = -j*v, -3*r = -4*v - 897. Is r prime?
False
Is ((-8)/6)/((-7)/(-21)) - -5145 prime?
False
Suppose -6*x = -2*x. Suppose x = -12*w + 10189 + 4151. Is w prime?
False
Let h(w) = -1154*w + 119. Is h(-13) prime?
True
Let b be (-153)/21 - (-8)/28. Let z be (-3)/2*2 - b. Suppose -782 = -4*v + 5*l + 1473, 2*v - 1126 = z*l. Is v a prime number?
False
Let n = 13347 + 6512. Is n a prime number?
False
Suppose 5 - 7 = -v. Suppose 0 = -s, -s = -v*h + 2*s + 526. Is h a composite number?
False
Suppose -24*k + 8 = -22*k. Suppose -k*i = -i - 10779. Is i prime?
True
Let t = 57 - 54. Is (-12)/t - (-5 + -126) prime?
True
Suppose -12*g + 166676 + 114352 = 0. Is g a composite number?
True
Suppose 3*p + 1143 = -4*t + 17588, 3*p + 16427 = 4*t. Is t a prime number?
False
Suppose -3*v - v = 0. Suppose v = 4*x - 3*x - 35. Suppose u - 168 - x = 0. Is u a prime number?
False
Let x be 4/5*1*44620. Suppose 0 = 10*q - 5134 - x. Is q prime?
False
Let u(b) = -b**2 + 13*b + 1. Let n be u(6). Suppose 4*x = -5*j + 76, 2*x - 5*x = -4*j + 36. Let a = n - j. Is a a composite number?
False
Let z(j) = 156*j - 2. Let g be (-10)/(-6) - 1/(-3). Let n be z(g). Let r = n - 105. Is r prime?
False
Let z(g) be the third derivative of -2*g**6/45 + g**5/24 - 5*g**4/24 + 5*g**2. Let h(w) be the second derivative of z(w). Is h(-9) a prime number?
True
Let q = 25 - 19. Let h(g) = g**2 - 2*g + 1. Let p be h(q). Suppose 5*x - p = 0, 0*x - 1875 = -5*s - 4*x. Is s composite?
True
Suppose 2*x = -0*x + 2314. Let y = x + -778. Is y a composite number?
False
Let a be 79/(-1) - (9 + (10 - 20)). Let u = -7 - -4. Is 0 + 0 + a/u a prime number?
False
Let f(o) be the first derivative of -14*o**2 - 6. Let k be f(1). Let t = 47 + k. Is t composite?
False
Let s be (-7 +