
Let n = 13 - 9. Suppose -20 = -3*c - n*r, 2 = -c + r - 3. Suppose 5*p - t = 60, c = 5*p + t - 14 - 36. Is p a prime number?
True
Suppose -4*t + 4*l + 17644 = 0, l - 13219 = -3*t - 3*l. Is t composite?
False
Suppose 0 = 4*f, f + 95 = 5*h - 3*f. Is h a prime number?
True
Suppose -d = 2*i - 3026, 0 = 5*i + 4*d - 3798 - 3767. Is i prime?
False
Let r = -16 - -20. Let z(t) = -1 + 4*t + 4 + t. Is z(r) composite?
False
Let q be 265*-5*(1 - 2). Suppose 5*f - q = 3*p, -5*f - 338 = 3*p - 1663. Is f prime?
False
Let q(x) = -24*x**3 - x**2 - 3*x - 7. Let l be q(4). Let y = -1078 - l. Is y prime?
False
Suppose 0 = 3*u - 0*u - 3. Suppose -3*g - u = -7. Let x(j) = 46*j**2 + 2*j - 3. Is x(g) prime?
False
Suppose 0 = -3*m + 400 + 4571. Is m composite?
False
Suppose 438 + 517 = b. Suppose b = 3*l + 2*l. Is l a composite number?
False
Let i(g) = -3*g + 4. Let p be (0/7)/(-2 - -1). Suppose -q - 1 = m, p*m + 9 = m + 3*q. Is i(m) composite?
True
Suppose 7*p + 6035 = 12*p. Is p prime?
False
Is (634/4)/((-3)/(-6)) a composite number?
False
Suppose 0 = -4*c + 643 - 167. Is c a composite number?
True
Let k(t) = -4*t - 11. Let c be k(-8). Let b be -2*1 - -1 - -3. Suppose -3*h + c = -b*h. Is h a prime number?
False
Suppose 5*v - 8 = v. Suppose -42 = v*t - 104. Is t a composite number?
False
Suppose -4*y = -3*y, 0 = -5*k + 2*y + 4315. Is k prime?
True
Let y = 4 - 1. Suppose -y*x - 147 - 63 = 0. Let b = 117 + x. Is b composite?
False
Let t be (212/16)/((-1)/(-8)). Suppose 5*a + 11 = t. Is a a prime number?
True
Suppose 0 = -n - n. Suppose 4*d - 3*k + 7*k - 728 = n, 0 = 4*d + 3*k - 731. Is d composite?
True
Let v(o) = 2*o**2 - 3*o + 5. Let i be (2/(-4))/(1/4). Let t be i + 4 + 0 - -4. Is v(t) prime?
True
Is 955 + 2/3 + (-28)/6 composite?
True
Let h = 16 + -10. Let q(x) = h - 2 + 15*x - 2. Is q(5) prime?
False
Let n = 626 - 337. Is n prime?
False
Is -4 - (-4 + -1037 + -2) prime?
True
Is (379/3)/(2/6) prime?
True
Suppose 0 = 2*m + m - 15. Suppose 0 = k - t - 3*t + 5, 0 = -k - m*t + 13. Suppose -k*q + 2*q - 2*d = -139, -3*d = 4*q - 541. Is q a composite number?
True
Suppose -474 = -5*j - 2*c - 0*c, 5*j - 465 = -5*c. Suppose -5*w = 2*i - 381, 0 = i + 5*w - j - 107. Is i a prime number?
False
Is -1*(-4)/((-8)/(-938)) prime?
False
Let a(u) = 2*u + 0*u**2 - 3 - u**2 + 3*u**3 + 2*u**2 + u. Is a(2) a prime number?
True
Suppose 2 - 1 = z. Let x be 2 + 4 - 3 - z. Let a(d) = 8*d**2 - 1. Is a(x) composite?
False
Suppose 0 = -3*g + 7 + 5. Suppose -24 = g*o - 0*o. Let n = o + 20. Is n composite?
True
Suppose -s = -v - 2*v + 2387, -v + s = -793. Is v a prime number?
True
Suppose 590 = 2*j + 168. Is j prime?
True
Let l(v) = -v**3 - 2*v**2 + 14*v + 3. Let j be l(-6). Let c = j + 26. Is c prime?
True
Let q be (0/(-4))/(-1 - 1). Let x(s) = s**3 - s + 1. Let v be x(q). Is (-1 + 1 - v) + 210 a prime number?
False
Let y(j) = 3*j - 10*j + 5*j + 2 + 58*j**2 + 1. Let u be y(2). Suppose 6*d - 4*d = -m + u, 226 = 2*d - 4*m. Is d a composite number?
True
Let l = 62 + -3. Is l prime?
True
Suppose 0 = -m, -2*m = -2*x - 0*m - 52. Let s = 80 + -35. Let h = s - x. Is h prime?
True
Let d = 9 - 7. Suppose -d*y - 2564 = -6*y. Is y a composite number?
False
Let d = 66 - -19. Is d a composite number?
True
Let f(x) = -x - 3. Let w be f(4). Let j(r) = r**2 + 7*r + 2. Let t be j(w). Is t*(-3 - 219/(-6)) a composite number?
False
Is (1/(-5))/((-8)/43880) composite?
False
Suppose -3*y + 2*a + 1 = 0, -5*y + 4*y + 4*a = -7. Let x = 2 - 4. Is (-422)/(0 - x)*y a prime number?
True
Let z(v) = v + 1. Let t(f) = 8*f + 8. Let i(s) = -t(s) + 6*z(s). Let x be i(2). Is 1/3 + (-148)/x a composite number?
True
Let u(o) = 15*o - 2. Suppose 0 = -2*k + 3*y - 1, -1 = -3*k + 5*y - 5. Is u(k) composite?
False
Let r = -254 - -39. Let i = r + 312. Is i prime?
True
Let h = 1082 - 633. Is h composite?
False
Let f(p) = 71*p - 2. Is f(1) a prime number?
False
Let z be 12 + -2 - (1 + -1). Suppose -c = -z - 4. Is c prime?
False
Let v(s) = -3*s - 6. Let k be v(-4). Suppose 4*t - 134 = k*t. Let d = -36 - t. Is d a prime number?
True
Suppose -4*a + 2*i = 6*i - 44, -55 = -5*a - 3*i. Let g = a + -1. Is (1*-11)/((-5)/g) a composite number?
True
Let j = 3 + 3. Suppose -5*a = -c + j, 6*c = c + 4*a + 93. Suppose -v = 2 - 0, o - v = c. Is o composite?
False
Suppose -5*p + 56 = -4*t, -3*p = -p - 4*t - 32. Suppose -5*w = -p*w - 18. Is (-197)/(-3) - (-4)/w composite?
True
Let o = -2 - -2. Suppose 17 = 3*j - o*j + 4*m, 4*j = -m + 1. Let r = j + 44. Is r composite?
False
Suppose -z + 9 = 2*z. Suppose -y = z*g - 317, 2*y - 4*y = 2*g - 214. Suppose 5*q - g = -2*h, 2*q + h = 54 - 12. Is q composite?
True
Let j = 85 - 57. Let w = 79 - j. Is w composite?
True
Let j = -67 + 116. Is j a prime number?
False
Let u(l) = -l + 21 + 0*l**2 + 0*l + l**2. Is u(0) a prime number?
False
Let r = 235 + -70. Suppose 6*g = g + r. Let f = g - -1. Is f a prime number?
False
Suppose 0 = -z - 3*p + 381, -p = -0*p. Is z composite?
True
Suppose r - 6810 = -3*o + 9002, o + 2*r = 5279. Is o prime?
False
Let r(x) = 14*x**2 + 3*x + 3. Suppose -4*b - 8 = -5*b. Suppose b = -5*n - 2. Is r(n) a prime number?
True
Let q(t) = -t**3 + 67. Let l(p) = -p - 1. Let g be l(-1). Is q(g) a prime number?
True
Suppose -6*t = -0*t - 30. Suppose 33 = t*j - 197. Is j prime?
False
Let y = 298 + 195. Is y composite?
True
Let k = -8 + 12. Suppose 4*a - 60 = -0*b - k*b, 0 = -4*b. Is a a composite number?
True
Let j be -8*(4 + 0/(-1)). Let p = -19 - j. Is p prime?
True
Let h be (16/(-24))/((-4)/966). Let j = -72 + h. Is j prime?
True
Suppose -p - 5*x + 17 = 0, -2*p - 5*x + 10 = -9. Suppose 5*q - 59 - 204 = -w, 0 = -q + p*w + 57. Is q composite?
False
Let u = 144 - 97. Is u composite?
False
Let z(x) = -x**2 - 4*x + 10. Is z(0) prime?
False
Suppose a - 5*g = 991, a + 5*g - 951 = -0*g. Is a composite?
False
Let p(a) = -32*a + 7. Suppose -5*v - 35 = -w, v + 11 = -w - 2. Is p(v) prime?
True
Suppose m = -0 - 5. Let r = -3 - m. Is (1 - 3)*(-93)/r a prime number?
False
Is (3/6)/(1 - 1002/1004) composite?
False
Suppose 2*g + 0*g = 6. Let v be 1/g*(-2 - -5). Is 1/(1*v/37) a composite number?
False
Let s be 3 - 1/1*2. Is 4/4 - (-82)/s composite?
False
Let f = 213 - 365. Is f/(-10) + (-2)/10 a composite number?
True
Suppose 0*j + 2*j - 194 = 0. Is j a prime number?
True
Suppose 0 = -h - h + 4*q + 182, h + 3*q - 71 = 0. Suppose h = -0*t + t. Is t a composite number?
False
Let h(t) = t**2 - 2*t - 1. Let r be h(3). Suppose 222 = k + r*k. Is k a prime number?
False
Suppose -3*x + 246 + 543 = 0. Is x composite?
False
Suppose 554 = g - 513. Is g prime?
False
Is 23/2*(-20)/(-2) a prime number?
False
Suppose -5*u - 626 + 2101 = 0. Is u a prime number?
False
Let u = 10 - 9. Let i = u + 10. Is i a prime number?
True
Let n(c) = -c. Let o(d) = -2*d - 12. Let y = 6 - 3. Let z(v) = y*n(v) + o(v). Is z(-9) a prime number?
False
Let g be -2*(-3)/12*-214. Let k = 22 + 198. Let d = g + k. Is d prime?
True
Let s be 367 - 3*2/6. Suppose 0 = -3*y + s - 117. Is y a composite number?
False
Let q = -41 + 72. Is q composite?
False
Is (-20)/5 + 5 - -900 composite?
True
Let g(x) = x + 2. Let u be g(-6). Is (-378 + u)*(-1)/2 a prime number?
True
Let a(p) = p**3 + 11*p**2 - 12*p + 5. Is a(-6) composite?
False
Let c(h) = 96*h**2 + 4*h + 5. Let z be 1 + -9 + (0 - -2). Let a(d) = d + 1. Let y(k) = z*a(k) + c(k). Is y(-1) a composite number?
False
Let n = 16 - 10. Suppose -n*w = -w - 95. Is w prime?
True
Suppose -b = -2*b + 2. Is (-8)/(-2)*(b - 1) a composite number?
True
Let x(s) = 27*s**2 - 12*s + 25. Is x(8) prime?
True
Let z(a) = -a**3 + 4*a**2 + a. Let x be z(4). Let k(f) = 3*f**2 - f - 5. Is k(x) composite?
True
Suppose -18 = -3*z + 7*z + 2*m, 0 = -5*z - 3*m - 24. Let p be z/15 - 404/5. Let r = 118 + p. Is r a prime number?
True
Suppose -3*o - 1424 = -2*d - 0*o, -d - 2*o + 705 = 0. Suppose -5*m + d = 254. Is m a composite number?
True
Let y(h) = 4*h - 7. Let d(u) = u**3 - 2*u**2 - u + 2. Let o be d(3). Is y(o) a composite number?
True
Suppose 5*d = -25, -5*t - 5*d + 3*d + 775 = 0. Suppose f + t = 2*f. Is f composite?
False
Let f be 4/(-18) + (-8708)/18. Let x = f - 70. Is 2/(-5) - x/10 a composite number?
True
Let w be (6/5)/(6/20). Suppose -4*h + 2*t + 9 = 1, -w*h - 4*t = -20. Suppose -f - 182 = -h*f. Is f prime?
False
Let s(y) = -7*y**3 - 5*y*