 a composite number?
True
Let l be (-3)/(-6) + 3/2. Suppose -2*i - 5*r + 149 = 0, -4*i + l*i + 159 = -5*r. Is i prime?
False
Suppose 7*g - 6*g = 2307. Is g a composite number?
True
Is 12/4 - (-138 + -1) composite?
True
Let y be -1 + -1 - (-149 - 4). Suppose -2*k - s + 193 = 2*k, 2*s = -3*k + y. Is k prime?
True
Suppose 0 = -5*v - 10, -h + 4*v = -3*h + 680. Is ((-4)/(-2))/(16/h) prime?
True
Let m be 2 - (1 + -1)/1. Suppose -23 - 143 = -m*d. Is d a prime number?
True
Let v = 408 + 79. Is v a composite number?
False
Let h be 1 + 0/3 - -29. Let o = h + -7. Is o a composite number?
False
Let r be ((-4)/8)/((-1)/4). Let x = 81 - 26. Suppose 0 = -3*g + r + x. Is g a prime number?
True
Is (11/(-6)*2)/(6/(-342)) a prime number?
False
Let o = -12 - -6. Let a = o + 25. Is a composite?
False
Suppose 2*s - t + 1739 = -2*s, 0 = 2*s - 4*t + 852. Let w = s - -791. Is w prime?
False
Let n be (12/(-9))/((-2)/(-294)). Let o = n - -97. Let u = o + 152. Is u composite?
False
Let z(y) be the first derivative of 5*y**4 - y**2 + y + 1. Is z(1) composite?
False
Suppose 0 = -5*b + 2869 + 1956. Is b prime?
False
Let i(z) = 2*z - 2. Let v be i(7). Let d = -6 + v. Is (94/d)/(3/27) a prime number?
False
Let z(k) = 7*k**2 - k - 1. Let f(d) = d**3 + 9*d**2 - 11*d - 11. Let x be f(-10). Let g be 2 - 0/(-3 - x). Is z(g) a prime number?
False
Let z = 18 + -30. Let a = z - -22. Is a a composite number?
True
Suppose 4 = -5*i - 0*s - 4*s, 0 = -3*s - 3. Suppose -2*v + 358 + 24 = i. Is v composite?
False
Let x(v) = -v**2 + 5*v + 6. Let h be x(6). Suppose h*a - 4*t = a - 31, 0 = 5*a - 2*t - 89. Is a prime?
True
Is 2*2/(-12) + (-8016)/(-18) composite?
True
Let p(o) = 0*o + 1 - 3 - 2*o. Let s be p(-2). Suppose 16 = s*z - 30. Is z prime?
True
Suppose 2*c + u = 2453, -5*c + 2*u + u = -6160. Is c composite?
False
Suppose -5*a + 3*j - 143 = 0, -4*a - 80 = -3*j + 35. Let v = 75 + a. Is v a composite number?
False
Is (1 + 2)/18 - 9562/(-12) composite?
False
Let m be 3*(-2)/(-6)*201. Let z = 312 - m. Suppose 4 = 5*w - z. Is w composite?
False
Let j(m) = 9*m**2 - 2 + 4 + 0 + 2*m. Is j(-2) a prime number?
False
Suppose 2*o + 3 - 15 = 0. Suppose -3*f + 12 = -o*f, 0 = 3*h - 5*f - 41. Is h a prime number?
True
Let f be 71/(3/(-5 + -4)). Suppose -3*o = u - 756 - 277, -2*o - u = -687. Let m = f + o. Is m a composite number?
True
Suppose -3*v = 4*f + 8, 3 = -5*v + 3*f - 20. Let s(t) = -3*t**3 - t**2 + 4*t + 6. Is s(v) composite?
True
Suppose -5*j + 1387 + 148 = 0. Is j a prime number?
True
Let w be ((-2)/4)/(4/(-224)). Suppose 0 = -r - 3*r + w. Suppose 0 = -r*y + 2*y + 335. Is y a prime number?
True
Let h(v) be the second derivative of -v**4/12 + 31*v**2 + 2*v. Is h(0) composite?
True
Suppose 8*x - 5*x - 237 = 0. Is x a composite number?
False
Suppose 0*t + 2*t = 1678. Is t a prime number?
True
Suppose -d - 2*m = -174, -m - 975 + 315 = -4*d. Let r = 252 - d. Is r composite?
True
Let m = 314 + -185. Is m a prime number?
False
Suppose n - 10*n = -8631. Is n composite?
True
Let q be 1 + -3 + (2 - -158). Suppose -q = -0*c - 2*c. Is c prime?
True
Let o = -3 + -30. Let n = o - -47. Let l = 12 + n. Is l a composite number?
True
Is (-14)/(-21) + 1495/3 prime?
True
Suppose 3*z + 3 = 18. Suppose -7*s + z*s + 322 = 0. Is s prime?
False
Suppose -5*i + 16 = h, 0*h + 19 = 5*i + 4*h. Suppose b = -2, t - 2 = 3*t + i*b. Suppose -t*y + 30 = 4. Is y a prime number?
True
Suppose 4*g + 0*g - 112 = 0. Let r = g + 9. Is r a composite number?
False
Is (633/(-9))/((-3)/9) a composite number?
False
Let x(t) = -65*t - 60. Is x(-5) prime?
False
Suppose 4*n = -d - 0*n + 483, 2*d - 994 = -n. Is d a composite number?
False
Let f(a) = -a**2. Let q be f(1). Let m = q + 9. Let h(z) = z**3 - 7*z**2 - 8*z + 6. Is h(m) a prime number?
False
Let r(l) = 1378*l**3 + l**2 - 3*l + 3. Is r(1) a prime number?
False
Let o(l) = l**3 + 6*l**2 + 2*l - 1. Let z be o(-4). Let d = z - 16. Is d a composite number?
False
Suppose 5*w - 9 = 11. Suppose 2*a + 3*a = 10. Suppose -5*t - 4*l + 122 = 0, a = w*l - 5*l. Is t composite?
True
Let z(b) = -19*b + 13. Is z(-18) a prime number?
False
Let b be (-2)/9 - (-2)/9. Suppose -3 = -3*k - b. Is (1 - 3)*k/(-1) composite?
False
Let h = -629 + 907. Is h a prime number?
False
Is (-12)/(-6)*(506 - -3) composite?
True
Let h(w) = -w**2 + 5*w + 6. Let j be h(6). Let v = -34 + 47. Suppose j = 3*x - v - 92. Is x prime?
False
Let d = 159 - 31. Let c be (-8)/12 - 1923/(-9). Let p = c - d. Is p composite?
True
Let m(q) = -q**3 + q**2 + 3*q - 2. Suppose 3*l - 8 - 1 = 0. Let p be m(l). Is (-2)/(-11) + (-581)/p composite?
False
Let r(x) = 81*x - 1. Is r(2) a composite number?
True
Let i(m) = -m - 2. Let o be i(-4). Suppose -x - 1904 = -o*a, -557 = -a + 2*x + 398. Is a composite?
True
Is 68/24 + 2/12 - -34 a prime number?
True
Let r(k) = -254*k + 1. Let m be r(-4). Suppose 159 = s - 2*f - 48, 5*s - 4*f = m. Is s composite?
True
Suppose b + 3*z - 13 = 0, 0 = b - 2*z - z + 11. Let h be (-119 + b)*(-1)/2. Suppose 5*v - h = -j, -43 = -j - 0*j - v. Is j a prime number?
False
Suppose 0*v + 1138 = t - v, -3*t + 3420 = -v. Is t prime?
False
Suppose 137 = -2*h + 3*h. Suppose 3*y - h = 16. Is y composite?
True
Let s = 2304 + -1631. Is s a prime number?
True
Let g = -145 - -203. Let p = g + -21. Is p prime?
True
Let g = 22 + -11. Is g a composite number?
False
Suppose 2171 = 8*d - 7869. Is d prime?
False
Suppose -261 - 336 = -3*i. Is i a prime number?
True
Let b be (-5)/1*(-26)/10. Is b/(-1)*(3 - 6) prime?
False
Suppose 0 = 7*w - 5*w - 4. Let k(n) = n**3 + 2*n**2 + 2. Let h be k(-2). Suppose 2*u + h*u = -x + 736, 177 = u + w*x. Is u a composite number?
True
Suppose -z + 2*j + 12 = 0, 3*j + 2*j + 27 = z. Suppose 3*p - 350 = -i, 0 = 4*p - 4*i + z*i - 450. Is p prime?
False
Suppose -5*w - 3*s + 10760 = 0, -3697 - 618 = -2*w + s. Is w prime?
False
Let r = 0 + 5. Suppose 4*d - 2*d + 12 = r*i, -3*i = -12. Suppose o - 95 = -d*o. Is o a prime number?
True
Let l(v) = 67*v**2 + 2*v + 1. Is l(4) a composite number?
True
Is (-2)/4*6 + 292 composite?
True
Let x(s) = s - 3. Let m be x(5). Suppose 0*d - 407 = -m*z - 3*d, -5*d - 620 = -3*z. Is z a prime number?
False
Let r = -109 + -15. Let z be ((-5)/5)/(2/r). Suppose -y + z = y. Is y a composite number?
False
Is (-8421)/(-45) - (-6)/(-45) composite?
True
Let n = 218 - 149. Is n a composite number?
True
Suppose -649 = -3*g - 2*t, -3*g = -2*t - 234 - 431. Suppose o - g = 2*o. Is o/(-7) + 4/(-14) prime?
True
Let i be ((-51)/(-6))/(2/12). Let y be i/15 - (-4)/(-10). Is (-22*1)/((-2)/y) a prime number?
False
Let t(g) = -g - 5. Let f be t(-9). Suppose 2*m - f*v - 67 = -3*v, 0 = 4*m + 4*v - 140. Is m composite?
True
Let l = 386 - 199. Is l a composite number?
True
Suppose 2*g = g + 29. Let q be 91/3 - (-1)/(-3). Suppose -2*c = 5*r - 50, -5*c + g + q = -4*r. Is c composite?
True
Let v(o) = 4*o**2. Suppose 2 = 4*b - 2. Let s be v(b). Is (s - 2)/(8/508) a prime number?
True
Let w(j) = -j**2 + 7*j - 5. Is w(4) prime?
True
Suppose -2*g + 5*g = 273. Suppose -2*b + 94 = 5*j, 0 = -3*b + 8*j - 3*j + g. Is b a prime number?
True
Let j(h) = -h**3 + 5*h**2 - 6*h + 6. Let i be j(4). Let k be (90/3)/(i/(-23)). Suppose -5*f - p = -575, -3*f + 3*p + 0*p = -k. Is f composite?
True
Suppose -3*d - 9914 = 2*m - 0*m, 2*d + 2*m = -6610. Is d/(-7) + -1 + 2 a prime number?
False
Suppose 4*b + l = 1096, 0 = -4*b + 2*l - 39 + 1135. Is b composite?
True
Let b = -8 + 12. Suppose -2*s - 1 + 5 = 0, 5*k - 57 = b*s. Is k a prime number?
True
Let f(r) = -r**3 + 14*r**2 + 35*r + 34. Is f(16) a prime number?
False
Let p be -3 - (-114 - 2)/(-2). Let i = p + 19. Let v = -23 - i. Is v a composite number?
False
Let l(i) = -15*i. Let p be (-1 - -2)/(4/(-4)). Let b be l(p). Is (-68)/(-5) - (-6)/b a composite number?
True
Let m(v) = -219*v - 16. Is m(-3) composite?
False
Suppose -3*w + 35 = 5*o, w + 9 - 2 = 3*o. Suppose 0 = -o*u + 8*u - 316. Is u a composite number?
False
Let t = 60 + 55. Let f be 2/5 + (-116)/(-10). Let j = f + t. Is j a composite number?
False
Suppose -8*v + 3*v + 195 = 0. Is v a composite number?
True
Let w = 3 + -1. Suppose -w*z + 641 = 4*h - 3*z, 4*h - 3*z = 635. Is h composite?
True
Is 10830/20 - (-2)/(-4) prime?
True
Suppose -11 + 1 = -5*x - 5*t, -4*x + 8 = -2*t. Is (-1 - -1)/x + 33 a prime number?
False
Let c(k) = 6*k**2