-7*y + i = -3*y. Is y prime?
True
Suppose 3*a - 4318 - 13643 = 3*k, -4*k = -5*a + 29935. Is a a composite number?
False
Let n be ((-5)/(-10))/((-1)/24). Let j be 1/((-4)/n)*-10. Let z = -11 - j. Is z composite?
False
Let j(q) = 383*q**3 - 5*q**2 - 3*q + 3. Let d be j(4). Is d/77 - (-4)/(-22) a prime number?
True
Suppose -13*x + 7990 = -3*x. Is x prime?
False
Let s(h) = 25*h**2 + 3*h + 15. Is s(8) composite?
True
Suppose -2*o = 5*g - 3388, -15*g = 4*o - 11*g - 6764. Is o composite?
True
Let h = 32 - -2. Suppose 4*v - 5*u = -4, -5*v + 2 = 4*u - h. Suppose v*f - 721 = -3*d, -f = 5*d + 4*f - 1195. Is d prime?
False
Let n(g) = -2*g**3 + 4*g**2 + 3*g + 40. Let x(d) = -4*d**3 + 7*d**2 + 7*d + 81. Let c(m) = 13*n(m) - 6*x(m). Is c(-9) a prime number?
False
Suppose 1359 + 237 = -6*u. Is 3 - 5 - (u + -1) a prime number?
False
Let m(g) = -2*g + 6. Let y be m(-4). Suppose 0 = -6*j - y + 44. Suppose 0 = -4*k - 5*r + 4*r + 4225, -4*k + 4213 = j*r. Is k a prime number?
False
Let i(g) = 829*g**2 + 6*g + 3. Is i(4) prime?
True
Suppose 3*u - u - b = 39113, -b + 78241 = 4*u. Is u composite?
False
Suppose -1292240 = -85*k + 5*k. Is k prime?
False
Let v be 10/(2 - -1 - 1). Suppose t - v = 3*t - 5*h, -2*h = -t - 2. Suppose -5*y - 23 + 1048 = t. Is y a composite number?
True
Suppose -3*l = -7331 - 2158. Is l prime?
True
Is (14 + (-475980)/12)*(-1)/3 a prime number?
True
Let s = -20540 - -35757. Is s a prime number?
True
Suppose -s - 2*s + 810 = 0. Let k = s - 71. Is k a composite number?
False
Suppose u - y - 12 = -4*u, 0 = -3*u - 5*y - 4. Let c be (19 - -1) + u + -2. Suppose 0 = 2*b - 22 - c. Is b composite?
True
Let c be (-9)/((-36)/(-8)) - (-383)/(-1). Let p = c + 756. Is p prime?
False
Let a(u) = u**3 + 7*u**2 - 2*u - 7. Let h be a(-7). Let z(r) = 8*r**2 - 5*r - 18. Is z(h) prime?
False
Is (-3055890)/(-45) + 5/15 a composite number?
True
Suppose 4*u + 42 = -2*u. Let f(m) = -2*m - 6. Let b be f(u). Is -52*(-82)/b*1 a prime number?
False
Suppose -7*u = -33496 - 13621. Is u prime?
False
Let c(v) = v**3 + 14*v**2 + v + 23. Is c(-14) composite?
True
Let l(f) = -f**3 - 16*f**2 - 15*f - 1. Let q be l(-15). Let w be 8 + 189 - (q - 0). Let y = -71 + w. Is y composite?
False
Let r(j) = 11*j**3 + 2*j**2 - 2*j + 1. Let y be r(1). Let d be (6/(-5))/(y/(-30)). Is 1290/5 - (d - 2) composite?
False
Suppose 0 = v - 6*a + 2*a - 315, 4*v + a - 1209 = 0. Suppose 2*d - v = 163. Is d a composite number?
False
Let d be (4 + -4)*(-1)/2. Suppose d = -h - 176 + 883. Is h a composite number?
True
Let q = -3270 - -10373. Is q a composite number?
False
Let q = -18 - -22. Suppose 3*i = q*i. Suppose i*a = -2*a + 158. Is a a prime number?
True
Let a(q) = 3*q**3 - 6*q**2 + 6*q - 12. Suppose 3*o - d = 18, 2*o - d - 4*d - 25 = 0. Let x be a(o). Let y = 406 - x. Is y composite?
False
Let v be (40/4)/((-2)/(-1)). Suppose 480 = v*q - 2*q. Suppose -7*h + q = -2*h - n, -2*n = -2*h + 72. Is h prime?
True
Let j be (12/10)/((-12)/30). Let q be (-6)/j - 0 - -392. Suppose -2*i + 3*k + q = -k, -i = 4*k - 209. Is i prime?
False
Let t = -746 - -1164. Let k = t + -207. Is k a prime number?
True
Suppose -21*d = -14*d - 60557. Is d a prime number?
False
Let g(m) = -m**2 + 15. Let s be g(-7). Let n = -15 - s. Is n a prime number?
True
Let v(a) = 19*a**3 + 3*a**2 - 3*a + 1. Let n be v(1). Let s be (-10)/n*(1 - 1). Is (s + 821/2)*2 a prime number?
True
Let g = -2 + 8. Let c be g/39 - (-37)/13. Is 35/c*(3 + 0) a composite number?
True
Suppose -4014 = -2*n + 6512. Is n a prime number?
False
Is 8/(-28) - 54207/(-21) composite?
True
Suppose 4*s = -19*s + 848953. Is s a composite number?
True
Let d = -14 + 2. Let v = -12 - d. Suppose -r + 31 = -v*r. Is r prime?
True
Let l be (20/8)/(-5)*2. Let g be 11905/10 + l/(-2). Suppose 0 = 3*f - 282 - g. Is f a prime number?
True
Let q = -9 - -19. Let h be (-8)/(-10)*q/(-4). Let r(s) = -42*s - 1. Is r(h) a prime number?
True
Suppose 3 = -3*c, -3*a + 4*c - 9*c + 7480 = 0. Is a composite?
True
Let k = -23 + 9. Let r = 29 + k. Let a = 280 - r. Is a prime?
False
Let f = -27 + 13. Is 4/28 - 17624/f prime?
True
Let a(j) = 13*j - 12. Suppose 3 = -5*t + 13. Suppose t + 11 = 5*m + 3*c, 4*m = 2*c + 28. Is a(m) composite?
False
Suppose 0 = -338*p + 335*p + 633. Is p composite?
False
Let q be 4/10 - (-2718)/(-45). Let l = 55 - q. Is l a prime number?
False
Let b = 21 - 16. Is (-3 - -2070) + -3 - b composite?
True
Let b(p) be the third derivative of 11*p**5/60 + p**4/4 + 5*p**3/6 - 10*p**2. Is b(-4) a prime number?
True
Let z = 24736 - 9813. Is z prime?
True
Let q(a) = 250*a**3 - 2*a**2 + 5*a - 7. Is q(6) composite?
False
Is (-2)/(1 + 7420/(-7412)) a composite number?
True
Let v = -417 - -663. Let y = v - -173. Is y a prime number?
True
Let m(l) = 66*l - 339. Let w(s) = 5*s - 26. Let k(c) = 2*m(c) - 27*w(c). Let o be k(7). Suppose -o*a + 261 = -0*a. Is a prime?
False
Suppose -5*i - 5 - 5 = 0. Is (491 - 12)/((-2)/i) a prime number?
True
Let i = 8 - 8. Suppose i = 3*m - g + 3*g - 31, -4*m = -5*g - 72. Let o = -3 + m. Is o a composite number?
True
Suppose 0 = 36*t - 8708 - 45328. Is t composite?
True
Let g(s) = -s**3 + 2*s**2 + 2. Let x be g(2). Suppose -x*i = -5*p + 160, -p + 77 = 2*p - 5*i. Is p composite?
True
Let b(z) = -213*z - 26. Is b(-3) composite?
False
Let c(l) = l**2 - 3*l - 1. Let i be c(4). Suppose -2*t + 1235 = 5*d - 6*t, -728 = -i*d + 5*t. Is d a composite number?
False
Let d = 7463 - 3496. Is d a composite number?
False
Is 90474/14 - 52/(-91) a composite number?
True
Let l = 65 - 71. Is 1*(-3*(-4)/l - -297) a composite number?
True
Let m = 47 - 47. Suppose i - 101 = 3*t + 372, m = i - 4*t - 475. Is i prime?
True
Let q = 48440 - 19659. Is q prime?
False
Suppose 0*v = v - 3, 4*y - 1418 = -2*v. Let u = y + 234. Is u a composite number?
False
Let q(y) be the third derivative of 11*y**5/60 + 5*y**4/24 + 5*y**3/6 + 3*y**2. Let x be q(-8). Let h = -272 + x. Is h composite?
False
Suppose 5*b - 46 - 54 = 0. Let v = b - 14. Suppose 5*l + 149 = v*l. Is l composite?
False
Suppose 0 = -3*k - k + 3220. Suppose 0 = -3*p + 4*u - 486 - 718, 0 = -2*p + 3*u - 801. Let w = p + k. Is w composite?
False
Suppose 0 = -6*n - 116 - 112. Is 9*4/(-24)*n prime?
False
Let x(g) = -g**2 + 4*g + 7. Let u be x(6). Let y = u + 7. Suppose -2 = -y*h + 2. Is h composite?
False
Let g(t) = -2447*t - 12. Is g(-1) composite?
True
Let n(q) be the third derivative of -91*q**4/12 - 5*q**3/3 + 42*q**2. Is n(-12) a prime number?
False
Suppose l + 2*o = 6, -6*l + 3*l - o + 3 = 0. Suppose v = 4 - l. Suppose -816 = -4*k - v*n, -4*k - 6*n = -7*n - 811. Is k a composite number?
True
Let g = -21138 + 35083. Is g a composite number?
True
Suppose -6*d - 40 = -4. Let r be (-10)/(1 - (-9)/d). Suppose -m + 5*j + 15 + r = 0, -5*j = -20. Is m composite?
True
Let f be (-776)/(-30) + (-10)/(-75). Suppose -f = s - 227. Is s prime?
False
Let o be 7/(-49) + (0 - 171/(-21)). Is 4 - (26/3)/(o/(-1884)) a composite number?
True
Let l(g) = 2*g + 12. Let k be l(-3). Suppose 5*z + p - 22 = 0, p = -3*z - 0*p + 12. Suppose -k*c + z*c = -505. Is c a prime number?
False
Let v(j) = -2*j - 36*j**2 - 1 + 34*j**2 - 156*j**3 - 102*j**3. Is v(-1) a composite number?
False
Let x(r) = -r + 20. Let u be x(14). Is (u/4)/((-2)/(-1004)) composite?
True
Let w(a) be the third derivative of -a**6/8 + a**5/30 + a**4/6 + 2*a**3/3 + 8*a**2. Is w(-3) composite?
True
Suppose 9*t - 147462 = 3*t. Is t a prime number?
False
Let y be 9/((-126)/1715)*(-2 - 0). Suppose -3*x - 5*a - y = -11159, -15 = 5*a. Is x prime?
True
Let a(h) = -2*h**3 + 30*h**2 + 63*h + 198. Is a(-23) composite?
False
Let s be (-9)/(-15) + (-13128)/(-20). Suppose 5*t = -2*l + s, 0 = 2*l + 2 - 4. Is t a prime number?
True
Let c(n) = 1577*n**2 + 2*n - 41. Is c(6) a composite number?
True
Let g be 3*(-6 + 5) + -1 + -8. Is (-997)/2*g/6 prime?
True
Let t = -35 - -41. Is (-44)/12*(t/(-2) + -48) a prime number?
False
Let w be (-291)/(-1) - (-2)/(-2). Suppose 0 = 5*i + 2*u - 19, -2*u + 4 = 2*i. Suppose i*g - 3*g = w. Is g a composite number?
True
Let c = -12895 - -7516. Let p = -2968 - c. Is p a prime number?
True
Let x = -93 + 2029. Suppose -5*g + 4*s + 2389 = 0, -x = -7*g + 3*g - 3*s. Is g prime?
False
Suppose 0 = r - 5*n + 189, -3*r - 5*n - 515 = 12. Let k = r - -298. Is k a composite number?
True
Let c(b) = 