rue
Suppose 0*w + j - 9 = -4*w, w = -3*j + 5. Suppose -l - 2 = 0, -w*l = -4*q + 384 + 128. Is q a prime number?
True
Let t be 4/16 - (-6)/8. Let q be (-3)/(-4)*(-3 - t). Is (-1 + q)/(-2 - 0) a prime number?
True
Let h = 7 + -11. Let x(w) = -w**2 - 10*w - 5. Is x(h) prime?
True
Let m(x) = -10*x**2 - 6*x + 2. Let w be m(4). Suppose -4*p - 1985 = p. Let d = w - p. Is d prime?
False
Let r(l) = l**2 - 2*l + 2. Let p be (-16)/(-4) - (0 - -2). Let g be r(p). Suppose 0 = d + g*d - 27. Is d prime?
False
Let z = 11 + -11. Suppose p + p - 154 = z. Is p a composite number?
True
Let d(o) = 1592*o - 19. Is d(4) composite?
True
Let q(b) = 71*b**2 - 2*b - 1. Let y be q(-2). Suppose -y - 31 = -6*l. Is l a composite number?
False
Let r(y) = 13*y**2 + 2*y - 5. Is r(4) composite?
False
Suppose 3*s + 2*s - 2045 = -5*b, -3*s - b = -1235. Is s composite?
True
Let i(p) = -9*p + 10. Is i(-3) prime?
True
Suppose 254 = 14*q - 12*q. Is q a prime number?
True
Let a be (-57)/(-4) - (-21)/28. Is 114/a*(-5)/(-2) a prime number?
True
Let w = 8 - 6. Suppose -3*o + 90 = 4*g - 362, 0 = -g - w*o + 113. Is g a composite number?
False
Suppose z - 189 = -n, 2*z + 4*n + 595 = 5*z. Let y = z - 123. Suppose -k = k - y. Is k a composite number?
True
Suppose -16 = -3*z + 14. Suppose -5*q = 2*f - 14, 3*q - 3*f = -2*f + 15. Let h = z - q. Is h composite?
True
Let k(z) = -97*z + 7. Let v(u) = 49*u - 3. Let c(a) = -2*k(a) - 5*v(a). Is c(-2) prime?
True
Let h = 165 - 92. Let r = h - -72. Is r a composite number?
True
Let i be (2 + 0/(-3))*2. Let k = i - 4. Suppose k = -4*g + g + 69. Is g a prime number?
True
Suppose 0 = -37*s + 32*s. Let n = -81 + 155. Suppose -6*i + 8*i - n = s. Is i a composite number?
False
Let q = 25 + 178. Is q prime?
False
Suppose -4*t = -0*t - 72. Is 4190/t - 8/(-36) a composite number?
False
Suppose -4*h + 3*h = -3. Suppose 12 = 2*s + 2*i - 8, -60 = -3*s + h*i. Is s composite?
True
Suppose 0 = -0*n + 5*n, 5*n = 4*b - 324. Suppose -4*m = 2*t - 22, -4*t + b = 3*m + 12. Is t a prime number?
False
Suppose 3*k + 24 = 5*f, -3*k + 4*f - 7 = 14. Let o be k/18 - 1983/(-18). Suppose -3*b = v - o, b + v - 25 = 3*v. Is b a composite number?
True
Suppose -5*j - 24 = 2*h, -5*h = -j - 3*h. Let m be (j/2)/((-2)/63). Let a = -37 + m. Is a a composite number?
True
Let t = -14 + 17. Suppose -5*b = -3*b - 4*z - 1334, t*z + 2007 = 3*b. Is b composite?
True
Suppose 3682 = -9*y + 11*y. Is y a prime number?
False
Let f = 30 + -48. Is ((-9)/f)/((-1)/(-124)) a composite number?
True
Let w = -3199 - -4894. Suppose 2*s = 7*s - w. Is s prime?
False
Suppose 3*z = -z + 12. Is -4 + 2 + 213/z prime?
False
Suppose 40 = -5*y + 155. Is y a composite number?
False
Suppose -4*v = 2*k - 6718, -3*v - 4054 = -3*k + 5996. Is k a composite number?
True
Suppose -5*v + 61 = -44. Let p = 31 - v. Is p a prime number?
False
Suppose 0*h - 2073 = -3*h. Is h prime?
True
Let p(x) = -x + 2. Let i be p(-2). Suppose i*w - 18 = -h - h, 5*w + h - 21 = 0. Suppose w*s - 37 = 3*s. Is s a composite number?
False
Let g(j) be the third derivative of j**4/8 + j**3/6 - 9*j**2. Suppose 5 + 11 = 4*o. Is g(o) a prime number?
True
Suppose 3*w - 2*w = 263. Is w a prime number?
True
Let k = 247 - 120. Is k prime?
True
Let p be (-3)/(-2) + 2/4. Suppose p*h + 168 = -0*h. Let v = h + 133. Is v a composite number?
True
Let x(d) = -d**2 + d - 4. Let k be x(3). Let s = k - -31. Is s prime?
False
Let y(t) = -2*t**3 - 9*t**2 + 8. Let j(n) = -2*n**3 - 8*n**2 + 7. Let l(d) = 3*j(d) - 2*y(d). Is l(-4) a composite number?
False
Let i = 62 + 335. Is i a composite number?
False
Let s = -10 - -13. Is 16 - (-3 - 0/s) a prime number?
True
Suppose 5*t + 0*t = 40. Suppose -4*d - 2*w + 8 = 3*w, 4*d = -3*w + t. Is 17 + (1 - 0)*d composite?
False
Let j(m) = -2*m - 4. Let l be j(-4). Suppose -l = -p - 1. Is (p/(-6))/(1/(-298)) composite?
False
Suppose 444 = 4*j - 1048. Is j prime?
True
Is 72 - (-2)/((-4)/6) a composite number?
True
Let w be -42*(24/(-9) - -2). Let y = 82 - w. Suppose -3*p - 3*f = -y, 14 + 1 = 3*f. Is p prime?
True
Suppose -3*y - 1 = 2*q + 3, -2*q = -3*y - 8. Let u be 856/4 - -2*1. Is y/(2 + u/(-106)) a prime number?
True
Let p(m) = 29*m - 19. Is p(16) prime?
False
Let q be (((-2)/(-2))/(-1))/1. Is 2/(q + (-201)/(-195)) a prime number?
False
Let a be 1 + -1 + 4 + -2. Suppose n + a = 3*n. Is n/(-3) + (-14)/(-6) composite?
False
Suppose 1215 = 2*c + 507. Suppose 0 = -4*h - r + c, 5*h - 3*r = 339 + 112. Is h prime?
True
Let d(o) = -o**2 - 6*o - 7. Let s be d(-5). Let j be (3 - 3)*(-1)/s. Suppose 2*t - 3*a + 2*a - 96 = j, -2*t - 2*a + 90 = 0. Is t prime?
True
Suppose -5*g - 295 = -2*o - 0*o, 4*o = 4*g + 584. Is o a prime number?
False
Suppose -3*o = -5*o + 42. Is o prime?
False
Let b be (-10)/(0 - -2) - 1. Is (-2)/(1 + 10/b) composite?
False
Let p(m) = 21*m + 10. Let t be p(6). Suppose 5*v + t = 771. Is v a composite number?
False
Suppose c - 5*c = 8. Is 2 - (5*-59 + c) a composite number?
True
Let y = 307 - -84. Is y a composite number?
True
Suppose -176 = 3*f - f. Let w = 125 + f. Suppose 4*h - 3*h = w. Is h a prime number?
True
Let g(m) = 100*m**2 - m - 8. Is g(3) composite?
True
Suppose 0 = 2*b + b - 6. Let d(z) = -6*z**2 - 3*z**3 - b*z**2 + 7 + z**3 - 4*z. Is d(-5) a prime number?
False
Suppose -3*k = k - 16. Suppose 0 = -3*l - k*f + 199, 0*l - 324 = -5*l + f. Is l a prime number?
False
Suppose -1 = -4*t + 11. Suppose -3*j - t*r + 189 = 0, -5*j - 2*r + 64 = -257. Is j a composite number?
True
Let x = 245 + -100. Is x a prime number?
False
Suppose 1 = 4*g - 7. Let k = 3 + g. Let w = 18 + k. Is w prime?
True
Let p = 91 + -39. Suppose -4*j = 4*s - 24, 4*j = 3*s - s + 18. Is s + -1 + (p - -1) a composite number?
False
Suppose -9*n + 1442 = -7*n. Is n a composite number?
True
Let y = 215 - 97. Is y a composite number?
True
Let m(u) = u**2 + 5*u + 5. Let i(j) = -2*j**2 - 6*j - 5. Let l(c) = -5*i(c) - 6*m(c). Let g be (8 + (-5 - -1))*(0 - -1). Is l(g) composite?
False
Suppose n = -3*n + 2780. Suppose -n = -z + 48. Is z prime?
True
Let p(h) = -h**3 + 3*h**2 + 4. Let r be p(3). Suppose 0 = -0*x + r*x - 1996. Is x composite?
False
Suppose 87*q = 85*q + 14138. Is q prime?
True
Suppose -4*j + 0*g - g + 130 = 0, -171 = -5*j + 3*g. Suppose -2*l + l = -j. Is l prime?
False
Suppose -4*d - w = w - 154, 3*d - 113 = -w. Let t = 49 + d. Is t prime?
False
Let d(c) = 1054*c - 9. Is d(2) prime?
True
Let z(x) = -138*x. Suppose 4 = -2*v - 0*v. Let j be z(v). Suppose -4*f = -0*f - j. Is f composite?
True
Let l(i) = -i + 3. Suppose 6 = 4*t - 6. Let n be l(t). Suppose -2*s = -n*s - 6. Is s composite?
False
Let b(f) = f**3 - 12*f**2 + 6*f - 17. Let s be b(9). Let j = s + 325. Is j a prime number?
False
Let o = 111 + 94. Suppose 5*r - 5*a = 437 + 628, 0 = -r - 3*a + o. Is r prime?
True
Suppose -2*x = -4*x. Let l be 46 + (x - -2) + 0. Let o = -33 + l. Is o a prime number?
False
Is (-4274)/(-14) + (-2)/7 a prime number?
False
Let p = 417 - 246. Suppose 19 = 5*z - p. Suppose 0 = -2*o + o + z. Is o prime?
False
Let f(n) = 7*n + 1. Is f(15) prime?
False
Let f(y) = -y**2 - 2*y + 1. Let q be f(2). Is (-2)/q - (-7096)/56 a composite number?
False
Suppose 0 = -4*x - 10 - 10. Is -1 + x/(10/(-44)) prime?
False
Let d = -8 + -1. Let y be 2352/d - (-2)/(-3). Is (-2)/(-7) + y/(-14) a composite number?
False
Let g = 116 - 197. Let z = 338 + g. Is z a composite number?
False
Let x be 93*(-2)/(-18)*3. Let u = -22 + x. Let c(m) = m**2 - 5*m - 5. Is c(u) prime?
True
Suppose 0 = -2*s + 2*t + 670, -4*s + t - 6*t = -1304. Is s a composite number?
False
Let c = -39 - -21. Let r be 1/2*(9 - 7). Let p = r - c. Is p prime?
True
Suppose 0 = 4*k + d - 80, 2*d + 0 - 8 = 0. Suppose -3 = 4*l - k. Is l composite?
True
Suppose 359 = 5*u - 536. Is u composite?
False
Let p = -324 - -1032. Is p/9 - (-4)/12 a composite number?
False
Suppose -t + 2*t - 3*m - 16 = 0, t + m = -4. Suppose -12 = -j + p, 4*j - 2 - t = -5*p. Is j a composite number?
False
Suppose 0 = -3*h - 2*p + 619, p + 229 = h - 4*p. Is h a prime number?
False
Suppose 0 = 5*m - 699 - 896. Is m a composite number?
True
Suppose 236 = 5*n - n. Suppose -3*w + n + 187 = 0. Is w prime?
False
Let z be (2 - 1) + 1 + -4. Is (3/z)/(4/(-88)) composite?
True
Suppose -4*h + 3 = -5*t + 12, -2*h - 2 = -2*t. Suppose -f + 78 = 5*l, 76 = 2*f + t*l - 55. Is f c