917 = 4*o. Is o a prime number?
True
Suppose -5172 = 11*v - 15*v. Is v prime?
False
Is (-7 + 1)*727/(-2) a composite number?
True
Let w be 6010/40 - (-6)/8. Let q = w - 77. Is q a composite number?
True
Let i = 140 - -401. Is i prime?
True
Let p = -2 + 5. Suppose p*g + 0*g - 42 = 0. Is g a composite number?
True
Suppose 18*c - 15816 = 3750. Is c composite?
False
Suppose m - 14 = 3*a - 0*m, -4*a - 37 = -5*m. Is (-1*(a + 481))/(-2) prime?
True
Suppose 0 = 3*h - d + 1458, 714 = -2*h + 2*d - 258. Let n = h - -689. Is n composite?
True
Suppose 73 - 1601 = 5*a - 2*y, 0 = -2*a - y - 613. Let l = 517 + a. Is l a prime number?
True
Suppose 4*s - 1464 = 4*k, -s + 2*k + 43 + 322 = 0. Suppose 289 = -4*a - s. Let f = 307 + a. Is f prime?
False
Suppose 0 = 7*x - 728 - 161. Is x prime?
True
Suppose -2*n + 443 = -n. Is n composite?
False
Let r(n) = -n**3 + 10*n**2 + 5*n - 5. Let s be r(5). Let y be ((-1)/3)/((-1)/3). Suppose 0 = -l - 4*a + s, -2*a - 1 - y = 0. Is l prime?
True
Suppose 2*p = 5*l + 23 + 20, -p - 5*l - 16 = 0. Is p a composite number?
True
Suppose t - 10 + 4 = 0. Let j(b) = b**3 - 5*b**2 + 9*b - 5. Is j(t) a composite number?
True
Let u = 9 + -7. Suppose -w - 2*w + 4*z + 250 = 0, u*w - 165 = 3*z. Suppose v - w = 71. Is v a prime number?
False
Is 0 - (-59)/((-4)/(-148) - 0) a composite number?
True
Suppose 11*j = 8*j + 15. Let k(f) = 13*f. Is k(j) prime?
False
Let l = 1074 - 743. Is l a prime number?
True
Let o(b) be the second derivative of b**3/6 - 3*b**2/2 - 2*b. Let c be o(5). Is (-465)/(-10) - (-1)/c prime?
True
Suppose 28 = -2*r + 4*r. Let j = r + -1. Is j a composite number?
False
Suppose 4*m - 2*z = 3066, -2299 = -3*m - 3*z + 5*z. Is m prime?
False
Suppose 0 = -0*t - 3*t - 21. Let x(z) = z**3 + 10*z**2 + 3*z - 7. Is x(t) composite?
True
Let y = -163 + 25. Let o = -55 - y. Is o prime?
True
Suppose -14*l = -10*l - 4. Let m(u) = 33*u. Is m(l) a prime number?
False
Let q be 0 + 1/(1/105). Suppose 90 = 3*p - q. Is p a composite number?
True
Let n be (-27)/(-4) + (-3)/(-12). Suppose 2*a - 3*a + n = 0. Is a a composite number?
False
Suppose 0 = 2*z + 5*a - 499, -2*z + 5*a + 458 - 9 = 0. Suppose -4*k + z = -k. Is k prime?
True
Suppose l - 2*x - 2*x = 257, l + x - 252 = 0. Is l prime?
False
Let q(n) = 29*n - 4. Suppose 2 = -3*g + 5. Let t(c) = -1. Let d(i) = g*q(i) - 2*t(i). Is d(3) a composite number?
True
Is (-6)/4*32676/(-18) composite?
True
Let n be ((-39)/6 + 1)*6. Let p = n + 212. Is p a prime number?
True
Suppose -7*i + 1921 = -8754. Suppose 3*a + 2*a - i = 0. Is a composite?
True
Is (8/12)/(8/13380) composite?
True
Suppose c = -c + 72. Let n be ((-4)/(-6))/((-4)/(-246)). Let o = c + n. Is o a composite number?
True
Suppose 5*l - 23 = -2*h, h = 5*l - 8 - 18. Suppose -41 = -n - 4*x, l*n + 3*x = 11 + 109. Is n a prime number?
False
Suppose 0 = 2*b - 0*b - 3*h + 17, -2*b - 4*h = -18. Let k be (4 + b)/(-3) - -50. Let i = -16 + k. Is i composite?
True
Let g(l) be the third derivative of 47*l**7/840 - l**6/180 - l**5/120 + l**4/24 + l**3/6 - 2*l**2. Let b(z) be the first derivative of g(z). Is b(2) prime?
True
Let b(l) = -l - 10. Let h be b(-9). Let r be 6/4*(3 - h). Suppose -4*c = r - 58. Is c composite?
False
Let w = -143 - -1558. Is w a prime number?
False
Let v = 0 - -4. Suppose -3*y = 2*u - u + 15, y - v*u = -18. Is 66*1/y*-3 a prime number?
False
Let f be 1/(-3) + 2/6. Suppose f = -3*n + 2*h + 137, 57 = -3*n + 4*n + 5*h. Is n composite?
False
Let t(k) = 3*k**2 - 3*k - 3. Is t(-2) composite?
True
Suppose 382 = f + f. Is f composite?
False
Let k(x) = 52*x**3 - 2*x**2 + x. Let j be ((-3)/((-3)/5))/1. Let r = j + -4. Is k(r) a composite number?
True
Is ((-1902)/(-12))/((-1)/(-2)) composite?
False
Let x = 5598 - 3667. Is x a prime number?
True
Let a(y) = -y**2 + 13*y - 9. Let l be a(12). Is (-2)/(-3) - (-67)/l a prime number?
True
Let x(o) = 128*o**3 - o**2 - o + 1. Is x(1) a prime number?
True
Suppose -2*b = -11 + 5. Suppose -b*k - 1072 = -j - 3*j, -5*j = 2*k - 1317. Is j prime?
False
Let d be -3 + 4/2 + -1. Is (-114)/d*(-2)/(-6) prime?
True
Is 2*373*(-8)/(-16) a composite number?
False
Let q = -623 + 946. Is q a composite number?
True
Let p(r) = -r + 1. Let v(d) = -6*d - 7. Let u(n) = -2*p(n) + v(n). Is u(-7) prime?
True
Suppose -2*l + 3*l = 115. Suppose 0 = 5*s - 2*z - l, 0*s + 5*s = -2*z + 115. Is s a prime number?
True
Suppose -2*z + 6*y + 510 = y, 0 = -4*z + 3*y + 1048. Is z a composite number?
True
Suppose -3*n - 2*j + 33 = 0, 0*n + j + 68 = 5*n. Let h = 44 - n. Is h a composite number?
False
Let p(t) = t - 3. Let r be p(6). Suppose h + r*g - 16 = -0*g, 4*h - 42 = -g. Is h a prime number?
False
Let b(v) = 4*v**2 + 159*v**3 - 6*v**2 + 1 - 2 + 2. Is b(1) composite?
True
Let o = 5 - 3. Suppose 0*j + 14 = -o*j. Is (j/2)/(1/(-2)) a prime number?
True
Let b(d) = 37*d**2 - d - 1. Is b(-2) a composite number?
False
Suppose 4*x + 4*u - 60 = -0*x, -u = 2*x - 26. Suppose x*a - y = 6*a - 7, 3*a + 9 = -y. Let i(k) = -5*k**3 - 2*k**2 - 2*k + 1. Is i(a) prime?
True
Let m(r) = -21*r + 1. Is m(-6) composite?
False
Suppose -748 = -5*q - 2*g, 4*g = 4*q - 453 - 151. Let p = 67 - 134. Let k = q + p. Is k prime?
True
Let f(u) = 62*u**3 - u**2 + 3*u - 1. Is f(2) a prime number?
False
Suppose -2*j - 2*j = -8. Suppose -5*n + 2*i = -874, 2*n - j*i - 308 - 38 = 0. Is n/3 - 3/(-9) prime?
True
Suppose 0 = 2*c + 2*c. Suppose -2*j = -c*j - 14. Is j a composite number?
False
Let m(j) = -225*j - 2. Let q be m(-1). Suppose 3*c - q = 3*l + l, 4*c = -3*l + 314. Is c a composite number?
True
Let x be ((-92)/12)/(2/(-6)). Let p = 2 + -4. Let u = p + x. Is u a prime number?
False
Let w(x) be the second derivative of 1/20*x**5 + 0 + 1/2*x**4 - 3*x**2 - x + 1/2*x**3. Is w(-5) composite?
True
Let k(f) = -f**2 + f. Let n be k(2). Let q(t) = 18*t**2 + 3*t + 2. Let h be q(n). Suppose -6*x + 5*x - 84 = -4*c, h = 4*c - 5*x. Is c composite?
True
Let b = 868 + 283. Is b a prime number?
True
Is (-12724)/(-8) - (-9)/(-6) prime?
False
Let s(r) = -59*r**3 - 1 + 0*r + 0 + r**2 + 2 + 2*r. Let a be s(-1). Suppose x - 3*n + a = 3*x, -4*x + 128 = 4*n. Is x prime?
True
Let z(a) be the first derivative of 4*a**3/3 - 5*a**2/2 - a - 7. Let u(b) = 2*b**2 - 3*b - 3. Let l be u(3). Is z(l) composite?
False
Suppose -3*l + 457 = -4*y, -y + 3*y + 467 = 3*l. Is l a prime number?
False
Suppose 0 = -5*x - 10, -5*x + 0*x = 3*p - 14. Let l be -3 + (0 - -1) - p. Is (42/l)/(5/(-25)) prime?
False
Suppose 3*o + 5*h = 2019, 0 = 4*o + 2*h - 2296 - 396. Is o composite?
False
Let z = 977 + -276. Is z a prime number?
True
Let n(h) = -h**2 - 9*h. Let a be n(-9). Let c be -4 - (a + 2 + -1). Let x = 1 - c. Is x prime?
False
Suppose 3*n - 635 = -2*n. Is n prime?
True
Suppose 5*a + 14 = 4, 0 = -2*i + 2*a + 12. Suppose 3*l - w - 83 = 0, -2*l + i*w + 18 = -24. Let o = -10 + l. Is o a prime number?
True
Suppose 0 = -5*w - 4*v + 259, 0 = -3*w - 2*v + 7*v + 148. Suppose -5*z - 5*l = -155, 12 = -z + l + w. Is z prime?
False
Let b(f) be the second derivative of f**3/6 - f**2 - 2*f. Let t be b(4). Is (-710)/(-14) - t/(-7) composite?
True
Let z = 2 - 3. Is (-637)/14*(z - 1) prime?
False
Let w be (-1*(2 - 7))/1. Suppose w*c = 2*c + 12. Suppose c*k - 165 = 143. Is k prime?
False
Let d = 9200 + -3609. Is d composite?
False
Suppose u = 111 - 14. Let m = u + -51. Is m a prime number?
False
Let v = 0 + -1. Let g be 12 - 6/(v + 4). Suppose 5*m + 4*c - 137 = 0, 5*c + g = -0*m + m. Is m a composite number?
True
Suppose 3*l = -2*h + 135, -2*l - 206 = -5*h + 141. Is h composite?
True
Let c = 9 - 4. Suppose 2 = 3*j + 5*x, -j - 2*j + c*x + 22 = 0. Is j composite?
True
Let u be (-2)/(-8) - (-22)/8. Suppose -2*x + 34 = u*i, -2*i - 3*i - 3*x = -57. Is (-1250)/(-14) - i/42 a prime number?
True
Is (-2058)/(-8) + 0 + 2/(-8) a prime number?
True
Let x(h) = h + 381. Let w be 0*-2*(-2)/(-8). Is x(w) a prime number?
False
Let l(d) = 4*d**2 - 4*d + 2. Let c be l(2). Suppose 0 = -4*q - 5*i + 81, -4*i - 61 = -4*q + 47. Let u = q - c. Is u prime?
False
Let g be 0 + 3 - (-8)/(-2). Let k = -10 - g. Let f(n) = -n**3 - 9*n**2 - 4*n - 5. Is f(k) composite?
False
Let o(w) = 137*w + 13. Let c(n) = n**3 - 2*n**2 + 3*n. Let a be c(2). Is o(a) prime?
False
Let z be -4 - -1 - 1*-3. Suppose 15 = 3*n - z*n. Suppose -5*h = 2*m - 11, -5*m - n*h + 10 = -10*h. Is m compo