
Suppose 3*g = -3*r + 555, 4*r = -0*g + 5*g - 889. Is g prime?
True
Let w be -1 - -2*19/2. Suppose 4*b = w + 62. Is (1 - b)*(-3 + 2) a prime number?
True
Let q(c) = -5*c. Suppose -x = 2 - 5. Let z = -8 + x. Is q(z) a composite number?
True
Suppose 0 = -x - 3*x - 132. Let g = -12 - x. Is g prime?
False
Let h = 10 + -1. Is (23/(-1))/(h/(-45)) composite?
True
Let s = 7 + -4. Let m(y) = -y**3 + 5*y**2 - 3*y - 4. Let p be m(s). Suppose -p*i - 12 = -77. Is i a prime number?
True
Suppose 4*s - 2 = -3*r, 2*s = 5*r + 4 + 10. Suppose 5*g + 5 = 0, 3*v + 2*g = -s*v + 33. Is (5 - -1)*v/2 a prime number?
False
Suppose -2*s = -2*k + 3*s + 264, 5*k = 3*s + 641. Is k prime?
True
Suppose 9 + 0 = 3*i. Let t be (-1 + 0)*(0 - 2). Suppose i*o = -4*z + 245, -1 = -z + t*z. Is o composite?
False
Suppose -i - x + 1268 = 0, -6380 = i - 6*i + 3*x. Is i composite?
True
Suppose 5*i - 2*n = -0*i + 1701, 0 = i + 4*n - 349. Is i composite?
True
Let y be (-2 - -2)/(0 + -1). Suppose y = 4*b - 191 + 47. Suppose -n + 5*n - b = 0. Is n prime?
False
Suppose 5*x - 7007 = -4*f, -3*f + 1071 + 337 = x. Is x composite?
False
Let w(h) = 34*h**2 + 2*h - 2. Is w(1) prime?
False
Suppose 0 = 2*p + p - 1584. Suppose 6*s + 25 = s, 4*s + p = 4*i. Is i prime?
True
Suppose 0 = -4*d + 4902 + 1194. Suppose 3*z - d = -z. Is z a prime number?
False
Let n = 21 - 19. Suppose 2*l + 3*l = -2*h + 514, l = n*h - 538. Is h prime?
False
Let w(y) = -y + 3. Let p be w(-4). Let v = 102 + p. Is v a prime number?
True
Let i be (-3)/(-5) - (-432)/(-20). Is (1 + -128)/(3/i) prime?
False
Is 1*(-2962)/((-6)/3) a composite number?
False
Suppose 4*z = 4*u, 2*u + 5*z - 3 - 11 = 0. Suppose -5*k + 2*i + 23 = 0, 3*k + 4 = -u*i + 5. Suppose 0 = -5*o + 2*a + 101, 26 = 3*o + k*a - 22. Is o composite?
False
Let z be -6*(-12)/(-9)*1. Let d(u) = -u**3 - 9*u**2 - 9*u - 8. Let f be d(z). Suppose f = 3*y - 2*s - 119, y = -5*s + 21 - 4. Is y prime?
True
Suppose -4*x + 4*l + 149 = 5*l, 175 = 5*x - l. Let n = 59 - x. Is n composite?
False
Let y(i) be the third derivative of 0*i**4 - 1/60*i**5 - 2*i**2 + 23/6*i**3 + 0 + 0*i. Is y(0) a prime number?
True
Suppose 0 = 4*t - 6*g + 2*g - 276, 2*g - 72 = -t. Let d = -36 + t. Is d prime?
False
Let m be -2*(0 - -1) - -4. Suppose -m*v + 2*l = 210, 4*v + 0*l + 5*l + 411 = 0. Let w = -49 - v. Is w prime?
False
Suppose -q + 957 = v, -3*q + 4*v = 2*q - 4749. Is q a composite number?
False
Suppose 4*x - 2530 = 3*d - 329, -4*d - 2200 = -4*x. Suppose -3*p + 2194 + x = 0. Suppose 3*u + p = 8*u. Is u prime?
False
Suppose -208 = -b - 51. Is b a composite number?
False
Let r = -838 - -245. Let u = -1077 - r. Let x = -345 - u. Is x a prime number?
True
Let h(u) = -u**3 + 10*u**2 + 11*u + 4. Let y be h(11). Suppose -2*a - 43 = -4*a - 5*k, -23 = -a - y*k. Is a a composite number?
False
Let x(w) = -w**3 + 5*w**2 - 3*w. Suppose -4*d + 5*a = 4*a + 15, 5*d - a = -20. Is x(d) prime?
False
Suppose -l - 2*l - q - 17 = 0, -5*l - 35 = -5*q. Let v be (-2)/(-4) + 3/l. Suppose h = -v*h + 7. Is h prime?
True
Let x(v) = -v**2 - 9*v - 8. Let w be x(-8). Let j = w - -5. Suppose 2*s = -3*b + 319, 347 = -b + 4*b - j*s. Is b a composite number?
False
Suppose -2*q = -23 + 5. Let h(g) = 11*g + 4. Is h(q) a composite number?
False
Suppose o = 5*b - 110, 0 = -0*o + 3*o + 4*b + 330. Is ((-16)/20)/(4/o) composite?
True
Let y be (-6 + 4)*1/(-2). Let n be y + (-3)/2*-2. Is (2/n)/(1/42) a composite number?
True
Let d be (11 + 5)*(5 + -1). Let x = d - -49. Is x composite?
False
Suppose 0*u - 2*u + 382 = 0. Is u a prime number?
True
Is (36/24)/((-6)/(-4652)) prime?
True
Suppose 110 = -4*t - 2*x, 0*x + 54 = -2*t - 2*x. Is (-300)/(-14) - 16/t a prime number?
False
Is 4/(-26) - (2 - (-64599)/(-13)) a composite number?
False
Let x(n) = -n**2 - 5*n + 2. Let d be x(-6). Let w = 6 - d. Let m = 41 + w. Is m a prime number?
False
Let p = 11130 - 6467. Is p composite?
False
Suppose -4*y = -3*t - 8, -5*t - 4*y - 10 - 14 = 0. Let n(k) = 9*k**2 - 9*k + 3. Let m be n(7). Is (t/(-6))/(2/m) a composite number?
False
Let t(f) = -12*f. Let s be t(-1). Is (-16)/s*21/(-2) a composite number?
True
Let k be (229 - 15) + -1 + -1. Suppose 0*c - 4*c = -k. Is c a prime number?
True
Let w(m) = 8*m + 5. Let t(q) = 8*q + 5. Let n(d) = -6*t(d) + 7*w(d). Is n(4) a composite number?
False
Let p = 65 + -9. Suppose 2*j - p - 74 = 0. Is j composite?
True
Let l = 1953 + -740. Is l composite?
False
Let l = 2 + -1. Let c(v) = -3*v + 2. Let f be c(-4). Let x = f + l. Is x a composite number?
True
Let v(y) = y**3 + y**2 - y + 55. Let i(d) = d**2 + 6*d + 1. Let a be i(-7). Let r be a/(-28) - (-6)/21. Is v(r) composite?
True
Suppose 0 = -5*q - 115 + 35. Let u = 41 + q. Is u composite?
True
Let f be (-15)/18 + 2/(-12). Let i be 0 + 3 - (2 + f). Is ((-5)/(-2))/(i/44) a composite number?
True
Let c(y) = -y**3 - 14*y**2 - 5*y - 35. Is c(-15) a prime number?
False
Suppose 4 = 4*v - 2*v. Suppose -1 = v*w - 5. Suppose -w*l + 4*l = 38. Is l prime?
True
Let v(c) = 4*c**2 - c - 2. Let k be v(-5). Suppose -4*a - 3*x = -k, -7 = a + 3*x - 26. Suppose -a = -3*r + r. Is r a prime number?
False
Let b = -2 + -2. Let q be (-80)/14 - b/(-14). Is 94/6 - (-4)/q prime?
False
Let s = 4 + 0. Suppose s*p = -3*l + 151, 0 = -2*l - 0*l + 2. Is p a composite number?
False
Let t(r) = 6*r**2 + 39*r + 16. Is t(-17) prime?
True
Is (-4 + 6)*886/4 a prime number?
True
Is -1 + 1 + 811 - 2 composite?
False
Let c(w) = 6*w**2 - 5*w + 3. Is c(10) a composite number?
True
Let h(l) = -9*l + 3. Let q be h(-4). Let i = 92 - q. Is i a prime number?
True
Suppose 5*r + 2*o - 20 = -0*r, -5*r + 20 = 5*o. Let i be 0 - -2*26/r. Suppose 3*t = i + 32. Is t prime?
False
Suppose 5*h + 2 = d, -2*d + 0*h = -2*h - 12. Let x(z) = z**2 - 7*z - 3. Let i be x(d). Is i*2*(-14)/12 prime?
True
Let x(a) = -15*a**3 - 2*a - 1. Let v = -5 + 3. Is x(v) prime?
False
Let k = 1036 - 585. Is k a prime number?
False
Let y(f) = f**3 + 9*f**2 + 2*f - 5. Suppose -k - 18 = 5*i + 3*k, -3*i = k + 8. Let c be 26/(-4) - i/4. Is y(c) composite?
True
Let m(v) = 9*v**3 - 6*v**2 - 6*v + 10. Is m(5) prime?
False
Let l(x) = -8*x + 2*x**2 - 4*x**2 + 7*x. Let y be l(-1). Is (45 + 2)/(2 + y) composite?
False
Let f = -1748 + 3093. Is f a prime number?
False
Suppose -6*c + c = 5. Let a(x) be the second derivative of -11*x**3/2 + 2*x. Is a(c) prime?
False
Suppose -5*n = -10*p + 5*p + 3135, -1895 = -3*p - 4*n. Is p composite?
True
Let k be (-2)/3 - 500/(-12). Let a = k - 22. Is a prime?
True
Let o(f) be the third derivative of 29*f**4/24 + 13*f**3/3 - 3*f**2. Let j(i) = -15*i - 13. Let l(w) = -5*j(w) - 3*o(w). Is l(-11) composite?
True
Suppose -5*y = 2*u - 582, -5*u - 290 = -2*y - 1745. Is u a composite number?
True
Let g = 718 - 483. Is g prime?
False
Is 3 + 5/(-2) + 1083/6 composite?
False
Is ((-17)/2)/((-1)/22) composite?
True
Let s(y) = -18*y + 7. Is s(-12) prime?
True
Let u be -3*((-24)/(-9))/(-2). Suppose l + u*f = -0*f + 13, 16 = 4*l - 2*f. Suppose 2*n = 2*j - 92 + 24, -4*j + l*n + 133 = 0. Is j prime?
True
Let v(h) = h**2 - 4*h + 5. Suppose -2 = z + z. Let s be 8*((-2)/(-4))/z. Is v(s) a prime number?
True
Suppose -5*r + 0 = -5, 759 = 3*v - 3*r. Is v composite?
True
Let w be (-12)/(-30) - (-5256)/10. Let f = 1005 - w. Is f prime?
True
Let c(n) = 14*n**2 + n + 1. Is c(-4) a prime number?
False
Suppose c - 41 = 5*i, -5*c + 3 = -2*c. Let f = i + 12. Suppose 5*l - f*l = 67. Is l composite?
False
Is 8404/10 - 32/80 - 1 composite?
False
Let k(z) = -z**3 + 3*z**2 + 5*z - 3. Let p be k(4). Let j = p - 1. Suppose -4*a - 58 + 366 = j. Is a a prime number?
False
Suppose -8 = -4*q - v, 5*q + 2*v - 10 = -0. Let l be q*(-1 + 4 + -2). Suppose 4*o - 2*b = 142, 0*o + l*o = -b + 77. Is o a composite number?
False
Let h(a) = -5*a - 14*a**2 + 2 + 2*a + 28*a**2. Suppose 3*q - 4*x - 9 = 0, -3*q - 2*x + 9 = -0*q. Is h(q) a prime number?
False
Let q = -125 - -282. Is q composite?
False
Suppose 467 = -3*l + 1802. Is l a composite number?
True
Let x = -41 + 88. Suppose -b + x + 98 = 0. Is b a prime number?
False
Is ((-96)/(-120))/((-4)/(-1130)) prime?
False
Suppose -2*f - 3*f + 175 = 0. Suppose 142 = 3*q - f. Is q prime?
True
Let v be (-1)/2 - (-63)/6. Let p = 32 - v. Let x = 36 - p. Is x a composite number?
True
Let y = 10 + -6. Suppose 0 = i - 4, 0 = u + y*u + 2*i + 152. Is -3*(u/6 +