True
Suppose 5*p - 6 = 3*b - 6*b, -b + 2 = -4*p. Suppose b*x + 27 = -3*c, 2*x - 5*x - 44 = c. Is (-320)/x - 2/6 prime?
False
Let j be 9 - (2 + -2 - -1). Let k = -11 + 27. Is 634/j + (-4)/k composite?
False
Let k(u) = -2*u - 1. Let s be k(-13). Suppose -s = -r - 89. Let t = r - -119. Is t a composite number?
True
Suppose -16*o + 14*o = -4196. Is o a composite number?
True
Suppose 3*j + 3759 = 6*j. Is j composite?
True
Let r(g) = g + 13. Let q be r(-9). Let w(x) = 3*x**2 - 5*x + 5. Is w(q) a composite number?
True
Is (-1)/(4/(-12)) + (3 - -137) composite?
True
Suppose -9*g = -13*g - 3588. Let v = -508 - g. Is v prime?
True
Is 5 + 128 - 2/1 prime?
True
Let l be -8*(-1)/((-12)/(-3)). Suppose 0 = l*t - t - 87. Is t a composite number?
True
Is (1623/(-6))/(4/(-8)) a composite number?
False
Let g = 37 + -25. Let r be (-2)/(-6) + 836/g. Suppose -18 = 4*p - r. Is p a prime number?
True
Let o = 1 + 1. Suppose o*d = -2*d. Suppose d = 6*a - 8*a + 290. Is a a prime number?
False
Let c be 10 + ((-1)/1 - 0). Suppose 0*k + 3*k - c = 0. Suppose -2*u - k*u = -3*j - 252, -5*j + 260 = 5*u. Is u composite?
True
Let d = 128 + -81. Let f = d + -12. Is f a prime number?
False
Let n be (-3 - -3)/(4/2). Suppose 0 = -7*u + 5*u - 4*v + 102, u + 3*v - 47 = n. Is u composite?
False
Suppose -5*c - 4*j - 5 = -9*j, 5*j = -2*c + 19. Suppose -5*f + 3*m = -c*m - 185, 3*m = 2*f - 76. Is f a prime number?
False
Suppose -2 = 2*n - 5*q - 0*q, -16 = 2*n + 2*q. Let i be (1156/n)/(6/(-9)). Let l = -68 + i. Is l a composite number?
True
Let s(x) = x**3 - 5*x**2 + 3*x + 1. Let y be s(4). Let n(g) be the third derivative of g**5/60 - g**4/6 + 2*g**2. Is n(y) prime?
False
Suppose -5*z = -3*h + 631, 5*h - 840 - 257 = -3*z. Is h composite?
True
Let n = -2 - 4. Is (0 + 244/(-8))*n a composite number?
True
Let w = -12 + 3. Let m(f) = 3*f**2 + 6*f + 5. Let v be m(w). Suppose 3*g = 61 + v. Is g composite?
True
Suppose -w + 11 = -f, w - f + 19 = -6*f. Let n(s) = 2*s**2 + 4*s - 7. Is n(w) a prime number?
True
Let i be 1/(28/(-26) - -1). Let s = 6 + i. Let a = s - -84. Is a a composite number?
True
Let o(z) = -6*z + 1. Let a be (-10)/(-15) - (-11)/(-3). Is o(a) composite?
False
Suppose 5*x - 505 - 1275 = 0. Suppose 0 = v + 3*v - x. Is v prime?
True
Suppose -5*b - 2*z + 7983 = 0, -3*z = 10*b - 5*b - 7982. Is b composite?
False
Let f(z) be the third derivative of z**6/120 + z**5/6 - 5*z**4/12 + 8*z**3/3 - z**2. Let v be f(-11). Let l(s) = 2*s**2 - 3*s. Is l(v) composite?
True
Suppose 0 = -4*q + 4*l + 1524, -4*l + 9 + 7 = 0. Let v = q - 98. Is v a prime number?
False
Let r be 8 - (-7)/(21/(-6)). Suppose 119 = p - r*w + w, 3*p + 2*w - 391 = 0. Suppose g = -2*g + p. Is g composite?
False
Let d = -2 + -3. Let l be (-1 + 3)/(d/(-10)). Suppose 4*p + 8 - 85 = -3*s, -5*p = -l*s + 51. Is s a composite number?
False
Is (-3)/(-6)*26*1 prime?
True
Let h = 604 - -33. Suppose 5*t - 2*m - h = 0, 5*m = -t + 14 + 108. Is t a prime number?
True
Let s(a) = -a**3 - 7*a + 31. Is s(-17) a prime number?
False
Let m(p) = -p**2 + 2. Let i be m(0). Suppose -2*r - 212 = -7*z + 3*z, i*r - 212 = -4*z. Is z composite?
False
Suppose -25 + 2 = l. Let i = l + 15. Is 2/8 + (-422)/i a prime number?
True
Let k = 13 + -8. Suppose k*x = -2*b + 466 + 49, -4*b = 0. Let n = -68 + x. Is n composite?
True
Is 4/8 - ((-219)/2 - -1) composite?
False
Is (4/4 - 0)/(2/6326) a prime number?
True
Suppose -5*r + 0*r = -45. Is 2/r - 5421/(-27) a prime number?
False
Let h(y) = 3*y**2 - 11*y + 9. Is h(7) prime?
True
Let m(h) be the third derivative of -10*h**4/3 - h**3/6 - 16*h**2. Let b(f) = -f**2. Let n be b(-1). Is m(n) a prime number?
True
Let t(k) = -2*k - 1. Suppose -2*i + 5*o + 32 = -0*i, -4*i + 92 = 4*o. Let x = 15 - i. Is t(x) a composite number?
False
Is 124 - (1 + 6/3) a prime number?
False
Suppose 3*u = 2*l - 277, 2*u + 4 = -2. Let m be (l/4)/(2/20). Suppose -2*c = -7*c + m. Is c prime?
True
Let h = 95 - -107. Is h a prime number?
False
Let s(q) = 2*q**3 - 8*q**2 + q - 5. Let o = 5 - -1. Is s(o) composite?
True
Let n(d) = 1 - 8 - d**3 + 5*d + 3*d**2 + 5*d**2. Let a(m) = -m**2 + 7*m + 2. Let t be a(6). Is n(t) prime?
False
Suppose -y + 4*y + 2*l = 41, -2 = l. Suppose -p + 0*p - 4*x + y = 0, 2*p - 33 = -5*x. Is p a composite number?
False
Let r be (-3)/(-9) - 2/(-3). Let c(a) = 363*a**3 + 2*a**2 - a. Let j be c(r). Suppose j = 5*i - i. Is i a prime number?
False
Let b(i) = -i - 23. Let o = 5 - 5. Let f be b(o). Let p = f + 46. Is p a composite number?
False
Suppose -2*z + 12 = 64. Let o(h) = -h**3 + 2*h**2 - 2*h + 4. Let g be o(4). Let j = z - g. Is j a prime number?
False
Suppose 1 = -3*o - 5. Let z(s) = -s**2 + 5*s - 1. Let x be z(4). Is x*o/(-12)*326 a composite number?
False
Suppose 3*o + 3*p + p = 2575, 865 = o + 3*p. Is o composite?
False
Let k = 243 + 314. Is k a prime number?
True
Suppose -k = 2*k + 2*n - 107, n + 5 = 0. Let r = 3 + 1. Is k - 5/(10/r) a prime number?
True
Let o(m) = 57*m - 1. Let r(s) = 19*s. Let v(u) = -4*o(u) + 11*r(u). Let c be v(3). Is c*(2/2 + -2) composite?
False
Let k(u) = -23*u + 11. Let y be k(-5). Let b = y - 61. Is b prime?
False
Let s(c) = c**2 - 3*c + 1. Let l = 3 + -6. Is s(l) composite?
False
Suppose -4*s - s + 1675 = 0. Is s composite?
True
Suppose 6904 = 4*q - 1740. Is q composite?
False
Let m(y) = -286*y + 4. Let c be m(-4). Suppose -5*h = -h - c. Is h prime?
False
Let w be ((-12)/(-10))/((-4)/(-10)). Suppose -7 = b + 2*f, -4*b + f + 14 + w = 0. Is (b + -53 + -3)/(-1) prime?
True
Let l be (-4)/2 - 132/(-2). Suppose -h = -l + 11. Is h a prime number?
True
Let t(f) = 9*f**2 + 11*f - 7. Is t(-6) a composite number?
False
Let w = 276 + -156. Let m(h) = -2*h**2 + 7*h + 5. Let t be m(8). Let d = t + w. Is d a composite number?
False
Suppose -4*g = 2*u + 17 - 89, 3*u - g = 94. Let r = u - -16. Suppose 0 = -2*q - x - 6 + 55, 2*q + 2*x = r. Is q a composite number?
True
Let k(g) = g**2 - 8*g - 5. Let h be k(9). Let t be -57*(h/3)/(-2). Is 4/(4/t - 0) prime?
False
Let b = -905 + 1650. Is b prime?
False
Suppose -102 = -a - 37. Is a a composite number?
True
Let q be 26/7 - (-2)/7. Let l(x) = x**3 - 4*x**2 - x + 4. Let p be l(q). Suppose p = 4*s - 3*s - 35. Is s a composite number?
True
Let c(u) = 5*u**3 + u**2 + u + 1. Suppose 0*r - r - 8 = -2*s, 0 = 3*r - 3*s + 9. Is c(r) a prime number?
True
Let x = 4 - 14. Let t = -1 - x. Is 508/6 - (-3)/t composite?
True
Let v = -3 + 3. Suppose v = 4*j - 350 - 158. Is j composite?
False
Let q(w) = -3*w**2 + w + 745. Is q(0) prime?
False
Suppose -2*y + 5*y = -6. Let p be y/(-7) - 2/7. Suppose v = 3 - p. Is v prime?
True
Let b(k) = 5 - 2*k - 2*k**3 + 8*k**2 + 3*k**3 - 2. Let s be (-12)/(1 - 5) + -11. Is b(s) prime?
True
Let q(l) = -4*l**3 - l**2 - 4. Let d(f) = f**3 - f. Let y(b) = -5*d(b) - q(b). Suppose -4*w + 8 = 4*v, -4*w - 4*v = -v - 3. Is y(w) a composite number?
True
Suppose 2*u = -3*l + 3*u + 269, 5*l - 2*u - 447 = 0. Is l a prime number?
False
Suppose 0 = -q - 4*q - 45. Let f(a) = a**2 + 12*a + 10. Let l be f(q). Let d = -3 - l. Is d composite?
True
Suppose -4*q + 5*q = 174. Is (2 + -4)*q/(-4) prime?
False
Suppose 0 = 16*x - 11*x - 4430. Is x a composite number?
True
Let a(u) = 23*u + 12. Let m be a(-8). Is 1/((4/(-1))/m) a prime number?
True
Suppose 0 = 3*q - 5618 + 1187. Is q composite?
True
Let s(o) = o**3 - 9*o**2 - 4*o + 5. Is s(10) a prime number?
False
Let t(g) = 5*g + 1097. Is t(0) composite?
False
Suppose -15 + 35 = 5*g. Suppose 4*x - g*z = 28, 4*x = 4*z - 3*z + 13. Suppose x*a - 25 - 91 = 0. Is a prime?
False
Suppose 3*i = -2*h + 5*i + 532, 0 = -4*h - 2*i + 1094. Let x = -88 + h. Is x a prime number?
False
Let o(v) = -v**3 + 5*v**2 + 4*v + 6. Let h(m) = -m + 1. Let j be h(-5). Let k be o(j). Let x(p) = -12*p + 5. Is x(k) prime?
False
Suppose t - 18 = r - 0*r, -3*r - 73 = -4*t. Is t a prime number?
True
Let g = -193 + 275. Is g composite?
True
Let w(s) = -218*s + 2. Let j be 4/(-6) + (-21)/9. Let n be w(j). Suppose n = 5*q + 4*a + 178, -q - 5*a + 104 = 0. Is q composite?
True
Let u = 1 + 1. Is (-2 + 6)/u - -233 composite?
True
Suppose -3*g + 23 - 2 = 0. Suppose 0 = 4*p - g*p - 6. Let x(u) = -5*u - 3. Is x(p) composite?
False
Let y = 170 - -225. Is y composite?
True
Suppose 160 - 60 = 5*w. Suppose -f - 8 = -2. Let v = w + f. Is v composite?
True
Suppose 8*b