y prime?
False
Let h be (1 - 1)/(0 - -3). Let k be 5759/(-39)*(h + -6). Suppose k - 140 = 2*z. Is z a composite number?
False
Let y = -17 - -7. Is ((-5)/y)/(3/(-30))*-431 prime?
False
Let r = -1541 - -4018. Is r a composite number?
False
Let d be 4*(7/4 - 1). Let f be ((-8)/14)/(19/(-133)). Suppose 59 = f*v + d. Is v prime?
False
Let w = 45 - 41. Suppose 2*p + 1348 = w*j - 2*p, -5*p = 15. Is j prime?
False
Let f = -1863 - -4033. Suppose u = 2*w - 4*w - f, 0 = -3*w - 5*u - 3248. Let x = w + 2479. Is x prime?
False
Let i = 21 + -7. Suppose 3*z - i = b + 65, -z + 27 = -b. Is 2/4*z - -2 composite?
True
Suppose 4*i - 27855 - 1037 = 0. Is i composite?
True
Let d(g) = 12*g**2 - 5*g + 6. Let s be (-3)/9*(-7 + 7). Suppose s = -4*f + 1 - 21. Is d(f) a prime number?
True
Suppose -2*n + 7*i = -64206, i = -4*n - 4*i + 128488. Is n a composite number?
False
Suppose i = 3*i + 4*i. Is (i - -1)/(17/16201) a prime number?
True
Let m be (-7)/(-1) - (-2 - -4). Suppose i - 3*h + 5 = -m*h, -4*i - h = -8. Suppose 0 = -4*x + i*x + 361. Is x a composite number?
True
Let t be 6/(-9) - (-11)/3. Suppose -6*p - 97 = -4*z - 3*p, -t*z + 54 = 4*p. Suppose -z = -2*q + 22. Is q a composite number?
True
Suppose -14 = -4*f + 6*f + 4*b, f + 4*b + 17 = 0. Suppose -f*o = x - 220, o - 698 = -4*x + 237. Is x composite?
True
Is (12 + -10)*249141/(-6)*-1 a prime number?
True
Let w(h) = h**3 - 18*h**2 - 23*h + 29. Let g be w(20). Suppose 0 = -0*a + 5*a + 3*c - 599, -3*a - 5*c + g = 0. Is a a prime number?
False
Let y = 26 + -25. Let x = y - -3. Suppose -50 - 61 = -3*d - x*o, -4*d + 5*o = -148. Is d a composite number?
False
Let h(x) = 3*x**3 + 3*x**2 - x - 7. Let c be h(5). Let m = c - 260. Is m prime?
False
Suppose 17488 = 8*m - 19544. Is m prime?
False
Let h(b) = -b**3 + 3*b**2 + 2*b + 4. Let m be h(4). Let q be -5*2/(-10) + m. Is (q/6 + 1)*614 prime?
True
Let p be 1290/3 - (-5 - -1). Let k = p + -108. Is k composite?
True
Suppose 2*l = 4*d + 114, 3*l = 2*d + 2*d + 109. Is -2*19*d/2 composite?
True
Suppose 1 - 16 = -3*j. Suppose j*r = 31 + 349. Suppose c - 4*l = -c + r, -2*l = 4. Is c composite?
True
Let l = 8 + -11. Is 3 + (-12)/((-12)/l) + 673 a composite number?
False
Let o = -24 + 28. Let i be 4/(2/(-100)*-2). Suppose o*b - i = -2*y + 146, y - b - 129 = 0. Is y a prime number?
True
Let r(s) = s**2 - 6*s - 2. Let a be r(7). Is 822*a/10 + -2 a prime number?
True
Let b(x) = -15499*x**3 + 3*x**2 - x - 4. Is b(-1) prime?
False
Let p be (-20)/(-4) + -3*1. Suppose 0 = -2*h + 2*r - 4, 4*h + 0*r + p*r - 16 = 0. Suppose -4*i = -h*k + 90, 4*i + 198 = 4*k + 2. Is k composite?
False
Let s = 22 - 4. Let t = -11 + s. Suppose t*k - 4*k - 66 = 0. Is k prime?
False
Is ((-36)/9)/20*-119585 a composite number?
False
Suppose 0 = 28*y - 5365 - 543. Is y a prime number?
True
Let z be 217/28 + 2/8. Let w be (6/2)/(6/z). Suppose -w*a = -0*a - 1180. Is a a composite number?
True
Let q(k) = 146*k**2 + 13*k + 184. Is q(-11) a prime number?
True
Suppose 4*j + g = 9, 0 = 3*j + 7*g - 5*g - 3. Suppose 5*x + 20 = 0, 2*k + j*x - 553 = k. Is k composite?
True
Let i = 69 + -64. Suppose -3*u + 626 = -3*x - 478, 4*u + i*x = 1499. Is u composite?
True
Let w = -801 - -1383. Suppose -8*d + w = 3*s - 4*d, 0 = 5*d. Let b = -111 + s. Is b a prime number?
True
Let y = -683 + 81396. Is y prime?
True
Suppose 0 = 8*f - 13*f - 2050. Is (-7)/6*f - (-34)/51 a composite number?
False
Is 5686/((1 + 7)/4) a composite number?
False
Suppose -11*l + 66094 = 3*l. Is l a prime number?
True
Suppose g = -22 + 25. Suppose g*l - 80 = 127. Is l composite?
True
Suppose 4*r + 8*r = 121356. Is r prime?
False
Let g(i) = i + 11. Let s be g(-3). Suppose -s*p + 27015 = -3*p. Is p composite?
True
Let o = 24603 + -6526. Is o a prime number?
True
Suppose 278 = -3*c - 205. Let h = 266 - c. Is h composite?
True
Let n(a) = 9*a**2 - 23*a - 37. Let g be n(25). Let y = -2234 + g. Is y composite?
True
Suppose -14 = 4*c + 6. Let b(x) = x**2 + 3*x - 6. Let k be b(c). Suppose -k*g + 4*a + 189 = 53, -2*g = -4*a - 66. Is g composite?
True
Let i(x) = 310*x + 24. Let a(l) = 103*l + 8. Let s(g) = -11*a(g) + 4*i(g). Is s(3) composite?
True
Let z(b) = -b. Let s be z(-3). Let v(l) = -25*l**2 + 2*l - 1. Let p(o) = -26*o**2 + 2*o - 1. Let k(u) = s*p(u) - 4*v(u). Is k(-3) prime?
False
Let d be (-246)/(1 - 3 - -3). Let f = d + 449. Is f a composite number?
True
Let j(d) = 2*d**3 - 3*d**2 + 3*d - 7. Let w(p) = 2*p. Let t be w(-1). Let f = 8 + t. Is j(f) a prime number?
False
Suppose 2*h - 35 = 5*x, 7*h - 4*h = 5*x + 50. Suppose -6*c = -3*c - h. Suppose 314 = c*w - 3*w. Is w a prime number?
True
Let r = 21485 - -4748. Is r a prime number?
False
Let q(h) = h**2 + 10*h. Let u be q(-10). Suppose 3*r + 40 - 145 = u. Is r a prime number?
False
Let n = -52 - -79. Suppose 32990 = -n*f + 37*f. Is f a prime number?
True
Let h(n) = 7*n**2 + n + 9. Let s be h(6). Suppose 7*c + s = 8*c. Suppose w - 3*w = 5*o - c, 4*o - 4*w = 208. Is o a composite number?
False
Let l(d) = -4*d**3 - 3*d**2 - 3*d + 11. Let k(r) = -r**3 + 4*r**2 + r - 9. Let n be k(4). Is l(n) a prime number?
False
Let m be 7986/(-44)*26/3. Let l = 10 - m. Is l composite?
False
Let y = 5 + -2. Let r(w) = 77*w - 1. Let q be r(y). Suppose c = -c + q. Is c a prime number?
False
Suppose -4*x = -3*w + 16, -5*w + 10 + 13 = -3*x. Suppose -w*f - 3*r = -33, 6*f - 23 = 3*f - 4*r. Is f a prime number?
False
Let j(d) = 18*d**2 + 7*d - 28. Let k be j(8). Suppose 5*f + 210 = k. Is f a prime number?
False
Suppose -3 = 3*m + 6. Let j(u) = -90*u**3 + 3*u**2 - 3*u + 1. Is j(m) composite?
False
Let s be (1168 - 0)/(-1) - 1. Let i = -586 - s. Is i a prime number?
False
Let f = 72 + -69. Suppose 5*c = 3*r + 8294, c + f*r - 2174 + 526 = 0. Is c a prime number?
True
Let u(b) = -146*b - 19. Suppose -32*y = -35*y - 36. Is u(y) composite?
False
Let u(f) = 20*f**2 + 2*f - 5. Let a = 41 + -45. Is u(a) prime?
True
Let v be (-13)/(4 + 215/(-55)). Is 26/v - 1575/(-11) prime?
False
Suppose -2*r = 21 - 13. Let z be 22/r + (-1)/2. Let v(t) = 9*t**2 + 4*t - 9. Is v(z) prime?
False
Let l be (-3)/(-2) - 87/6. Let t = -41 - l. Let q = t - -81. Is q a composite number?
False
Let h(a) = -30*a + 71. Is h(-36) composite?
False
Let m(a) = 169*a**2 - a - 1. Let d(w) = -w**2 - 2. Let t be d(0). Is m(t) a composite number?
False
Suppose 3*q - 19019 = 9742. Is q a composite number?
False
Let s(x) = x**3 + 13*x**2 - 9*x - 15. Is s(-6) composite?
True
Is ((-241906)/(-34) - 6) + 12/102 a composite number?
False
Let a(w) = -w + 9. Let h be a(8). Let d(x) = 10*x. Let c be d(h). Is (502/(-3))/(c/(-15)) a prime number?
True
Let m(k) = -2*k - 6 + k + 2*k. Let f be m(12). Let n(r) = 24*r + 1. Is n(f) a composite number?
True
Suppose 5*b - 20*x - 444769 = -24*x, -88953 = -b - x. Is b prime?
False
Let s(m) be the second derivative of m**6/120 + m**5/20 + 13*m**4/24 + 5*m**3/6 + 8*m. Let p(t) be the second derivative of s(t). Is p(-6) a prime number?
False
Let k = 5480 + -3874. Suppose -2*n - b = -k, -n - 4*b - 285 = -1081. Is n/2*1/2 prime?
False
Suppose 2*b = -3*q + 13 - 0, 0 = -2*b + 3*q - 17. Let k(m) = -968*m**3 + 2*m + 1. Is k(b) a prime number?
True
Let q = -64 - 104. Let j = 119 - q. Is j a composite number?
True
Let u = -74 - -78. Suppose -3*s - b = -s - 5216, 2*b = -u. Is s a prime number?
True
Let m(k) = k + 1. Let n(h) = -49*h - 9. Let r(c) = 25*c + 4. Let u(a) = -3*n(a) - 7*r(a). Let i(w) = -6*m(w) - u(w). Is i(6) a composite number?
False
Let t(n) = -141*n**3 - 2*n - 1. Let x be t(-1). Suppose -4*f + x = -2*f. Let d = f + 6. Is d a composite number?
True
Let w = -5160 + 7553. Is w prime?
True
Is 5 - ((3 - 5) + 9) - -12795 prime?
False
Let y = -6 - -1. Let i(g) = 19*g**2 + 11*g + 19. Is i(y) a composite number?
False
Let v(i) = 24*i + 1. Let u be v(1). Suppose 0 = 4*m + 7 + u. Is 130/4 + (-4)/m a composite number?
True
Suppose 1 = -v, v = -3*h - h - 389. Let q = 350 + h. Is q a composite number?
True
Let m(k) = -69*k**3 - 2*k**2 - 12*k - 15. Is m(-4) a composite number?
True
Let s(b) be the second derivative of -115*b**3/6 + 4*b - 1. Let d(z) = z**2 + 7*z + 5. Let u be d(-6). Is s(u) composite?
True
Let p be (-4 + 5 - -1) + 149. Suppose 4*y - 85 = p. Is y a composite number?
False
Let y(c) = -1732*c**3 - 3*c**2 - 3*c - 1. Let j be (1/(-4))/(50/8 + -6). Is y(j) prime