 Is c composite?
True
Suppose 0*s + 2*s = 210. Suppose -f - 4*f = -s. Let k = f + 4. Is k composite?
True
Suppose 0 = 4*n + 4*q - 156, -3*q = -8*q + 10. Is n composite?
False
Let f = 1559 + -906. Suppose -o - 3*u = -124, 5*o - f = 4*u - 14. Let z = 192 - o. Is z composite?
True
Let o be 1/(((-3)/38)/(-3)). Let k be 8*5/((-80)/12). Is (-9)/k*o/3 a prime number?
True
Suppose -2*r = -6 - 0. Is (1 - 5 - r)*-29 composite?
True
Let x = -10 + 6. Suppose 0 = -2*h - 2, -z - 3*h - 2 = 5. Is (x - z) + (1 - -86) composite?
True
Let x(h) = -h**2 - 5*h + 3. Let i be x(-5). Suppose -3*b = 6, f + 2*b + 50 = i*f. Is f a prime number?
True
Suppose 2*v = -5*a - 16, 4*a + 5*v = -3 - 3. Let g = a - -5. Is g - (0 + 3 + -349) prime?
True
Suppose -553 = -3*h + 158. Is h composite?
True
Let i(r) = r**2 + 3*r + 3. Let u be (-3)/12 + 37/4. Let q = u - -1. Is i(q) prime?
False
Is (-5596)/8*(1 + -1 - 2) prime?
True
Let z(q) = q**2 + 467. Is z(0) composite?
False
Let i(h) = -h - 4. Let a be i(2). Is (-3855)/a - 6/4 composite?
False
Let j = -10 + 6. Is (-474)/j*4/6 prime?
True
Let s(t) = t**2 + 6*t - 3. Is s(-10) a composite number?
False
Let c be 0/(9/(-3))*-1. Suppose h + 103 + 49 = c. Let q = -101 - h. Is q prime?
False
Let t(k) = k**3 + 8*k**2 - 2*k - 11. Let o be t(-8). Suppose -o*x - 2*a + 16 = -4*x, 2*x = 5*a - 4. Let n(s) = s**2 - 3*s - 7. Is n(x) a prime number?
False
Suppose -5*x + q + 3 = -26, 5*x = 2*q + 28. Is 333/6*4/x a prime number?
True
Let g(b) = 46*b - 3. Let s be g(2). Suppose 2*q = 3*q - s. Let o = q + -50. Is o composite?
True
Suppose 2*i - 11 = -5. Suppose 115 + 86 = i*a. Is a prime?
True
Let f(l) = -504*l + 1. Is f(-2) a composite number?
False
Is 6546/4 - 3/(-6) a composite number?
False
Let q(i) = 3*i**2 - 3*i - 2. Let w be q(-1). Let f(o) = 3*o + 11. Is f(w) prime?
True
Suppose -3808 = -2*l - 2*l. Suppose -2*f = -l - 622. Is f a prime number?
True
Suppose 9*q = 12*q - 81. Suppose 0*d - 168 = -3*d. Let o = q + d. Is o a composite number?
False
Suppose -2*c = 4*q - 2028, 5*q + c = -2*c + 2537. Is q composite?
True
Let b(w) = 45*w**2 + 10*w + 17. Is b(-6) a prime number?
False
Let z = 6 + 0. Let c(q) = q**2 - 6*q - 3. Let m be c(z). Is (2 + 0 + m)*-11 composite?
False
Suppose -2*o = 3*o - 140. Is (-37)/4*o/(-7) composite?
False
Let d(l) = 114*l + 13. Let s be d(6). Let k = s + -390. Is k a prime number?
True
Let d(s) = s**2 - 8*s + 10. Let u(i) = -10*i - 1. Let p be u(-1). Is d(p) composite?
False
Suppose -8 + 28 = -5*r, 0 = 3*p + 5*r - 85. Is p prime?
False
Let w be 2*((-297)/(-6) - -1). Suppose 0 = p - 4*k - w + 27, -4*p + 324 = -2*k. Is p a composite number?
True
Let a be (2 - 2)*(-6)/(-12). Suppose -5*w - p + 557 = -12, a = -w - p + 117. Is w prime?
True
Let d(s) be the first derivative of -s**4/2 + s**3 + 3*s**2/2 + 2. Is d(-2) a prime number?
False
Let k = -166 + 1283. Is k prime?
True
Let w(q) be the second derivative of q**4/6 + q**3 + 3*q**2/2 - 4*q. Is w(5) a prime number?
True
Let i be -5 + 2 - (-2 + 1). Let d(x) = 9*x**2 + x - 1. Is d(i) prime?
False
Let r = 155 - 6. Suppose -2*u + r = -u. Is u a composite number?
False
Let w = -27 + 48. Suppose -2*a = a - w. Let x(s) = -s**2 + 9*s + 7. Is x(a) prime?
False
Let d(r) = 2*r**2 + 4*r + 2. Let z be d(-2). Suppose 0 = z*y + 4, 4*a + 4*y - 570 = 2*a. Is a composite?
True
Let k = -1004 + -420. Let p = k + 985. Let o = -252 - p. Is o prime?
False
Let f(y) = -6*y + 7. Let k(i) = -5*i + 8. Let m(u) = -7*f(u) + 6*k(u). Let w be m(6). Is w*(0 + 3)/3 composite?
False
Let g be ((-2)/(-3) + 0)*-105. Let h = -303 - -162. Let d = g - h. Is d prime?
True
Let d = 4962 - 455. Is d a composite number?
False
Suppose -5*n - 2*p - p + 4 = 0, 0 = -3*n - 3*p. Let a be -3*n/(-9)*84. Let f = a - 23. Is f prime?
False
Let v(a) = -18*a - 3. Let n = 11 + -15. Let k be n*(6/(-2))/(-3). Is v(k) a prime number?
False
Let d be 0 - (-5 - -2)/1. Suppose y - d*y = s - 29, 4 = -2*y. Is s a composite number?
True
Let p(w) = -20*w**3 + 6*w**2 - 2*w. Let i be p(4). Let f be (-4)/(-10) + i/(-20). Let z = f - 35. Is z a composite number?
True
Let c(l) = 84*l - 32. Let p(k) = 21*k - 8. Let i(v) = -2*c(v) + 9*p(v). Is i(11) prime?
True
Suppose -3*g - 5*b + b = 20, -g + 25 = -5*b. Is (6 + g)*5/3 a prime number?
False
Let z(v) = -4*v + 1. Is z(-3) composite?
False
Suppose 0 = -8*t + 6*t + 118. Is t prime?
True
Suppose 5*h + 0*h - 1592 = -4*x, 4*h = -16. Is x prime?
False
Let f = 4123 + -2330. Is f prime?
False
Let f(r) = -3*r - 1 - 1 + 1. Is f(-1) composite?
False
Suppose 7*n = 2*n + 420. Suppose 0*t = -2*t - n. Let o = -5 - t. Is o prime?
True
Suppose 0*z - z = 0. Let k(h) = -h + 14. Let i be k(9). Suppose 2*j = -m + 29, -i*j + 73 = 2*m - z*m. Is j a prime number?
False
Is (-5430)/(-8) - (-2)/8 a prime number?
False
Let q(c) = -12*c + 5. Suppose 0 = -f + 10. Let n(r) = -r**3 + 9*r**2 + 9*r + 6. Let z be n(f). Is q(z) a prime number?
True
Let g be (-222)/27 - 2/(-9). Let h = g - -29. Is h prime?
False
Let m(s) = -2*s**3 - 19*s**2 - 13*s + 17. Let l(x) = -x**3 - 9*x**2 - 6*x + 8. Let r(g) = 5*l(g) - 2*m(g). Is r(-7) composite?
True
Suppose 4*r - 14196 = 5*v, 17790 = 6*r - r + 5*v. Is r composite?
True
Let a = 16 + -11. Suppose -4*h + a*w - 161 = -444, h = w + 70. Is h a prime number?
True
Suppose 0 = -5*g + 1902 + 83. Is g composite?
False
Let d = -5 - -3. Is 35 - d - (2 - 2) a prime number?
True
Let s(w) = -2*w + 1. Let x be s(-1). Suppose x*v = -v + 16. Suppose -4*z = v*n - 84, -4*z + 61 = n - 23. Is z a composite number?
True
Let z be 3/(-5) - 35/25. Let k be 1 - (2 + (-3 - z)). Is k - 1 - (-1 + -97) prime?
True
Let o be ((-12)/6)/(2/(-4)). Suppose 366 = o*h + 10. Is h a prime number?
True
Let c be 21/28 - 5/(-4). Suppose -c*p = -0*p - 8. Suppose 3*j = -p*x + 801, j - x - x - 257 = 0. Is j a composite number?
False
Suppose -5*l = c - 3*c - 40, -5*l - 2*c = -60. Suppose l = 3*s + 2*s. Suppose s*x - 87 = 31. Is x prime?
True
Let i be (-7)/(-4) + (-6)/8. Suppose -3*b + 0*b + 4*n = -1, 0 = 2*b - n + i. Let k = 2 - b. Is k prime?
True
Let o be (1 - -1)/((-2)/(-4)). Suppose -2*m - 2*u = -414, -2*u = -5*m - o*u + 1032. Suppose 76 = -5*v + m. Is v a prime number?
False
Let a(w) = 27*w + 9. Let n(t) = 40*t + 13. Let g(o) = 7*a(o) - 5*n(o). Let m = -5 + 2. Is g(m) a composite number?
False
Let f = -4633 + 6546. Is f a prime number?
True
Let u = -1 - -5. Suppose -u*b - o = -7*b + 164, 0 = 3*o + 15. Is b a composite number?
False
Suppose -2*h + 8 = -6*h. Is (2/(-3))/(h/393) prime?
True
Let m(t) = -t**3 - 9*t**2 + 8*t - 11. Let s be m(-10). Suppose -2*b + 2*r = 3*b - 5, -3*r + s = -2*b. Is b a composite number?
False
Let v(x) = 2 - 12*x - 3 - 3. Let u be v(-3). Is (-10)/(u/17 - 2) composite?
True
Suppose -u = -2*w + 3135, 5*u + 7830 = 7*w - 2*w. Is w prime?
False
Let c be (-44)/(-3) - (-8)/(-12). Suppose -p + 7 = -l, -2*l - c - 24 = 4*p. Is (-8)/44 - 68/l a composite number?
True
Suppose -2*b + 6*b - 388 = 0. Is b prime?
True
Suppose 5*l - 32 - 13 = 0. Suppose -p = l - 42. Let w = 64 - p. Is w a prime number?
True
Let v = -1 + 1. Suppose v = 3*l - 5 - 7. Suppose l*f - 63 = f. Is f prime?
False
Suppose -2*r + 3*w + 5 = 0, -6*w + 2*w - 9 = -3*r. Suppose 4*i + 4*s + 15 = -5, -9 = i + 3*s. Let p = r - i. Is p a prime number?
False
Let u(t) = 30*t**2 + 3*t + 2. Let x be u(-2). Let a = 69 + x. Is a a composite number?
True
Let k(h) = -2*h**3 - 11*h**2 + 14*h + 6. Let j be k(-9). Let v = j - 152. Is v prime?
False
Suppose -3*n = n + 20. Let x = n + 9. Suppose x*t - b - 486 = t, -b + 3 = 0. Is t a composite number?
False
Is (325/2 + 3)*2 prime?
True
Suppose 0 = -2*b + 5*d + 3878, -9741 = -5*b + 5*d - 4*d. Is b a composite number?
False
Let r(t) = t + 1. Let l(a) = -3*a - 2. Let m(i) = -3*l(i) - 8*r(i). Let k be m(6). Suppose -f + b - 217 = -5*f, -k*b - 139 = -3*f. Is f a composite number?
False
Let g = 2527 + -1608. Is g composite?
False
Is 4/((3 + -1)*1) composite?
False
Let x = 46 + 93. Is x a prime number?
True
Suppose -4*b + b - 6 = 0. Let m be 1*(29 + 1 - b). Suppose -2*k - 4*p = -m, -k - 5*p = -4*p - 21. Is k a prime number?
False
Suppose -v - b - 10 = 0, v + 7*b + 30 = 2*b. Let m = v - -7. Suppose 0*o + o = m*z + 61, o = -3*z + 71. Is o a prime number?
False
Suppose 3*l = 0, -2*l = 2*o - 5*l + 240. Let g = o - -209. Is g composite?
False
Let 