 Let q = m - 34. Is q a composite number?
True
Let x be (0 - -1) + 12/1. Let t(k) = k**3 - 14*k**2 + 18*k - 12. Is t(x) prime?
True
Suppose 5*g + 4*b = -30, -4*g + 4 = -3*b - 3. Is (0 - (g - 131))*1 a prime number?
False
Let j(c) = -16*c**3 - 3*c**2 + 2. Let w be j(-2). Suppose -w = -5*k + 52. Is k composite?
True
Suppose 5*u = j + 4068, 3*u - 3*j - 2*j - 2454 = 0. Is u a prime number?
False
Let x = 11 - -107. Suppose -4*u + x = -2*u. Is u a composite number?
False
Let u be -3*((-7)/3 - -3). Suppose 0*k + 13 = k. Let s = k + u. Is s a composite number?
False
Let n(h) = 22*h + 7. Let d be n(10). Suppose -5*o - 936 = -5*a + 139, 0 = -a + 4*o + d. Is a a composite number?
False
Suppose -17*i = 5166 - 26909. Is i a composite number?
False
Let g(h) = 48*h**2 + 4*h - 23. Is g(-8) a prime number?
False
Let p be (-1594)/(-4)*4 + -2. Suppose 3*w - p = 2*x, 0*w = 5*w - 4*x - 2652. Let g = w + -197. Is g composite?
True
Suppose 879 = 2*r - 5*j, 2*r = -j - 3*j + 906. Is r composite?
True
Let y(j) = -5*j - 10. Let c be y(-8). Suppose -287 = -s - c. Is s a composite number?
False
Let u = 39 - 18. Suppose 3*j = u - 6. Suppose -l + j*l - 36 = 0. Is l prime?
False
Let i(t) = -t**2 + 33*t + 33. Is i(20) prime?
True
Let k(c) = -4*c + 7. Let q be k(-5). Suppose -7 = 2*l + q. Let r = l + 38. Is r composite?
True
Suppose -5*q - 2*z + 9737 = -0*z, q - z = 1953. Is q prime?
True
Suppose 4*c - 573 = c. Is c a prime number?
True
Suppose 5*f + 4*b + 405 + 189 = 0, b = 3*f + 353. Let a = -39 - f. Is a prime?
True
Let j = 6 + -3. Suppose -j*o + 382 = u, -u + 0 = -1. Is o a prime number?
True
Let q = 1 + 2. Let v = q + 0. Suppose -v*s + 548 = 167. Is s a prime number?
True
Let x(w) = -37*w + 10. Let o be x(10). Let s = -211 - o. Is s prime?
True
Let s(d) = d**3 - 11*d**2 - 8*d + 1. Let y be s(9). Let n = y + 330. Is n composite?
False
Let j = 74 - -5. Is j composite?
False
Suppose -6 = 5*k - 1. Is (k - 1/(-2))*-106 a composite number?
False
Suppose -5*o - 5*f = -530, -4*o - 3*f + 8*f = -388. Let h = o + -13. Is h composite?
False
Suppose 5*b - 59 = -3*y, -7*b = -2*b - y - 47. Is b composite?
True
Let s = 3466 + -2207. Is s composite?
False
Suppose 0 = 4*f - 16, 0*f = -2*x + 4*f - 16. Suppose a = -x*g - 2*g - 85, 2*a = g + 50. Is g/(-12)*(31 + 2) prime?
False
Suppose c = 87 + 10. Is c composite?
False
Is 4*((-17001)/(-12))/3 composite?
False
Let b = -13 + 18. Let h = -1 - -6. Suppose -h*z + 85 = b*n, 16 = -n - 3*n. Is z a prime number?
False
Is (-7974)/12*4/(-6) a prime number?
True
Let b = -266 + 542. Let m = b + -131. Is m prime?
False
Let b(i) = 14*i + 7. Is b(8) a composite number?
True
Suppose 419 - 121 = s. Suppose 0*l - 2*l + s = 0. Is l prime?
True
Suppose 5*m + y - 3*y - 18 = 0, 3*m + 4*y = -10. Suppose -g + 3*g = -m, -1 = -j - 2*g. Is j prime?
True
Let w(z) = 1043*z. Is w(1) prime?
False
Suppose -x - 3*q + 6533 = 0, -4*x - x + q + 32601 = 0. Is x a composite number?
False
Let w(c) = c**3 + 9*c**2 - 9*c - 5. Is w(-6) a prime number?
True
Let k(h) = -h**3 + 9*h**2 - 7*h - 3. Let q be k(8). Suppose 16 + 24 = -q*p. Let l = p - -57. Is l a composite number?
True
Suppose -3*b = -w + 2215, 2*w + 5*b + 4426 = 4*w. Is w composite?
False
Let f = -481 + 716. Is f composite?
True
Let x = 81 - 14. Let u = -8 + x. Is u a prime number?
True
Let k be (-5)/15 + 2171/(-3). Is (3/6)/((-2)/k) a prime number?
True
Let a be (3 - 4) + 2 + -1. Let v = a + 2. Suppose -34 = -2*y - 0*y - v*o, y - 4*o - 7 = 0. Is y a composite number?
True
Let i(z) be the third derivative of -7*z**4/6 + z**3/2 - z**2. Let t(g) = 55*g - 5. Let l(s) = -5*i(s) - 3*t(s). Is l(-1) a composite number?
True
Suppose 8*o - 74 = 6*o. Let t = 2 + o. Is t a prime number?
False
Let u(d) = 4*d + 3. Is u(14) a prime number?
True
Let k = 10 + -7. Suppose k*g + l - 610 = 0, 0 = 5*g + 2*l - 395 - 620. Is g a composite number?
True
Suppose 2*y - 20 = 3*y. Let h = y - -327. Is h composite?
False
Let s = 46 - -9. Suppose -s = -5*k + 60. Is k prime?
True
Suppose 4*n = -4*w + 104, 3*w = 2*n + 3*n - 170. Is n prime?
True
Let o be 468/(-5) + 6/(-15). Let t be -4 + (-3 - (-3 + 0)). Is t/(-20) + o/(-5) composite?
False
Is 4 + (-3 - -2) + 71 a prime number?
False
Let a(v) be the first derivative of v**3/3 + v**2/2 + 6*v - 1. Let p be a(7). Suppose -m - 16 = -p. Is m composite?
True
Let s(b) = 53*b + 26. Is s(5) a composite number?
True
Let a(l) = l**3 - 5*l**2 - 3*l + 3. Let h be a(-4). Let t(o) = -8*o + 2. Let m be t(6). Let b = m - h. Is b prime?
True
Suppose 4*z - 3*c - 260 = 0, 0 = -4*z - 2*c + 43 + 197. Is z composite?
True
Suppose 3*l + 2*l - 25 = 0. Suppose 0 = -3*p + 4*y - l*y + 19, -5*p + y + 37 = 0. Is p a composite number?
False
Suppose -4*r + 698 = -3*v - 925, 0 = 4*r + 2*v - 1638. Let l = 12 - 8. Suppose r = l*o - 308. Is o prime?
True
Suppose 0*n - 2*n + 1070 = 0. Is n a composite number?
True
Let u(d) be the first derivative of 2*d**3/3 - 2*d**2 + d - 2. Is u(-3) prime?
True
Let f(k) = -k**2 + 6*k - 3. Let i be (-2)/11 - (-120)/55. Let l be f(i). Suppose 0 = -4*y + 7 - 23, -5*r - l*y + 175 = 0. Is r composite?
True
Let h(g) = 12*g**3 - 5*g**2 + 7*g - 21. Is h(7) prime?
False
Suppose -4 = -5*u + 16. Suppose 0 = -4*z + z - 9. Is 48 + u/6*z a prime number?
False
Suppose 235 = 2*y - 41. Let r = 193 - y. Suppose -5*c + 6*c = r. Is c a prime number?
False
Let y be 9/(-12) + (-87)/(-4). Suppose -5*d + 34 = -y. Let o = d - -47. Is o a composite number?
True
Is (-28)/(-154) - 12835/(-11) composite?
True
Suppose 3*k - k = -4*j - 10, 32 = -4*k - 2*j. Let c(a) = -16*a - 1. Let w be c(k). Let n = -56 + w. Is n composite?
True
Let f(j) = -j**3 - 4*j**2 + 2*j + 2. Let y be f(5). Is y*((-20)/6 + 3) prime?
True
Let w(u) = u - 1. Suppose a = 5*a - 5*c - 12, -3 = -a - c. Suppose a*t - 11 = 1. Is w(t) prime?
True
Let z(g) = -g**2 + 4*g + 2. Let c be z(4). Suppose -o = -0*o - c. Suppose 0*a = o*a - 382. Is a composite?
False
Let b(t) = -44*t - 18. Is b(-11) composite?
True
Suppose 3 = -t, 2*s + s - 2739 = 2*t. Is s prime?
True
Let a(s) = s**2 + 0*s**2 - 5 - 1 + 5. Is a(-4) a composite number?
True
Suppose 0 = 2*u + 6, u - 10 = 5*t - 263. Suppose 4*g = -g + t. Is g prime?
False
Suppose -36 = 6*l - 4*l. Let c = 17 - l. Is c composite?
True
Is 166 - (-2 + -7)/(-3) a composite number?
False
Let i(m) = -8*m**3 - 3*m**2 - 3*m + 3. Let z be i(-3). Suppose 0 = -h + 4*h - z. Is h composite?
False
Is (-2)/6 - (-3292)/3 composite?
False
Is 12422/(9/(54/12)) a composite number?
False
Suppose 4*s - 9*s + 860 = 0. Suppose 0 = 2*u + 5*y - 443 + 84, -s = -u - 5*y. Is u composite?
True
Let c(b) = b**3 - b - 552. Let u be c(0). Let h = u - -966. Let y = -295 + h. Is y a composite number?
True
Let d = 509 + -40. Is d a composite number?
True
Suppose 2*l + 2*m = 3*l - 1755, 4*l - 4*m = 7040. Is l composite?
True
Let y(v) = 16*v**2 + v - 1. Let h be y(-2). Suppose 0 = -2*j + 379 - h. Suppose -n + j = 32. Is n a composite number?
False
Let i(v) = -2*v**3 - 6*v**2 + v - 7. Suppose 0*t + 6 = -t. Is i(t) a composite number?
True
Suppose -225 = -5*y + 5*a + 135, a - 159 = -2*y. Is y composite?
True
Let q be 18 - (8/(-2) + 4). Suppose -19 = -p + q. Is p prime?
True
Is 3 + (-21)/9 + 5798/6 composite?
False
Is 47/(1/(-103)*-1) composite?
True
Suppose 4*k + 2*u = -u + 508, u + 508 = 4*k. Is k a prime number?
True
Is (3/((-9)/(-1761)))/1 a composite number?
False
Let z be -254 + 1/(1/3). Let t = z - -412. Is t composite?
True
Suppose -2*i - 4*u + 4 = -4*i, 5*i - 2*u = -10. Is (79/(-2))/(i/12) a prime number?
False
Suppose 2*z = -3*z - 1945. Let r = 1152 + z. Is r a composite number?
True
Let h(v) = -2*v**3 - 6*v**2 + 4*v + 5. Let n be 3*2/6 - 6. Is h(n) composite?
True
Let w(s) = -s**3 + 4*s**2 + s. Let a be w(4). Suppose -a*g + 1407 = 395. Is g prime?
False
Let h(g) = -76*g + 1. Let j be 0/(-4) - (-1 + 0). Suppose -2*f = -j + 3. Is h(f) composite?
True
Is -1 - (-557 + (-5)/5) composite?
False
Suppose 5*z = 4*z + 31. Is z/((-6)/(-2) - 2) a composite number?
False
Suppose 3*d + 2*p - p = 20, -2*p = 8. Suppose 2*u - c - d = -3*u, -14 = -4*u - 3*c. Suppose 0 = u*y - 0*y - 134. Is y prime?
True
Let n(j) = -61*j**2 - j - 1. Let m(a) = a**3 - 3*a**2 + 1. Let d be m(1). Let o be n(d). Let r = o + 86. Is r a composite number?
True
Let b = -16 + 14. Is ((-26)/(-6) + b)*201 co