rue
Is 75561374/498*12/4 composite?
True
Let u(a) = a. Let t(v) = -2200*v**2 + 15*v + 20. Let s(m) = -t(m) + 4*u(m). Is s(-3) composite?
False
Let v be (12/(-10))/((-3)/5). Suppose -3*h - 4115 = -6*h - v*c, 5 = 5*c. Is h a prime number?
False
Let r(g) = -7*g**3 - 15*g**2 - 13*g + 61. Let f(k) = -3*k**3 - 8*k**2 - 7*k + 29. Let m(l) = -5*f(l) + 2*r(l). Is m(8) prime?
True
Let t = -22839 + 124700. Is t a prime number?
False
Let x(p) = 136*p - 23. Let a be x(6). Let f = 1403 - a. Suppose -w = -4*t + 489, t - 6*t + f = -w. Is t a composite number?
True
Let p be (17 + -17)*(-1)/(-2). Suppose p = -q + 1607 + 3635. Suppose -4*i + q = 438. Is i composite?
False
Suppose -13*u + 46 = 20. Is u*18/27*14466/8 composite?
False
Let k be 36/72 + 5546/4. Let u = k + 12. Is u a prime number?
True
Suppose -209*m + 39*m + 3847997 + 1535733 = 0. Is m a prime number?
False
Let l(f) = -2*f**3 - 5*f**2 + 3*f - 4. Let a be l(5). Suppose 4*c + 2920 = t + 3*t, 4*t - 2923 = c. Let m = t + a. Is m a prime number?
True
Let u(x) = x**2 - 7*x - 1. Let q be u(5). Let a(b) be the second derivative of -b**3 - 7*b**2/2 + 394*b - 1. Is a(q) a composite number?
False
Let m = 48512 + -25495. Suppose 15*i + m = 72727. Is i composite?
True
Let o(h) = -h - 4. Let l be o(-6). Suppose 5*a - 35 = -5*u, l*u - 8 = a - 2*u. Suppose -i + 453 = -a*r, 0 = 4*r - 0 + 8. Is i a composite number?
True
Suppose -5*o + 5 = -5*t, -o + 7 = 2*t - 0. Let b be (637/(-5) + 3)/(o/(-15)). Let n = b - 49. Is n prime?
False
Let w = 21587 - 14003. Let y = 13133 - w. Is y a composite number?
True
Let r = -531 + 387. Is 20754/4 + 1 - r/96 a prime number?
False
Suppose -4*w + 15 = -5*b, -2*w + 5*w - 15 = 0. Let c = 14 - b. Suppose c*d = 4*d + 1593. Is d a composite number?
True
Let w = 1986 - 637. Let j = w + -956. Is j composite?
True
Suppose 373*x - 22050291 = -53360839 + 293440401. Is x prime?
False
Let o = -265233 + 489724. Is o composite?
False
Let o be (-1 - -11)/1 + 2. Let r(m) = 2*m - 27. Let k be r(o). Is (k/(-9) + 0)*4947 prime?
False
Let p = 826493 - 292756. Is p a composite number?
False
Let t(c) = 5*c**3 + 75*c**2 + 27*c + 74. Let i(p) = -2*p**3 - 25*p**2 - 9*p - 25. Let l(x) = 7*i(x) + 2*t(x). Is l(-10) a composite number?
True
Suppose -4*j - 268207 = -w + 455158, -4*j - 2170071 = -3*w. Is w a prime number?
True
Let l be 6/(-2) - (-6627 + 7). Suppose -12*b - b = -l. Is b prime?
True
Is (3 + (-45785)/10)*(3 + -5) prime?
True
Suppose l = 2*a + 9, 4*a - 1 = -5*l + 44. Let j(g) = -g**3 + 10*g**2 - 4*g - 6. Let f be j(l). Suppose -f = -2*c + c. Is c a prime number?
False
Let v(k) = 218*k**2 + 3*k - 3. Let c be v(2). Let g(z) = -z**3 - 24*z**2 + 79*z - 57. Let o be g(-27). Is o + c - (1 + 2) a prime number?
False
Suppose -2153 - 17257 = -3*b. Suppose 7*c + b = 2*c. Let p = 1935 + c. Is p prime?
True
Let d(b) = 19*b - 3. Let f be d(-5). Let k = f - -100. Suppose 2*p = 5*g - 1845, -k*g = g - 2*p - 1103. Is g prime?
False
Let g(y) = 1. Let w(q) = -364*q + 71. Let f(m) = 4*g(m) + w(m). Is f(-16) a prime number?
False
Let d(g) = -18*g**3 + 52*g**2 + 153*g - 13. Is d(-18) composite?
False
Let z(t) = t**2 + 2*t + 4. Let y be z(0). Let u = -1 + y. Suppose -i + 1713 = u*g, 0 = 4*i - 2*i + g - 3416. Is i a prime number?
False
Let x(n) = -5*n - n**3 - n**2 - 4077 + 4133 + 0*n**3. Is x(-15) a prime number?
False
Suppose -5*i + 10 = 4*c, -3*i + 10 = 2*i - 2*c. Let k be (2 + i/6)*2859. Suppose k = 2*m + 5*m. Is m composite?
False
Let h(p) = -13*p**3 + 29*p**2 - 2*p + 549. Is h(-23) composite?
True
Let m = 4 + -2. Let q(y) = -7*y**3 + 9*y**2 + 4*y + 10. Let k be q(-3). Is -4*k/(-32)*m prime?
True
Let s = -517926 - -737923. Is s composite?
True
Let j = 1304362 - 707963. Is j a prime number?
True
Suppose -301*z + 300*z + 18239 = 0. Suppose 6*o - z = 11779. Is o a composite number?
False
Suppose 0 = 4*c + 2*k - 22, c + 17 = 5*k + 6. Let g be (0*1/(-2))/1. Suppose g = c*a - 344 - 452. Is a prime?
True
Let k be 57/2 - 2/4. Let c = -27 + k. Let x(i) = 2650*i**2 - 3*i. Is x(c) prime?
True
Let h(c) = -c**2 - 3*c + 2. Let q be h(-3). Suppose 2*k + 56 - 19 = -3*b, 2*k + q*b + 34 = 0. Let s(t) = t**3 + 34*t**2 + 2*t + 15. Is s(k) a composite number?
False
Is (9233/(-14))/((-5)/(17 + -7)) a prime number?
True
Let w = 28835 - 15246. Suppose -8*i + 15939 = -w. Is i a prime number?
True
Let a = 92265 + 622222. Is a a composite number?
False
Let a be (3/(-6) - 1)/((-1)/2). Let u be 1 + (0 + a - 6). Is u - ((-119 - 4) + 0) a composite number?
True
Suppose 4*s - 3*p - 391184 = 0, -4*s + 13*p = 9*p - 391188. Is s a composite number?
True
Suppose -3*d + 12 = 0, -3*d - 219015 = 4*n - 1435335. Is n composite?
True
Let r(j) = 5374*j**2 + 34*j - 3. Let l be r(-3). Suppose 0 = 16*i - l - 5771. Is i a composite number?
True
Suppose 4*o - 176 = -2*q, 4*q - 94 = -4*o + 2*o. Suppose 0 = -m + 6 + 41. Suppose o*b + 8212 = m*b. Is b composite?
False
Let t be (-48)/120 - (-173248)/20. Suppose -t = -2*c + 3*i + 2194, 2*c - 10854 = 4*i. Is c a composite number?
False
Suppose -b + u = -1302, -b - 4*u + 5176 = 3*b. Suppose 2*c - 6 = 0, b = 3*q - 2*c + 191. Is q composite?
True
Let a(w) = 56*w**2 + 361*w + 6. Let p be a(-7). Let l = 0 - -6. Suppose 7777 = l*b + p. Is b a composite number?
False
Suppose 3*a = -5*m + 9891, -6593 = 2*a - 4*a - 3*m. Suppose 4*w - 11893 = -3*b, -b + a + 677 = -w. Is b composite?
False
Let j = 3075 - -1547. Suppose -3*x + j + 6919 = 0. Is x a composite number?
False
Let k(o) = -o**3 - 22*o**2 + 3*o + 69. Let q be k(-22). Suppose -3*l + 5*x + 86185 = 2*l, -86185 = -5*l - q*x. Is l a composite number?
True
Let g = 23158 + -54513. Let j = -17074 - g. Is j a composite number?
False
Suppose 3*x - 313 = -298. Is 3*(3 + 1816/x)*5 prime?
False
Let k(c) be the first derivative of 262*c**2 + 91*c - 134. Is k(17) prime?
True
Suppose -3*l - 3*c + 13 = -7*c, -3 = l - 5*c. Suppose -l*x = 2051 - 15610. Is x a composite number?
True
Suppose -s + 3015 = -5321. Suppose 22*b + s = 463098. Is b a prime number?
False
Let z = 48 - 48. Suppose 10*x = -2*t + 6*x - 8, 3*t + 3*x = z. Suppose -t*u - 3*y - 219 + 6072 = 0, -2*u - y + 2925 = 0. Is u prime?
False
Let p = -1430 - -91. Let g = 2304 + p. Is g prime?
False
Let d be (-25)/(-2)*(-4)/(-10). Suppose -4*g - d*u = -44763, 5*g + 4*u + 0*u = 55965. Is g a composite number?
False
Suppose 33120 = 67*f + 48*f. Let q(k) = 9*k**3 - k**2 + k - 4. Let x be q(3). Suppose n - x = f. Is n composite?
False
Let b(h) = 84*h**2 - 12*h - 9. Let t be b(9). Let l(u) = u**3 + 4*u**2 - 8*u - 5. Let c be l(-5). Suppose 0 = -c*d + t - 1477. Is d composite?
False
Suppose 10*m - 6 = 24. Suppose -6*u + u + 7831 = 4*f, m*u + f - 4700 = 0. Is u a composite number?
False
Let i(b) = 423*b**2 - 16*b - 11. Let j be i(-5). Suppose -23*d + 19*d = -j. Is d a composite number?
True
Let i be (-1 - 0)/(-1) + -3. Let t be (i - 21/(-6))*7626/9. Suppose t = 5*r - z - 626, -1135 = -3*r - z. Is r composite?
False
Let c(i) = -2*i**3 - 38*i**2 - 17*i + 26. Let a be c(-19). Let k = a - 170. Is k a composite number?
False
Let u(f) = 22*f**3 + 40*f**2 - 65*f - 385. Is u(26) prime?
True
Let v be 24/13 - 6/(-39). Suppose 4*k - 5*c = 5586, -v*c + 4*c = 4*k - 5592. Is k a composite number?
False
Let j(w) = 51090*w - 3121. Is j(8) composite?
False
Let d(r) = 4*r**3 - 4*r**2 + 2*r + 2. Let p be d(7). Suppose -11*z = -3*z - p. Let c = 1394 + z. Is c prime?
True
Let b be 64*(-1 - -130)/(-3). Let u = -1574 - b. Let y = -369 + u. Is y prime?
True
Let z(w) = -2648*w + 709. Is z(-14) a prime number?
True
Suppose 0 = -2*v + 8, 2*l + 236*v - 240*v = 49510. Is l composite?
False
Suppose -80 = -4*p + 4*g, -87 = -5*p - g + 7. Suppose p*q - 23*q + 2872 = 0. Is q a prime number?
False
Suppose -14*g + 132 = 146. Is (2 + -3 + g)*37396/(-8) prime?
True
Suppose 15 + 6 = 5*y + w, y - w - 9 = 0. Let u(o) = -o + 10. Let h be u(y). Suppose h*t - 206 + 21 = 0. Is t a prime number?
True
Let i(w) = -3*w**3 + 24*w**2 + 14*w + 2. Let k(m) = -6*m**3 + 46*m**2 + 27*m + 4. Let g(l) = 11*i(l) - 6*k(l). Let r = -17 + 24. Is g(r) a composite number?
False
Let p(m) = -m**3 + m**2 + 24*m - 4. Let a be p(-4). Is 10127*(-8)/a + 4/20 prime?
True
Suppose 15*t = 16*t - 47. Suppose 1263 = -4*q + t. Let u = q - -507. Is u a prime number?
False
Let j = 249665 + 14370. Is j a composite number?
