t c(g) = -32*g - 83. Is c(-7) composite?
True
Suppose -1 = l + 4, 3*c = -l - 35. Let r = 9 - c. Is r prime?
True
Let w(c) = c + 3. Let f be w(-5). Let n be (f - 0) + 3 - -671. Let x = n - 277. Is x composite?
True
Suppose 2*r - 35907 = -a, -r + 17741 + 190 = -4*a. Is r prime?
False
Let v(x) be the third derivative of 0*x**4 + 97/6*x**3 + 0 + 1/60*x**5 + 0*x - 4*x**2. Is v(0) a composite number?
False
Let i(o) = o**2 - 10*o - 7. Suppose 8 = -j + 5*j. Suppose 4*z - z + 22 = 4*l, -2*z + j*l - 14 = 0. Is i(z) a prime number?
True
Suppose -11*t + 50321 + 11312 = 0. Is t a prime number?
False
Let f = 5 - 5. Suppose f*g - 8 = -4*g. Is 647/(g/(-3 - -5)) a composite number?
False
Suppose -f = -2*g - 11, -4*g + 17 = f - 0*f. Suppose 0 = 3*b - 5*o - 514, 12 + f = -5*o. Is b a prime number?
True
Suppose 4*k - 11*k + 28 = 0. Let u(z) = 127*z - 9. Is u(k) composite?
False
Suppose 2*j - 8 = -2*j. Let d(u) = 218*u + 9. Let y be d(7). Suppose j*b = -3*b + y. Is b composite?
False
Suppose 3248 = -67*v + 83*v. Is v composite?
True
Is (-321418)/(-10) - -7*60/(-525) a prime number?
True
Let w(r) = -358*r**3 + 2*r - 1. Suppose -2*x - 4 = -0. Let z be w(x). Suppose 0 = 2*q - 5*q + z. Is q composite?
False
Let r(u) = 7*u**2 - 6*u + 15. Let o be r(-11). Suppose 7*y = -5*m + 3*y + 4661, 0 = -m - 5*y + o. Let c = m + 32. Is c a prime number?
False
Let n = 32 - 59. Let g be ((-7)/21)/(1/n). Suppose 7*y + 1414 = g*y. Is y a prime number?
False
Suppose 4*c - 4 = -0. Let j be (3 + c)/(18/45). Suppose -2*l - j = 0, -2*x - 5*l + 853 - 40 = 0. Is x a composite number?
False
Suppose -192574 - 25762 = -32*s. Is s a prime number?
True
Suppose 4*y = -4*i + 776, -4*i + 105 + 675 = 2*y. Let l = i + 201. Is l composite?
False
Let z(v) = 41*v + 43669. Is z(0) a composite number?
False
Let o = 37 + -44. Let q(m) = -m**2 - m + 7. Let z be q(o). Is 15/z + 1921/7 a prime number?
False
Let c be -2 + (4 + -3)*5. Suppose -2*g - 5*k = -25, 0 = g + 3*k - 2*k - 8. Is 163*(c - (-3 + g)) a prime number?
True
Is 3/(5 - 1477986/295599) a composite number?
False
Let q(a) = 706*a**2 - 11*a + 17. Is q(2) a composite number?
False
Suppose 46*s + 7096360 = 86*s. Is s composite?
False
Let r(u) = 1852*u**3 + 2*u**2 - 1. Let g = -13 + 14. Is r(g) composite?
True
Let q = -650 - -1240. Suppose 0 = 4*i - q + 54. Is i a composite number?
True
Suppose 3*i - 13 = q, -2*i + 2*q = -0*q - 10. Suppose 35 = i*b + b. Suppose -3*k = -b*k + 460. Is k a composite number?
True
Suppose -12*y + 69756 = -81504. Is y a composite number?
True
Let m(j) = -j**3 + 21*j**2 + 54*j - 90. Is m(22) prime?
False
Suppose -6*k - 623 = 847. Let r = k - -502. Is r composite?
False
Let u = -6 + 9. Suppose 25 = -5*f, -5 = u*n + 4*f + 3. Suppose 0 = -n*q - 4*d + 248, -9*q + 221 = -6*q - 4*d. Is q a composite number?
False
Suppose -4*j - 5*o = -2, 6*o = 4*j + 2*o - 20. Suppose 0 = -j*s + 264 + 687. Is s composite?
False
Let a be (5 + -1)/((-2)/(-7)). Let d = -22 + a. Is 1*(d/4 + 33) a composite number?
False
Let m = -6469 - -13369. Suppose -3*a - 1065 = -m. Is a a prime number?
False
Is ((-4348)/8)/((-25)/10 + 2) a composite number?
False
Suppose -3*a = -3*z - 83 - 853, -20 = 4*a. Is z/(-3)*3/1 prime?
True
Suppose 2*x = 3*z - 1223, -z - 4*x + 581 = 164. Let s = z + -231. Is s a prime number?
False
Is (2/4*2)/((-4)/(-30620)) a composite number?
True
Let b be 1 + -931 + (-3 - -2). Let n = -600 - b. Is n composite?
False
Let c(a) be the first derivative of 42*a**2 - 5*a - 5. Is c(4) prime?
True
Suppose 13*d = 8*d + 400. Suppose 3*o - 8*o = d. Is 1 + o/1*-7 composite?
False
Suppose -267644 = -26*y + 40482. Is y prime?
False
Suppose 356*w - 364*w = -125016. Is w prime?
False
Let m(o) = 2*o**3 - 16*o**2 + 14*o + 13. Is m(10) composite?
True
Suppose -i - 5*b + 11264 = 0, 5*i - 56352 = -b + 8*b. Is i a composite number?
True
Let r = 42 + -39. Suppose 0 = -3*p + 5*g + 323, -228 = -2*p - 0*g - r*g. Is p composite?
True
Suppose -2*v + 4*v - 6 = 0. Suppose -t + v = -0. Is -62*(t/(-2) - -1) prime?
True
Suppose 0 = 3*g + 12, 3*p - g - 19982 = p. Is p a composite number?
True
Let b be 1/(-3) - (-154)/21. Suppose -b*y + 12 = -4*y. Let v(z) = z**3 - z**2 - 7*z + 5. Is v(y) a prime number?
False
Suppose 3*v = v + 2864. Suppose 4*b = -4*b + v. Is b composite?
False
Let b(o) = -o + 8. Let v be b(4). Suppose 2*n - v*h = 238, -n - 3*h + 67 = -42. Is n prime?
False
Let f(o) = -o**3 + 1433 - 2*o**2 + 2*o**3 - 51 - 171 + o. Is f(0) a prime number?
False
Let n = -2 + 5. Suppose 2*a + 262 = 2*u, -n*u + 5*a - 121 = -510. Is u composite?
True
Suppose -3*p - 2 = -4*p. Let k(b) = 3*b**2 - 30*b + 2. Let y be k(10). Suppose 0 = y*m + 6, -p*t + 4*t - 3*m - 427 = 0. Is t composite?
True
Suppose 0 = -3*m + 4 + 5. Suppose 0 = l + m*l + 8. Is (16/(-24))/(l/273) composite?
True
Suppose -3*n = -0*n, -5*o - 5*n = -67915. Suppose c - 2728 = 3*p, -3*c = 2*c + 4*p - o. Is c composite?
False
Let s(w) = -135*w + 1. Let z be s(-6). Suppose -2*p + 514 = 4*r, -3*p - r + z = -5*r. Suppose m - 3*m = -3*t + p, 4*t - 2*m - 350 = 0. Is t a prime number?
False
Suppose -5*r - 2*i + 6 = 0, -3 = 2*r - 3*i + 2*i. Suppose 2302 = 2*b - r*b. Is b prime?
True
Suppose -3 + 7 = 2*b. Suppose -2*s + 3*s + 427 = 2*h, -5*s = b*h - 397. Is h a composite number?
False
Suppose 16*h + 40865 = 27*h. Is h prime?
False
Let f(b) be the third derivative of 11*b**4/12 + 11*b**3/6 + 4*b**2. Let p be f(10). Suppose 438 = 3*d - p. Is d prime?
True
Let t be (1*-1)/(-3 - 1414/(-469)). Let p = 262 - t. Is p a prime number?
False
Let c(n) = -n + 0*n + n - n - 9. Let o be c(-12). Suppose 3*f - 6 + o = 0, h - 147 = 2*f. Is h prime?
True
Suppose -5*y = 4*y - 4356. Let s = y - -1683. Is s a prime number?
False
Let o(r) be the first derivative of -r**3/3 + 3*r**2 - 3*r + 4. Let p be o(4). Is 108/p + (-6)/(-15) a composite number?
True
Let u(a) = 2*a**2 + 16*a + 89. Is u(25) prime?
False
Suppose -5*c + 4*g + 20 = -13, 0 = c - 4*g + 3. Let f = 22 - c. Is f prime?
True
Let c = -6 + 20. Is 1480/c - (-4)/14 a prime number?
False
Let p(m) = 67338*m**2 - 5*m + 6. Is p(1) composite?
False
Let m = -4314 + 8005. Is m composite?
False
Let w(t) = t**2 + 7*t - 6. Let v be w(-8). Suppose -v*n + 296 = 2*n. Is n a prime number?
False
Let u = 11 - 9. Suppose 0 = u*c - 0*c + 710. Let v = c - -648. Is v composite?
False
Suppose 4*m = 5*c + 81, m + 2*m + 3 = 0. Let k(l) be the second derivative of l**5/20 + 17*l**4/12 - 11*l**3/6 + 8*l**2 + 3*l. Is k(c) prime?
False
Let b be -4 + 1*4 + -7 + 8. Is (b - 567)*68/(-8) a prime number?
False
Let g(b) = -2288*b - 11. Let p be g(-6). Suppose -s = 3*o + 2*o + 22900, -4*s + p = -3*o. Let i = 6528 + o. Is i composite?
False
Suppose 100 = -2*m + m. Let q = 91 - m. Is q a composite number?
False
Let w = 5009 - 1464. Let h = -2426 + w. Is h a composite number?
True
Let f = 10080 - 5011. Is f composite?
True
Let z = -89 - 7. Is 14/(2 + z/51) prime?
False
Let n(d) = 502*d**2 + 18*d - 33. Is n(-7) prime?
True
Let j(f) = -f**2 + 15*f - 2. Let l be j(15). Is (1/2)/(l/(-332)) a composite number?
False
Let t = 26191 + 8790. Is t composite?
False
Suppose 3*z = 6*z - 6. Let k(x) = 2*x - x**2 + x**2 + 4*x**z - 1 + 8. Is k(4) prime?
True
Let t = 10 + -7. Let a(g) = -4 + 2 + 4 + g**t + 7*g**2 - g - 4*g. Is a(-5) prime?
False
Suppose 20 = 4*h - 4*q, -9 = -h + 5*q - 0*q. Suppose h*d + 20 = 0, 4*v = d + 25 - 8. Suppose v*b - b - 518 = 0. Is b prime?
False
Let n = 225 - 75. Let y(j) = -j**2 - 7*j - 33. Let i be y(-8). Let w = i + n. Is w prime?
True
Let x = 21 - 17. Suppose -3*l = -4*t - 321, 288 + 144 = x*l - 4*t. Is l a prime number?
False
Suppose 55*k - 25*k - 83910 = 0. Is k a prime number?
True
Let z be 20/(-130) - 25751/13. Let g = -2888 - z. Let h = g - -1316. Is h composite?
False
Let d(w) = 11*w**2 - w + 5. Suppose 4*b + 2*h + 3*h = -4, -3 = 3*b - h. Let v be b/3 - (-11)/(-3). Is d(v) composite?
True
Let m be 4/(-6) - 1820/15. Let c = 595 - m. Suppose 0*x = 5*x - 4*z - c, 3*z - 731 = -5*x. Is x composite?
True
Suppose 5*k - 712 = 2*p, -p + 5*k = k + 362. Let d = p - -867. Is d a prime number?
True
Let l = -327 - -3205. Let a be (4/10)/((-2)/(-40)). Suppose -10*g = -a*g - l. Is g a composite number?
False
Suppose 2*l = -0*l - m - 6, m = 5*l + 1. Let x be (l/2)/(1/(-886)). Suppose -272 = -5*k + x. Is k composite?
True
S