 be -5 + 3 - (0 - 0). Let h be (-3)/(-12) - j/(-8). Suppose h = 5*t - 57 + 7. Is t a composite number?
True
Let r(c) = c - 2. Let m be r(5). Suppose -m*x - 398 + 971 = 0. Is x prime?
True
Let k(z) = -2*z**3 - 15*z**2 + 11*z - 25. Is k(-11) prime?
True
Let o be (-2)/(-2 + 3/2). Suppose -4*d - 2*i + 1010 = 0, o*i + i = -d + 266. Is d prime?
True
Suppose 5*f - 69 = -l + 62, 4*f = -l + 105. Suppose 0 = v - 5 + f. Is -2*1 - -4 - v a prime number?
True
Let t(b) be the second derivative of 2*b**3/3 - b**2 - 2*b. Let u be t(-4). Let k = u - -55. Is k prime?
True
Let w(t) = -t + 5. Let u = 6 + -2. Let a be w(u). Is (a - 0)/(2/30) composite?
True
Suppose 0 = 5*g - g + 56. Let h(o) = -o**3 - 15*o**2 - 21*o - 13. Is h(g) prime?
False
Let t(r) = -r**3 + 7*r**2 + 3*r - 4. Let b be t(7). Let m = 40 - b. Is m a composite number?
False
Let b be (-1)/(-3) + (-3496)/(-24). Suppose u - 2*u = -b. Is u prime?
False
Let f = -7 + 10. Is (-2)/3 + 23/f prime?
True
Let s = 7 - -5. Is 99/s*(0 - -4) a composite number?
True
Let i(t) = -3*t + 0*t**2 - t**2 + 1 - 4. Let l be i(-2). Is l/4 - 1194/(-8) a prime number?
True
Let n(h) = -h**2 + 9*h - 12. Let s be n(8). Let k be 13/5 - s/10. Is (k - (-2 - -6))*-31 a composite number?
False
Let s(c) = -c**2 - 4*c + 5. Let d be (1*-5)/(7 + -6). Let o be s(d). Is -2*((-53)/2 + o) a prime number?
True
Suppose 3*j - 3*y = 6873, 4*j + 2*y - 6089 = 3051. Is j a composite number?
False
Suppose -3*u = -8*u + 3*q + 433, 4*q = 2*u - 176. Let k = 58 - u. Let o = k + 43. Is o prime?
False
Suppose 3*r + 17 = -1. Is -103*(r/(-2))/(-3) a prime number?
True
Let x be 6/(-21) + 26/(-7). Is 1*x/(4/(-59)) composite?
False
Let h be (5 - 1) + 1 - 1. Suppose 7 = 4*i - 4*s + 31, -4*i = 3*s - h. Is (14 + -1 + i)/1 composite?
False
Suppose 2*y = 5*z - 16, 3*y - 6 = 2*y - z. Suppose 2 = y*j - 10. Let m(w) = 2*w**2 - 8*w + 1. Is m(j) composite?
True
Let b be 1 - (-2 - -194)/(-2). Is (2*b)/(-5 - -7) a prime number?
True
Let x be (8/6)/(2/(-6)). Let k = -4 - x. Suppose -m - 2*r + 31 = k, -4*r = -5*m + 241 - 58. Is m a composite number?
True
Let d be ((-1034)/4 + 0)*2. Let k = d + 824. Is k a prime number?
True
Let w = 105 + -52. Suppose -9 = -2*s + w. Is s a prime number?
True
Let o be 4 + 2/(-2) + -1. Suppose 4*y - o*n - 288 = 0, -26 = 2*y - 4*n - 158. Suppose -28 = -2*b + 2*u, 0*b + u + y = 5*b. Is b prime?
False
Let h(g) = 42*g + 58. Is h(4) prime?
False
Let w = -258 + 642. Suppose -459 - 2086 = -5*n. Suppose 3*j = -3*m - 0*m + w, 4*j = -m + n. Is j a prime number?
True
Let q(n) be the first derivative of n**4/2 + n**3/3 - n**2 + n - 1. Let t be -24 - -29 - (0 - -4). Is q(t) a prime number?
True
Let k(i) = 3*i**2 + 17*i - 7. Is k(12) a prime number?
False
Suppose k + 4*k - 15 = o, 5*k = 5*o + 15. Suppose 0*m - k = 3*m, -2*q + 408 = -2*m. Is q a prime number?
False
Let o be (4/6)/(2/(-18)). Let f(z) = -45*z + 7. Is f(o) a composite number?
False
Let m = 19 - -8. Suppose -t = -11 - m. Is t a composite number?
True
Suppose 4*k = 5*z - 32 + 11, 5 = z - k. Is (z/2)/((-8)/(-592)) prime?
True
Let p = -23 + -338. Let a = p - -510. Let v = a - 84. Is v composite?
True
Let j be ((-6)/2)/((-3)/2). Suppose -r + 4 = 0, 5*n + 7*r = j*r + 3615. Is n prime?
True
Suppose 2*u - 3*u - 2152 = -n, 0 = n - 5*u - 2164. Is n prime?
False
Suppose -5*l - 3*h + 146 = 0, -3*l = 4*h - 0*h - 81. Is l a composite number?
False
Let y(o) = 4 + 31*o**3 - 7 - 2*o + 6*o. Is y(2) a prime number?
False
Let x = 27 - -325. Suppose 2*l + 0*l - 3*d = x, -2*d - 175 = -l. Is l a composite number?
False
Suppose -2*o = -4*z + 6, -2*z + 5 = 5*o - 16. Suppose -4*g - g - 182 = -2*b, 273 = o*b + g. Is b a composite number?
True
Let g = 10 + 12. Is g composite?
True
Is (-51681)/(-49) + (-4)/(-14) prime?
False
Is ((-1)/4)/(1/(-11))*236 composite?
True
Suppose 0 = v - 461 - 710. Is v a prime number?
True
Let s = -6 - -3. Is ((-7)/3)/(s/27) composite?
True
Suppose -13 = y - 80. Is y a composite number?
False
Let z(y) = 221*y**2 - 1. Let w be z(1). Let u be -2*3/6 + 4. Suppose -b = u*b - w. Is b a composite number?
True
Let l(r) = r**2 - 6*r - 6. Let q be 5 - (-1 + -2 + 2). Let f be l(q). Is (24 - 3)*(-4)/f prime?
False
Suppose 2*h - 6*h = 16. Let j(n) be the third derivative of -3*n**4/8 - 5*n**3/6 - 2*n**2. Is j(h) a composite number?
False
Let y be (3 - 9)*(-2)/3. Suppose -y*h + 6 = 18. Is ((-3)/h - -2) + 0 composite?
False
Let h(p) = -2*p**3 - 5*p**2 + 4*p + 5. Let t(w) = -w**2 - 2*w - 1. Let o be t(-3). Is h(o) prime?
True
Suppose 3*b - 277 - 710 = 0. Is b composite?
True
Suppose 311 = y + 5*d, 4*y - 4*d - 1992 = -796. Is y prime?
False
Let k(d) = -53*d. Is k(-2) prime?
False
Let h = 19 + -61. Let i = h - -19. Let l = i + 54. Is l a composite number?
False
Suppose -2*f - 2 = 4*y, f + 20 = 5*f. Is 492/3 + y + 2 a prime number?
True
Suppose 5*a - 2427 - 688 = 0. Is a a composite number?
True
Let r(l) = l**2 + 2*l + 9. Is r(8) composite?
False
Let i = 557 + -218. Is i prime?
False
Let x = 7 + -9. Is (1 + 0)/(x/(-142)) composite?
False
Is (-1)/((4/(-62))/2) prime?
True
Suppose 0*h - 2 = -h. Suppose -3*x - 2*g + 540 = 3*g, h*g = -6. Is x a prime number?
False
Let i be (-3)/1*(-4)/(-6). Let u = i - -6. Suppose -h + 155 = u*h. Is h a composite number?
False
Let m be 1*(-3)/(0 + -1). Suppose -7*z = m*a - 4*z - 330, 2*z = -6. Is a prime?
True
Suppose -830 + 3619 = u. Is u composite?
False
Let d be (-2 + 2 - 1) + -20. Is (763/d)/((-2)/6) a prime number?
True
Suppose -5*x + 3362 = c, 4*x + 4*c - 2879 = -199. Is x prime?
True
Let i be 93/(-4) - (-3)/(-4). Let r be 12/(-78) + i/13. Is -2*(85/r + 3) composite?
False
Let u = -101 + 339. Suppose -i - 57 + u = 0. Let q = -122 + i. Is q composite?
False
Let o be (-6)/(-15) + 667/(-5). Let q = -86 - o. Is q composite?
False
Let x(l) = l + 1. Let s(t) = 7*t - 2. Let p(y) = s(y) - 5*x(y). Let m be p(6). Suppose m*u - 6 = -a + 20, -4*u = -12. Is a a composite number?
False
Suppose 3*u - v - 107 = 0, -3*u + 5*v + 12 + 79 = 0. Let i(a) = -2*a + 26. Let c be i(6). Suppose n = -c + u. Is n a composite number?
False
Let k(d) = -d**3 + 13*d**2 - d - 4. Is k(9) composite?
False
Let w(q) = -535*q - 15. Is w(-8) a prime number?
False
Suppose 7*g - 2*c - 4085 = 4*g, 3*g = 4*c + 4087. Is g composite?
False
Suppose -2*n = 2*g + 2*n - 114, 2*g - n = 99. Let o(l) = l**2 + 7*l - 11. Let b be o(-8). Is (-2)/b*(g - 0) composite?
True
Suppose -t - 16 = 24. Let f = 75 + t. Is f prime?
False
Suppose -446 = -4*c + 2*c. Is c prime?
True
Let f(q) = q**3 + q**2 + 7. Is f(6) a composite number?
True
Let l be (4/6)/(-1)*39. Let o = l - -43. Let b = o - 6. Is b a composite number?
False
Let x(a) = -6*a + 1 - 5*a + a. Let n be 4*(2/4)/(-1). Is x(n) composite?
True
Suppose -5*t = d - 13, t - 6 + 1 = -d. Let a be 2 - 0 - (t - 0). Suppose 6 = 2*n - a*n. Is n a prime number?
True
Suppose -4*h = -2*p + 8, 0*p = -p - 3*h - 1. Let j be -1 - (p/(-2))/1. Is (-49)/3*(j + -3) a composite number?
True
Is (-12)/(-18)*3786/4 a composite number?
False
Let d be -11 + 0 - (-14 - -12). Let m(z) be the first derivative of z**3/3 - 2*z - 1. Is m(d) composite?
False
Let v(i) be the third derivative of i**6/120 - 7*i**5/60 + i**4/6 - 11*i**3/6 + 3*i**2. Is v(8) composite?
True
Suppose 600 = 4*k - 628. Is k prime?
True
Suppose -t = 3*t - 436. Is t a prime number?
True
Let u(x) = -x**2 + 18*x - 16. Is u(13) a composite number?
True
Let a(g) = -3*g**3 - g**2 + 3*g + 2. Let s be a(-2). Suppose -4*d - s + 56 = 0. Is d a prime number?
False
Suppose 595 = q + 4*q. Is q prime?
False
Let r(p) = -13*p + 3. Suppose -2*w + k + 40 = -7*w, k = w + 8. Let o(d) = d**2 + 8*d - 4. Let h be o(w). Is r(h) prime?
False
Let b(l) = l**3 - 3*l**2 - 7*l + 3. Let j be b(5). Is (1395/j)/((-2)/(-4)) composite?
True
Suppose -3*n = 97 - 526. Is n composite?
True
Let a(w) = -w + 5. Let f be a(0). Suppose f*c - 5*p = 375, -4*p - 2 = -10. Is c prime?
False
Suppose 5*j = 5*w - 540, 5*w - 6*j + 11*j - 550 = 0. Is w a composite number?
False
Suppose 5*g - k = 1050, 3*g - 4*k = -2*g + 1035. Is g prime?
True
Suppose 16 = -4*b + 152. Suppose -b = -5*v + 4*v. Is v a composite number?
True
Let b = -306 - -433. Is b a composite number?
False
Suppose -t = -3*t + 1210. Let c = t + -196. Is c a prime number?
True
Let g(f) = f**2 - 3*f - 2. Let i be g(4). Suppose -i*