Let k(d) = -d**3 + 4*d**2 - 2*d + 3. Let x be k(3). Suppose 0 = x*c - 2*c. Suppose c*i + 185 = 5*i. Is i prime?
True
Suppose 92372 = 45*l - 17*l. Is l a prime number?
True
Suppose o + d + 550 = 0, 2*o + 5*d = 4*o + 1121. Let w = -359 - o. Is w composite?
True
Let x(d) = 53*d - 1. Let a be x(1). Let f be (-2)/(-3) - a/6. Let s(h) = -50*h - 9. Is s(f) prime?
False
Let p(m) = -13 - 60*m**2 + 4*m + 5*m + 61*m**2. Is p(-12) prime?
True
Let k = 3011 + -402. Is k a composite number?
False
Is 234025/30 + 18/108 a composite number?
True
Suppose 11341 = 5*y - 2604. Is y a prime number?
True
Suppose -5*s = 2*x - 2*s + 6, -s + 8 = 4*x. Suppose 0 = -x*i + 41 - 5. Suppose -i = -a + 1. Is a a composite number?
False
Let h = -79 - -214. Suppose 4*k + h = 2*k - 3*j, 265 = -4*k - 5*j. Is (6/4)/((-10)/k) a prime number?
False
Is 1*6*(-3)/12*-2798 a prime number?
False
Suppose -g = -5*w - 4149, w - 4 + 0 = 0. Is g a composite number?
True
Let i be 0*1/(-1 - -5). Suppose 8*b - 12*b = i. Suppose -5*y + 829 - 34 = b. Is y composite?
True
Let x(v) = -4*v - 106. Let b be x(-26). Is (b/(-4))/((-3)/(4 + -5806)) prime?
True
Let g(t) = -62*t + 11. Suppose 5*k - 3*k = z - 16, 0 = -k - 4*z + 10. Let i be g(k). Let u = -52 + i. Is u composite?
False
Let d(t) = 2*t**3 - t**2 + 8*t - 11. Let i(a) = -3*a + 6. Let y be i(8). Let q = y - -23. Is d(q) prime?
False
Is 20/4 + -3 - -1*1435 prime?
False
Suppose -608*j + 616*j - 69736 = 0. Is j prime?
False
Suppose 5*s = 5*a + 5, -40 = -5*s - 0*s - 2*a. Suppose -t + 21 = s*t. Is t a prime number?
True
Let w be 10/4*(-16)/(-20). Suppose 5*s - 2*j = w*s + 2543, -5*s = 4*j - 4275. Is s a composite number?
True
Let p(v) = 2*v - 22. Let n be p(11). Suppose n = -5*w + w + 2204. Is w a composite number?
True
Suppose 30*i + y - 256 = 33*i, 232 = -3*i - 5*y. Let n be 0/2 + (1 - -7). Is (2/(-1))/(n/i) a composite number?
True
Let o = 441 - 218. Is o a prime number?
True
Let b = -3942 - -8245. Is b composite?
True
Suppose 16 = 3*d + 10. Let s be -3*1/1 + 1. Is (d/s)/((-1)/163) composite?
False
Is 332/(-6)*(2285/(-10) - -5) a composite number?
True
Let j(d) be the first derivative of 10*d - 7/2*d**2 - 4. Is j(-7) composite?
False
Let h = 17273 - -6896. Is h a composite number?
False
Suppose q - 3 - 1 = 0. Let o = 314 - 161. Suppose q*v = o + 67. Is v a composite number?
True
Suppose 3*u - 123327 = 5*t + 221110, 4 = -2*t. Is u composite?
False
Suppose 3933*z - 3923*z - 16570 = 0. Is z a prime number?
True
Is (-9914)/(-10) + 2/(-5) a composite number?
False
Let b = -3 + 5. Let o be 5*b*(-3)/(-15). Suppose 0 = o*w - 391 - 163. Is w composite?
False
Let i = 2009 - 220. Suppose -13*y + 38 + 27 = 0. Suppose 0 = -y*q + 4*h + 46 + i, -q + 5*h = -346. Is q a composite number?
True
Is (-6)/(-30) + ((-13299)/(-5) - 3) composite?
False
Let m be ((-6)/12)/(2 + (-32487)/16242). Suppose -5*y - m = -2*t, 5*t - y = -0*t + 6802. Is t prime?
True
Let y = -60 + -150. Let r = y - -305. Is r prime?
False
Let m = -125 + 448. Is m composite?
True
Let k(d) = 620*d**2 - 17*d + 12. Is k(5) prime?
True
Let k(o) = 7780*o + 1. Is k(1) a prime number?
False
Let x = -967 - -7214. Is x a composite number?
False
Suppose 2*g - 2668 = 1082. Suppose f + 1060 = -0*f. Let u = f + g. Is u a prime number?
False
Suppose -21*m + 36*m = 796035. Is m composite?
False
Is ((-43)/129)/(18113/9057 + -2) a prime number?
True
Suppose 4*n = 4*h - 2*h - 190330, -95160 = -h - 3*n. Is h composite?
True
Suppose 5*g - 26 + 1 = 0. Suppose 5*x - 663 = w, 0 = 5*x - 10*x - g*w + 675. Is x composite?
True
Suppose 3*g - 23192 = g + 3*x, g = 4*x + 11591. Is g a composite number?
True
Let r = -912 - -480. Let z = 623 + r. Is z a prime number?
True
Let k be (32/96)/((-2)/222). Let w be (-578)/(-5) - (-4)/10. Let i = w + k. Is i a composite number?
False
Suppose -2*w - w + b + 2 = 0, 0 = -5*w + 3*b + 6. Suppose -5*h + 13660 = 4*j, j + w*j + 2*h - 3415 = 0. Is j a prime number?
False
Let n = -100 + 119. Suppose 116 = r + 2. Let p = n + r. Is p prime?
False
Let a be -4 + (7 - 0/(-1)). Let b(o) = -3*o**a + 2*o + 7 - 4*o**2 + 0*o - 3*o. Is b(-5) a composite number?
True
Let o be ((-58)/(-10))/((-9)/(-45)). Let w(q) = 33*q + 1 + 5 - o. Is w(10) a composite number?
False
Suppose -30 = -2*a - d + 1576, 0 = -a - 3*d + 808. Is a a prime number?
False
Let q(s) = -23*s - 8. Let g be q(5). Let o = g + 69. Let j = 37 - o. Is j composite?
True
Is (6 - 76/12)*-1293 a prime number?
True
Suppose 5*a + 17 = -3*u, 0 = -5*u + 3*a - a + 13. Is (0 + 1/3)*(4442 + u) prime?
True
Let z(f) = -f**3 + 7*f**2 + 3. Let t be z(7). Suppose -246 = -t*p + 216. Suppose 0*x = -2*x + p. Is x a composite number?
True
Let o(b) be the third derivative of -b**6/120 + b**5/3 + 23*b**4/24 + b**3/2 + 18*b**2. Is o(17) prime?
False
Suppose -5*x + 27 = -13. Is 66 + (-2)/((x/(-2))/2) composite?
False
Suppose 0 = f - 10*f + 1359. Suppose l - 142 = f. Is l a composite number?
False
Let t be 36/21*35/10. Suppose -j = 3*m - 295, 5*j - 505 = m - t*m. Suppose -52 = -2*a + 3*z + m, 5*z + 25 = 0. Is a prime?
True
Let c be ((-1)/(-2)*-6997)/((-1)/6). Suppose 5045 - c = -14*w. Is w composite?
True
Let u(y) be the first derivative of -y**3/3 + 3*y**2/2 + 1847*y + 2. Is u(0) a prime number?
True
Let c = 14 - 12. Let w be (-2*(0 - 53))/2. Suppose -c*q + 307 = w. Is q composite?
False
Suppose -9*j + 13*j - 28274 = -2*q, 4*q = 5*j - 35349. Is j a composite number?
False
Is (-3)/3 + (1122 - -30) prime?
True
Let z be (-3)/((54/4)/9). Is 116 - (z - (4 + 0 - 9)) a prime number?
True
Suppose 6*u - 3*u = 2*u. Suppose 2*b + b - 651 = u. Is b prime?
False
Let b(h) = -2*h - 7. Let y be b(-5). Let z be y + 6/(-2) - -2. Suppose -4*g + 5*g = z, -3*u = -5*g - 155. Is u composite?
True
Let k(z) = 91*z + 1. Let x be k(1). Suppose 0 = 4*m + w + 3*w - x, -5*w - 83 = -4*m. Is m a prime number?
False
Let u(i) = -45*i**3 + 3*i**2 - 5*i - 3. Let l be 10/(-6) + (-19)/57. Is u(l) composite?
False
Let v = 2 - 3. Let j be v/(-1)*(-6)/(-6). Suppose j + 70 = a. Is a prime?
True
Suppose k + k + 20 = 0. Let z be (15/k)/(3/(-4)). Suppose -z*b + 204 = 10. Is b prime?
True
Suppose 3 - 24 = -g. Suppose -2*u + g = 5*u. Suppose -u*o + 182 = -31. Is o composite?
False
Let w(l) = 208*l + 4. Let n be w(2). Let s = n - -211. Is s a prime number?
True
Suppose 44*z - 135961 + 20373 = 0. Is z composite?
True
Suppose -17*u - 5112 = -99190. Is u a prime number?
False
Let x be 2/(-7) - (-2)/7. Suppose 3*i - 38 = -a + 5, x = -2*a + 2*i + 126. Is a a composite number?
True
Let o be 5 - (0 - (4 + -4)). Suppose 1451 = 3*f - o*m, 400 + 85 = f - m. Is f a prime number?
True
Is 1*(-1)/((-2)/1282) a composite number?
False
Let b(g) = 6*g**3 + g**2 - 1. Let l be b(-1). Let k be (-6)/(l/(-2))*-2. Suppose -2*q + 6*d - k*d + 308 = 0, 0 = -4*q - d + 636. Is q prime?
False
Suppose -x - 2*n - 12 = 0, -3*x - 2 = -4*x + 5*n. Let q = 5 + x. Is q + 2 + 106*3 prime?
True
Suppose 143*z + 26159 = 150*z. Is z a composite number?
True
Suppose 0 = 5*w - 3*c - 20, -4 = w - 2*c - 1. Suppose 2*a + w = 29. Is (1 - -126)*a/11 a composite number?
False
Let h(u) = -3738*u + 19. Is h(-4) prime?
False
Suppose -200*l = -197*l - 33738. Is l a composite number?
True
Let q be 8 - 4 - 1410/(-1). Let y = q + -995. Is y prime?
True
Suppose 2*s - 1 = -q + 3*s, -s = -2. Let z = 8 - q. Suppose 111 = -2*t + z*t. Is t a composite number?
False
Let h(b) = 4477*b**2 + 19*b + 65. Is h(-3) prime?
False
Let z be 2 + (-10)/5 + 12. Let y(c) = c**2 + 30*c - 14. Let f(l) = -l**2. Let r(a) = 2*f(a) + y(a). Is r(z) a composite number?
True
Suppose 0 = -2*m + 3*v - 6, -6*m + 5*v - 8 = -2*m. Suppose -3*h - 4005 = -m*y, 0 = -2*y + 6*y - h - 5349. Is ((-13)/39)/((-2)/y) a prime number?
True
Is (-16)/(-8) - -17830 - -5 a composite number?
False
Let k = -2635 + 5454. Is k prime?
True
Suppose -12*c + 68185 = -5483. Is c a composite number?
True
Suppose 5*b - 1543 = -3*j, 2*b + 7 + 1 = 0. Is j a prime number?
True
Suppose -613*d = -615*d + 4814. Is d a prime number?
False
Let w(i) = -i**3 + 7*i**2 - 7*i + 5. Let h be w(6). Let s(g) = -26*g**3 - g**2 - g. Let n be s(h). Is (-2 - -3) + n + -2 composite?
True
Let z be (-15)/(-10) - (-2)/4. Suppose -5*m = 2*y - 23, 3*y - 2*y = 2*m - z. Suppose -y*v + v = -174. Is v prime?
False
Let k = -55 - -61. Is (87/k)/(11/1034) a composite nu