 = 104 + u. Is p prime?
False
Suppose -5*b - 10916 = -3*x, -5*x = -4*b - 4380 - 13835. Is x composite?
True
Let z be (-5960)/(-24) - 2/6. Suppose -3*l = -5*l + z. Suppose l = 2*i + 2*u, 0 = 5*i - i - 5*u - 275. Is i composite?
True
Let k be 0/((-6)/8 + (-10)/8). Suppose -4*v + 3*v + 86 = q, -q = k. Is v composite?
True
Suppose 993 = 5*a - 4962. Is a a composite number?
True
Suppose -5*p = -3*d - 214510, -6*d + 9*d + 171611 = 4*p. Is p prime?
True
Let w be (4/(-8))/((-1)/18). Let v(b) be the first derivative of b**4/4 - 10*b**3/3 + 9*b**2/2 + 7*b + 4. Is v(w) prime?
True
Suppose 5*u = -3*y + 215465, -3*u + 107586 = -y - 21693. Is u prime?
True
Let o(v) = 3*v**2 + 0*v**2 - 4 + 5 - 2*v. Let l be o(5). Let m = -31 + l. Is m composite?
True
Suppose 20041 = 7*h - 20832. Is h a prime number?
True
Let f(q) = -28*q + 5 - 2 - 4 - 3. Let y be f(-10). Suppose y = b + 43. Is b a prime number?
True
Suppose -10*b + 79119 = 25129. Suppose 3*g - b = 4660. Is g composite?
True
Let t = 1 + 2. Suppose o - 13 = -5*c, t*c + 2*o - 10 = c. Suppose -49 = -c*g - 3. Is g composite?
False
Suppose -69*f = -42*f - 136431. Is f a composite number?
True
Let s = 887 - -1316. Is s prime?
True
Let k be (-1)/(-3) + 4/6. Let q be (-4)/18 + (-5 - (-652)/18). Is q - 1 - (k - 5) composite?
True
Let z = -20144 + 31807. Is z composite?
True
Let a be (-3)/2*(-904)/6. Let i = a - 551. Let j = i + 662. Is j composite?
False
Let c = -50 - -82. Let s = 57 - c. Is s a prime number?
False
Let w be -6*(-4 + 42/9). Let d(n) = n**3 + 3*n**2 - 5*n - 1. Let i be d(w). Suppose i*y - 15 = 0, 5*a - 2293 - 27 = 3*y. Is a a prime number?
True
Suppose 5*b - 4*b + 4*v = 5863, -4*v + 23500 = 4*b. Is b composite?
False
Let o(x) = 3*x**2 + 13*x - 29. Let n be o(12). Let c = n + 180. Is c composite?
False
Let q be 1 + 0 - (-3 - -2). Suppose -4*b + 21 = -4*r - 123, -q*b + 75 = r. Is b composite?
False
Let k(x) = -x**2 - 5*x - 2. Let q be k(-4). Let f(z) = 2*z**3 - z + 2. Let w be f(q). Let c = 29 - w. Is c a prime number?
True
Let i = -15 + 20. Suppose i - 242 = -3*d. Is d composite?
False
Let l(j) = j**3 - 8*j**2 + 9*j + 11. Suppose -5*p = -7 - 33. Let k be l(p). Suppose -95 = -2*v + k. Is v composite?
False
Let j(k) = 3*k - 11. Let p be j(5). Suppose -p = 2*d, x + 4*d = -5 - 7. Is -2 - 1*644/x composite?
True
Suppose 37*p - 1429365 = 330244. Is p a prime number?
False
Suppose -4*l + 253983 = -21989. Is l prime?
True
Let p = -12 - -11. Let z be (1 - 1)*p - -72. Let h = z + 11. Is h composite?
False
Let y(n) = 4*n**2 - 15*n + 22. Let z be y(9). Suppose -4*v + 0 = -8. Suppose h = v*h - z. Is h prime?
True
Suppose -u + 197 + 49 = 0. Let p = 243 + u. Is p a composite number?
True
Let q = -7147 - -12739. Suppose -x = -3*x + q. Suppose l - x = -3*l. Is l composite?
True
Suppose 3*o = 2*o + 3. Let u = 163 - 157. Suppose -u*s + o*s = -57. Is s composite?
False
Suppose 0 = 19*n - 62153 + 9922. Is n prime?
True
Let b be 64/(-28) + 2/7. Let z(r) = r + 5. Let v be z(b). Is 3/v*1*9 composite?
True
Suppose 2*j - 11 = 5*g, 0 = 2*j - 2*g - 0 - 8. Suppose j*k - 315 = -2*k. Suppose 4*t + 153 = 5*v - 0*t, 2*v - t - k = 0. Is v a prime number?
False
Suppose 4*b - 13 + 5 = 0. Let j be (754/b)/(-4 + 5). Suppose n - 6*y = -3*y + j, -5*n - 5*y = -1785. Is n prime?
False
Suppose 72 = -2*z - 2*z. Let c be 2*(4/12 + 86/12). Is (-69)/z*2*c a composite number?
True
Let c be ((-5)/5 - -4) + 2. Suppose c*m - 3*h = 10716 + 26, -4*m - 5*h = -8601. Is m composite?
True
Suppose -3*s = -4*s - 2. Let n be (-4)/s*(7 + -3). Suppose 3*q - 654 = -3*f, -3*f + 3*q = -n*f + 1096. Is f composite?
True
Suppose 4*v - 5*x - 7707 = -2*x, 0 = v + 5*x - 1921. Suppose 2*o = -j + o + 642, 0 = -3*j - 5*o + v. Is -3 - (1 - j/2) a composite number?
False
Suppose 22549 = 5*r + 2*d - 17488, 2*r - 2*d = 16026. Is r a prime number?
True
Let c = -11 + 21. Suppose -c*k + 6*k = -5072. Suppose -k = -4*b - 88. Is b prime?
False
Suppose -23065 + 71577 = 4*c. Suppose 14942 = 10*p - c. Is p a prime number?
True
Let j = -24 + -11. Is (5 + j/5)*(2 + -63) a prime number?
False
Let i = 216 - 213. Let j(l) = l**2 - l + 1. Let o(x) = -16*x**3 + x**2 - 1. Let p(y) = 3*j(y) - o(y). Is p(i) a prime number?
False
Is 9236/10*(13 + 378/(-36)) a prime number?
True
Let x = 36 + -36. Suppose 11*t - 9*t - 374 = x. Is t a prime number?
False
Suppose 3*l = -q + 47, 5*l = 3*q - 69 - 100. Let o = q - 20. Is o composite?
True
Suppose 29 = 4*x + 13. Suppose -x*o = -105 - 55. Suppose 294 = 2*j + o. Is j composite?
False
Let b = 690 + -4421. Let g = -2188 - b. Is g a composite number?
False
Let n = 6482 - -59. Is n prime?
False
Is 13804/32 - 21/56 prime?
True
Suppose -3*k - 4 = -5*k. Suppose -5*f - 5 = 0, k*f = -6*w + 2*w + 10. Suppose 2*x + 0*z = -z + 70, -5*z = -w*x + 131. Is x a prime number?
True
Let r = 124 + -383. Let l = 1472 + r. Is l prime?
True
Suppose -u - 29 = -2*u. Suppose -4*c + u = -11. Suppose 3*v + 49 = 2*h, h - c = -5*v + 21. Is h composite?
True
Let s be 202/(-8)*(-1 - 3)*15. Let i = s - 846. Is i a composite number?
True
Let y = -5921 + 12598. Is y composite?
True
Let x = 151 - 81. Suppose 246 = 8*s + x. Is s composite?
True
Suppose 2*k = 3 + 1, -z - 11 = -4*k. Is 7/21 + (-1454)/z a prime number?
False
Let k(q) = 17*q + 2. Let b be 2*(-4)/((-24)/3). Suppose -4*w + 0*w + b = v, -v = -3*w - 8. Is k(v) a composite number?
True
Let r be 15/2 + 2/4. Let l be r/(-28) - (-1642)/14. Is l*2 - (-4 - -5) a prime number?
True
Let c = 19 + -14. Let h = -7 + c. Is (-29 + (3 - 4))/h composite?
True
Suppose 8969 = -4*q - 4*l + 40149, -2*q = -3*l - 15590. Is q a prime number?
False
Suppose -10 = 5*u, -2*f - u - 1324 = -0*u. Suppose k + 262 = -5*q, -2*k - 4*q = 583 - 35. Let n = k - f. Is n a composite number?
False
Let t(w) = w + 1. Let x be t(3). Let g(b) = -b**2 + 5*b + 1. Let h be g(x). Suppose -l = h*u - 2*u - 22, -52 = -l + 3*u. Is l a composite number?
False
Let x be (0 + -1)/((-1)/(-31)). Let m be -2 - 88/(-1) - 6. Let u = m - x. Is u a prime number?
False
Let f = -19 + 29. Let g(v) = 2*v**2 - 3*v - 3. Let d be g(-2). Let k = f + d. Is k a composite number?
True
Let b(g) = -320*g - 3. Let z be b(-2). Let f = z - 123. Suppose -3*h + f = -h. Is h a composite number?
False
Let v be 1/((-1)/(-23)) - -3. Let n be 760/(-130) + (-4)/v. Is n/27 + 17313/27 a composite number?
False
Let v = 1336 - 397. Is (-12)/(-54) - v/(-27) a composite number?
True
Let k = 70 - -3337. Is k composite?
False
Is -10 + (-36864)/(-45) - 1/5 composite?
False
Suppose -2*s - 2*s - 32 = -4*p, 3*s - 3 = 0. Suppose p*l - 13*l + 444 = 0. Is l composite?
True
Suppose -405 = -5*k - 2*z - z, 2*k - 131 = 5*z. Let l be (2/4)/((-28)/2408). Let d = k - l. Is d a prime number?
False
Let f = 395 - 144. Let r = f + 552. Is r prime?
False
Suppose 1223 + 2190 = y. Is y composite?
False
Let u = 666 + -257. Is u prime?
True
Is (-157)/(-5)*8 + (-3)/15 a prime number?
True
Let r = -110 + 85. Is 1*5/(r/(-815)) a composite number?
False
Suppose -5 = -5*f - 5*r, -2*f - 2*r - 3 = r. Suppose -f*u - 4*u = -130. Is u a prime number?
True
Let f be (296/12)/(3/90). Suppose -5*p - 3*t + 1339 = 0, 597 + f = 5*p + 4*t. Is p composite?
False
Suppose -23*h = -25*h + 4, 3*x - h = 1114. Let g = 938 + -669. Suppose 3*o - x = -3*l, -2*o + l = -4*l - g. Is o a composite number?
False
Let l = -8 - -10. Suppose 4*v - v = -l*z + 12, 0 = z - 3. Is 48 - (v/2 + -2) a prime number?
False
Let o(z) = z**2 + 12*z. Let l be o(-12). Suppose -b + 30 = 4*i - 57, 2*i = l. Is b a composite number?
True
Suppose 4*n + 4 = 16, j - 2906 = -n. Is j a composite number?
False
Suppose -4*s - 4*m = -1780, 4*s - 2967 + 1185 = -5*m. Is s a composite number?
False
Let b(o) = o**2 - 13*o + 5. Let r be b(13). Suppose -4*k - r = -13, 3*n = k + 1165. Is n prime?
True
Let k(y) = 15*y**2 + 103*y - 24. Is k(-10) composite?
True
Let f(i) = -i**3 - 6*i**2 + 15*i + 4. Let t be -4 + (-4 - -5) + 2 + -9. Is f(t) prime?
False
Let s(j) = 1526*j - 18. Is s(10) prime?
False
Let m be (-35990)/(-45) + (-4)/(-18). Let j = m + -542. Suppose 0 = -7*z + 10*z - j. Is z a prime number?
False
Is (0 + 10102)*(-36)/(-72) prime?
True
Suppose 4*p = -4, 3*a + p = -27 + 80. Suppose -a*m - 337 = -19*m. Is m a prime number?
True
Let f = 18 + 17. Let z be 4/5 + 46312/f. Suppose 6*o - 2*o - z = 0. Is o prime?
True
