 Is k a prime number?
True
Let g(h) = -h**2 + 10*h + 10. Let n be g(11). Is ((-5)/(-10)*37)/(n/(-46)) a composite number?
True
Suppose -5*t + 138812 - 27822 = 0. Suppose 7*h - 4087 = t. Is h composite?
True
Let t = -9842 + 17983. Suppose -2*u + d + 4073 = 0, 4*u - 5*d = -2*d + t. Is u prime?
True
Suppose -5*p + 2*u + 159368 = 0, -2*p + 63751 = -4*u + 7*u. Is p a composite number?
True
Let k = -2786 + 33613. Is k a prime number?
False
Let b = -105 + 114. Let m = 160 + -397. Is (m/b)/((-2)/18) prime?
False
Let p(i) = 40*i**2 + 13*i - 4. Let h(l) = 39*l**2 + 15*l - 3. Let n(r) = 3*h(r) - 2*p(r). Is n(-6) composite?
False
Suppose 3*a + n - 6*n + 10 = 0, 4 = 4*a + 2*n. Suppose a = t + t - 5194. Suppose t = 2*g - 125. Is g a prime number?
True
Is -2*(1659/(-6) - 5) a prime number?
True
Let s be 7/((-7)/(-4)) - 4. Suppose 3*h - 4*u = -u + 993, s = h + 4*u - 346. Is h prime?
False
Let x = 66 - 76. Is (13 + -8)*(-412)/x prime?
False
Suppose -8 - 1 = n + 4*i, -12 = n + 5*i. Is 1/n*429/1 a prime number?
False
Suppose 0 = -g + 2*g - 4. Let z(b) = 14*b + 3. Is z(g) prime?
True
Let i(l) = -6*l**2 - 3*l + 9. Let m be i(-7). Let z(f) = -3*f**2 + 8*f + 59. Let x be z(10). Let j = x - m. Is j a prime number?
True
Is (29 - 15)/((-177)/179 + 1) prime?
False
Let l be (194996/8)/((-5)/(-10)). Suppose -3*k = -5*f + 60932, 4*f - 7*k - l = -8*k. Is f prime?
False
Let r(w) = -12*w + 21. Let h be r(-5). Suppose -82*i + 134 = -h*i. Is i prime?
False
Let p = 6 + -5. Let f be 1/p*(-54)/2. Is ((-2790)/f)/((-4)/(-6)) composite?
True
Suppose -2*b - b = -42. Let n(q) = 26 + 14*q + 31 - 42. Is n(b) composite?
False
Suppose 41815 - 5524 = 3*s. Is s prime?
True
Let v(g) = -4*g**3 + 5*g**2 + 8*g + 3. Is v(-4) prime?
True
Let t be 3*((-557)/(-3) - -2). Let f = t - -177. Suppose 0 = 12*c - 16*c + f. Is c prime?
False
Suppose -754 = 35*z - 4079. Let s(q) = -q**3 - 2*q**2 - 4. Let o be s(-4). Let j = z - o. Is j a prime number?
True
Let n(c) = 231*c**2 + 4*c - 10. Is n(-7) prime?
False
Let u(b) = 1888*b - 147. Is u(2) composite?
True
Let k(i) = 260*i**2 + 15*i + 94. Is k(15) composite?
True
Let y(s) be the second derivative of s**4/2 - s**3/2 + 2*s**2 + 5*s. Let z be y(-4). Let o = 209 - z. Is o a prime number?
True
Let s = 10 - 6. Suppose s*h = -a + 99, h = a - 0*h - 74. Is a prime?
True
Suppose -119 + 122 = -o, -w + 3*o = -30298. Is w prime?
False
Suppose -3*o = -5*n + 4, n + 0*o + 2*o - 6 = 0. Suppose -5*j - 15 = 5*t, -t = -n*t - 3*j - 9. Suppose u + t*c - 3*c = 316, 0 = -2*u + 2*c + 652. Is u prime?
True
Let q be 1/3 - (-1 - 4/(-3)). Suppose -6*v + 10*v - 204 = q. Is v a composite number?
True
Let y = 67963 + -28412. Is y a composite number?
False
Let v(k) = 6*k - 41*k**3 + 39*k**3 + 0*k**2 - 6 + 7*k**2. Let x be v(4). Suppose -2*h - x*i - 37 = -241, 4*i = 20. Is h a prime number?
True
Suppose 0 = 3*x - 5*d - 227, -3*x = 2*x - 4*d - 361. Let j be (-45)/(-2) + (-4)/8. Let p = x - j. Is p a prime number?
True
Suppose 0 = -4*j + z + 19919, -6*z + 5001 = j - 2*z. Is j a prime number?
False
Let b = 622 + 127. Is b composite?
True
Let n(c) = c**3 + 2*c - 1044. Let a be n(0). Let d = -193 - a. Is d a composite number?
True
Suppose 7*j - 9719 - 12107 = 0. Suppose j = 3*p + 481. Is p a composite number?
True
Let i = 139 - 174. Suppose y = -3*p + 93, -4*y = 2*p - 5*p - 312. Let d = i + y. Is d prime?
False
Let h(s) = 20*s - 3 - 1 + 15. Suppose 4*x - 45 = -x. Is h(x) a composite number?
False
Let u(j) = j**3 - 5*j**2 + 2*j + 8. Let v be u(4). Suppose 5*z = -v*z + 3340. Suppose m - z = -m. Is m prime?
False
Suppose -3*h - 3 = 0, 0*i + 4*i = -2*h + 70. Is (i - -35)/(1 + 0) composite?
False
Let v = -4908 + 8645. Is v prime?
False
Let v(n) = -n**3 - 4*n**2 + 12*n - 10. Suppose 5*t - 8*t = 0. Let g be (-2 + t)/(18/81). Is v(g) a composite number?
True
Suppose -2*j + 7*j - 60 = 0. Suppose -f + 0*f - 4*c = -12, 2*f = -4*c + j. Suppose f = 3*o - 8*o + 1075. Is o a composite number?
True
Let w be (6/5)/(18/45). Suppose -w*p + n + 11 = -0*p, 4*n + 4 = 2*p. Suppose -p*s = -s - 561. Is s composite?
True
Is (-9)/6*3324/(-9) a prime number?
False
Let g = 9792 - 6572. Let v = -2119 + g. Is v composite?
True
Let s = -1862 + 8235. Is s composite?
False
Let c(m) = -2*m**2 + 28*m - 43. Let f be c(19). Let y = f - -438. Is y composite?
True
Suppose 2*z + r = 5, 1 = -5*z + 2*r - 9. Suppose z*i - 6*i + 7554 = 0. Is i a prime number?
True
Let d(a) = -4*a**3 - 7*a**2 + 3*a + 47. Is d(-8) a prime number?
False
Suppose 2*v = -4*a, 2*v + a = v + 3. Suppose -105 = v*c - 11*c. Is c composite?
True
Suppose -3*h + 23655 = -3438. Is h composite?
True
Let m be 3/((-66)/20 + 3). Let j be (-8 - -2)*(-4735)/m. Let c = 4312 + j. Is c prime?
True
Let m be 1/2 + (-267)/(-6). Suppose 0 = -2*k - 4*f + 30, -5*k - 3*f = -k - m. Is 8 - k - -8*2 a prime number?
False
Let v(t) = 182*t**3 - t**2 + t + 3. Is v(2) prime?
False
Let a(m) = 127*m**2 + 2*m + 2. Let g be a(3). Suppose 4604 = 4*y - 5*b, y + 3*b - g = -b. Is y a composite number?
False
Is -19 + 27 + 4611 + 2 composite?
False
Let n = 13011 - 1108. Is n composite?
False
Suppose 0 = 6*i + 670 + 1010. Let u = 482 + i. Is u prime?
False
Suppose -h - 4 = -411. Suppose 5*z - h = -i, 0*i + 2*i - 4*z = 786. Is i a composite number?
False
Let m(c) be the first derivative of 0*c**2 + 208/3*c**3 + c + 5. Is m(1) a prime number?
False
Suppose 105*z - 109*z = -16. Suppose z*c - 5 = 11, -c = -3*h + 9395. Is h a prime number?
False
Suppose -4*z + 7*v - 2*v + 7229 = 0, 0 = -3*z + 5*v + 5428. Is z composite?
False
Let n(d) = 101*d**2 - 5*d + 26. Let y be n(-12). Let h = -8881 + y. Is h a prime number?
True
Suppose -5*x - 4*a = -2513, 0 = -3*a - 2*a + 10. Is x a prime number?
False
Let w(s) be the third derivative of s**5/6 - s**4/6 - 11*s**3/6 + 15*s**2. Is w(10) a prime number?
False
Suppose 0 = 2*h - 5*h + 6. Suppose -3*g - h = 7. Is 2 + -2 - g - -106 a composite number?
False
Let i(u) = -57*u + 110. Is i(-13) a prime number?
False
Let l(p) be the third derivative of p**6/120 - p**5/60 + 11*p**4/24 - 5*p**3/3 + 4*p**2. Is l(9) composite?
True
Let i(t) = -839*t - 47. Is i(-6) a composite number?
False
Is (2661/6)/((-1)/(-6)*3) prime?
True
Let l(u) = -u**3 - 4*u**2 - 62*u + 14. Is l(-25) a composite number?
True
Suppose 116 = 8*o - 12. Suppose 5*y - o*y = -21307. Is y composite?
True
Suppose 2*x = 5*q + 15525 + 17981, -5*x + 83765 = -4*q. Is x prime?
False
Let y = -329 + 23. Let x be ((-34)/51)/(2/(-7917)). Let m = y + x. Is m prime?
True
Let g = 44415 - 1678. Is g prime?
True
Suppose 7*v = 4*v + 954. Suppose 3*a - 961 = 5*j, -v = -a + 4*j - 0*j. Let p = a - 173. Is p composite?
False
Suppose -90118 = -25*l + 11*l. Is l a prime number?
False
Is 2691/(-81)*-1065 + (-2)/3 a composite number?
False
Let p(o) = -8*o**3 - o**2 + 5*o + 2. Let f be p(-3). Let j = -614 + f. Is (-3)/(-9) - j/9 prime?
True
Let v be (-2 - -4)/(2/1). Is v*161/(2/2) a composite number?
True
Let j be 7/(14/4) + 2. Suppose -p - 4*q = -4*p + 147, -12 = j*q. Is (p/(-18))/((-2)/428) composite?
True
Let w(o) be the third derivative of -o**6/24 + o**5/20 - 5*o**4/24 + o**3/6 - 8*o**2. Let r be w(4). Is ((-20)/(-3))/(-4)*r a composite number?
True
Let l = -65 + 67. Suppose -l*r - c = -2517, -2*c - 5038 = -5*r + r. Is r a composite number?
False
Let r = -8393 + 18906. Is r prime?
True
Suppose -30 = -5*o - 5*a, 2*o + o - 13 = 2*a. Suppose -k - o*x = -27, -k + 0*x + 2*x = 8. Suppose 0*m - k*m + 102 = 0. Is m prime?
False
Let l = 22 - 22. Suppose 5*p - 2*n - 259 = n, l = -4*p + n + 203. Let a = p - -33. Is a composite?
False
Is (-3)/(-2)*((-1483889)/(-33) + 5) prime?
False
Let m = -12 + 17. Suppose 0 = m*h + 4*r - 13, 5*r - r = 3*h + 5. Let y(p) = 236*p**2 - p. Is y(h) a prime number?
False
Let f(l) = l**3 - 17*l**2 + l - 11. Let w be f(17). Is w/9*(2459 + (1 - -3)) prime?
False
Let l(q) = 55*q**2 + 16*q + 51. Is l(18) a prime number?
False
Suppose -3*j = -t - t + 9532, -2*t = -4*j - 9530. Is t a composite number?
True
Suppose 2*s = 7*s - 10. Suppose -s*c = 3*c - f - 52, -2*f = -3*c + 27. Suppose -3*w = -3*v - 525, 2*w + v - 367 = -c. Is w composite?
True
Let q(n) = n**3 - 6*n**2 - 2*n + 14. Let f be q(6). Suppose -5*j - f*a + 194 = 0, 4*j - a = -2*a + 154. Let c = 11 + j. Is c a prime number?
False
Let l = 3 - 5. Suppose -q - 4 = 10.