((6 - 3) + -2)*0. Is f(v) a composite number?
False
Let v = -349 - -708. Is v composite?
False
Let a = 897 - -1580. Is a a prime number?
True
Let s = -12 - -29. Suppose 531 = 17*w - 387. Let l = w - s. Is l prime?
True
Suppose -6*l + 17324 - 1700 = 0. Suppose -3*s = -3, -2*b = -2*s - l - 1390. Suppose 0 = 3*i - 6, 0 = r + 3*r + i - b. Is r composite?
False
Let r = -1176 + 4603. Is r composite?
True
Is (-10674)/4*(-108)/162 prime?
False
Is 1/3 + (-2471952)/(-126) a prime number?
False
Let u(f) = 7*f**3 + 3*f**2 - 7*f + 19. Let a = 148 - 144. Is u(a) a composite number?
False
Suppose 0 = o + z + 3*z - 7, -5*o + 3*z = -58. Let a(k) = -k**3 + 11*k**2 + 3. Let u be a(o). Is (1 - -2 - u) + 1087 a composite number?
False
Let c = -19 + 21. Suppose 0*s = c*d + s - 939, -2*d = 4*s - 954. Is d a prime number?
True
Let t = 1103 - 4646. Let d = t - -4995. Suppose -4*y = o + 4*o - 2433, -5*y + d = 3*o. Is o a prime number?
False
Suppose 7*c - 3*c = 788. Let s = 300 - c. Is s prime?
True
Suppose -3737 - 2563 = -5*l + 5*q, -5*l + 6285 = -2*q. Let m = l + -368. Is m a prime number?
True
Let n = 17 + -26. Let g be 5/4 + n/(-12). Suppose -3*o + 5*o = b + 397, 5*o + g*b = 1015. Is o composite?
True
Suppose -5*t - 5358 + 44236 = 4*k, -4*t = -5*k + 48618. Is k prime?
False
Suppose 13*z - 41 = 37. Let k(o) = -381*o + 2. Let h(c) = -190*c + 1. Let a(w) = -9*h(w) + 4*k(w). Is a(z) prime?
False
Let u(i) = -i - 5. Let g be u(-5). Suppose w - 5*w + 400 = 0. Suppose -k + w + 61 = g. Is k composite?
True
Suppose 6126 = 3*h + 5*r, -2*h + 1311 = 2*r - 2777. Is h a composite number?
True
Let k(v) = 3*v + 15 - 14*v - 8*v - 4*v. Let s be (1/(-1))/1 - 12. Is k(s) a prime number?
False
Let q(b) = -117*b + 33. Let w be q(-22). Suppose 0*i + 3*i = w. Is i composite?
True
Let c(w) = -w. Let x be c(8). Let r = x + 275. Is r composite?
True
Let u(w) = w + 4. Let c be u(-2). Suppose -2*y - 4*n = y - 70, -c*y = 5*n - 42. Let r = 228 + y. Is r prime?
False
Let j(g) = -g**2 + 211. Suppose -3*c - 2 = p - 9, -5*c - 2*p = -11. Suppose 0 = -4*v - c*y, v + 5*y - y = 0. Is j(v) composite?
False
Suppose 2*w = -4*o - 0*w + 552888, 0 = 2*o - 2*w - 276438. Is o a composite number?
True
Suppose 58971 = 21*g - 52980. Is g composite?
True
Let s = 7917 + -4591. Suppose -5*m - 3*o + s = 0, -4*m - 5*o + 2656 = -o. Is m composite?
True
Let j = 42 - 7. Suppose -p + 124 = -j. Suppose -5*a + w - 4*w = -782, a - 2*w = p. Is a prime?
True
Suppose -6*d = -4*d - 2. Let g be (-1707)/6 + d/(-2). Is g/(-6) + (-9)/(-6) a prime number?
False
Let u = -14 - -16. Suppose -3*k + 3*y = -6, 4*y - 6 - u = 0. Suppose 0 = -2*t - 2, -k*t = 4*i - 0*t - 672. Is i a prime number?
False
Let i(m) = -14*m + 7. Let p be i(-2). Suppose -6*s + 713 - p = 0. Is s a composite number?
False
Let g = 583 + -276. Is g a prime number?
True
Is (-105648)/(-16) + -9 - 1/1 a composite number?
True
Let n(o) = -3*o - 6. Let m be n(0). Let z(q) = 0*q + 1 - 5*q - 7*q + q**2 - q**3 + 4*q. Is z(m) a prime number?
False
Suppose -x - 3*j + 194 = 0, 2*x + 135 = -j + 538. Is x a prime number?
False
Suppose 0 = -t + 5*t + 4*v - 16, 4*t = 3*v + 2. Suppose 8 - 4 = t*f, -3*d + 1911 = 3*f. Is d prime?
False
Suppose h = -0*h - 4*p + 528, -4*h = -3*p - 2150. Suppose -3*q + h = 5*o - 4*q, -324 = -3*o + 3*q. Suppose 0 = 3*r + o - 464. Is r prime?
False
Suppose -k - 2*k = 3*b - 84600, -3*b = -4*k - 84565. Is b a prime number?
False
Is 4063617/437 - (-4)/38 a prime number?
False
Let a = 1 - 1. Suppose -3*x - x + 236 = a. Is x a composite number?
False
Let u(s) be the first derivative of s**3/3 + 2*s - 4. Let v be u(0). Suppose v*p - 251 = p. Is p prime?
True
Let y(i) = 5 + 2*i + 2*i + 5 - 6*i. Let t be y(-7). Suppose -69 = 23*c - t*c. Is c a composite number?
True
Suppose -4*j + 0*j = -236. Suppose 3*y - 48 = -u, -u + 2*y = -6*u + 292. Let z = u + j. Is z composite?
True
Is (35 - -2)/((-4)/40*-2) prime?
False
Let m(t) be the second derivative of 13*t**5/20 - t**4/6 + t**2/2 + t. Let c be m(1). Is 254 + -4*c/(-16) a prime number?
True
Let q be (6/(-21))/(2/(-14)). Let k be (-2*4)/1 + q. Let t = k - -191. Is t a composite number?
True
Let s = 17 + -11. Let v(w) = 3*w - 14. Let z be v(s). Suppose -3*n + l = -31, -z*n = l - 14 - 25. Is n prime?
False
Suppose -3*c + 15 = -3*a, 4*a = -4*c - 1 - 3. Let t be (a/(-6))/(5/1990). Suppose w + 0*w = -1, y = -4*w + t. Is y composite?
True
Let y(j) = -j + 567. Let d be y(0). Let u = 953 - d. Is u/3 - (-13)/39 prime?
False
Let z be 2/4*(9 - 9). Suppose z = a - 39 - 72. Is a composite?
True
Suppose -4*c = 12, 3*c = n - 1 - 16. Is n/14 + (-2918)/(-14) a prime number?
False
Let j(l) = -892*l + 23. Is j(-42) a composite number?
True
Let q(g) = 2*g**3 + 76*g**2 + 68*g + 95. Is q(-34) composite?
True
Let u(o) = 5*o**2 + o + 11. Suppose -2*y = 3*j - 2, -2*j - 7 = y + 2*y. Is u(j) a prime number?
False
Suppose -3*c + 3*r + 309 = 0, -2*c - r + 2*r = -206. Let y = 399 + c. Is y a composite number?
True
Is -4 - (-5 - -7) - (-3440 - -1) prime?
True
Let t(h) be the third derivative of 7*h**4/3 + 29*h**3/6 - 19*h**2. Is t(4) composite?
True
Suppose 0 = 6*v - 8*v. Suppose -2*j + 6 = -v*j. Let f(w) = 27*w + 6. Is f(j) prime?
False
Suppose -3*o = 3*c + 704520, -2*c = -4*o + o + 469665. Is c/(-153) + 4/34 prime?
False
Let k(f) = -1673*f - 114. Is k(-5) a composite number?
True
Let j(m) = -42*m. Let u be j(6). Let p(l) = l**3 + 14*l**2 - 3*l - 1. Let d be p(-11). Let q = d + u. Is q prime?
False
Let b = -799 - -1411. Suppose -l = -r - 2*l - 196, b = -3*r + 3*l. Is r/(-8 + 4) - 3 prime?
True
Is (-891)/(-81)*1*569 composite?
True
Let b(g) = -9*g + 97. Is b(7) a prime number?
False
Let i(l) be the third derivative of -35*l**4/8 - l**3/6 - 5*l**2. Let v be i(2). Is 1 - (v + 2 + -1) composite?
False
Suppose 3*a = -4*b + 22, 3*a - 6 = -0*a. Let n be (-6396)/(-91) + b/(-14). Let x = -31 + n. Is x a prime number?
False
Suppose -13*h = -18*h + 20. Suppose -h*n + 510 = -374. Is n composite?
True
Let m = 126 - 123. Let v = 4670 - 2070. Suppose -5*p + 2*b = m*b - 3262, -4*p = 4*b - v. Is p prime?
True
Let r(g) = -g**3 + 13*g**2 + 15*g - 5. Suppose 0 = 4*l - 2*l - 5*h - 5, -2*l + 4*h = -8. Is r(l) prime?
False
Let k(t) be the second derivative of 181*t**4/4 + t**3/6 + t**2/2 - 21*t. Is k(-1) composite?
True
Let i = 19 + -4. Let d = -22 + i. Let z(j) = -51*j + 2. Is z(d) prime?
True
Suppose 18644 + 10091 = 7*t. Is t prime?
False
Suppose -2*w + 6922 = -h, -w - 6*h + 4*h + 3471 = 0. Is w prime?
True
Suppose 4*w = 5*o + 5*w - 13535, -5414 = -2*o + 4*w. Is o a prime number?
True
Suppose -2*c - 2*m + 16287 = 1551, 0 = -2*c + 3*m + 14741. Is c a composite number?
False
Suppose 0 = -3*u + 3*t + 16533, 5*u - 4*t + 8*t = 27519. Is u prime?
True
Suppose -41*f + 384401 = 83830. Is f composite?
False
Let x(j) be the third derivative of 37*j**5/40 + j**4/24 + 2*j**3/3 + 4*j**2. Let w(v) be the first derivative of x(v). Is w(2) composite?
False
Suppose -9*t + 54081 = -64080. Is t prime?
False
Suppose -x + 5266 = -5*g + 8*g, g - 4*x - 1764 = 0. Suppose -g = -13*w + 3405. Is w a prime number?
True
Let k(a) = a**3 - 32*a**2 + 99*a - 13. Is k(29) prime?
False
Suppose 5*u = -4*b + 500, 4*b - 227 = 2*u + 301. Suppose -p + 1133 = b. Is p prime?
False
Let a be (-211760)/(-14) - (182/49 + -4). Is 3/(-2)*a/(-9) prime?
True
Suppose 2*y - 216 = 9862. Suppose 4*r - 5064 = -4*z, 5*z - z - r - y = 0. Suppose 6*v = z + 3449. Is v prime?
False
Suppose y + 3*j = -4, 0 = -2*y + 3*j + 1 + 9. Suppose 2*q - y*m = -20 + 3658, q + 5*m - 1819 = 0. Is q a composite number?
True
Let c = 6014 + -2996. Suppose 0 = 19*q - 25*q + c. Is q prime?
True
Let k be (-431950)/18 + 18/81. Is 12/54 - k/27 composite?
True
Let q = 12 - 12. Suppose -1 = -b - q. Is b + 2/2 + 87 composite?
False
Let y be (-3)/(-2 + 4/4). Suppose 0 = 5*n - 12 - y. Suppose 111 = p + n*p + 5*x, -3*p - 3*x = -87. Is p a prime number?
False
Is (-342172)/(-393)*(-87)/(-4) a prime number?
False
Let q = 221 - 154. Suppose q = 23*h - 22*h. Is h composite?
False
Is 6*(-3)/(-45) + 102666/10 composite?
False
Suppose 3*q + 3*q - 108 = 0. Let c = q - -18. Suppose c = 4*m - 40. Is m a composite number?
False
Let a be (98/21)/((-1)/(-219)). Let z = a - -2243. Is z a prime number?
False
Suppose -5*q = 5*j - 77488 - 45462, 0 = 2*j + q - 49183. Is j a com