2. Let m be n(1). Suppose q + 4*z = -m*q + 669, 1115 = 5*q - 3*z. Is q a prime number?
True
Suppose 7 + 5 = -12*z. Is z*22*(-590)/20 composite?
True
Let v(q) = -10*q - 14. Let c = 31 + -37. Is v(c) a prime number?
False
Suppose 0 = y + 2*g - 1719, -4*y + 0*g + 6912 = -g. Is y prime?
False
Let q = 11228 + 5693. Is q composite?
False
Let n(d) = -171*d + 2. Let f be n(-23). Let t = f - 1782. Is t composite?
False
Let g = 21 + -20. Let v(q) = 888*q**2 + 1. Is v(g) a composite number?
True
Let z = -3971 + 12919. Suppose 9*q - i + 4474 = 11*q, 0 = -4*q - 5*i + z. Is q prime?
True
Let v(l) = -l**3 - 5*l**2 - 5*l + 1. Let r be v(-4). Suppose 4 - 19 = -r*i. Suppose -i*k - 6 = -363. Is k a prime number?
False
Let y = 4779 - 2600. Is y prime?
True
Let u = 11 - 19. Let j be (-20)/(-8)*u/(-5). Is (-8)/(-10)*970/j a composite number?
True
Suppose -2*n - 13 = -d, 4*d - 7 = 2*n + 15. Suppose 3*i + 16 - 4 = -4*f, 9 = -d*f - 2*i. Is (-8)/(-24) + (-488)/f composite?
False
Let l = 2278 - 1601. Is l a prime number?
True
Let k be 257*-4*(-3 - -2). Suppose 3*d = -d + k. Is d a composite number?
False
Let k(l) = 3 + l**2 - 10 - 12*l - 7. Let q be k(13). Let m(o) = -223*o**3 + o**2 - o - 2. Is m(q) a composite number?
False
Let b(l) = 76*l + 50. Let f(c) = -38*c - 25. Let w(u) = 6*b(u) + 13*f(u). Is w(-6) prime?
False
Let i(q) = -q**3 - 2*q**2 + 2*q - 1. Let x be i(1). Let w be 4 + x + (-1 - -1). Suppose 5*d + 1136 = 4*j, 162 = w*j - 3*d - 404. Is j a composite number?
True
Suppose 4*h - 3*w = h + 18, -3*h = -2*w - 15. Suppose 0*z + 4215 = h*z. Is z a composite number?
True
Is 223068/36 + (-3 - (-22)/6) prime?
True
Is ((-358)/4)/((-110)/(-28) - 4) a composite number?
True
Let k(t) = 14*t**3 + 2*t**2 + 3*t + 2. Is k(3) composite?
True
Suppose 7*l - 2*l = 95. Let z = 22 - l. Suppose -z*h + 100 = -41. Is h a composite number?
False
Let m be (-1 + 1/2)*0. Let j be -1*(-2 - -3)*m. Suppose -h + 2*f + 64 = j, 3*h = h + 5*f + 131. Is h composite?
True
Let t be 278/(2/1)*31. Suppose -2*n - 13487 = -4*p + t, -3*n = 0. Suppose -5*k + w + p = 0, 6*k = 2*k + 4*w + 3572. Is k composite?
True
Let q(k) = 4*k**2 + 2*k + 10. Let x be q(-7). Let p(s) = -165*s + 128. Let v be p(-5). Suppose n - y = x, 5*n + 2*y + 0*y = v. Is n prime?
True
Suppose 0 = 5*o - 4*u - 62255, -62255 = -5*o - 0*o - u. Is o a prime number?
True
Is ((-2825)/4 + -2)/(2/(-8)) a composite number?
False
Suppose -5*v - 103900 = -4*t + 346521, 0 = -2*t + 2*v + 225212. Is t a composite number?
True
Let b be 12/(-2)*1/(-3). Let y be 6 + -3 - (b + 1). Suppose -5*c = 2*k - 1065, -c + y*k = -4*k - 191. Is c composite?
False
Let m = -74 + 127. Suppose -2*p + m = 3*f - 1524, -3*p + 2366 = 5*f. Is p composite?
False
Is 9376 + -8 + (-45)/(-3) prime?
False
Let m(r) = 2*r**2 + 2*r + 10. Let k(f) = f**2 + f + 5. Let v(j) = -7*k(j) + 4*m(j). Let a be v(5). Suppose w - a = -4*w. Is w a composite number?
False
Let g be (-4)/3*(-24)/16. Suppose 0*k - 82 = -g*k. Suppose -k = -z + 4*x + x, 0 = 3*z - 4*x - 101. Is z composite?
False
Suppose -227 - 19 = 2*a. Let m = a + 42. Let g = 166 + m. Is g prime?
False
Suppose 2869 = g - 2*c - 1220, 4*c = -3*g + 12277. Is g a prime number?
True
Suppose -213*k + 207*k + 49146 = 0. Is k a prime number?
True
Let o = 61 - 37. Suppose -2*f = 2*f - o. Is 2/f*(0 + 177) prime?
True
Suppose -16*j + 13*j = -645. Let a(x) = x**3 + 10*x**2 - 12*x - 3. Let f be a(-11). Is (-6)/f - j/(-4) a composite number?
False
Let p = 11 + -14. Let c = 51 + p. Let d = c - -43. Is d composite?
True
Suppose 10*j + 40 = -20. Is (-10553)/(-6) - (-3 - 17/j) prime?
True
Let a = 40 - 2. Let z = a - -17. Is z a prime number?
False
Suppose 0 = -24*p - 41*p + 4355. Is p a prime number?
True
Suppose -2*b + q = -44595, 3*q - 2*q - 3 = 0. Is b composite?
True
Suppose -4*t = 2*q - 992, -2*t + 3627 = 5*q + 1131. Suppose -q - 277 = -3*y. Is y a prime number?
False
Let c = 35659 + -3708. Is c composite?
True
Let t(d) = -2*d**2 - 16*d + 14. Let p be t(-9). Is -9*130/(-15) + p prime?
False
Suppose -4*i = r - 15, r = 4*r + 3. Let b(a) = 124*a + 13. Is b(i) a prime number?
True
Suppose -d + 20 = 3*d, -d - 3 = -4*x. Suppose -6*m + 20 = -x*m. Suppose 0 = -m*y + 2*y + 141. Is y prime?
True
Let z(j) = 2*j - 4. Let k be -3 + (8 - 0) + -1. Let y be z(k). Suppose -y*f - 9 + 193 = 0. Is f a prime number?
False
Suppose -3*o + 18 = 4*a, 0 = -o - 0*a - a + 5. Suppose -o*r + 230 = -4*m + 6*m, m - 5*r - 133 = 0. Let z = m - 60. Is z composite?
True
Let t(h) = 82*h + 5. Let o be t(-3). Let i = o + 1280. Is i prime?
True
Suppose 2*n + 3*d - 1530 = 0, 3863 = -4*n + 9*n - 2*d. Is n a composite number?
True
Let d(b) = -b + 10. Let p be d(7). Suppose p*u - 3*i - 12 = 0, -6*i - 14 = -2*u - 2*i. Is -2 - -152 - (u + 0) composite?
False
Let t = 52 - 48. Let f be (-1 - (0 + 0)) + 4. Suppose 2513 = 5*b + 4*k, 2*b = t*b + f*k - 1001. Is b composite?
True
Let l be 333/117 + 2/13. Suppose 1623 = l*n - 0*n. Is n a prime number?
True
Suppose 3*r - 37 = -l, 0*r + 2*r + l = 26. Suppose 4*m - 45 = r. Is m prime?
False
Let h(d) = -6*d**3 - 12*d**2 - 3*d - 44. Is h(-13) composite?
False
Let p(d) be the second derivative of d**4/12 + 10*d**3/3 + 8*d**2 - 11*d. Is p(15) prime?
True
Let x(j) = 3*j**2 - 6*j - 8. Let w(y) = -y**3 + 9*y**2 + y - 8. Let c be w(9). Suppose 2*a + 17 + c = -2*v, 5*v = -a - 29. Is x(v) a composite number?
False
Let y(a) = -2*a**3 + 7*a**2 - 2*a - 7. Let i(j) = -j**3 + j**2 - 1. Let h(s) = 5*i(s) - y(s). Let p(q) = -6*q + 151. Let l be p(26). Is h(l) composite?
False
Let b = 10293 - 4950. Suppose -s + 3014 = 3*v + 338, -2*s = 3*v - b. Suppose 4*m = m + s. Is m a prime number?
False
Suppose -2*i + 3*r - r + 132 = 0, 3*i - 5*r = 192. Suppose 0 = -64*o + i*o - 17365. Is o prime?
False
Let r(s) = 10*s**2 - 4*s + 33. Suppose -d + 1 + 7 = 0. Is r(d) a composite number?
False
Let l(r) = 601*r**2 + 26*r + 87. Is l(-4) a composite number?
True
Let o = -7450 + 27621. Is o a composite number?
True
Is (285/25 + -12)*-64795 composite?
True
Let a = 1174 + -625. Suppose 91 = -58*x + 71*x. Suppose -a = -x*b + 4*b. Is b a composite number?
True
Suppose 0*n = n - 12. Suppose 0 = f + 3*f - n. Suppose -f*x - 2*x = 3*g - 1127, -2*x - 2*g = -454. Is x composite?
False
Let a = 20485 + -12716. Is a a prime number?
False
Is ((-39)/(-78))/((-1)/(-8402)) prime?
True
Let m be (-3 - (-1 - 28/12))*18. Is 2/m*(-4 - -115) a composite number?
False
Let h = 1100 + 216. Suppose -2*m - 5*p = -h, -2*m + 406 = 2*p - 904. Is m a composite number?
False
Let k(m) = -32*m + 7. Suppose 0*u = -4*u + 32. Let b be -3 + (2 - u/2). Is k(b) a prime number?
True
Let w = 15939 - -12367. Is w a prime number?
False
Suppose -u - 4 = -3*u. Suppose k - 2 = u. Suppose -6*n + 166 = -k*n. Is n prime?
True
Suppose 4*z - x = 64, -4*z = -4*x - 33 - 19. Let d(g) = 6*g + 31. Is d(z) a composite number?
True
Suppose 4*z = -4*h + 14592, 2*z + 18*h = 15*h + 7297. Is z a composite number?
True
Let c = -19 - -34. Suppose -5*z + c + 20 = 0. Suppose -11*q + 92 = -z*q. Is q a composite number?
False
Let n(t) = t**3 + t**2 - 10*t - 6. Let k be n(6). Let l = k + -131. Is l prime?
False
Suppose 4*o + 74775 = 3*c - 25566, -5*o = 4*c - 133788. Is c prime?
False
Let s be (37 + 0)*(-2)/9*-9. Let q(l) = 5*l - 2. Let t be q(4). Suppose -4*i = -s + t. Is i a composite number?
True
Suppose 5*t + 5*s = 1455, 0 = t + 2*s - 241 - 46. Suppose f + t = 6*f. Is f a composite number?
False
Let u = 10 - 7. Suppose -4*i = -6*q + q + 8, 5*i - 3 = 3*q. Suppose -343 = -4*n - 5*o, -q*n + o + 88 = -u*n. Is n a prime number?
False
Suppose k - 2*j = 0, -3*j + 2 = -5*k + 9. Suppose k*l - 1422 + 278 = -z, 569 = l - z. Is l a prime number?
True
Suppose -856 = -2*t + 5958. Is t prime?
True
Let w be (-1)/(-4) + 7/4. Let f = -435 - -440. Suppose 604 = 2*i - w*p - 130, 0 = -f*i - 4*p + 1871. Is i a prime number?
False
Suppose 11*n = 15485 + 39174. Is n a composite number?
False
Let c be -8*(4 - (-19)/(-4)). Suppose -d - c = -73. Is d composite?
False
Suppose -5*k = s - 2*s + 130, 5*k - 595 = -4*s. Is s a composite number?
True
Let f = 2664 - -155. Is f composite?
False
Let v = 1 - -1. Suppose v*j - 40 = 16. Is 6/8 - (-2275)/j composite?
True
Suppose -149 = 2*a + 5*u + 128, -5*a - 707 = -2*u. Suppose -4*m = 0, 4*k + 4*m + 517 = -459. Let x = a - k. Is x prime?
