 composite number?
True
Let c be (-6)/24 + 66/8. Let a be (4/c)/((-2)/(-1724)). Suppose 85 = -0*o + o + 2*k, 5*o + 4*k - a = 0. Is o prime?
False
Is (1/3)/(12/4572) composite?
False
Let b(a) = -4*a**2 + 3*a**3 + 0*a - 9 + 5*a**3 - 5*a. Let q(f) = 5*f**3 - 3*f**2 - 3*f - 6. Let x(p) = -5*b(p) + 7*q(p). Is x(-2) prime?
True
Suppose -3*c + 5 = o - 8, -3*c + 15 = 0. Is o*(-11 + -3) - 3 prime?
False
Let n = 293 + 17. Suppose 2*h = -0*h - 2*c + 282, 0 = 2*h - 5*c - n. Is h prime?
False
Suppose 2*j - 15 = -3*j. Suppose -j*a = a - 80. Suppose 0*g = -4*g + 2*w + 220, -5*w = a. Is g prime?
True
Let b(i) = 3*i**2 - 10*i + 9. Let y be b(6). Let r = 114 - y. Is r a composite number?
True
Let k = 884 + -363. Is k prime?
True
Suppose -9*u - 3545 = -10*u. Is u prime?
False
Let h = -651 + 1368. Suppose 3*k - s - 538 = 0, -4*k = -2*s + s - h. Is k prime?
True
Let c(x) = 2*x**3 + 6*x**2 - 1. Let a(b) = 6*b**3 + 18*b**2 + b - 3. Let t(k) = -4*a(k) + 11*c(k). Let s be (9/(-6))/(3/8). Is t(s) a composite number?
True
Suppose 0*s + 475 = 5*s. Suppose 2*l - s = -3*l. Is l a prime number?
True
Let b be 26/2 + 1 + -1. Let g(n) = -b*n + 2 - 7 + 5*n. Is g(-6) a composite number?
False
Let a(t) = t**3 - 6*t**2 + 5*t + 2. Let y be a(5). Suppose -40 = y*q - 3*q. Let d = q + -14. Is d prime?
False
Let v(l) = l**2 + 8*l - 14. Let a be v(-10). Suppose -267 = -a*q + 3*q. Is q a prime number?
True
Suppose 5*f - 980 = 1235. Is f composite?
False
Let x = 3 - 1. Suppose 3*l = 4*c - 0*c - x, -4*l + 4 = -4*c. Is l a prime number?
False
Let v(u) = 6*u**3 + u**2 + u - 1. Let t(i) = i**2 - 7*i + 2. Let q be t(7). Let h be q/(3*6/9). Is v(h) a prime number?
True
Suppose -3*s - 2*s + 45 = 0. Let u(a) = a - 7. Let g be u(s). Suppose -g*l + 3*l = 13. Is l a composite number?
False
Let o be (-1 - 3)*(-1)/2. Let h be o/((-4)/18*-3). Let z(r) = 2*r - 2. Is z(h) a prime number?
False
Let u(t) = 8*t**2 - t - 1. Let z be u(-3). Suppose 2*j = 4*j - z. Is j a prime number?
True
Let q(a) = -a**2 - 4*a + 2. Let i be q(-4). Suppose 4*n = j + 396, -4*j + i*j = 5*n - 482. Suppose -4 = 4*w, f - 8*w + 3*w - n = 0. Is f a composite number?
True
Let q(j) = -2*j**3 - 30*j**2 + 14*j - 5. Is q(-17) a composite number?
True
Let b(f) = f + 224. Let c be b(0). Suppose -4809 = -5*v - c. Is v a prime number?
False
Let c(t) = -t**3 + 8*t**2 - 4*t + 2. Suppose 4*r + r = 35. Is c(r) a prime number?
True
Let p(n) = -n**3 - 7*n**2 + n - 9. Let v = 10 + -7. Suppose 2*d - d - 37 = 4*z, -4*z - 17 = v*d. Is p(z) composite?
False
Is (19 - 5)*(-194)/(-4) a prime number?
False
Let x(i) = -i + 2. Let f be x(9). Let j = f - -20. Is j a prime number?
True
Let v(c) = c + 8. Let l be v(-4). Is l - (-1 + -175) - 1 prime?
True
Let r(c) = c + 2. Let z be r(-1). Let p be ((-3)/(-6))/(z/12). Suppose p - 36 = -2*i. Is i prime?
False
Let h = 8405 - 5826. Is h a prime number?
True
Suppose -6*x = -2*x - 44. Suppose -d = -2 - x. Suppose -d - 20 = -3*k. Is k composite?
False
Let t = 288 - 114. Suppose 0 = -3*l + t + 153. Is l composite?
False
Let f = 229 + 522. Is f a composite number?
False
Let p = 11 + -17. Let c = p - -10. Is c/14 - (-290)/14 composite?
True
Let g be 12/7 - 4/(-14). Let o = 2 - 8. Is (o + 2)*-5 + g composite?
True
Let j = 7 + -7. Suppose j*k - 3 = -k. Suppose 0 = m - 0*a - 5*a - 64, k*m - 234 = a. Is m prime?
True
Let f = -22 - -155. Is f a composite number?
True
Let r be (-2)/(-5) + (-32)/(-20). Suppose 8 = 2*o + r*o. Is o a prime number?
True
Let a(i) = 20*i - 11. Is a(5) a composite number?
False
Let t = 440 + -668. Let l = 427 + t. Is l a prime number?
True
Is 1/2*354/3 a prime number?
True
Let n(r) = -38*r + 9. Let p(o) = -o + 1. Let q(i) = n(i) - 6*p(i). Is q(-4) a prime number?
True
Let y(u) = -u**3 + 7*u**2 - 4. Let s be y(7). Let d(b) = b + 7. Let f be d(s). Suppose 154 = -k + f*k. Is k prime?
False
Let v = -295 - -1356. Is v a prime number?
True
Suppose -5*y - 2*o + 5 = -2*y, o + 11 = 3*y. Is (52/12)/(y/9) prime?
True
Let h = 12508 + -5385. Is h prime?
False
Let y(x) = -10*x + 3. Is y(-11) a composite number?
False
Let k(g) = 469*g + 4. Is k(1) prime?
False
Let j(w) = 49*w - 8. Is j(3) composite?
False
Let d be 2/(-7) + 30/7. Let m = -4 + d. Suppose -3*a - 2*b = -93, -2*a + a + b + 36 = m. Is a a composite number?
True
Let b = 344 + -67. Let q = -122 + b. Is q composite?
True
Suppose -5*y + 15 = -0*y. Suppose -y*s + n = -3*n + 206, 3*s = 2*n - 214. Is (s/8)/((-3)/12) a prime number?
True
Suppose -2*f + a = -11, 12 + 4 = -3*f - 5*a. Let w be (f/2)/(3/4). Is (-2)/((-3)/483*w) composite?
True
Let m be ((-6)/(-5))/(6/15). Suppose -2*p = 6*a - a - 11, -m*p = 2*a - 33. Is p composite?
False
Suppose 34 = -5*s - 2*u, 3*s + 2*s - 3*u + 24 = 0. Let w(r) = -r**3 - 7*r**2 - 2*r - 2. Let f be w(s). Let n = 69 + f. Is n prime?
True
Let u be (-12)/(-8)*(-248)/(-1). Suppose 8*k - 4*k - 8 = 0. Suppose k*b = u - 88. Is b composite?
True
Suppose 3*z - 3*s - s - 12 = 0, 3*s = -9. Suppose 0 = -3*c + 14 + 7. Suppose 5*p - 90 = -c*x + 2*x, z = 2*p + 2. Is x prime?
True
Suppose 3*x + 141 = 3*u - 0*x, 241 = 5*u - 3*x. Suppose -5*i = 4*b - 343, 3*i + u = -3*b + 257. Is i a prime number?
True
Let w(h) = 4*h - 1. Suppose -3*k = 2*s - 31, 4*s - 2*k - 17 = k. Suppose -s = -3*n + 10. Is w(n) composite?
False
Is (-2)/(-3) - 163/(-3) a composite number?
True
Let g(c) = -4 + 8 + c**3 - 10*c + 3. Is g(6) composite?
False
Let a(p) = -2*p + 3. Let w be a(2). Let j(m) = -5*m - 1. Let u be j(-1). Is 705/20 + w/u a prime number?
False
Let v(c) = c**2 + 7*c + 5. Suppose 35 + 1 = 4*h + r, 0 = -3*h + 3*r + 27. Is v(h) prime?
True
Suppose 0 = 3*v - 0*v. Suppose -4*d - 12 + 34 = -p, v = 4*p + 2*d + 178. Let y = 77 - p. Is y prime?
False
Let x = -333 - -150. Let w = x + 294. Is w a prime number?
False
Is (-36474)/(-10) - (-20)/(-50) composite?
True
Let y(a) = a**3 - a**2 + a + 5. Let p be y(0). Suppose n - 1 = l, 0*n - l = 2*n - 8. Suppose -p*h + 184 = -3*i, n*h = -h - i + 137. Is h a composite number?
True
Suppose -u - 2067 = -5*k, 4*k + 4*u - 1018 = 626. Is k a prime number?
False
Let f(b) = 55*b + 10. Is f(9) a composite number?
True
Let g = 4 - 1. Suppose -24 = -i + g*v, 3*i - v = v + 72. Let q = i + -10. Is q composite?
True
Let d = 54 + -35. Let m = 2 + d. Is m a prime number?
False
Suppose 3*q - 26 = -q + 3*c, -q = -2*c - 9. Suppose -16 = 4*z, -5*z + 2*z - 982 = -q*k. Suppose k = 3*u - 55. Is u a prime number?
True
Suppose 0 = -w - 4*w. Let b be (29/3)/((-1)/(-15)). Let d = b - w. Is d a composite number?
True
Let w(r) = r**3 + 5*r**2 - 4*r + 3. Let m be w(-6). Let j = -7 - m. Suppose v + 77 = j*v. Is v prime?
False
Let s(x) = x**3 + 18*x**2 + 9*x - 29. Is s(-14) composite?
True
Let a = -8 + 2. Let u = a + 59. Is u a prime number?
True
Let h = -112 - -346. Let t = h - 89. Suppose -2*z = -5*p + 38 + t, 3*p + 4*z = 115. Is p a prime number?
True
Suppose 3*l = 3*t + 606, 2*l + 2*t = 242 + 166. Is l prime?
False
Let a = -8 + 12. Suppose -7*u + 144 = -3*u + a*d, 2*d + 103 = 3*u. Is u prime?
False
Suppose 35*g + 37833 = 38*g. Is g a prime number?
True
Let u = -9 + 16. Suppose 4*k + 333 = u*k. Suppose k = 2*y + y. Is y prime?
True
Let n = 2999 - 1534. Is n a prime number?
False
Let q(j) = 10*j - 1. Is q(6) a prime number?
True
Suppose 2*b - 6*b - 2*m + 2458 = 0, -b + 4*m + 610 = 0. Is b a composite number?
True
Let f(i) = -i**3 + 4*i**2 - 3*i. Let r be f(2). Is (-471)/(-7) - r/7 a composite number?
False
Suppose 4*y = -2*r + 2534, -2*y - 6*r + 2*r + 1282 = 0. Is y composite?
False
Let b(n) = 92*n**2 + n. Is b(1) composite?
True
Suppose 0 = b + 2*b, -5*c + 10 = -4*b. Let x be c/7 - (-68)/7. Is x - 2/(-3 + 1) a composite number?
False
Suppose -117 = -o + 377. Let s = -147 + o. Is s composite?
False
Let s(r) = 5*r**2 + 7*r + 1. Is s(-16) composite?
True
Let a(s) = -s**2 + 7*s + 2. Let y be a(7). Suppose y*d - 2*v - 1 = 5, -3*d - 3*v + 33 = 0. Is d prime?
True
Is ((-185)/10)/((-345)/(-174) - 2) a prime number?
False
Suppose 3*v + 2800 = -2*v. Let d = 281 + v. Is (-3)/(-6) - d/6 prime?
True
Let c be (1/(-1))/(2/(-10)). Suppose 9 = 4*j - 5*a + 26, 0 = c*j - a + 16. Is (j/4)/(5/(-60)) a prime number?
False
Is (1 + -4 - 230)*-1 a composite number?
False
Suppose 3*a - 60 = 141. Suppose -f = -2*s - a, -2*s = -4*f - 0*s + 268. Is f prime?
True
Let n be 0 - 36 - (-