-0*t. Let c = t - -23. Is c prime?
True
Suppose -5*b + 2*b = -894. Is b a composite number?
True
Let i = 43 + 96. Is i a composite number?
False
Suppose -x = 4*j + 3, 0*j = 2*x + 4*j + 6. Let t = x - -10. Is t a composite number?
False
Let c(r) = 4*r**2 - r - 1. Let l be c(-1). Is (-1)/l + (-274)/(-8) composite?
True
Let d(k) = -2*k**2 + 2*k - 55. Let g(a) = a**2 - a + 27. Let l(z) = -6*d(z) - 11*g(z). Is l(0) a prime number?
False
Suppose -2348 = 7*n - 11*n. Is n a prime number?
True
Suppose 0 = -3*y - 3*n + 1 + 5, 0 = -2*y - 5*n - 8. Let l(a) = a**2 - 4*a + 3. Is l(y) a prime number?
False
Let a = 128 + 1091. Is a a composite number?
True
Let l = -2 - 4. Let m be l/27 + (-438)/(-27). Suppose m = 4*x, 3*o + 3*x - 58 = -13. Is o prime?
True
Let t be (-3)/(-15) + (-1)/5. Is ((-322)/8 + t)*-4 prime?
False
Let k = 116 - 61. Let c be 2/(-4) + k/10. Let j(g) = 11*g - 2. Is j(c) prime?
True
Let w(j) = 58*j**2 - 4*j + 6. Let f be w(-4). Let d = -181 + f. Is d composite?
False
Let n(u) = -257*u + 37. Is n(-6) prime?
True
Suppose -4*z + 3*d + 16177 - 5012 = 0, -2*d - 6 = 0. Is z composite?
False
Suppose 3*c + 4*c = 3143. Is c composite?
False
Let l be (-8)/16 - (-1)/2. Suppose l*b = -5*b + 635. Is b prime?
True
Let o = 11 - 8. Is (4/o)/((-6)/(-117)) a composite number?
True
Let m(x) = 20*x - 9. Let z be -1 - (-4 - (-12)/(-4)). Is m(z) a prime number?
False
Suppose -2*r + 6*r = 380. Is r prime?
False
Let z = -54 + 101. Is z prime?
True
Let d(h) = 6*h**3 - 4*h**2 - 4*h + 3. Is d(4) composite?
False
Suppose l + 4176 = 5*l - 4*p, -p = -4*l + 4161. Is l composite?
False
Let z = 7 - 10. Let k be (z/2)/((-12)/(-32)). Is ((-194)/k)/((-5)/(-10)) prime?
True
Suppose -15 = -o - 2*h, 5*h - 72 = -5*o - 22. Suppose o*q - 9 + 29 = 0. Is 8 - q/2 - 0 a composite number?
True
Let b be 0 - 0 - (4 + -410). Suppose 0 = 4*u - b - 174. Is u prime?
False
Let u = 6 + -4. Suppose -2*s - 2*s = -8. Suppose u*y + s*p - 86 = 5*p, 2*y + p - 70 = 0. Is y composite?
False
Let p = 7 + -4. Suppose 5*u - 65 = 5*y, -p*u + 4*y + 37 = -0*y. Is u prime?
False
Let b(o) = -3 - 2*o + 0 + 10*o. Is b(7) a composite number?
False
Let j(x) = -x**2 + 8*x - 4. Let r be j(7). Suppose r*o + 0*o = -12. Let z = 63 + o. Is z a composite number?
False
Suppose s - 25 = -4*m, 0 = -0*m - m - 3*s + 9. Let j(n) = 2*n**2 + 2*n - 5. Is j(m) composite?
False
Is (-3)/2 - (-150670)/76 composite?
True
Let a(l) = -25*l + 2. Suppose -4*x + 0*x - 12 = 0. Is a(x) a prime number?
False
Let u(y) = y**2 - 1. Let o(k) = 3*k**2 + k - 3. Let j(f) = o(f) - 2*u(f). Let q(h) = -h**2 + h. Let t(r) = 3*j(r) - q(r). Is t(-4) composite?
False
Let y(l) = 17*l**3 - l**2 - l + 4. Is y(2) a composite number?
True
Let a be ((-4)/10)/((-2)/340). Suppose g - 3*g - a = 0. Let j = 57 + g. Is j prime?
True
Suppose -5*s + 7260 = -4*f, -1451 = -2*s + s + f. Suppose -4*x = 4*v + v - 1477, s = 5*v - 3*x. Is v prime?
True
Let r = -21 + 9. Let p = -7 - r. Let s(x) = -x**3 + 6*x**2 - x + 1. Is s(p) a prime number?
False
Let u(f) = -19*f**3 + f**2 + 3*f + 5. Is u(-2) prime?
False
Suppose -4*w + 1482 = -2*v, 0*v = -3*w - 2*v + 1129. Is w composite?
False
Suppose 2*b - 119 = 3*d + 2*d, b + 2*d = 73. Is b composite?
False
Suppose -3*x - 12 = -5*x. Is (10/x)/(2/834) a composite number?
True
Let o be ((-24)/(-20))/3*5. Suppose 2*a - 308 = -o*q, 4*q = -0*q - 3*a + 617. Is q composite?
True
Suppose -8 = -3*k + 5*k. Is 92/6*(-6)/k prime?
True
Let o(c) = c**3 - 5*c**2 + 5*c - 5. Let q be o(4). Is 1/(-2)*(-19 + q) a prime number?
False
Let k = -1 + -2. Let s(j) = 6*j**2 - j - 2. Is s(k) prime?
False
Let p(q) = 4*q + 2. Let s be p(-3). Is 24/30 + (-932)/s composite?
True
Suppose -22 = -2*z - u, -2*z + 5*u = -z. Suppose 4*j + z = 258. Is j a prime number?
False
Let g(j) = -13*j + 1. Let n(x) = 25*x - 2. Let k(p) = -5*g(p) - 2*n(p). Is k(4) a prime number?
True
Suppose 4*l = 26 - 2. Let h(q) be the first derivative of -q**3/3 + 9*q**2/2 + 4*q + 1. Is h(l) a composite number?
True
Let j(a) = a**2 + 10*a**2 + 8*a + 4 - 10*a**2. Let h be j(-7). Let m = 6 - h. Is m a prime number?
False
Let b(a) = -641*a**2 - 2*a - 1. Let f be b(-1). Let w = -333 - f. Is w composite?
False
Let v(r) = r**3 + 7*r**2 - 7*r + 8. Let t = -6 - 2. Let l be v(t). Suppose -3*q - 5*j + 57 = l, -q - 2*j + 19 = -6*j. Is q prime?
True
Suppose -31 = -2*j - 5*g, -5*j = -g + 5*g - 35. Suppose -3*u - 3*f + 49 = -u, 3*u - j*f = 66. Is u prime?
True
Let p(t) = 2*t**3 - 5*t**2 - 6*t - 5. Is p(6) a prime number?
True
Suppose -4*m = -5*l - 0*m + 933, -2*m + 181 = l. Suppose -5*x + 8 = -3*x. Suppose v = -x*v + l. Is v a prime number?
True
Suppose 13*y - 16577 - 16196 = 0. Is y a composite number?
False
Suppose 0 = 2*n - 6*n + 920. Let g = -45 + n. Is g a prime number?
False
Let l(z) = 1 - 2 - 9*z + 4 - 1. Is l(-1) prime?
True
Let l(g) be the first derivative of g**3 - 3*g**2/2 - 3*g - 1. Is l(-3) composite?
True
Suppose 0*t = t - 3. Suppose t*c - 254 = c. Is c composite?
False
Let l(s) = -s**2 - 6*s - 2. Let j(i) = -i**3 + 9*i**2 - 5*i + 6. Let o be j(8). Suppose 10 - o = 5*q. Is l(q) prime?
False
Let o = -302 + 444. Suppose l - o = -3*p, 5*l + 4*p = 2*p + 645. Is l composite?
False
Let q(j) = 29*j**2 - 2*j + 3. Suppose -l - 2*l - 2*v = -50, -4*v + 16 = 0. Let t be 2/(-7)*l/(-2). Is q(t) prime?
False
Let q be (-2 - (-8)/3)*-12. Is (370/(-6))/(q/24) prime?
False
Let h = 179 - 37. Is h prime?
False
Let q(w) be the second derivative of 3*w**5/2 - w**4/4 + 2*w**3/3 - w**2 + 2*w. Let c be q(2). Let f = c - 119. Is f a prime number?
False
Is 3/1 - (-1664)/4 a composite number?
False
Let y(p) = -p**2 - 5*p + 4. Let h be y(-6). Is (-10)/5 + (155 - h) a composite number?
True
Let i be (-14)/(-2)*300/70. Let p = i + 5. Is p composite?
True
Let g(f) = -f**2 + 11*f - 10. Let c be g(10). Suppose 3*b + c*j = 2*j + 197, 3*j + 123 = 2*b. Is b composite?
True
Let w = 3 - 2. Let b(f) = 339*f**3 + 20*f**2 - 23*f + 20. Let a(y) = 113*y**3 + 7*y**2 - 8*y + 7. Let g(d) = -17*a(d) + 6*b(d). Is g(w) prime?
True
Let z be (3 - 1 - 4) + -142. Let j = -82 - z. Is j a composite number?
True
Suppose 2*k = -4*y + 9302, 9*k - 23207 = 4*k + 2*y. Is k composite?
False
Let w(m) = 7*m**2 - 7*m - 9. Let t(v) = -v**2. Let q(u) = 4*t(u) + w(u). Is q(7) a prime number?
True
Let w(t) = 2*t - 2. Let q be w(7). Suppose m - 5*m - 4*p = -8, q = -4*p. Suppose 5*x = -2*y + 581, -m*x + 0*y = -2*y - 569. Is x prime?
False
Let b = 15 - 33. Is (-4)/6*3429/b a composite number?
False
Suppose -11439 = -9*v + 4*v + 2*f, 0 = -3*v - 5*f + 6851. Is v composite?
False
Let s(g) = -207*g + 2. Is s(-1) composite?
True
Let o(c) = 2*c**2 + 12*c - 1. Suppose q = -q - 18. Is o(q) prime?
True
Suppose 0 = -5*h - 3*v + 2*v - 20, -11 = -3*h + 4*v. Let b = h - 3. Is 3/b - 87/(-6) composite?
True
Let n(d) = -2*d. Let o(c) = 19*c - 2. Let f(s) = -10*n(s) - 2*o(s). Let p be f(-7). Suppose 74 = 3*r + t, -4*r - r + p = 3*t. Is r a composite number?
False
Let i(f) = 54*f - 5. Let a(j) = -j**3 + 12*j**2 + 13*j + 5. Let x be a(13). Is i(x) a composite number?
True
Is (196/8 - 4)*(6 - 0) a prime number?
False
Is ((-2)/4)/(2 + (-12756)/6376) composite?
False
Let g(h) be the second derivative of h**7/2520 + h**6/180 + h**5/12 - h**4/6 - h. Let t(i) be the third derivative of g(i). Is t(-7) a prime number?
True
Let u = 0 - 4. Let v(h) = -2*h**3 - 7*h**2 - 5*h - 1. Is v(u) composite?
True
Let f(q) = 90*q + 11. Is f(7) a prime number?
True
Suppose -5*s + 2 + 8 = 0. Suppose 0 = -2*t - 40 - s. Let f = 32 + t. Is f prime?
True
Let b = 3 + -1. Let n be 0 + b - -375 - 0. Suppose 447 = 4*v + 2*d - 59, 4*d = -3*v + n. Is v a prime number?
True
Let k be 2*(-2 + 5 + -2). Suppose -k*i = 3*i - 10. Suppose 4*j = -i*f + 1 + 135, -j + 25 = 5*f. Is j a prime number?
False
Let n(v) = -v**3 + 4. Let i be n(0). Is i/14 + (-1550)/(-14) composite?
True
Let a(k) be the third derivative of k**6/120 + 7*k**5/60 - k**4/24 + k**3/6 + 2*k**2. Let r be a(-7). Let i = 15 - r. Is i prime?
True
Suppose 4*y - 4*r - 129 = 91, -290 = -5*y + 2*r. Let b(o) = -o**3 - 9*o**2 - 8*o + 1. Let p be b(-7). Let f = p + y. Is f prime?
True
Let d(j) = -j + 8. Let q be d(7). Let p(r) = 3*r - 6*r - q + 2*r + 10*r**2. Is p(2) prime?
True
Suppose -4*c - 28 = -8*c. Is (-2558)/(-14) - (-2)/c composite?
True
Let b(l) = l**2 + 6*l + 7. 