se -119 = -3*v - f, 0 = s*f + 16. Suppose -n + v + 36 = 0. Is n a composite number?
True
Let z(t) be the first derivative of -2*t**2 + 2*t + 4. Suppose -3*a = -0*a + 15. Is z(a) a composite number?
True
Let o be 3 - (-44 - (1 + -1)). Let v be (1/(-3))/((-1)/93). Suppose -v = -3*q + o. Is q a prime number?
False
Suppose -z = -4*z. Suppose i + 4*i - 5*q - 5 = 0, z = 4*q - 4. Suppose -2*g - 30 = -0*j - 2*j, -4*g = i*j - 54. Is j a composite number?
False
Suppose 2*u - 272 = 602. Suppose u = 4*h + 129. Is h a composite number?
True
Let d(g) be the third derivative of g**6/24 - g**5/60 + g**4/24 - g**2. Let y be d(2). Let p = -19 + y. Is p prime?
True
Suppose s - 47 - 540 = 0. Is s prime?
True
Suppose -3*s + 0*s = -795. Is s a prime number?
False
Let s be ((-21)/(-9))/(2/6). Let u be s + -5 + 1 + -1. Suppose 192 = 4*f - u*q, -5*q - 10 = -f + 29. Is f a composite number?
True
Let k = -20 - -78. Is k composite?
True
Let j(u) = 7*u - 3. Is j(8) composite?
False
Suppose 4 + 8 = 3*i, 5*p - 4*i - 44 = 0. Suppose 5*c = -3*g + 22, -2*g = -7*g + 4*c + p. Suppose g*m - 864 = k, 4*k - 2*k - 8 = 0. Is m prime?
False
Let c = 8 - 7. Let i(d) = 19*d**2. Is i(c) prime?
True
Let u be -3*158/4*-2. Suppose -s - u = -4*s. Is s a prime number?
True
Let m = -85 + 141. Suppose m = -2*w - 0*w. Let s = -3 - w. Is s a prime number?
False
Suppose -5*l = -3*v + 6989, 3*v - 9322 = -v + 5*l. Is v prime?
True
Let d(t) = t + 5. Let o be d(-4). Is (1/o)/((-7)/(-413)) prime?
True
Suppose 2*w = 774 - 172. Suppose w = 2*u - 2*l + 3*l, 5*u = 5*l + 730. Is u prime?
True
Suppose -3 + 15 = 4*n. Suppose 2*g - 12 = -3*d + 2*d, -2*g - 4 = -n*d. Is g/(-16) - 410/(-8) a prime number?
False
Is (218/3)/((-10)/(-15)) prime?
True
Suppose -150 = -5*f + o, 4*f - 67 = -4*o + 77. Is f a composite number?
False
Suppose -v + 92 = -4*h, -3*v - h + 0*h = -263. Let j = 165 - v. Is j a prime number?
False
Let b(c) = c**3 + 8*c**2. Let j be b(-8). Suppose j*l + 5*l = 320. Suppose 0 = -3*w + 5*s + 83 + l, 3*w + s = 147. Is w composite?
True
Suppose 1217 = 3*f - 730. Suppose -5*i = -4*z - f, 504 = -3*z - i - i. Let q = 255 + z. Is q composite?
False
Let j = 378 + -31. Is j prime?
True
Suppose 3*h + 37 = 4*h. Suppose h = 2*j - j. Is j prime?
True
Suppose 3*k = 200 + 94. Suppose 2*h + 4 = k. Is h a prime number?
True
Let z = -3 - -5. Suppose 0*y = -z*y + 6. Suppose -4*f + 59 = 3*w, -2*f = y*w - 34 - 15. Is w prime?
True
Let r = -679 + 1310. Is r prime?
True
Let i = 5514 - 3353. Is i a prime number?
True
Let i(d) = -d**3 + 6*d**2 - 4*d. Let h be i(5). Suppose 154 = h*r - 121. Is r a composite number?
True
Suppose 1 = 2*o - 3. Let r(l) = 5*l**o + 5*l**2 - 2*l**2 - l**2 + 4*l - 3. Is r(-4) a composite number?
True
Suppose w - 6*w = -r - 20, 4*w - 17 = r. Is (w + -114)*(-1)/3 a composite number?
False
Let l = 5 - 7. Let q be ((-3)/l)/((-9)/(-30)). Suppose 2*o - 266 = -q*f - 7, 4*f - 5*o - 227 = 0. Is f a composite number?
False
Let m be 1*2*1/(-2). Is (-1)/(m*1/46) prime?
False
Let g(v) = -v**3 + 11*v**2 + 6*v - 4. Let q be g(11). Let j = q - 15. Is j prime?
True
Let q = -81 - 40. Is -1*(q - 1 - -3) a prime number?
False
Suppose 225 + 149 = 2*h. Is h composite?
True
Suppose -z - 10*t + 8*t = -1543, 2*t = z - 1531. Is z prime?
False
Let w(d) = d**2 + 6*d - 3. Is w(-14) composite?
False
Let b = 162 + -88. Is b composite?
True
Let m(v) = v + 1. Let x(r) = -4*r - 6. Let g(w) = 15*m(w) + 3*x(w). Suppose -18 = -2*l - l. Is g(l) a prime number?
False
Let q(t) = t**2 + t. Let w be q(-1). Let v(b) = -b**3 - b**2 + b + 89. Is v(w) prime?
True
Let a = 3 - 11. Is 6/(-8) - 542/a prime?
True
Suppose 0*w - 5*w = 0. Suppose 4*i = -5*b + 117, -5*b + 4*i + 55 + 78 = w. Is b composite?
True
Suppose 5*c - c - 1576 = -4*w, 0 = -5*w + 3*c + 1962. Suppose -4*u = v + 27 - 128, 0 = 4*v + 5*u - w. Is v prime?
True
Suppose -l = -3*l + 16. Let o(v) = v - 6. Let r be o(l). Suppose 0 = 2*c + 4*g - 26, r*g = -4*c + 5*c - 1. Is c prime?
True
Let q = 277 - -6. Suppose 4*p + 448 = 4*x, -5*x + q = 2*p - 298. Is x a composite number?
True
Let s(q) = -1. Let r(h) = h**2 - h + 2. Let j(n) = -r(n) - 4*s(n). Let k be j(0). Is (3/3)/(k/94) a composite number?
False
Let a = 57 - 54. Suppose 3573 = 4*g + 389. Suppose -l = a*l - g. Is l prime?
True
Let l be (-5)/(5/2) + 125. Let o = 334 - l. Is o a composite number?
False
Let p = 12005 - 4723. Is p/(-11)*(-2)/4 prime?
True
Suppose 0*a + 358 = a. Suppose -4*y + 22 = -a. Is y prime?
False
Let y = 871 + -462. Is y a composite number?
False
Let d(a) = -a + 7. Let t be d(3). Suppose w = -5*n + 36, -w + 102 = t*w - n. Is w prime?
False
Suppose 3*b + 11965 = 8*b. Is b a composite number?
False
Suppose 5*w - 943 = -4*c, 570 = 3*w - 0*c + c. Is w a prime number?
True
Suppose 0 = 3*x + 4 - 1. Let d = 21 - x. Is d prime?
False
Let d be ((-9)/(-2))/((-51)/(-29716)). Is d/9 + 3/(-9) a composite number?
True
Suppose -5*v + 2*f = -2*f - 167, -72 = -2*v - f. Suppose k = -2*m + 4*k + 70, -m - 5*k = -v. Is m composite?
True
Suppose 4*o + 2161 = -3*g + 737, 4 = -g. Let h = o + 982. Is h prime?
False
Let t(m) = 155*m - 2. Let v be t(2). Suppose -s - 4*s + 3*j = -780, 2*j = 2*s - v. Is s composite?
True
Suppose 2*u = -3*u. Suppose 5*r - 10 = u, -5*r + 73 = o - 16. Is o a composite number?
False
Let q be 296 - 6/((-3)/(-1)). Let y = q + -167. Is y a prime number?
True
Suppose 0 = 2*j - 4*j. Suppose j*d + 185 = 5*d. Is d composite?
False
Let l = 0 - -4. Suppose -v + 6*v - 9 = f, -4*f + 12 = -l*v. Is (92/f)/((-10)/(-15)) a composite number?
False
Let t = -805 + 1460. Is t prime?
False
Let p = -70 - -107. Is p a prime number?
True
Suppose -5 = 2*k - 3*k, -4*b + 12168 = 4*k. Is b prime?
True
Let d be (2 + -1)*(5 + -3). Suppose 1085 = d*k + 3*k. Is k prime?
False
Suppose 2*h + 5908 = 6*h. Is h prime?
False
Let h = 15 - 11. Suppose 0 = n + 1 - h. Suppose 2*i + n*i - 115 = 0. Is i a prime number?
True
Let v = 1 + -3. Is (-1)/((-2020)/(-1012) + v) prime?
False
Let g = -58 - -137. Suppose j - 2*j = -g. Is j prime?
True
Let r = 1149 + -668. Is r a composite number?
True
Let w(a) = a**2 + 2*a + 1. Let j be w(-2). Let k(r) = 71*r - 1. Let q be k(j). Suppose 0 = o - 201 + q. Is o a composite number?
False
Suppose 0 = 5*z + 10, -3*h + z + 22 = -4*z. Suppose -38 + 170 = h*y. Is y a prime number?
False
Let u = -8 + 10. Suppose 5*t + 4*s = -4, -3*t + 0*s = u*s + 2. Suppose t*j = -4*j + 212. Is j prime?
True
Is 207 + 1/(3/12) a prime number?
True
Suppose -2*j + 0*j = -r - 2802, 6979 = 5*j + 4*r. Is j a composite number?
False
Let a = -325 + 459. Is a a prime number?
False
Let d(z) = -531*z**3 - 2*z**2 - z - 1. Is d(-1) prime?
False
Let s(u) = u**3 - 7*u**2 - 7*u - 6. Let v be s(8). Suppose -v*d - 2*y - 2 = 0, -d - 4*y - 4 = -6*y. Is (33/(-2))/(d/4) a prime number?
False
Let v be (0 - 2 - -1)*-5. Suppose q - 15 = -v*j, -3*q = -2*j - 4 + 10. Suppose 2*m - 2*o - 530 = 0, -j*m - 2*o + 198 + 597 = 0. Is m a composite number?
True
Let b = 10 - 4. Suppose -4*g + b*g = 2*o, -3*g - 14 = 4*o. Is 81 + -4 + (g - -4) prime?
True
Let f(p) = 20*p**2 + 8*p - 2. Let d be f(9). Suppose -2*q - 5*x + 431 = -408, 4*q = 2*x + d. Suppose m - q = -m. Is m prime?
True
Suppose -18*f + 141 = -17*f. Is f composite?
True
Let r(l) = 2*l**2 + l - 5. Suppose 3*v - 27 = 3*z, -26 = -2*z + 6*z - 2*v. Is r(z) composite?
False
Let s = 2 + 2. Suppose r - 105 = s*h, -3*r + 3*h - h = -295. Is r prime?
True
Suppose -t = h - 2*h - 37, t + 39 = -h. Let c = -20 - h. Suppose 5*z - c = 2*z. Is z composite?
True
Let n(u) be the third derivative of u**5/60 - u**4/6 - 5*u**3/6 - 3*u**2. Let y be n(5). Suppose -5*o + 155 = -y*o. Is o a composite number?
False
Let q(i) = 1906*i**2 - i + 1. Is q(1) a composite number?
True
Suppose -z + 20 = 4*z. Suppose -6*i + 2*i + 2*d + 486 = 0, 139 = i - z*d. Is i a prime number?
False
Let n(j) = j**2 + 2*j - 5. Let x(m) = m**2 - 2*m + 2. Let c be x(-3). Suppose 0 = 3*z + c - 2. Is n(z) a prime number?
False
Let i(d) = 73*d**2 + d - 9. Is i(4) composite?
False
Let x(t) = -t + 3. Let w be x(0). Let g(f) = 2*f - 11*f**w - 5 + 4 - f**2 + 0. Is g(-2) prime?
True
Suppose -4*c + 2596 = -i, -c + 3*i - 8*i + 649 = 0. Let n = -455 + c. Is n composite?
True
Let n(u) = 26*u**2 + 10*u - 21. Is n(5) a composite number?
True
Let m(f) = -27*f - 28. Is m(-7) composite?
Tru