 18664. Is m a prime number?
True
Let f = -23 - -42. Is f a composite number?
False
Is 8/(-32) + 1642/8 a prime number?
False
Let q(z) = z**3 - 11*z**2 - 2*z - 6. Let w be q(9). Let h = 131 - w. Is h prime?
True
Let h(y) = 3*y - 3*y + y**2 + 1 - 7*y. Let q be (-2 - -3 - 3) + -4. Is h(q) a prime number?
True
Suppose -5*z + d + 12 = 0, 5*z - 2*d + 6 - 20 = 0. Suppose 0 = z*t - s - 29 - 9, 5*t - s = 101. Is t a composite number?
True
Suppose -4*f + 0*f + 16 = 0. Is f/(8/46)*5 a prime number?
False
Let n(v) = -6*v. Let r be n(1). Is 0/r - (-2 + -693) composite?
True
Let z = -7 - -12. Suppose i - z*i + 436 = 0. Suppose 0*u + i = u. Is u composite?
False
Let n = 13 - 8. Suppose g + 2 + 0 = 4*i, n*i = -g - 2. Suppose 0 = -i*r - 2*r + 28. Is r composite?
True
Let b be (-5)/20 + 63/(-4). Let d = b + 42. Is d a composite number?
True
Suppose -4*g - 5*u - 82 = -3*u, 0 = -5*g - 3*u - 103. Let x = 83 + -50. Let k = x + g. Is k composite?
False
Let a(g) = -g**2 + g + 2. Let m be a(0). Let n(y) = y**2 + 2*y - 3. Let l be n(m). Suppose 3*b = o - 16, 68 = l*o + 2*b - 5*b. Is o prime?
True
Suppose 0 = 2*l + 2*c + 68, 0 = -4*l - 3*c - 111 - 30. Is (-26)/l*(-858)/(-4) a composite number?
True
Suppose 13 = 4*m - 35. Suppose 0 = -3*q - a - a + 207, 0 = -4*a + m. Is q a prime number?
True
Suppose 2*p + 11 = 3. Let i be (-1309)/(-49) - p/14. Let x = i + -16. Is x a prime number?
True
Let t(w) = -w**3 + 6*w**2 + 9*w + 5. Is t(7) a composite number?
False
Let t(f) = 14*f**2 - 4*f + 5. Is t(3) a composite number?
True
Let r(m) = -28*m**2 - 5*m + 4. Let n be r(3). Let u = n + 451. Suppose 0*w - u = -4*w. Is w composite?
False
Let z(u) = 2*u**3 - 4*u**2 + 3*u - 10. Let d = 16 + -9. Let h be z(d). Is 1/(-2 + h/249) composite?
False
Let a(z) = 2*z + 5 + 3*z - 3*z. Let k be (-3 + 2/3)*-3. Is a(k) composite?
False
Let k(y) = y + 1. Let i be k(-7). Let d(r) = -37*r - 11. Is d(i) a composite number?
False
Suppose 2*w - 2*i = 1498 + 562, -2*i = w - 1024. Suppose -5*p + 947 = -w. Suppose 0 = -0*q - 3*q + 4*x + 223, 5*x = -5*q + p. Is q composite?
True
Suppose 2*c - 11 = 1. Suppose -2*s - c + 120 = 0. Is s a composite number?
True
Let g = 521 + -218. Let s = -48 + g. Suppose -k + s = 4*k. Is k a composite number?
True
Let s be 1*(-1 + 0 + -2). Is 2*631/(-6)*s a composite number?
False
Suppose 7 = d - 0. Suppose -d = -j - 0*j. Is j composite?
False
Suppose -3*q + 8*q = 370. Is q a composite number?
True
Let n(p) = p**3 + 3*p**2 - 6*p - 5. Let g be n(-4). Let i be (1 - (1 + 0))/3. Suppose v + 152 = 5*z, -3*z + i*v + 84 = -g*v. Is z composite?
False
Let d(m) = -8 - 2 + 3 - 6*m - 4. Is d(-11) composite?
True
Is (1 - 0)*(-149)/(-1) prime?
True
Suppose -2*l - i = -7, i = -4*l + 9 + 2. Is l/6 - 152/(-3) a composite number?
True
Let f(j) = j + 4. Let h be f(3). Suppose -4*p - h*c = -4*c - 1804, -3*p - 2*c = -1353. Is p composite?
True
Let c(j) = 3*j**2 + 10*j + 6. Let g(n) = -n**2 - 1. Let w(f) = -c(f) - 2*g(f). Let b be w(-9). Let q(h) = -h**3 + 7*h**2 - 3*h - 1. Is q(b) a prime number?
False
Suppose -4*u + 2*c - 18 = 0, 3*c + 9 = -5*u + c. Let a be 13/u - (-2)/6. Is a/18 + 1642/18 a composite number?
True
Let d = 177 - 112. Suppose 8*z - 24 = 24. Suppose z*o = o + d. Is o composite?
False
Let n(c) = c**3 + c**2 - 4*c + 5. Let h be (20/6)/((-4)/12). Let b be ((-2)/(-5))/((-1)/h). Is n(b) a prime number?
False
Is (-2)/(1/2099*-2) prime?
True
Let p = -2043 + 2930. Is p prime?
True
Suppose -3*m = 4*j + 221, 0*m - 54 = j + 2*m. Let l = j + 133. Is l a composite number?
True
Suppose 3*l - 2142 = 5*b - 10*b, -4*l = -5*b - 2891. Is l a composite number?
False
Let t = 656 + -265. Is t prime?
False
Let u(j) = 2*j**2 - j - 16. Let t = 2 + -9. Is u(t) prime?
True
Let h be (8/(0 - -2))/1. Suppose -2*t + 5 - h = -5*o, 2*o = -2. Is (78/(-9))/(t/15) a prime number?
False
Let l = 1653 - 758. Is l a composite number?
True
Suppose 0 = -l - 79 + 3. Let f be (-4)/(-6) - l/12. Suppose -f*j + 125 = -2*j. Is j a prime number?
False
Let c(y) = 7*y**2 - 2*y + 6. Let h be 8/(-2)*-2 + 1. Suppose h = -2*l - 1. Is c(l) a prime number?
True
Let d(t) = -t**2 + 12*t. Let x = -4 - -14. Let c be d(x). Suppose 2 = l + 5*g - 2*g, l - 3*g - c = 0. Is l composite?
False
Suppose -25 = -3*z + 20. Is 6/z - 273/(-5) a prime number?
False
Let m(o) = o**2 - 6*o. Let i be m(6). Is 1 + 52 + i + 2 a prime number?
False
Let c(y) = -y**2 - 6*y - 5. Let a be c(-4). Suppose -a*f + f = -854. Is f prime?
False
Suppose 4*z = h - 1161, -16 = -3*z - z. Is h composite?
True
Is (-1)/(-5) + 6528/60 prime?
True
Is ((-2)/(-4))/((-1)/(-514)) prime?
True
Let w(d) = -2*d**3 + 2*d**2 - 3*d + 3. Let c be w(-5). Is c/9 - (-2)/(-6) a prime number?
False
Let g(f) = 7*f**2 - 4*f - 8. Suppose -8 = -4*y + 3*l + l, 3*y - 2*l = 11. Is g(y) a composite number?
False
Let u(l) = -130*l - 2. Let o be u(1). Let g = o + 259. Is g a composite number?
False
Is -7 + 4 - (1 + -315) a composite number?
False
Let o be 7/(-28) - 13/(-4). Suppose -o*g + 265 = -290. Is g prime?
False
Let p(a) = -a**3 + 4*a**2 - 4*a + 3. Let w be p(2). Suppose -3*x = 2*c - 905, -4*c + 913 = -0*x + w*x. Is x a composite number?
True
Let k be 2/6 + 385/(-3). Let g be k/(-20) + (-2)/5. Suppose -j = w - g*w + 123, 2 = j. Is w a prime number?
False
Suppose 9*r - 4*r + 5*q - 1875 = 0, r = 2*q + 387. Is r a prime number?
True
Suppose -p + 130 + 133 = 0. Is p prime?
True
Suppose -12 = -2*m - 2*m, -4*j - 5*m = -27. Is (1/j)/(3/531) composite?
False
Is -1*(-3 + -570*(-1 + 2)) prime?
False
Suppose 0 = 15*n + 18397 - 47992. Is n prime?
True
Let f be 1 + -1 + 6/2. Suppose f*z = 390 - 45. Is z composite?
True
Let j be 4065 + (-2)/(2/(-3)). Let y be (-2)/3*j/(-8). Suppose n - 66 = m, 5*n + 5*m - y = m. Is n prime?
True
Let y(b) = b**2 + b + 26. Let f(x) = 7*x**2 + 3*x - 5. Let j(m) = 4*m**2 + m - 2. Let v(i) = 3*f(i) - 5*j(i). Let s be v(-5). Is y(s) composite?
True
Let m = 419 + -220. Is m a prime number?
True
Let u(r) = -25*r**3 - 4*r**2 - 9*r - 5. Is u(-4) prime?
True
Let j = -5 - -3. Is j/(8/86)*-2 prime?
True
Let c(o) = 2*o**2 + 22*o + 7. Is c(-15) a composite number?
False
Suppose 3*p = 5 + 31. Suppose 5*r = r - p. Is r/2*42/(-9) a composite number?
False
Let c = 37 + 120. Is c prime?
True
Suppose h - 243 + 76 = -4*y, -2*h + 211 = 5*y. Suppose 5*j - 3*j - 16 = 0. Suppose -w = -5*i + j, -w + 2*i - y = -6*w. Is w prime?
True
Let v(o) = 3*o**2 + 7*o - 3. Let m(r) = -r**2 - 3*r + 2. Let w(f) = 5*m(f) + 2*v(f). Is w(0) a prime number?
False
Let j = -586 - -3939. Is j composite?
True
Suppose y = -4*t + 39, 2*t = t + 2*y + 12. Let j = 64 - 21. Suppose a = j - t. Is a a prime number?
False
Suppose -3 = 2*n + 7, -15 = 5*y + 5*n. Suppose y*q + 3*q = 235. Is q composite?
False
Is 2/6 - (-678)/18 composite?
True
Let c(s) = -s**2 + 7*s - 1. Let w be c(6). Suppose -3 = 3*z, -z - 1 = w*v + 5. Is 55 + 0 + v*2 prime?
True
Let a = -4 + 7. Let w be (6/a + -5)*-1. Suppose 38 = w*g - g. Is g composite?
False
Let z be 42 + -1 - (2 + -3). Suppose -2*g = g - z. Is g a prime number?
False
Let h(g) = 30*g - 9. Is h(4) a composite number?
True
Let t be (-1)/1*633/3. Let s = 360 + t. Is s prime?
True
Let m(z) = -2*z**2 + 19 + 18 + 3*z**2 + z. Let w be 2/(-5) - 8/(-20). Is m(w) a composite number?
False
Is ((-10)/6)/(((-1)/(-447))/(-1)) a prime number?
False
Suppose -259 = -t - 2*y + 640, 4*y + 869 = t. Is t a prime number?
False
Let t be 4*(0 + 235/2). Let d be t/(0 + 2) - -2. Suppose -3*a + d = -0*a. Is a a composite number?
False
Suppose c = -4*q + 594, 0 = -5*q + 5*c - 4*c + 738. Let i = q - -67. Is i a prime number?
False
Suppose -4*c + 8 = 2*f - 6, 5*c + 20 = 5*f. Is 388*c - (1 + -4) composite?
True
Suppose -i - 16 = -3*a, 2*a + 5 = -i + 14. Suppose a*l - 1 - 79 = 0. Is -1 - 5/((-5)/l) a prime number?
False
Suppose 0 = -0*n - 2*n - 124. Let l = -43 - n. Let s = 98 - l. Is s prime?
True
Let b = 6 + -1. Suppose c - 69 = -4*w, 2*c + 0*w - 86 = b*w. Is c a prime number?
True
Let o = -257 - -368. Is o a composite number?
True
Suppose -3*x + 4*v - 71 = 0, -v - v = x + 27. Suppose -3*j - 2*l - l = -174, 4*l = 4*j - 264. Let s = j + x. Is s prime?
True
Is (1 - (-3464)/2)*(17 - 16) composite?
False
Suppose -331 = j - 27. Let g = -67 - j. Is g composite?
True
Let h = -845 - -1222. Is h composite?
True
Let s(i) = -4*i**2 - i. Let