 composite number?
False
Suppose 7*f = 399 + 37646. Is f composite?
True
Let g be (-688)/6 + (-10)/(-15). Let v(b) = 2*b**3 + b**2. Let w be v(-1). Is 1/(w - g/111) prime?
True
Let r be 42/(-49)*14/(-2). Let v(k) = 4*k**2 - 7*k - 5. Is v(r) composite?
False
Let c = 2 + 0. Suppose 0*a - 674 = -c*a. Is a prime?
True
Suppose 5*j - 4*h - 25160 = -3*h, 0 = -4*j + 5*h + 20107. Is j a prime number?
False
Is 2*(-21)/(-6) + (-9)/(-3) a prime number?
False
Let i be (-3)/(-2) + 3/6. Suppose -i*m + 38 = -28. Is m a composite number?
True
Is (0 + -1031)/(-10 + 9) a prime number?
True
Let y be (20/(-6))/(2/(-6)). Let i(k) = 6*k - 13. Is i(y) a prime number?
True
Suppose -15 = -7*j + 2*j + z, -2*z = -2*j + 6. Let b = j - 0. Suppose 5*d - 203 = -3*x, b*d - 49 - 96 = 4*x. Is d a composite number?
False
Let x = -161 + 331. Let g = x - 93. Is g prime?
False
Let b = 56 + -38. Let i be (-2)/(-6) + 354/b. Let p = 53 - i. Is p a composite number?
True
Suppose -2*m - 6*u = -2*u - 584, 0 = -4*m + 5*u + 1220. Suppose 1352 = 4*z - m. Is z prime?
False
Let m(g) = 9*g**2 + 3*g + 19. Let o(z) = -4*z**2 - z - 9. Let p(d) = 6*m(d) + 13*o(d). Is p(-4) prime?
False
Let l(n) = 2*n**3 + 3*n**2 - n - 1. Suppose 3*f + 0*y - 2*y - 4 = 0, y + 2 = 4*f. Suppose f = -m - 4*m + 10. Is l(m) a composite number?
True
Let y(t) = t + 11. Let x be y(-9). Is x/3*(-1842)/(-4) prime?
True
Let z(v) = 4*v**2 - 3. Let g(c) = -c**2 - 8*c - 2. Let i be g(-7). Is z(i) a composite number?
False
Suppose 4*w + 3*n - 113 = 95, 0 = -w - 2*n + 57. Suppose i - w + 1 = 0. Let x = i + -9. Is x composite?
True
Let h(k) = -19*k**3 - 3*k**2 - 3*k - 1. Is h(-2) a composite number?
True
Suppose -246 = -3*v + 2*d, -d + 0*d + 171 = 2*v. Let q = 65 + v. Is q a prime number?
True
Suppose -36 + 781 = 5*y. Is y a prime number?
True
Let n(c) = c + 5. Let k be n(0). Suppose -4*j - 108 = -3*r - 9*j, 0 = k*j - 15. Is r a composite number?
False
Let s(q) = q - 5. Let u be s(8). Let b = u + 34. Is b a prime number?
True
Let r = -81 + 41. Is 134/10 + (-24)/r a prime number?
False
Let i(z) = -1794*z**3 + 2*z**2 - 1. Is i(-1) a prime number?
False
Suppose -8 + 0 = -z - 4*g, 2*g = 2*z + 24. Suppose -4*r = -r - 15. Is (-1 + r)*(-20)/z a prime number?
False
Is ((-1)/(-1) - 2)*-77 a composite number?
True
Suppose 0 = 34*x - 37*x + 4542. Is x a prime number?
False
Suppose -6*a + 4*n - 23 = -a, -3*a - 5 = 2*n. Let r(h) = -h. Let u be r(a). Suppose -u*w + 23 + 52 = 0. Is w prime?
False
Let h = 185 + -58. Is h a prime number?
True
Suppose -2*p = 3*u - 4643, -3*p + 2*u - 4*u = -6957. Is p a prime number?
False
Let z(q) = -2*q**2 - 2*q + q**2 - q**3 + 3*q**3 + 3*q**3 + 5. Let x be z(5). Suppose 5*w - m - 571 = 0, 0 = -5*w - 0*w - 5*m + x. Is w prime?
False
Let i(u) = -3*u**2 + 7*u - 7 + 2 + 4*u**2. Suppose 5*r - 16 = 3*r. Is i(r) a composite number?
True
Let v = 176 + 305. Is v a prime number?
False
Suppose -5*n = 2*v - 1262, 5*n + 222 - 1476 = -4*v. Is n prime?
False
Let b = -65 + 134. Is b prime?
False
Let c = 16 - 11. Suppose 70 = -c*f - 0*f. Is (-746)/f + 6/(-21) a composite number?
False
Is -1*3 - (-5 - 51) a prime number?
True
Let v(j) = 36*j - 2. Let a be v(4). Is 3 - (5 + -3 - a) prime?
False
Let a = -2112 - -4193. Is a a composite number?
False
Is 5308/24 + 1/(-6) a composite number?
True
Let l(a) = 5*a**2 + 6*a + 2. Is l(5) a prime number?
True
Let d(i) = i**2 - 11*i + 4. Let v(k) = -k**2 - k + 1. Let x be v(-3). Let o(r) = -2*r**2 + 10*r - 3. Let t(a) = x*o(a) - 4*d(a). Is t(5) a prime number?
False
Suppose 0 = 4*n - 3*f - 118, 3*f = -n - f + 39. Suppose -3*l = -n - 80. Is l composite?
False
Let i(y) = y**2 - 5*y - 5. Is i(-3) a prime number?
True
Let q(f) = -301*f**2 + 2*f + 1. Let m be q(-1). Is (-4 - m)*(-2)/(-4) prime?
True
Let t = 9 + -7. Suppose -t*q = q - 111. Is q a composite number?
False
Let a = -15 - -21. Suppose 2*p + 203 = 7*p + 4*x, 0 = -3*x + a. Is p a prime number?
False
Suppose -2*k + 2*z = -2224, 5*z - 1287 = -2*k + 972. Is k prime?
True
Let s = 1965 - 830. Is s prime?
False
Suppose -2*u + 5 = -1. Suppose -5*g + 46 = -u*g. Is g composite?
False
Suppose -3*z + z = -366. Suppose -j + 3*v = -146, j + 21 = -v + z. Is j composite?
True
Is (-6)/(-18) - 6688/(-6) prime?
False
Let m = 643 + 244. Is m prime?
True
Let y be 12/2*1/2. Let q = y - 1. Suppose 5*k + 3*g = 256, 121 = 2*k - 3*g - q*g. Is k composite?
False
Suppose 2*p = 2*w + 38, -4*w - 57 + 13 = -2*p. Let t be (-1)/(-3) - p/(-6). Suppose -53 - 22 = -t*u. Is u a prime number?
False
Let c(h) = h - 4. Suppose 0*v - 8 = -2*v. Let l be c(v). Suppose l*x = -x + 79. Is x prime?
True
Suppose -2*o = -4*z - 58, 3*o + 4*z - 77 = 60. Suppose 0 = -f - 2*d - o, -3 + 1 = 2*d. Is (1 - 2)*2 - f composite?
True
Suppose 10*o - 14*o + 24620 = 0. Is o a composite number?
True
Let k = 2 + 3. Suppose 0 = 3*o - 3*r, o + 0*o = k*r - 8. Is o prime?
True
Suppose j = -j - 3*w + 248, 4*j + 3*w = 502. Is j a prime number?
True
Let a be 2/4 - (-193)/(-2). Suppose 3*i + 511 = -4*w, -13 = -5*w - 3. Let d = a - i. Is d a composite number?
True
Is (-7214)/(-14) - (-1)/(21/(-6)) a prime number?
False
Suppose 9 = 4*f - 3. Let a(t) = -6*t**f + 0*t + 2*t**3 + 2*t - 1 + 2*t**2. Is a(-2) prime?
False
Let j be 15/((-3)/15*-1). Suppose -5*y + 580 = -j. Is y a composite number?
False
Let p be (18/(-9))/(2/27). Is ((-18)/p)/((-4)/(-126)) a composite number?
True
Suppose 3*w + 3*p + 69 - 771 = 0, w - 254 = -5*p. Suppose -4*s + 6 = -14. Suppose 4*a - 4*z - 316 = -0*a, s*z + w = 3*a. Is a composite?
False
Suppose -a - 2*a + 6 = 0. Suppose -f + 4 = -a*c - 2*f, -4*c = -5*f - 20. Suppose c = -5*g + 5 + 60. Is g prime?
True
Let w = 53 - 86. Let l be (4/4)/((-2)/6). Is (1 - (-6)/l)*w composite?
True
Suppose -y - 4*y - 85 = 0. Let s be (-2)/8 + y/(-4). Suppose s*l - 127 + 3 = 0. Is l a composite number?
False
Let l(g) = -2*g + 6. Let y be l(5). Is y/2 + 1 - -624 a composite number?
True
Let w be (-24)/(-10) + 2/(-5). Suppose -3*i + w = -4*i. Is (i - -2)/2 - -4 composite?
True
Suppose -797 = -g - v, -2*v = -4*g - v + 3188. Is g a prime number?
True
Let x(c) = 117*c**2 + c. Let w be x(-1). Suppose m = w - 3. Is m composite?
False
Suppose 2*w + 0*g - g - 6 = 0, 2*g = w - 3. Suppose 0 = w*v - 394 - 53. Is v composite?
False
Suppose 9 = u + 4*y, -2*u + 3*u - 2*y - 27 = 0. Is u a composite number?
True
Suppose 4*u - 134 = -3*s, -2*s = -5*u + s + 181. Is u a prime number?
False
Suppose -l - 235 = 3*q, 2*l - 2*q + 55 = -391. Is (1 + -4)*1 - l a prime number?
True
Let m be (-3)/(-1)*2/(-6). Is 1 + (-486)/(m - 2) composite?
False
Let c = -17 - -20. Suppose -220 = -c*w - 43. Is w a prime number?
True
Let j(z) = 45*z**2 - 4*z - 11. Is j(6) a prime number?
False
Let f be 86/(-6) - 6/9. Let v be (-2)/6 + (-560)/f. Suppose -v = x - 2*x. Is x a prime number?
True
Let z(h) = -7 + 5*h**2 - 11*h - h**3 + 4*h**2 + h**2. Suppose -3*i + 5*u = -9, -u - u + 46 = 5*i. Is z(i) a composite number?
True
Let v = -57 + 86. Let r = v - 21. Let t = -4 + r. Is t a prime number?
False
Suppose 3*w - f = -6*f - 10, w + 4*f = 6. Let k be 6/w - 18/(-30). Is 7/1 + k/4 composite?
False
Suppose -y = -0*y - 30. Let h = -11 + y. Suppose -4*m - h = -103. Is m prime?
False
Suppose -2*x = 0, -3460 = -b - 3*b - 2*x. Is b prime?
False
Let g(r) = r**2 + 5*r - 4. Let n be g(-6). Suppose d = -n*d + 6. Suppose d*i = 60 + 14. Is i a composite number?
False
Let a(s) = -14*s + 1. Let i be -4*(1 + (-9)/2). Let o = 4 - i. Is a(o) a prime number?
False
Let f(b) = 128*b**2 + b. Let v(l) = -l**3 + 7*l**2 - 5*l - 7. Let o be v(6). Is f(o) prime?
True
Suppose 119 = -15*t + 16*t. Is t prime?
False
Suppose -l = -3*l - 8. Is (1 + -3)*70/l a composite number?
True
Suppose 0 = k + f + 63, 3*k - k = 4*f - 156. Let g = 123 + k. Is g a prime number?
False
Is 4*(2 - ((-1449)/6)/1) a prime number?
False
Let z = 0 - 0. Suppose -3*q + 40 = q. Let u = q - z. Is u prime?
False
Let l(n) = 27*n + 2. Is l(3) a prime number?
True
Is 203*(3 - 1)/2 prime?
False
Let u(w) = w + 2. Let o be u(3). Suppose o*c - 86 = 169. Is c a composite number?
True
Suppose -5*p + 2*p = 408. Let q = -78 - p. Is q a composite number?
True
Let q = 487 + -282. Is q a composite number?
True
Suppose 3*v - 754 = 1265. Is v composite?
False
Let i(k) = 5 - k + 0*k + 5 + 13. Is i(0) prime?
True
Let q(f) = -98*f - 3. 