Is f a composite number?
True
Suppose -5*p + 68 = 4*v, 5*v = 2*p + 5 + 80. Suppose 13 = 5*l - v. Suppose -2*m + l*m = -12, -u = 2*m - 497. Is u a prime number?
True
Let c be 35/25 - (-6)/10. Suppose 0 = c*n - n + 65. Let i = -28 - n. Is i composite?
False
Suppose 0 = -2*c + 5*b - 226 + 19, 2*b = -6. Is ((-16)/(-6) + -3)*c a composite number?
False
Let n(p) = -58*p + 11. Let b(m) = -m. Let q(g) = 2*b(g) - n(g). Let z be 3/(((-4)/10)/(182/(-195))). Is q(z) prime?
False
Let a = -79 - -67. Let c(n) = -63*n - 53. Is c(a) a composite number?
True
Let s(l) = -1518*l - 5. Let p = -28 - -26. Is s(p) a prime number?
False
Let u(v) = 9*v + 4. Let t be u(1). Suppose 46409 = t*g - 4382. Is g prime?
True
Let n(r) be the second derivative of r**5/20 - r**4/4 - r**3/3 + 3*r**2/2 + r. Let t be n(4). Let c = 70 - t. Is c prime?
True
Suppose -3*b + b + 17 = 5*w, -5*b = 5*w - 5. Suppose -u = 5*t + w + 27, 5*t + 38 = -4*u. Is (-1)/t + (-87700)/(-120) a prime number?
False
Let k(l) = 1341*l + 52. Is k(6) prime?
False
Let s(a) = a**3 + 3*a**2 - 4*a + 5. Let c be s(-4). Suppose 5*y - 4*j = 2037, 3*j - 479 - 1572 = -c*y. Is y composite?
False
Let h(s) = 0 + s - 4 + 3. Let x be -2 - (-30)/(10 + -5). Is h(x) a prime number?
True
Let b(p) be the first derivative of 19*p**2/2 + 30*p + 14. Is b(7) a composite number?
False
Let y(u) = -u**3 - 22*u**2 + 91*u - 25. Is y(-27) a composite number?
False
Let t be (-1)/3 + (-33)/9 + 9. Suppose -t*o = -563 - 1427. Is o a composite number?
True
Let h(y) = 28*y**3 - 3*y**2 + 25*y + 29. Is h(6) a composite number?
True
Let t = 35 - 30. Suppose 5*m + t*p = p + 3057, -2*p - 4 = 0. Is m a prime number?
True
Is (10594*3/(-2))/(-3) composite?
False
Suppose 4*m = -5*y + 12, -3*y = -y - m - 10. Is y/(-5) + 2658/10 a composite number?
True
Let j(k) be the third derivative of -k**5/60 - k**4/8 + 7*k**3/6 - 3*k**2. Let q be j(-6). Let y(m) = -m**2 - 28*m - 8. Is y(q) prime?
True
Let y be (10 + -14)*(-2421)/(-4). Let f = y - -3827. Suppose 4*d - f = -138. Is d a prime number?
True
Let h be (76472/(-4))/(-2) - -2. Suppose 4*o - 7*o = -h. Suppose -4*l + o = 5*q, 5*q + 0*l - 3*l - 3166 = 0. Is q composite?
True
Suppose -3*b - 13798 = -2*l, 2*b + 10495 = 4*l - 17085. Is l a composite number?
True
Suppose 39012 = 33*q - 21*q. Is q a prime number?
True
Suppose -3*s - 548 = -8039. Is s prime?
False
Let h be 10/25 + (-5)/(25/(-5958)). Suppose 0 = 5*f - 8 - 17, -4*q + h = 4*f. Is q a composite number?
False
Suppose 4*k - 27 + 15 = 0. Suppose k*c - c = 1490. Is c composite?
True
Let i = -4279 + 6378. Is i a composite number?
False
Let y be -1*2*-6 - -2. Let c = y - 12. Suppose 0 = c*a - 54 - 20. Is a a prime number?
True
Let i(v) = 3*v**2 - 8*v + 2. Suppose 3*g - 45 = -y, 2*g - 4*y = -2*y + 38. Let n be (g + -6)*3/6. Is i(n) prime?
True
Let y(x) = -21*x + 2. Let u be 6/3 - 6/(-3). Let d(a) = -20*a + 2. Let i(v) = u*d(v) - 3*y(v). Is i(-3) a composite number?
False
Suppose -26*r = -2*v - 31*r + 76766, -2*r + 191873 = 5*v. Is v a composite number?
True
Let u be 1/1*(-17 + -2 - 1). Is (-8252)/u - 4/(-10) a prime number?
False
Let k be (-3 - -1)*((-4874)/4 - 1). Let n = k - -140. Is n prime?
True
Suppose 2*t = -t + 15. Suppose 8*m = t*m. Is 49 - (3 - m - 0) a prime number?
False
Let f(x) = 24*x**2 + 5. Let j be f(-2). Suppose -3*m + 3483 = -2*r - j, 3*r - 6005 = -5*m. Is m a prime number?
False
Let f(z) = -6*z + 4. Let p be f(4). Let y be ((-5)/p)/((-1)/(-4)). Is -3 + y + (2 - -37) a prime number?
True
Let l = 13343 - 8010. Is l a composite number?
False
Suppose -6*b + 28*b = 4642. Is b composite?
False
Suppose 4*c = 4*h + h - 15, 9 = 4*c + 3*h. Let m = 5 - 3. Suppose c = l + 2*x - 207, -l + m*x = 3*l - 808. Is l prime?
False
Let a = 104 + -25. Suppose -k + c + a = 6*c, -5*k + 3*c + 339 = 0. Is k composite?
True
Suppose -117*i = -122*i + 55. Suppose 0*y - 3586 = -i*y. Is y prime?
False
Let x(r) = 7*r**2 + 7. Let v be 7 + ((-10)/(-5) - 3). Is x(v) a composite number?
True
Suppose 3*c - 127593 = -5*z, -2*z - 2*z - 85062 = -2*c. Is c prime?
False
Let g(k) be the third derivative of -7*k**6/120 - k**5/20 + k**4/8 + k**3/2 + 11*k**2. Is g(-4) a composite number?
True
Let f(o) = -2*o**2 + o + 1. Let v be f(2). Let a(z) = -3*z**3 - 3*z**2 + 5*z - 5. Let x be a(v). Suppose -5*k + x = -5. Is k a composite number?
True
Let g = 68 - 58. Is ((-2972)/g)/(1/(-20)*4) a prime number?
False
Suppose 4*g - 17 = -1. Suppose -4*c - c = -f - 62, g*c - 20 = 0. Is f/((2*-2)/4) prime?
True
Let d(s) = s**3 - s**2 - 2*s + 2. Let r be d(1). Let c(h) be the third derivative of h**5/60 - h**4/24 + 19*h**3/6 - 2*h**2. Is c(r) a prime number?
True
Let q = -28 - -53. Suppose 26*m = q*m. Suppose 12*l - 13*l + 237 = m. Is l a composite number?
True
Let i(c) = c**3 - 66*c**2 - 52*c - 223. Is i(74) a composite number?
True
Let x(m) = 2*m**3 - m**2 + 19*m - 29. Is x(13) prime?
False
Let j = 7673 + -4634. Is j prime?
False
Let v(w) = -w. Let l(j) = -j**3 - 2*j**2 + 3*j + 3. Let k(n) = -l(n) + v(n). Let d be k(-3). Suppose 518 = a - y, 512 = a - d*a - 3*y. Is a composite?
False
Suppose j - 7040 = -w, 0 = -2*j + 7*j - 3*w - 35192. Is j composite?
False
Suppose 0*c + 808 = -2*w - 2*c, 5*w - 5*c = -2030. Let g = w - -731. Let f = -139 + g. Is f a prime number?
False
Let r = -81043 + 161940. Is r prime?
True
Suppose j - 1026 = -2*k - 98, 3742 = 4*j - 2*k. Is j composite?
True
Let c = 104 - 98. Suppose 9269 - 2939 = c*d. Is d a composite number?
True
Suppose -351 = -5*x + 2154. Suppose 1000 = 2*p - 3*g, p - x = -g + 3*g. Is p prime?
False
Let x(c) = 512*c**2 + 24*c - 97. Is x(4) a prime number?
True
Suppose 15*l = -1725 + 20715. Suppose -k - 4*s = -5*s - 627, 2*k - l = -4*s. Is k a prime number?
False
Let r(c) = -7 - 6*c**3 - 5*c**2 - 11*c - 9*c**3 + 3*c**3. Is r(-5) prime?
True
Is (-34234)/(-3) - (-3 - 2)/(-15) a composite number?
False
Let r = 108 - 108. Let d(p) = -p**3 + 4*p**2 + p + 4367. Is d(r) a prime number?
False
Is -1*(-180326)/8 + 50/200 a prime number?
True
Suppose 91 = 7*d + 336. Let t = 166 + d. Is t a prime number?
True
Let u(x) = -271*x + 3. Is u(-4) a prime number?
True
Let f = -260 + 460. Suppose 1495 = f*m - 195*m. Is m composite?
True
Let g(o) = -o**2 + 10*o - 13. Let j be g(7). Is 119*j - (-9 + 6) a composite number?
True
Let p = 73208 - 51555. Is p a composite number?
True
Let s(d) = 47*d**2 + d + 2. Let o be s(-3). Suppose o = -r + 3*r. Is r a composite number?
False
Let g(y) = 413*y**2. Suppose 4*n = -4*r + 4, 3*n = 5*r - 5 - 0. Let k = n - 1. Is g(k) prime?
False
Let g = 812 + -363. Suppose 4*n - g = 423. Is n prime?
False
Suppose 0 = 10*z + 3*z - 108589. Is z prime?
True
Let q(s) = 51*s**2 + 10*s - 16. Let r be q(6). Suppose -3*u + 5*d + r = 2*u, 0 = -u - 2*d + 385. Is u composite?
False
Is ((-6)/9)/((-120306)/(-15039) + -8) composite?
True
Let c(g) = 140*g - 283. Is c(21) prime?
True
Suppose 4*i - 2*z = -0*z + 26, z = 4*i - 23. Suppose -y - 1636 = -i*y. Is y a prime number?
True
Let v(y) = 51*y**2 + 7*y + 25. Suppose 0 = a - 4*w + 4, -a + 3*w = 6*w + 4. Is v(a) composite?
True
Let c = -11 - -11. Suppose 3*w - 5*b = -c*b + 1709, -4*w - 3*b + 2240 = 0. Is w a prime number?
True
Suppose 38 = -4*t + 3*p + 2*p, 58 = -4*t - 5*p. Let j be -2*2/t*753. Let z = j - 60. Is z prime?
True
Let t(a) = a**2 + 2*a - 4. Suppose -4*w = w - 15. Suppose w*g = 19 + 20. Is t(g) composite?
False
Let y be 4 + (0 - (7 + -3)). Suppose r - 714 = -5*q, -2*q + 0*q - 4*r + 300 = y. Is q a composite number?
True
Let y = 1 - -2. Suppose 0*o + 6 = -4*o - y*c, -6 = -5*o + 3*c. Suppose 8*r - 3*r + 387 = 4*z, 2*r - 10 = o. Is z composite?
False
Let k(o) = -192*o - 1. Let h be ((-4)/(-16))/(1/(-4)). Is k(h) a composite number?
False
Let w = 51 + -42. Let v(u) = 14*u + 13. Is v(w) prime?
True
Suppose 0 = q + 1 + 5. Let o be (-8)/(-1 - q/2). Is (o + 793)*(-2)/(-6) a composite number?
False
Suppose -3*b - 9*c + 4*c = -34424, 3*b - 34429 = -4*c. Is b prime?
True
Suppose 0 = 4*l - 80581 - 15543. Is l composite?
True
Let w(c) = -55*c**3 + 3*c**2 - c - 2. Suppose -4*q - 14 + 2 = 0. Is w(q) prime?
False
Let l(t) = 2*t**3 - 13*t**2 + 10*t + 23. Let i(u) = u**3 - u + 1. Let p(w) = -3*i(w) + l(w). Is p(-14) a prime number?
False
Let x(j) = -23*j - 9. Let w be 567/14 + 1/(-2). Suppose -8*y - w = -4*y. Is x(y) composite?