umber?
True
Suppose 0*n - 3*n = z - 3043, -3*z - n = -9145. Is z prime?
True
Suppose 5*l - 3079 - 4266 = 4*f, 0 = 4*l + 5*f - 5917. Is l a composite number?
True
Let c(x) = 10*x**2 + 9*x + 4. Let w be c(7). Suppose 3*u - 2 = 5*h, -3*h + h + 20 = 4*u. Suppose 8*t - 4*m - w = 3*t, -m - 439 = -u*t. Is t composite?
False
Let p(q) = q + 1. Let b(u) = -10*u + 7. Let l(f) = b(f) - 2*p(f). Is l(-4) prime?
True
Suppose -4*y = -y - 192. Let d(g) = g. Let v be d(3). Suppose v + y = k. Is k a prime number?
True
Let x = -284 + 166. Is (x/(-4))/(5/30) a composite number?
True
Let n = -49 + 18. Let d be (2 - 1)*-1 + -7. Let t = d - n. Is t a prime number?
True
Let p = -536 - -1074. Is p a prime number?
False
Suppose 73 - 337 = 3*t. Is -1 + 2 + (2 - t) prime?
False
Let b(t) = -t + 6*t**2 - t**2 + 3 + 3*t**2. Is b(4) prime?
True
Let o(g) = -3*g**2 - 37*g - 5. Is o(-6) a composite number?
False
Let w be (-16)/56 - (-177)/7. Let n = w + -11. Is n a composite number?
True
Suppose -11*q + 19363 = 4876. Is q a composite number?
True
Suppose -5*d + 2641 = -i, -d - 4*i + 204 + 320 = 0. Suppose -d - 234 = -2*r. Suppose -5*h = -2*h - r. Is h prime?
True
Let d = 12 - 9. Suppose -521 = -d*h + 5*t, 3*t = -5*h + 7*t + 851. Is h prime?
True
Let f be -3*(-1)/12*-4. Let w be (-45)/1*(-4)/3. Is (w - (0 - f)) + 0 a prime number?
True
Suppose 4*u - 6*u = 296. Let z = 319 - u. Is z composite?
False
Let i(u) = u**2 - 5. Let n(v) = 3*v**2 - 4*v - 4 + 5*v**3 - 4*v**3 - 2. Let x be n(-4). Is i(x) a composite number?
False
Is -14*(-1 + (-324)/8) a composite number?
True
Suppose s + 248 = -274. Is s/(-4) - 2/(-4) a composite number?
False
Suppose -8*d = -7*d - 2819. Is d prime?
True
Suppose 3*z + 1 = 7. Suppose -3*b + 122 = -2*s - 107, 0 = 2*b + z*s - 166. Is b composite?
False
Let n(g) be the first derivative of -g**3 - 5*g**2/2 - 3*g + 3. Let c(f) be the first derivative of n(f). Is c(-5) prime?
False
Let o be (1 - 4)*78/(-9). Let g = 103 - o. Is g a prime number?
False
Suppose 0 = -2*o - 4*o - 5898. Let y = o + 1852. Is y a composite number?
True
Is -7*(-21 - -4 - 0) a composite number?
True
Suppose -571 = -11*x + 10*x. Is x a composite number?
False
Let w(s) = -1 + 4*s**2 + 3*s - 3*s**2 - s. Let k be (-27)/5 + 9/(-15). Is w(k) a prime number?
True
Let v(q) = 5*q**3 + q**2 - 2*q. Let n be v(-3). Let z = n - -203. Is z a prime number?
True
Suppose -3*u + 6*u + 11 = -2*d, -5*d - 2*u = 0. Let f be (196/d)/(2/1). Suppose 4*g - f = -4*t + 3*t, 5*g = 0. Is t prime?
False
Let q = 264 + -124. Let f = q - -329. Is f a composite number?
True
Let h be (-2 - 9/(-3))*1. Let k = h + -1. Suppose 0 = -2*x + 2*d + 60, k = -2*x - 2*d + 15 + 49. Is x prime?
True
Let q = 3790 - 2537. Is q prime?
False
Is -1*(-4)/(-6) + (-146265)/(-63) a prime number?
False
Let q(g) = 12*g**3 - 2*g**2 + 3*g + 6. Is q(5) prime?
True
Let t(a) = 353*a**3 - a**2 + 2*a - 1. Is t(1) a prime number?
True
Let m = -2 - -2. Suppose m*k = 2*k - 6. Is (-1)/k*0 - -53 prime?
True
Let w be 3/12 + 1/(-4). Suppose w = -2*l - 0*l + 212. Is l prime?
False
Let q = -97 + 137. Suppose -2*r = -110 + q. Is r composite?
True
Let v(d) = -122*d + 23. Is v(-7) a prime number?
True
Suppose 4*a - 2397 = -3*t, -a = -0*t - 2*t - 591. Is a prime?
False
Suppose p - 3 = 12. Suppose -2 = -f + 1, q - p = -2*f. Suppose 5*x - 39 + q = 0. Is x a prime number?
False
Let d = 66 - 116. Let s be (-1016)/12 + 1/(-3). Let y = d - s. Is y composite?
True
Let p(h) = h**3 - 5*h**2 + 4*h + 3. Let s be p(4). Suppose -s*j + 153 = 5*u, -7*j + 4*u = -3*j - 204. Is j a prime number?
False
Let m = -2 + 5. Let r be (8/m)/((-6)/(-9)). Is r/(-18) + 994/18 composite?
True
Let o be 2*((-8)/(-2) + -2). Suppose 3*j - o - 134 = 0. Let g = 77 - j. Is g a prime number?
True
Suppose -4*t + 22 = -2*t - 4*j, 3*t - j - 18 = 0. Let c(y) = 5*y**2 + 6*y + 4. Is c(t) a composite number?
True
Suppose 3*l = -4*f + 10121, -1522 = -f - 5*l + 1004. Is f composite?
False
Suppose 0 = 4*v - 12, 0 = g - 5*v - 94 - 262. Is g a prime number?
False
Suppose -4*h = 210 + 926. Is (-3)/(24/h)*2 composite?
False
Suppose -3*j = j - 1508. Is j prime?
False
Suppose 0 = 4*b + 109 - 633. Is b composite?
False
Let f(k) = 21*k**2 + 13*k + 17. Is f(-7) prime?
False
Suppose -262 = 4*a - 5*a. Is a a prime number?
False
Let h(k) = -k + 37. Is h(-25) a prime number?
False
Let i = 529 + -810. Let q = 430 + i. Is q composite?
False
Let y be (5/10)/(1/6). Suppose 0*r + y*s - 793 = -5*r, 149 = r + 3*s. Is r prime?
False
Let s(m) = -212*m**2 + m - 5. Let u be s(-5). Is ((-4)/(-6))/((-20)/u) a prime number?
False
Let q = 12 + -10. Suppose q*g + 5*s - 620 = 3*s, -2*s = 3*g - 927. Is g composite?
False
Suppose -5*w - 12 = -5*u - 2, -4*u - 22 = w. Let y(b) = b**2 + 3*b + 1. Is y(w) composite?
False
Let i(w) = w**3 + 8*w**2 - 10*w + 4. Let u be 16/4 + (-14 - -1). Is i(u) prime?
True
Let u(s) be the first derivative of s**5/60 + s**4/6 - 7*s**3/6 + s**2/2 + 2. Let a(y) be the second derivative of u(y). Is a(6) prime?
True
Suppose -5*g = 4*x - x - 4, 0 = 2*x + 4*g - 2. Suppose 0 = -t + 64 + x. Is t prime?
True
Let y = 4 - 2. Suppose y = -b + 2*b. Suppose 0 = 2*r - 5*j - 10, 0 = -j + b. Is r a prime number?
False
Is 682 + 2 + -3 - -4 prime?
False
Suppose 2*d + 16 = 6*d. Suppose 3*h + 2 = d*h. Is h/((-1)/(-77)*2) composite?
True
Let z = -9 + 13. Suppose 241 = 3*r - z*j, j = -4*r - 4*j + 311. Is r prime?
True
Let f be (-10)/15 - 2/(-3). Suppose 5*u - 5*n - 490 = 0, f = -n - 0*n - 3. Is u a composite number?
True
Let u(a) = -20*a**3 - a**2 - 3*a - 1. Suppose -5*h - 13 = -3. Is u(h) a composite number?
True
Let y(f) = -f**2 - 11*f - 10. Let c be y(-10). Let k = 85 - c. Is k a composite number?
True
Suppose -5*z + 16 = -3*b, 3*b + b = 5*z - 18. Let w be 359/5 + b/(-10). Suppose 3*o - 3*u - 35 = o, -w = -4*o + 4*u. Is o prime?
True
Let d(l) be the first derivative of 65*l**2/2 - l + 1. Is d(4) composite?
True
Suppose 3*a + 50 = -3*y + 704, 644 = 3*a + 5*y. Is a composite?
False
Suppose -2*o + 21 - 149 = 0. Let c = o + 111. Suppose -1 = -h - 4*j, c = 4*h - 3*j - 14. Is h a composite number?
False
Let c be (2/1)/(-2 - -1). Is 255 + 0 + (-4 - c) composite?
True
Suppose 2*r - 5*u - 11 = -36, u - 5 = 5*r. Suppose r = d + 1 - 3. Suppose -107 = -2*l - p, -d*p = -0*l + 5*l - 267. Is l a composite number?
False
Let b = -806 - -1743. Is b prime?
True
Let l = 8 + -4. Is 5 - l/(-2 + -2) a prime number?
False
Suppose 5 = 3*c - 13. Is (50/4)/(c/12) a prime number?
False
Suppose -n + 0*n = 4*q - 4, -16 = -2*q + 3*n. Suppose -121 + 647 = q*w. Is w prime?
True
Suppose -11*f + 8*f = -9897. Is f a prime number?
True
Let r = 14 + -11. Suppose 458 - 191 = r*h. Is h prime?
True
Let w = 279 + 542. Is w composite?
False
Let g(a) = -21*a - 4. Suppose 2*l - 5*u = -31, 4*u - 11 = -0*l - 3*l. Is g(l) a prime number?
True
Let i(r) = -r**3 + 5*r**2 - 3*r + 1. Let d be i(4). Suppose s - 25 = -d*l + 21, -5*s = 3*l - 10. Is l composite?
True
Let w(v) = -v - 8. Let c be w(-10). Suppose -2*u - 2*u = -4*n - 140, -n - c = 0. Is u a prime number?
False
Suppose 175 = 2*g - 155. Suppose g = -m + 6*m. Is m a prime number?
False
Let i(k) = -k**3 + k**2 - 3. Suppose -4*n = -5*n - 4*z - 20, 28 = -2*n - 5*z. Is i(n) composite?
True
Let c = 223 + -110. Suppose -2*f = -105 - c. Is f a prime number?
True
Suppose 0 = 3*g - 0*g - 3. Is (g - 0) + 30/5 composite?
False
Let g(m) = -8*m**2 - 4*m - 1. Let u(j) = 25*j**2 + 12*j + 2. Let p(v) = -7*g(v) - 2*u(v). Is p(4) composite?
True
Let z be (-1 + (2 - 2))/(-1). Let d be (12/(-10))/(9/(-30)). Suppose 0 = -n - z, 0 = -5*i - d*n + 89 + 97. Is i prime?
False
Suppose 11820 = 18*x - 53106. Is x a prime number?
True
Suppose -2*z - 5*w + 348 = -0*z, -5*w = -5*z + 870. Let m = z - -133. Is m prime?
True
Let t(p) = p. Let f be t(-1). Let q(k) = k**2 - 77*k**3 - 83*k**3 - 98*k**3. Is q(f) a composite number?
True
Let l = -2 + 1. Let q = 3 + l. Suppose -4*c = -q - 54. Is c composite?
True
Let b(y) = 28*y - 17. Is b(7) prime?
True
Let p(u) = 7*u**2 + 13*u - 12. Is p(7) a composite number?
True
Is 2796 - (-34)/(-17)*(-2)/2 composite?
True
Suppose 117 = 3*o + 3*p - 285, -5*o + 667 = 4*p. Is o composite?
False
Let n be 9/3*8/12. Suppose -n*h - 363 = -5*h. Is h a composite number?
True
Suppose -8*d = -4*d + 3*p + 9, 4*p + 12 = -4*d. Suppose -2 - 6 = -2*