 1 - 5. Let g be 678/12 + (-2)/m. Let p = g - 22. Is p prime?
False
Let s(r) = r**3 - 5*r**2 + 5*r - 2. Let f(b) = -2*b**3 + 10*b**2 - 9*b + 3. Let l(d) = -4*f(d) - 7*s(d). Is l(5) composite?
False
Let w = -12 + 10. Is 1/w*-2 - -8 composite?
True
Let l be 2*-3 - 0 - -4. Is l*2/4 - -80 prime?
True
Suppose o - 350 = 1174. Suppose 17*t - 21*t = -o. Is t a composite number?
True
Suppose 1 = -2*b + 3*x + 7, -2*b - 4 = 2*x. Suppose 4*a - 4*n = -b*a + 136, -5*a + 191 = 2*n. Is a prime?
True
Let u = 17 + -14. Suppose -c - 2*b = -291, -288 = -c - 2*b + u*b. Is c composite?
True
Let d(l) be the first derivative of l**2/2 - 5*l - 7. Is d(8) composite?
False
Let r be 4/6 - (-272)/24. Let s(h) = 19*h - 17. Is s(r) prime?
True
Suppose -4*f = 8, 0*f = 5*b - 2*f - 4449. Is b a prime number?
False
Suppose -2*m = 2*m - 4*k - 68, -80 = -5*m + 4*k. Let i = m + 475. Is i prime?
True
Let s(j) = j**3 + 8*j**2 + 4*j - 9. Let k be s(-7). Let h(l) be the first derivative of l**3/3 - 4*l**2 + 5*l + 2. Is h(k) prime?
True
Suppose -5*c = -13*c + 6280. Is c a composite number?
True
Let u(i) = -3*i**3 + 8*i**2 + 6*i - 6. Let q be u(-6). Suppose -2*b - b + q = 0. Suppose -86 = 4*n - b. Is n a prime number?
True
Let v = 258 + -129. Is v a prime number?
False
Let z(o) = -5 - 23*o - 26*o + 8*o. Is z(-4) prime?
False
Suppose 470 = 2*z - 0*z. Is z prime?
False
Let q(o) = -o**2 - 2*o + 3. Let m be q(-3). Let h be 0/(((-6)/2)/3). Suppose m = g - 4*g - 9, -5*z - 4*g + 913 = h. Is z composite?
True
Let q be (-9)/((-1)/(-2)*-3). Suppose x - 2*j = -q*j + 7, 2*x + j - 42 = 0. Is x a prime number?
True
Suppose -4*k + 2*d + 281 + 213 = 0, 0 = -4*k - 4*d + 500. Suppose 0 = -3*g + 203 + k. Is g a prime number?
True
Suppose 3*a = 1151 + 1210. Is a a composite number?
False
Let t(z) be the first derivative of -107*z**2/2 + 5. Is t(-2) a composite number?
True
Let v be 120 + 1/2*6. Let l = v - 77. Is l a composite number?
True
Let j(y) = -y - 6. Let g(q) = 2*q + 5. Let i(m) = 3*g(m) + 2*j(m). Suppose -5*s - 3 = -6*s. Is i(s) composite?
True
Suppose 7*w = 4*w + 2559. Is w a composite number?
False
Let r = 299 - 156. Is r a prime number?
False
Let a = 399 + -239. Suppose -5*t + a + 980 = 0. Is t/6 - 2/2 prime?
True
Let l be 4/22 + 60/33. Suppose -2*o + 4*o + l*d - 282 = 0, -2*o + 275 = -5*d. Suppose -o = 3*x - 7*x. Is x a prime number?
False
Suppose 5*q - 20 = 3*j - 2*j, -4*q = 3*j - 35. Suppose -415 = -j*y - 0*y. Is y a composite number?
False
Let r = 946 + -399. Is r a prime number?
True
Suppose -y = -124 - 73. Suppose 52 = -f + y. Is f prime?
False
Let o = -32 + 22. Let f(k) = -k**3 - 10*k**2 - 9*k - 7. Is f(o) composite?
False
Suppose 0 = 4*q + 4*v - 59 - 105, -5*v - 128 = -4*q. Is q a prime number?
True
Let l be 1 - (3 + -780 - -2). Is l/32*(1 - -3) a prime number?
True
Is (-40203)/(-45) - 4/10 prime?
False
Suppose 2*n = 2 + 2. Suppose -2*d - 3*d - s = 1, -2*d - 2 = n*s. Suppose d = -3*w - 5*a + 117, -78 = -2*w - 0*a - 3*a. Is w composite?
True
Suppose -j = 5, 4*r - 1819 = -0*j + 3*j. Is r prime?
False
Suppose 0 = -z + 4, -z - z = -4*f. Let l be 2/(-4*f/(-4)). Let m = 2 + l. Is m a composite number?
False
Suppose 0*l - 2*l = -6. Is (21 + (-2)/1)*l a prime number?
False
Let o be (-37)/(-7) - (-2)/(-7). Suppose -12 = -o*s + 8. Suppose -5*v - 100 = -2*x, s*x - 271 = -x + 2*v. Is x a composite number?
True
Let c = 2 + -1. Is 128/c + 8 + -9 a composite number?
False
Let g be ((-200)/(-5))/((-2)/(-6)). Let j = g - 86. Is j composite?
True
Let h be ((-1)/(-3))/(6/(-18)). Let m be (-68 + 0/h)*-1. Suppose 2*x = 3*y + y + 74, m = 2*x - y. Is x composite?
True
Is 1476/24*106/3 prime?
False
Let r(i) = -6*i + i**3 + 4*i - 2*i**2 + 0*i**2 + 2. Is r(4) a prime number?
False
Suppose -2*y = 2*y - 100. Suppose -w - y = 4*a - 6*w, 2*w - 10 = 0. Suppose -4*b + 2*r + 76 = a, 4*r = -0*b + 4*b - 76. Is b a composite number?
False
Let h = 3 - -32. Let s = 51 - h. Suppose 0 = -2*x - o + 322, -s = 4*o - 0*o. Is x a composite number?
False
Suppose 2*i + 2286 = 3*v - 344, -i - 1 = 0. Is v/15 - (-4)/(-10) composite?
True
Let s be -2 + (-2)/(6/(-15)). Let r(p) = 2*p**3 + 2*p**2 + p**2 - 1 - 8*p**3 - s + 2*p. Is r(-3) composite?
False
Let l = 22 - 18. Let j = 0 - -2. Suppose 3*x - 154 = v + 37, -j*x + 114 = -l*v. Is x a composite number?
True
Is 3543/27 - (-4)/(-18) a composite number?
False
Suppose -v + 2*v + 6 = 0. Let o = v - -12. Is 64/o + 1/3 prime?
True
Suppose 2*i = -0 + 8. Suppose -29 = 5*v - 2*q - 7, i*v + 21 = 5*q. Let h(j) = -3*j**3 - 4*j**2 + j - 5. Is h(v) a prime number?
False
Let s(v) = v**2 + 9*v - 3. Let z be s(-10). Let q(o) = -2 + o**3 - 1 + 9*o - 8*o**2 - 1. Is q(z) a composite number?
True
Suppose -3*c + 67 = -173. Let t = c + 41. Is t prime?
False
Suppose 2*f - 3 - 5 = 0. Let d be ((-2)/(-2) - 2) + 4. Suppose 2*k - f*k + 179 = 5*t, 0 = -d*t - 3*k + 102. Is t a composite number?
False
Suppose 77 = -y + 2*y. Suppose -3*r - y = -4*r. Is r composite?
True
Let f = -10 + 7. Let j be (1 + f)*6/(-4). Is (j/(-9))/(1/(-291)) a prime number?
True
Let y = 5 + -4. Let u be y/3 - 645/(-9). Let p = 19 + u. Is p composite?
True
Suppose 4*r = -5*r + 4365. Is r a prime number?
False
Suppose 2*h - 184 = 6*h. Is h/(-4) + (-6)/(-4) a prime number?
True
Let n(k) = k**3 - 2*k**2 - 2*k - 3. Let l be n(-4). Is -2 - l*(1 - 0) a composite number?
False
Suppose -259 = -2*l + 411. Is l a prime number?
False
Let p(q) = q**3 + 2*q**2 - q + 1. Let y be p(-3). Is y - -5 - -1*3 composite?
False
Let b(c) = -c**3 + 5*c**2 + 3*c. Let k(g) = -g + 6. Let v be k(0). Let u = v - 1. Is b(u) prime?
False
Let o(b) = -b + 319. Let w be o(0). Suppose 2*h = 3*q - 466 - w, 2*q + h = 514. Is q prime?
False
Let m(h) = 467*h**3 + h - 1. Suppose 5*z - 3 = 2. Is m(z) composite?
False
Suppose 4*p - 153 = p. Suppose p = 2*s - 19. Is s prime?
False
Suppose -4*w = -1550 - 654. Is w composite?
True
Suppose -5*z + 81 = 2*t, 0*z + 2*z = 10. Let v = 11 + -4. Let w = t + v. Is w a composite number?
True
Let f be ((-2)/(-3))/(8/(-36)). Is (f + (-338)/(-4))*2 a prime number?
True
Let b(s) = s**3 + 7*s**2 + s + 5. Suppose 18 = -3*r - 0*r. Let x be b(r). Suppose -w = 3*u - 25, -2*w - u - 10 = -x. Is w a prime number?
False
Let j = -23 - -23. Suppose -4*d + 2*l - 3*l + 2166 = j, d - 533 = 4*l. Is d prime?
True
Suppose j - 5*j = -3*v, -5*v = 5*j - 35. Suppose -v*h + 2*h = -492. Let r = -167 + h. Is r prime?
True
Suppose 0*c - 12 = -c. Suppose 2*k + c - 48 = 0. Let f = 5 + k. Is f a composite number?
False
Suppose -56 = -y - 3*y. Is 4/y - 645/(-21) a composite number?
False
Let v(a) = -4*a**2 - 6 + 5*a - 3*a + 4*a**3 - 3*a**3. Let i be v(4). Is ((-33)/i)/(3/(-4)) a prime number?
False
Suppose -6*g - 174 = 186. Suppose 5*l = 1013 - 158. Let v = g + l. Is v a prime number?
False
Let n = 1 + -1. Suppose n = -8*j + 4*j + 24. Is (-4)/6 - (-202)/j composite?
True
Is (-6292)/(-6) + 2/6 a composite number?
False
Suppose -l + 0 = 3, z + 2*l = 1109. Is z a prime number?
False
Suppose -5*v = -3*p - 4903, -4*v - p + 4847 - 911 = 0. Is v a prime number?
True
Is 35 - 1*(-2 + 0) a prime number?
True
Suppose j - 4*h = 335, -752 = -3*j + 4*h + 245. Is j a composite number?
False
Let n = -5 + 7. Let b be n + (2 - (0 + -1)). Suppose 3*g - 164 = -b*k, -3*k - 3*g + 130 = k. Is k a prime number?
False
Let j(v) = v**3 + 14*v**2 - 6*v - 10. Is j(-11) composite?
False
Let m(r) = -r. Let j be m(-4). Is -4*((-37)/j - 0) composite?
False
Let j(t) = -4*t**3 - 5*t**2 + 7*t - 17. Let b(k) = -k**2 + 6*k - 12. Let q be b(5). Is j(q) a prime number?
True
Suppose 3*r + w = 403, -r - 3*w = -4*r + 387. Is r composite?
True
Let f(z) = -3*z**2 - z - 3. Let u be f(5). Is -1 - 1 - (u - -2) a prime number?
True
Suppose -72 = c - 3*c. Is (7 - c)/((-2)/10) a composite number?
True
Let b be 2/9 - (-1112)/18. Suppose 229 = 4*h - 3*z - b, -h - 2*z = -59. Is h prime?
False
Suppose -q + 674 = 3*r - r, -4*r + 1336 = 5*q. Is r a prime number?
False
Let n(r) = 2*r + 12. Let p be n(-8). Let k(i) = 12*i**2 - 5*i - 1. Is k(p) a prime number?
True
Suppose -5*q = -w - 1388, 2*q + 5*w = 3*q - 292. Let g = 60 + 32. Suppose v + 4*m = -2*v + q, v = -m + g. Is v composite?
True
Let t be ((-940)/(-6) - -3)*9. Suppose -t = -i - 2*i. Is i composite?
False
Let m(h) = -3*h + 5. Suppose 0 = 5*t + 12 + 18. Is m(t) composite?
Fals