s g a composite number?
True
Let j be (-396)/(-14) - 18/63. Let l = j - 12. Let u = l + 111. Is u a prime number?
True
Let l = 138 - -1043. Suppose 4*w = 3271 + l. Suppose 4*y = y + w. Is y a prime number?
False
Suppose 7*t - 3*t - 42544 = 0. Let s = t + -7551. Is s composite?
True
Let d(w) = w**2 - w - 1 + 2*w + 0*w**2. Suppose 13*i = -4*i + 119. Is d(i) prime?
False
Suppose 0 = 2*h + 5*f - 11 + 36, 2*h - f = 5. Let i(n) be the third derivative of -n**5/60 + n**4/24 + 199*n**3/6 - n**2. Is i(h) prime?
True
Let r(d) = 6935*d + 793. Is r(8) composite?
True
Let a be (((-4)/6)/2)/((-20)/360). Is 4/a + 3/((-18)/(-7208)) composite?
True
Let t be ((-75)/(-30))/(1/2). Suppose -4*j + 4249 = -k - 3136, -3*j + t*k + 5526 = 0. Is j composite?
False
Suppose 5*l + 6 = 2*l. Let d(q) = 63*q**2 - 1. Is d(l) a composite number?
False
Suppose 0*f = n - 2*f, n + 4*f - 18 = 0. Let t(m) = 19*m**2 - 4*m - 39. Let d(k) = 9*k**2 - 2*k - 19. Let x(r) = 13*d(r) - 6*t(r). Is x(n) a prime number?
True
Let t(d) = 3*d**3 - 3*d + 4. Let p be t(3). Let j = p + -69. Is j a prime number?
True
Let b be (-2)/3 + (-38)/(-57). Suppose -2*t + 2*z + 206 = -b*z, -112 = -t - 2*z. Is t a composite number?
True
Let x = 159 - 337. Is x/2*12/(-6) prime?
False
Let u(i) = -208*i - 15. Let k be u(-6). Suppose -4*d = -k - 651. Is d composite?
True
Suppose -s = -815 + 816, -11487 = -y + 4*s. Is y composite?
False
Is (-132)/110 + (-4511)/(-5) composite?
True
Let i(q) = -4*q - 11. Let h be i(-8). Let g be 2/(h/6 + -4). Is (-1467)/(-13) + g/(-26) a composite number?
False
Suppose 0 = 21*n - 16*n - 55. Let o(m) = 4*m - 19. Is o(n) a prime number?
False
Let b(a) = -1. Suppose 1 = -4*x - 3, -2*x = -2*n. Let j(o) = -6*o + 10. Let z(y) = n*j(y) - 5*b(y). Is z(4) composite?
False
Let n(s) = -2*s + 6. Let x be n(2). Suppose -5*y - 3*m + 9 = -x, 5*m - 1 = -4*y. Let c(g) = 24*g - 9. Is c(y) composite?
True
Suppose -h + 49 = 3*h - 5*o, 2*h + 2*o - 2 = 0. Let i(n) = 28*n - 12. Let b(j) = 19*j - 8. Let p(m) = -7*b(m) + 5*i(m). Is p(h) a prime number?
False
Suppose -5*d + 0*d + 114 = p, 4*d - 96 = -2*p. Let z(i) = i**3 + 5*i**2 - 5*i + 3. Let t be z(-6). Let q = t + d. Is q a composite number?
False
Let v be (-4)/((-16)/(-12)) - 1. Is 1/v*(-3992 + 4) prime?
True
Suppose -64579 = -36*c + 247217. Is c composite?
True
Suppose -h - 1 = -2. Suppose u - 9 = -v, -2*v + 14 - h = -3*u. Let w = -1 + v. Is w prime?
True
Let g = 59889 + -15712. Is g prime?
False
Let l = 69498 - 38441. Is l a composite number?
True
Let a(t) = t + 153. Let j(y) = -y - 152. Let l(w) = 3*a(w) + 2*j(w). Let p = 3 + -3. Is l(p) a prime number?
False
Suppose -2*f + 5*p = -869, -3*f + p + 622 = -714. Is f prime?
False
Let x(c) = 2*c**2 - 31*c - 23. Is x(22) a prime number?
True
Let y(a) = -a - 7 + 4*a + a**2 - 4*a - 1. Let q be y(4). Suppose l - 44 = -f - q*l, -2*f - 5*l + 103 = 0. Is f a prime number?
True
Suppose 112 - 13 = -9*x. Is (-7603)/x + -3 + (-31)/(-11) composite?
False
Suppose -638 + 184 = -2*s. Let i(g) = -g**2 + 5*g - 2. Let b be i(4). Suppose 0 = b*a - 3*a + 2*o + 115, -o = -2*a + s. Is a a composite number?
False
Let f(p) = -p + 10. Let a be f(7). Let r(x) = 3 - x**2 + 2*x**2 + 61*x - 62*x. Is r(a) composite?
True
Let n = 5086 + -1514. Let m = 5053 - n. Is m composite?
False
Suppose 8*p - 22341 = 5*p. Is p prime?
False
Suppose -5*h - 2*b - 20 = 3*b, 0 = -2*b - 8. Suppose h = 9*z + 7311 - 22170. Is z composite?
True
Let a = -6476 + 4582. Is 3/(-9) - a*3/9 composite?
False
Let j(i) = -4*i**3 - 4*i**2 + 5*i + 4. Suppose 0 = -3*u - 0*u. Suppose u*o - 25 = 5*o. Is j(o) a composite number?
False
Let s(t) = 15447*t + 331. Is s(4) composite?
False
Is (-21)/42*(12260*-1 + -2) a composite number?
False
Suppose 0 = 2*x + 2*k + 2*k + 400, 5*k - 409 = 2*x. Let d = 363 + x. Is d composite?
True
Suppose 3*b - s + 4355 = 0, -2*b = -5*s + s + 2910. Let w(v) = 535*v**2 + 3*v. Let i be w(-2). Let n = i + b. Is n a prime number?
True
Let z = -3 - -6. Suppose -5*h + 0*r + 1810 = z*r, 2*h - 5*r = 755. Suppose -4*w = -h + 17. Is w prime?
False
Let t = 33 + -61. Is (-6)/(-8) + (-21847)/t composite?
True
Let l(j) = -j**2 - 6*j + 6. Let q be l(-6). Let g = 720 + -403. Suppose q*v = 5*v + g. Is v prime?
True
Suppose -4*i - 4771 = 5*u + 31, -4*i - 2878 = 3*u. Let s(g) = 39*g**2 + 9*g + 5. Let p be s(-6). Let j = u + p. Is j a prime number?
False
Let j = -9 + 6. Is 382/j*18/(-12) prime?
True
Suppose 12*a = 14*a + 448. Let c = a - -1063. Is c a prime number?
True
Let x = -26 - -37. Suppose 16*q = x*q + 1975. Is q a prime number?
False
Let w = -195 + 574. Suppose -4*o + 3*o + w = 0. Is o a prime number?
True
Let p(w) = -w**3 + 30*w**2 + 9*w - 3. Suppose -3*h + 5*t = -63, 0*h - 3*h - 3*t = -39. Let j be p(h). Suppose 7*a = 2*a + j. Is a prime?
False
Is 8*(-10)/(-60)*(-139143)/(-4) a composite number?
False
Is 0 - 0 - -105509 - (6 + -2) composite?
True
Let r(j) = 6*j - 3. Let q be r(2). Suppose 4*g - 10 = -u - 0*g, 2*u - 5*g - 7 = 0. Is 1002/q - 2/u a composite number?
True
Let c be 1/(-1 - 9/(-6)). Let s be ((-24)/(-30))/(c/165). Suppose 0 = -4*f + 82 + s. Is f a composite number?
False
Let r = -22 - -19. Let t(a) = -3*a**2 + 2*a + 5. Let x be t(r). Let d = 131 - x. Is d a composite number?
True
Let b(o) = 86*o**2 - 4*o - 7. Let r be b(-4). Suppose 5*a - 3650 - r = 0. Is a a prime number?
False
Let s be (1 + 2)*(-8)/(-6). Suppose -3*j = 0, -3*q + s*j = -634 - 119. Is q a prime number?
True
Suppose -3736 = -5*o - 3*o. Is o composite?
False
Is 30/((-6)/2) - -64929 prime?
True
Let q be (-229 + 6)*1/(3/39). Let p = q - -4158. Is p prime?
True
Is (1*-1)/(27/(-44199)) prime?
True
Let v be 20952/60 + (-1)/5. Suppose -400 - v = -p. Is p a composite number?
True
Let t = 542 - 163. Is t prime?
True
Suppose -21*q + 35 + 28 = 0. Suppose 5*s + 295 = -3*k, -2*s + 6*k - 139 = 3*k. Is q*2/(-12)*s a composite number?
False
Suppose -21*v + 521744 = 7265. Is v a prime number?
True
Suppose -4*c - 715 = 5*f, 0 = -f - 0*f - 3*c - 143. Let q = f + 510. Is q prime?
True
Let c = -2 - -47. Let z be 6/10 + 108/c. Is (194/z)/(4/12) prime?
False
Suppose -2*u = -97 + 99. Is u/(-5)*(-1 + 1 + 1255) composite?
False
Suppose 25 = 3*p + 2*p, 155 = -5*a + 4*p. Let w = a - -32. Suppose w*t - 2*t = 1227. Is t composite?
False
Let l = -2240 + 11623. Is l a composite number?
True
Let f = -22 + 23. Let b be 15/(10/2) - f. Is b/7 + (-12882)/(-42) a prime number?
True
Let p(n) = -16*n**2 + 2*n. Let g be p(1). Suppose 0 = 2*t + 48. Is (t/g)/(4/14) a prime number?
False
Let z(j) = -j**2 - 5*j - 3. Let y be z(-7). Let s = y + 23. Suppose 0 = -s*l + 1483 - 145. Is l prime?
True
Let n = 6705 + -242. Is n prime?
False
Suppose 3*c + 7792 = 7*c. Is (-27)/45 - c/(-5) a composite number?
False
Suppose 11*c - 10*c = 17254. Let n = c - 11903. Is n prime?
True
Let j(i) = 613*i - 41. Let b be j(20). Let y = -7328 + b. Is y prime?
False
Suppose 26153 = a - 4*x, 1 = -3*x - 8. Is a a prime number?
True
Suppose -3*g + 6 = i, -2*i + 15 - 9 = 4*g. Let s(m) = m**2 + m + 2. Let k be s(-2). Suppose -j = -k*q + 4173, -7*q + 2*j + 4178 = -g*q. Is q a composite number?
True
Is (2395/(-15))/((-1)/3) prime?
True
Suppose y - 659 - 372 = 2*c, -4*c + 2054 = 2*y. Let u = -682 + y. Is u a prime number?
True
Let o(m) = -14*m**3 + 2*m**2 + 3*m - 1. Let g be o(-3). Suppose -11*j + g + 527 = 0. Is j a composite number?
False
Let p(a) = -1 - 20 + 500*a - 604*a. Is p(-7) prime?
False
Suppose -87835 = -24*f + 54173. Is f prime?
False
Is (-8)/(-8 + 0)*13309 prime?
True
Let k be 5/(5/2) - (-3432 + -3). Suppose 4*o + 921 = k. Is o prime?
False
Let m be 130/14 - 2/7. Let v be ((-6)/m)/(2/(-9)). Is 1065/9 - 1/v prime?
False
Let x = 90151 - 60362. Is x prime?
True
Let n(v) = 47*v**2 + v + 4. Suppose 0*d = -3*s - 2*d + 2, 3*s = 3*d + 12. Is n(s) composite?
True
Let h(i) be the third derivative of i**5/30 + 3*i**4/8 + 5*i**3/6 - 6*i**2. Is h(7) prime?
False
Suppose -2*m + 783 + 151 = 0. Suppose -3*t - 2*t = 4*g - m, 279 = 3*t + 2*g. Is t composite?
True
Let x(m) = m**2 + 12*m - 3. Suppose 4*w + w = 70. Suppose -3*u = 2*l - w, -5*u + 3*l - 5*l = -30. Is x(u) a composite number?
False
Suppose 0 = 2*v + 3*v - 445. Suppose 0 = -0*p - p - 20. Let q = v + p. Is q a prime number?
False
Suppose 2*w = 5*s - 21, -4*s - 6*w = -w + 3. Is ((-340)/(-12) + 4)*s