1 - 41980. Is n composite?
True
Is -4 + -2270*12/(-8) a prime number?
False
Suppose 5*s + 0*t + 2*t + 4 = 0, 4*s + 4 = -2*t. Suppose 5*l - 745 = -s*l. Is l composite?
False
Suppose -2*i - u = -13, 2*i - 3*i - 4*u = -17. Suppose -4*m - 4*q + 6*q - 2 = 0, 0 = 2*m + 5*q - i. Suppose m = -2*f - 37 + 215. Is f composite?
False
Suppose 4*u - s - 14 = 2*u, -3*u + s + 19 = 0. Suppose 7*w = 2*w + u*c + 14055, 2*w - 5*c - 5616 = 0. Is w a prime number?
False
Suppose u = 2*u + 3, 2*u = -3*m + 249. Suppose -83 = 4*k + m. Let x = k - -61. Is x a prime number?
True
Suppose 9*v - 83401 = 5*v + 5*d, -5*d - 62547 = -3*v. Is v a prime number?
False
Suppose 0 = -5*o + 821 + 449. Is (o/(-4))/((-3)/(-102)*-1) a prime number?
False
Suppose -3*m = -5*n + 16, n + 2 = 5*m - 8. Is ((-1918)/8 - m/(-12))*-2 prime?
True
Is 39045/38 - (-1 - 3/(-2)) composite?
True
Let b(d) = -6*d**3 + d**2 - 3*d + 2. Let x be b(1). Let l(v) = 22*v**2 - 3*v + 19. Is l(x) composite?
False
Is (-12)/48*2*-32018 a composite number?
True
Suppose -v = 2*y - 67808, -6*y + 2*y + 135614 = 3*v. Is y a composite number?
True
Let j(k) be the first derivative of -31*k**2 - 7*k - 13. Let p be j(-3). Let i = p + -120. Is i a prime number?
True
Let f = -2 + 5. Suppose w - 7 + 8 = 0. Is 19*w/(-3)*f a prime number?
True
Let q(p) = 40*p**2 + 3. Let a(y) = -2*y - 14. Let t be a(-6). Is q(t) prime?
True
Let x(b) = -b**3 - b**2 - b - 20. Let c be x(0). Is (-3)/(-12) + (-3815)/c a prime number?
True
Let g = 62983 + -41286. Is g composite?
True
Suppose 0 = -4*i + 12313 - 3753. Suppose 5*n + 1682 = n + 2*r, -5*r - i = 5*n. Let u = n + 752. Is u composite?
True
Suppose -5*b - 6680 = -0*b. Let w = b - -1877. Is w a prime number?
True
Let w(m) = -4*m + 1. Let z be w(-6). Let a be -3 + (4 - 5) + 8514. Is a/z - 3/(-5) a composite number?
True
Let h = 58 - 51. Suppose -3391 = -5*n + 4*w, 2*n = h*w - 4*w + 1355. Is n a prime number?
False
Let d(z) = 1063*z + 27. Is d(5) a composite number?
True
Suppose -4 = -5*l + v, 0 = 5*l - 3*v - 14 + 2. Let z(g) = 2*g**3 + g + 1259. Is z(l) composite?
False
Suppose -4*c + c = -36. Suppose -4*g + 0 = -c. Suppose g*m + 0*m = 33. Is m a prime number?
True
Let p = 2316 + -3339. Let b = -638 - p. Suppose 361 = 2*q - b. Is q a composite number?
False
Let c(d) = 586*d**2 + 7*d + 15. Is c(-8) a composite number?
False
Let l = 220 - 375. Let g = 366 + l. Is g prime?
True
Suppose 12*y - 5*y = 0. Suppose y = -4*n + n + 3*x + 936, -644 = -2*n - 2*x. Is n a composite number?
False
Let c = 234 - 487. Let h = -160 - c. Is h a prime number?
False
Let t(x) = -2*x**2 + 14*x - 7. Let q be t(6). Let i(o) = o - q*o + 1 - 5*o**2 + 22*o**2. Is i(4) prime?
True
Is 10/60*0 - 1*-39673 a composite number?
True
Suppose 0 = 2*s + 3*u - 1899, 4*s - 3*s + 4*u - 937 = 0. Suppose -4*f + 1367 = 5*c, 4*f + s = 3*c + 156. Suppose 0 = -n + 592 + c. Is n a composite number?
False
Let f(y) = -184*y**2 + 4*y + 5. Let k(d) = 369*d**2 - 9*d - 11. Let x(s) = -9*f(s) - 4*k(s). Is x(-2) composite?
False
Let l = 36 - 32. Suppose 0 = -4*f - 4*r + 4640, -4*f - l*r + r = -4639. Is f a prime number?
False
Suppose -4*i + 3 - 23 = 0, -2*i + 15498 = 4*c. Is c composite?
False
Let i be 2 - 5 - (-1 - 5). Suppose i = 3*n, -v + 4 = n - 2. Suppose -2*o = v*w - 645, 0*w + w + 2*o = 121. Is w a composite number?
False
Let a be 1/(-7)*2 - 180/(-42). Suppose -561 - 507 = -a*u. Is u a composite number?
True
Let b(v) = 988*v**2 + 27*v - 4. Is b(6) composite?
True
Suppose -8 = -6*j + 3*j + l, 3*l = 4*j - 9. Suppose 102 = 5*b - j*b. Let u = 502 - b. Is u a composite number?
True
Suppose -10*f = -39 - 61. Suppose -5*o - f = 0, 3*g - 273 - 1385 = -2*o. Is g prime?
False
Let z(a) = 2*a**2 + 14*a + 16. Let j be z(-11). Suppose 4*p = -5*g + 243, -5*p = g + g - j. Let h = g + 140. Is h a composite number?
True
Suppose -2*p - 10413 = -5*r, 2*r - 4*p - 2178 = 2000. Is r composite?
False
Suppose -5*m + 35457 = 2*b, 0 = 2*m + 2*b - 5*b - 14179. Is m prime?
False
Suppose 4*y + 1605 = 9*y. Suppose -4*q + 3*t = -2*t - y, -t = -5*q + 417. Is (q - -5)/(0 - -1) prime?
True
Let k(f) = -5*f + 0*f**3 + 14*f - 2*f**3 - 9*f**2 - 9 + 3*f**3. Let x be k(8). Let b = 16 + x. Is b a prime number?
False
Let y = -14 + 22. Is (-1)/(-4) - (-270)/y prime?
False
Is 199768/5 - 18/30 a prime number?
True
Let c be -1 - -6*138/2. Suppose -c = -x - 246. Is x composite?
False
Let u be (4 + -3)/2*-46. Is (u - -1)/(2/(-13)) a composite number?
True
Let f = -12119 + 24730. Is f a composite number?
False
Let i(a) = -8*a**3 - 11*a**2 + 3*a + 3. Let f(t) = 6*t**3 + 10*t**2 - 2*t - 2. Let m(b) = -6*f(b) - 5*i(b). Let r = -3 - -7. Is m(r) prime?
False
Let u(d) = -d**2 + d + 3. Let c be 12/30 - (-2)/(-5). Let n be u(c). Suppose -i + 254 = -n*j, 5*i + 5*j = 3*i + 541. Is i a composite number?
False
Let o(j) be the first derivative of -63*j**2/2 - 15*j - 2. Let l be o(-12). Is l/(-2)*(-4)/6 prime?
False
Let b(w) = 5*w - 1. Let r be b(-3). Let s = -11 - r. Suppose -5*z = s*c - 1625, 0*c + 3*z - 317 = -c. Is c composite?
True
Let f(t) = 618*t**2 + t + 2. Suppose -4*j = -l + 5, 3 = -4*j - 0*j - l. Let z be f(j). Suppose 6*x - 2*x - 3*r = z, -r + 317 = 2*x. Is x a prime number?
True
Suppose -4*l - 18065 = -3*c + 15538, 0 = -5*c - 4*l + 56005. Is c composite?
True
Let o(w) = w**2 - 2*w - 19. Let f be o(-19). Let t = 697 - f. Is t a composite number?
False
Let l(h) = h**2 - 9*h. Let s be l(9). Suppose s = -3*y + 1622 + 895. Is y prime?
True
Suppose -224 = -3*u + d, -2*u + d = 3*u - 376. Let w be 90/(-2) + 0/4. Let a = w + u. Is a a prime number?
True
Suppose -3*p - 1866 = 3*p. Let v = p - -474. Is v a prime number?
True
Let u(c) be the second derivative of c**5/20 - c**4/12 + c**3/2 - 5*c**2/2 - c. Let z = 47 - 43. Is u(z) a prime number?
False
Let x be 28/42 - 43/(-3). Let i be ((-20)/6)/(x/(-90)). Is ((-10)/i)/(1/(-446)) a prime number?
True
Let w(v) = 3*v**2 - 2*v + 6. Let y be w(5). Suppose -2*n = -y + 17. Is 627/n - (-4)/(-18) a prime number?
True
Let k(n) be the second derivative of 35*n**3/6 - n**2/2 + 2*n. Let p be k(4). Is 0 + 1 + p - -2 prime?
False
Let f = 1856 - 295. Is f composite?
True
Let g(t) = 5*t**2 + 11*t + 5. Let y be g(-8). Let m = 350 + y. Is m a composite number?
False
Suppose -10 = 12*y - 13*y. Suppose -4*i = -10 - y. Suppose -5*o = 4*s - 43, 2*s = i*s + 2*o - 27. Is s composite?
False
Let n be 1*2/5*5. Suppose 4*l + 26 = n*a, -3*l = -4*a - 8 + 35. Suppose -764 = a*g - 7*g. Is g prime?
True
Let d = -543 - -1405. Is d a prime number?
False
Let z(s) = -2*s + 4*s - 2*s - 4 + 2*s. Let r be z(5). Is -3*2/r + 450 prime?
True
Suppose 5*x - 19064 = -2*d + 25486, -5*d = -2*x - 111433. Is d a prime number?
False
Let f(d) be the first derivative of -d**2/2 - 3*d + 6. Let h be f(-5). Suppose -15 = -3*u, h*a - 3*u - 86 = u. Is a a composite number?
False
Let l(z) = 41*z - 8. Let x be l(5). Let m = 1084 - x. Is m composite?
False
Suppose -r + 3*f + 37 = 0, -17 = 4*f + 3. Suppose -3*m + 38 = 5. Let j = m + r. Is j a composite number?
True
Let o(f) = -f + 1. Let w(g) = g. Let i(p) = 2*o(p) + w(p). Let c be i(-2). Suppose 0 = 3*h - 4*x - 1227, -3*h + 3*x = c*x - 1242. Is h prime?
False
Let z(p) = -5*p + 24. Let o be z(4). Suppose -o*m + 349 = -1175. Is m a composite number?
True
Let o(m) = -2018*m + 20. Let z be o(-3). Suppose -15*l + z = -2491. Is l a prime number?
True
Let w(r) be the second derivative of 1361*r**4/12 - r**3/6 - r**2/2 + 16*r. Is w(-1) composite?
False
Let l(g) = -11*g**2 - 5*g + 6. Let t be l(3). Let b = -41 - t. Is b prime?
True
Let n be (2/(-2))/((-196)/(-197) + -1). Suppose -n = -c + 14. Is c prime?
True
Is 5 - (9 - -449891)/(-10) a prime number?
False
Suppose -4*o - 141 = c, 0*c = 4*o + 2*c + 138. Let q be 7 + (o/4)/3. Suppose w = -q*w + 275. Is w a prime number?
False
Suppose -a - 287 = 47. Let v = -554 - a. Is 2 + (-1 - v)/1 prime?
False
Let x = -106 - -117. Suppose 60767 = x*q - 36968. Is q composite?
True
Suppose 2*f + 6 = 0, 5*f = -2*d + f - 12. Suppose -h = -4*z - 0*z - 1253, 2*h + 3*z - 2517 = d. Is h a prime number?
False
Is -11 - (-20726 - 72/(-9)) prime?
True
Let g(x) = -x**2 - 2*x + 3. Let v be g(0). Let b be 782/(-4) - v/(-2). Let w = b - -403. Is w a prime number?
False
Let j be (12/5)/(24/60). Let l(f) = -j + 3*f - 3 + f**2 + 7. Is l(-7) composite?
True
