e number?
True
Let y = 7320 + -17351. Let v = y - -18432. Is v prime?
False
Suppose -3 - 12 = -5*n + t, -4*t - 15 = -5*n. Let d(c) = 29*c**2 + 8*c + 4. Let v(a) = -29*a**2 - 9*a - 5. Let q(x) = n*v(x) + 4*d(x). Is q(8) a prime number?
False
Let w(f) = -58188*f + 6569. Is w(-6) a composite number?
False
Suppose 0*j - 5*j = -5, 0 = -3*x + 4*j + 5. Suppose 8*a - 3*a - 5*q - 3510 = 0, 0 = -x*a - 3*q + 2100. Is a prime?
True
Let d = -578556 - -1558625. Is d composite?
False
Let f(o) = -4*o**2 - 9*o - 7. Let q(y) = 21*y**2 + 46*y + 34. Let n(p) = -11*f(p) - 2*q(p). Let b be n(-4). Suppose 8*t + 7405 = b*t. Is t prime?
True
Let u be ((-2)/(-6))/((-20)/(-300)). Suppose u*x = -l + 3*l - 1453, 4*l + 2*x - 2870 = 0. Is l a composite number?
False
Let y(b) = 43*b + 14531. Is y(0) a composite number?
True
Suppose 2*z = -5*z - 3395. Let h be z/(-7) + 8/(-28). Suppose -h - 25 = -2*t. Is t prime?
True
Suppose 114*o + 34*o - 5*o = 136583161. Is o a composite number?
False
Suppose c - 37088 = -5*s, 5*s - 10873 = -2*c + 63293. Is c prime?
False
Suppose -6 = 2*d + d. Let t(c) = c. Let a be t(2). Is d + (a - -1) + 2136/2 a prime number?
True
Let b(j) = -20410*j**3 + j**2 + 3*j + 3. Is b(-1) composite?
False
Suppose 2*f + 454219 = 7*f - 3*j, 4*j = 4*f - 363372. Is f prime?
False
Suppose -2*y - 12 = -4*p - 0, 2*p - 22 = -3*y. Let j be 176/(-154) - (-308)/98. Suppose 2*u - 16367 - 4407 = y*g, -2*u - j*g = -20786. Is u a prime number?
True
Suppose o - a - 24 = -o, -68 = -4*o - 3*a. Is (1 + 1)*o*(-647)/(-4) a composite number?
True
Let y(f) = -f**3 - 4*f**2 - 6*f - 8. Let c be y(-3). Suppose c = -4*u + 7893. Suppose 10*q = 11*q - u. Is q composite?
False
Suppose 33*b - 6*b - 62*b = -185605. Is b a prime number?
True
Is (6/18)/((-2 + 1)/(-2270001)) a composite number?
False
Let a be (40/(-8) + 8)*(-3995)/(-3). Suppose v = a + 666. Is v composite?
True
Let n(q) = -2*q**3 + 11*q**2 + 17*q + 3. Suppose 17*z + 106 + 64 = 0. Is n(z) a composite number?
True
Suppose -8*n = -13*n + 385. Is (n/14)/11*12254 prime?
False
Let m = -16 - -18. Suppose 0 = f - m*p - 1355, 0*f - 4072 = -3*f - p. Is f composite?
True
Let a = 1023156 - 354837. Is a a composite number?
True
Let y(g) = 6333*g - 10. Suppose -17*x - 294 + 311 = 0. Is y(x) a composite number?
False
Let b(q) = q**2 - 14*q + 23. Let v be b(2). Is 1/2 + 36635/34 + v composite?
True
Let l = 5657 - 4020. Is l a composite number?
False
Let o(m) = -25*m - 1. Let g be o(-2). Suppose -143557*i + 21060 = -143539*i. Let k = g + i. Is k a prime number?
False
Let y = -93680 - -148971. Is y a prime number?
True
Suppose -5*j = -4*a - 4 - 1, -2*a + j = -5. Suppose -4*y = 2*t + 2, -t = -y - 10 + a. Suppose 0*r = 5*r + v - 4200, 5*v + 2492 = t*r. Is r composite?
False
Let r be 9/12 + 6/(-8). Let g(z) = -z**2 - z - 254. Let v be g(r). Let b = 547 + v. Is b composite?
False
Let a = -78 - -63. Let k be 12/(-6) - (-2 + 1). Is ((-1167)/9)/(((-5)/a)/k) a prime number?
True
Let t be ((-2650)/3)/((-4)/6). Let x = t - 679. Is (9/(-18))/((-1)/x) a composite number?
True
Let j = -72 + 75. Let b be 120654/21 + j/(-7). Let r = b + -2718. Is r a composite number?
True
Let c be (-4)/(-12) + 4/6. Suppose 3*u - c - 10 = g, -5*u + 25 = -5*g. Suppose 0 = u*q + 576 - 3693. Is q a prime number?
True
Let i = -91 + 91. Suppose 0 = 2*x - 4*v + 1994, 4*x + i*x = 3*v - 4003. Let y = x - -2390. Is y prime?
False
Is ((-7239745)/(-35))/((-153)/(-1071)) composite?
False
Let m = -12 + -4. Is ((-2210)/(-4) + -1)/((-8)/m) a composite number?
False
Let o be (-3)/24 - ((-3868)/(-32) - 2). Let x be (-45110)/(-14) + 17/o. Let f = 5417 - x. Is f a composite number?
True
Is 451357 - 8 - (0 + -8) composite?
True
Let d(s) = 64*s**2 - 9. Let j(h) = -32*h**2 + 4. Let t(b) = 3*d(b) + 5*j(b). Let i be t(-4). Suppose 5*w + 4*o = 631, -o = -4*w - 4*o + i. Is w a prime number?
True
Suppose -168973 = -6*j - j. Suppose 3*d - 2640 + 14723 = 2*y, 4*y + 3*d - j = 0. Is y a prime number?
True
Let g = 851628 + -531095. Is g a composite number?
False
Let d = -4505 + 7431. Suppose -3*t + d = 5*s - 320, 3222 = 3*t - 3*s. Is t composite?
True
Suppose -322*j = 27*j - 30688617. Is j prime?
False
Let i(v) = -10*v**2 - 20*v + 25. Let o(y) = -29*y**2 - 59*y + 74. Let t(r) = 17*i(r) - 6*o(r). Is t(10) composite?
False
Let o be (96/40)/(12/(-1280)). Let g = o - -339. Is g a prime number?
True
Suppose 3*m = 2*t - 81 + 21, -5*t = 3*m + 81. Let w(n) = -n**3 - 21*n**2 - 9*n + 49. Is w(m) a composite number?
True
Suppose -3*d + u - 3*u = 13970, 2*d = -3*u - 9310. Let c(f) = -10*f - 49. Let a be c(-5). Is ((-1)/(-2))/(a + d/4660) a composite number?
True
Suppose -3*o + 6969 = 5*s, -1575 = -o + 5*s + 788. Is o prime?
True
Let l = -31 + 26. Let a(c) = -2*c**2 - 8*c + 12. Let x be a(l). Suppose 6*h = h + 20, -x*h = -2*o + 3306. Is o a prime number?
True
Let w = 3447970 + -2447547. Is w prime?
True
Suppose 3*a + 10582 = 2*w, -3*w - 4*a = -6*w + 15875. Is w prime?
True
Suppose -16*d + 22 = -74. Let j(t) = 10*t**3 - 5*t**2 - 11*t + 29. Is j(d) a prime number?
False
Let z = 1391 + -947. Suppose -2*s - q + 634 = 0, -253 - 381 = -2*s + 3*q. Let t = z - s. Is t a composite number?
False
Let h(f) = -1022*f - 35. Let o be h(-19). Suppose -150*y - 4*s - o = -153*y, 2*y = -4*s + 12902. Is y prime?
False
Suppose 101143 = 4*g - 5*c - 1077046, -c = -3. Is g prime?
True
Suppose 0 = 5*a - 2*k - 4679501, 3*k + 2807706 = 608*a - 605*a. Is a a composite number?
False
Let p(r) = -2*r**2 - 6*r. Let h be p(-3). Suppose n = 5*v - 5574, -2*n - 2236 = -2*v - h*n. Is v prime?
False
Let c = -148 + 69. Let p = c - -79. Is -14 - -18 - (p - 1773) composite?
False
Let a be 1*(3 + -1) - -9. Suppose -a*q + 10236 = -5*q. Suppose -t + 4*k + q = 3*k, 3*t - 5158 = -5*k. Is t composite?
True
Let a(i) = -i**2 + 112*i + 998. Is a(97) a composite number?
True
Let d = 163 - 242. Let b = 147 + d. Suppose 9*q - b = 7*q. Is q a composite number?
True
Let h(p) = -p**3 - 8*p**2 + 9*p - 36. Let j be h(-11). Let x = j + -166. Is x prime?
False
Suppose 0 = 17*x - 512 + 427. Suppose x*d + 3*f = -2*f + 46010, -4*d + 3*f = -36773. Is d composite?
True
Let r(o) = -2603*o - 747. Is r(-12) composite?
True
Let f(s) = 10*s**2 + 57*s - 15. Let k be f(-6). Let b be 2 + -4 + (-9)/(-1). Suppose k*x = -3*c + b*x + 3533, 0 = -c + 5*x + 1196. Is c composite?
False
Suppose -w - 4*a + 56114 = 0, -22*a + 15 = -17*a. Is w a prime number?
False
Suppose 3*k = 1353*n - 1348*n - 792089, 2*n + 3*k - 316802 = 0. Is n composite?
True
Let v be -5*117/(-30)*-2. Is (-1138)/1*v/26 a composite number?
True
Let o = -7654 + 16519. Suppose 5*m = 5*s - 8910, 0*m + o = 5*s + 4*m. Is s a composite number?
False
Suppose -1 = -2*t - 5. Let c be (-4 - 11/t) + 21/(-6). Is 0 - (-8)/c - -1401 a prime number?
False
Let c be 6/36 - 29/(-6). Suppose -4*v + 2*v - 1650 = -5*u, -v + c = 0. Suppose 3*s = b + 397, 2*b + u + 196 = 4*s. Is s prime?
False
Let o be (-12)/(-8) + 3/2. Suppose -5*p = 5*q - 3605, -o*p + 4*p - 2 = 0. Suppose 5*t - 4*t - q = 0. Is t prime?
True
Let c(x) = 51*x - 7. Let m be c(-4). Let y = m + 494. Let o = 1190 - y. Is o prime?
True
Suppose 0 = -6*l + 2*l - 405340. Is (l/(-130))/((-2)/(-4)) prime?
True
Let m = -20 - -23. Suppose 0 = -m*u - 5*f + 2*f + 12033, -8024 = -2*u - 3*f. Is u a composite number?
True
Suppose -2*f = 3*h - 5608, 3*f - 5600 = f - 5*h. Let s = 2637 + f. Is s composite?
True
Let k(b) = -b**3 + 11*b**2 + 11*b + 19. Let g be k(12). Suppose 9*m = g*m + 6114. Is m composite?
True
Let d = -1517 + 2417. Suppose -27*s + 30*s = d. Let w = s + -173. Is w prime?
True
Let h(d) = -2*d**3 + 57*d**2 + 28*d + 45. Let l be h(29). Suppose -4 + 84 = 5*j. Is l/(j/(-4)) + 37 a composite number?
True
Suppose 2*n + 89888 = 4*g, -56*g + 52*g + 5*n = -89906. Is g a composite number?
False
Suppose 10741 + 49079 = 12*y. Let m = 8682 - y. Is m prime?
True
Suppose -32993 - 37464 = -7*t + 93392. Is t composite?
True
Let q(s) = 12*s**2 - 12*s + 23. Let d = -196 - -207. Is q(d) prime?
False
Suppose 2*v = -v. Suppose v = 8*i + 2680 - 12952. Let l = 1837 - i. Is l prime?
False
Let b(n) = -n**3 + 11*n**2 - 7*n + 19. Let z(q) = -q**2 - 22*q + 10. Let l = -142 - -120. Let v be z(l). Is b(v) prime?
False
Suppose 4*z + 29792 = 2*v, 4*v - 66024 = 3*z - 6435. Suppose -60054 + 22801 = -5*a - s, 2*a = -2*s + v.