= 81 + t. Is v a prime number?
True
Suppose 146 = -2*q + 1492. Is q composite?
False
Let o = -32182 + 84461. Is o prime?
False
Suppose -712 = 15*o - 90427. Is o composite?
False
Let v(p) = 2*p**2 - p + 5. Let b be v(-3). Suppose b*s = 22*s + 596. Is s a composite number?
False
Let y = -354 - -1503. Is y a composite number?
True
Let q = -1173 - -3664. Is q composite?
True
Let o = 35 + -5. Let u = -28 + o. Suppose u*t - 167 = 59. Is t a composite number?
False
Let x = 16 + -9. Suppose -2*n = -x*n - 25. Is ((-14)/6)/(n/1605) a prime number?
False
Let c(t) = -90*t + 77. Let y be c(-25). Let v = y - 1506. Is v composite?
False
Suppose -5*v - 31 = -a, -a + 2 = a. Let u(l) = -l**2 + l - 2. Let h(q) = -q**2 - 1. Let s(w) = 5*h(w) - 6*u(w). Is s(v) composite?
False
Let x be ((-2)/8)/(2/(-16)). Let j = -6 + x. Is -2 + 2 - 356/j a composite number?
False
Let s be (-662 - 17) + (-6)/2. Let g = s - -2885. Is g a prime number?
True
Suppose 1 - 6 = -4*n - 3*q, 0 = 4*n + 5*q - 3. Suppose -4*t + 4 = -n*t. Suppose 0 = -t*x + 42 + 212. Is x prime?
True
Is (-8)/36 + (-6 - (-618934)/18) a composite number?
True
Let l(b) = 1260*b**3 - 6*b**2 - 16*b + 6. Let d(f) = -252*f**3 + f**2 + 3*f - 1. Let z(c) = 11*d(c) + 2*l(c). Is z(-1) prime?
True
Is (-36)/(-60) - 99/15 - -10768 prime?
False
Let u(i) = -40*i + 1. Let c be u(9). Let t = 736 + c. Is t a composite number?
True
Let b(k) be the first derivative of 41*k**3 - k**2 + k + 2. Let y be b(1). Suppose 4*i - 594 - y = 0. Is i a prime number?
True
Let p(b) be the second derivative of 11*b**5/20 - 5*b**4/6 + b**3/2 - 5*b**2/2 - 29*b. Is p(7) prime?
True
Suppose t - 3*t + 166 = y, -3 = -t. Let z = -76 + y. Is (z/(-2) - 1)*-11 a composite number?
True
Is ((-60)/(-10) - 3) + 5223 + 1 a composite number?
False
Let i be (1*(-2 - 4))/(-1*2). Suppose -485 = -5*n + 4*p, i*n - 367 = 5*p - 76. Is n composite?
False
Is (-1 + (-5)/(-2))/((-333)/(-20785638)) a prime number?
True
Let f be (-39)/(-13) - 6/2. Suppose f = u + u - 3524. Is u a composite number?
True
Let p(u) = 294*u**3 + 8*u**2 - u - 5. Is p(3) a prime number?
False
Is (3/(-2))/(12/(-12184)) prime?
True
Suppose 0*f + f = 3. Let g(i) = 940*i. Let v be g(-1). Is v/(-25) + f/(-5) composite?
False
Let g = 17 - 13. Is g/(-8)*2*-1841 a composite number?
True
Let k = 143 - -110. Is k composite?
True
Let g = -1204 - -3353. Is g prime?
False
Let k = -15 - -9. Let y be (-3)/((k + 3)/3). Suppose -x + y*g - 4*g + 211 = 0, -x - 5*g + 211 = 0. Is x a composite number?
False
Let z = -5 - -9. Let l = 2 - -2. Is (z/l)/((-2)/(-70)) prime?
False
Let f(m) = m**3 + 15*m**2 + 12*m - 20. Let s be f(-14). Is (0 + 4/s)/((-1)/(-30)) a composite number?
True
Suppose 67*z = 40*z + 174609. Is z a composite number?
True
Suppose 5*p - 5906 = -2191. Is p composite?
False
Suppose 3*a = -5*l + 6, 3*l = -4*a + 8*a + 21. Suppose p + 2 = 0, -l*x + 391 = -5*p - 0. Is x composite?
False
Let h(x) = -453*x + 80. Is h(-6) prime?
False
Let l(a) = -a**2 + a. Let r(s) = 2*s**3 + 5*s**2 - 10*s - 5. Let y(v) = 4*l(v) + r(v). Let t be y(5). Let x = -127 + t. Is x a prime number?
True
Let c(z) = 2881*z**2 - 4*z + 7. Let h be c(2). Suppose 0 = 4*w + 12, -1507 - h = -4*y - 2*w. Is y a composite number?
False
Let m be (18/5)/((-15)/(-50)). Let y be (-326)/(1 + m/(-8)). Suppose 5*c = c + y. Is c a prime number?
True
Let i = 1501 + -873. Let f be (-2)/23 + 6215/(-1265). Is (i/(f - -1))/(-1) a prime number?
True
Let n = 2 - 4. Let s = -2 - -4. Is n/4 - (-283)/s prime?
False
Suppose 387*k = 381*k + 16602. Is k composite?
False
Suppose 4*w = 2981 + 6399. Let k = w + -1234. Is k a composite number?
True
Let f = 1 + -1. Suppose 3*s - 9 = 3*u, 5*s + f*u = -u + 21. Suppose s*n - 64 - 20 = 0. Is n composite?
True
Let d = 6233 - 3124. Is d composite?
False
Suppose 2*c - 70 = 2. Is c/(-54)*414/(-4) a composite number?
True
Suppose -6*a = -4*a - 2*v + 636, 3*v = a + 320. Let k = a - -610. Is k composite?
False
Let l(f) = 34*f**2 + 7*f + 11. Let s be l(-11). Let r be s/6 - (-6)/(-9). Suppose -6*z + 4*z + r = 0. Is z prime?
True
Let p(v) = 2*v**2 + 5*v - 2. Let z = 39 - 36. Is p(z) a prime number?
True
Suppose 2 = 3*t - 2*t. Suppose -4*k + z + 5 = 3, 4*z = -t*k + 10. Let w(j) = 221*j + 2. Is w(k) prime?
True
Let d = -75 + 79. Suppose 418 = 2*b + d*p, -3*b + 325 = -2*p - 334. Is b prime?
False
Let n(p) = 2*p**2 - 11*p + 1. Let g = -19 + 24. Let w be n(g). Is (398/w)/((-10)/20) a prime number?
True
Suppose l + 12844 = 3*l. Suppose -14*o + l = -5324. Is o a prime number?
True
Suppose 119 = -u + n, 0*u - n + 357 = -3*u. Let c = 303 + u. Let w = 81 + c. Is w composite?
True
Let q = -5183 + 3366. Let v = -1596 - -402. Let x = v - q. Is x a prime number?
False
Suppose -4*o + 3*h + 33 = 0, -4*h - h + 14 = o. Let f be 2/o + (-36516)/54. Is (3/4)/((-13)/f) composite?
True
Let w = -63 + 61. Let b(d) = -174*d**3 - 2*d + 1. Is b(w) a prime number?
False
Suppose 4*h + c = -1, -2*h + 5 = -2*c + 3. Suppose 4*p - 611 = 3*j, 2*p + 5*j - 92 - 181 = h. Is p a composite number?
False
Suppose -325454 + 56341 = -13*a. Is a prime?
False
Let p(o) = o**3 + 12*o**2 + o + 13. Let v be p(-12). Is (8595/(-18))/(1/2 - v) a prime number?
False
Let n = -12 - -17. Let t be (-94)/4*(-3 + n). Let j = -28 - t. Is j prime?
True
Let c(y) = y + 7. Let j be c(0). Let u = j - 7. Suppose u*t - 293 = -t. Is t a composite number?
False
Let f(q) = -113*q + 2. Let h(z) = -z - 3. Let r be -3 + 1 + -5 + 5. Let b be h(r). Is f(b) prime?
False
Let x(h) be the first derivative of h**4/4 + 5*h**3 + 17*h**2/2 + 7*h + 15. Is x(-12) a prime number?
False
Let k(v) = 782*v**3 - 147*v**3 - v + 66*v**3 + 0*v**2 + v**2. Is k(1) prime?
True
Let s = -25 - -21. Is (s + 38/10)*-3155 prime?
True
Let u(j) = 56*j - 5. Let c be u(7). Let x = 716 - c. Is x composite?
True
Let t = -4 + 4. Suppose t = 2*j - 0*q + q + 5, -9 = 4*j + 3*q. Is j + 1 + 162 + 1 a composite number?
True
Suppose 10810 = 3*j - 0*j - 2*n, 3*j + 2*n - 10802 = 0. Is j a prime number?
False
Suppose 18*t - 72 = 15*t. Let o = t - 19. Suppose -u + o*g = g - 371, 5*g = -2*u + 807. Is u prime?
False
Let u be 2/8*4*-235. Let w = 344 + u. Is w/3 + (-4)/(-6) a composite number?
False
Suppose 15006 + 16474 = 8*f. Is f a prime number?
False
Let h = 49 + 87. Suppose 35 = -3*f - h. Is ((-211)/(-3))/((-19)/f) composite?
False
Let z(u) = u**2 + 3*u - 8. Suppose -2*b + 90 = b. Suppose 7*i = 2*i + b. Is z(i) prime?
False
Let y(t) = -t**3 + 17*t**2 + 5*t - 10. Let g(z) = -19*z - 3. Let l(b) = b**2 + 7*b - 1. Let o be l(-7). Let d be g(o). Is y(d) a composite number?
True
Is ((-10529*1)/1)/((-167)/167) composite?
False
Suppose -6*c = -0*c + 60. Is (-1 + c/(-6))*9 a composite number?
True
Let c be -1 + -1 + (2 - 81). Let l be c/36*8/(-6). Is (254 - (l - 1)) + 2 a prime number?
False
Is ((-2)/3)/(7*12/(-693126)) prime?
True
Suppose 5*a + 315 = -5*z, -z + 102 = -2*a + 3*z. Let t = 74 - a. Let d = t - 78. Is d a composite number?
True
Let z(v) = -v**3 + 9*v**2 + 4*v - 7. Let l be z(7). Let s = 67 - l. Let w = 97 - s. Is w prime?
True
Let o(d) = d - 16. Let c be o(14). Is 329 - ((-1 - c) + -1) prime?
False
Suppose -5*w + 113210 + 46569 = 3*j, 5*w - 5*j - 159795 = 0. Is w a composite number?
False
Suppose c = 2*t + 4187, -8359 = -2*c + t - 2*t. Is c a prime number?
False
Let f(a) = -5*a**3 - 2*a**2 + 24*a + 15. Let l(r) = r**3 - r**2 + r - 1. Let k(v) = -f(v) - 6*l(v). Is k(-8) a composite number?
True
Let l = -49 - -51. Suppose -l*z + 582 = -592. Is z composite?
False
Let x(s) = s**3 + 14*s**2 + 15*s + 11. Let u be (-66)/(-3) - 0 - 3. Let t = u - 31. Is x(t) prime?
False
Suppose 8*v + 134 = 46. Let r(m) = -m**2 - 10*m + 17. Is r(v) composite?
True
Let u = 420 + -197. Suppose -u = -6*g + 119. Is g a composite number?
True
Let x = -7954 - -16905. Is x a prime number?
True
Let z(l) = -2*l**2 - 7*l - 4. Let i be z(-2). Is 17073/81 + i/9 a prime number?
True
Let h be ((-5)/(-5) + -4)*(-166)/3. Let t = h + -111. Is t a composite number?
True
Suppose -37*t = -119839 - 334262. Is t composite?
True
Let z(a) = 2*a**3 + a**2 + 13*a - 57. Is z(7) a prime number?
True
Let h(i) = -2*i**3 - 15*i**2 - 4*i + 16. Let p be h(-7). Let n(z) = 1. Let k(o) = -18*o + 7. Let y(u) = k(u) - 3*n(u). Is y(p) a composite number?
True
Let a(l) = 1481*l + 27. Is a(4) a composite number?
