composite?
True
Suppose 6*q - 670 = 4652. Is (-2 + 1)/((-1)/q) a prime number?
True
Suppose -4*c - 5*n = -491, 3*c + 3*n - 121 = 2*c. Let a = c - 235. Is 0 - (2 + -1)*a a composite number?
True
Let g = -15 + 11. Let a be g/(-16) - 30/(-8). Is a + 73 - (2 - 2) a prime number?
False
Let w = 2 + 1. Suppose 2*x - 104 + 32 = -4*r, w*r = -2*x + 76. Suppose 6*d = n + 3*d - x, -5*n = -5*d - 190. Is n a prime number?
False
Let m be ((-32)/(-2))/(-2) - -3. Let t(z) = -356*z - 4. Let i be t(m). Suppose o = -2*d + i, 3*d - 1214 = 3*o + 1459. Is d a composite number?
True
Suppose 5*z + 19155 = 10*z + m, 4*z + 5*m - 15324 = 0. Is z composite?
True
Suppose 34*n - 29*n = 4915. Is n a composite number?
False
Let f = 1299 + -1912. Let b = 1292 + f. Is b a prime number?
False
Let c(h) be the first derivative of h**4/4 + 6*h**3 + 12*h**2 + 13*h + 19. Is c(-16) prime?
False
Let x(z) be the second derivative of 59*z**3/3 - 29*z**2/2 - 43*z. Is x(30) a composite number?
False
Let b(m) = m**2 + 14*m - 4. Let k be b(-15). Suppose -4*z + k + 12 = -a, -2*z - 5*a - 5 = 0. Suppose 0 = -z*l - 20, 4*s - 872 = -4*l - l. Is s composite?
False
Suppose 244*r = 248*r - 8236. Is r prime?
False
Suppose 26*x = 22*x - 12. Let f(p) be the second derivative of -17*p**3/6 + p**2 + p. Is f(x) a composite number?
False
Suppose 25 = 5*w + 5*a, 2*a - 10 = -w - 0*w. Suppose w = -4*z - 12, -z - 311 = -4*y - 0*z. Is y prime?
False
Suppose 5*d - 50 = -20. Suppose 0*c = -d*c + 12. Suppose 2*f + c*p = 46, -f + p - 4 = -23. Is f a prime number?
False
Suppose 22*k - 4177 = 21*k. Is k prime?
True
Suppose -w + 3 = 0, -9 = 2*x - 0*x - 3*w. Suppose x = -4*l - 4*z - 11 + 99, 0 = 2*l + 5*z - 44. Is l a composite number?
True
Suppose 0 = y + 2*y - 9. Suppose 3 = -a, -2*a = y*p - 7*p + 878. Is p composite?
True
Let k be (4/(-10))/(2/(-10)). Let b(l) = -4 - 10*l + 0 + k*l**2 - 2 - 4. Is b(-7) composite?
True
Let z be -4 + 2/2 - -9. Let f be z - (-6 - (0 - 3)). Suppose 5*j - 5*p = 65, -f = 5*j + 4*p - 47. Is j composite?
True
Let n(l) = -262*l**3 - 5*l - 1. Let m(o) = -262*o**3 - 4*o - 1. Let b(h) = 4*m(h) - 3*n(h). Let d be b(-1). Let y = -173 + d. Is y prime?
True
Suppose -7*v - 25329 = -10*v. Is v a composite number?
False
Suppose c + 45641 = 4*l, 0*l + 45650 = 4*l + 2*c. Is l composite?
False
Let k(z) = -206*z + 73. Is k(-15) prime?
True
Suppose -4560 - 4013 = -i - 4*g, 4*g = 3*i - 25639. Is i a prime number?
False
Let d be (-30)/25*293*-5. Suppose d = -w + 7*w. Is w prime?
True
Is 56442/23 - 7*-1 a prime number?
False
Suppose -3*f - 3*u = 738 + 348, -4*u + 8 = 0. Let p = f - -233. Let s = -94 - p. Is s prime?
True
Let d(b) = -b**3 - 2*b**2 + b + 2. Let a be d(-3). Let p(v) = 4*v**2 + 23*v + 7. Is p(a) composite?
True
Let i(t) = -t**2 - 5*t + 4. Let j be i(-4). Let f be 2/j - (-3)/4. Is (f/(-1))/((-2)/502) a composite number?
False
Let u = -7276 - -25395. Is u prime?
True
Let m(j) = 58*j**2 - 13. Let x = 25 - 34. Is m(x) composite?
True
Let k = 34 + -26. Suppose s - c - k = 69, -s + 3*c + 73 = 0. Is s composite?
False
Let w(t) = 25*t + 2. Let j be (0/(-3) - 4)*-1. Suppose j*l - 14 + 2 = 0. Is w(l) composite?
True
Suppose -z = -3 - 0. Suppose -2*y = -h - 2, 5*h - 4*y + 10 = 2*h. Is (-1216)/h - (-1)/z prime?
False
Let x(t) = t**3 + 6*t**2 + 34*t - 185. Is x(16) a prime number?
False
Let i = 5 - 1. Suppose 6 = -5*k + i*m, -k - m + 10 = 2*k. Suppose k*s - 3*s + 269 = 0. Is s a prime number?
True
Suppose -7*l + 90 + 50 = 0. Suppose 1490 = l*a - 15*a. Is a a composite number?
True
Let f be (4 - (-21)/(-3)) + 0. Let b(i) = i**3 + 4*i**2 + i - 2. Let o be b(f). Let m(h) = 22*h**2 + 3. Is m(o) a prime number?
False
Suppose -k + 1 = -3. Let h be k/8*(-1 - 11). Is ((-2637)/h)/((-15)/(-20)) a composite number?
True
Let b(s) = -90*s**3 + 3*s**2 - 3*s + 7. Let f(i) = i**3 + i. Let v(x) = b(x) + 2*f(x). Is v(-3) prime?
False
Suppose -4*g - 88 = 40. Is 6284/7 + (g/28)/(-4) prime?
False
Suppose 0*h + h = -5*i, 18 = 3*h - 3*i. Suppose -4*n + 503 = -h. Is n prime?
True
Let y(p) = 5*p**2 + 3 - 22*p - 2*p**2 + p**3 - p**2 - 7*p**2. Is y(11) composite?
False
Let l(k) = -9*k + 11 - 35*k**2 + 0*k + 36*k**2 + 0*k. Let w be l(8). Suppose w*d + d + y = 2160, -5*d + 2709 = -y. Is d a prime number?
True
Let n be (-11 + 3)/((-2)/4). Suppose -3*y + 4*w = -0*y + 16, 4*w - n = 0. Suppose y*i = 5*i - 285. Is i prime?
False
Let w(q) be the first derivative of 2*q**3/3 + 29*q**2/2 + 18*q + 6. Is w(-21) a prime number?
False
Suppose 8209 = 4*b + a, -4*b - 5*a = -1599 - 6630. Is b a prime number?
False
Suppose 0*h + 5*h - 35 = 0. Let f = h + -3. Suppose -3*z = -f*c - 581, -z = z + c - 380. Is z a composite number?
False
Let b(s) = -s - 4 + 6 - 13*s**2 - 2. Let f be b(-1). Is ((-12)/8)/(f/80) a composite number?
True
Let s = 33 - 34. Let t be (-4 - -11) + -3 + s. Is 1*(3 - t - -43) composite?
False
Suppose 21*n - 137403 = -6*n. Is n a prime number?
False
Let w be 3/6*(336 - -2). Suppose -121 = -2*i + w. Is i composite?
True
Suppose -5*q + 86540 = 15*q. Is q composite?
False
Let t be 0/(0 + 2 + 1). Let d(g) = -g + 1. Let f be d(-4). Suppose -2*n - 2*p + 884 = 0, 5 = -f*p - t*p. Is n a prime number?
True
Let r be (1 + -4)/((-1)/1). Let j be (3/r)/((-1)/(-533)). Suppose 5*w = 162 + j. Is w composite?
False
Suppose 5*t - 230589 = 2*f, -2*t - 2*f + 5*f = -92229. Is t a composite number?
True
Let s(z) = 52 - 391*z + 133*z - 41. Is s(-6) a composite number?
False
Let g(m) = -16*m**3 + 12*m**2 - 11*m + 12. Let i be g(-9). Suppose 0 = -9*q + 2*q + i. Is q a prime number?
False
Suppose -57776 = -2*q + b, -3*b + 24184 = 2*q - 33600. Is q prime?
False
Let k(v) = 6*v + 4. Let j be k(-6). Let h be (j/2)/(2/(-3)). Let q = h - 10. Is q a composite number?
True
Is ((-58)/8)/(1 - 6030/6024) a composite number?
True
Suppose -7*r + 8*r + u - 24464 = 0, 3*r - 73387 = -4*u. Is r prime?
True
Let h(c) be the third derivative of -c**6/5 - c**5/60 - c**4/24 + c**3/6 + 13*c**2. Is h(-2) a prime number?
True
Let s = 46 + -39. Suppose s*j = 8826 + 10627. Is j a prime number?
False
Let d(k) = 8*k + 17. Let c be 6*(-6)/(-9) - 1. Suppose -2*p = g - 1, 0 = 2*g + 3*p - c - 3. Is d(g) prime?
True
Let w = -9 - -14. Suppose -11 = -w*y - 5*d + 9, -12 = -5*y - 3*d. Is (y - (-2 - -2)) + 445 a prime number?
False
Suppose 2*y - 15 = -y, 0 = 3*a - y - 1. Suppose a*k + 60 = -s + 731, 2*s - 5*k = 1324. Is s a prime number?
False
Let g(o) = 2*o**2 + 4*o. Let n be g(-3). Let q = 181 + n. Is q composite?
True
Let t(i) = i**3 + i**2 - 4*i - 4. Let s be t(-2). Suppose 10*d - 940 - 1530 = s. Is d composite?
True
Let p(o) = o**2 - o. Let c(k) = -k**3 + 2*k**2 + 5*k + 9. Let h(u) = -c(u) - 6*p(u). Suppose 2*x + y - 16 - 9 = 0, x = -5*y + 35. Is h(x) a composite number?
True
Let u(h) = 28045*h - 409. Is u(6) a composite number?
False
Let i(x) = -3*x**2 + x. Let a(r) = 28*r**2 - 10*r - 1. Let l(w) = 2*a(w) + 18*i(w). Suppose b = -2*n + 12, 0 = -3*n - 2*n + 3*b + 19. Is l(n) composite?
True
Is (-6)/(-4)*-1*236416/(-192) prime?
True
Let n = 14 - 2. Let c be (-6)/(15/n + -2). Suppose -j + 0*j - 1693 = -3*a, c = -2*j. Is a a composite number?
False
Suppose n = j - 23308, 3*n - 2888 = j - 26190. Is j a composite number?
False
Let c = 5485 + 1426. Is c a composite number?
False
Suppose -i - 4 = -2. Let k(g) = 4297*g + 19. Let r be k(2). Is r/(-18)*i/3 a prime number?
False
Is 3/(-15)*133290/(-18) prime?
True
Suppose -4 = -4*o + 4*i, -4*o + 2*i = -10 + 2. Suppose -198 = -l + o. Is l composite?
True
Let c = -80 - -84. Suppose -m + 195 = c*m. Is m composite?
True
Suppose 319941 + 91637 = 38*h. Is h a composite number?
False
Suppose 602*q - 601*q = 46259. Is q a composite number?
True
Let f be 4/(-10) + 162/(-45). Let c be (6*3)/(f/(-282)). Suppose 0 = -5*u + 26 + c. Is u a prime number?
False
Let n = 4 + -8. Let a be (1 - 1)/n - 0. Is 0/(a - -3) - -211 a prime number?
True
Suppose j = 2*j. Suppose j*f + 3*f + 57 = 0. Is (18 + f)*(-1 - 21) a composite number?
True
Let r be ((-1)/(-3))/((-8)/(-264)). Is 746/4*(-9 + r) a prime number?
True
Suppose x + 415 = 2969. Is x prime?
False
Is 2*(16196/8 - 3) a composite number?
True
Let h be (-15)/9*90/(-25). Suppose 0 = -h*j + 3323 + 523. Is j a composite number?
False
Let r = 6979 + 1060. Is r a prime number?
True
Let o = 6 + 2. Is o/(-12)*(-4206)/4 a composi