
Let o(f) = -f**3 + 6*f**2 + 8. Let j be o(6). Is (-12)/j*(-254)/3 prime?
True
Suppose -2*t = -2*s - 3*t + 22, 2*s = t + 18. Suppose -s*v + 6852 - 232 = 0. Is v a prime number?
False
Is (-155606)/(-66) + (-4)/6 a composite number?
False
Suppose 2*i - 6679 - 4715 = 0. Suppose i = 7*k + 2*k. Is k a prime number?
False
Let d(l) = 3*l**3 - 51*l**2 - 13*l + 119. Is d(22) prime?
False
Suppose -486*p = -493*p + 71267. Is p a composite number?
False
Suppose -8*y = -5*y, y = 5*m - 26525. Is m a prime number?
False
Let f(v) = 13*v + 15. Let l(x) = 27*x + 30. Let m be 7/28 - 18/8. Let b(w) = m*l(w) + 5*f(w). Is b(14) prime?
False
Suppose -108 = -3*j - 21. Let f(z) = 4 + 3*z + j*z**2 + 0 - 3. Is f(-2) prime?
False
Is (-13628)/(-6)*(-21)/(-14) prime?
True
Let q = 8303 + 1430. Is q a composite number?
False
Let r be 7 + (-2 - -3)*-3. Suppose 0 = r*l - 2*l - 4. Is ((-6281)/(-22))/(1/l) a prime number?
True
Suppose 1275 = 4*d + 299. Let a be d*-2*(-3)/6. Suppose -3*n + 3*s + 222 = 0, -47 + a = 3*n + 2*s. Is n prime?
False
Let p(g) = 23*g - 2. Let d(k) = -8*k + 1. Let f(y) = -17*d(y) - 6*p(y). Let u be f(-5). Suppose -u*q + 0 = -265. Is q a prime number?
True
Let b = 17 + -17. Suppose 20 = 5*y - b*y. Suppose 7*v = -3*f + 2*v + 42, -y*f = -2*v - 30. Is f prime?
False
Suppose 0 = h - 64 + 9. Let f be h/(-6) + (-1)/(-6). Let z(r) = r**2 + 7*r - 4. Is z(f) a composite number?
True
Let a(v) = v - 1. Let w be a(6). Suppose -4 = -3*q + t, -2*t - 3 = 4*q - w*t. Suppose -q*r + 22 + 89 = 0. Is r composite?
False
Suppose s + 114 = -4*y + 545, y = -s + 422. Is s a prime number?
True
Let f be ((-2)/10)/1 - 43/(-215). Suppose f*b - 981 = -2*b + 5*j, 2*j + 493 = b. Is b prime?
True
Let j = -17576 + 28003. Is j composite?
False
Suppose 0 = 2*c - 5*c + 84. Suppose -h = -5*z + 458, 2*h + c = -z + 113. Is z a composite number?
True
Let z be 16/(-14)*14/(-4). Suppose 3*n + 2 + z = 5*b, -15 = -4*n - b. Suppose n*u + 5*h + 528 = 5*u, u + 3*h - 253 = 0. Is u a composite number?
True
Suppose 3*h + 12 = 0, 2*x - x - 10927 = -3*h. Is x a composite number?
False
Let z(o) = -22*o**3 - 4*o**2 - 8*o - 3. Let r be z(-3). Let b = -314 + r. Is b a prime number?
False
Is (-829017)/(-39) - 88/(-572) composite?
True
Suppose -5*s = -0*s - 1030. Suppose -5*y = -t - 496, -3*t = 3*y + s - 518. Suppose -3*q + y = -11. Is q a composite number?
False
Let n be (2 - 122)/(21/(-28)). Let i = n - -42. Let q = i + 439. Is q a composite number?
False
Let d(f) = -8*f**2 + 2*f + 1. Let h be d(-4). Let i = h - -352. Suppose 0*w = w - i. Is w a prime number?
False
Let z be 29*70*1*(-1)/2. Let s = z - -1462. Is s a prime number?
False
Suppose 47296 = 8*o - 888. Is o prime?
False
Suppose -5*l = -3*w + 4050 + 6693, -3*w = 5*l - 10743. Suppose -3*x = -w - 832. Is x a composite number?
False
Let f(j) = j**2 - 12*j + 1973. Is f(0) prime?
True
Suppose 11*t + 485933 = 60*t. Is t composite?
True
Let l = -66606 + 93987. Is l a prime number?
False
Let l(b) = 4*b**2 - 96*b + 89. Is l(39) a composite number?
True
Suppose 0*y + 3*a = 4*y - 3430, -5*y + 4287 = -4*a. Is y composite?
False
Let g be 4 + (-5 - (-9)/3). Suppose 2 = l - v, -g*l + 3*v = 1 - 5. Suppose q - 146 = -4*f, -4*f - 7*q = -l*q - 138. Is f composite?
False
Suppose 4047 - 421 = -5*a - 2*j, -2*a - 1460 = 4*j. Let x = -387 - a. Is x a prime number?
True
Let s = -25 + 20. Let l(v) = -v**3 - 6*v**2 - 4*v - 2. Let f be l(s). Let n = 29 + f. Is n prime?
False
Suppose -3*n = -14041 - 1400. Is n prime?
True
Suppose 0 = -2*z + 5*p - 6, z = 2*p - 0*p - 2. Let o be (z - (-196 - -3)) + -1. Suppose -46 + o = 4*t. Is t a composite number?
False
Let i = -110 - -58. Let t be (i - -1)*(14 - 9). Is -1 - (t + -2 + 3) a composite number?
True
Is (-8523)/(-135)*95 - (-2)/6 a prime number?
False
Let p = 384 + 7229. Is p composite?
True
Let q(d) = d**2 - 6*d + 2. Let m be q(6). Is (m + 1)/(-3)*-718 a prime number?
False
Let s(w) = 28*w**2 + 57*w + 19. Is s(-24) a composite number?
False
Let u = -7771 + 28622. Is u a prime number?
False
Let o(m) = 5*m + 24. Let d be o(-12). Is 1113/5 + d/(-90) a composite number?
False
Let o(x) = 123*x**2 + 19. Is o(10) composite?
True
Suppose 7*n - 3*n = 185492. Is n composite?
True
Suppose 4*f - 3016 = -4*l, 3*f + 5*l = -f + 3012. Suppose -4*t - 722 = -2*t + 2*z, -5*t - 1825 = -5*z. Let c = t + f. Is c a composite number?
True
Suppose 0 = -3*u + 7*r - 3*r - 66, -51 = 3*u + r. Let k(j) = 2*j**2 + 23*j - 43. Is k(u) a composite number?
False
Let t(o) = -2*o**3 + 0*o**2 + 2*o + o**2 + o**2 + o**3 - 1. Let n be t(3). Is ((-6)/n + -4)*-22 prime?
False
Suppose 22*q - 118173 = 49357. Is q prime?
False
Suppose -320*q = -308*q - 153924. Is q prime?
False
Let x = 3 - 27. Let l be 6 + -5 - 4*-3. Is (l/2)/((-6)/x) a composite number?
True
Suppose -j + n - 1895 = 3*j, -j = 2*n + 476. Let l = -95 - j. Is l a composite number?
False
Suppose -x = 2*k - 6, k - 1 = 2. Suppose 0 = 2*z - 8, i = -x*z + z - 21. Let o = -7 - i. Is o composite?
True
Is 2957/((5/(-20))/((-2)/8)) a composite number?
False
Let k(p) = p + 8. Let q be k(-3). Suppose q = -14*t + 15*t. Suppose 2*u - 539 = -t*u. Is u prime?
False
Suppose -18*r + 65 = -25. Let x(z) = 345*z - 40. Is x(r) a composite number?
True
Let k(x) = 42*x - 213. Is k(27) a composite number?
True
Suppose -4*s - 1871 = 4*r - 25883, -4*r - 30006 = -5*s. Is s a prime number?
False
Let k(q) = 2*q**2 - 5*q + 2. Let j(r) = 1. Let t(i) = j(i) + k(i). Is t(3) prime?
False
Suppose 4*m = -3*l - 5, 5*l - 2*m + 47 = m. Let p = l + 49. Let q = p + 37. Is q a composite number?
False
Suppose 19*v - 22390 = 17*v - 4*t, 33592 = 3*v - t. Is v a composite number?
False
Let n be (-7)/14*(4 + -2) - 1818. Let k = n + 2604. Is k prime?
False
Suppose 46709 = -22*z + 35*z. Is z a prime number?
True
Let c(m) = -m**3 - 10*m**2 + 65*m - 69. Is c(-28) a composite number?
True
Let x(i) = 158*i**2 - 5*i - 1. Let r be 3/(-63)*-6 + 48/(-21). Is x(r) a prime number?
True
Suppose 2*f - f = -5. Let q(b) = -b**3 - 4*b**2 + 7*b + 6. Let z be q(f). Is 9 + z/(-8)*4 a composite number?
False
Let a(g) be the second derivative of -g**5/20 + 11*g**4/6 - 17*g**3/6 + 37*g**2/2 + 18*g. Is a(15) a prime number?
False
Is 10101 + 1/((-7)/28) a composite number?
True
Let a(x) = 39*x**2 + 6*x - 14. Is a(-9) composite?
True
Suppose 0 = g + 4*r + 1, 5*g + r - 67 = 5*r. Suppose -2*s = -11 - 13. Suppose -g*w - 289 = -s*w. Is w prime?
False
Let v = -197 + -34. Let w = 442 + v. Is w composite?
False
Let d(k) = 212*k**3 + 20*k**2 + 7. Is d(5) a prime number?
False
Suppose 54*n - 52*n = 7574. Suppose -8*b + 3*b - 2*x + n = 0, -x = -2*b + 1513. Is b a prime number?
True
Suppose 3*s - 1289 = -f, 1733 = -5*f + s + 8210. Suppose -n + f = -360. Is n a prime number?
False
Suppose 0 = -16*x + 15*x + 336. Suppose 3*r = -3*j - 0*r - 9, -2*j + r + 3 = 0. Suppose 5*i = -3*b - j*b + 292, 4*b - x = 4*i. Is b composite?
False
Is (-4)/3*-9*(-49423)/(-132) composite?
False
Let m = -29 - -24. Let q(o) = -176*o - 17. Is q(m) a prime number?
True
Let o(t) = -t**2 - t + 203. Suppose 5*l - 17 = 3. Suppose 0 = z + l*z. Is o(z) prime?
False
Let w = -8302 - -12479. Is w a composite number?
False
Suppose -12*m + 4863 = -9*m. Is m a prime number?
True
Suppose 3*i + 2*b = -25, -10 = b + 4*b. Let g = i + 14. Is g a prime number?
True
Let z = 1851 - 218. Is z a prime number?
False
Suppose 4*j = -0*j + 720. Suppose -m + 128 = -j. Suppose 0 = -25*k + 21*k + m. Is k prime?
False
Let r(j) = 18156*j**3 - 2*j + 1. Is r(1) a composite number?
True
Let u be 2/(-8) + 25/4. Let i = -418 - -426. Suppose -52 = -2*l - 4*q, u*q - i = 2*q. Is l composite?
True
Let m be 57*3/36 + (-9)/12. Suppose -17 = -3*u + 1. Suppose -z + 304 = s, m*s - u*z - 1234 = -4*z. Is s a composite number?
False
Suppose 112 = -g - 102. Let x = -129 - g. Is x a composite number?
True
Let w = -1632 - -8817. Suppose -930 - w = -3*p. Is p a prime number?
False
Let v(z) = 26*z**3 - 4*z**2 + 7*z + 1. Let n be v(3). Is -1 + 4 + n/2 a prime number?
True
Let n(l) = 2*l**3 + 5*l**2 - 30*l + 11. Is n(8) a prime number?
False
Let v = -34 + 36. Is (-2031)/v*(-2)/3 composite?
False
Suppose -10*y + 20*y = 6130. Is y a composite number?
False
Let f be (8*(0 - 1))/1. Let n be f/16 + (-5)/(-2). Suppose 3*a - 1392 = 5*z, -5*a + 2354 = n*z + z. Is a a composite number?