 -5*v + 44925 = 6*i - i. Suppose 4*k - u + 1520 = v, 5*k - 9335 = 2*u. Is k composite?
False
Let i = -27 - -27. Is 231 - i - (-13 + 9) composite?
True
Let i(j) = -187*j - 192. Is i(-17) a prime number?
False
Suppose -365*t = -364*t - 54286. Is t prime?
False
Let p = 2150 + -1309. Let m be (4/6)/(7/21). Suppose -m*s = -p + 119. Is s prime?
False
Suppose 11781 + 37121 = 4*w + 2*z, 48905 = 4*w + z. Is w prime?
True
Let f = 33 + -23. Let n(q) = -q + 2. Let a be n(f). Is (-2)/a + (-654)/(-8) a prime number?
False
Let q(k) = 2 - 2*k + 5*k - 8*k + 3*k**2 + k**2. Is q(5) prime?
False
Suppose 0 = -5*x + 3*f - 17, 4*f - 11 - 5 = 5*x. Is (-3 - (-146)/x)/((-5)/10) a composite number?
False
Let x = 10 - 8. Suppose x = -2*s + 12. Is 265/s + (2 - 0) a prime number?
False
Let h = 206 + 7955. Is h prime?
True
Suppose -1647 = -6*g + 1227. Is g a prime number?
True
Let t = -6791 + 15400. Is t prime?
True
Suppose 2*x - 3*z - 814 = 0, -9*x + 8*x + 5*z = -421. Is x composite?
False
Let y be (-4 + 0 + 5)/(1/(-5)). Is (((-5)/3)/y)/(3/2007) composite?
False
Let l be -7 + 4 + 1872 + 1. Let o = l - 491. Is o prime?
False
Suppose -4*w = -2*w - 6. Suppose 2*x = -w + 1. Is (-141)/(x/1) - 2 prime?
True
Let y be (35/(-28))/(2/(-12048)). Is (2/4)/(3/y) composite?
True
Suppose 4*y = -3*d - 1604, 0*y - 530 = d - y. Let a = -318 - d. Is a prime?
False
Suppose -6*w + 10*w = 0. Suppose -f - v + 250 = -w*v, 2 = -2*v. Is f composite?
False
Let v(u) = -14*u**3 + 23*u**2 - 25*u - 63. Is v(-14) a prime number?
False
Suppose 2*i = -i + 12. Let l = i + -2. Suppose -l*u + 161 = -93. Is u composite?
False
Suppose -13*v + 102 = -11*v. Suppose 6170 = -46*f + v*f. Is f a prime number?
False
Let y be 0 + -2*1366*-2. Let b = -3162 + y. Is b a prime number?
False
Suppose -5*h = 2*h - 7. Is ((-8)/32*149)/(h/(-4)) a prime number?
True
Is 2337 + (6 - 10)/(-2) a prime number?
True
Suppose 0 = 6*f - f. Suppose 4*v + 1 - 821 = f. Suppose -u - 14 = -v. Is u a prime number?
True
Let k = -53 + 968. Let s = k - 236. Is s prime?
False
Let i(h) = h**2 + 1. Let r be i(-1). Let t(d) = 3 - 13*d - 2 + 4*d**r - 5*d**2. Is t(-9) prime?
True
Let f = 308 + -229. Is f prime?
True
Suppose -2*h = -10, -3*g + 2*g = -5*h + 25. Suppose 5*v - 2*u = -257 - 51, g = -5*v - 2*u - 312. Let w = v + 139. Is w a prime number?
False
Suppose 0 = 3*i - 2*k - 802, -3*i - k + 537 = -i. Suppose 3*z + z = i. Suppose -4*a - z = -215. Is a prime?
True
Let b(u) = -9*u**3 - 5*u**2 + 2*u + 7. Let f be b(-4). Let o = 1792 + f. Is o composite?
False
Suppose -4*s - 8*j + 6*j + 7886 = 0, 5*j + 7851 = 4*s. Is s a composite number?
True
Suppose 31*h - 34*h + 47055 = 0. Is h a composite number?
True
Let w(z) = 3*z + 21. Let q be w(-3). Suppose q*p = 14*p - 1574. Is p a prime number?
True
Let j = -353 + -665. Let s = 1667 + j. Is s a prime number?
False
Suppose p - 3499 = 3*h, -2 = h - 6. Is p prime?
True
Suppose 1 = 2*s + 3, -2*s - 14374 = -4*u. Is u a composite number?
False
Suppose -5*z + 0*z + f + 9 = 0, f + 1 = z. Suppose -8 - 438 = -z*c. Is c composite?
False
Is (5 + (0 + -5 - -6619))/1 a composite number?
False
Suppose 2*b = -5*t + 74949, 33265 = 4*b - 2*t - 116645. Is b composite?
True
Let t(p) = 2*p**2 - 7*p - 14. Let o be t(-14). Is 1 - ((-9)/((-18)/(-4)) - o) a composite number?
False
Suppose 8*v + 120 = 4*v. Is (-4515)/v*2*1 composite?
True
Suppose -32*g + 25*g = 56. Let u(j) = -j**2 - 6*j + 3. Let p(d) = 2*d**2 + 12*d - 6. Let w(b) = 6*p(b) + 11*u(b). Is w(g) prime?
True
Is (14/(-7) + 3)/2*4442 prime?
True
Let n = 13 + -14. Let j(a) = -59*a - 1. Is j(n) a prime number?
False
Suppose -3*v + 4*z + 125 = 0, -4*v + 2*v - z = -87. Is v composite?
False
Suppose 0 = -3*k + 5*m - 2, 5*k + 6*m = 4*m - 24. Let i(j) = j**2 - 2*j - 9. Is i(k) a composite number?
True
Suppose 76 = 3*u + 31. Is ((-14289)/(-4))/3 + u/60 prime?
False
Suppose 3*j - 7*l + 4*l = -84, -4*j = 3*l + 147. Is (-36933)/j + (-2)/11 composite?
True
Let b(w) = 902*w**2 - 23*w - 5. Is b(-4) composite?
False
Suppose 6 = -2*z, 0 = 3*o - 3*z + 2*z - 2220. Is o composite?
False
Let y = 45 - 18. Let c be (-126)/y*(0 + -12). Let q = c - 23. Is q composite?
True
Let x be (8 - 3)/((-2)/26). Let z = 80 - x. Suppose 4*s + z = 6*s - 3*o, 5*o = 3*s - 220. Is s prime?
False
Suppose 0 = -3*w + 5*t - 8*t + 2301, 3*t = -5*w + 3833. Is w prime?
False
Let o = 76 - 49. Suppose 2452 = -23*a + o*a. Is a a composite number?
False
Suppose -3*r + 393 = 3*i, -5*i - 1 + 659 = 4*r. Let n = i + -37. Is n a prime number?
True
Suppose n + 3*p + 6 = 0, -4*n - 21 = -8*n + 3*p. Is 1*((-2 - 60) + n)*-1 composite?
False
Suppose 2*p + 0*p + 16 = 0. Let h = 7 + p. Is (h/(-3))/(3/711) composite?
False
Let n = 23 + -24. Is (n/1 + 7)/1 a prime number?
False
Let u be 0 + -3 + 1 + 4 + 1964. Let h = u - 71. Is h a prime number?
False
Let l = 126 - -2035. Is l a composite number?
False
Let l(v) = 696*v**2 - 2*v + v + 2 + 2*v. Let k(p) = p**2 - p - 1. Let a be k(1). Is l(a) prime?
False
Let l be 7/(4/(1 + 107)). Suppose -4*v + 115 = o - 137, -5*o = -3*v + l. Suppose 1382 + v = 5*x. Is x a prime number?
False
Suppose -3*k - 3*o + 54107 = -4*o, 5*k - 4*o = 90183. Is k composite?
True
Suppose 0 = -4*s - s + 2*x + 711, 0 = 5*s + 5*x - 725. Is s a composite number?
True
Suppose 5*u = 0, 3*z - u = -2*u + 21. Suppose 5*q = -2*q - z. Is q/((-1)/379 + 0) a prime number?
True
Suppose 0 = -5*d + 5, 2*p = -d + 167 + 250. Suppose 9*i - p = 5*i. Let k = 345 - i. Is k prime?
True
Suppose 0 = -19*v - 44*v + 1275435. Is v a prime number?
False
Let o be (2/3)/(-2) + 30/9. Suppose 11 = o*y - 7. Is y prime?
False
Let q be 169/5 - 4/(-20). Suppose 0 = -0*h + 3*h + 36. Let s = q + h. Is s prime?
False
Suppose 2*l + m - 3 = 2*m, -3*l - 4*m = 1. Let c be 213 - 3 - (l + 1). Let u = c - 81. Is u a composite number?
False
Let r be 10/(-6) - 1/3. Let c(w) = -w**2 - w + 2. Let h be c(r). Suppose h = -p + 13 + 22. Is p prime?
False
Let l = 163 - -150. Suppose 5*c - 21 = z, 3*c = 4*c - 5*z - 9. Suppose c*x - 403 - l = 0. Is x a composite number?
False
Let y(w) = -3*w**3 - 10*w**2 - 39*w + 9. Is y(-23) a composite number?
False
Let n be (-3426)/4*(5 - 11). Suppose 12*b + n = 23655. Is b prime?
True
Let q be (0 - -2)*((-54)/(-12) - 4). Let t(v) = 448*v + 3. Is t(q) prime?
False
Let i be (12/16)/(2/(-16)). Let m(b) = -b**2 + 4*b**2 - 6 + 13 - 8*b. Is m(i) prime?
True
Let l(t) = -14*t + 1. Let o be (23/5)/(8/40). Suppose 2*v + o = -g, -2*g = 3*v - 5*g + 21. Is l(v) a prime number?
False
Suppose 39*m - 34*m - 239615 = 0. Is m composite?
True
Let p(m) = -m + 12. Let l be p(15). Let t be ((l + 13)*3)/(-1). Is (1 - -9)/(t/(-165)) a composite number?
True
Let h be -3 + (-42)/(-7) - (-1 + 2). Suppose -11*g + n - 510 = -16*g, -3*g + h*n + 319 = 0. Is g prime?
True
Suppose 4*y - d - 92243 = 24166, 0 = -5*y - 4*d + 145485. Is y prime?
True
Suppose 0 = 2*v - 4*z + 12, 2*v - 3 + 5 = 2*z. Suppose -565 = -3*a - 4*l, -v*a + 0*l = -l - 766. Is a a composite number?
False
Let j(w) = -893*w**3 - 2*w**2 - 5*w - 3. Is j(-1) composite?
True
Let l = -3 + 8. Suppose -l*u = -1 - 9. Suppose 3*m - 145 = u*m. Is m composite?
True
Let y(r) = 15*r - 4. Let h be y(6). Suppose 2*o + 0*x = 2*x + h, -o + 2*x = -39. Is o composite?
False
Suppose 5*x - 14*x = -27. Let h(k) = k + 11. Let o be h(-7). Suppose 5*s + o*u = 3*u + 326, -x*s = -5*u - 190. Is s prime?
False
Let z = -3 + 1. Let x = 39 + z. Is x composite?
False
Let p = -41 - -43. Suppose p*f + 4*z - 1070 = -0*z, 6 = -2*z. Is f prime?
True
Let t(b) = 1. Let r(w) = -w - 1. Let x(m) = -12*m - 2. Let u(o) = -4*r(o) + x(o). Let y(p) = 3*t(p) - u(p). Is y(4) a prime number?
False
Let r(g) = g**2 - 4*g - 3. Let y be r(6). Let o be 46/10 - y/15. Is ((-251)/3)/(o/(-12)) prime?
True
Let v be (-4)/2*131/(-1). Let s = -107 + v. Is s a composite number?
True
Let r(i) = 9*i**2 - 5*i - 5. Suppose l - 5*z = 5, 4*z + 1 = 5*l - 3. Let b = -4 + l. Is r(b) a composite number?
True
Suppose -35*r + 32*r + 7167 = 0. Is r prime?
True
Let y = 32 - 9. Suppose -24*n + y*n + 191 = 0. Is n composite?
False
Suppose -4*h + 55992 + 10892 = 0. Is h a composite number?
True
Let g be (-608)/(-24)*21/2. Let c = g + -143. Is c composite?
True
Let v be 25/(-5)*(-1)/((-10)/(-16)). Let q(h) = -7*h + 7*h**2 - 8 + 3 - 6. Is q(v) composite?
True
Let u(n) = -2*n**3 - 11*n**2