(5 - 1) prime?
False
Suppose -5*l + 0*l = 0. Suppose l = -4*v - 0*v. Is 191/1*7 - v a composite number?
True
Suppose 2*c = 3*a - 4, -6 - 2 = 2*a - 4*c. Let w(j) = 19*j + 11. Is w(a) composite?
True
Let w = 13620 - 8018. Is w prime?
False
Suppose 18*k + 68 = 22*k. Suppose -k*a + 3912 = -5*a. Is a a composite number?
True
Let s be (-52)/(-12) + (-4)/12. Let m = -1 - -3. Suppose -10 = -m*j - s. Is j a composite number?
False
Let c = 19 - 15. Suppose 4*p - c = -3*u + u, 2*u = -3*p + 4. Suppose 183 = 2*z + 5*j - 25, u*z - 4*j - 226 = 0. Is z a prime number?
True
Let c(t) = -2*t + 4. Let a be c(3). Let f be 3 + 17/(-3 - a). Let z(u) = -u**3 - 11*u**2 - 5*u - 11. Is z(f) a prime number?
True
Suppose -25*x + 67094 = -82431. Is x prime?
True
Let n(u) = 61*u**3 + u + 1. Is n(2) a composite number?
False
Suppose 2*o + 5235 = 4*m - 3*o, -2*o - 2620 = -2*m. Is m a composite number?
True
Let v be 10/15 - 4/(-3). Let i(f) = -5*f + 7*f - 4 + 6*f**v + 1. Is i(3) a composite number?
True
Suppose -i = i - 5780. Suppose i = 10*u - 2620. Is u a prime number?
False
Let r(t) be the first derivative of 17*t**3/3 + t**2/2 + t + 151. Let y(q) = -q - 3. Let j be y(-4). Is r(j) composite?
False
Suppose 95*y + 197289 = 104*y. Is y composite?
True
Suppose -h - 43*y + 44*y + 35278 = 0, 35281 = h + 2*y. Is h a prime number?
True
Suppose -17*n = -15*n - 778. Is n a prime number?
True
Let p = -220 - -391. Let b be p + (-3 - -1) + 1. Suppose -3*o - b = -5*w, 5*w - 5*o = 81 + 99. Is w prime?
True
Suppose 4*o + 5*z - 121283 = 0, -30317 = -o + 15*z - 20*z. Is o composite?
True
Suppose -4*z + 15986 = 8*r - 2*r, 3999 = z + 2*r. Is z prime?
True
Is ((-3497)/(-39))/(1/51) a prime number?
False
Let p(k) = 135*k**2 - k - 11. Is p(5) composite?
False
Let v be (-175)/(-35)*(-2)/(-5)*1988. Let r(c) = -c - 2. Let o be r(-5). Suppose o*a - a - 4 = 0, -4*j - 2*a = -v. Is j a composite number?
True
Let d = -19 - -1. Let f be (-4)/d + (-16)/(-9). Suppose 75 = l + f*t - 122, -5*l + 1045 = -5*t. Is l prime?
False
Let v(u) = -540*u - 447. Is v(-19) composite?
True
Let p(k) = 2 + 3 - 9 - 6*k - 4. Let i be p(-9). Let m = 5 + i. Is m composite?
True
Is -5 + (3624 - (6 + 3 - 3)) composite?
False
Let j(i) be the first derivative of 11*i**2/2 - i + 5. Is j(25) a prime number?
False
Let u(k) = -k**3 + 9*k**2 - 6*k - 11. Let c be u(8). Suppose c*s - 3498 - 5507 = 2*d, d - 3602 = -2*s. Is s a composite number?
False
Let f be 84/15 + (-6)/(-15). Suppose 2*a + 4 = 0, f*a + 32 = -2*b + 2*a. Is 18/b*2454/(-9) a prime number?
True
Let w(m) = -19*m**3 + m**2 - m - 4. Let k = 12 - 15. Is w(k) composite?
False
Let o = -11 - -10. Let k be -2 - o - (1 + 0). Is 133 - (k + 6)/2 a composite number?
False
Let m(d) = -1148*d**3 + d**2 - 2*d - 13. Is m(-2) prime?
False
Let p(m) = -m - 1. Let r(w) = -7*w - 2. Let t(g) = -5*p(g) + r(g). Let l be t(-3). Let h(i) = i**3 - 6*i**2 - i + 1. Is h(l) a prime number?
False
Let q(g) = -5*g**3 + 9*g**2 + 5*g - 1. Let t be q(-6). Let y = t - 166. Is y a composite number?
True
Is 1/(9/2) + (-5827535)/(-369) a prime number?
False
Suppose 8 = 3*j - h, -3*h + 8*h = -4*j + 17. Let s = j + 292. Is s prime?
False
Let n = 698 + -435. Suppose 5*i + 2*k = 749, -2*i - 5*k + n + 45 = 0. Is i composite?
False
Let f(z) be the third derivative of 5*z**4/24 - z**3/3 - 9*z**2. Let l be f(2). Suppose l*v = 4242 + 1510. Is v a prime number?
True
Is (4 + 336)*5/(-80)*-4 composite?
True
Suppose 2*x = 6*x + 76. Let c(j) = j**3 + 25*j**2 + 15*j + 26. Is c(x) a prime number?
True
Let n(o) be the second derivative of 2*o**5/5 - o**4/3 + 2*o**3/3 + 3*o**2/2 - 32*o. Is n(4) composite?
False
Suppose 12862 + 27260 = 18*j. Is j a prime number?
False
Suppose 5*b - 8 = -33. Let l = b + 652. Suppose 5*r - l - 138 = 0. Is r a prime number?
True
Suppose -15789 = -3*h + 2*m, 2*h + 3*m - 21035 = -2*h. Suppose 0 = -7*w + h + 2040. Is w a composite number?
True
Let b(d) = -2*d**2 - 17*d - 5. Let g be b(-8). Suppose 0 = 3*j - 0*j + g. Is (2359/14)/(j/(-2)) a composite number?
False
Let x(d) = 30*d**2 - 31*d**2 + d - 9*d. Let v be x(-8). Suppose s = 2*a - 7*a + 125, v = -2*a - 8. Is s a composite number?
True
Suppose -2*m + 28 = 4*q, m - 7 = -0*q - q. Suppose q = h - 0*h. Is 22170/70 - (-2)/h composite?
False
Let u = 19 - 12. Let g be 4/14 - 2/u. Suppose -5*r + 700 - 255 = g. Is r a composite number?
False
Let i(h) = 599*h**2 + 17*h + 7. Is i(-3) composite?
False
Suppose -2*n + m + 143 = 2*m, -242 = -3*n + 4*m. Suppose 0 = v + 2 - 1. Is ((-1)/v)/(2/n) a prime number?
True
Let p = -237 + 350. Is p prime?
True
Suppose -5*b + 3*b - 2 = 2*y, y + 9 = b. Is (-3 + b)/(1/67) prime?
True
Let l(q) = 12*q - 9. Let c(d) = -25*d + 18. Let y(p) = 2*c(p) + 5*l(p). Is y(13) prime?
False
Let q = 7785 + -5542. Is q composite?
False
Let z(m) = -m**3 + 26*m**2 - 39*m + 11. Is z(18) a composite number?
False
Let v = -6 + 3. Is (142/v)/((-4)/3)*22 a prime number?
False
Let c = 37537 + -22026. Is c a composite number?
False
Let p be (1 - -2) + 24/(-3). Let q be (785/p)/(1/(-4)). Suppose -3*g + q = g. Is g composite?
False
Suppose -18*f + 232752 = -103758. Is f a prime number?
False
Let g = 482 - 256. Is g a prime number?
False
Is -6 + (30668/(-20))/((-3)/15) a composite number?
True
Let l = 40 + -20. Let o = l + -18. Suppose -32 = -4*b + q, -3*b = -o*b - 4*q - 23. Is b prime?
True
Is ((-20788)/3)/((-40)/60) a composite number?
True
Suppose 229437 = 14*g - 57241. Is g a prime number?
True
Suppose -140102 = -41*n + 39*n. Is n a prime number?
True
Suppose -32*w + 27*w = -19505. Is w composite?
True
Suppose -83173 - 13616 = -77*c. Is c prime?
False
Suppose -121616 - 243483 = -7*h. Is h a composite number?
True
Suppose 7*f - 5*f = -56. Is (-8588)/f + (-2)/(-7) composite?
False
Suppose 2*y - 4 = -14, -5*t + 3*y + 105 = 0. Suppose -19*k + 3557 = -t*k. Is k a composite number?
False
Is (-2)/(-12) - (-791149)/174 prime?
True
Let t(m) = 43*m**2 - 2*m + 12. Suppose 2 - 9 = -5*h - 4*l, -4*l = 8. Is t(h) composite?
True
Let i(k) = -6*k - 5. Let t(u) be the first derivative of -2*u**2 + 5*u + 4. Let x be t(3). Is i(x) a composite number?
False
Suppose 3*j - 2 = 4. Suppose -j*n + 253 = -913. Is n prime?
False
Suppose 5*k + 19 = s, 0*k - 3*k = -2*s + 10. Let i be s/(368/(-122) - -3). Suppose 3*x + 5*g + 0*g - i = 0, -x + 2*g = -24. Is x prime?
False
Let l = -111 + 116. Suppose -3*t - l*j + 19385 = -0*j, -16 = -4*j. Is t a prime number?
False
Is (-1)/7 + 104070/105 a prime number?
True
Let o(j) = 14*j**2 + 5*j + 5. Let u be o(6). Let p = u + -288. Is p prime?
True
Let n(m) = 4*m**3 + 18*m**2 - 43*m + 22. Is n(21) a prime number?
True
Suppose 5*t = -24*t + 91727. Is t a composite number?
False
Suppose 0 = -42*z + 45*z - 44853. Is z composite?
False
Let y(f) = 303*f**3 - 9*f**2 - 20*f + 163. Is y(6) composite?
False
Suppose -4*u + r + 18 = -1, -2*u - 3*r = -27. Suppose 5298 + 996 = u*n. Is n a prime number?
True
Let n = -1483 + 2470. Suppose -2*y + n = y. Is y composite?
True
Let t(m) = 2 - 2*m - 4 + 10*m**2 + 9 + 0. Is t(-5) a composite number?
True
Suppose -2*u - 1130 = -0*u. Let f = -48 - u. Is f a prime number?
False
Let u(h) = 11*h - 21. Let a be u(2). Let k be -1 - -2 - (-2 + -1). Is (a - 5)/k - -158 prime?
True
Let p be 0/((-4)/(8/1)*-4). Suppose 3*c = -5*o + 1188, p*c - 2*c + 3*o = -811. Is c prime?
True
Suppose -2*h + 5*m = -12485, -5*m + 2412 - 21142 = -3*h. Is h prime?
False
Let z be 1976 - (-4)/5*-5. Let j = z + -1305. Is j a prime number?
False
Suppose 0*i - i + 3 = 0. Let n(h) = 30*h**2 - 9*h + 6. Is n(i) a composite number?
True
Suppose 5*a - 2*w = 156803, 4*a = 32*w - 28*w + 125440. Is a a prime number?
False
Suppose -4*h - 68767 = -3*q, -2*h + 7341 = -2*q + 53185. Is q composite?
False
Let w be (-1)/(3/12*2). Let z be (-3 - -4)/(w/28). Is (-8720)/z - (-1)/7 a prime number?
False
Let p(s) = 39*s**2 + 17*s + 21. Let j be (-6)/(-9) + 57/9. Let x(z) = 20*z**2 + 8*z + 10. Let r(o) = j*x(o) - 3*p(o). Is r(-5) a composite number?
False
Suppose 5*v + s - 6 = -s, v + s = 0. Let b be 1 - (-13 + 4) - v. Is 2*(2 - (-292)/b) a prime number?
False
Is ((-31544)/16)/(2/4*-1) a prime number?
True
Suppose 2*u = u - 2*u. Is 1430/2 - -4 - u prime?
True
Let j = -73506 - -103727. Is j a prime number?
False
Let n(p) = 5*p + 7 - 4 - 6 + 24*p**3 - 2*p**2. Is n(2) a pri