 Let y be d(1). Suppose -4*l + 9 = y. Suppose -7*q = -l*z - 2*q + 128, q = -2. Is z composite?
False
Suppose 4*c - 23 = -3*y, 0 = c - 4*c + 3*y - 9. Suppose c*d - 5*n = d + 62, 0 = -3*d - 2*n + 186. Suppose 0*z = -2*z + d. Is z a prime number?
True
Is (-6)/(-8)*(-3)/(18/(-28104)) a composite number?
True
Suppose -20*r + 11424 = 14*r. Let a be -1 + -1 - (-3)/(-3). Is (-3 - (a - r)) + -1 prime?
False
Let f(s) = -122*s + 365. Is f(-15) composite?
True
Suppose 5441192 - 1732617 = 65*h. Is h prime?
False
Let f = 2212 + -1390. Suppose -q = -d + 201, 8*q - 3*q = -4*d + f. Is d prime?
False
Let f be (-1)/(5780/1444 + -4). Let m = f - -1378. Let b = m - 598. Is b a prime number?
True
Let x(i) = 299*i - 16. Let r be x(11). Suppose -g - 2*g + r = 0. Is g prime?
True
Let v(p) = 4*p**2 + 5*p + 4. Suppose 0 = -5*f + 2*f - 15. Is v(f) a composite number?
False
Let n = -29823 - -54766. Is n prime?
True
Suppose 8490 = 4*w - 2786. Suppose -w = -2*m - 3*b + 1809, b = -4*m + 9266. Is m composite?
True
Let u(c) = 22*c**2 + 48*c - 7. Is u(15) a prime number?
False
Let s(o) = -390*o - 5. Is s(-4) composite?
True
Let z(t) = -t**3 + 34*t**2 - 23*t + 77. Is z(33) a composite number?
True
Let u(t) = -47*t - 45*t - 5*t - 7 - 139*t. Is u(-6) prime?
True
Let c = 6951 + 8488. Is c a prime number?
True
Suppose 0 = -k + 5*b + 26866, -3522 = 2*k + 3*b - 57241. Is k a composite number?
False
Let k = 1072 + 2773. Suppose -7*t = -12*t + k. Is t prime?
True
Let v(c) be the second derivative of -1/2*c**2 + 0 + 4/3*c**3 + 5*c. Is v(5) a prime number?
False
Let v be (-1432)/((-2)/1)*1. Let a = -409 + v. Is a prime?
True
Let k = -9597 + 31526. Is k a composite number?
False
Is (-7)/((-56)/(-16)) - -9295 prime?
True
Let k(w) = -126*w - 95. Is k(-4) prime?
True
Suppose 4*m - 600 = 3*x, 67 = 3*m + 2*x - 383. Let q = 421 + m. Is q composite?
False
Let j(o) = -31*o + 3787. Is j(0) a composite number?
True
Suppose 38 = 2*u + 2*u - s, 58 = 5*u + 4*s. Is (u/35)/(1/161) prime?
False
Let m = -8438 + 15693. Is m a prime number?
False
Let c be 2513/(-42) - (-1)/(-6). Let s = c + 122. Suppose 3*m - s = m. Is m prime?
True
Let f(k) = -k**2 - 25*k + 56. Let j be f(-27). Is (-11748 + j)*1/(-2) a prime number?
False
Is (-2)/5*12978520/(-304) a prime number?
True
Let k = -37 + 76. Is 43004/k - (-2)/6 a prime number?
True
Let n be (-1 - 0) + (287 - -2). Suppose 230*v - 224*v - 1038 = 0. Let a = n - v. Is a composite?
True
Let b = 92 - 89. Is ((-2)/3 - 0) + 713/b a composite number?
True
Suppose 0 = -0*a - 3*a. Is a + 1 + ((-15384)/(-3))/4 prime?
True
Let o(h) = -h**3 + 9*h**2 + 12*h - 17. Let f be o(10). Let b(u) = 257*u + 8. Is b(f) composite?
True
Suppose -5*g + 30 = 3*z, 4 = -z + g + 2*g. Suppose -5*l - 2*w = 8 - 30, -5*l = z*w - 25. Let f(p) = 2*p**3 - 6*p**2 + 6*p - 1. Is f(l) prime?
False
Let c(i) = 62*i**2 + 14*i + 23. Is c(-9) composite?
False
Let s = -111 + 69. Suppose -4*t + 52 = -m + 13, 0 = 4*t + 3*m - 43. Is (s/t)/((-2)/10) a composite number?
True
Suppose 3*v + 19 = -4*r - 36, -5*v - 18 = r. Let k = r + 6. Is (-2)/k - 4098/(-14) prime?
True
Let x = 185 - -93. Suppose -3*d + j - x = 130, -d + 3*j - 136 = 0. Let t = -53 - d. Is t a composite number?
False
Suppose -i = -262 - 223. Let s = i + -240. Suppose -5*b + 16 = r - 211, -5*r - s = -5*b. Is b composite?
True
Suppose -7*f = -2*f - 10, -4*n - 4*f = -16. Suppose 2*b = 3*s - 7075, 0 = n*s + 2*b - 1546 - 3164. Is s prime?
True
Let t = 2182 + -956. Is t composite?
True
Let n be -2 + -3*(-28)/12. Suppose -1390 = -0*c - 4*c + 2*t, n*t - 15 = 0. Suppose 0 = -i + q + c, -5*i + 0*q + 1761 = -q. Is i a composite number?
False
Suppose -u + 280 = -89. Suppose -g - 5*m + 240 = 0, 4*g - 18*m - 872 = -16*m. Let d = u - g. Is d composite?
False
Suppose 0 = 5*r + 31*r - 43812. Is r composite?
False
Let d(f) = -2*f**2 - 7*f - 2. Let t be d(-3). Let c be (-4)/(3 + t) + 7. Suppose -9 = -3*v, w - v + 1508 = c*w. Is w a composite number?
True
Let u(f) = -2*f + 2 - 11 - 2 - 24*f. Is u(-9) prime?
True
Is (-11777)/(((-14)/(-49))/(-2)) prime?
False
Suppose 0*y = -2*o + 2*y + 760, 5*o - 3*y - 1890 = 0. Let a = 2222 - o. Is a prime?
True
Let x = -11 - -15. Suppose 2*t + 3*k = x*k + 7, 4*t - k = 17. Suppose t*m - 266 = 104. Is m a composite number?
True
Suppose -88681 = -3*t + 89840. Is t prime?
False
Suppose 4*f - 5*t - 6477 = 0, -t + 4872 = 3*f - 0*t. Is f prime?
False
Let a be -3*4/(-12) - 97. Let u = a - -223. Is u a prime number?
True
Let f(d) be the first derivative of -d**3/3 - 3*d**2 - 5*d - 5. Let k be f(-5). Suppose k = -2*l - l + 231. Is l prime?
False
Let n(u) = -6351*u + 248. Is n(-13) composite?
False
Let u(p) = 200*p**2 + 10*p - 23. Is u(-5) composite?
True
Let r(f) = 438*f - 51. Is r(8) composite?
True
Is 33697 - ((-9 - -6) + 3)/(-1) a composite number?
True
Is (-110622)/(-12) + 1*15/(-10) composite?
True
Suppose -t - 4*i = -1107, -5*i + 25 = -0*i. Is t prime?
True
Suppose b + 2*s = 21, 8*s + 110 = 4*b + 3*s. Suppose 4*n = -n + b. Suppose -n*f + 403 = -4*y, y + 0*y + 2 = 0. Is f a prime number?
True
Let o = -44 + 62. Suppose z - 19 = o. Is 5/((-15)/6) + z a composite number?
True
Let m(o) = o**2 - 2*o + 1. Let i = -6 - -7. Let u be m(i). Suppose -5*y = 4*t - 35, -4*t + 3*y = -u*y - 75. Is t a composite number?
True
Suppose -3*u = 2*u - 6275. Suppose -u = -3*f + 2828. Is f a composite number?
False
Let n(t) = 271*t + 6. Let u = 61 + -56. Is n(u) composite?
False
Suppose 2*s - 126 = -4*v + 144, -s - 4*v = -137. Let l = -80 + s. Let m = 324 + l. Is m a composite number?
True
Let u(k) = k**3 - 4*k + 5. Let v be u(2). Suppose -3*s - n + 931 = -6*n, 5*s + v*n - 1605 = 0. Is s prime?
True
Let m(x) = 2*x**3 + 7*x - x + 4*x + 8 + 197*x**2 - 186*x**2. Is m(9) a composite number?
False
Let l(o) = -21*o**2 - 5*o - 17. Let h(m) = 11*m**2 + 3*m + 9. Let k(s) = -7*h(s) - 4*l(s). Let d be k(-5). Suppose 8*c = 3*c + d. Is c prime?
True
Is 1/(1 - (-4584)/(-4588)) composite?
True
Let m = 63 - 60. Suppose 0 = m*a - p - 385, 3*a + 63 - 424 = -5*p. Is a prime?
True
Let q = 214 - 69. Suppose 0 = f - 5*m - q, -5*f + 451 = -2*f + m. Suppose -13 = -h + f. Is h prime?
True
Let t be -23 + (-9)/((-6)/(-2)). Let i be (-4)/t - (-4824)/78. Suppose 0 = -3*f + 155 - i. Is f a prime number?
True
Let y(z) = -72*z + 125. Is y(-14) a composite number?
True
Let b be (-16)/14 + (-8340)/420. Let o(a) = 7*a**3 + 14*a**2 - 8. Let f(r) = r**3 - r**2 - 1. Let g(w) = 6*f(w) - o(w). Is g(b) a composite number?
False
Suppose -2*b = 5*a - 2212, 2*b + 7*a = 3*a + 2212. Let t = b + 353. Is t composite?
False
Let i = 11 - 7. Suppose -5*b + 1329 = -2*l, -3*b - i*l + 533 + 254 = 0. Is b composite?
True
Let q(w) = w**3 - 9*w**2 + 2*w - 12. Let o be q(9). Suppose -4*c = 3*m - 2917, 2*m - o*m + 3*c + 3856 = 0. Is m prime?
True
Let y = 8 + -6. Suppose -4*r + 9*r = 4*l - 317, 229 = 3*l - y*r. Suppose -3*w + l = -104. Is w prime?
True
Suppose 18*h - 31506 + 5208 = 0. Is h a composite number?
True
Let i(z) = -1104*z - 8 + 2302*z + 2403*z. Is i(1) prime?
True
Let j(r) = 2*r**2 - 5*r - 5. Let h(p) = -1 + 3*p + p - 3*p**2 - 5*p + 2*p**2. Let o(y) = -2*h(y) + j(y). Is o(4) a composite number?
True
Let s be (1924 - (5 - 6)) + -4. Let c = s + -704. Is c a prime number?
True
Let z be (-3)/(-1) + -8 + 3. Let d(w) = 177*w**2 + 4*w + 3. Is d(z) composite?
True
Let a(v) = -29*v - 1. Let m be a(1). Let z = -30 - m. Suppose 0*f + 504 = 4*f + 3*t, z = 5*f - 2*t - 653. Is f a composite number?
True
Suppose 22*j - 42139 = 4303. Is j composite?
False
Let s = 12 - 10. Let c be (2/s)/(2/112). Suppose 0 = -5*i + 39 + c. Is i a prime number?
True
Suppose -3*n + 11939 = v - 7*n, 0 = 3*v - 4*n - 35785. Is v prime?
True
Let j(x) = 16*x**2 - x. Let m(k) = k**3 - 7*k**2 - k + 8. Let i be m(7). Let q be j(i). Suppose 0 = -3*g + 42 + q. Is g a composite number?
False
Let z be (-465)/6 - 4/(-8). Is z/(-2) - (-7)/14 composite?
True
Suppose -3*d + 16739 = -2*o, -5171 = -d - o + 412. Is d composite?
False
Suppose -327*l + 4*f = -330*l + 47581, 2 = 2*f. Is l prime?
True
Suppose -10*n + 98513 = -2277. Is n composite?
False
Suppose 4787 + 5002 = -39*f. Let k = 102 + 262. Let m = k + f. Is m a prime number?
True
Let d = -566 - -250. Let c(v) = -28*v**3 - 2*v**2 - 4*v + 1. Let p be c(3). Let m = d - p. Is m a prime number?
False
Suppose 2*p +