+ 3, -4*u - d*t = -92. Let k = u + -14. Is k a prime number?
True
Let t = -379 - -589. Let g = 7 + t. Is g a composite number?
True
Suppose 3*z = 12, 3*u + 3*z + 2*z - 38 = 0. Suppose -4*q - 5*v + 1253 = 0, 4*v + u = 2*v. Is q prime?
True
Let o(u) = 3780*u**2 - 14*u - 19. Is o(-3) composite?
True
Suppose -13*s + 21 = -12*s. Suppose 0 = -4*i + 5*y - s, 15 = -i + 6*i + 2*y. Is (-1 + i)/4 - -253 composite?
True
Is (-1)/(104/3874*2/(-232)) prime?
False
Let j = 3367 + -1220. Is j composite?
True
Is (4/(-26) - 45/(-39))*469 prime?
False
Suppose -j + 0 - 4 = 0. Let x = j - -8. Suppose x*q - 6*q = y - 50, -12 = -3*y. Is q a composite number?
False
Let o(u) = -306*u + 1. Is o(-13) composite?
True
Let s(a) = -28*a**3 - 2*a**2 + 2*a - 93. Is s(-14) prime?
False
Let i = 1 + 3. Suppose i*f - c = -f + 15, -5*f + 15 = c. Suppose -699 = -2*z + x, 0 = f*z - 3*x - 0*x - 1056. Is z composite?
False
Is -3 - (49/21)/(1/(-1284)) a prime number?
False
Let w(y) = 162*y**2 + 27*y + 37. Is w(-12) a composite number?
False
Let b = -54 - -66. Is (-21)/b + 1 + 2678/8 prime?
False
Suppose 3*c = 2*c + 5, 55 = 5*n + 4*c. Suppose 3871 = n*w - 0*w. Is w prime?
False
Is (2 - 3)*(-1525 + 2) a composite number?
False
Let b(o) = o**2 - o + 1. Let z(u) = 12*u**2 - 9*u + 6. Let q(s) = b(s) - z(s). Let l be q(6). Is l/(0 - (-2 + 3)) a composite number?
False
Let v(q) be the second derivative of -q**3 - 5*q**2 + q + 0 + 5/4*q**4. Is v(-4) a prime number?
False
Is (-63109)/(-11) - (-20)/(-110) composite?
False
Suppose -5 = m + 413. Is (-1)/((2 - 0)/m) a composite number?
True
Suppose -5*x + 697 = -1348. Is x prime?
True
Suppose -5*z - 5281 = -141396. Is z a composite number?
True
Suppose 0 = -h - 2*r + 2597, -2*r + 9326 = 4*h - 1062. Suppose -7*j + 0*j + h = 0. Is j a composite number?
True
Let j(r) = -346*r + 49. Let m be 6/4*1/((-9)/78). Is j(m) prime?
True
Suppose 2*m - 2266 = -3*x, -4572 = 5*m - 9*m + 4*x. Is m a composite number?
True
Let c = 616 - -474. Suppose -2*i - 4*y = -2180, -2*i + 5*y = 3*i - 5450. Suppose 0 = 5*n + 3*j - c, 5*n + 0*n - j = i. Is n composite?
True
Let b = 393 - 176. Suppose -b - 578 = -5*j. Is j prime?
False
Let x be 0/((8/2)/(-2)). Let f(m) = m**3 + 2*m**2 + 3*m + 4. Let g be f(-2). Is g - (-2 - x) - -31 a composite number?
False
Let m = -26 + 30. Suppose 294 = 5*u - m*u - 5*v, -4*v + 1354 = 5*u. Let x = -9 + u. Is x a composite number?
True
Let m be 3/24*4*4. Suppose -m*c + 141 = t - 168, 0 = 3*t - 5*c - 982. Is t a prime number?
False
Suppose 17*n - 28685 = 12*n. Is n a composite number?
False
Let u = 61 - 61. Suppose -889 = -5*m - 3*x + 2864, u = -4*m - 5*x + 2992. Is m prime?
False
Is 24162*15/10 + (-2)/1 composite?
False
Let l(a) = 5 + a - 2 + 8*a**2 - 4. Is l(2) a composite number?
True
Let w(i) = 45*i**3 - 24*i**2 + 49*i - 11. Is w(7) a composite number?
False
Suppose 5*n - 2091 = -c, 2*n - 6247 = -18*c + 15*c. Is c a composite number?
False
Let s be 2 + (-9)/(-1 + -2). Let q(c) = 24*c**2 + 1 - s + 5 + 2*c. Is q(-3) composite?
False
Is (8/((-56)/(-26453)))/1 composite?
False
Suppose 5*n + m - 27 = 0, 3*n + 5*m = 2 + 1. Let z(u) = 14*u - 1. Let p be z(n). Suppose -154 = -3*h + p. Is h a prime number?
True
Suppose 700035 + 270991 = 86*j. Is j composite?
True
Suppose -32*m + 7311 = -29*m. Is m a prime number?
True
Let m(u) = u**3 + 3*u**2 - 5*u + 3. Let k = 10 + -7. Let v be -2 - (-9 + k + 0). Is m(v) composite?
True
Suppose 2*d + 5*x = -8, 3 + 9 = -3*x. Suppose 9*v - d*v = 5205. Is v a prime number?
False
Let f = -10642 - -5128. Let m = 9151 + f. Is m a prime number?
True
Suppose 353*h = 356*h - 50469. Is h composite?
False
Let m(r) = -8*r**3 - 3*r**2 - 2. Let y be m(-3). Let h be (4590/5)/3 + -6. Let v = h - y. Is v composite?
False
Suppose j = -3*j. Suppose j = n + n. Suppose n = 4*v + v - 935. Is v a composite number?
True
Let y = -531 - -928. Is y composite?
False
Suppose -3*q = -5*s - 0*s + 3, -5*s = 2*q - 23. Let r be ((-9)/(-6))/(s/4). Is 18/(-27)*(-633)/r a prime number?
True
Suppose -5*z - 4*n + 25841 = 0, -z - 6*n + 5149 = -10*n. Is z a composite number?
True
Let k(h) = -h**2 - 7*h. Let z be k(-6). Let t = 0 + 0. Suppose t = -z*g + 9*g - 1371. Is g a prime number?
True
Let s be 1 + (-1)/(((-21)/(-318))/(-7)). Suppose -4*u = -3*u + 2*b - s, 5*u - 3*b - 548 = 0. Is u a composite number?
False
Suppose -5*c - 15133 = -t, 0 = -c - 4. Suppose -t = -y - 6*y. Is y a prime number?
False
Suppose x = -4*z + 5 + 27, -4*x + 167 = 3*z. Suppose 0 = 2*o + x - 202. Is o composite?
False
Let s(g) = 31*g + 13. Let x be s(18). Let u = -174 + x. Is u prime?
True
Suppose -5*i = -5*b + 10205, 2*b = -4*i + i + 4072. Is b composite?
False
Let h(r) = -74*r + 31. Let b(g) = -2*g**2 + 8*g - 12. Let s be b(4). Is h(s) a prime number?
True
Let q = 95 + 896. Is q prime?
True
Suppose p + o - 1 = -0, 5*p - 2*o - 12 = 0. Suppose y - p = 1. Is (y/(-6))/((-2)/268) a prime number?
True
Let r = 80 - 80. Suppose r = -q - 1213 + 4199. Is q prime?
False
Is 3/(-2) + (-15)/10 + 1198 prime?
False
Let m be (3 + (-7)/2)*6. Let x(a) = 1. Let u(s) = 10*s + 8. Let d(h) = m*x(h) - u(h). Is d(-9) composite?
False
Let c = 6449 - -2490. Is c a composite number?
True
Let q = 6071 + -3594. Is q a composite number?
False
Suppose 0 = 4*i + 12, 4*i - 16263 = 2*j - 58297. Is j a composite number?
False
Let p(o) = -o**2 + 9*o + 14. Let m be p(10). Suppose -4*d + 5*a + 902 = -2*d, -m*d + 1780 = 2*a. Suppose 0*b + d = 2*b. Is b a prime number?
True
Let k be 4/12 - 37948/(-6). Suppose 3*y + 4*g - k = 0, -2*g = 5*y - 14322 + 3799. Suppose 4*c - 7*c = -y. Is c composite?
False
Let p(o) be the second derivative of o**5/20 - o**4/4 - o**3/2 - o**2/2 + 6*o. Let i be p(4). Suppose -i - 99 = -2*s. Is s composite?
True
Let o = -849 - -8716. Is o prime?
True
Suppose i = 13*i. Let a be 24 - (0 - (-1 - -3)). Suppose 3*o - 5*o + a = i. Is o prime?
True
Suppose -2*t + 5*w = -t, 3*t = -5*w. Is -2 + (t - (4 + -16)) composite?
True
Suppose 8 = -2*l - 0, 0 = 5*s + 5*l - 4730. Is (-1 + (-7 - s))/(-1 + -1) a composite number?
False
Let g(r) = -r**3 + 6*r**2 - 5*r - 7. Let b be g(3). Suppose b*h - 4*d - 2895 = 0, 5*h + 2*d = 1892 + 1033. Is h a prime number?
False
Suppose -11*k = 10*k - 245805. Is k a composite number?
True
Let f(g) = 317*g**2 - g. Let v be f(-1). Suppose -5*i - i = -v. Is i a prime number?
True
Suppose 5*p = -3*f - 2*f + 40, p = -5*f + 16. Suppose p*r - 10*r + 4460 = 0. Is r composite?
True
Suppose -10*f - 55366 = -471056. Is f a composite number?
True
Let l = 15 - 15. Suppose y - 118 = -l*y. Suppose -q + 3*q = m + 216, y = q - 3*m. Is q a composite number?
True
Is (-1623*10/15)/(-1 - 1) composite?
False
Let v = -31 - -35. Suppose v*c - 2*h = 1586, -425 = -5*c - h + 1561. Is c a composite number?
False
Suppose 0 = 48*r - 9*r - 3178851. Is r a composite number?
False
Suppose 15 = 5*o, 5*p + 4*o + 1 = -2. Let v(z) = -20*z + 1 + 1 - 2*z - 3. Is v(p) composite?
True
Suppose -7*i = -46353 - 7876. Let o = i + -4226. Is o prime?
False
Let i(g) = 7*g**2 - 8*g**3 + 4*g**3 + 3*g**3 + 3. Let t be i(6). Suppose 4*b - 37 - t = 0. Is b prime?
True
Suppose 0 = -7*b + 1083 + 1038. Suppose 10 - b = -j. Is j composite?
False
Let x = -22986 + 36269. Is x composite?
True
Is ((-526309)/14 - -3)/(4/(-8)) a prime number?
True
Suppose 5*k + 52 = 92. Suppose 5*r = k*r - 267. Is r prime?
True
Let h(s) = 2*s - 3. Let v be h(5). Let t = 11 - v. Suppose -t*f = f - 595. Is f prime?
False
Let w(n) = 270*n + 10. Let q be w(11). Suppose -513 - q = -7*x. Is x prime?
True
Is (-18)/((-66)/11) + 2*5242 a composite number?
False
Let n be 252*(2 - (-12)/(-8)). Suppose 0 = 5*a + 3*p - n - 124, 3*a - 3*p - 174 = 0. Is a prime?
True
Suppose -5*r - 4*b = -42, 0 = -3*r + 3*b + 13 - 4. Is (-3)/(r/4) - (-1353 - -2) prime?
False
Suppose 4*a - 12 = -3*g, 6 = -0*a + 2*a + 2*g. Suppose 2*s - 3*y = 2*y + 2732, -2*s + 2748 = a*y. Is s a composite number?
True
Suppose -66 = s - 71, 4*z - 5*s - 13587 = 0. Is z a composite number?
True
Let m = 13 + -9. Suppose 0 = m*f - 8, 2*f + 477 = t + 140. Is t a prime number?
False
Let s = 3589 + -630. Is s composite?
True
Let n(a) = a**3 - 5*a**2 + 4*a - 1. Let z be n(3). Let m = 7 + z. Suppose m = -3*q - 12, 169 = -i + 2*i - 2*q. Is i a prime number?
False
Suppose 0*t = -2*t - u + 7, 0 = 3*t - 5*u - 17. Suppose -