y a prime number?
True
Let g(x) = 2*x. Let w be g(1). Suppose -w*q - 352 = -3*n - q, 213 = 2*n - 5*q. Is n a composite number?
True
Let a = 5035 - -522. Is a a prime number?
True
Let p(c) = -28*c - 5. Is p(-7) prime?
True
Let n(d) = -13*d - 2. Is n(-3) prime?
True
Suppose 2 = -3*j + 14. Suppose j*y = -b + 664, 0 = 5*y - 5*b - 428 - 377. Suppose f = -2*f + y. Is f composite?
True
Let k = 21 + -15. Is k a composite number?
True
Is (1552/(-48))/(2/(-6)) a composite number?
False
Let b(a) = -28*a. Let r be (-8)/6 - 5/(-15). Let w be b(r). Suppose y = d + w, 4*y + 3*d - 32 = 45. Is y a prime number?
True
Suppose 0 = 4*i - 477 - 791. Is i prime?
True
Suppose o - 5 = h, 5 = 2*h + 5*o + 1. Let s = h + 13. Is s a prime number?
False
Is (-1)/(3926/982 + -4) prime?
True
Suppose 4*a - 4*r + 12 = 0, -4*a + 2*r + 0*r - 2 = 0. Suppose -2*y + 6*y - 8 = 0. Suppose 0 = y*k + a*k - 76. Is k a composite number?
False
Let n = 266 - -479. Is n a prime number?
False
Suppose -4*k + 1237 + 279 = 0. Is k a prime number?
True
Let d(g) = 23*g**3 + g**2 + g - 1. Let q(c) = 2*c - 3. Let i be q(2). Let j be d(i). Is (j + -1 + -1)/2 composite?
False
Let k = 1 + -8. Let c(q) = q**3 + 10*q**2 - q + 5. Let n be c(k). Suppose -325 = -4*t + n. Is t prime?
False
Suppose 0*m = -2*m - 194. Let q = -51 - m. Is (q/(-4))/((-2)/44) a composite number?
True
Is 3/(-9)*(-2 + -43) composite?
True
Suppose 4*b - 100 = i + 26, -4*b - i = -122. Is b a prime number?
True
Suppose -351 = -4*y + 821. Suppose 0 = 6*c - 5*c - y. Is c composite?
False
Let k = 76 + 140. Let c = -2 - -6. Suppose 57 = 5*x + y - k, -4*y - 228 = -c*x. Is x prime?
False
Let i = 448 + -197. Suppose -a + i = -0*a. Is a a prime number?
True
Let t(y) = 1 - 4 + 2*y + y. Is t(6) prime?
False
Suppose -4*g + 5*n = 9, 2*g - 6*g = -3*n - 1. Let k be (-2)/(1/6*1). Is -3*g/(k/69) a prime number?
False
Let o(c) = 3*c**2 + 9*c - 11. Is o(-11) a prime number?
False
Let g(l) be the second derivative of -13*l**5/20 - l**3/3 - l**2 - 6*l. Is g(-2) prime?
False
Let j(l) = -l**2 + 7*l - 5. Let o be j(6). Suppose -o - 1 = -i. Suppose 0 = u - 5*b - 10, -i*u + 0*b - 4*b = -90. Is u a composite number?
True
Let w(p) = -45*p + 7. Is w(-11) composite?
True
Is ((-2179)/4)/(7/(-28)) composite?
False
Let s(w) = -w**3 - 12*w**2 - w + 11. Is s(-18) a composite number?
False
Let v be (0 + -10)*(-4)/10. Is ((776/(-2))/v)/(-1) a composite number?
False
Suppose 0 = -5*m + 3*k + 1985, m + 0*k - 397 = k. Is m a prime number?
True
Let a = 1450 + -771. Is a composite?
True
Suppose 3*c = -v - 14, 0 = -2*c + 6*v - v - 15. Let w be (4/c)/(12/390). Let x = -5 - w. Is x a prime number?
False
Let p = -345 - -682. Is p prime?
True
Let m(z) = 47*z**2 + 6*z + 6. Is m(-3) composite?
True
Let a(i) = 2*i**3 - 15*i**2 + 20*i - 1. Is a(8) composite?
False
Let d(a) = 4*a**3 + 2*a**2 - a - 1. Let l be d(-2). Suppose -3*z + 5*b = 174, z - 2*z - 58 = 5*b. Let w = l - z. Is w prime?
False
Let q = -14 + 5. Let j = 30 + q. Is j a prime number?
False
Let p(c) = -c - 4. Let a be p(-7). Suppose -34 = -r + a*o, -4*o + 0*o + 69 = r. Is r prime?
False
Suppose 5*p + 140 = 3*c + 6, -2*p + 182 = 5*c. Let k = -16 + c. Suppose n - k = -3. Is n prime?
True
Suppose -69 = -4*z + 387. Is (-1 + z)*(-1 - -2) composite?
False
Let a be 1/(3 + (-20)/7). Let w(m) = m**2 - 2*m + 8. Is w(a) a composite number?
False
Let c(f) = f**3 - 8*f**2 + 7*f + 3. Let l be c(7). Let z = -3 + l. Is z - ((-1)/1 + -2) prime?
True
Is 4/(-16) - (-2117)/4 a composite number?
True
Let j be -3 - (2/1 - 5). Suppose j = 3*k + 4*n + n - 298, 349 = 4*k - 3*n. Is k a prime number?
False
Let j = -6 + 12. Let b(y) = 6*y - 5. Let h be b(j). Let s = h - -8. Is s a composite number?
True
Suppose 3*f = -0*f - 1104. Let c be 2*6/(-78) + (-368)/(-26). Is (-4)/c + f/(-14) a prime number?
False
Let x = -4 + 16. Suppose -4*u = -o + 9, -4*o + 0*o + 4*u - x = 0. Is (o/3 + 2)*-39 a prime number?
True
Is 147/4 - (-3)/12 composite?
False
Let x(g) = -5*g**2 - 2*g + 1. Let p(a) be the third derivative of 3*a**5/20 + a**4/6 - a**3/3 + a**2. Let d(j) = 3*p(j) + 5*x(j). Is d(1) composite?
False
Suppose 0 = 3*i - 66 - 141. Suppose -4*z + i = -z. Is z a composite number?
False
Let i be 2/(-8) - 24567/(-12). Suppose 3*x - i = -5*a + a, x + 2*a - 681 = 0. Is x a composite number?
True
Let u(w) = -340*w. Let p be u(-1). Let b = p - 191. Is b a composite number?
False
Let y(b) = -10*b + 7. Let q = -25 + 18. Is y(q) composite?
True
Let a(o) = o**3 + 6*o**2 + o + 8. Let c be a(-6). Let m be -2*c/(-4)*0. Suppose 4*f + 62 = -m*u + 2*u, 2*f = -2*u + 68. Is u a composite number?
True
Suppose 0 = 2*k - 1520 - 590. Is k a prime number?
False
Let m(i) = -6*i**2. Let w be m(-1). Let v(d) = 4*d**2 - 2*d + 3. Is v(w) prime?
False
Suppose 5*i = 519 - 104. Is i prime?
True
Suppose -2*o + 4*w - 750 + 2560 = 0, -5*w + 933 = o. Is o a prime number?
False
Let q = -8 + 11. Suppose 20 = -5*j, -4*p - q*j + 32 = -56. Is p composite?
True
Let z = 184 + -21. Is z a composite number?
False
Let d be -2 + (-24)/(1 + -4). Is (-4)/d - 1100/(-12) a prime number?
False
Let u = -28 + 42. Suppose 0 = -5*y + 6 + u. Suppose -4*w + 28 + 28 = -y*c, 2*w - c - 25 = 0. Is w a prime number?
True
Let s(h) = 2*h + 0*h + 159*h**2 - h. Let q be s(-1). Suppose 5*k = q - 43. Is k prime?
True
Suppose -232 - 1034 = -j. Is (-2 + 0)/((-12)/j) prime?
True
Let i = -556 - -793. Is i a prime number?
False
Let d(o) be the first derivative of -7*o**2 + 5*o - 4. Let k be d(-4). Let a = k - -22. Is a composite?
False
Let f(n) = 2 - 2 + 2 - 2*n**2 + 20*n**2. Let p be f(2). Is 16/(-8)*p/(-4) composite?
False
Let y(v) = 3*v + 21. Let w(l) = -3*l**2 + 4*l - 2. Let a be w(2). Let j(u) = 2*u + 11. Let z(f) = a*y(f) + 11*j(f). Is z(4) a prime number?
True
Let f be 2 - 0 - (2 - -1). Is 2 + 13 + (-3 - f) prime?
True
Let x be 410/8 + 2/(-8). Let u = 53 + -25. Suppose -m = -3*z + 7 + u, -x = -3*z - 3*m. Is z a prime number?
True
Suppose 4*v + 0*v = -4. Is 1/(v/(-614)*2) prime?
True
Let z = 165 + -62. Let n be z/4 - 3/(-12). Suppose 3*m - 5*m + n = 0. Is m a prime number?
True
Is (-1257)/(-9) + 2/(-3) prime?
True
Let u(p) = -p + 263. Is u(0) composite?
False
Let y = 88 + 54. Suppose 2*n - 4*a = y, n + a = 78 - 4. Suppose 66 = 3*g + j - n, 2*g + 2*j = 90. Is g prime?
True
Let j(m) = -16*m + 4. Let g be j(-7). Is (g/(-6))/((-6)/63) composite?
True
Let o = 5 + -2. Suppose o*k + 4*m - 3*m - 241 = 0, 0 = k + 3*m - 91. Is k prime?
True
Suppose -3*z - 4*s - 65 = 0, -4*z - 50 = -2*s - 0*s. Is (-4959)/z + (-4)/(-10) prime?
True
Suppose 10917 = -31*x + 34*x. Is x a composite number?
True
Suppose 6 = -2*j - 6. Is j/(-8) + 3281/4 composite?
False
Suppose 9 - 69 = 4*g. Let d be g*2*2/(-12). Suppose 72 = d*c - 3*y, -81 = -4*c + 4*y - 25. Is c prime?
False
Let a = 11 + -6. Is (710/4)/(a/10) prime?
False
Is (3*-1)/(57/(-6593)) a composite number?
False
Let h be (-187)/(-3) + 7/(-21). Suppose -s - h = -3*s. Is s composite?
False
Let o be (-1 - -1)*1/2. Let y be 1 + 1*(-5 + o). Let z = 14 + y. Is z prime?
False
Let c(r) = -4*r + 1. Let h be c(-1). Suppose -574 = -h*b - 4*w, 5*b + w - 483 = 103. Is b prime?
False
Suppose 0 = -x - 2*x - 21. Let z(r) = r**2 - 2*r - 4. Is z(x) prime?
True
Suppose -4*d = -3*d - 28. Let p be (12 - 0)*(17 + 0). Is 4/(-14) + p/d prime?
True
Let y(b) = b**2 + 8*b + 1. Let g be y(-7). Is ((-8)/6)/(g/261) a prime number?
False
Let m(r) = r**3 + 2*r**2 - 3*r + 3. Let f be m(-3). Suppose 3 = -o + 3*c, 2*c = 5*o - f*c - 5. Is o a prime number?
True
Let p(m) = m**2 + 2*m + 2. Suppose -28 = -f + 5*f. Is p(f) composite?
False
Suppose -6*a + 212 = -2*a. Is a prime?
True
Suppose 2 = 3*i - 6*i + 2*q, 2*i - 3 = -3*q. Suppose -4*r - b + 15 = i, r + 0*r = b + 10. Let k(w) = w**3 - 2*w**2 - 3*w - 7. Is k(r) composite?
False
Let g be 16/3 - 2/6. Suppose b = -0*b + p + 318, -4*b + 1269 = -g*p. Suppose -53 = 4*d - b. Is d a composite number?
False
Suppose 2*u = -5*q - 135 + 396, -5*q - 5*u = -255. Suppose 56 = z - l, 5*z - 218 = 2*l + q. Is z a prime number?
True
Suppose -4*h + 12 = -h. Let t be ((-6)/4)/((-3)/h). Suppose -2*a + 33 = -0*a + 5*k, 0 = t*a + 4*k - 34. Is a a composite number?
False
Suppose 2 = -4*o + 2*o - 2*s, 5 = -o - 5*s. Suppose 5*v + o = 15. Is 29/v + 4/12 prime?
False
Let v be 178/3 + 1/(-3). Suppose -3*h + 8*h +