 prime number?
True
Is (6/(-4))/((-33)/2794) a prime number?
True
Let b(j) be the first derivative of -47*j**4/24 - j**3/6 + 6*j**2 - 12. Let o(q) be the second derivative of b(q). Is o(-9) a prime number?
False
Suppose 718 = -11*p + 13*p. Suppose 0 = 2*u + 3*f - 370, -2*u - 5*f + 3 = -p. Is u composite?
False
Suppose 4518 - 11895 = -3*b. Is b a composite number?
False
Suppose -11*a - 20 = -15*a. Suppose -a*s - 86 = 499. Let m = 674 - s. Is m composite?
True
Suppose -27188 = 2*i - 6*i. Is i a composite number?
True
Let t(l) be the first derivative of 4*l**3 + 3*l**2/2 + 7*l - 1. Suppose 0 = 3*o, -15*r + 10*r - 3*o - 15 = 0. Is t(r) a composite number?
True
Let h = 14 - -14. Let m be (36/(-21))/((-4)/h). Suppose -m - 251 = -a. Is a prime?
True
Let l = 2704 - -20. Suppose -3*o - 5*g + 316 = -1719, -4*o + l = 4*g. Is o composite?
True
Let o be 1 + 2 + -4 + 3. Suppose -4*l - 2*n = -772, -2*l + 3*l + o*n = 199. Is l a composite number?
False
Is -2 + (-232)/(-112) + (-28041)/(-14) composite?
False
Let q(a) = 354*a**2 - 18*a + 19. Is q(8) a composite number?
False
Suppose -5*d - g + 15 = -6*g, 0 = -5*g + 5. Let l(s) = s**2 + 2*s + 1. Let a be l(-3). Suppose d*u + a*v - 2544 = 0, -4*v + 1 = -3*v. Is u a composite number?
True
Let p be (-4 - 14)/(2/(-24)). Suppose -4*d - 13*a = -14*a + 2, -3*d - 5*a = -10. Suppose -4*j + 2*v + 854 = 0, v + p = j - d*v. Is j a composite number?
False
Let a = 3409 - 1436. Is a prime?
True
Let w be (23/1 + 2)*-3. Let m = w - -31. Is (-2)/11 + (-17300)/m a prime number?
False
Let v be (-1 + -1)/1 + (-2 - 0). Is (1 + 190)*(-4)/v a prime number?
True
Is ((-360)/(-105))/8 - 2439812/(-7) a composite number?
True
Let t = 3214 + -1565. Let o = -172 + t. Is o composite?
True
Suppose -4*v = -2*v + 5*a - 203420, 2*a = 4*v - 406816. Is v a prime number?
False
Let l(m) = -13*m + 2. Let i = -13 - -5. Let k be l(i). Suppose -2*r = -3*r + k. Is r a prime number?
False
Let l(x) = 4895*x**2 + 46*x + 83. Is l(-2) prime?
True
Let s(h) be the first derivative of h**6/120 + 7*h**5/60 - 3*h**4/4 + 4*h**3/3 + 9. Let f(j) be the third derivative of s(j). Is f(-13) composite?
False
Let k(v) = -8 + 6*v + 8*v - v + 2*v**2 - 1. Is k(8) a composite number?
False
Suppose h - 1214 = -4*a + 9*a, -3*h + 2*a = -3655. Is h composite?
True
Suppose -4*u + 2*f - 70 = 0, f - 105 + 34 = 4*u. Let v be ((-1)/2)/(3/u). Suppose -q - 1449 = -v*p + 2*q, -p + 487 = -2*q. Is p a prime number?
True
Let j(o) = -o**2 + 4*o + 11. Let u be j(-2). Is 40/(-56) - u - 15545/(-7) composite?
False
Suppose -25*a - 4942 = -31992. Is a a composite number?
True
Suppose -60 = -5*k + 8*k. Is (-12628)/k - (9/(-15) + 1) prime?
True
Let x = -10498 + 15665. Is x a composite number?
False
Suppose 15 = -0*w - w. Let k(m) = 3*m + 47*m**2 - 91*m**2 + 15*m + 46*m**2 + 7. Is k(w) a composite number?
True
Let i be (-2)/(-13) - (-152)/26. Let c(l) = 340*l + 7. Is c(i) prime?
False
Let o = -76 - 450. Let m = -144 - o. Is m a prime number?
False
Suppose 6*z = -k + 5*z + 2495, -2*k + 4987 = 3*z. Suppose -4*f + 5404 = 3*j, -3*f - 2*j = -k - 1556. Is f a composite number?
True
Let v(p) = 2*p**2 - 6*p - 14. Let j be v(9). Let u(n) = 20*n**2 - n - 4. Let l be u(-3). Let m = l - j. Is m composite?
True
Suppose 0*b - 15 = 3*b, 0 = 5*q + 4*b + 10. Let l(y) be the third derivative of 11*y**6/60 + y**4/24 + y**3/2 + 247*y**2. Is l(q) prime?
True
Let a(s) be the second derivative of 15*s**3/2 - 3*s**2 - 8*s. Let y be a(-9). Let b = y - -748. Is b composite?
False
Let r = 72817 + -35820. Is r a composite number?
False
Let w = 61 + -361. Let y = w + 1361. Is y prime?
True
Let k be 1 + 4/(-8)*(-2)/(-1). Suppose 0 = -3*m + 4*h - k*h + 4937, -4*h = 4*m - 6536. Is m prime?
False
Let u = -11 + 15. Suppose u*p - 3445 = -5*t, 3*p + 3183 - 1143 = 3*t. Is t composite?
True
Let r = -62 + 50. Is 2*r*-14 - 2 a prime number?
False
Suppose -4*j = -4*b + 784, j + 194 = b - j. Let k = 451 - b. Is k a prime number?
False
Suppose -17*b = -10*b - 14189. Is b a composite number?
False
Let q(b) = 2*b - 33. Let n be q(25). Suppose 0 = n*v - 12*v - 725. Is v prime?
False
Suppose 2*n + s - 32113 = 0, 4*s - 80281 = 178*n - 183*n. Is n a composite number?
False
Let q be (373/4)/(2*2/16). Suppose q + 764 = 3*s. Is s prime?
True
Let l(m) = 1971*m + 227. Is l(4) composite?
False
Let i = -2 + 4. Let g be 6/i + (0 - 0). Suppose -2*s + 122 = g*s + 3*h, -24 = -2*s + 5*h. Is s composite?
True
Let f(v) = 3*v**2 + 2*v + 1. Let j(k) = -k**2 + k. Let y(g) = f(g) + 2*j(g). Let t be y(-3). Is t + (-1 + -260)/(-1) a composite number?
True
Suppose -7*k + 97 = -78. Suppose -892 = 21*c - k*c. Is c a prime number?
True
Let r(o) = -3*o**2 - 1 - 2 - o**2 + 5*o**3 + o**2 - 4*o. Let h(k) = k - 3. Let l be h(7). Is r(l) a composite number?
True
Suppose -3*k - 2*k - 5*g = -6200, 5*k - 5*g - 6210 = 0. Suppose k = 37*h - 36*h. Is h a composite number?
True
Let q = 27699 + -17062. Is q a composite number?
True
Let m be -2 + 2 + 4 - 2. Suppose m*i + 276 = 878. Suppose -21 = -2*f + i. Is f a prime number?
False
Let z(i) be the first derivative of -i**5/5 - i**4/12 - 2*i**3/3 - 3*i**2/2 - 7*i + 7. Let o(j) be the first derivative of z(j). Is o(-2) prime?
False
Suppose 4*i - 803 = 14725. Suppose -10*f + 16*f - i = 0. Is f composite?
False
Let w = -8020 - -35115. Is w a prime number?
False
Let b be 1/(-3) + 112/21. Suppose -10 = -b*x, x - 280 = -h + 611. Is h prime?
False
Suppose -4*t = 4*h - 5*t - 24789, -t = -h + 6198. Is h composite?
False
Let q(w) be the second derivative of 31*w**3/6 - 2*w**2 + 16*w. Suppose -f + 3 = -0*f. Is q(f) a prime number?
True
Let v(i) = -i**3 - i**2 + 5*i - 4. Let k = -20 - -24. Let g be v(k). Let h = 143 + g. Is h composite?
False
Suppose i - s = 306, -2*s + 930 = 3*i + s. Let c = 65 + i. Is c a composite number?
False
Suppose -5*q = -q + 4*u - 1776, -2*q - 4*u + 882 = 0. Let k(x) = -x**3 - 4*x**2 + 4*x - 5. Let z be k(-5). Suppose -3*h + q = -z*h. Is h a composite number?
False
Suppose 0 = 7*c - 3*c - 20. Suppose 0 = -4*x - c*x + 12591. Is x a prime number?
True
Let n(t) be the third derivative of 23*t**5/60 + t**4/3 + 5*t**3/6 + t**2. Let v be n(-5). Suppose v = 4*a - 1184. Is a a prime number?
True
Let y(u) = -2*u - 9. Let t(x) = -x**3 - x**2 + x - 6. Let d be t(0). Let j be y(d). Suppose -j*f = n + 2*n - 648, 0 = -3*n + 15. Is f composite?
False
Let a = 18014 - 4981. Is a a composite number?
False
Let k = 94 - 96. Let h(v) = 30*v**2 - 1. Is h(k) a composite number?
True
Let g = -325 + 110. Let s = 112 + g. Let b = -72 - s. Is b composite?
False
Suppose -2*i + 4*x = -0*i + 644, -x + 1288 = -4*i. Let z = -195 - i. Is z a prime number?
True
Let l(p) = 8*p + 8. Let c be l(2). Let w be (-2)/4*(-622 - 0). Let t = w + c. Is t a prime number?
False
Let k(m) = 222*m**2 + 2*m - 1. Let w = -4 + 19. Let h be 20/w - 2/6. Is k(h) a composite number?
False
Suppose 41592 = -83*p + 91*p. Is p a composite number?
True
Suppose 3*u + 442 + 1023 = g, -u + 4 = 0. Suppose 8*r - g = r. Is r composite?
False
Let g = 27 - 25. Suppose -4*w = -2*j - 2932, 0*w + g*j + 1466 = 2*w. Is w a prime number?
True
Suppose o - 4 = -2*k + 4, 0 = 5*k. Is 2/o + 5532/16 a composite number?
True
Suppose -7*x + 5*d + 11477 = -6*x, 57501 = 5*x + 4*d. Is x composite?
False
Suppose -m - 3 = -5*m + 3*n, 4*m = -n + 15. Suppose 18 = m*z - 0*x + 3*x, x = -5*z + 14. Suppose z*y = -15 + 121. Is y composite?
False
Let p(s) be the third derivative of -s**2 + 0 + 5/6*s**4 + 0*s + 3/2*s**3. Is p(7) composite?
False
Suppose -57*t + 278777 = -2622808. Is t prime?
False
Is 437290/105*(-3)/(-2) a composite number?
False
Suppose 5*f + 5*g - 28050 = 0, g + 6804 = 3*f - 10038. Is f a prime number?
False
Suppose -3*m - 10287 + 1239 = -2*u, 4514 = u - 4*m. Suppose -1066 - u = -4*h. Is h composite?
False
Let k = -22 - -36. Let w = 315 - 315. Suppose w = 2*y - y - k. Is y prime?
False
Suppose 5 = -5*y, 5*o + 0*o + 5*y = 60. Suppose o*a - a = 8292. Is a composite?
False
Is 2/((-20)/(-38314))*(18 + 7) composite?
True
Let t(n) = -3*n - 25. Let h be t(-10). Suppose -2*x + 1804 = h*g, 2*g = 4*x - 2*g - 3636. Is x prime?
True
Let x = 1 - 4. Let h be (-2 - (x - 0))*2. Suppose -d + h*d = 9. Is d composite?
True
Let k(t) be the second derivative of t**4/12 + 5*t**3/6 + t**2 - t. Let x be k(-2). Let i(u) = 