number?
True
Is (-465740 + 147/(-7))*-1 composite?
False
Let k be 7/(84/(-20) - -4). Let n = k - -294. Is n composite?
True
Let w(t) = 21*t + 1555. Let g be w(-74). Let s(r) = -2*r + 74*r**2 + 177*r**2 + 1 + 1. Is s(g) a composite number?
False
Suppose -2*f + 45 = 2*f - 5*d, 0 = -f - d. Suppose -f*n + 2*w + 1495 = -10500, 0 = 3*w. Suppose -12*u = -16091 + n. Is u a prime number?
False
Let u(o) = 468*o + 29. Let m = -49 - -51. Suppose -5*v + 17 = -2*v - d, -m*d = 3*v - 29. Is u(v) a prime number?
False
Suppose 1155092 = -16*h + 51*h - 2053463. Is h a prime number?
True
Suppose 1144*a = 1139*a + 62935. Suppose 2*s - 25190 = 3*x + x, s - 4*x - a = 0. Is s a prime number?
False
Suppose 4*w - 3*d = -162997 + 789162, 4*w - 4*d - 626168 = 0. Is w composite?
False
Let s(c) = -1797*c + 24. Let u be (-15)/6*((-48)/(-20) - 4). Let g be s(u). Is (-5)/(15/g) + 1 a composite number?
False
Let n = -3779 - -12457. Let x = n + -5889. Is x prime?
True
Let s(q) be the third derivative of 2699*q**6/120 + q**5/60 - 10*q**2. Let z be s(1). Suppose 5*f - 2708 = -3*d, 5*f - d - z = 4*d. Is f composite?
False
Let v(f) = -2*f - 15. Let y(d) = 7*d**3 + 2*d**2 + 3*d + 2. Let z be y(-1). Let j be v(z). Is ((-1)/j)/(5/2235) a prime number?
True
Let i = 3113 - -8365. Suppose i = -5*j + 2*x, -3*j - 4503 - 2391 = -3*x. Is j/(-12) - (-1)/(-6) a composite number?
False
Let c be 0 + (-2*1)/2. Let a(d) be the first derivative of -117*d**2/2 + 2*d + 344. Is a(c) a composite number?
True
Let z(d) = -2*d**3 - 47*d**2 + 69*d + 1. Is z(-36) prime?
True
Let b = -1186 - -83052. Is b composite?
True
Let c be 0 + -1 + (-12)/(-3). Suppose -8 = 5*z - c*z. Is z - (-2 - 1054) - -3 a composite number?
True
Let j be 4 - -25 - (-4 - (1 - 4)). Suppose 4*a + 107 + j = o, -4*o = -3*a - 587. Is o composite?
False
Let g be 3 + 156/(-27) + 2/(-9). Let t be 3/(0 - g) + 20. Suppose 18*m - t*m + 285 = 0. Is m prime?
False
Suppose 0*x = -4*x, 2*x + 183207 = 3*s. Is s a composite number?
True
Suppose -215764 = 3*k - f - 1121931, 5*f - 1208248 = -4*k. Is k composite?
True
Let k = 146 + -146. Suppose k = 42*f - 41*f + 241. Let w = f - -352. Is w a prime number?
False
Let m = -30 - -9. Let s be (((-180)/(-21))/2)/((-1)/m). Suppose 0 = b - s - 59. Is b composite?
False
Suppose 3 = -d + 9. Suppose d*i - 2*i = 1036. Suppose -2*a = -2*n - 156, -n + i = 4*a - 78. Is a a composite number?
False
Suppose r + 4*x = 249777, -5*x - 736782 = -4*r + 262284. Is r prime?
False
Suppose -4*c = -0*c - 40268 - 101976. Is c a prime number?
False
Let o = -210 - -214. Suppose 5023 = c - 5*i + 1047, -4*i + o = 0. Is c prime?
False
Let a = 2755 + -1792. Let p = 0 + 0. Suppose p = -9*l + a + 144. Is l prime?
False
Let h be -6 - ((-153)/(-18))/((-3)/30). Suppose -m + 2*d + 589 = 0, -h*d + 1734 = 3*m - 74*d. Is m composite?
True
Let o = 6 - 63. Let x = -54 - o. Suppose 3*v + 4*f - 3*f = 342, -330 = -x*v + 3*f. Is v a prime number?
True
Let d(u) = 3*u**3 - 2*u**2 - 2*u + 65. Is d(22) composite?
True
Let p(y) = 10688*y**2 - 200*y + 789. Is p(4) composite?
True
Suppose -2*h + 373406 = 2*g, -6*g = -3*g - 3*h - 560085. Is g prime?
False
Let z(x) = 7176*x - 2359. Is z(8) a composite number?
False
Is 16/(-44) + (-821328)/(-66) - -7 a composite number?
False
Suppose -1825 = 6*x - 7*x + 3*b, -2*b = -2*x + 3662. Suppose -x = -w + 2133. Is w a prime number?
True
Let k(i) = 1063*i - 1428. Is k(13) a composite number?
False
Let f(j) = 2*j**3 - 156*j**2 - 210*j + 1489. Is f(110) a composite number?
False
Let c = -1331 - -4359. Suppose 3*y = -2*m + c, 5*m + 0*m - 5*y - 7595 = 0. Is m prime?
False
Let o = -121 + 126. Is (((-23740)/6)/2)/(o/(-15)) prime?
False
Suppose h + 67 = 80. Suppose -7*x = -h*x + 1956. Is x composite?
True
Is 347748/360*-5*-2*87 prime?
False
Let q be 3 + (-1 + -3)/4. Suppose u = -u - q*x - 22, 2*x = -3*u - 28. Is (u/4)/((-5)/410) a prime number?
False
Let k(u) = 91*u - 62*u + 49*u + 21. Is k(11) prime?
False
Let u = 1884 + -866. Suppose u = 10*i - 8592. Is i + (-3 - (3 + -6)) a composite number?
True
Let x = 27629 - -25854. Is x composite?
True
Suppose -16*a + 1439938 + 173836 = -2208578. Is a a prime number?
True
Suppose -27*d + 456 = 24. Let v(w) = w + 31 + 8 + 0*w. Is v(d) prime?
False
Let n be (-1)/((4 - 0)/548) - -1. Suppose -2*y = -3*y + 67. Let w = y - n. Is w prime?
False
Suppose 0 = -3*u + 3*r - 34 + 250, -3*u = 4*r - 195. Let x = u + 2107. Let k = x - 1257. Is k composite?
False
Let h be (-128)/(-6) + -1 - 1/3. Let q = -15 + h. Suppose -q*y = b - 307 - 889, y - 3546 = -3*b. Is b composite?
False
Suppose -4090723 = -i - 12*i. Is i a composite number?
True
Is 14/(-1) - (-22231 - 30) a composite number?
False
Suppose -143*h - 24576 = -146*h. Suppose 4*o - 2*x - 8180 = 0, 0 = -4*o + 7*x - 8*x + h. Is o a prime number?
False
Let m = 335886 - 219431. Is m composite?
True
Is (-1)/2 - ((-312075)/38)/5 a prime number?
False
Let z(u) = -u**2 + 3*u + 7. Let g be z(4). Suppose 9568 + 20045 = g*d. Is d a prime number?
True
Let x(a) = -a + 150139. Let o be x(0). Suppose -3*h + o = 8*h. Is h composite?
False
Let f = -220 + 77. Let k = f - -101. Is (-4)/(-14) - 1290/k a prime number?
True
Let c be (-227904)/(-20) - -3*4/(-60). Suppose -27*d + 22*d = -c. Is d a composite number?
True
Suppose 8*w - 30 = -2*w. Suppose -w*t + 1992 + 772 = c, -2*c = 3*t - 5525. Is c a prime number?
False
Let g(d) = 4*d**3 - 7*d**2 + 13*d - 19. Let b(w) = w**2 + 6*w - 8. Let x be b(-8). Is g(x) a prime number?
False
Suppose 0 = -0*y + 4*y + 12. Let t be 3 - (-1)/(-1)*3/y. Suppose -2*i - i - 3*j + 3270 = 0, 2*i - 2186 = -t*j. Is i composite?
False
Suppose 3*u - 6*q - 11 = -q, -4*u + 3 = 5*q. Suppose u*y - 52613 = -9*y. Is y a composite number?
False
Suppose 0 = -4*x - 2*x. Let f be ((2 - x)/(-4))/(5/(-8940)). Suppose 2*y - 14747 = -5*d + f, y = -4*d + 12511. Is d composite?
True
Let s(t) = -7604*t - 3745. Is s(-52) prime?
False
Let l(j) = -2*j**2 - 6*j + 60. Let t be l(-7). Suppose -4*h - 17793 = -t*r - r, 2*r - 4*h = 7110. Is r composite?
True
Let a be 2 + (0 + -3)/(57/(-206131)). Suppose 7*o - a = -3284. Is o a composite number?
True
Let p(m) be the second derivative of -166*m**3/3 + 5*m**2/2 + 104*m. Is p(-12) a prime number?
True
Let i = -6132 + 3457. Let y = 1542 + i. Is 2 - (3 + -1 + y) prime?
False
Suppose -51061013 - 9514699 = -96*b. Is b prime?
True
Suppose 7*b + 87 = -18. Is b/6*25182/(-45) a composite number?
False
Let y be 12/18*((620 - 1) + -1). Suppose 239 = 3*i - y. Let j = i - -36. Is j prime?
False
Let y = 651537 + -298686. Is y prime?
False
Suppose -3*m - 111 + 6 = -3*z, 58 = 2*z - 5*m. Let j be (-131551)/(-8) + (-2)/(-16). Suppose -z*v = -43*v + j. Is v prime?
True
Let i = 313512 - 219931. Is i a composite number?
False
Let s = 389598 - 227088. Let c be (6/4)/(15/s). Suppose 3*p - 4*p = -5*v + c, -2*v - 3*p + 6514 = 0. Is v a composite number?
False
Let n(b) = -3*b**3 + b**2 + b - 15. Suppose -20 = -49*x + 44*x. Let p be n(x). Let c = 462 - p. Is c a prime number?
False
Suppose -9635 = 6*g - 851. Let y = -761 - g. Is y prime?
False
Let i(v) = 2*v**3 - 32*v**2 - 11*v + 36. Let k be i(16). Let a = k - -159. Is a prime?
True
Let s(r) = 44531*r**3 + 5*r**2 + 5*r - 10. Is s(1) a prime number?
True
Let c = 331410 + -94861. Is c composite?
False
Let i = 182101 + 147656. Is i prime?
False
Let o = -2 - -17. Let v = -1493 - -1516. Is -1*5/(o/(-6))*v composite?
True
Let v(o) = 31*o + 48. Let f be v(-6). Let n = 2179 + f. Is n composite?
True
Suppose -5*m = 5*l - 35, 2*l = -0*m + 4*m - 4. Suppose t - 3*d = d - 2, -4*d - l = -2*t. Suppose r + f - 204 = t*f, 2*r - 2*f = 400. Is r composite?
False
Suppose 9*n - 338512 = n. Suppose 2*u + 3*x = 16931, -3*u + 3*x - n = -8*u. Is u a composite number?
False
Suppose -5*q + 8243 = -4*r, -3*q + 9*r - 4*r = -4938. Is q prime?
False
Let m be -6*(-2984)/48 + -3. Let d = 1116 - m. Is d a prime number?
False
Let a = -10 - -14. Suppose -4836 = -4*h + c, -h + a*c = -3*h + 2418. Suppose -8*i + h = -5*i. Is i prime?
False
Suppose -3*l + 111 = -5*m, 16 + 22 = -2*m - 2*l. Let c(x) = x**3 + 22*x**2 - 5*x - 43. Is c(m) prime?
True
Suppose 7348 = -7*n + 21663. Is (n/10)/(-6 + (-52)/(-8)) a prime number?
True
Suppose 21*k + 612 = 30*k. Suppose -66*f + k*f - 1582 = 0. Is f composite?
True
Let h(c) = 13587*c**2 - 25*c + 1. I