Let a = y - -11. Is a a prime number?
True
Suppose 4*u + 74837 = 15*q - 10*q, 2*q - 2*u - 29934 = 0. Is q a composite number?
False
Let t be -4 + -1 + 2 + 2. Let z be (10/t)/((-10)/5). Suppose -10*s + 275 = -z*s. Is s a prime number?
False
Let u = -32 - -18. Let i(k) = -k - 9. Let p be i(u). Suppose -p*w - 2*c + 295 = 0, 2*w - c = -0*c + 118. Is w a prime number?
True
Let t = 23 - 22. Is 4887/6 - t/(-2) prime?
False
Let y be (-3666)/(-36) - (-2)/12. Suppose -5*v = -20, -2*p = -p - 4*v - y. Let t = p + -21. Is t prime?
True
Suppose 0 = -3*q - 34*q + 380989. Is q a prime number?
False
Let b = 3292 + -2119. Let c = 2254 - b. Is c prime?
False
Is (5288*18)/12 + 5/1 a prime number?
True
Let n be (42/(-8))/((-12)/112). Suppose 0 = 4*b - n + 13. Is (2118/b)/(2/3) a composite number?
False
Let c be -1*(-32)/20*-5. Let o = c + 46. Is o a prime number?
False
Suppose -4*l = -4*f - 2*l + 422, 4*f - l = 427. Suppose 0 = 4*z + 24 - f. Is (-6)/z + 214/14 prime?
False
Let h = 14 + -20. Let p be 29 + h*4/(-8). Suppose -g + 6 + p = 0. Is g prime?
False
Let h(r) = -3*r + 1. Let c be h(7). Is -2*5/(c/6814) a composite number?
False
Let k(p) = -p**2 - 9*p + 3. Let h be k(-9). Suppose -21*o = -h*o - 24318. Is o a prime number?
False
Suppose 2*q = q + 4. Let p be 355*4/(120/54). Suppose -3*b = -q*c - 166 + p, -5*b = -4*c + 471. Is c prime?
False
Suppose 4*u - 98 = -2*q + 32616, 0 = 5*q - 2*u - 81773. Is q a prime number?
False
Suppose j - 4*j = 4*x + 5, j = -2*x - 5. Suppose d - 5*k + 22 = 0, 3*d + j*k = -d + 37. Suppose d*g - 4*g + 251 = 0. Is g a prime number?
True
Let q(v) = 3201*v**2 + 33*v - 4. Is q(5) prime?
False
Let d(x) = 9*x**2 + 2*x - 5. Let l be 1/(42/(-15) - -3). Let t be d(l). Suppose -t = 17*b - 22*b. Is b a composite number?
True
Let x be (-6 + 4)/((-5)/(-20)). Let z(w) = -10*w + 2. Let y be z(-2). Let l = x + y. Is l a composite number?
True
Suppose -4*i = 0, -3 = -0*m - m - 5*i. Suppose -3*x - q + 161 = -m*q, 3*q - 281 = -5*x. Suppose 4*o = 3*b - x - 578, 3*o = -2*b + 422. Is b composite?
False
Let j = -930 - -3775. Is j prime?
False
Suppose -5*u - 5 = 0, -28*u = -2*l - 31*u + 62987. Is l a composite number?
True
Let g(b) = 2555*b**2 - 6*b + 23. Is g(4) a prime number?
True
Let r(i) be the first derivative of 17*i**2 - 4*i - 2. Let v be r(4). Suppose v = 3*j - 9. Is j prime?
True
Is (-154407)/(-15) + 4/20 a composite number?
True
Let r(i) = 4*i - 3*i**2 + 70*i**3 - 3 + 71*i**3 - 6*i**3 - i**2. Is r(2) a composite number?
False
Let x = -24 - -24. Suppose 2 = j - x. Suppose -j*v + 6 = 0, -5*m + 202 = -3*v + 7*v. Is m a composite number?
True
Suppose -5*n - 4*r = -161737, 4*n - 129371 = r + 2*r. Is n prime?
False
Let a be 0 + 2/7 + (-352)/56. Let i(b) = 1 + 12*b**2 - 5*b**2 - 1 + 9 + 7*b. Is i(a) composite?
True
Suppose -3*g - 5*f + 14687 = 0, 57*f - 4869 = -g + 62*f. Is g prime?
True
Suppose -29*f = -34*f + 10. Suppose 3*x + 4*j - 12323 = 0, 7*x + f*j = 4*x + 12319. Is x composite?
True
Let u = 16510 - -2455. Suppose 36*q = 41*q - u. Is q prime?
True
Let b = -3233 - -5482. Suppose 5*o + b = 3*d - 0*o, -2*d + o + 1490 = 0. Is d a composite number?
False
Let i(t) be the second derivative of -2*t**3/3 + 409*t**2/2 + 6*t. Is i(0) prime?
True
Let w(o) = -10*o + 4117. Is w(0) a composite number?
True
Let t(w) be the second derivative of -w**5/20 - 2*w**4/3 + 5*w**3/6 - w**2/2 - w. Let g be 44/(-242) - (-194)/(-22). Is t(g) a composite number?
True
Suppose 0 = -5*c - 3*x - 896, 5*c + 176 = 4*c + x. Let j = c - -1560. Is j prime?
False
Suppose 2*n + 4*c - 8 = 0, 3*n + 8 = -c - 0. Is 300/5 - (1 - n) a prime number?
False
Suppose 0 = -2*v + 12 - 2. Let s(k) = -1 - v - 5 + 21*k + 0. Is s(8) prime?
True
Suppose -48*k + 54*k = 39198. Is k a composite number?
True
Let l be -1*4/(8/(-18)). Let k(v) = -v**3 + 8*v**2 - 7*v + 7. Let c be k(l). Is c/(-15) + (-14)/105 a prime number?
False
Let q = 305 + -311. Let f(p) = -p**3 + 1 + p**2 - 6*p - 6*p**2 + p**2. Is f(q) composite?
False
Let h(x) = x**2 - 5*x + 8. Let j be h(3). Suppose 6 = -m - j. Is (-611)/(-4)*(m - -12) composite?
True
Suppose 3*q - 3098 = 6655. Is q composite?
False
Is (-1 - 21/(-14))*4406 composite?
False
Let t(f) = f**3 + 6*f**2 - f - 8. Let g be t(-6). Let x(l) = -l + 227*l**2 + 1 - 109*l**2 - 111*l**2 + 4*l. Is x(g) prime?
True
Suppose -2913 = 3*b - 393. Let r = b - -1211. Is r a composite number?
True
Let g be (-2)/(-3)*((-780)/(-8))/13. Suppose -2644 + 789 = -g*k. Is k composite?
True
Let c = -11513 + 7792. Let a = -2456 - c. Suppose 0 = 6*z - z - a. Is z prime?
False
Is 1*(2 - 1)/(22/251042) prime?
True
Suppose -3 + 1 = x - 4*r, -5*r + 25 = 0. Suppose 4*i = -x + 78. Suppose 2*d + 3*d - i = 0. Is d a prime number?
True
Let q(y) be the second derivative of y**4/12 + 7*y**3/6 + 5*y**2/2 + 14*y. Is q(12) prime?
True
Suppose 0 = i + m - 1054, -7*m + 5*m + 4208 = 4*i. Suppose 2*q + 2*w + 337 = 1403, -i = -2*q + 2*w. Is q prime?
False
Let u = -3087 - -4604. Is u composite?
True
Let q be 5*6*-100 + (-7 - -5). Let v = -1993 - q. Is v prime?
True
Suppose 0 = 11*a - 12*a + 23. Suppose 3*v - 104 = -2. Let u = a + v. Is u prime?
False
Let h(l) = 17*l**2 - 3 + 6*l**2 - 5*l**2 - 4*l - 5*l**2. Let c be h(4). Let r = c + 128. Is r composite?
False
Is (-39)/(-156) + (205870/8)/5 a prime number?
True
Let f = 4 + -3. Suppose -b = -2*b + f. Is b/(1/(497 - -2)) prime?
True
Suppose 0*b + 1241 = 2*b - 3*i, -4*b = 5*i - 2427. Suppose -4*s + 5*v = -1007, 4*s - 4*v - b = 395. Is s composite?
True
Suppose 2*k - 10 = 0, 3*a - 6 = -4*k + 29. Let x(u) = u**3 - 4*u**2 - 2*u - 1. Is x(a) a composite number?
True
Suppose 0 = h + h. Suppose 4*d - 152 = -h*d. Suppose 4*p = 4*v + 256, 3*p + 5*v + d = 190. Is p a prime number?
True
Is 24323 - (-3)/((-18)/60) a composite number?
True
Let s(q) be the first derivative of q**3/3 - 3*q**2 - 2*q - 5. Let c be s(6). Is 251 + (0 - -2) + c a prime number?
True
Let f be ((-4)/(-2))/2*2382/6. Let d = f - 146. Is d prime?
True
Suppose 9*m - 9 - 9 = 0. Suppose -3*j - 3*y + 19341 = 0, -j + m*y = 2*j - 19331. Is j prime?
False
Suppose 2*h = 4*h. Is ((h + 2)/(-2) - -260)*1 prime?
False
Let r be (-4)/(-5)*(-2)/(24/(-2910)). Suppose -3*y = -4*j - 258, 3*y + j - 4*j = 261. Suppose -4*x = -r - y. Is x prime?
True
Suppose 2*b = 2*o - 3580, -7156 = 4*b - 4*o - o. Let x = b - -3155. Is x composite?
False
Let c be (-4)/(-5)*(-10 + 0). Let n = -4 - c. Suppose -441 = -n*s + 155. Is s a prime number?
True
Let q = 17 + -15. Suppose -q*n - 2*j = -15126, -n = 2*n + 4*j - 22693. Is n prime?
True
Let h = 60 + -57. Suppose -869 = -4*m - 277. Suppose -h*j = -j - m. Is j prime?
False
Let h(w) = 31*w**3 + 3*w**2 - 4*w + 7. Is h(2) prime?
False
Let w(x) = -2 - 3*x + 7*x + 0 - 8*x. Let l be w(-1). Suppose l*y - 838 = -0*y. Is y a prime number?
True
Suppose 2*v - 2*t - t = -5, 4*v = -3*t - 37. Is ((-2)/(-4))/(v/(-4172)) prime?
False
Is ((-16332)/18)/(((-48)/27)/8) prime?
False
Suppose 0 = 5*l + 2*c - 2673, l - 2*c + 4*c = 533. Suppose -u + l = 2*q, 2*q - 3 = 3*q. Is u composite?
False
Let t(h) = -20*h**3 - 4*h**2 - 2. Let b be t(-6). Suppose -6*x + b = -11024. Is x composite?
True
Let b = 343 - -4191. Is b a composite number?
True
Let m = 151 - -51. Let q = m - -1. Is q composite?
True
Suppose 2*z - 5*n = 17, -16 = -3*z + 2*z + 5*n. Suppose 0 = h + z - 5. Suppose h*l - 633 = -2*r + 3*r, -r - 790 = -5*l. Is l a composite number?
False
Let b(v) = 3*v**2 - 14*v + 1. Let s be b(4). Let x(z) = -2*z**3 + 10*z**2 + 7*z - 8. Is x(s) a composite number?
True
Suppose c + 16 + 0 = -5*z, 0 = -3*c + 2*z + 3. Suppose 18 = -2*r + 3*r + 5*t, -2*t + 12 = -2*r. Is -149*(r + 3)*c a composite number?
False
Let l(r) be the third derivative of -47*r**4/12 - r**3/6 + 24*r**2 + 4. Let m be (-2)/4 - (-6)/(-4). Is l(m) a composite number?
True
Suppose 2*n = n + 2. Suppose -2*w + 32 = -n*i - 204, 5*i = w - 130. Is w prime?
False
Let v = -42 + 50. Suppose 4*c - v*t + 4*t = 4152, 2*t = -2*c + 2080. Is c composite?
False
Let h = 29944 - 16612. Suppose 0*q + 6*q - h = 0. Suppose -367 = 5*s - q. Is s prime?
False
Let c(d) = -d**3 - 8*d**2 + 10*d + 5. Let h be c(-10). Let l be h*(-2 + 76/12). Let a = l + -237. Is a composite?
True
Let b(c) be the first derivative of 4*c**3/3 - 3*c**2 - 9*c - 5. Is b(10) composite?
False
Let b(a) = -a**2 - 3 - 5*a**2