s x a composite number?
True
Suppose -5*p - 4*y - 1 = -0*y, -3*y - 24 = -4*p. Suppose 5*b - 5 = -p*j, 0 = -7*b + 3*b - 2*j + 4. Suppose -126 = -o + b. Is o prime?
True
Suppose 0 = -3*q + 8 + 7. Suppose -n = 5*c - 31 - 11, q*c + 3*n = 36. Let u(y) = 11*y - 16. Is u(c) a prime number?
True
Let l = -3183 + 402. Let i = 5098 + l. Is i a composite number?
True
Let t be (3 - 3)/(2 + 0) + 3. Suppose -t*a + 1880 = 353. Is a a composite number?
False
Let r = -42 + 38. Is (-29)/(-3)*(r - -10) composite?
True
Suppose 0*n + n - 39 = 0. Is ((-134)/6)/((-13)/n) a composite number?
False
Let q = -16 + 18. Suppose -f - q*o + 633 = -531, f + 3*o = 1159. Suppose 2*v = -0*v + f. Is v a prime number?
True
Suppose 12*k = 2*k + 17950. Is k a composite number?
True
Let i(x) be the first derivative of 29*x**2/2 + x + 2. Let f be i(-1). Let z = 51 + f. Is z a prime number?
True
Let a(q) = q**2 + q - 4. Let l(u) = -u - 3. Let m be l(4). Let o be (1 - m/(-4))*-8. Is a(o) composite?
True
Suppose 14 = 2*s + 2*g - 0*g, -5 = -3*s + g. Suppose -m = -s*c + 5, -2*m = 5*c - 0*m - 12. Let l(z) = 44*z - 1. Is l(c) composite?
True
Is (-4)/(-14) + (-1148056)/(-392) a composite number?
True
Suppose 3*u + 15*u - 144 = 0. Suppose -1152 = -3*n + 5*d, u*n - 1131 = 5*n - 2*d. Is n a prime number?
True
Let s(c) = -c**3 + 9*c**2 + 10*c + 5. Let d be s(9). Suppose 2*b - 3*p + 33 = -4*p, 5*p + d = -5*b. Is b/49 - 3523/(-7) prime?
True
Let n(t) = -3*t**2 + 3*t - 4. Let k be n(3). Let r = -20 - k. Is 321 - r - 0/(-3) a composite number?
True
Let l(z) = 69*z + 3. Let n(s) = -s**2 + 16*s + 2. Let j be n(16). Let a be l(j). Let r = 380 - a. Is r composite?
False
Suppose 0 = 3*f + 5*p + 3709 - 14867, -4*p + 3731 = f. Is f prime?
False
Let o = 4245 + -2781. Suppose -o = -f - 341. Is f composite?
False
Suppose -2758 = -29*g + 27*g. Is g a composite number?
True
Let r(n) = 0 - 4 + 50*n + 140*n + 5. Suppose 20 = -5*h - 5*a, 0*a = 4*h + 2*a + 6. Is r(h) composite?
False
Suppose 18*b - 9*b - 40311 = 0. Is 6/16 - b/(-24) composite?
True
Suppose -5*a - 2228 = -3*v, 5*a - 676 = -2*v + 851. Is v composite?
False
Let m(l) = l**3 - 13*l**2 + 24*l - 3. Let x be (1 - 1/1) + (-7 - -18). Is m(x) a composite number?
False
Suppose 0 = -4*t - 11*t + 13515. Is t a prime number?
False
Let w be 70/(-15) + (-1)/3. Let i = w - -5. Suppose -15 = -i*l - l. Is l prime?
False
Let i be (1 - 2*-1) + 0. Suppose 0 = -12*w + 16*w - 4. Is 86/w - (i + -6) a prime number?
True
Let a(h) = 156*h**2 - 12*h - 7. Is a(5) composite?
False
Suppose -14631 = -4*o + q, -2*o = -16*q + 14*q - 7308. Is o prime?
True
Let r = -20 + 41. Let c be (r/3)/(1*-1). Let t(j) = -j**3 - 7*j**2 - 8*j - 3. Is t(c) prime?
True
Let v(x) be the second derivative of x**5/20 - x**4/6 - x**3 + 3*x**2/2 - 5*x. Let y(c) = -5*c**3 + c**2 - c - 1. Let t be y(-1). Is v(t) prime?
False
Suppose 5*g - 872 = -m + 4*g, -2*m - 3*g + 1748 = 0. Suppose -1365 = -7*l + m. Is l a composite number?
True
Is (-3 + -31880)*1*-1 composite?
False
Suppose 4*t + 2*n - 9862 = 0, -20*t + 15*t + n = -12338. Is t a composite number?
False
Let h = 37533 + -26630. Is h composite?
False
Let u = -17 - -21. Is (-1362)/u*(-60)/18 composite?
True
Let q(g) = -13*g + 16. Let m be q(4). Let h = m - -503. Is h prime?
True
Suppose 0 = -0*h + 5*h - 2*u - 6, h + 2*u - 6 = 0. Suppose h*x = x + 240. Suppose 4*l - 314 = -2*j, l - 4*l + x = 3*j. Is l prime?
False
Suppose 6*a + 5*i = a + 30, -3*a - i + 12 = 0. Suppose -5*n + l + 1535 = 0, 0 = -0*l + a*l. Is n prime?
True
Let h = -1639 - -2481. Suppose -r - 85 = -h. Is r prime?
True
Let r(d) = 30*d**2 + 5*d + 74. Is r(-9) prime?
True
Let d(m) = 2*m**3 + 4*m**2 + 7*m + 1. Let y be d(5). Suppose -a + 3*n + 15 = -164, -2*a - n = -y. Is a composite?
False
Let c(m) = 3*m**2 + 5*m + 2. Let l be c(-2). Is -2*(l - 21/6)*-191 a prime number?
True
Let a be (1/3)/((-3)/(-54)). Let f = 50 - a. Suppose i = -i + f. Is i composite?
True
Let m(v) = -212*v + 5. Suppose 0 = 4*r - 22 - 2. Suppose -3*u - r = 3. Is m(u) prime?
True
Is ((-2166)/(-12) - -10) + (-1)/(-2) prime?
True
Suppose 13 = -z + 4*b, b + 5 = -0*z + 3*z. Suppose -5*l + 4*l + 1456 = 5*t, -z*t = -5*l + 7196. Is l prime?
False
Let c = -1847 + 3786. Is c a composite number?
True
Let a(t) be the second derivative of -t**4/12 + 947*t**2/2 - 15*t. Is a(0) prime?
True
Suppose 661 = 4*p - 639. Suppose -4*c - c + p = -2*q, q = -c + 58. Let t = c + -16. Is t a composite number?
False
Is ((-6)/(72/6447) - 1)*-20 a composite number?
True
Let b = 41 - -2123. Let n(t) = 14*t + 101. Let j be n(-7). Suppose v + j*v = b. Is v a prime number?
True
Let y = -12 - -12. Suppose -4*o + o + 1749 = y. Is o a composite number?
True
Let b = -7126 - -4899. Let o = b + 3790. Is o prime?
False
Let f(j) be the third derivative of -j**6/120 - 2*j**5/15 - j**4/3 + 2*j**3 + 40*j**2. Is f(-7) a prime number?
True
Is (-38393)/(-4) + (-17)/((-612)/27) a composite number?
True
Let t(s) = 2 + 12*s + 16*s + 7 - 11*s. Is t(5) composite?
True
Let f(g) = 8*g**2 + 10*g + 2. Let z(l) = -l**2 - 1. Let x(a) = f(a) - 3*z(a). Is x(8) composite?
True
Suppose -9*y + 1416529 = 2*c, 2*y + c + 99512 - 414294 = 0. Is y prime?
True
Let p(j) = 320*j**3 - 1. Let s(y) = 2*y + 16. Let u be s(8). Let o = u - 31. Is p(o) prime?
False
Suppose -5*f + 207839 = -3*h, -2*h = 60*f - 57*f - 124711. Is f a prime number?
False
Suppose -25*x + 2*j = -24*x - 909, -5*j - 3633 = -4*x. Is x a prime number?
True
Suppose 47515 + 33252 = 17*g. Is g prime?
True
Let a(z) = z**3 - 20*z**2 - 23*z + 41. Let d be a(21). Let i(q) = -3138*q**3 - q**2. Is i(d) prime?
True
Suppose q + 7815 = 4*h, q = 4*h - 9*h + 9780. Suppose -3*y + 1156 = -h. Is y prime?
False
Is ((-225)/(-18) - 13) + (-5139)/(-2) prime?
False
Let u = -7 + 74. Let k = u - 28. Is k a composite number?
True
Let w(u) = 198*u - 1. Let j = 2 - -1. Is w(j) composite?
False
Let t(s) = -3*s + 4*s - 11 + 2*s. Let y be t(7). Let w(u) = -u**3 + 12*u**2 + 11*u - 17. Is w(y) a composite number?
False
Is 4155/(-6)*330/(-275) a composite number?
True
Let d(i) = -156*i + 7. Let w be d(-7). Let l(z) = 2*z**2 + 3*z - 5. Let v be l(-3). Suppose 2*p - 3*x = w, -372 = -v*p - 2*x + 1866. Is p a composite number?
False
Is 661056/80 + 1/(-5) prime?
True
Let j = -7241 - -10283. Let f = j + -1061. Is f a prime number?
False
Is (-1)/(-1 + 0)*2203 composite?
False
Suppose 0 = -4*p - 4113 + 32329. Is p prime?
False
Let s = 8018 - 3735. Is s composite?
False
Suppose 10 = -4*v - 6, -3*u - 2*v = 2393. Let r = 1178 + u. Let h = -238 + r. Is h prime?
False
Let g(c) = -c**3 + 22*c**2 - 22*c + 16. Let p be g(21). Is (-10)/p - -538 - -1 prime?
True
Is (-1565809)/(-171) - 2*(-1)/9 a composite number?
False
Let u be 1*6*(-132)/(-8). Suppose 3*a = 3*i + 6, -5*a - 5*i = -0*a + 10. Is a + u + -3 + -1 a prime number?
False
Let l(x) = 3*x**2 + 12*x + 7. Let z be l(-5). Suppose -w = -3*s + 1445, -4*w + 34 = s - 452. Suppose s = 4*i + z. Is i composite?
True
Let i(q) = 114*q + 257. Is i(23) a prime number?
True
Let q = 24 + -21. Suppose -2*i - 3*d = q*i - 1135, -5*d = 3*i - 665. Suppose 2*g - 304 = i. Is g prime?
False
Let u = -1177 - -1967. Let a = u + -203. Is a prime?
True
Let c = 16 - 13. Let l(h) = 68*h**2 + 2*h + 2. Let a be l(c). Suppose -5*r + a = -5*m, -6*r = -2*r + 5*m - 523. Is r a prime number?
True
Let f = -2899 + 729. Is (f/(-4) - 2) + (-1)/(-2) prime?
True
Let d = 6 + -2. Suppose 4*a = d*x + 1016, x - 1397 = -5*a - 133. Is a prime?
False
Suppose 3*z - 10 = 2. Suppose 498 = 3*s - z*m - 232, 710 = 3*s + m. Let b = s + 91. Is b a composite number?
True
Let d = 2596 + 9378. Is d composite?
True
Let g(h) = 4747*h**2 - 24*h - 45. Is g(-2) a composite number?
True
Suppose -g - 6415 + 19508 = 0. Is g a composite number?
False
Let c(q) = q**2 + q + 6. Let r be c(0). Let u be (r + 2)*50/4. Let a = u - -137. Is a a composite number?
True
Suppose -3*q - 5*y - 1418 + 9300 = 0, y = -1. Is q a composite number?
True
Is (8 - (-2 + -1))*(-1 + 54) a prime number?
False
Let c(m) = 2217*m**2 + 12*m - 5. Is c(2) a composite number?
False
Suppose 4*p - f - 24 = 0, -2*p + 5*f + 17 = -13. Suppose 5*w = n + 5484, 4*w = p*n + 1696 + 2687. Is w composite?
False
Let z(y) = 45*y**3 - 6*y**2 + 16*y - 10. Let a be z(3). Suppose -i - 534 + 74 = 0. Let v = i + a. Is v prime?
True
Suppose 0 = -