5*x + 4*x + y = 0. Is x prime?
True
Let q(b) = 1972*b**3 - b**2 + b + 1. Is q(1) prime?
True
Suppose c - 2*c + 203 = r, -4*r = c - 212. Let m = -133 + c. Is m a prime number?
True
Suppose 0 = -5*z - 3*b + 83, -4*z - b - b + 66 = 0. Let y = -22 + z. Is (y + 4)*211/(-2) prime?
True
Suppose 5*g + 9954 = p + p, -14965 = -3*p - g. Is p composite?
False
Let c be (-1)/(-1 - (-428)/430). Suppose 3*t + 0*j - 6 = -3*j, 2*t + j - 5 = 0. Suppose c + 220 = t*q. Is q a composite number?
True
Is 0 - (0 - -4 - 57) prime?
True
Let o(f) = 3*f**2 + 15*f + 13. Let w(q) = 2*q**3 - 13*q**2 - 9*q. Let b be w(7). Is o(b) composite?
True
Is -3 - ((-20)/90 - (-10364)/(-18)) a composite number?
True
Let i be (3 - -1) + -1 + 3. Is ((-460)/i)/(2/(-3)) composite?
True
Suppose 3*a - 16 - 17 = 0. Let w(x) = 3*x**2 + 8*x + 3. Is w(a) prime?
False
Is (-834)/(-18) + (-2)/(-3) composite?
False
Suppose 3*j + 0 = 6. Suppose -g - 177 = -3*m, -2*m = -6*g + j*g - 118. Is m a composite number?
False
Let o be ((-36)/(-10))/6*5. Suppose -2*l = -o*l + 161. Is l prime?
False
Is (5 - 315/10)*-2 a prime number?
True
Suppose -555 - 10867 = -2*z. Is z a prime number?
True
Suppose -22311 = -11*o + 2*o. Is o prime?
False
Let w = -49 - 65. Let o = -26 - w. Suppose 0 = n - 81 - o. Is n composite?
True
Is ((-388)/(-2))/(-5 - -7) prime?
True
Is (402/(-12))/((1/(-1))/22) a prime number?
False
Is (474/(-6))/(4/(-4)) a composite number?
False
Suppose -5*c = 1765 - 275. Is 2*2/(-8)*c prime?
True
Suppose 2*o = 4*l - o - 2339, 12 = 4*o. Is l a composite number?
False
Let q(c) = c**2 + 3*c + 5. Is q(24) a prime number?
True
Let x = 1339 + -752. Is x a prime number?
True
Suppose 0*h = -3*h - 15. Let o = h - -97. Suppose 0 = 2*l + 3*l - w - o, 2*l - 47 = -3*w. Is l a prime number?
True
Let o(m) = 27*m + 7. Let z be o(8). Let s = z + -152. Let f = 156 - s. Is f prime?
False
Let h = 81 + 38. Is h a composite number?
True
Is (-4544)/(-12) - (-1)/3 a prime number?
True
Suppose 0 = 5*x, -5*x - 48 = -4*v + 8*v. Let y = v - -31. Is y a composite number?
False
Suppose 19*a + 159 = 22*a. Is a composite?
False
Let l = 1 - -1. Suppose l*x - 163 = 4*o + 5*x, -5*x + 15 = 0. Let r = 66 + o. Is r composite?
False
Suppose -g - 2 = -5. Suppose 0*h = g*h. Is 0/(h + -3) - -127 a prime number?
True
Let z(v) = -94*v - 27. Is z(-10) a composite number?
True
Suppose -4*f + 1282 = -4714. Is f prime?
True
Let h = 272 + -81. Is h a composite number?
False
Let b be (-4 - -6)*(-2)/(-1). Suppose b*p = 1045 - 233. Is p composite?
True
Let n = 1 + -7. Is 1/2 + (-327)/n a composite number?
True
Let w(l) be the third derivative of -l**5/15 - 5*l**4/24 + l**3 - 3*l**2. Let s be w(5). Let z = 202 + s. Is z a composite number?
False
Suppose 5*d - 3*y = 14632, 3*d - 3*y = 4*d - 2930. Is d prime?
True
Let g = 174 + -4257. Is g/(-7) - 8/28 a composite number?
True
Suppose 4*b + 442 = 5*d + 5*b, 353 = 4*d + b. Suppose -7*i + 6*i = -d. Is i a prime number?
True
Let u = 244 + -117. Is u composite?
False
Suppose 3*j - 2*i - 19 = 0, -i + 4*i + 6 = -3*j. Suppose 0 = j*c + 2*c + 15. Is 19/(-1)*(c - -2) composite?
False
Let z = 639 + -435. Suppose 0 = -3*q + 5*a + 427, 4*a + 227 + z = 3*q. Is q a composite number?
False
Suppose -x = -g + 8, -2*x + 18 = -3*x - g. Let a = x - -22. Is a composite?
True
Is 2 + ((-2823)/(-12))/(1/4) composite?
True
Let l(f) = -3*f. Let j be l(-1). Let q(z) = z**3 - z**2 + 3*z - 4. Is q(j) prime?
True
Let q(d) = -1 + 6*d - d + d**2 + 4*d**2. Is q(9) prime?
True
Suppose -2*m + 5*a = 36, 28 = -5*m - 4*a + a. Let s(r) = 7*r**2 - 3*r - 9. Is s(m) a composite number?
False
Suppose 5*t - 6*t + 4 = 0. Suppose 0 = j + v - 16, 5*v - 20 - 46 = -t*j. Is j a composite number?
True
Suppose 1917 = -7*d + 12494. Is d prime?
True
Let b = 4 + -1. Is 3/(b - (-5)/(-2)) prime?
False
Let b(g) = -g**3 - 2*g**2 + 2*g + 15. Is b(-11) composite?
True
Suppose 805 = 2*z + 3*z. Is z a prime number?
False
Let z(u) = u**2 - 8*u + 9. Let f be z(7). Suppose 0 = 2*b - 2*m + f - 6, -b + 20 = 5*m. Is ((-33)/b)/(3/(-15)) a prime number?
False
Let q(g) be the third derivative of g**5/30 - 3*g**4/8 + g**3/6 - 3*g**2. Is q(6) a composite number?
False
Suppose -456 = 4*z - 2*z + 5*q, 5*z + 5*q + 1110 = 0. Let k = -103 - z. Is k composite?
True
Let v be 10/(-15) - 56/6. Let u(l) = -l**3 - 9*l**2 - 3*l - 1. Is u(v) a prime number?
False
Suppose 5*w + 18 = -3*q, 3*w - w + 6 = -q. Let o be (-4)/(-6) - 68/q. Is 796/o + 2/3 a composite number?
False
Let y(v) = -13*v + 10. Let c(n) = 14*n - 11. Let f(d) = 3*c(d) + 4*y(d). Is f(-12) composite?
False
Let b = 3209 - 2292. Is b a composite number?
True
Let j(w) = w**3 - 2*w**2 - 3*w + 3. Let c be j(3). Is c*3/18*514 composite?
False
Suppose -3*m + 5*n + 1398 = 0, 0*n - 932 = -2*m - 3*n. Suppose -5*o = -m + 71. Is o prime?
True
Let f(q) be the first derivative of -9*q**2 - 2*q + 2. Let a(j) = -17*j - 2. Let k(u) = 3*a(u) - 2*f(u). Is k(-4) a prime number?
False
Let p(q) = q**2 + 12*q + 13. Let j be p(-9). Is j/56 + (-1097)/(-4) a prime number?
False
Suppose 3*x = 8*x + 5. Is x/(3268/1636 + -2) composite?
False
Suppose 2*a + 953 = 5*w, 6*w - 3*a - 570 = 3*w. Is w a prime number?
True
Suppose 10 = f + 5*g, 0*f - 4*g = 2*f - 14. Let s(u) = 17*u**2 - 4*u + 4. Is s(f) a prime number?
True
Suppose 2*l - 241 - 75 = 0. Is l a prime number?
False
Suppose 5*s + 3*r - 17 = 0, -2*r - 6 = -s - 0*s. Let f(h) = s*h**3 - h**2 + 3*h - h**2 - 3*h**3. Is f(2) a prime number?
False
Suppose 2*l - 13 = 4*h + 11, 0 = -5*h - 25. Let n(a) = -5 + 2*a - 2*a + l*a**2 - 2*a - 3*a. Is n(-6) prime?
True
Let k(x) = x**2 - 7*x - 4. Suppose 4*d + s - 43 = 0, -3*d + 3*s + 41 = 2*d. Is k(d) a composite number?
True
Let s = 8 - 9. Let y be 2*(2 + s/2). Suppose -y*l = -l - 28. Is l composite?
True
Suppose -2225 = -5*q - 0*q. Suppose h = -4*h + q. Is h composite?
False
Let y = 19 + 70. Is y a composite number?
False
Suppose 0 = 3*q + 4 - 10. Suppose s - q*w - 39 = -6, 5*s - 135 = 4*w. Let m = s + -16. Is m a prime number?
True
Suppose 0 = 2*n - 259 - 183. Is n composite?
True
Let a(y) = y**2 + 4*y + 1. Let i be a(-3). Let n = -2 - i. Suppose n = h + 2, -h = -k + 2*h + 127. Is k a prime number?
False
Is (-72)/18 + 99*1 prime?
False
Suppose h - 3*h = -20. Let r be (-2)/(-7) - h/(-14). Is r - 1 - (-158)/2 a prime number?
True
Let a(x) = -3 - 2*x**2 + 12*x**2 - 6*x - 15 - x**3 + 5. Is a(9) composite?
True
Let p = -12 + 11. Let n be (1 + 1/(-2))*-2. Is p + (1 - -110) + n composite?
False
Let w(h) = 138*h**2 + 3*h - 5. Is w(2) a prime number?
False
Let j(a) = a**2 + 8*a + 13. Let m(z) = -5*z + 1. Let d be m(2). Let c be j(d). Is (c/6)/((-1)/(-15)) composite?
True
Let c = 461 - 225. Suppose 2*n = -5*f + 118, 4*n - 3*f - c = -f. Is n a prime number?
True
Suppose 0*c + 4 = 2*c. Suppose 0 = 2*n + c*n - 8. Suppose -n*m = 5*f - 3*f - 62, -f = 0. Is m composite?
False
Let g(u) = u**3 + 6*u**2 + 4*u - 2. Let k be g(-5). Suppose -6*l + 12 = -k*l. Suppose -4*f + 124 + 56 = l*c, 3*f + 110 = 2*c. Is c prime?
False
Let h(m) = -2*m - 37. Let i be h(0). Is (-1)/2*(i + -1) composite?
False
Suppose 4*q - 264 = 3*f - 7*f, 5*q - 336 = f. Is q composite?
False
Suppose -8 = -3*k - 5. Is 1*(-82 - k)*-1 a prime number?
True
Let y(x) = -2*x - 1. Let r be y(-2). Suppose 5*w + 234 - 983 = r*p, -2*p = -5*w + 751. Suppose f - n = -25 + w, n - 636 = -5*f. Is f a composite number?
False
Suppose -2*b + 0 + 6 = 0. Is ((-2)/(-4))/(b/390) a prime number?
False
Suppose -4*h - 1067 = -m, -4*m + 4268 = -4*h + 2*h. Is m a prime number?
False
Let t(w) = 0*w - w - 5 + 4*w**2 + 2*w + 12. Is t(6) a composite number?
False
Suppose 4*k + 163 - 2031 = 0. Is k a composite number?
False
Let c(b) = b**3 - 4*b**2 + 6*b - 5. Suppose -21 = -7*s + 4*s. Let q be c(s). Let p = -117 + q. Is p prime?
True
Let w be 6/(-3) - (-630)/2. Let y = w + -202. Is y a prime number?
False
Suppose v - 4*p = p + 27, 0 = -5*v - 2*p. Suppose -2*r = 0, 2*d = -0*d + v*r + 6. Suppose -d*a + 3 = 0, -6*h + 1644 = -h - a. Is h composite?
True
Suppose -2*z + 41 = -27. Is z prime?
False
Suppose q + 15 = -3*l, -4*q = -2*l - 2*l - 20. Suppose -5*p + 5 + 10 = q. Suppose 0 = 4*t - 3*c - 331, -5*t + 6*c - p*c + 413 = 0. Is t prime?
False
Let v = 140 + 3. Is v prime?
False
Let d(v) be the third derivative of 0 + 1/120*v**6 + 0*v**5 + 35/6*v**3 + 1/24