598 = -5*s + 9*s - 2*l. Is s a prime number?
False
Let i be (-2)/(16/28 - (-6)/(-21)). Suppose 57 + 87 = 2*j. Let d = j - i. Is d prime?
True
Let r be ((-6092)/6)/(20/(-30)). Suppose 3*b - 3011 = -2*h - 0*b, 2*b = h - r. Is h prime?
False
Let s(j) = j**2 - 2*j - 14. Let o(l) = -2*l**2 + l + 13. Let c(q) = -3*o(q) - 4*s(q). Is c(-9) a prime number?
False
Let w = -2476 + 8085. Is w prime?
False
Suppose s + 4*i = -0*s + 29, i + 35 = 3*s. Let m be 80/s - 28/182. Let j(n) = 9*n**2 - 5*n + 1. Is j(m) composite?
True
Let u = 553 + 726. Is u a composite number?
False
Let n be (-11)/(11/(-780))*-1. Is 0 - (n/(-4))/(-3) composite?
True
Suppose 0 = -4*i - 1683 + 11167. Is i composite?
False
Let a(t) = 29*t**3 - 8*t**2 + 6*t + 1. Let j be a(5). Suppose 0 = -5*n + j + 3899. Is n prime?
True
Let d = 22003 - 8250. Is d a prime number?
False
Suppose 7*g = 2*g + 55. Let u(l) = -l**3 + 12*l**2 - 12*l + 14. Let b be u(g). Suppose 0*h + 777 = b*h. Is h a composite number?
True
Let g(z) be the third derivative of -17*z**4/24 + 4*z**3 - 13*z**2. Is g(-11) a prime number?
True
Let d be 10736/(-14) + (3 - (-154)/(-49)). Suppose -w = -5*y - 4*w - 6060, 4*y + w + 4848 = 0. Let k = d - y. Is k a composite number?
True
Let j = 316 + -172. Let p be 8/(-44) + 57/11. Let c = j + p. Is c prime?
True
Suppose 0*d + 7*d = 49805. Is d prime?
False
Let y(u) be the third derivative of 0 - 1/60*u**5 + 0*u + 89/120*u**6 + 0*u**3 + 6*u**2 + 1/24*u**4. Is y(1) prime?
True
Let q be (-12)/(-10)*125/10. Suppose -4*m + q + 3 = 2*s, 0 = 2*s - 3*m + 3. Suppose -4*j + 523 = 5*f, 0 = 5*j - s*j - 4. Is f composite?
False
Suppose 18053 = -26*n + 28*n + 3*z, 0 = -3*n + 4*z + 27037. Is n a composite number?
True
Let z be (-310)/18 - 16/(-72). Let m = -20 - z. Is 1 + -5 - 1731/m composite?
True
Let i be 1/1 - 0 - -59. Let f(l) = 37*l + 327. Let g be f(-7). Is (-40)/i - g/(-3) a prime number?
False
Suppose 278 = -3*a + 1622. Suppose -4*s - 356 = a. Is (s/9)/(2/(-6)) composite?
False
Suppose -54 = -13*x + 11. Let r be (-371)/(-4) + 2/8. Suppose 2*a = -5*w - 31 + r, x*w = 0. Is a a prime number?
True
Let p = 38 + -46. Is (p - -11) + 420/2 a prime number?
False
Let q(y) = -y**3 + 7*y**2 - 2*y + 6. Let f(w) = -w**3 - 4*w**2 + 4*w + 2. Let o be f(-5). Let k be q(o). Let d(p) = -26*p - 3. Is d(k) a composite number?
True
Suppose 2*p + 6 = p + b, 10 = 5*b. Let i(v) = -10*v - 124. Let x be i(-14). Is p - 1796/(x/(-4)) a composite number?
True
Let m(z) be the first derivative of 27/2*z**2 - 1/3*z**3 - 6 - 10*z. Is m(11) prime?
False
Let g(i) = 29*i**2 - 7*i - 5. Is g(-22) a prime number?
False
Suppose 7*t = -0*t. Suppose j = 2*v + 2*j - 264, t = 2*v + 2*j - 266. Is v a composite number?
False
Suppose -2 = 2*w - 6. Suppose -2*i + 1488 = w*i. Suppose 0 = 4*r + i - 2240. Is r prime?
True
Suppose 22120 = 14*m - 21658. Is m a composite number?
True
Let j(u) = 51*u - 2. Let q(d) = -26*d + 1. Let f(b) = -2*j(b) - 5*q(b). Let c be (-1 - -2)/(3/9). Is f(c) prime?
True
Let j(c) = 180*c + 4. Let n be j(-4). Suppose k + z = -1 - 381, -3*k = -z + 1134. Let w = k - n. Is w composite?
False
Suppose 0 = -3*m - m + 2*d - 4484, 3*m = 3*d - 3360. Let r = m - -1687. Is r prime?
False
Is 10/(-4)*20524/(-10) prime?
False
Let p(k) = -k**3 - 10*k**2 + 9*k + 7. Let n be p(-12). Let r = n + -60. Is r a prime number?
True
Let j(g) = 3 + 60*g**2 + 16*g**2 + 0 - 4 - 2*g. Is j(-2) prime?
True
Let s = 28 + -32. Is (2 + 21)*(35 + s) prime?
False
Is (6/(-3))/(149568/74787 + -2) a prime number?
False
Let c(x) = -4*x**3 + x**2 - x - 1. Let h be c(-1). Suppose -5 = 2*n + h. Is (314/n)/((-6)/15) prime?
True
Suppose -2*o + 82907 = -409*w + 412*w, -4*o + 165819 = 5*w. Is o prime?
False
Suppose -w - 4*i + 1725 = 0, -2*i - 1805 + 5267 = 2*w. Is w composite?
False
Suppose 0 = 9*r + 6*r - 378015. Suppose -3*c + 5*i + r = -0*i, 42023 = 5*c - 3*i. Is c composite?
True
Suppose 5*j + 2*w - 41319 = w, 0 = j + 3*w - 8275. Is j prime?
True
Is (-21)/(-35) - 27592*(-3)/15 prime?
True
Let y(l) = l**3 + 20*l**2 + 17*l + 7. Let k be y(-16). Suppose 2*s - n = k, -3*n = -5*s + 1404 + 494. Is s a composite number?
False
Let n(y) = -2*y**3 + 10*y**2 + 10*y - 11. Let a be n(8). Let p = a - -455. Let j = 303 - p. Is j a composite number?
False
Suppose l - 3661 = -2*l + 5*y, 3*l - 2*y - 3655 = 0. Is l a prime number?
True
Let g be (1 - 1) + 0/(-5). Let t be -2*(-1 + -2 - -2). Suppose g = 3*b - 15, l - b - 364 = -t*l. Is l composite?
True
Let v = -4129 + 7078. Is v composite?
True
Suppose d - 3712 = 3567. Is d prime?
False
Let c(r) = -r**2 + 14*r + 11. Let z be c(14). Suppose -3*n = z*n - 13006. Is n composite?
False
Suppose 0 = -5*t - p + 50390, -5*t + 10*t - 50375 = -4*p. Is t a prime number?
True
Suppose 12 + 4 = 2*q. Let g = q + -3. Suppose -2*a + a = -g*b + 792, 5*a + 10 = 0. Is b composite?
True
Suppose -21*h + 27*h - 46578 = 0. Is h a prime number?
False
Let q = 4549 - -1813. Is q composite?
True
Let s = 6 + -2. Suppose 7*l = -8*l + 60. Suppose -l*m = -3*k + 159 + 118, 0 = 4*k - s*m - 368. Is k a composite number?
True
Suppose 3*j + 208 = 16*j. Suppose 0 = 4*r + j, 10*f = 5*f - 3*r + 253. Is f prime?
True
Suppose -4*k + 3*w + 17 = 0, -4 = 4*k + 6*w - 2*w. Suppose 0 = 2*y - 2*i - 1264, -617 = -k*y + y - 4*i. Is y a prime number?
False
Let g = -76399 - -126216. Is g a prime number?
False
Suppose 0*o - 2*o + 10 = 0. Let n(g) = 2*g - 7. Let y be n(o). Suppose 176 = 4*d - 5*x, -6*d + y*d = 2*x - 109. Is d composite?
True
Suppose -n + 5*m = 99, -m = -3*n - 5*m - 221. Let s = 228 + n. Is (-1 - -2)*s/1 prime?
True
Suppose -t = 2*i - 0*i - 4080, -5*t = 3*i - 6134. Is i a prime number?
False
Let c be ((-3)/(-3) + 1)/(-1). Let r be (2 - -1 - c)/1. Suppose d - r*q - 311 = -0*d, -4*q = d - 347. Is d a prime number?
True
Suppose 5*i - 24 = 4*p, 2*i - 24 = -3*p + p. Suppose f = 3*q + 17, -4*f = -i*f + 4*q + 36. Is 1484/10 + 3/f prime?
True
Let a = -16 - -22. Suppose 0 = -2*s + 5*s - a. Suppose 2*t + 5*i = 2*i + 221, s*i = -5*t + 580. Is t composite?
True
Let c be (-3 + 9)*(-6)/(-9). Let p be c/(-16) + 33/4. Let k(z) = 6*z**2 - z - 5. Is k(p) prime?
False
Let y = -1119 + 6310. Is y composite?
True
Suppose -3*u - u = -4*p - 52, p = 5*u - 45. Suppose 4*x + u = 0, 3*m + 2*x - 14371 = x. Suppose 0*t = 3*t - m. Is t a prime number?
True
Let z(k) = -k**3 - 6*k**2 - 6*k + 3. Let i be z(-5). Let q = 94 - i. Suppose -3*b - 47 = -2*y + q, -3*b = 4*y - 257. Is y a prime number?
False
Suppose -4*q - q - 16 = 4*b, -7 = -3*b + q. Let o(d) = 6*d + 1. Let r be o(b). Suppose 3140 = -3*i + r*i. Is i prime?
False
Let y(f) = -f + 1. Let j be y(-4). Suppose j*s - 1317 = 2*q - 5*q, 3*q - 2*s - 1338 = 0. Suppose -q = 5*r - 1379. Is r a composite number?
True
Let t be 2/((-8)/(-20)) - 0. Let x be 3/t + 2656/40. Let l = x - -24. Is l prime?
False
Let s(h) = 3*h**3 + 13*h**2 - 8*h + 9. Let g be s(-12). Let k = g + 4568. Is k a composite number?
False
Let x(n) = -5 - 6*n + 10*n**2 + 16 - 1 - 7. Is x(5) a prime number?
True
Let s = 3866 + -2441. Let l = s - -4546. Is l a prime number?
False
Suppose -4*p - 63403 = -3*u, 157*p + 105670 = 5*u + 152*p. Is u composite?
True
Suppose 79*g + 48592 = 95*g. Is g a prime number?
True
Suppose 0 = a - 5*i - 61, -5*i - 212 = -4*a - i. Suppose -v - 2*s = 2 - 21, 3*v + 4*s - a = 0. Is v a prime number?
True
Suppose -t + 5*t = 23228. Is t a prime number?
True
Suppose -w + f + 2 = -5, -3*w + 5*f + 29 = 0. Let d be w*(-2 - 26/(-6)). Suppose -d*i + 1842 = -545. Is i composite?
True
Let s(v) = v**3 - 4*v**2 - v - 7. Let r be s(4). Let h = r - -85. Is h a composite number?
True
Let t be 12/(0 - -4) + 1. Suppose t*m - 552 = 1504. Let y = -261 + m. Is y composite?
True
Is 2789922/152 - (2 + (-9)/4) composite?
True
Suppose -3*i = i - 18260. Let k = i - 2204. Is k a composite number?
True
Let p be (-1)/2*(-10 - -2). Suppose -2*r + 294 = -p*r. Let n = r + 224. Is n composite?
True
Suppose f + 0*f - 3*t = 0, -11 = 5*f - 4*t. Let n be f/(-12) + (-2172)/(-16). Suppose 3*u - 231 = 3*a, u + u = -4*a + n. Is u a prime number?
False
Let y(b) be the third derivative of 1/3*b**4 + 1/15*b**5 - 8*b**2 + 0 + b**3 + 0*b - 1/120*b**6. Is y(-5) a composite number?
False
Suppose -45*k - 773433 + 3575718 = 0. Is k a prime number?
True
Let u = 768 + -1296. Let q = u + 826. Let g = -165 + q. Is 