ose -r*o + 36 + 74 = 0. Is o composite?
True
Suppose 0 = 2*v + 3*x - 34, x + 0*x = -v + 19. Suppose -4*s + 13 = -3*d, 5*s + 2*d = -d + v. Suppose -3*f + 1125 = -s*r, -754 = -2*f - 0*f + 4*r. Is f prime?
False
Let j(f) = 371*f - 869. Is j(8) a prime number?
True
Let w(t) = -2*t - 2. Let v be w(1). Let h be v/16 + (-1743)/(-12). Let f = h - -40. Is f a composite number?
True
Suppose -3*u = -4*w - 9, -12 = 2*w + w - 4*u. Suppose w = 2*q - 69 - 61. Let g = q + -40. Is g a composite number?
True
Let f(o) = o**3 - 4*o**2 + 2*o - 6. Let z be f(4). Suppose -z*y + 4*y - 4 = 0. Suppose y*a = a + 37. Is a prime?
True
Is (37055/4)/(6 - (-23)/(-4)) prime?
False
Let c = -9 + 24. Suppose 4*x + c = 3. Let a = x + 46. Is a composite?
False
Suppose -34 = -30*a + 28*a. Suppose 3*i + a = 1082. Is i a prime number?
False
Let g = 22032 - 12601. Is g composite?
False
Suppose -67*j + 90*j - 17089 = 0. Is j a prime number?
True
Suppose -3*x + 6 = -3. Let h(p) = -2 + 3*p + x*p + 13*p. Is h(3) a prime number?
False
Suppose -5925 + 227 = -5*b - 4*a, -4*b + 2*a + 4574 = 0. Is b composite?
True
Let d = 42446 - 25789. Is d a composite number?
False
Let b = 2589 + 20. Is b a prime number?
True
Let p be -1 - 1 - 4/4. Let s be 15/5*(2 + p). Is s + (3 - 0 - -319) a prime number?
False
Suppose 7071 + 551 = q. Suppose 6*r - q = 4132. Is r composite?
True
Is (185/74)/(1/2) + 3953 composite?
True
Suppose -25665 = -8*k + 3*k. Suppose 0 = 5*z + 5*i - 6450, -4*i + 1315 + k = 5*z. Suppose 3*s = 4*b - z, -5*s + 949 = 3*b - 3*s. Is b a prime number?
False
Let l be 513/39 - (-2)/(-13). Suppose 77 = 5*a - l. Is 4/(-18) + 7150/a a prime number?
True
Let z = -47 + 72. Suppose 0 = 29*g - z*g - 3356. Is g prime?
True
Suppose 3*y - 5*x = 3611, -17*x + 14*x + 6041 = 5*y. Is y prime?
False
Suppose 2*v - 6*v = -12. Let s = 968 - 678. Suppose -v*n = y - s, -y - 139 = -n - 441. Is y a composite number?
True
Let y be 5/3*(-11 - -5). Let g(a) = -136*a + 49. Is g(y) a prime number?
True
Let g(k) = 706*k + 85. Is g(9) prime?
False
Let c = 85606 - 32519. Is c a prime number?
True
Suppose -2*i - 20 + 92 = -4*d, 4*i = 4*d + 68. Let z = 24 + d. Suppose f + 14 = r + z*f, 0 = 3*r + f - 64. Is r prime?
False
Suppose 0*o = o - 2*p, -p + 18 = 4*o. Suppose 5*t = 3*k - 286, -o*k - 2*t = -k - 293. Is k a composite number?
False
Let x(h) = 8074*h + 69. Is x(2) composite?
False
Let b(z) = -2*z**3 - 15*z**2 + 5*z - 145. Is b(-27) a composite number?
False
Let m = -1628 - 304. Let k = -859 - m. Is k composite?
True
Let w(p) = -p + 3. Let q be w(4). Let f be (q - 0)/(6/(-12)). Suppose -u + 119 = -f*x, u - 2*u + 3*x + 119 = 0. Is u prime?
False
Let r = 13582 + 21771. Is r prime?
True
Let p(a) = 2*a - 5*a + a**2 - 1 + 3*a. Let o be p(3). Suppose 0 = -v - 2*g + 40, o*g + 15 = 3*g. Is v composite?
True
Let b(c) = c**3 - 16*c**2 + 16*c - 15. Let d be b(15). Suppose x + 19 - 1010 = d. Is x prime?
True
Let f = 145 + -203. Let t(r) = r**3 + 4*r**2 + 2*r + 4. Let k be t(-3). Let i = k - f. Is i a prime number?
False
Let l = 2017 + 3130. Is l a prime number?
True
Let c be (1 + -21)*(-4)/16. Let p be (-3 - 5/c)/(-1). Suppose p*i - 580 = -240. Is i a composite number?
True
Suppose -4*n = -5*c + 64, 3*n + 2*c = -c - 48. Let w = n + 20. Suppose w*p = 298 + 58. Is p a prime number?
True
Is -2*(61437/(-2) + -2) a composite number?
False
Let z(f) = 19*f + 19. Let n(v) = -38*v - 37. Let y(x) = -4*n(x) - 9*z(x). Let w be y(-7). Suppose 2*j + 0*j - w = 0. Is j a prime number?
False
Suppose 4*p - 5597 = -3*t, 4*p - 6970 = -p + 5*t. Is p composite?
True
Suppose 0 = 5*i + 75. Let r = i - -71. Suppose -5*q + 121 = a, a = -2*q + 65 + r. Is a a prime number?
False
Suppose 5*a = a - 20. Let l(w) = -2*w**3 - 3*w**2 - 5*w + 11. Is l(a) prime?
True
Let b be ((-1 - 0) + 0)*(3 + -2). Is -1 - (-1 + -1) - (b + -1137) a composite number?
True
Is (-474)/(-15)*(-70)/(-14) composite?
True
Let f = -5 + 8. Let v be 154 - 0*f/(-6). Is 10/(7/(v/4)) a prime number?
False
Is (10744/16 - -10)*2 prime?
False
Let l(i) = -6 + 2 + 17*i - 2*i. Is l(13) a prime number?
True
Let b(l) = l**3 - 2*l**2 + 14*l - 7. Is b(6) composite?
True
Let s = -28554 + 60661. Is s prime?
False
Suppose i - 7 = 2*v + 10, 0 = 3*v + 3*i + 39. Let p be (-11 - v)/((-1)/71). Suppose 4*y - 350 = m, -y = 2*m - 12 - p. Is y a composite number?
True
Is 1/(-3) - ((-16340)/15 + 2) a prime number?
True
Let f(b) = -b**3 + 3*b**2. Let h be f(3). Suppose -g - v = -h*v - 45, 4*v + 55 = g. Is g a prime number?
True
Let k(y) = 163*y - 15. Let i be k(3). Suppose 0*x - x - m + i = 0, 0 = x + 5*m - 478. Is x a prime number?
False
Let y(h) = 5*h - 4*h**3 - 2*h**2 - 4 + 0*h + 3*h**3 + 2. Let p be y(2). Let l(g) = -57*g - 5. Is l(p) prime?
False
Let o(t) = -5*t**2 + 8*t + 16. Let d be o(-3). Let u = d - -258. Is u a prime number?
False
Let n = 191 - -1076. Is n prime?
False
Suppose f = -3*b + 7 + 3, 2*f - 5*b = -2. Suppose -f*t + 0*i + 4047 = -i, 4*i + 12 = 0. Is t composite?
True
Let i(r) = 77*r**3 + 3*r**2 - 2*r - 2. Let p be i(3). Suppose q + 4*d = -710, -d + 5*d = 3*q + p. Let z = -443 - q. Is z a prime number?
False
Let f = -2684 - -5131. Is f composite?
False
Is 9 + -16 + -4 - -18850 a prime number?
True
Suppose -14*f + 11*f = -6. Is (4 - (-2 - 29)) + 1 + f a prime number?
False
Let h(y) = 12 - 19 - 2*y - 17 + 7*y. Is h(11) a composite number?
False
Suppose -2*b + 12*b = 16020. Let p = 847 + b. Is p a composite number?
True
Suppose 1128 = -l + d, -5*l + 393 = -4*d + 6030. Let k = l + 2044. Is k a composite number?
False
Let w be 0 + 0 + 1 + -1. Suppose w = -d - m + 3, -2 + 8 = 2*d - 2*m. Suppose v + 388 = d*v. Is v a composite number?
True
Suppose -2*x = -2*x + 8*x. Suppose -z + 2*z = 5. Suppose z = -y - x, -5*t + 1840 = -3*y. Is t a composite number?
True
Let w(d) = -26*d - 1. Let a = 11 - 2. Let o = a + -18. Is w(o) composite?
False
Let t = -9 - -14. Suppose -t*k = -15 - 0. Is 94/k - 19/57 composite?
False
Let u(k) = k**3 + 18*k**2 + 7*k + 13. Is u(-13) a prime number?
False
Let n = -29 + 33. Suppose 3*i - n*i = -409. Is i composite?
False
Suppose 82095 = 3*s + 3*z, -3*s + 61138 = -3*z - 20933. Is s prime?
True
Suppose -696456 = -10*l - 203786. Is l a composite number?
True
Let p = 7 - 12. Let l(j) = 6*j**2 - 18*j + 24. Let x(i) = -5*i**2 + 17*i - 23. Let n(c) = p*x(c) - 4*l(c). Is n(15) prime?
False
Is (60648/(-9))/(-8) - (-2)/(-6) a prime number?
False
Let t = -138 - -139. Is (-2*29)/t*(-88)/16 a composite number?
True
Let r = -16 - -19. Suppose 92 = 4*w + 4*z - 20, -94 = -r*w - z. Is w a prime number?
False
Suppose -4*c - i = 2, c + 2*i - 2 + 6 = 0. Suppose c = -9*v + 8*v - 8. Let k = v - -27. Is k prime?
True
Let x be (1 + 2/(-3))*3. Let p = x - -2. Suppose -4*c + c = -p*j - 126, 0 = -4*c - 2*j + 198. Is c a prime number?
True
Is (9/(-9))/(12249/(-6123) - -2) composite?
True
Let c be (264/(-20) - -6)/(4/(-750)). Is (5 + c - 2) + -2 composite?
True
Let l = -2903 - -4944. Is l prime?
False
Let d(w) = -2*w + 9. Let p be d(9). Let q be 15*2*15/p. Let c = 99 - q. Is c a composite number?
False
Let b(h) = -h**2 - 6*h - 6. Let x be b(-3). Suppose -x*j = -2*j - 1253. Is j prime?
False
Let g(b) = -6*b. Let w = 4 + -10. Let a be g(w). Suppose a = 2*m - 58. Is m a composite number?
False
Let h be 27/3*(-1)/(-3). Let l(a) = -5*a**3 - 30*a**2 + 36*a - 50. Let r(b) = 2*b**3 + 10*b**2 - 12*b + 17. Let s(n) = h*l(n) + 8*r(n). Is s(9) prime?
True
Suppose -933018 = -52*p + 6*p. Is p a prime number?
False
Suppose -2*r = -11*r + 18. Is (r - 1)*(-179)/3*-3 composite?
False
Let t(f) = f**2 + 4*f - 20. Let p be t(-9). Let d = -22 + p. Suppose u + 632 = 3*m - 6857, -7481 = -d*m - u. Is m a composite number?
True
Let s = -30 + 46. Suppose -5*g = -3*m - 6 - 15, 5*m = 2*g - s. Let x = 1 - m. Is x a prime number?
True
Suppose -3*d - 5*r = -0*d - 13, 0 = -2*d - 3*r + 8. Let x(z) = -27*z**2 - 3*z + 2. Let g be x(d). Let t = g - -110. Is t a composite number?
True
Let n(m) = 6 - 3*m - 16*m**2 + 18*m**2 - 3*m. Let u be n(3). Is (-44 + -2)*(-15)/u composite?
True
Suppose -r + 7439 = -0*r - 3*x, -5*r + 37155 = -5*x. Is r composite?
True
Let v(t) = 1192*t**3 + t - 3. Let j be v(2). Is 0 + -2 + j + 0 a composite number?
False
Let a = -3562 + 1970. Let b be (-3)/(-4 - 6356/a). Suppose 4*j + d = 3*d + b, 5*d + 25 = 0. Is j prime?
True