se
Let g = -133 + 135. Let m(c) = 36*c**2 - 2. Is m(g) prime?
False
Let j(x) = x**3 - 20*x**2 - 25*x - 34. Let u be j(-16). Let c = 13719 + u. Suppose 10*r = 19*r - c. Is r a composite number?
False
Let g = -4366 + 7712. Is (-22)/33 - g/(-6) prime?
True
Let n = 29 + -21. Let t(y) = 4 + 3 + n - 17*y + y**2. Is t(-17) a prime number?
True
Suppose 37*r - 430110 = 475761. Is r prime?
False
Let b = 3865 - 1738. Suppose 1395 = 3*r - b. Suppose -4*l + 6*l = r. Is l a prime number?
True
Let f(i) = -3*i + 22. Let v be f(-4). Suppose 22*w + 179940 = v*w. Is w a prime number?
False
Let a(z) = -z**2 - 4*z + 675. Let t be a(0). Let k(v) = v**2 + 4*v - 3. Let g be k(-5). Suppose -g*i = -4*i + l + 443, -2*l + t = 3*i. Is i composite?
False
Suppose 4*g - 38 = 4*v + 30, -9 = -g + 3*v. Let b = g + -47. Is (-67093)/b - (-6)/(-4) a prime number?
True
Suppose -92*s - 50960914 + 184807390 = 0. Is s composite?
True
Let k be ((-6022)/(-8))/(2/8). Let w(z) = -2*z**3 - 8*z**2 + 3*z - 35. Let h be w(-5). Suppose 4*j - 1196 + k = n, h = -n + 2*j + 1825. Is n a prime number?
False
Let j(w) = w**3 - 25*w**2 + 36*w + 73. Suppose -4*v + 6 = -b + 29, 3*b - 84 = -3*v. Is j(b) prime?
True
Let o be (14/12 - 1) + (-11095)/42. Let r = o + 3466. Suppose 3093 = 5*v - r. Is v prime?
True
Suppose 119 = -3*c + 47. Let b(d) = -d**3 - 14*d**2 - 6*d - 25. Is b(c) composite?
False
Let t(i) be the third derivative of -i**6/40 + i**5/60 + i**3/6 - 25*i**2. Let m(j) = -4*j + 18. Let s be m(7). Is t(s) prime?
False
Let t be (-4)/28*2 + 13752/14. Let j(y) = -y**2 - 10*y + 16. Let c be j(-11). Suppose t = c*l - 3*l. Is l a prime number?
True
Let b(x) = 7*x - 2. Let u be b(8). Is (u/8 - 1)/((-2)/(-328)) a prime number?
False
Suppose 0 = -2*r - o - 10, 0 = -5*o - 5 - 5. Let h be r/7 + 20/35. Suppose -l - 4*k + 7*k + 291 = h, 1164 = 4*l + 3*k. Is l prime?
False
Let t(h) = -h**3 + 6*h**2 - 11*h + 72. Let l be t(6). Suppose 0 = -5*s - l - 14, 0 = -3*r - 5*s + 4897. Is r a composite number?
True
Suppose 161 = 9*j + 89. Is (7 - (-335 - j)) + 0 + 3 composite?
False
Suppose -2*w + 3*w + 3*m - 32 = 0, w + m - 30 = 0. Let l = -69 + w. Is (-16287)/(-24) + (-15)/l a prime number?
False
Let y(i) be the first derivative of 71*i**6/120 - i**5/15 + i**4/12 + i**3/6 + 29*i**2/2 - 5. Let k(a) be the second derivative of y(a). Is k(2) prime?
True
Is 6 + -10 - 334042/(-6)*9 a prime number?
False
Suppose -4*i + 2*i = 2*w + 40, -w + i = 20. Let u(x) = x + 27. Let z be u(w). Suppose -3727 = -z*l + 60. Is l prime?
True
Suppose 3937*v - 24268 = 3933*v. Is v a composite number?
False
Let n(b) = 58 + 33*b + 25 + 8 + 225*b. Is n(10) composite?
False
Let v be -424 + (-8 + 4 - 4). Suppose -w - 1822 = w. Let x = v - w. Is x prime?
True
Let g be ((-16)/(-12))/(4/12). Let r be 2*24/18*6/g. Suppose -r*l - 3*y + 8581 = 0, -5*l + 2*y + 10750 = y. Is l a prime number?
False
Suppose 5*g = k - 46 + 118, -3*k = -g + 6. Suppose -5*z = g, v + 4717 = 5*v + 5*z. Let t = v - 516. Is t a composite number?
True
Suppose -6*f + 16 = 2*f. Let q = 25 + f. Suppose j + b - 6 = q, b = j - 43. Is j prime?
False
Let a be ((-6)/4)/(3/(-88)). Suppose -57*z + a*z + 134095 = 0. Is z a composite number?
True
Let j(f) = -f**3 + 10*f**2 + 10*f + 14. Let m be j(11). Let q(c) = 2*c**2 + 3*c**2 - 9 - m*c**2 - 8*c - 4. Is q(-8) a prime number?
True
Let a(g) = -g + 1. Let d(c) = -7*c**2 + 15 - 3*c + 27*c**2 + 21*c**2. Let m(w) = 4*a(w) + d(w). Is m(4) composite?
False
Suppose -5*r + 12303487 = -1073802 - 379956. Is r a prime number?
True
Let o(m) = -55*m**2 + 2*m + 2. Let z be o(3). Suppose -a - 2*g - 814 = 0, 6*a - 4*a + 1627 = -5*g. Let k = z - a. Is k a composite number?
True
Let d(q) = -q**3 + 6*q**2 - q + 6. Let z be d(6). Suppose -3*k - 5*u + 5903 = 0, 3*k + 2*u + 2*u - 5902 = z. Is k composite?
True
Suppose -2*l + 3 - 11 = 4*f, 0 = -2*l - 4. Is 240278/34 - (4 - 2)*f a composite number?
False
Let j be 1 - (4485 + 4/(-1)*1). Let a = j + 8681. Is a prime?
True
Suppose -60*l - 3 = -57*l. Suppose v - 4*v - 5*n - 5 = 0, 4*v + 3*n = -14. Is (-475)/15*-3 - (l - v) a composite number?
True
Is ((-112)/24)/(1 - (-129954)/(-129942)) a prime number?
False
Let h(g) = 351*g**2 + 8*g - 7. Let y(p) = 117*p**2 + 3*p - 2. Suppose 3*o = -5*r - 21, -r - 2 = -2*o + r. Let n(q) = o*h(q) + 7*y(q). Is n(-2) composite?
True
Suppose 42*n + 32 = 44*n. Suppose -l + 1015 = 3*b - 3528, 0 = -4*l + n. Is b a composite number?
True
Is (410599/14)/(11/22) prime?
True
Suppose -c = -2*c. Let g be c + (-1 + 31)/(-2). Let a = g + 668. Is a composite?
False
Let d(m) be the first derivative of -69*m**4/2 + 2*m**3 - m**2 - 13*m + 232. Is d(-4) prime?
True
Let n(y) = -y**3 - 6*y**2 + 10*y - 6. Let v be n(2). Is 262/((-20)/v*(-12)/(-20)) a prime number?
False
Suppose 4676487 = 36*f + 1284891. Is f prime?
False
Let a be (280/(-15))/(-4) - (-1)/3. Suppose 0 = a*w + 1938 + 6237. Let f = 2297 + w. Is f a composite number?
True
Let i = 153 + -148. Suppose -5*h - 20966 = -3*c, 8*c - 3*c - i*h - 34960 = 0. Is c prime?
True
Suppose -705 = -5*l + 5*v, 5*v + 291 = 2*l - 0*v. Let b = 11 - 8. Suppose -216 - l = -b*g. Is g a prime number?
False
Let l be (-69)/6*(-1 - (2 + -1)). Let y(h) = h**3 - 13*h**2 + 20*h + 27. Is y(l) a composite number?
True
Let m be 0/((-6)/(-3 - 0)) - -602. Let i = 1819 - m. Is i a prime number?
True
Let h be 6/(-9)*-21 + (-6)/3. Let j(s) = 9*s**3 - 12*s**2 + 20*s - 41. Is j(h) composite?
True
Let w(x) = -22*x**2 - 30*x + 19. Let p(f) = 50*f**2 + 61*f - 39. Let q(a) = 6*p(a) + 13*w(a). Is q(21) a composite number?
False
Let m = -19 - 5. Let x be (-6)/(3 - (-81)/m). Is x/(-40) + 2247/5 a prime number?
True
Let i(s) = -7*s - 94. Let d be i(-14). Is (-1*(-11 - 3887))/(d/26) a prime number?
False
Let c(i) be the first derivative of 23 - 9/2*i**2 + 3*i. Is c(-4) a composite number?
True
Suppose -5*t = l + 1310, -3*l + 3*t - 5263 = l. Let c be ((-411)/(-4))/((-5)/120). Let u = l - c. Is u prime?
True
Let t(l) = 2*l**2 - 12*l + 33. Let w(a) = a**3 + 4*a**2 - 5*a + 7. Let y be w(-5). Let n be (12/6)/(2/y). Is t(n) prime?
True
Let r(p) = -8258*p + 793. Is r(-5) prime?
True
Let s(u) = 3*u**2 - u. Let r be s(-1). Suppose 13*f = r*f + 45. Suppose -8*j = -f*j - 8433. Is j composite?
True
Let j = -441 - -451. Is -6*1 + -29390*(-5)/j composite?
True
Suppose -4002*a + 4043*a - 732634 - 1710925 = 0. Is a prime?
False
Suppose 0 = 3*n - 3*z - 621699, -2*n + 414430 = z + 3*z. Is n composite?
False
Let b(q) = 1349*q**2 - 24*q - 41. Let r be b(-14). Suppose -345*g - r = -354*g. Is g a composite number?
False
Let q = 331703 + -198792. Is q prime?
True
Suppose 4*s + 2968 = 4*g, -4*g + 5*s - 896 + 3865 = 0. Let o = 2252 - g. Is o a composite number?
False
Let q(u) = 1010*u**2 - 2665*u + 13. Is q(8) a prime number?
False
Suppose -3*c - 15974 = -4*x + 11940, -2*x - 3*c + 13984 = 0. Is x a prime number?
True
Let x(k) = 29869*k - 575. Is x(16) a prime number?
True
Suppose 2*y = 4*s + 1329340, 0 = -3*s + s - 10. Let i be y/80 + 2/(-8). Suppose -3*j - 2145 + i = 5*b, -3*j - b = -6155. Is j a prime number?
False
Let b = -175189 - -650108. Is b composite?
True
Let o = -78455 + 112274. Is o a composite number?
True
Let u = -777 - -7340. Let c = u - 3034. Let t = -2060 + c. Is t composite?
True
Suppose 93*j - 213*j = -80*j - 4807160. Is j prime?
False
Is 1*-15*4/(-36) - 5655056/(-33) a composite number?
True
Let r(t) = 690*t + 443. Is r(2) a prime number?
True
Let s(z) be the second derivative of -z**3/3 + 2*z**2 - 40*z. Let c be s(5). Is ((-5 - -3) + 350/(-4))*c a composite number?
True
Is -3 - 439*-1395 - (2 + -9 + 8) prime?
True
Let l be (1747/2)/((-49)/98). Let s = 3292 - l. Is s a prime number?
True
Suppose -4*h = 38 - 50. Is (-7 - 22)*(-201)/h composite?
True
Let c = 201 + -198. Suppose 4*m - 4*i - 2864 = 0, -m = -3*m + c*i + 1429. Is m prime?
True
Suppose 7 = -5*f - 2*f. Let c be (4 - 8) + (-2 - (f - 10)). Suppose c*g - 7841 = -k + 3*k, 6280 = 4*g - 4*k. Is g a prime number?
True
Let z(c) = 5*c + 2. Let i be z(-2). Let m(g) = g + 11. Let d be m(i). Suppose 3*k = j - 1528, -d*k - 7710 = -5*j - 2*k. Is j composite?
False
Let p(n) be the first derivative of 6010*n**2 - 7*n - 192. Is p(1) prime?
False
Let l(y) = -4*y - 19. Let g be l(-4). Is ((-9)/108*g)/((-2)/(-52648)) a composite number?
False
Suppose 0 = -2531