prime number?
True
Is (-1)/(98992/32998 - (-58 + 61)) composite?
True
Suppose 3*l - 12167 = q, 2*q - 6*q + 16196 = 4*l. Is l prime?
False
Suppose -5*u = 2*m - 6*m + 11, -2*m + 4 = -4*u. Suppose 2*d - 3*a = 5*d - 2415, 3224 = m*d + 2*a. Is d composite?
True
Let s(k) = 74*k**3 + 12*k**2 - 13*k + 9. Let q(c) = -25*c**3 - 4*c**2 + 4*c - 3. Let w(l) = -8*q(l) - 3*s(l). Is w(-4) composite?
True
Suppose 4*z + 4*z = 272. Suppose -27*c + z*c - 2807 = 0. Is c a composite number?
False
Let d(l) = 13*l**3 - 5*l**2 - 10*l + 11. Is d(6) a prime number?
True
Let v = 3208 - 771. Is v prime?
True
Let j(t) = -151*t + 108. Is j(-5) a prime number?
True
Suppose w + 3*c - 178 = -22, -2*w = 4*c - 314. Let u = w + -69. Suppose -23 = -a + 2*r, -5*a + 9*r + u = 4*r. Is a prime?
True
Let p = -15895 - -23186. Is p a composite number?
True
Is 10/(-25)*(-9115)/2 prime?
True
Let l = 22 + -22. Suppose l = -5*y + y + 524. Is y a composite number?
False
Suppose 4*n - 20319 = n + 3*u, -2*n = -5*u - 13558. Is n a composite number?
True
Suppose 0 = -3*s + 4*j + 32 - 0, j - 3 = -2*s. Suppose -f - s*f + 1130 = 0. Is f prime?
False
Suppose 4*o + 4*s = 165508, 61*s = 63*s + 8. Is o composite?
False
Suppose -2*p + 14 = 4*f, 4*p + 0 = 4*f - 20. Suppose 11 = 3*j - f. Suppose -6*k = -k + 2*y - 1459, 4*y + 1477 = j*k. Is k prime?
True
Suppose 0 = 4*k + 4 - 52. Suppose k*u - 16*u = -16604. Is u a prime number?
False
Let l = 745 - 434. Let d be ((-6)/(-2) + l)*1. Let x = d + -57. Is x a prime number?
True
Suppose 7*h + 32 = 3*h + 4*d, 4*h + 20 = -2*d. Let l(x) = 13*x**3 - x**2 + x + 1. Let q be l(-1). Is h/q - 13456/(-28) composite?
True
Let n(c) = -4*c**3 - c**3 + c**3 - 5*c**2 + 5*c**3 - 1. Let m(i) = -i**2 + 10*i - 9. Let p be m(8). Is n(p) a prime number?
True
Let h = 360 + 821. Suppose 0 = -4*n - 3*c + 2599, -761 - h = -3*n + 5*c. Is n prime?
False
Suppose -179229 = -26*u + 142469. Is u composite?
False
Let k be ((-13)/4)/(4/(-1552)). Let q = -258 + k. Is q a prime number?
False
Let x = -193 + 340. Let b = 272 - x. Suppose -5*v = -v - 8, 3*k + 4*v = b. Is k a composite number?
True
Suppose 0 = 11*j - 4*j - 1645. Suppose 0 = 5*g - 4*x - 8215, j = -5*g + x + 8435. Is g a prime number?
False
Let p be (-9)/27 + (-2)/(-6). Let u(o) = -6*o + o + p + 4*o + 23. Is u(0) a prime number?
True
Let f(p) = -p + 3. Let h be f(0). Suppose 4*x = 2*r + 2738, 4*r + 1441 = h*x - 620. Suppose -5*a = g - 3162, 2*a - g - x = 586. Is a a prime number?
False
Is (62268 - 1) + 18/30*10 a prime number?
True
Let m be (-1)/((-1)/6*6/4). Let i(k) = k**3 - 3*k**2 - 9. Is i(m) composite?
False
Suppose -20*t + 26*t = 39252. Is t prime?
False
Let k = 847 - -5600. Suppose 3*c + 2364 = -k. Is c/(-5) - 4/10 a prime number?
True
Let g be (30/18)/(2/6). Suppose g*s + 210 + 137 = 2*a, s + 902 = 5*a. Is a a composite number?
False
Suppose 5*f - 67751 = -4*i, 0 = -11*f + 14*f - 9. Is i prime?
False
Suppose -4*s = z - 174293, 44*z + 174295 = 4*s + 47*z. Is s composite?
False
Let p = -76 + 51. Is (-13010)/p - (-12)/20*1 a prime number?
True
Suppose 16*x - 6*x = 1365430. Is x a prime number?
False
Is 538/2 + (4 + -4 - 2) prime?
False
Let h(v) be the second derivative of 3*v**4/4 + 3*v**3/2 - 37*v**2/2 + 3*v + 4. Is h(16) prime?
True
Is ((-40)/28)/5 + 6528/14 composite?
True
Suppose 38*a + 2*v + 79021 = 41*a, 4*a - v - 105358 = 0. Is a a composite number?
False
Let a(j) = 80*j**3 - 3*j**2 + j - 1. Suppose -2*f = -4*m + 6, 2*m - 1 + 0 = 3*f. Is a(m) prime?
False
Is 5 + 66/(-15) + (-4028322)/(-30) prime?
False
Suppose 5*p - 66 = -3*r, -r + 25 = 2*p - 2. Suppose 2*f + p = 129. Is f prime?
False
Let k(m) = -m + 20. Let w be k(17). Suppose 3*j - 2693 = -5*n, 0 = -w*n + 4*n - 4*j - 557. Is n prime?
True
Let d(q) be the third derivative of 4*q**2 + 0 - 1/20*q**5 + 1/12*q**4 + 1/15*q**6 + 0*q + 1/3*q**3. Is d(5) prime?
True
Suppose -6 = -3*g + 9. Let b(v) = 1019*v - 6. Is b(g) a prime number?
False
Suppose 0 = -4*i - 6*h + h + 840, -2*i + 414 = h. Is i composite?
True
Let z(y) = -39*y + 58. Is z(-23) a composite number?
True
Let b = -644 + 651. Is b a composite number?
False
Is (-794)/8*(-660)/165 a composite number?
False
Let j(b) = 164*b + 101. Suppose u - 2*u - 4*i + 35 = 0, -2*u = 5*i - 58. Is j(u) prime?
True
Let y(d) = -d**2 - d + 7. Let g be y(0). Is 3 - 1 - 1 - (-11844)/g a prime number?
True
Let n(f) = 178*f**2 + 34*f - 11. Let b be n(10). Suppose -14*k + b = -11*k. Is k prime?
True
Let o(s) = 3*s**2 - 10*s + 10. Let n be 62/12 - 5/30. Suppose -2*k - 9 = n*u, -4*k - 4*u - 4 = -2*k. Is o(k) prime?
False
Let i(a) = -5*a**2 - 4*a + 2333. Is i(0) prime?
True
Let z = 25503 - 17604. Is z a composite number?
True
Suppose 0 = f - 0*f - 3. Let b be 0/((-3)/(-9)*f). Let y(a) = -a + 37. Is y(b) prime?
True
Is 3/3 - (-2 + -6028) a prime number?
False
Let v = -187 + 546. Is v a prime number?
True
Is (-27)/(-6)*890/15 prime?
False
Let w(m) = m - 11*m**3 - 7*m**2 + 5*m**2 + m**2 + m - 1. Let u be w(-2). Is u/3*(-3)/(-1) prime?
True
Suppose s - 2*u - 4 = 0, 3*u = 5*s + 7*u - 6. Let v be s/(((-12)/10)/(-3)). Suppose -7 = v*w - 42. Is w a prime number?
True
Suppose -32 = -o + 3*o - w, -62 = 4*o - w. Let n = o + 19. Suppose -154 = -n*i + 2*i. Is i prime?
False
Is 7/(-5) + 7917/105 composite?
True
Suppose -4*s + 0*s = -1032. Let p = s - 170. Let d = -42 + p. Is d composite?
True
Suppose 0 = -5*m + 2*m - 150. Let q = -33 - -28. Is (-393)/q + (-20)/m prime?
True
Let l(p) = -6 + 0 - 2 + p + 4. Let s be l(7). Suppose 2*d = 4*x - 0*d - 750, 3*x - s*d - 570 = 0. Is x a composite number?
True
Suppose 0 = 5*w + v - 57, v + 39 = 2*w - 4*v. Let h(m) = 3*m**2 - 12*m + 11. Let o be h(w). Suppose -i + o + 74 = 0. Is i composite?
False
Suppose y + y - 44 = 0. Let l be (-3 + 3)/(13 - 12). Suppose -y*v + 18*v + 508 = l. Is v prime?
True
Let f = -5749 + 12554. Is f a prime number?
False
Suppose 4*d + 28 = 2*u, 2*d + 24 = u + 5*d. Let t = 20 - u. Suppose 0 = 3*b - 5*f - 191, 0 = t*b + f - 26 - 97. Is b prime?
False
Let v(k) = -k - 14. Let j be v(-16). Suppose -j*x + 199 = -439. Is x a composite number?
True
Suppose 10*a + 49780 = 30*a. Is a a prime number?
False
Let o = -25 - -17. Let a(h) = h**3 + 4 + 8*h**2 - 233*h + 228*h - 1. Is a(o) prime?
True
Suppose -5*s + 0*s = 30. Suppose -5*n - 4*w = -0*w - 176, w - 164 = -5*n. Is n/5 - s/10 prime?
True
Let u = 27220 + -12977. Is u prime?
True
Let y = 13 + -8. Let m = 728 - 450. Suppose -1743 = -y*w - m. Is w composite?
False
Suppose 0 = 30*h - 20796 - 29994. Is h a composite number?
False
Suppose 0 = 188*z - 168*z - 124580. Is z composite?
False
Let r = 16 - 11. Suppose -319 = -5*x + z, -36 = -x - r*z + 7. Suppose -5*t + x = -132. Is t a composite number?
True
Let r(u) = -u**2 + 1. Let g be r(2). Is (-40)/(-2 + 1) + g a composite number?
False
Let u(l) = 3*l + 7. Let b be u(-2). Let a(y) = 899*y**3 - 2*y**2 + 3*y - 2. Is a(b) prime?
False
Let u(w) = -5*w - 3. Let c be u(-1). Suppose 2*s = 7*s - 3*t - 15, 3*s = c*t + 9. Suppose -s*x + 777 = 5*n - 322, 3*x + 3*n = 1107. Is x a composite number?
False
Let b = 37541 + -25002. Is b a composite number?
False
Suppose -3*g + 3*a = -2*g - 748, -g = 3*a - 736. Suppose g = 5*d - 913. Is d*3*1/3 prime?
True
Let v be (-429)/6*6/3. Suppose 2*j - 631 + 209 = -4*h, 4*j - 862 = -2*h. Let z = v + j. Is z a prime number?
False
Let z(c) be the first derivative of -c**4/2 + 7*c**2 - 5*c - 2. Suppose 2*m - 3 = j - 15, 52 = -4*m - 5*j. Is z(m) prime?
True
Let n(v) = v**3 + 5*v**2 + v - 9. Let y be n(-4). Is 109*(-6 + y + 4) composite?
False
Let f = 25808 - 18169. Is f a prime number?
True
Let s = -24 - -21. Let x be -1*11/3*s. Let a(c) = -c**3 + 13*c**2 - 16*c + 13. Is a(x) a composite number?
False
Let g = 561 - 211. Let v be (-210 - 9) + -3 + (-1)/1. Let z = g + v. Is z a prime number?
True
Is ((-5)/(-40))/(3 - (-94965)/(-31656)) prime?
True
Let h = 1963 + 240. Is h a composite number?
False
Let c = -134 - -53. Let n(o) = 2*o**3 + 37*o**2 - 23*o. Let g be n(-19). Let u = g - c. Is u a prime number?
True
Suppose -14 = -5*y + 16. Let m(j) be the third derivative of j**6/120 - j**5/12 + 7*j**4/24 + 5*j**3/6 + 63*j**2. Is m(y) composite?
False
Let t(o) = 118*o - 11. Let s(u) = -79*u + 7. Let h(i) = 7*s(i) + 5*t(i). Suppose 2*v = 6*v - 20. Is h(v) a prime number?
True
Let c be ((-3)/7)/((-1)/