. Is r composite?
True
Let m = 1599 + -134. Is m prime?
False
Suppose h - 524 = -4*s - 3*h, 0 = -5*h. Is s a composite number?
False
Suppose 5*x + 4*b - 4 = 0, -4*x - 3 + 1 = -2*b. Suppose -4*h + x*h = -188. Is h prime?
True
Let c = 93 - -200. Is c prime?
True
Suppose 2*k - 3*k = -2*m - 735, 0 = k + 4*m - 765. Is k a prime number?
False
Suppose -2*z - z + 3 = -3*l, -2*l = 5*z - 12. Suppose 3*h = -z*r + 2*h + 12, -3*r + 5*h + 5 = 0. Suppose 3*k = r*k - 74. Is k a composite number?
False
Suppose 8*q - 45 = 3*q. Let p be (-3)/(-6)*0/(-4). Let n = q + p. Is n a prime number?
False
Let h be (-10)/(-5)*-1*1. Let q = 3 - h. Let x(c) = c**3 + 3*c**2 + 6*c - 7. Is x(q) prime?
True
Suppose p - 75 = 9. Suppose k = 4*d - 4*k - 135, 3*d + 2*k = p. Let z = d + 5. Is z a prime number?
False
Let d be 1 + -1 + 335 - 3. Suppose -2*k + 669 = k. Let g = d - k. Is g a prime number?
True
Let o(b) = 6*b**2 + 3. Let g be o(-3). Suppose t - 31 + 301 = 4*h, h + 5*t = g. Is h prime?
True
Suppose 71 - 1731 = -4*c. Suppose 4*h = -h + c. Is h a composite number?
False
Suppose 0 = -p - 0*p - 3. Is 572/3 - 1/p prime?
True
Let p = -394 + 1335. Is p prime?
True
Let p = 738 - 443. Let x = 1168 - 790. Suppose 2*d = -3*k + p, -4*k + 2*d + 3*d + x = 0. Is k a composite number?
False
Let a = -1150 + 2739. Is a a composite number?
True
Let p(n) = 2*n + 11. Let f(u) = u + 5. Let h(v) = -5*f(v) + 3*p(v). Let t be h(-6). Is 76/(-2)*t/(-4) a prime number?
True
Suppose 2*a = v - 9, 4*a - 107 - 8 = -5*v. Let x = 58 - v. Is x a composite number?
True
Suppose 3*j = -c - 3, 3*j = -2*c - 2*c - 12. Suppose 5*q + j + 5 = 0. Is (-2)/q*127/2 prime?
True
Let u(s) = s**3 + 2*s**2 + 3*s + 7. Let l be u(7). Let v = l - 98. Is v composite?
True
Let b(a) = -98*a + 3. Is b(-2) composite?
False
Let g be 276/(-15) + (-4)/(-10). Let v = 15 - g. Is v composite?
True
Let d = 3 + 1. Suppose 0 = d*v - 2*z - 212, -2*z = 2*v - 0*v - 106. Is v prime?
True
Suppose -r = 2*v - 13, 0 = -2*v + 3*r + 15 + 10. Let s = 13 - v. Suppose 0 = 4*a + 4*y - 9*y - 39, 0 = -s*a + 5*y + 50. Is a composite?
False
Let o(f) = f**3 + 6*f**2 + 3*f - 7. Let c be o(-5). Let g(h) be the third derivative of h**6/60 + h**5/15 - h**4/8 - 2*h**3/3 - 5*h**2. Is g(c) prime?
False
Suppose 4*o = 5*u - 1029, -203 - 212 = -2*u + 5*o. Is u a composite number?
True
Let a(p) = -2*p. Let g be a(-1). Suppose -g*j = -j - 3. Suppose 3*v - 4*f - 2 = 2, -3*v + 6 = -j*f. Is v composite?
True
Suppose -j - 2*j = -1221. Is j a prime number?
False
Let r(s) = -s + 119. Is r(0) a prime number?
False
Suppose -4*x + 1432 = 4*a, 3*a - 3*x - x = 1088. Let n(b) = -8*b - 1. Let t be n(14). Let r = t + a. Is r a prime number?
False
Suppose -70 = -9*f + 7*f. Is f a composite number?
True
Suppose -2*j - 3 = -3*j. Suppose -k = n + 20, n - j*k + 32 = 2*k. Let u = -15 - n. Is u a composite number?
False
Is (-2)/4*(2 + -1)*-2878 composite?
False
Suppose -2*n = d + 91 - 472, 0 = n + 2*d - 189. Is n a prime number?
True
Suppose -6*h - 9087 = -9*h. Is h a prime number?
False
Let f(n) = -6*n**3 + 6*n**2 - n + 4. Let k(b) = b**3 + b**2 - b + 1. Let m(x) = -f(x) + 3*k(x). Is m(3) a prime number?
False
Let j(x) = 2*x + 5. Let w = -3 - 1. Let h be j(w). Let i(b) = -b + 4. Is i(h) a prime number?
True
Let c(g) be the third derivative of g**5/30 + g**4/6 + g**3/2 + 4*g**2. Let y be c(-2). Suppose 3*q - y = 15. Is q prime?
False
Let h be -2*(-2)/3*111. Is h/(-8)*(-4)/2 composite?
False
Let m be 2 + 2 + -1*1. Let j(y) = 2*y**3 + 3*y - 1 + 3 - y**2 + y**3. Is j(m) a composite number?
False
Is (7 - (-202048)/72) + 2/(-9) a prime number?
False
Is (-3451)/(-3) - 4*(-1)/6 prime?
True
Let n(b) = -121*b - 4. Let i be n(5). Is (1 - 16/12)*i prime?
False
Suppose -2*k = 3*o + 1, 0 = 3*k + 6. Let d(x) = -x**3 - 13*x**2 - 13*x - 14. Let z be d(-12). Is 2/(z/(-45)) + o a prime number?
False
Let o = -3 - -12. Suppose -3*a + o = 0, -5*u - a = -2*a - 172. Is u a prime number?
False
Let x(z) = z**2 + 7*z - 6. Let n be x(-7). Let j be (n/(-7))/((-1)/7). Let u = 19 + j. Is u a prime number?
True
Suppose -1685 = 5*k - 10*k. Is k prime?
True
Suppose 0*u - 1 = -u. Suppose 3 = -w, w + u + 6 = -2*s. Is (-11 - -1)*7/s composite?
True
Let d = 4 - -8. Let g be ((-1)/3)/((-2)/d). Suppose 6*o + 89 = g*t + 7*o, 0 = -5*t - 4*o + 218. Is t prime?
False
Is (5690/(-25))/(2/(-10)) prime?
False
Suppose 6 = -n - 2. Let b = 9 + n. Is b + 2/(-4)*-92 a prime number?
True
Let p = -4 + 1. Let l be (-2)/(-3) + (-73)/p. Suppose 210 = 5*n - l. Is n prime?
True
Let n = 384 + 405. Is n prime?
False
Let d(w) = w**2 + 2*w + 3. Is d(8) prime?
True
Suppose 4*x = t + 2*t - 577, -5*x - 970 = -5*t. Let o = t - 56. Is o composite?
True
Let r(v) be the third derivative of -v**6/120 + v**5/10 + 5*v**4/24 - 4*v**3/3 - 4*v**2. Suppose -3*m + 5*l + 16 = -2*m, 0 = 4*l + 8. Is r(m) composite?
True
Is 18/(-36) + (-330)/(-4) a composite number?
True
Suppose 5*z + 2*d + 77 - 697 = 0, 0 = z + 2*d - 116. Let v = -57 + z. Is v prime?
False
Is (-3533)/(-5) - 2/(-5) a composite number?
True
Suppose 14*p - 11*p = 7182. Suppose -p + 739 = -5*q. Is q a prime number?
True
Let x(t) be the third derivative of -t**6/120 + t**5/30 + t**4/8 + t**3/3 - t**2. Let p be x(3). Let u = 1 + p. Is u a composite number?
False
Let c be ((-1)/2)/((-2)/240). Let x be (-9)/(-6)*-1*c. Is (2 - x) + -1 + -2 a prime number?
True
Let n = -65 + 98. Let b = n + -10. Is b composite?
False
Let u = 661 + -456. Is u a composite number?
True
Is -2 + 3/(3/8) a composite number?
True
Let u = -2758 + 6303. Is u a prime number?
False
Let b = -398 - -777. Is b prime?
True
Let u(j) = 2*j**2 - 11*j + 6. Let b(o) = o**2 - 10*o + 5. Let l(k) = 3*b(k) - 2*u(k). Suppose 3*p + 13 = -5. Is l(p) a prime number?
False
Suppose 3*l + 4*t + 17 = 4*l, l - 5*t - 13 = 0. Let p = l - -14. Is p prime?
True
Suppose -2474 = -5*k + 786. Suppose -2*z + 2310 = -k. Is z prime?
True
Let c = 17 + -5. Suppose -3*j = 3*p - 543, 5*j - c = 2*j. Suppose -3*y + 3*h + p = 0, 4*y + 0*h - h = 224. Is y prime?
False
Let d = 8 + -11. Is (-384)/d + 1 + 0 composite?
True
Let t be 1 + -2 + (2 - -1). Suppose t*g - g = 3. Is ((-15)/(-2))/(g/6) a composite number?
True
Let s(h) = 2 + h**2 - h**3 + 4 - 4. Let j be s(0). Suppose 3*m + 125 = 5*b - 504, j*m = -2*b + 258. Is b a prime number?
True
Suppose -2*v + 3*j + 668 = 0, -4*j + 1328 = 4*v - 6*j. Is v composite?
False
Is (3 - (1 - -2)) + 1*1109 composite?
False
Let p(x) = 8*x**2 + 8 - 5*x - 3*x**3 + 2*x**3 + 4*x. Let a be p(8). Suppose a*h = -h + 79. Is h a prime number?
True
Let w(b) = -b**2 - 7*b + 9. Let q be w(-8). Is (-88)/(-6) - q/(-3) composite?
True
Suppose 3*r = r + 348. Suppose -5*l - 220 = -l. Let n = r + l. Is n prime?
False
Is (-1 - -2)*(-2331)/(-9) prime?
False
Suppose 2*a + a = -q + 19, -7 = -3*q + a. Suppose -c = -34 + q. Is (c/(-4))/(2/(-4)) prime?
False
Let a(q) = 50*q**2 + q + 2. Let j be a(2). Is (2 + -5 - -2) + j a prime number?
False
Suppose -h = 2*h - 78. Suppose 103 = 3*b - h. Is b a composite number?
False
Suppose -2*s - 267 = 3*i, 5*i + 4*s + 429 = -16. Let y(x) = 21*x - 12. Let w be y(8). Let j = i + w. Is j a prime number?
True
Suppose -4*l + 0*l + 3*c = -11999, -5*l + 14997 = -2*c. Is l prime?
True
Let p(d) = -16*d - 4. Let l be p(10). Is 3 + l/(4/(-2)) prime?
False
Suppose 5*b - 156 - 130 = -3*i, -5*b = -2*i + 149. Suppose 0 = -5*p - i + 262. Is p a prime number?
False
Let n(m) = -18*m - 8. Let x be n(-6). Let k be ((-6)/15)/((-2)/x). Suppose -k + 5 = -g. Is g a composite number?
True
Let u(b) = -3*b**3 - 5*b**2 - 4*b - 17. Is u(-9) a prime number?
True
Let a be (-1 - 9)*3/3. Let q be (1 - (-3)/(-5))*a. Is 152/11 + q/(-22) prime?
False
Let a = 1524 - 779. Is a a composite number?
True
Let w = 10973 - -2054. Is w prime?
False
Let r(v) = 4*v**2 + 1. Let b be r(4). Suppose f - b = 75. Suppose f - 47 = 3*n. Is n prime?
True
Is ((-1)/2)/(8/(-784)) a prime number?
False
Suppose 15*t = 12104 - 3299. Is t prime?
True
Let w = 433 - 52. Is w composite?
True
Let s = 1136 + -555. Is s a composite number?
True
Let h(a) = a**3 - 5*a**2 - 6*a + 5. Suppose 5*x = -2*o + 10, 5*o - 10 = 2*x + 3*o. Let c be 8 - x*3/(-3). Is h(c) a prime number?
True
Suppose 4*w = -2*p + w + 4462, 3*p - 6703 = -2*w. Is p a composite number?
False
Suppose 0 = 4*h - 223 - 13. Is h a prime num