7 + 3, 5*n + 5*c - s = 0. Which is bigger: n or -3/8?
n
Let p = 367 - 221. Let k = p + -70. Is k < 75?
False
Let t be (4/12)/((-1)/2). Let j be (1 - 4)*15/(-5). Let d(b) = 12*b - 112. Let y be d(j). Is t at least y?
True
Let s = -1.893 + 1.78. Let x = s - 51.727. Let w = x + 52. Are w and -2 nonequal?
True
Let k = 184.645 - 185. Let s = -111.355 - k. Which is smaller: -1 or s?
s
Let j be 2375/(-15) - (-2)/(-3). Suppose 1178 = -6*n + 230. Do j and n have different values?
True
Let h be ((54/9)/(-18))/((-2)/12). Let t = -15/22 + 83/154. Which is greater: h or t?
h
Let a be (1 + (-2 - -1))/(-2). Do 2/41 and a have different values?
True
Suppose 0 = -3*w - 4*v + 92, 91 = 4*w + v - 49. Let o be (30/w + (-3)/(-18))*12. Let g be 8/(-47 - 1) - (-158)/o. Do 9 and g have the same value?
False
Let f = -3.159 + 3.23. Let c = 0.029 + f. Let b be (-21)/6*2/(-6). Is c < b?
True
Suppose 3*x + 18 = 0, 87*j - 86*j = -2*x + 2388. Is 2405 at most j?
False
Let m(s) = 9*s**3 + 6*s**2 - 3*s + 4. Let j be m(-7). Let v = j - -1115506/403. Let i = v - -309/18941. Is 0 at least i?
False
Suppose -18*o - 23 = -m - 16*o, -m + 11 = o. Suppose 5*n + 7 = -3*q, m = 5*q - 61*n + 56*n. Which is smaller: -8/69 or q?
-8/69
Let y = -8 - -14. Let j be 60/(-84)*2/y. Let i(q) = -q**3 - 4*q**2 - 5*q - 3. Let z be i(-1). Which is smaller: j or z?
z
Let r = 5313 + -5284. Which is bigger: r or 46?
46
Let o = 12102774/25 - 484180. Which is greater: -70 or o?
o
Suppose u - 2522 + 2546 = 0. Which is greater: u or -383/16?
-383/16
Let l = 2546 + -2518. Which is smaller: -0.12 or l?
-0.12
Let o = 71.87 + -71.67. Is o equal to -1933?
False
Let t be 499/(-4)*(-592)/(-20). Let w = t - -3674. Which is smaller: w or -20?
-20
Suppose -2*v = 3*x - 19, v = -2*v + 4*x - 14. Let g = -4582 + 393919/86. Let h = -2/43 - g. Which is bigger: h or v?
v
Let h = 967 - 962. Are 47 and h non-equal?
True
Suppose m - 187*f + 186*f = -12571, -3*m = -4*f + 37710. Which is bigger: m or -12573?
-12573
Let k = -10535 - -10535. Which is bigger: 1/6405 or k?
1/6405
Let i = 90.8 + -95.01. Let q = i - 111.79. Which is greater: q or -1?
-1
Suppose -2*t + z + 5 - 3 = 0, 0 = 3*t - 3*z - 6. Let i = -0.197 - 96.803. Which is smaller: i or t?
i
Let a(v) = -v**3 + 47*v**2 - 92*v + 70. Let z be a(45). Let k be 9 - (-195)/z - 2/(-4). Which is greater: k or -1/48?
-1/48
Let h = 1062/4207 + 20/601. Let g = 0.052 - -0.178. Let u = -24.23 + g. Are h and u non-equal?
True
Let w = 127 + -3430/27. Let b be (1/(-6))/(2/(-9)). Let l = b + -9/4. Which is bigger: w or l?
w
Let i(b) = 9*b + 13. Let q be i(3). Suppose q = -3*s + 5*a, 2 + 18 = -s + 5*a. Which is bigger: -7 or s?
-7
Suppose 2*r + 2*g + 23 = g, -2*r - 43 = -3*g. Let k be 70/(-10)*3/r. Let z(q) = 2*q**3. Let n be z(1). Is k not equal to n?
True
Let n = 3861.3 - 3650. Let q = -207 + n. Is q <= -1?
False
Suppose -8*i = 189 + 11. Let w = 16 + i. Let m = w - -8. Which is bigger: -26/11 or m?
m
Let x be 2/((-28)/(-6) + -4). Suppose 2*i - p - x = i, -2*p - 8 = -i. Let b be (16/(-4))/(i + 0 + 1). Do b and 1 have different values?
True
Let j be (-2)/(-3) - (-772)/(-1338). Let a = 6024/2453 + j. Are 4 and a equal?
False
Let c be ((-2)/(-3))/(2/(-6)). Let l be 900/230 + ((-25)/(-23) - 1). Let o be l/(-186) - (-2 - c). Which is greater: o or 1?
1
Let a be 2/6*-3 - (-2 - 2). Suppose 0 = 4*f - 2*p - 368, -a*f + p = -0*f - 278. Are f and 92 nonequal?
True
Let i = 96.176 - 98.076. Let x = -86 + 169/2. Is i <= x?
True
Let r = -36426/33185 - 5448613021/13240815. Let p = 2892/7 + r. Let o = 4/19 - p. Is 28 equal to o?
False
Suppose -2*w = i + w - 11, w = 0. Let t = i + -41. Let k be (-135)/(-6)*-8*3/18. Are k and t nonequal?
False
Let r be ((-8)/(-18) + (-2318)/2745)/(4/(-1270)). Is 1257/10 at least as big as r?
False
Let m be (-26733)/(-6296486)*(-1059)/(-45) + 2/(-20). Which is smaller: m or 1?
m
Let n = 12313702/1795 + -6860. Let d = n + -3951/1795. Let w = 27/10 + d. Which is smaller: 38 or w?
w
Let g(u) = -u**3 + 11*u**2 - 8 - 4*u**2 + 14*u - 11 + 5*u**2. Let c be g(13). Let z be 26/30 - 2/c. Which is bigger: 1 or z?
z
Let h(f) = f**3 + 24*f**2 - 27*f - 53. Let m be h(-25). Let u(s) = -s**3 - 4*s**2 - s - 7. Let n be u(m). Is n at most as big as -122/9?
False
Let p be (56/14 - 10) + 4968. Is -2/3 bigger than p?
False
Suppose 97*z - 98*z - 6080 = -4*t, -3*t = -3*z - 4542. Is t > 1528?
False
Let v = -1825.9 - -1447. Let c = v - -379. Let s = 6.3 - -1.7. Which is smaller: s or c?
c
Let n = -662 - -665. Suppose -n*p + 236 = -121. Is -1 at least as big as p?
False
Let x be (-4 - (132 + -10)) + -3 + 2. Is x at most 4?
True
Suppose 12 + 38 = 2*k. Suppose -2*u - 3*o = -k, -2*o + 10 = 3*u - 3*o. Suppose 2*s - 2*l = 0, -4*s = -0*l - u*l. Is 4/13 greater than s?
True
Let i be (-2156)/420 - (1 + -6). Suppose -5*u + 3*c - 207 = 331, -3*c - 232 = 2*u. Is i greater than or equal to u?
True
Let d(h) = -3*h**3 + 11*h**2 - 17*h + 1. Let o(r) = 10*r**2 + 7*r - 1. Let q be o(-1). Let y be d(q). Does -14 = y?
False
Let v(b) be the third derivative of -b**6/120 - b**5/15 + b**3/2 - 13*b**2. Let o be v(-4). Let r be (15/(-10))/(o/4). Is -3/2 greater than r?
True
Let r(a) = a**2 + 21*a + 44. Let p(d) = -d**3 + 14*d**2 + 35*d + 20. Let c be p(16). Suppose -c = -q + 5*q. Let i be r(q). Which is smaller: i or -22?
i
Suppose -92*z + 230 + 190 + 40 = 0. Which is smaller: 1409 or z?
z
Let r(w) = 7*w + 35. Suppose -34*s + 3*z + 15 = -37*s, -2*z + 15 = -3*s. Let v be r(s). Are 3/5 and v equal?
False
Let r(m) = 38 + 143*m - 146*m + 10. Let j be r(16). Is j < -3/136?
False
Let i(n) = 6*n. Let d be 3/3*3/(-1). Let w be i(d). Let j be (4 + -2 + -8)*9/w. Is j less than or equal to 12/7?
False
Let z be (-124)/483 - -4*2/28. Suppose 72*y - 98*y = -26. Are z and y equal?
False
Let r = -11142 - -10576. Which is smaller: 0.1 or r?
r
Let n be (104/24)/(-13) + 83148/250740. Is 0 bigger than n?
True
Let t be 8/14*(-1 + 11). Suppose 131*p - 63*p + 96 = 84*p. Is t != p?
True
Let k be (80/24)/(14/21) - (35 + -2). Is k at most 0.23?
True
Suppose -3*y = l + 12, -2*l + 4*y - 144 = 2*l. Which is greater: l or -57?
l
Let q = -6.908 + 6.708. Is -2636 greater than q?
False
Suppose 2*w + 5*g = 17, -5 + 18 = w + 4*g. Let t be (7*(w - 0))/(3/(-3)). Let i(l) = -2*l + 5. Let a be i(6). Is t at most a?
True
Let s(c) = -270*c**2 + 8*c + 26. Let g be s(-2). Is g at least as big as -3209/3?
False
Let h = 2031 + -2926. Let z be 3 - (4/6 + h/(-345)). Are 1 and z nonequal?
True
Let g = -21912 - -21911. Which is greater: g or -2/43423?
-2/43423
Let r = 12.5 + -13.08. Let d = -0.05 - -0.69. Let x = d + r. Which is bigger: 3 or x?
3
Let q = 10.81 + -11.493. Which is bigger: -2/11 or q?
-2/11
Let g = 86 + -83. Suppose 4 = -4*q - 2*z, 2*q + g*q - 4*z + 18 = 0. Is 1 at least as big as q?
True
Let c = -1050 + 1052. Which is smaller: 18/13 or c?
18/13
Let c(n) = -n**3 - 2*n**2 + 8*n + 5. Let a be c(-4). Let g be ((-1)/a + 0)*11565/36. Let u = g - -65. Is u > 1?
False
Let c = -15202 - -19897. Which is smaller: c or 4692?
4692
Let a(y) = -y**3 - 10*y**2 + 2*y - 24. Let o be -3*(-4)/10*75/(-9). Let g be a(o). Let r = 43 + g. Is r < -0.4?
True
Let v = -272979/5 - -54990. Let j = 394 - v. Let k = -3 + 2. Which is bigger: j or k?
j
Let p = -580752/101 - -5750. Suppose 24 = -4*r + 2*c, 34 = -5*r + 3*c + 2. Let w be (-2)/(-4) + r/(-8). Which is greater: w or p?
w
Let m(v) = 78*v + 85. Let r be m(-13). Let f = r - -899. Are f and -33 equal?
False
Suppose -4*j = 29 + 55. Let p be ((-248)/(-30))/((-12)/30). Is p != j?
True
Suppose 5*r - 2*c - 162 = 0, 3*r - 124 = -r - 4*c. Suppose -98*a - 213 = -27*a. Which is bigger: r or a?
r
Suppose -2*i + 3*t = -2*t - 18, -4*i - 3*t + 10 = 0. Suppose -2*n = i - 2. Let p = -1.608 - 10.392. Is n > p?
True
Let w be (-112)/(-100)*(1 + -6). Let l = -64 - 159. Let k = l + 1113/5. Which is smaller: k or w?
w
Suppose -51 = h + 3*x, -4*h - 8*x - 235 = -27. Is h at least -84?
True
Let w be (0/1 + 1)*23. Suppose 3*a + 4*z = 29 + w, 2*a = 3*z + 12. Let g be (4*(-62)/a)/(6/9). Is -63/2 <= g?
True
Let u(f) = 89*f**2 + 2*f. Let l be u(2). Let t = l - 401. Which is smaller: t or -38?
t
Let p be 2992/1 + (-29 - -27). Is 11957/4 less than p?
True
Let f be (-8 + 217/28)/((-86)/16). Is f > 10?
False
Suppose -28*b + 35*b = 70. Let x be ((-6)/b)/((-77)/(-7) +