 o/12*(-42)/4 prime?
True
Suppose -1352777 = -61*a + 1568226 + 640848. Is a prime?
True
Let w = 51 + -51. Suppose 69*c - 65*c - 10436 = w. Is c prime?
True
Let a(u) be the second derivative of -13*u**6/240 + 2*u**5/15 - 13*u**4/12 + 16*u. Let c(f) be the third derivative of a(f). Is c(-5) a prime number?
True
Let u be 1/(-2*(-3 - 10108/(-3368))). Suppose 5*f + 2*s = 3*f + 1368, 2*s - 684 = -f. Let m = u + f. Is m a composite number?
False
Is 1*(-24409910)/(-100) + (-3)/30 prime?
False
Suppose -5*b - 2*r = -2783241, 0 = 503*b - 497*b + 3*r - 3339888. Is b prime?
False
Let u be ((-25)/(-2))/((-23)/(-46)). Suppose -4*a + 5*a = -2*c + 4231, -u = 5*c. Is a composite?
False
Suppose 50*p - 45*p = 10. Let u(n) = 498*n**3 - 3*n**2 + 4*n + 1. Is u(p) composite?
True
Suppose -35*f + 4791242 = -3126041 - 1901512. Is f a prime number?
True
Suppose -29*t - 98*t + 11051510 = 91*t. Is t prime?
False
Suppose -5*v + 1292524 - 338759 = 0. Is v a prime number?
True
Let u = -161280 + 650851. Is u prime?
True
Let w(x) = x**3 + 3*x**2 - 2*x + 9. Suppose 0 = -3*y - 42 + 54. Let t be w(y). Suppose -u + t = -110. Is u a composite number?
False
Is (553434752/32)/26 - (3 + -1)/(-2) prime?
False
Suppose -8*k + 6*k - 70 = -5*f, 3*k - 47 = -2*f. Let p(o) = -9*o**3 + 2*o**2 + 4*o + 1. Let c be p(-4). Suppose -f*r + 33441 = c. Is r a prime number?
True
Let q(t) = 1986*t**3 + 7*t - 8. Let b be (6/2)/(-3) + 10/5. Is q(b) a prime number?
False
Let t(m) = -m**3 + m**2 + m + 1. Let r(a) = 6*a**3 - 13*a**2 - 2*a - 27. Let c(y) = -r(y) - 5*t(y). Let z be c(8). Is -3 + 1366 + -4 - z prime?
True
Suppose 0 = 3*x - 5*l - 1278355, 0 = -5*x - 311*l + 313*l + 2130579. Is x a composite number?
True
Suppose 610 = -2*q + 5122. Suppose -2*l + q = -2*f - 8, -5*f = l - 1138. Is l prime?
False
Let u = -10795 - -15766. Is u composite?
True
Let p(z) = -z - 4. Let b be p(-8). Suppose b*c - 2*y = -3*y + 2791, 4*y = -2*c + 1378. Is c a composite number?
True
Suppose -4*v = f - 17, 5 - 18 = -5*f + 4*v. Let d be -39*(f - 80/15). Suppose -d*w = -11697 + 3208. Is w a composite number?
False
Let l = -61 - -79. Let t be (-15)/(-2 + l/10). Suppose 4*s - 2*h - 120 = 0, -3*s + t + 24 = 3*h. Is s a composite number?
False
Let v = -127 + 121. Let g be 2*-2 - ((-27)/(-9) + v). Is (-2214 - 14)*-2*g/(-8) prime?
True
Let a = -325600 - -846035. Is a prime?
False
Let m(u) = u**3 - 2*u + 587. Let b(f) = -2*f**3 + 10*f**2 - 8*f. Let r be b(4). Is m(r) a composite number?
False
Let c(x) = -4*x + 956. Let l(z) = -8*z + 1959. Let o(i) = 13*c(i) - 6*l(i). Suppose 0 = 8*r - 3*r. Is o(r) a composite number?
True
Suppose 4*j - 47 = 3*c, -5*j - 22 = -9*j - 2*c. Is (5 - -2) + -3 + 899 + j a prime number?
True
Let d(h) = -6322*h - 47. Let m(p) = -2107*p - 16. Let k(t) = -6*d(t) + 17*m(t). Is k(3) composite?
True
Let w(v) = 1339*v**3 + v**2 + 3*v - 3. Suppose 0 = 21*m - 14 - 7. Let t be w(m). Let y = t + 2861. Is y composite?
False
Let g(m) = 249*m**2 + 6*m - 119. Is g(10) prime?
True
Let l(t) = -2*t**3 - 19*t**2 - 8*t + 29. Let m be l(-9). Suppose -7*r + 41661 = m*r. Is r prime?
True
Is (8 - (-5 + -16))*2063 prime?
False
Suppose 0 = 4*g + 2*c - 654, -6*c = g - 9*c - 146. Suppose g = 5*z - 26904. Is z a prime number?
True
Suppose 3*z + 361920 = 3*y, -5*z - 482561 = -3*y - y. Is y prime?
False
Let g(o) = 51686*o**2 - 13*o + 9. Is g(-2) composite?
False
Let s = -69696 - -163277. Is s a prime number?
True
Suppose -60 = -10*n + 30. Let u be (-12)/(-16)*24/n. Is (1 - (u + 0)) + 258 composite?
False
Let t = -20777 - -75846. Is t prime?
False
Let k = -2420 + 2478. Let m be (-2 - -18)*(13 + 1). Let r = m - k. Is r a composite number?
True
Suppose s = -1, -403415 = -5*q + 6*s - s. Suppose -q = 15*w - 21*w. Suppose 22*u = 5*u + w. Is u composite?
True
Let q be 50*(-3)/((-3)/(-19)). Let u = -907 - -456. Let m = u - q. Is m composite?
False
Let x(c) = 933*c - 49. Let n be x(2). Suppose 2*y = n + 5217. Is y prime?
True
Suppose -2*v + 723 = -3*y, -3*y + 4*y + v + 236 = 0. Let q = 3082 + y. Is q a prime number?
True
Let s(a) = 189*a**3 - 1 - 6*a**3 - a + 23*a**3 - 2*a**2. Let u(i) = 97*i - 580. Let q be u(6). Is s(q) a composite number?
False
Let k(p) = -p**3 + 2*p**2 - 5*p + 3. Suppose -52 = -q - 16. Suppose 0 = -34*o + q*o + 20. Is k(o) prime?
False
Let y(j) = -118*j - 11 - 14 - 20*j - 43*j. Suppose -6*g + 10*g + 26 = 2*b, g - b + 7 = 0. Is y(g) a prime number?
True
Is 4*1*(-2 + (205263730/56)/23) a prime number?
False
Suppose 3*l + 1215167 = 5*y, -9*y + 4*l = -5*y - 972140. Is y a composite number?
False
Let d = 433915 - 215609. Suppose d = -7*n + 29*n. Is n composite?
False
Let c be -774*(3 + (-39)/6). Let n = -1296 - -5143. Suppose -4*m + n = -c. Is m composite?
True
Let o = 438 - 423. Is (-45)/o*(-3 + 2364/(-9)) a composite number?
False
Let f(i) = 1 - i**2 + 11*i**3 + 1 + 0 + 5*i**2 + 8*i. Is f(5) composite?
True
Let o(v) = v**3 + 17*v**2 + 45*v + 42. Let j be o(-14). Suppose a - 5*x = 3739, -3*a - 11*x + 13*x + 11165 = j. Is a prime?
True
Let o = 107 - 112. Let l(k) = k**2 + 2*k - 13. Let g be l(o). Suppose 0*u - u + 36 = -5*m, -g*u + m = -45. Is u composite?
True
Suppose 3*j - 25 = -2*j - 5*c, -4*j = -2*c - 32. Suppose -3428 + 1006 = -j*a. Is a prime?
False
Let l = -112 + 121. Suppose -23 = -l*n - 5. Suppose 0*g - 4*g - 633 = -x, n*g - 2568 = -4*x. Is x composite?
False
Let s(q) = q**3 - 17*q**2 - 11*q + 23. Suppose -3*l + 32 = -2*f - 2*f, -5*f - 28 = -3*l. Let h be s(l). Let x = h + 740. Is x a composite number?
False
Let w(u) be the third derivative of 44*u**5/15 + u**4/4 - u**3/6 - 18*u**2 - u. Is w(4) a composite number?
True
Let t(n) = -n**3 - n**2 + 2*n + 9. Let k be t(0). Suppose 2*y + 2*y - k = -3*x, 0 = -3*x - y + 9. Suppose -x*f + 506 = -f. Is f a composite number?
True
Suppose -3*n + 14 + 6 = f, -25 = -5*n. Suppose -f*p + 208 = -317. Suppose -p = 6*q - 11*q. Is q composite?
True
Let i(l) = 0*l - 3*l - 19 + 4*l**2 - 6*l. Let d be 1/(3/(-6)*(-2)/12). Is i(d) a prime number?
True
Let a(x) = 313*x**3 - 6*x**2 + 76*x - 337. Is a(6) prime?
True
Let g(o) = 3*o**2 - 10*o - 29. Let n be g(6). Suppose -n*x + 122387 = -324284. Is x composite?
False
Suppose 3*d - 156 = 7*d. Let t = 25 + d. Let q(c) = -46*c + 33. Is q(t) prime?
True
Suppose 16*g - 4703843 - 524789 = -734280. Is g prime?
True
Is (-3079838)/(-5) + ((-252)/(-35))/(-12) a composite number?
True
Let r = 288 + 249. Let c(g) = 1 - 3 + r*g**2 + 0*g + 1 - 5*g. Is c(-1) prime?
True
Suppose 5*g = -4*p + 134032, -p + 8*g - 9*g = -33509. Is p a prime number?
False
Let a = 27 + -23. Suppose -2*s - a*w + 2018 = 0, 0*s - 5045 = -5*s - 2*w. Is s prime?
True
Suppose d - 5*o - 2553 = 0, -2*o + 6 = -2. Let z = d + -322. Is z a prime number?
True
Suppose 13*g = 3699924 + 197567. Is g a prime number?
True
Suppose -25 = -5*p - 5*l, 14*p + 20 = 18*p + 3*l. Suppose -8*m = p*m - 25649. Is m composite?
False
Let l(b) = 19747*b**2 + 428*b + 1300. Is l(-3) a composite number?
False
Let d(p) = -407*p**3 + 4*p**2 + 3*p + 1. Let j(k) = 814*k**3 - 8*k**2 - 8*k - 5. Let x(r) = -5*d(r) - 2*j(r). Is x(2) composite?
True
Let b(g) be the second derivative of 13*g**4/12 - 5*g**3/3 - 34*g**2 - 64*g. Is b(21) a prime number?
False
Let l(h) = h**3 + 61*h**2 - 49*h - 536. Is l(-61) composite?
True
Suppose -719*p + 2172039 = -668*p. Is p composite?
False
Let t(z) = -z - 5. Let o be t(-9). Suppose 2*d + a = 26610, -2*a = -3*a - o. Is d prime?
False
Let g = 1446399 - 751642. Is g prime?
False
Suppose 3*j + 5*g - 60063 = 0, 20023 = -85*j + 86*j + 2*g. Is j a composite number?
False
Suppose 32*f - 299690 - 110774 = 0. Is f prime?
False
Let l(o) = 198*o**2 + 3 - 1 + 1 + 153*o**2 + 5*o. Is l(-2) a prime number?
False
Let o be (-40*2/(-8))/(2/1). Suppose -3*z + 3*i + 47811 = 0, 4*i + 31868 = 2*z + o*i. Is z composite?
True
Let i = 1162665 - 696874. Is i a prime number?
False
Let j = -810 + -1169. Let v = j + 1101. Let s = 2043 + v. Is s a composite number?
True
Let f = -65 - -75. Let h(a) = 164*a + f - 8 - 2 - 1. Is h(1) composite?
False
Let h be -2 - ((-8)/4 + -4). Suppose 0 = h*w - 28861 - 6687. Is w a composite number?
False
Let u(d) = -2*d - 13*d - 4*d**2 - 13 - 13 + 41*d**2 + 23*d. Let s be (18/(-8))/(5/20). Is u(s) a composite number?
True
Suppose 3 + 11 = 3*p + 2*g, -5*g - 4 = p. Let s(k) = -16*k + 19 - 35 - 3