s + 6407. Is s prime?
True
Is -1*(-10)/(10/28903) prime?
False
Suppose 0 = 2*t - 3*w + 15, 4*t - 4 = -w + 1. Suppose -f = 3*j - 508, t = 6*j - 4*j + 6. Is f prime?
False
Suppose -4*i + z = -42218, -7*i + 12*i - 2*z = 52771. Is i prime?
False
Is (5 - -1) + (29 - -3026) a prime number?
True
Let n = -94242 + 141601. Is n a composite number?
True
Let u(l) = -l**2 + 12*l + 4. Let g be u(10). Suppose 0*y = -3*c - y - 1, 4*c - g = 5*y. Let j(t) = 1253*t**2 + 2*t - 2. Is j(c) a composite number?
True
Let s(o) = -o**3 + 14*o**2 + 13*o + 36. Let a be s(15). Suppose -7*x = -a*x - 753. Is x a prime number?
False
Let u be ((-1)/(-2))/(30/468)*15. Suppose 5*r - 120 = -w, 3*r - u = -w + r. Is w a composite number?
True
Let v be (6 - 9)*((-24)/9)/4. Is v/(-2 + 1/((-5036)/(-10080))) composite?
False
Suppose -v + 1739 = -5*m - 2077, -3 = 3*m. Is v a prime number?
False
Let j = -7782 - -21123. Is j a prime number?
False
Let b(t) = -t**2 - 10*t. Suppose 0 = -2*y - 0*y - 20. Let n be b(y). Suppose -5*j + n*k + 296 = 3*k, 4*k = 8. Is j a prime number?
False
Let d = -84 + 90. Suppose 637 - 4555 = -d*j. Is j prime?
True
Is (1703 + 3)/(-9 + (19 - 9)) a prime number?
False
Suppose -5*t = -8*t + 6. Suppose 0 = 4*r + 4, -2*v - t = v + 2*r. Suppose 3*j = -0*z + 3*z - 462, -3*j - 15 = v. Is z prime?
True
Let k(n) = 30*n - 2. Let z be k(5). Let t be (-23)/(((-8)/6)/4). Let x = z - t. Is x prime?
True
Let h(j) = 168*j**2 + 16*j + 63. Is h(-3) a composite number?
True
Is (-55)/(-11) + 3 + 2511 a composite number?
True
Is (-6)/21 + (-67551)/(-77) a composite number?
False
Let i = -20 + 24. Suppose -4*q - 1808 = -2*z - 2*q, -5*z + 4523 = -i*q. Is z a prime number?
True
Let k(x) = -14*x + 493. Is k(0) a composite number?
True
Let t(r) = -7*r**3 + 10*r**2 - 15*r - 3. Let i(f) = -5*f**2 + 11 - 17 + 26*f**2 - 15*f**3 - 11*f - 20*f. Let v(m) = 6*i(m) - 13*t(m). Is v(4) a prime number?
False
Suppose -2*r + 19362 = -2*n, -2*n = 4*r + 5150 - 43850. Is r a prime number?
True
Suppose -2*x + 0*x = -2*z - 6, -3*x + 13 = -z. Let q(k) = -k**3 - 2*k**2 + 3*k - 5. Let b be q(-4). Suppose 5*o = b, 2*n - x*n + 663 = 4*o. Is n prime?
False
Let q(f) = f**3 + 6*f**2 - f + 20. Let j be q(-7). Is -1 - (127 + 4)*j a composite number?
True
Suppose 5*m + 15 = 10*m. Let h = m + 0. Suppose -2*o + f = h*f - 282, 5*f - 560 = -4*o. Is o prime?
False
Let f(o) = -10*o + 15. Let p = -3 + 2. Let d(z) = -1. Let i(h) = p*f(h) - 4*d(h). Is i(10) a composite number?
False
Suppose -4*s + 61 = -3*q, -4*q = -3*s - 9*q + 24. Suppose 2*k = s*k - 2134. Is k composite?
True
Suppose 0*w = 5*w - 50. Is 33/(-55) - (-9556)/w composite?
True
Suppose 4*x + 12 = -4*s, 2*x - 2*s + 2 + 8 = 0. Is (-19251)/(-92) + 1/x a composite number?
True
Let l(q) = 5*q**2 + 1. Let i be l(2). Let v be 1/3 + (-13468)/i. Let z = v + 1092. Is z a prime number?
False
Let z be ((-21)/14)/((-2)/(-772)). Let p = z - -968. Is p a composite number?
False
Suppose 5*n = 2*s - 89433, -5*s + 3*s - n + 89463 = 0. Is s prime?
True
Suppose 4*n = b - 597, 10*b + 5*n = 5*b + 3085. Is b composite?
False
Is 6*8/(-16) - 2*-36911 composite?
False
Suppose -2 = -3*u + 10, 3*u = -3*f + 3651. Is f composite?
False
Let b(c) = 438*c - 45. Let h be b(20). Suppose 8*k - 23*k = -h. Is k a composite number?
True
Let t(i) be the third derivative of -i**6/60 - i**5/12 - 7*i**4/24 - 5*i**3/6 - 4*i**2. Let p be t(-4). Let w = p + -50. Is w prime?
False
Let s be 2*(2 - 1) + 1 + -1. Suppose 0 = 2*k + s*z - 2238, -4*k + 2230 = -2*k + 4*z. Is k a composite number?
False
Let h = -5 - -8. Let b be (1 - -4)*498/15. Suppose v = h*v - b. Is v a prime number?
True
Let z(v) be the second derivative of 167*v**5/30 - v**4/24 - v**2/2 + 2*v. Let o(u) be the first derivative of z(u). Is o(-1) composite?
True
Let k(j) = j**3 - 7*j**2 + 4. Let r be k(7). Suppose r*t - 1761 = -x, 2*t = -2*t + 4. Is x composite?
True
Let f(z) = -8*z**3 + 5*z - 44. Is f(-13) a prime number?
True
Let l(q) = -3*q + 5. Let x be l(3). Let y be -12 - (-3 - (4 + x)). Is 4/(-18) - 5231/y a composite number?
True
Let z(i) = 3*i - 7. Let h be z(3). Let p(j) = j - h*j + 6*j - 7 + 8. Is p(6) prime?
True
Let w be 9*(10/(-6))/(-5). Suppose -12 = -w*m - m. Suppose z + 178 = m*z + 4*c, -z = 3*c - 85. Is z a prime number?
True
Suppose 5*b = -i - 20, 4*i + 4*b + 0*b = -16. Suppose 2*r - 6*r + 268 = i. Is r a composite number?
False
Let v(b) = 2*b**2 - b - 1. Let a(r) = 7*r**2 + 4*r - 2. Let f(l) = a(l) - 3*v(l). Is f(11) composite?
False
Let d = -153 + 383. Let t = -135 + d. Is t a composite number?
True
Is (0 - -4)*(-679)/(-28) a composite number?
False
Suppose 2*p - 7452 = -p. Let t = p + -923. Is t a prime number?
False
Suppose 0 = 14*t - 9059 - 447. Is t a prime number?
False
Suppose 0 = 94*u - 84*u - 307490. Is u a composite number?
True
Let n be -9 - ((-32)/(-80) + 14/(-10)). Suppose -t - 24 = d, -4*t = -2*d - 21 + 105. Let c = n - t. Is c composite?
True
Let t(p) = 53*p + 1. Let q(m) = -1. Let v(j) = 14*q(j) + 2*t(j). Let u be v(5). Suppose 0 = 3*s - 4*b - 747, -5*b + u = 2*s - b. Is s a prime number?
False
Suppose 2*g - 361 = -h + 18, 5*g = -2*h + 948. Let v = 200 - 127. Let c = g + v. Is c a prime number?
True
Let n(m) = -m**2 - 6*m - 5. Let a be n(-3). Suppose -3 = -a*z + 5. Suppose -1065 = -u - 4*k, 0 = z*u - u + k - 1053. Is u composite?
False
Suppose -h + 206 = 5*u, -3*h = -2*h - u - 188. Is h prime?
True
Let x(o) = 16*o**2 + o + 3. Let v(d) = d**3 + 4*d**2 + 3*d - 2. Let s = -15 + 12. Let a be v(s). Is x(a) prime?
False
Let b(z) be the second derivative of z**4/12 - 8*z**3/3 - 11*z**2 + 16*z. Let c = -1 - 14. Is b(c) a composite number?
False
Let w(s) = s - 3. Let m be w(-7). Is ((-878)/(-4))/((-5)/m + 0) a composite number?
False
Is 7538 - ((-11)/2 - (-65)/26) composite?
False
Let z(w) = w**3 - 8*w**2 - 8*w + 3. Let l be z(9). Let v = -38 + l. Is v/4*(0 - 10) prime?
False
Let i be (0 - -8)*(-4)/(-8). Suppose -c + o + 128 = -i*o, 4*c = 3*o + 478. Is c a composite number?
True
Let c(k) be the third derivative of 13*k**6/180 - k**5/40 + k**4/12 + 4*k**2. Let i(y) be the second derivative of c(y). Is i(4) a composite number?
True
Let z(x) = 195*x + 2. Let s be ((-9)/6 - -3)*2. Is z(s) composite?
False
Let z be (-4444)/(-8) - (-6)/(-4). Let w = 1563 - z. Is w a prime number?
True
Let r = 75 - 74. Is (-93)/(-6)*(r - -13) prime?
False
Suppose 64*p - 69*p = -1220. Suppose 0 = -18*q + 20*q - p. Is q composite?
True
Let a be 16/20 - (-8)/(-10). Suppose -4*l + a*l + 3068 = 0. Is l prime?
False
Suppose -296*v + 289*v = -19915. Is v composite?
True
Let u be (6/(-9))/((-2)/6). Suppose -360 - 382 = u*z. Is (z/(-35))/((-1)/(-5)) a prime number?
True
Suppose 28*u = 21*u + 15897. Is u composite?
True
Let d = -6236 + 12265. Is d composite?
False
Suppose -36 = -13*s + 4*s. Suppose -s*z - 1651 = 3*x - 10760, 4*x + 5*z - 12146 = 0. Is x a prime number?
False
Is -295*(264/(-20) + -7) a composite number?
True
Let q = 73 - 71. Let n(m) = m + 6. Let g be n(-4). Suppose 0 = 4*b + l - 777, -b - q*b + 580 = -g*l. Is b a composite number?
True
Let f = 325 + -162. Is f a prime number?
True
Suppose -4*z - 3*j + 342 = -j, 367 = 4*z - 3*j. Let i = z + -73. Is i a prime number?
False
Let g be 1 + -6*(0 + -19). Let n be 147/(-21) - 52/(-4). Let v = n + g. Is v composite?
True
Suppose -y + 0*y = -92. Suppose -4*o + 3*r = -1301, 0 = -4*o + 3*r + 2*r + 1307. Suppose z = o + y. Is z composite?
True
Let b = -2610 + 13531. Is b a prime number?
False
Let n be (-34 - -14)*33/(-2). Let b = 1223 + n. Is b composite?
False
Let h(z) = -z**3 + 3. Let a be h(0). Suppose -i - i = -d - 7, 4*d + 6 = -a*i. Suppose 6*s = s + 2*b + 213, i*s - 3*b - 83 = 0. Is s a prime number?
True
Let i(h) = -4*h**3 - 5*h**2 - 11*h - 3. Let c(o) = 11*o**3 + 14*o**2 + 32*o + 8. Let b(g) = -6*c(g) - 17*i(g). Is b(4) composite?
False
Let h(g) = -6396*g**3 - 11*g**2 - 6*g + 16. Let o(d) = -1279*d**3 - 2*d**2 - d + 3. Let l(c) = -2*h(c) + 11*o(c). Is l(-1) a prime number?
True
Let w be (-1)/((-2)/(-4)) + 15 - 0. Suppose d + 2*z - w = 84, -364 = -4*d - 2*z. Is d composite?
False
Let m be (24/(-15) + 2)/((-6)/58230). Let r = m - -6473. Is r a prime number?
True
Is (3 - (-1982)/(-3))/((-1)/3) a prime number?
True
Let g = -7879 + 16476. Is g prime?
True
Let o be 5*(12/10 - 1). Let c be (-16)/(-