h be (-3170)/(-8) - (-2)/(-8). Suppose 131 - h = -5*l. Is l prime?
True
Suppose 6*p - p - 75 = 0. Let t = p + -43. Is 1/(2/t*-2) a composite number?
False
Let s be 4/6 + (-30)/(-9). Suppose -z + 465 = s*z. Is z a composite number?
True
Suppose 4*v = -p - 0*v + 5, 2*v = -3*p + 15. Suppose -239 = -5*q - p*s - 4, 0 = 3*q + 2*s - 141. Is q a composite number?
False
Suppose -1732 = -6*z + 4130. Is z a composite number?
False
Let y = 866 + -434. Let u = y + -115. Is u a composite number?
False
Suppose -1890 = -k + u, 0*u - 1891 = -k + 2*u. Is k a composite number?
False
Let k be (6/((-2)/1))/1. Is (-26 + k)/(-1) + -3 a prime number?
False
Suppose 6*v - 8*v + 886 = 0. Is v prime?
True
Let i = 1 - -6. Suppose -3*n - 296 = -i*n. Is n prime?
False
Let d = 5938 + -665. Is d a prime number?
True
Let k = 376 + -41. Is k prime?
False
Let m = 1796 + -709. Is m a prime number?
True
Let p(d) = 982*d**3 - 3*d + 5. Is p(2) a composite number?
True
Is (-6 - 1)/(2/(-6)) prime?
False
Suppose -5*u - 4*l + 34 = 0, -l = -2*u + 4 + 7. Is u/9 + 710/6 prime?
False
Is (16/(-6))/(20/(-30)) a composite number?
True
Let h = -1 - -3. Suppose -3*u = -4*u + h. Suppose -k - 397 = -5*m - u*k, -4*m + 3*k + 310 = 0. Is m composite?
False
Let z(j) = 14*j**3 - 2*j**2 + 6*j - 5. Is z(3) composite?
False
Let c be 4252/20 + (-3)/5. Suppose c = -v - 3*v. Let m = -19 - v. Is m prime?
False
Let s = -288 - -195. Let m be -2*9/6*(-474)/(-9). Let c = s - m. Is c composite?
True
Let q = 8 + -14. Is (-3)/q*34 - -2 a prime number?
True
Suppose 5*w = 261 + 239. Let i = -11 + w. Is i prime?
True
Let l be (4/10)/((-1)/(-5)). Suppose -4*r + 0*r - 3*s = -8, -10 = -5*r + l*s. Is (r - 5)*74/(-3) composite?
True
Let x(l) = 2 - 2 + 107*l + 2. Is x(3) composite?
True
Suppose -4*f - 5*z = 0, -2*f - 4*z = -2*z - 2. Suppose -5*k = 5*j - 15, 2*k - 2*j + 15 = f. Is -6*(1 + k + -1) prime?
False
Let o(z) = -z + 8. Let n be o(6). Suppose 4*v + 6*j - j - 349 = 0, -3*v + 260 = n*j. Let y = 151 - v. Is y a prime number?
False
Let o be (3/9)/(2/(-1158)). Let p = o - -320. Is p prime?
True
Let d(z) = z**2 - 8*z + 9. Let k be d(7). Suppose -k*a + 2 + 50 = 0. Is a prime?
False
Let o(r) = -r**3 + 5*r**2 + 7*r + 1. Let f be o(6). Suppose 3*t = -6, 2*t - f*t = 4*j + 310. Let l = j + 122. Is l composite?
False
Let d = -25 - -23. Is (-67)/d - 11/22 a prime number?
False
Let r(h) = -h**3 - 7*h**2 - h - 5. Is r(-8) a composite number?
False
Let j(g) be the third derivative of -7*g**4/12 + g**3/2 + 3*g**2. Is j(-11) prime?
True
Let p(w) = -w**2 + 5*w + 6. Let m be p(6). Let i = m + 2. Is -2*286/(-8)*i prime?
False
Suppose 5*c - 7 = -l, -1 = c - 2*l + l. Let o be -12*(-3*c - -1). Suppose 4*i - d = o, -7*i + 3*i - d = -32. Is i prime?
True
Let j = -106 + 61. Let f = j - -78. Is f composite?
True
Let y be -2*(-3)/(-2 - 4). Is -2 + (y - -131 - 1) a prime number?
True
Let f be 592*-1*4/(-8). Suppose -10*m + 6*m + f = 0. Is m a prime number?
False
Let d(w) = -w - 5. Let l be d(-8). Suppose -y - 4*n - 58 = 0, -2*n - 17 - 107 = l*y. Let s = 85 + y. Is s a composite number?
False
Suppose 0 = 9*d - 5*d + 3380. Let i = -528 - d. Is i a prime number?
True
Suppose 2*v = -b + 27, 0 = 2*v + 2*b - 3*b - 33. Suppose k + 4*k = v, 0 = 2*t + 5*k - 517. Is t a composite number?
False
Is (2/2)/(-3*(-4)/51252) prime?
True
Let q(k) be the third derivative of -k**5/60 + 3*k**4/8 - k**3/6 - 4*k**2. Is q(7) a composite number?
False
Suppose 4 = -4*a + 5*a. Suppose -5*j + a*j = -31. Is j a prime number?
True
Suppose -2*i - 1254 = -2*p, 2*i + 2472 = 4*p + 7*i. Is p a composite number?
True
Is 1977/6 + (-4)/8 a composite number?
True
Is 1814/(-3)*21/(-14) a composite number?
False
Let d = -361 + 933. Suppose 5*m - m - d = 0. Is m a composite number?
True
Let q(p) = -p + 13. Let g be q(10). Is 224/24*g/2 prime?
False
Is (1/3)/(3 + (-1340)/447) prime?
True
Let r(q) = 18*q - 2. Let i be (1 + 2)*(0 + 1). Let f be r(i). Is (1/(-2))/((-1)/f) prime?
False
Suppose -3*q = -4*w - 1052, -3*q - 350 = 2*w - 1390. Suppose 5 = -0*d - 5*d, q = 2*r + 2*d. Suppose -6*i + r = -i. Is i prime?
False
Is (0 - (3 + -5)) + 51 composite?
False
Let m(w) = w**3 - 3*w**2 - 7*w - 7. Is m(6) composite?
False
Let d be (-11)/44 - 1*2/(-8). Let w = 173 + -97. Suppose -3*f + f + w = d. Is f a prime number?
False
Is 31215/20 - 1/(-4) a prime number?
False
Let c be ((-8)/(-6))/(4/6). Let h be 0 - -4*(c - 1). Suppose h*x - 3*g = 200, 2*x + g = -g + 114. Is x a composite number?
False
Suppose -2*k = -1653 - 313. Is k composite?
False
Suppose -13*c = -8*c. Suppose -5*x + 3607 = -2*g - 0*g, 3*x + 4*g - 2159 = c. Is x composite?
True
Let y(q) = 8*q**2 - 2*q - 3. Let j = -4 - -2. Is y(j) composite?
True
Suppose -5*l + 2*m + 33 = -25, -5*l + 70 = -5*m. Suppose -o + 40 = l. Suppose 0 = 4*n + o - 106. Is n a composite number?
False
Let b be 6/(-16)*-2*4. Suppose -2*r = 5 - 15. Suppose -2*f + 5*f + 4*s = -7, r*f + b*s = 3. Is f prime?
True
Let a be ((-56)/35)/((-2)/295). Suppose -4*i + a = -0*i. Is i prime?
True
Is -1 + 5314 + (-5 - -10) + -1 composite?
True
Suppose 0 = 3*c - 9, -5*q + 5*c + 13 = c. Suppose 3*m + h - 6 = -0*h, -2*m + 21 = -q*h. Is m a composite number?
False
Let q(w) = -2*w**3 - 3*w**2 + 4*w + 6. Is q(-5) composite?
True
Let k(v) = -3 + 2*v + 4 + 0 + 4*v**2 + v**2. Is k(-1) a prime number?
False
Let o be 34/(-4) - 4/(-8). Let v(w) = w**3 + 8*w**2 - 9*w - 7. Is v(o) a prime number?
False
Suppose -4*g + 5*v + 9 = 0, 0*v + 30 = 3*g + 4*v. Let m be (138/4)/(3/6). Is -1*-10*m/g a prime number?
False
Let n(o) be the second derivative of -7*o**5/10 + o**4/4 - 2*o**3/3 - o**2 + 7*o. Is n(-3) composite?
True
Let s(j) = -j**3 + 7*j**2 - j + 4. Let w be s(5). Suppose -3*b + 441 = 2*v, -2*b - 3*v = -w - 240. Is b a prime number?
True
Is 4 - (-285)/(1/1) prime?
False
Suppose -2*m + 0*m = 8. Let c be m/(-6) + 62/6. Is (-40)/5*c/(-4) prime?
False
Suppose -2 = 4*i + 10. Is ((-2)/i)/(2/33) composite?
False
Let u(h) = h**3 - 3*h**2 - 2*h - 3. Is u(5) a prime number?
True
Let x be -4 + 10 - 2/1. Suppose -5*l + 481 = 5*c + 1, -5 = 5*l. Suppose -d = 3*z - c, 151 = x*z - 0*z - 3*d. Is z a composite number?
True
Suppose -4*x = x + 4*m - 43, 2*x - 4*m = 34. Is x a prime number?
True
Suppose 2*l + 4*q + 3 = -1, -10 = 2*l + q. Let k be 4/l - (-17)/3. Suppose 3*u = -k*p + 7*u + 19, 2 = -p - 5*u. Is p a composite number?
False
Suppose 0 = 2*d + 2*d - 708. Is d a composite number?
True
Let d(a) = 245*a + 4. Is d(3) composite?
False
Suppose -6*z + 4*z = 0. Suppose 3*h - 5*b - 415 = 0, 2*h + b - 248 - 46 = z. Is h a composite number?
True
Let g(p) = 3*p**3 + p**2 - 5*p - 2. Let a(w) = -2*w**3 - 2*w**2 + 5*w + 3. Let l(z) = -3*a(z) - 4*g(z). Is l(-4) prime?
False
Let k = 1570 + -1113. Is k composite?
False
Suppose 1 + 5 = 3*j. Suppose 276 = 5*r + h - j*h, -4*h = r - 51. Is r prime?
False
Let l be ((-630)/49)/((-1)/7). Suppose -l = -2*x + 308. Let q = -54 + x. Is q composite?
True
Let l be (0 - -6)*(-1)/(-2). Let r(g) = -g**l - g - 7*g + 4*g**2 - 9 - 12*g**2. Is r(-8) composite?
True
Let z(r) = -13*r**3 - 8*r**2 + 2*r + 24. Is z(-5) a composite number?
False
Let z = 3 - 0. Let k = 5 - z. Let a = 19 + k. Is a a prime number?
False
Let x(z) = -8*z + 4. Let r(k) = k. Let h(o) = 5*r(o) + x(o). Is h(-9) a composite number?
False
Is 1 + (-1 - 1) - -80 prime?
True
Let g = -3 - -3. Suppose 0 = -g*b - b + 4. Suppose -60 = -4*z + b*m, -3*z + 5 = m - 24. Is z composite?
False
Let h(a) = a - 1. Let v be h(1). Let c = v - -4. Is 147/c + (-4)/(-16) a prime number?
True
Suppose v = -2*v + 597. Is v prime?
True
Suppose 13 = 5*r + 3. Let a be 2 + (1 - 3) + r. Is (0 - (0 + a)) + 25 prime?
True
Let m = -27 + -2. Let d = m + 78. Is d prime?
False
Suppose -3*m = 3*n - 435, -2*n = -0*m - 3*m - 290. Is n composite?
True
Let l = -57 + 2. Let r = l - -25. Let j = r - -44. Is j a prime number?
False
Let s = 1480 - -153. Is s a prime number?
False
Let m be (-2)/1 + 8/(-2). Let x = 100 + m. Is x a prime number?
False
Suppose -r = 2*r - 9. Suppose 2*b = r*b - 103. Is b composite?
False
Is (-2 + 3 + 765/(-12))*-4 composite?
False
Let f(g) = 38*g + 9. Let p(u) = -57*u - 14. Let s(q) = -7*f(q) - 5*p(q). Suppose -2*z = -8 - 4. Is s(z) prime?
False
Let v be 5/2 - 4/8. Let m be 43/9 - v/(-9). Suppose -2*c + 22 = -3*j, 0 = 3*c - 2*c - m*j - 4. Is c 