Suppose w*t + 2*r - 121 = -0*r, -2*t + 76 = -r. Is t a prime number?
False
Suppose -4*n = 2*a - 610, a - 204 = 2*n + 117. Suppose -a + 102 = -g. Is g composite?
False
Let x = 6 - 2. Let z be 3/(-2)*(2 - x). Is (39/6 - z)*10 a composite number?
True
Let g be 3/(6/8 + 0). Suppose -v - 1560 = -5*m - 250, 0 = -m + g*v + 262. Suppose -4*j + 2*j = -m. Is j prime?
True
Suppose -4*g + 4 = -12. Suppose 5*b - 585 = g*p, 3*b + 0*p = -2*p + 373. Is b a prime number?
False
Suppose -2*y - 1113 = -5*y. Is y composite?
True
Suppose 3*h + 0*h = 57. Is h composite?
False
Let y(b) = -b**2 + 7*b - 4. Let l = -9 - -15. Let v be y(l). Suppose v*j - 4 = 22. Is j a composite number?
False
Let r(w) = -w**3 - 10*w**2 - 2*w - 15. Suppose 0 = -3*b - 2*b - 50. Let i be r(b). Suppose 0 = 2*m + i*c - 14 + 1, 5 = m + 3*c. Is m prime?
False
Suppose -5*s + 5 + 4 = -3*g, 0 = 3*g - s + 9. Is (-86)/3*g/2 a prime number?
True
Let i be 2 - 3 - 3/(-1). Suppose -5*v + 20 = -5*f, v + i*f = -2*f + 9. Suppose 3*r - 44 = r - m, -r = v*m - 22. Is r prime?
False
Let v(p) be the third derivative of -p**4/12 - p**2. Let j be v(3). Is (2/(j/(-111)))/1 prime?
True
Suppose 0 = -q + 4*u - 4, q - 4*u = -q. Suppose -59 = -j + 3*n + 10, 138 = 2*j - q*n. Is j prime?
False
Suppose -5*j + 876 = 91. Is j composite?
False
Let q(p) be the third derivative of 5/6*p**3 + 0 + 5/12*p**4 - p**2 + 0*p. Is q(5) a prime number?
False
Let q be 2/(-6)*1*-3. Let x be q - -1 - (779 - 2). Is (-2)/3 + x/(-15) a composite number?
True
Let y(f) = -84*f + 1. Let w(q) = -q**2 + 10*q - 13. Let d be w(9). Is y(d) a prime number?
True
Is 443*(1 - 2/4)*2 a composite number?
False
Let a(o) = o**2 + 4*o - 3. Let c be a(-6). Suppose d + c + 14 = q, 5*q + d - 91 = 0. Is q a prime number?
True
Let u(c) be the second derivative of 13*c**3/6 + c**2 + 3*c. Let q be u(6). Let x = 5 + q. Is x a prime number?
False
Suppose 4*x - 61 - 163 = 0. Suppose 404 = 5*v - x. Let h = 181 - v. Is h a composite number?
False
Let i be 36 - (-4 - (-4 + 2)). Let d be (i/3)/((-2)/(-3)). Let o = d + 6. Is o prime?
False
Let u = 14 + -23. Let m be ((-12)/(-10))/(u/(-30)). Suppose 0 = m*j - 36 - 48. Is j composite?
True
Let o = -4 + 9. Suppose 0*c + o*c + 3*d = 1261, -2*c = d - 505. Suppose r + r = c. Is r prime?
True
Let o = 42 + -22. Let m = o - 1. Is m composite?
False
Let v(h) = 2*h**2 - 4*h - 1. Let t be v(3). Suppose -56 = -g - t*o, 7 = -2*g + 2*o + 107. Is g composite?
True
Let z = -236 - -1717. Is z prime?
True
Suppose -3*d + 2573 = 2*v, -2*d + 7*d = -2*v + 4291. Is d prime?
True
Let a(f) = 8*f**2 + 6*f + 5. Is a(5) a composite number?
True
Is ((-9284)/(-66))/((-2)/(-3)) a prime number?
True
Let m = -10 - -8. Is 3 - (-1)/(m - -1) prime?
True
Suppose 29 = 2*l + 5*z, 0 = -l + 2*l + 3*z - 17. Suppose x + 237 = l*x. Suppose 2*i - x = -i. Is i a composite number?
False
Let o = -7 + 7. Suppose 4*b - 3*b - 26 = o. Is b a composite number?
True
Suppose 5*h - 306 = 789. Is h a composite number?
True
Let x be (1 - -1) + 30/(-6). Is ((-1)/x)/((-2)/(-318)) a prime number?
True
Let d(w) = 3*w**2 + 5*w + 5. Is d(9) a composite number?
False
Suppose 15*o - 10*o - 575 = 0. Is o a composite number?
True
Let s(h) = 85*h**3 + h**2 - 2*h + 1. Let a be s(1). Suppose -4*g - 4*b - 5 = -a, b = -4*g + 77. Is g a composite number?
False
Let q = 15 - 10. Suppose 2*i + 0*i - q*r + 70 = 0, -r = -2. Is (11/(-3))/(5/i) composite?
True
Suppose 4 = 4*j - 16. Suppose 0*z = j*z - 5. Is -59*z/(-2 - -1) a composite number?
False
Let j = -3 + 2. Let h = j + 4. Suppose 0*p + 5*p = -n + 63, -h = -p - 5*n. Is p a prime number?
True
Let k(q) = -102*q**3 + 2*q + 1. Let p be k(-1). Let y = -227 + p. Let f = y + 211. Is f a prime number?
False
Is (-265)/(-4) - 27/(-36) prime?
True
Let g(d) = d**3 + 9*d**2 + 10. Let a be g(-9). Let y = a + 155. Suppose 0 = -2*s + 3*l + 2*l + 110, -y = -3*s - 4*l. Is s composite?
True
Let n = -1835 + 4086. Is n a prime number?
True
Let o be (-2)/(-2) + -243 - 0. Let l = o + 339. Is l prime?
True
Suppose 2*s - 2*u = 8, -5*s = 2*u - 3*u - 8. Let o(g) = 11*g**2 + 1. Let n be o(s). Is n/9*(-3)/(-2) composite?
False
Suppose 0 = -6*a + 2*a + 16. Let i = a + -2. Is 12 + 1 + 2/i a prime number?
False
Let u(b) = 3*b**3 - 3*b**2 + 2*b - 1. Is u(5) a prime number?
False
Let g(m) = m**2 + 4*m + 4. Let h be g(-3). Is h/(4/740 + 0) composite?
True
Suppose -2*n - 3*u = -220 + 71, 0 = n - 4*u - 58. Suppose n = -3*d + 5*d. Is d a prime number?
False
Let c be 2 - 0 - (-3 - -28). Let t = c + 72. Is t a composite number?
True
Is 2223/63 - 2/7 composite?
True
Let p(z) = -33*z + 11. Is p(-4) composite?
True
Suppose 5*t = -0*t. Suppose 2*d + 0*d - 4 = t. Let f(k) = 4*k**2 - 2*k + 2. Is f(d) a composite number?
True
Suppose -5 = -2*c + c. Let p(q) = q**3 + 2*q**2 + 6. Let d be p(5). Suppose 0*y - 20 = c*y, -3*w + d = -4*y. Is w prime?
False
Let y(u) = -u + 11. Let m be y(8). Suppose -m*q = -136 - 65. Is q a prime number?
True
Suppose -s = -i + 6 + 7, 2 = i. Is -1 - -4 - 20*s composite?
False
Suppose 6*l = 5*l - 38. Let i = 53 - l. Is i prime?
False
Let n(o) = -4*o + 9. Let g = -1 - 6. Is n(g) composite?
False
Let x(q) = q - 3. Let k be x(3). Suppose -h - h + 20 = k. Is h a composite number?
True
Suppose -320 + 4106 = 6*a. Is a composite?
False
Let z be 1/(-3)*(-63)/3. Let f = z - 2. Suppose -3*g + 3*h = -g - 125, 260 = f*g + 3*h. Is g a composite number?
True
Let o(b) = 79*b**3 - 5*b**2 - b + 4. Is o(2) prime?
False
Let m be (-1)/(-3) + 186/9. Let d = m - -46. Is d a prime number?
True
Suppose -2*i + 77 = -3*o, -i = 3*o - 16 - 18. Is i composite?
False
Suppose 4*y - 542 - 4134 = 0. Is y a composite number?
True
Let b be (-1)/(-1*3/1095). Let p = b + -178. Is p a prime number?
False
Let n(m) = -9*m + m**2 + 3*m - 7*m - 11. Is n(-9) prime?
False
Let l = 7 + -5. Suppose 17 = -5*m + l, t - 181 = 5*m. Is t a prime number?
False
Suppose 3*x + 13 - 4 = 0. Let l be (-5)/(-6 - -2 - x). Suppose -4*b - 54 = -l*i, -2*i = 4*b - 16 - 0. Is i a prime number?
False
Let d(t) be the second derivative of -t**4/12 + 4*t**3/3 - t**2 - 2*t. Is d(6) a prime number?
False
Let d = -241 + 635. Is d a prime number?
False
Let x = 125 + 194. Is x prime?
False
Let x(r) = r**3 + 4*r**2 - r + 2. Let s be x(-4). Let g(k) = -k**2 + 6*k - 1. Let o be g(s). Is 1/(((-3)/57)/o) prime?
True
Let r be (4 - -2)/((-3)/4). Let m = -14 + 29. Let b = m + r. Is b a composite number?
False
Suppose 3*j = 7*j - 2164. Is j a composite number?
False
Let y(i) = 10*i**3 - i**2 + 2*i - 1. Let s be y(1). Is 516/15 + 6/s a prime number?
False
Let o = -2 - -2. Suppose -4*n + n - 5*v + 442 = o, 2*v + 151 = n. Is n a prime number?
True
Suppose -97 = -2*x + 3*z, 4*x - 3*z = -0*z + 191. Is x prime?
True
Suppose -28 = -f - 11. Suppose -2*a = -3 - f. Is a prime?
False
Let a = 785 - 359. Let u = a - 269. Is u a prime number?
True
Let q be (-70)/21*12/10. Let s(g) = -4*g**3 - 2*g**2 + 2*g - 5. Is s(q) prime?
True
Suppose 0 = -y - 2*r + 3*r + 518, -3*r = -5*y + 2600. Suppose -4*o + 2*v = -2752, 3*o - y = 3*v + 1538. Is o composite?
True
Suppose 14*j - 22428 - 12866 = 0. Is j a composite number?
False
Let v be 14*(-2 - (-33)/6). Suppose -5*b - 4*a + 443 = 0, 3*a - 44 - v = -b. Is b composite?
True
Suppose o + 10724 = 4*i, -4*i - 3*o + 10724 = 2*o. Is i prime?
False
Suppose -5*k - 4 = -2*b, 2*b = -0*k + 3*k. Let z be ((-6)/b)/((-3)/(-6)). Suppose -z*a + 121 = -5*i - 150, -4*i = 3*a - 211. Is a composite?
True
Let z(o) = -27*o - 39. Is z(-8) prime?
False
Suppose -y = -0*y - 5. Let p(g) = -g - 2. Let c be p(-4). Suppose -c*d + y*d = 42. Is d a composite number?
True
Let x = 204 + -27. Is x composite?
True
Let y be (-3)/(-9) + (-11)/(-3). Let d(b) = -4 - 9*b + 3*b**2 + y*b + 11. Is d(6) composite?
True
Let r(n) = -n + 1. Let b be r(-2). Suppose 2*z + b*z - 235 = 0. Is z a prime number?
True
Let h = 1 + 50. Is h composite?
True
Suppose 356 = -5*l + 3721. Is l composite?
False
Is 4/18 + (-8)/36 - -6673 prime?
True
Suppose 0*f + 5*f - 3*n = 289, n + 175 = 3*f. Is f composite?
False
Let q(d) be the first derivative of 7*d**2/2 + 2*d - 1. Is q(5) a prime number?
True
Suppose -4*o = -5*o + 117. Let v = 225 - o. Suppose 5*y - v = 107. Is y prime?
True
Suppose 2*v + 6 + 4 = 0. Let n(k) = -18*k - 1. Is n(v) composite?
False
Let n = 702 - 479. Is n composite?
