
Suppose 0*h = h - 71. Suppose -x = 2*q - 76, h = 3*x - 3*q - 139. Suppose 0 = 2*d - x + 10. Is d a prime number?
True
Let a be 5/10 - (-45)/10. Suppose -2686 = a*c - 18051. Is c prime?
False
Is (3674/4)/(((-33)/6)/(-11)) a prime number?
False
Suppose -2*y = y. Suppose 3*q - 185 - 106 = y. Suppose -5*p + q = -98. Is p composite?
True
Let s(i) be the second derivative of -89*i**5/2 - i**4/12 + i**3/6 + i**2/2 - 12*i. Is s(-1) prime?
False
Suppose c = 2*d - d + 1627, -4*d = 4. Let q = 2987 - c. Is q a composite number?
False
Let g(l) = -993*l + 376. Is g(-17) a prime number?
True
Suppose 4*o = 2*b + 54710, 4*o + 3*b + 846 = 55531. Suppose -h + 1211 = -w - 1524, -3*w - o = -5*h. Is h a prime number?
False
Let j be 1/4 - (21/(-28) + 1). Let b(f) = -3*f + 673. Is b(j) a composite number?
False
Let n(y) = 2*y + 5. Let o be n(-3). Let j(q) = -5*q**3 + 2*q**2 + q. Let p be j(o). Let f = p + 109. Is f a prime number?
False
Let w be 19*(-66)/3 + -2. Let u = w + 674. Suppose -5*c = -7*c + u. Is c a composite number?
False
Suppose 156*d = 159*d - 12333. Is d composite?
False
Let c(f) = 18*f**2 + f - 67. Is c(32) prime?
True
Suppose -13*h = -11 - 93. Is ((h/(-12))/1)/(10/(-1635)) a prime number?
True
Let m = -2 - 30. Let f = -29 - m. Suppose f*r + 5*v - 4181 = 0, -2*v + 10891 - 3910 = 5*r. Is r a composite number?
True
Let y(k) = 14489*k - 61. Is y(4) a composite number?
True
Let a(r) = 579*r**2 + 34*r - 86. Is a(3) a prime number?
True
Is (16 - 8) + 23546 + -3 a prime number?
False
Let x = -6856 - -13914. Is x a prime number?
False
Let h(n) = -n**3 + 58*n**2 + 26*n + 92. Is h(55) a prime number?
True
Let y(d) = -209*d - 14. Let c be y(-8). Is 4*(c/(-8))/(-1) composite?
False
Let l(z) = -5*z - 1. Let d be l(1). Let q = d + 12. Is q/12 - 10/(-4) a composite number?
False
Suppose 4*n + 8 - 12 = 0. Is (6162/12)/(n/(2 - 0)) a prime number?
False
Let z be 1/(-12)*-4*3. Let s(n) = 6*n**2 - 3*n + 1. Let h be s(z). Suppose 3*k - 9 = 0, 2*k - 289 = -5*p + h*k. Is p composite?
False
Suppose 0 = 10*p - 5*p. Suppose -3*w + w + 436 = p. Let c = -91 + w. Is c composite?
False
Let r(m) = -4*m**3 - m**2 + 3*m + 3. Let o(a) = a - 1. Let q be o(6). Suppose u - q*k + 2 = -20, 0 = -u + 2*k - 10. Is r(u) composite?
True
Suppose -5*h - 410 - 70 = 4*n, 3*n - 2*h + 360 = 0. Let w = 197 + n. Suppose w + 12 = b. Is b prime?
True
Let a(b) = b**3 - 22*b**2 - 20*b - 2. Let m be a(20). Let y = m - -1693. Is y composite?
False
Suppose 0 = -273*u + 270*u + 4*y + 54571, 0 = -3*u - 4*y + 54539. Is u prime?
False
Suppose 0 = -12*w - 17*w + 66497. Is w composite?
False
Let f(g) = -3*g**3 - g**2 - g - 1. Let v be f(-1). Suppose 4*i - 3097 = -3*k, 0 = i - 5*i + v*k + 3082. Let m = -87 + i. Is m composite?
True
Let r(n) = 26*n**3 - 2*n**2 + n + 4. Let z be r(3). Let c = z - 402. Is c a prime number?
False
Let q(v) = v**3 - 25*v**2 + 79*v - 62. Is q(37) a composite number?
False
Suppose -9143 + 34787 = -3*b. Is ((-90)/(-25))/(-6) + b/(-5) a prime number?
True
Let d be (-4)/(-10) - 13/(-5). Let l be d/(1*(-3)/14). Let b = 45 - l. Is b a composite number?
False
Let i(s) = 4*s - 20. Let q be i(8). Is 3 + q/(-3) + 86 composite?
True
Let k(f) = 4*f**3 - 6*f. Let y be k(9). Let z = y - 1961. Is z prime?
False
Suppose 6*h - 9*h = -12. Suppose -962 = -2*i - 8*b + h*b, 5*b - 1921 = -4*i. Is i composite?
False
Let p(m) = -2 + 0 + 3 + 8*m + 5*m**2 - 83*m**3 + 2*m**2. Let d(h) = -82*h**3 + 6*h**2 + 7*h + 1. Let f(x) = 6*d(x) - 5*p(x). Is f(-1) a composite number?
True
Let m(u) be the first derivative of 11*u**3 - 6*u**2 + 4*u - 20. Is m(5) prime?
True
Suppose -w + 3176 = -257. Is w prime?
True
Let l = 14 + 269. Let m = 441 - l. Suppose q = 3*q - m. Is q a prime number?
True
Is 5 + 13/(39/4536) a prime number?
False
Suppose h + 5*i - 156 = -0*h, -2*i + 6 = 0. Suppose s - h - 430 = 0. Is s composite?
False
Let q be -3 - -1 - (5 + -3) - -4. Is (2 - 7)*(-239 - q) a composite number?
True
Let d(a) = 64*a**2 + 15. Is d(4) composite?
False
Let j = -3974 - -2275. Let q = j + 3392. Is q a prime number?
True
Suppose 4*z - 4*w + 2*w = 27448, z + 3*w = 6869. Is z a composite number?
False
Suppose -3*y = -j + 9, -y - 19 = -4*j - 5. Let r(t) = -5*t - 5. Let g be r(y). Suppose -g*i = -1837 - 2208. Is i composite?
False
Let j = -16293 + 32740. Is j a prime number?
True
Let s = 2595 - 134. Is s a prime number?
False
Is -34 + 2188 + (-1 - 0/1) prime?
True
Suppose -5*h - 5 = 3*m - 65, -4*m - 4*h = -72. Suppose 3*r = -m + 42. Suppose -4*n + r*n - 605 = 0. Is n a composite number?
True
Let h(j) = 1143*j**2 - 26*j - 3. Is h(-2) a composite number?
False
Suppose 6*c - 3*c = 0. Suppose c = -2*f + 3*f - 3. Is (80 + -1)*f - -2 a composite number?
False
Let a(h) = h**3 + 2*h**2 - 7*h + 1949. Is a(0) a prime number?
True
Let n(y) = -607*y**2 + 3*y. Let u be n(-3). Let i = u + 8817. Is ((-2)/6)/((-5)/i) a composite number?
False
Let w = -2 - -15. Let r = w - 8. Suppose 1 = r*f - 4*z - 6, -2*z + 13 = 3*f. Is f a composite number?
False
Suppose -2212 = -64*t + 60*t. Is t prime?
False
Let w = 138 + -33. Suppose -272 = 39*b - 35*b. Let g = b + w. Is g a prime number?
True
Let h = -5 + 8. Suppose h*x = 271 + 116. Suppose 0 = 5*j - x - 316. Is j a prime number?
True
Let j(f) = -972*f + 143. Is j(-10) a composite number?
True
Suppose 3*k = 6*f - 2*f - 8128, -6107 = -3*f + 5*k. Suppose -4036 = -5*g + f. Is g a prime number?
True
Let o(u) = 3*u**2 + u - 10. Let r be o(3). Let q = r - 40. Is (-1268)/(-10) - 4/q a prime number?
True
Let g(v) be the first derivative of v**4/4 + 5*v**3/3 - v**2/2 + 5. Let s be g(-5). Let n(d) = d**3 - 2*d**2 + 6*d + 6. Is n(s) prime?
False
Let w = -5452 - -7683. Suppose 0 = 4*a - 1637 - w. Is a composite?
False
Suppose -5*r + 0*r = 145. Let l = r + 118. Is l prime?
True
Suppose 0 = -3*a + 7 + 2. Is (57 - -2)/(a/21) composite?
True
Let z be 3 + (-1)/1*-1. Suppose -z*f = 4*g + f - 377, 4*g - 376 = -4*f. Suppose 0 = v + 2*v - g. Is v a composite number?
False
Let g = 2813 + 392. Is g a prime number?
False
Let r(p) = -2*p - 3. Let i be r(-6). Suppose 0 = -945*j + 946*j. Suppose j = -4*g + i*g - 395. Is g a prime number?
True
Suppose 36*o = 33*o + 14583. Is o a prime number?
True
Is (-5)/6 - (204531/(-18) + 5) a prime number?
False
Let t(m) = -17*m**3 + 1 + 3*m**3 + 2*m + m**3 - 5*m**2. Let c be ((-4)/10)/(1/10). Is t(c) prime?
False
Is (-3 - 0) + (4 - -20958) a composite number?
False
Let g(a) = 33536*a**2 - 9*a + 2. Is g(1) a composite number?
False
Suppose -145*w = -149*w + 13828. Is w a composite number?
False
Let w(s) = 3*s**3 + 4*s**2 + 2*s. Let d(h) = 7*h**3 + 8*h**2 + 5*h + 1. Let y(a) = 4*d(a) - 9*w(a). Let v be y(3). Is 1 + v + (57 - 0) a prime number?
True
Is (3 - 25/10)*(15632 + 2) prime?
True
Let s = 883 + -404. Is s prime?
True
Let j(d) = -231*d + 15547. Is j(0) a composite number?
True
Suppose -4*q + 2*y + 700 = 0, -q - 5*y - 350 = -3*q. Suppose 0 = -h - 5*a + q, 4*h - 5*h + 161 = -2*a. Suppose 6 = 3*f + p - h, -3*f = 4*p - 162. Is f prime?
False
Let r = -26 + 18. Let g be -3*(r/(-12) + -3). Let c = 12 + g. Is c prime?
True
Let u be 1 - (-7 - (-1 + -2)). Let v be (-48)/20 - (-2)/u. Is (-1 - v) + 19 - -2 prime?
False
Let g = 42 - 39. Let c be (-76)/3*9/(-6). Suppose g*d = d + c. Is d a prime number?
True
Let r be (4/3)/((-7)/(-21)). Suppose -r*i + 145 = 4*a - 899, 0 = -4*i + 2*a + 1032. Is i a composite number?
True
Suppose 134719 = 5*s - 4*h, 2*s - 4376 - 49522 = -h. Is s a prime number?
True
Suppose -30*s + 134674 = -84956. Is s a composite number?
False
Let w(r) = r**2 - 2. Let j be w(0). Let n(d) = -2*d**3 - 6*d - 3. Let q(p) = -p**3 - 6*p - 4. Let b(i) = j*n(i) + 3*q(i). Is b(5) prime?
True
Let i(s) be the first derivative of -15*s**2/2 - 4*s + 4. Let t be i(4). Let m = 369 + t. Is m prime?
False
Suppose -b = 2*r + b - 3032, 0 = r + 5*b - 1528. Is r composite?
True
Let n(j) = -j**2 - 14*j + 3. Let w be n(-14). Suppose 11*t = w*t + 20120. Is t composite?
True
Let w(k) = 1345*k**2 - 3*k + 3. Let c be w(1). Let b = 1932 - c. Is b composite?
False
Suppose 5*f + 3 - 3 = 0. Let d = 6 - 3. Suppose f = -0*b + d*b - 663. Is b composite?
True
Suppose -2*q + 751 = 3*y - 16866, 4 = -4*q. Is y a prime number?
False
Is 84890/70 - (-1 - 15/(-21)) a prime number?
True
Let i = 75 + -8. Let u = i - -30. Is u a com