2 - g) prime?
True
Suppose -4*q - 3201 - 4403 = -4*k, -2*k + 3*q + 3799 = 0. Suppose -2*x - k = -4*t - 6*x, -5*x - 494 = -t. Is t composite?
False
Let p = -8 - -24. Let v = p - 6. Is v a prime number?
False
Suppose 16*f - 920 = 12*f. Suppose 3*t + t + 3*n + 558 = 0, -5*n = 4*t + 554. Let u = f + t. Is u a composite number?
False
Suppose 5*f + 17 - 97 = 0. Suppose -k - 4 = -f. Suppose -2*w = -m - 5*w + k, -4*m - 3 = -5*w. Is m a composite number?
False
Suppose 764 = 4*u + 4*x, -573 = -u - 2*u + 2*x. Let m = u + 66. Is m prime?
True
Let k(b) = -2*b**2 - 15*b - 4. Let h(d) = d**2 + 8*d + 2. Let t(r) = -5*h(r) - 3*k(r). Let y be t(-4). Is y/(-10) + 2228/10 composite?
False
Let x = 57 + -117. Let a = 106 + x. Is a composite?
True
Let f(i) = -i**3 - 8*i**2 - 4*i + 5. Suppose 0 = -4*m - 8, -j + 0*m + 4*m + 16 = 0. Let n = j + -16. Is f(n) prime?
True
Suppose -6*a + 3*g = -4*a - 16, 12 = 4*a - g. Suppose a*u - 1181 + 71 = -2*z, 1102 = 2*u - 2*z. Is u prime?
False
Let g be (-8)/28 - 2/(-7). Suppose s = 2*t - g*s - 124, -3*s - 244 = -4*t. Suppose 0 = -2*l - 10, 2*l + t = 3*z - 3. Is z prime?
True
Let o be 4/(-14) - 383/7. Is o/(-2)*(-1 + 3) prime?
False
Let q(a) = -a**2 + a + 133. Is q(0) a prime number?
False
Let v = 177 - 85. Suppose -2*y - v = -2*l, 0*l + 5*y = 3*l - 138. Is l a prime number?
False
Is 33*276/48*4/3 composite?
True
Let q(w) = 9*w - 2. Let v be q(2). Suppose 0 = 5*z - v - 79. Is z composite?
False
Let a(b) = -6*b - 11. Is a(-4) a composite number?
False
Let s = 12 + -8. Suppose -12 = -s*y + y. Suppose -y*b + 4 = 0, -o + 6*o + 3*b - 118 = 0. Is o prime?
True
Let z be (10 - 1)*2/6. Is 0 - (z + -79 - 1) composite?
True
Let p be (-374)/(-1) - (1 + 1). Let v = 559 - p. Is v a prime number?
False
Suppose -3*z - 60 - 3 = 0. Let a be (1498/z)/(2/6). Is 6/(-2) - a/1 prime?
True
Let i be (-2)/(-9) + 65/(-9). Let r = i - -74. Is r a prime number?
True
Suppose -4*u - k - 3*k = -2124, -2*k - 2627 = -5*u. Is u a prime number?
False
Let x = -2 - -7. Suppose -4*j = -5*m + 413, x*m - 2*j - 215 = 204. Is m composite?
True
Let n(v) = v**3 + v**2 - v + 2. Let z be n(-2). Let k be 2 - -2 - z - 0. Is (-30)/k*-1*2 composite?
True
Let x(c) = 2*c**2 - 3*c + 3. Let p be x(-3). Suppose -3*s + s = -p. Is s prime?
False
Let k be (-4)/(-10) + 80/50. Suppose -w = k*w - 759. Is w a composite number?
True
Let l be (1 - 2)/((-2)/(-86)). Suppose 3*v + 480 = 8*v. Let t = l + v. Is t composite?
False
Suppose 2*a - 45 = -a. Let b = -8 + a. Is b prime?
True
Let i = 203 + 174. Is i a composite number?
True
Let k(t) = 54*t - 3. Let z be k(2). Let y = z + -28. Suppose 2*v - 3*v = -y. Is v prime?
False
Let h(y) = 156*y - 5. Is h(7) prime?
True
Suppose -n = 4*x - 0 + 8, 13 = 4*n + x. Let q(c) = 11*c + 2. Is q(n) a prime number?
False
Let p be -1*3/(-9)*-3. Is (p/(-2))/((-5)/(-260)) prime?
False
Let h be 0 - ((-2)/2 + -4). Suppose 5*g - 3*p + 0 = -12, -4*g + 5*p = 20. Suppose g*q = -h*l - 3*q + 69, -q = 2*l - 28. Is l a prime number?
False
Is (-23670)/(-105) + 8/14 composite?
True
Suppose -2*n = -s - 3, s - 2 = 5*n - 5. Suppose 0*w - 3*g - 2 = -w, g = n. Suppose 19 = w*h - 9. Is h a prime number?
False
Suppose 4*g + 5*c = -494, -c + 61 = 3*g + 426. Let j = -32 - g. Is j prime?
True
Suppose -f + 5*f - 4 = 0. Suppose -4*c - f = -261. Is c prime?
False
Let c be (1/(-2))/(3/6). Let w be 1*-2 + (1 - c). Let d(t) = -t**3 - t**2 + 10. Is d(w) prime?
False
Let j be 2 - 1 - 28/(-7). Let i(o) = 10*o**3 - 4*o**2 - 3*o - 1. Let d be i(-3). Is j/(-20) - d/8 a prime number?
True
Let g(b) = -b**2 + b. Let v be g(2). Let a be -3*v*2/12. Suppose y - 9 - a = 0. Is y a prime number?
False
Suppose 3*m + 0*j + 15 = 3*j, 2*m - 6 = -2*j. Let w = -84 - -45. Is -2*(w/6 + m) a prime number?
False
Let s = 332 + -45. Is s a prime number?
False
Suppose -3*g + 12 = 0, t - 3*g + 5*g = 219. Is t a composite number?
False
Let n = 61 - 36. Is n a prime number?
False
Suppose 0*o - o - 30 = 0. Let q = 16 - o. Suppose m - a = 95, 4*a + q + 43 = m. Is m a composite number?
False
Suppose 0 = -6*b + 3*b + 9. Suppose z + 22 = b*z. Is z prime?
True
Suppose 4*r - 97 = -2*g + 1109, -g + 5 = 0. Suppose 0 = 5*x - 24 + r. Let p = 94 + x. Is p composite?
True
Let k be -3*((-12)/(-9))/(-2). Suppose -y = -2*y - k. Is (-138)/(-4) + 1/y composite?
True
Let r = -4 + 4. Let q = 4 - r. Is -66*q/(-3) - -3 a composite number?
True
Let m = 281 + -84. Suppose 4*y = -3*v - 52 + m, y - 35 = -2*v. Is y a composite number?
False
Is (-2767)/(-3) + 4/12*2 prime?
False
Let w = -120 + 215. Suppose -4*z = 3*l - 68, 2*l - 5*z + 19 = w. Let s = 51 + l. Is s a composite number?
False
Let a be (-9)/2*136/6. Let n = a - -221. Is n prime?
False
Suppose -x + 2*i = 4, 2*i - 8 = -0*i. Suppose 2*n = 8, x*k - 3*n - 7 - 1 = 0. Is (-4)/(-10) + 183/k prime?
True
Let n(w) = 14*w**2 - 2*w + 17. Is n(-11) a composite number?
False
Suppose -2*j + 3*j = 0. Suppose -3*i + i + 8 = j, 0 = -5*l + i - 9. Is 4 - l - (-1 - 1) a prime number?
True
Let z(g) = -2*g + 2*g**2 + 3 - 196*g**3 - 4 - 4*g**2. Let q be z(-1). Suppose -q = 2*w - 5*w. Is w a composite number?
True
Let m(d) = 2*d**2 + 0*d**2 - 3 + 2 + 6*d. Suppose 3*a = -0*a - 21. Is m(a) a prime number?
False
Let r(c) = 121*c + 1. Let u be r(1). Let f = u + -85. Is f a prime number?
True
Let y be 18*1*3/9. Let h be y/2*(-2)/(-6). Suppose v + h = 50. Is v composite?
True
Let g = -73 - -37. Let m = g + 59. Is m composite?
False
Let b(y) = 4*y - 4. Let q(c) = -c**3 + 3*c - 1. Let o be q(2). Let i(w) = 3*w - 5. Let u(g) = o*i(g) + 2*b(g). Is u(-7) prime?
False
Is (-3 + 7026/9)*3 a prime number?
True
Suppose o = -3*o - 20, -10 = -3*n + 2*o. Suppose 0 = -3*i + 2*v + 10, n = -i + 4*v - 8*v - 6. Suppose -i*g + 24 = 2. Is g prime?
True
Let n = -3 + 1. Let h(v) = 2*v**2 - 3*v**3 - 5*v**2 + 2*v + 3*v**2 - 1 + v**2. Is h(n) composite?
False
Let w(j) = 3*j**3 + 2*j**2 + j. Let a be w(-1). Let t(v) = -6*v - 16. Let i be t(-11). Is (a/(-5))/(5/i) prime?
False
Let o = -7 + 14. Suppose -20 = -v + 3*y - o, -5*v = 5*y - 65. Is v composite?
False
Let z(l) = l**3 - 10*l**2 - 11*l + 10. Let h be z(11). Let o(x) = -x**3 + 10*x**2 + 14*x - 13. Is o(h) a composite number?
False
Is (-2)/(-11) - (-3584)/11 a composite number?
True
Let w be 10*(3 - 4/2). Is 55/(-2)*(8 - w) a composite number?
True
Suppose 3*k - 12 + 45 = 0. Let m be (-2)/(-4)*k*-6. Suppose 0 = 4*u - m - 51. Is u a composite number?
True
Let k = -366 - -205. Let b = -63 - k. Suppose 1 - b = -w. Is w a composite number?
False
Let m(j) = 3*j**2 - j - 1. Let c be (0 + 1 - 0)*4. Suppose c = -l + 2*l. Is m(l) prime?
True
Suppose 10*f - 28*f + 88326 = 0. Is f prime?
False
Let z be 1/(-3) - 2/(-6). Suppose -2*h = -z*h - 332. Suppose 2*g = -0*g + h. Is g composite?
False
Let c(u) = 3*u**2 - 2*u - 5. Let x = 11 + -5. Is c(x) composite?
True
Is (7 + 72)/((-3)/(-3)) composite?
False
Let w = 246 + 5. Is w prime?
True
Suppose 2*w = w + 1135. Is w a prime number?
False
Suppose -2*g + 3*g - 35 = 4*z, -z = 2*g - 25. Suppose -1 = -4*b + g, -3*b - 3753 = -3*o. Is o composite?
True
Suppose 4*y - 4440 = 5572. Is y composite?
False
Let s(h) = -4*h + h + 2 + h**2 + 0*h**2 + h. Is s(-5) prime?
True
Let w = 1 - -4. Suppose -c - 508 = -w*c. Is c prime?
True
Let i(c) = 35*c**2 + 5*c + 5. Is i(-3) composite?
True
Let z be 1 - (-2 + (-32)/(-2)). Let a = 131 + z. Suppose -3*m + 163 = -8*b + 4*b, -a = -2*m + 5*b. Is m prime?
False
Suppose 2*d + 2*v = -10, 5*d - 2*d - 4*v - 20 = 0. Suppose 3*r + 0*r - 381 = d. Is r composite?
False
Let k = 23 + -18. Suppose -433 = -2*r + 3*o, -5*o = k*r - 4*o - 1040. Is r composite?
True
Let t = -1 - -3. Suppose n - 3 = t*n. Let s = n - -5. Is s a prime number?
True
Suppose -d + 2*c = -261, 4*d = 4*c - 3*c + 1037. Is d a prime number?
False
Let c = -8 + 10. Suppose -36 - 14 = -c*f. Suppose 0 = -n + 2*z + f, 0 = -3*n - z + 2*z + 60. Is n prime?
True
Let m(o) = -o**2 - 7*o - 3. Let k be m(-5). Let x(u) = -u + 10. Let z be x(k). Suppose z*s + 3*a = 107 + 145, 3*s - 258 = -a. Is s composite?
True
Let x = -4 + 7. Suppose x*c = 131 - 32. Is c composite?
True
Suppose 0 = -5*m - 3*m + 296. Is m a composite number?
False
Is (-3)/12*0 - -3271 a prime number?
True
Suppose k + 12723 = 5*g - 4263, 2*k = -2. Suppose -4*a + g = -1063. Suppose 4*j + j = a. Is j a composite number?
False
