 y a prime number?
True
Suppose -5*d = -3*o + 100446, -14*d + 12 = -18*d. Is o composite?
True
Suppose -10*l + 124331 - 22141 = 0. Is l a prime number?
False
Suppose 5*s = 2*d - 5909 - 1793, 3*d - 2*s - 11531 = 0. Is d a composite number?
True
Let k(r) = -r**3 + r**2 + 3*r + 3. Let j be k(3). Let i be 1/((-6)/2)*j. Let y = i - -8. Is y a composite number?
True
Is (-639269)/(-18) + (-188)/(-3384) composite?
True
Let c(s) = 317*s - 3. Is c(8) composite?
True
Let q(l) = -l**3 + 6*l**2 - 3*l + 8. Let u be q(7). Let x be u/(-8) + 2/8. Suppose 2*y = -2*y + x. Is y a prime number?
True
Let t = 92 - 84. Suppose t*r - 29471 = -5*r. Is r a prime number?
True
Let n(i) = -13*i + 81. Let m be n(6). Suppose -m*g - 11 + 278 = 0. Is g prime?
True
Let w(y) = 403*y**3 - y**2. Let s be w(1). Let f = s + -253. Is f composite?
False
Suppose 3*t - 6*t + 3054 = 0. Suppose -2*q = -2*g - t, -3*g - 511 = -q - 0*q. Suppose 5*a = d + d + 647, 0 = 4*a - 4*d - q. Is a prime?
True
Let x(i) = 8*i - 3. Let l be x(1). Suppose -5*t + 4 = d, 0 = -5*t - 0*d + d - 4. Suppose v + 3*v + 4*z - 608 = t, 446 = 3*v + l*z. Is v a composite number?
False
Let c(n) = -n**3 - 8*n**2 - 9*n + 13. Let y be c(-8). Suppose -y = -3*u - 7. Suppose b = 12 + u. Is b a composite number?
True
Is 8 + (-24)/6 - -23967 composite?
False
Is (2 - 0 - -8)*99780/120 composite?
True
Let t(n) = n - 8. Let c(m) = 2*m - 15. Let v(w) = 3*c(w) - 7*t(w). Let b be v(0). Suppose -13*j + 654 = -b*j. Is j prime?
False
Suppose 61*c - 475044 = -63*c. Is c prime?
False
Let d(o) = -o**2 + 14*o - 10. Let z be d(13). Suppose t + z*a - 1918 = 0, 5358 = 2*t - 5*a + 1577. Is t prime?
False
Suppose 3*w - 2999 = -2*a, 3*w - 8*w - 7435 = -5*a. Suppose 0 = -4*c - 2*y + a, -5*c + 121 = -2*y - 1744. Is c a prime number?
True
Let x be (-34)/(-3 - -3 - 2). Let u = -25 + x. Is u/(-24) - (-92)/3 composite?
False
Suppose -2*i + t + 1522 = -i, -2*t = 4*i - 6058. Suppose -i = -f + 532. Is f a composite number?
True
Let i be (-3 - -7 - 3)*-1*491. Let j = 56 - i. Is j a prime number?
True
Suppose 4*m = -4*c - m + 259239, 259246 = 4*c - 2*m. Is c prime?
True
Is 1/(((-12)/6)/(-178)) composite?
False
Let f = -203 + 2227. Suppose -f = -4*t + 500. Is t composite?
False
Suppose 20 = 5*a - 5, 4*a + 7648 = 3*c. Suppose -2*s + y + 3088 = 0, -2*s = y - 528 - c. Is s composite?
False
Let x(p) = 1545*p. Let o be x(2). Suppose 2*w - 6*w + 593 = d, o = 5*d - 5*w. Is d prime?
True
Let w be 0 - 0 - (5 + 71). Let p be 12/(-18) - w/6. Is 4095/p - 3/12 a prime number?
False
Let w(t) = -22*t + 3. Let m(n) = -n. Let y(i) = 2*m(i) - w(i). Suppose 0 = f - 4*z + 6, 0 = 4*f - 3*z - 2. Is y(f) a composite number?
False
Suppose 22 = 2*i - 4*u, 5*i + 0 - 3 = -3*u. Let c be (-45)/12*(-8)/i. Suppose 4*o = -5*t + 1046, -t = 4*t - c. Is o prime?
False
Let u = -3 - -4. Let d(i) = 19*i - 2*i - u + 6 - 1. Is d(5) prime?
True
Suppose 31*f - 10*f = 95487. Is f prime?
True
Suppose -8*b + 4*g + 38697 = -3*b, 15484 = 2*b + g. Is b composite?
False
Let b(f) be the third derivative of -29*f**6/720 - 7*f**4/24 - 7*f**2. Let x(u) be the second derivative of b(u). Is x(-2) composite?
True
Let z be 4/8*(-116)/(-2) - 3. Is 46/3*(-5 + z/4) a prime number?
True
Let h(q) = 205*q**2 + 6*q + 17. Is h(6) a prime number?
True
Let f(y) = 7*y - 2. Let h be f(4). Let p(z) = -2*z**3 - 2*z**2 + 5. Let b be p(-3). Let k = b + h. Is k a prime number?
True
Suppose c - 5*k - 9100 = -0*c, 6 = 2*k. Is c a prime number?
False
Let p = -9168 + -27543. Let z be p/(-81) - (-4)/(-18). Let x = z - 74. Is x composite?
False
Suppose -p = -8*p + 3633. Suppose -11*i + 10*i + p = 0. Is i a prime number?
False
Suppose -15 = -5*a, -4*w + 22905 + 2576 = -a. Is w prime?
False
Let i(w) = 2*w**2 + 32*w - 32. Let g be i(-17). Suppose 0*a + 290 = g*a + 5*m, m = 0. Is a prime?
False
Let t(f) = 3*f**2 + 8*f. Let l be t(-3). Let j be (24/12)/((-1)/l). Is j/4*7336/(-12) prime?
False
Suppose -4*q + 0 = -4, -3*z + q - 1372 = 0. Suppose 0 = -4*m - 2*x + 4756, -3*x = -m - 2*m + 3558. Let i = z + m. Is i a composite number?
True
Let k be (-1)/(((-9)/(-3))/(-24)). Let z(p) = -2*p - 22*p + p + k. Is z(-7) prime?
False
Is (3/12)/((-1491)/1492 - -1) a prime number?
True
Suppose 4*x + 6824 = -5*o, -2*x - 3390 = -2*o - o. Let d = 2444 + x. Is d prime?
True
Suppose -22*f - 44795 = -157897. Is f prime?
False
Is (4 - (5 - -1))/((-18)/70353) a prime number?
True
Let w = 12842 - 2529. Is w prime?
True
Suppose 5*t = -2*u + 97993, -4*t + 5*u + 72661 + 5707 = 0. Is t prime?
True
Suppose w = 3*g + 34627, -2*g = 4*w - g - 138534. Is w prime?
False
Suppose 4*y - 407 + 31 = -i, -782 = -2*i - 2*y. Let v = i + -195. Is v a composite number?
True
Suppose 0 = 2*v + 5*z - 2684, 5*v + 4*z - 4745 - 1931 = 0. Is -19 + v - 4*-1 prime?
False
Let l = -86 - -66. Is l/(-50) - (-4486)/10 composite?
False
Let s be 1*-1 - (-12)/2. Suppose 0 = -16*d + 21 + 75. Suppose -s*r - d*q + 3*q = -785, -4*r - 2*q = -628. Is r a composite number?
False
Let d(v) be the second derivative of -v**6/60 - v**5/15 + v**4/4 + 7*v**3/6 + 3*v**2/2 + 3*v. Let p(y) be the first derivative of d(y). Is p(-5) a prime number?
True
Let k(v) = 13*v - 1. Let q be k(-10). Let p = 2090 - q. Is p a prime number?
True
Let k(z) be the third derivative of -z**4/24 + 797*z**3/6 + 12*z**2. Is k(0) prime?
True
Let n(h) = -145*h - 16. Let z be n(7). Let a = z + 1765. Is a a composite number?
True
Suppose -60439 = -4*u + 54601. Is u/(-60)*(-3)/2 a prime number?
True
Is 11 - 1047494/(-21) - (-4)/(-6) composite?
False
Let j = -8838 + 15617. Is j composite?
False
Let t = -4 + 8. Suppose d = -y + t*d - 207, -3*y - 4*d = 556. Let x = 10 - y. Is x a prime number?
False
Let c = -938 - -2777. Is c composite?
True
Suppose -23*x - 20*x + 474161 = 0. Is x composite?
False
Let g be ((-6)/8)/(-2 + 28/16). Suppose 5*r + 11 = -4, -g*r = j - 622. Is j composite?
False
Let d be (-2)/8 - 46/8. Is 175 + 4*(-3)/d prime?
False
Let c = -21 - 59. Let v = 243 + c. Is v a composite number?
False
Let z = 1837 - -1234. Is z a composite number?
True
Suppose 0 = -7*g + 22 - 1. Suppose b = -g*b + 524. Is b a prime number?
True
Suppose -4*l = -27008 - 58724. Is l prime?
True
Suppose 3 - 33 = -10*q. Suppose q*j + 5*a = 1373, 2*j - 2*a = 786 + 108. Is j composite?
True
Suppose i - 6399 = 3*f, 4*f = -i - 4*i + 31938. Suppose -h - 2071 = -i. Is h composite?
True
Let n(v) be the second derivative of 4*v + 5/2*v**3 + 0 - 9/2*v**2. Is n(4) composite?
True
Let r be (222/15)/((-2)/(-5)). Let w = r - -69. Is w a prime number?
False
Let b(f) = -25 + f + 14 + 9*f. Is b(8) composite?
True
Suppose h = 3*i + 3*h + 9, -4*i - 26 = -2*h. Let c(z) = -293*z. Is c(i) a prime number?
False
Let k be (-6)/((165/10)/11). Let l(v) = v**2 - 13*v - 31. Is l(k) composite?
False
Is (-19 + 26 - (-6)/(-1)) + 4150 a composite number?
True
Let m(q) = q**3 + q + 10771. Is m(0) prime?
True
Let f(g) = -135*g - 1. Let l be 5 + -3 - (2 - -4). Let y be l/6*(-9)/(-6). Is f(y) a prime number?
False
Suppose -597938 = -3*z - 19*z. Is z prime?
True
Suppose 2*t = 6, h - 2*t - 3*t - 506 = 0. Is h a composite number?
False
Let n be 42/(-56) - 1/4. Let l be (-5901)/(-9) - n/3. Suppose l + 1019 = 5*z. Is z prime?
False
Suppose 0 = -w - p + 27040, 0 = 4*w + 5*p - 53215 - 54942. Is w composite?
False
Let y = 48 + -43. Let j(d) = d**2 - 2*d + 8. Is j(y) prime?
True
Is ((-7)/(-84)*-3)/(2/(-21768)) prime?
False
Suppose -45540 = -4*o - 0*s + 4*s, o + 4*s = 11375. Is o a prime number?
True
Suppose -5*i - 25 = 5*s, 1 - 16 = -s + 4*i. Let v be 258*(-1 - 2/s). Suppose -3*n + 279 = -v. Is n prime?
True
Let g = 5481 + -3160. Let j = g - 666. Is j prime?
False
Suppose -w - 102 = 5*p - 5828, 0 = 2*w + 5*p - 11452. Suppose -s = v - 2862, 2*s + 4*v + 0*v - w = 0. Is s a composite number?
False
Let h(x) = -3*x**3 - x**2 + x + 571. Is h(0) a composite number?
False
Suppose -326*n + 350*n = 453576. Is n a prime number?
True
Suppose -35*v + 29240 = 5*v. Is v a prime number?
False
Let h(y) = -y**3 + 5*y**2 + y + 5. Suppose x + 5 = -2. Let b be h(x). Is (-3 - -6)/(6/b) composite?
False
Let x(j) = 3*j - 12. Let d be x(8). Let y = d - 12. Suppose 0 = -2*b - y*i + 2*i + 106, 5*b - 4*i = 265. Is b a composite number?
False
Suppose -113*a = -103*a - 120490. Is a a prime number?
True
Is (-26471)/(-5) + (-42)/35 a