e number?
True
Let u(w) = 10*w - 182. Let c be u(19). Suppose 0 = d - 2*v - 15979, c = -v + 4. Is d prime?
True
Let i be 154/385*1*5. Suppose 0 = i*r - r - 5*w - 17289, 69068 = 4*r + 2*w. Is r prime?
False
Let n = -43 - -45. Let y = -80 - -83. Suppose 3*i - n*x - 1903 = 0, 2*i - x + y*x - 1252 = 0. Is i prime?
True
Suppose -149*g = -138*g - 285109. Suppose -7*l + 10530 = -g. Is l a composite number?
True
Let r(g) = -15 - g + 4*g + 9*g. Let a be r(15). Is (-2*2/(-4))/(3/a) prime?
False
Suppose -102*v + 2140987 = 15*v - 686786. Is v composite?
False
Let j(x) = 2889*x - 7. Let o be j(8). Is (o/(-5))/(4 + -5) a prime number?
True
Let x(t) = t**3 + 18*t**2 + t + 23. Suppose 106 = -5*z - 4*j, 8*z + 46 = 5*z + 2*j. Let k be x(z). Suppose k*d = 8*d - 5277. Is d prime?
True
Let b(v) = 56*v**3 - 22*v**3 + 5*v**2 - 2 - 15*v**3 - 18*v**3 - v. Let h be b(-5). Is 5/((-1)/73*(h - 4)) composite?
True
Suppose -507317 - 302821 = -42*o. Is o prime?
True
Suppose -3*r = 12, r = -s - 70 - 115. Suppose -530 = -2*w + 506. Let l = s + w. Is l a prime number?
True
Let k(a) = 136*a**2 - 6*a - 10. Let j be k(7). Suppose -z + j = 3*z. Let t = -686 + z. Is t composite?
False
Let x(o) = -49269*o + 349. Is x(-2) a prime number?
True
Suppose -99284 = -8*y - 13668. Let v = y + -4365. Is v composite?
False
Suppose y - 4*y = -15. Let x be 44202/30 - 2 - 2/y. Let j = x - 974. Is j a prime number?
False
Let i = -193854 - -408128. Is i composite?
True
Let c(w) = 1402*w**2 + 58*w + 167. Is c(-15) a prime number?
True
Let f = 14611 - -31854. Is f a composite number?
True
Suppose 85582 = -18*m + 32*m. Is m a composite number?
False
Suppose -65 = -5*g - 5*b, -g + 4*b - 3 = -1. Suppose -2552 = -g*z - 552. Suppose 10*c = z + 770. Is c prime?
True
Let v be 2/12 - ((-365)/(-30) + 2). Let u be -22*4/v - 24/84. Suppose -4*y - 998 = -u*y. Is y prime?
True
Let m(y) = 1002*y**3 + y**2 - y - 1. Let b be m(1). Suppose 999*i + 126890 = b*i. Is i prime?
False
Suppose 0 = -f + 4*q + 29, -2*f + 5*q + 65 = 4*q. Suppose -f = 3*z - 1920. Is z composite?
True
Let c = -366 + 370. Suppose c*y - 37511 = -5*t + 8*y, -5*y = t - 7479. Is t prime?
True
Suppose 6*g - 58 - 32 = 0. Suppose -2*a - g = -17. Let i(u) = 39*u - 2. Is i(a) prime?
True
Let w(j) = 2*j**3 + 6*j**2 - 7*j - 8. Let m be w(-4). Let k be 306*(m/(-8) - 2). Let x = k + 484. Is x a prime number?
True
Suppose -3*s - 2*d - 9700 = -6*s, -5*d + 6492 = 2*s. Suppose -s = -4*a + 3780. Is a prime?
False
Let j be 5/(-5) + 5 + 1. Suppose -j*i = 2*x - 3999, -4*x - 4*i + 9401 = 1433. Is x a prime number?
True
Let r = 487 - -4392. Let k = r - 2630. Is k composite?
True
Suppose 2*o - 5*u = 25, 0 = -2*o - o + 4*u + 20. Suppose 2*d - 153 - 397 = o. Is -10 + 6 + 1*d prime?
True
Let b(h) = -6*h**3 + 13*h**2 + 41*h + 22. Let c be b(-19). Is ((-24)/(-12))/(1 - c/45094) a composite number?
True
Suppose -6*n + 25 = -n. Suppose -y = -y - n*y. Suppose -3*b + 3 = 6, 2*c + b - 1985 = y. Is c a prime number?
False
Let o(d) be the first derivative of 59*d**3/3 - 5*d**2 - 15*d - 28. Let q be o(-6). Suppose -4*y - q = -3*s, 1463 = 2*s + y + 2*y. Is s prime?
True
Suppose 9*t + 719221 = 10*t - 3*s, -3*t = 3*s - 2157687. Is t prime?
True
Let v = 58852 + -90394. Is ((-18)/(-117) + v/26)/(-1) a composite number?
False
Suppose 4*c - 25984 - 50669 = 10183. Is c composite?
True
Suppose -5*u - 5*z + 30 = 0, -4*u + 2*z + 13 = -u. Is (-16880)/(-6) + u/(-15) prime?
False
Suppose -r + 31*c - 34*c = -165137, -r = -3*c - 165149. Is r a composite number?
True
Let v(x) = 9*x + 19. Let k be v(-13). Let c = k + 94. Is (-25983)/(-15) - c/5 prime?
True
Suppose 0 = -12*s - 0*s + 36. Suppose 3*p + 2*t - 2629 = -0*t, -874 = -p - s*t. Is p a prime number?
True
Suppose 6*m = -0*m + 300. Suppose 0 = -41*z + m*z - 56151. Is z a composite number?
True
Suppose -11*x = -9*x - c - 263030, 0 = -4*x - 5*c + 526116. Is x composite?
False
Is ((-6922)/8)/((-19)/(811 - -25)) prime?
False
Let r(m) = 48001*m + 5150. Is r(33) a composite number?
False
Suppose 5*a - 9131 = -2*p - 26581, -13977 = 4*a + 5*p. Let l be ((-18)/(-4))/((-24)/a). Is (-8)/(-2) + l/2 prime?
True
Is 3/9*6 + ((-592560)/(-4) - -3) a composite number?
True
Suppose q + q - 5*z = 34163, -q = -3*z - 17081. Suppose 0*r = -4*r + q. Is r a composite number?
False
Let c be ((-5)/(-3) - 1)/(2/(-3)). Let i(d) = -6*d**3 + 3*d**2 + 3*d + 1. Let m be i(c). Suppose 15*a - m*a = 5608. Is a a prime number?
True
Let f = 3809 - -7662. Suppose 4*u - 3*m - f = -u, -4*m + 9164 = 4*u. Is u prime?
True
Let z = 30 + -55. Let j(b) = -47*b + 44. Is j(z) a prime number?
False
Suppose 48*i - 44*i - 211932 = 0. Suppose 13*x - i = 3268. Is x composite?
False
Let z = 17319 - 12412. Is z a composite number?
True
Is (-9)/(-30) - (-2803077368)/1040 prime?
True
Suppose 0 = 2*v - 3*l - 0 + 11, 4*v = 3*l - 31. Is 5/v - 2151/(-6) - 5 a composite number?
False
Is -4 + 3 + 5/4 + (-2061603)/(-164) a composite number?
True
Suppose 78998 = 2*c + 2*j, 3*c + 2*j - 100797 = 17697. Suppose 0 = -12*v + 4*v + c. Is v a composite number?
False
Suppose -5*g + 13*g = 11440. Is -13 + 17 + g/2 a composite number?
False
Suppose 465*f = 3*a + 469*f - 303423, -a - f + 101141 = 0. Is a a prime number?
True
Suppose -16*y = -25844 + 516. Suppose 2*q + 1086 = q. Let z = y + q. Is z prime?
False
Suppose -70*d + 4074 = -73*d. Let l = 13383 - d. Is l composite?
False
Suppose -28*m + 26*m = -4*c - 49606, 0 = -m - c + 24812. Is m prime?
True
Let q = 12 + -29. Let o = q - -19. Suppose o*p = 82 + 1276. Is p prime?
False
Suppose 3*r = r - 76. Let j = 51 + r. Suppose -4*a + j*a = 1413. Is a prime?
True
Let w(g) = g**2 + g + 1. Let n(m) = -2*m**2 + 7*m - 5. Let k(r) = n(r) + w(r). Let i be k(6). Suppose i*t - 12*t = -260. Is t a composite number?
True
Suppose 0 = -2*u + 6 + 58. Let c = u + 471. Suppose -c = 2*z - 1341. Is z a composite number?
False
Let m(n) = -n**3 + 51*n**2 + 2*n - 213. Is m(-25) a prime number?
True
Let g be 1/3*290 - 2/(-6). Suppose 104*b - g*b - 90377 = 0. Is b a prime number?
True
Suppose 3*s - 41 = -26. Let y(p) = -8*p + 111*p**2 + 3 + 54*p**2 - 6*p + 19*p. Is y(s) a prime number?
True
Suppose 0 = -2*a - 4567 + 18995. Suppose -a = -f + 3*n, f - 5197 = -5*n + 2025. Is f a composite number?
True
Let k(m) = 3 - 2 + 5*m**2 + 30*m**3 - 12*m**3 - 17*m**3 - 7*m. Let q be k(-6). Is 17477/q + (-8)/(-28) a prime number?
False
Suppose 7*q - 26904 = 6*q - 5*c, 0 = 2*q + 3*c - 53822. Is q a composite number?
True
Let n(y) = y**3 - y**2 - y + 2. Let g be n(0). Suppose 5*s = l - 5603, -34*l + 11206 = -32*l + g*s. Is l prime?
False
Let a(i) be the third derivative of i**6/120 - i**5/4 - 5*i**4/8 - 5*i**3/3 + 12*i**2. Let n be a(16). Is 3/n*(2 - -140) a composite number?
False
Let b = 28 + -22. Suppose -b*c + 1705 = -1523. Is ((165/(-6))/(-11))/(1/c) a prime number?
False
Suppose -5*w + 7012323 = -2*a - 1800318, -w - 8*a + 1762587 = 0. Is w a composite number?
False
Let n be ((-15218)/12 - -1)/((-69)/414). Suppose -1227 = 4*l - n. Is l prime?
False
Suppose 3*n + 192889 = 5*p, 6*p + 21*n = 23*n + 231470. Is p a prime number?
False
Let l(c) = -3*c**2 + 14*c + 6. Let y be l(6). Let d be (-28)/6 - ((-60)/y - 4). Is (-583)/d + (-18)/24 a composite number?
True
Suppose -4*a + 35373 = -4*u - 47071, 0 = -5*u + 30. Is a a prime number?
False
Let j(r) = -1157*r + 81. Let c be j(-8). Suppose 12*p + 1069 = c. Is p a composite number?
True
Let q = -5830 + 14933. Is q a prime number?
True
Let n(m) be the third derivative of -19*m**4 - 11*m**2 + 0 + 0*m - 31/6*m**3. Is n(-6) a composite number?
True
Let o(d) = -d**3 - 8*d**2 - 13*d. Let x be o(-6). Is 6 + (x - 12 - -3433) a composite number?
False
Let d(k) = -16015*k - 7649. Is d(-6) a composite number?
True
Let d = -387 - -345. Is d/(-49)*(7 - 0) - -871 composite?
False
Let z be ((-616)/33)/((-1)/(-9)*-2). Let o = z - 5. Is o prime?
True
Suppose -1572 = -8*h + 428. Suppose 199 + h = r. Is r prime?
True
Suppose 77*b + 7704 = 73*b. Let g = -1085 - b. Is g prime?
False
Suppose 2*s = -5*l + 53021, 5*l - 24 = -39. Is s prime?
False
Suppose 920867 = -25*a + 1782251 + 1162441. Is a a prime number?
True
Let a be (3 - 75/20)*-20. Let y be 144/a - 6/10. Suppose -4*r - 2435 = -y*r. Is r composite?
False
Let k(z) = z**2 + 27*z + 19. Let y(c) = -c**2 - 27*c - 20. Let s(m) = 4*k(m) 