 be -4 + 4 + (-2 - 1)/(-1). Suppose -3*a + n*p - 177 = 0, -230 = 4*a + 9*p - 10*p. Which is smaller: -54 or a?
a
Let x be (-44)/(4/10*80/(-24)). Is x equal to 221/7?
False
Suppose 0 = -73*y + 76*y - 24. Suppose 0 = 4*a - 2*a - 2*c - 18, -4*a + 40 = -5*c. Suppose -y*n + a*n - 18 = 0. Is -6 less than or equal to n?
True
Let w = 1479 + -2987. Let k = w - -25674/17. Is 2 > k?
False
Let f = 13/153 - 158/459. Let o(h) = h**3 + 4*h**2 - 5*h + 43. Let k be o(-6). Is k > f?
True
Let k(z) = 627*z - 40163. Let c be k(64). Let y = -78 - -43. Is y greater than c?
False
Let n be (14/189)/(8/24)*2/(-3406). Which is smaller: n or 0?
n
Let i(g) = 2*g + 39. Let v(k) = k**2 - 15*k + 2. Let u be v(14). Let n be i(u). Let j be 2/(-11)*(n + 2). Is j greater than -4?
True
Let v = 0.5 + -0.6. Let u = 0.04045 + -0.31045. Is v < u?
False
Let o be (3 + 9411/(-12))*-12. Are o and 9374 equal?
False
Suppose 60*o = p + 63*o + 232, -4*p + 2*o = 872. Is p > -1/6?
False
Let o = -8328 + 807840/97. Let l = -38961297/936923 + 29856/743. Let r = l + o. Is -1 >= r?
True
Let n be (-35)/(-399)*45/(-2) + 2. Let p = -165 + 163. Are p and n nonequal?
True
Suppose 10*j + 1740 = 16*j. Suppose 5*f - 3*o = 274, -8*f + 5*o = -13*f + j. Is f greater than 56?
False
Let v be 605/50 - 12 - 55/50. Which is smaller: v or -5/152?
v
Let i(h) = -2*h + 14. Let k be i(7). Suppose 3*s + f = 9, -f = -5*s - k*s + 23. Suppose 3*q + 19 = w - 2*q, s*w + q = -29. Which is smaller: w or -32/5?
-32/5
Suppose 3*x + 3*r - 30 = 0, -5*x = -3*r + 6*r - 36. Is 336/191 bigger than x?
False
Suppose -2*s + 4*s = 3*l - 24, 2*l + s = 23. Suppose l*p = 13*p - 30. Suppose 4*z + 0*z - p = -5*d, -z + 10 = 5*d. Is z bigger than 1/2?
False
Suppose 110995 = 180*c - 128585. Which is bigger: 1330 or c?
c
Suppose 4*j = -27*j - 31. Let b be 12/(-5)*4/204. Which is greater: j or b?
b
Let i(m) = -17*m - 172. Suppose -15*h + 3 = -17*h + 5*l, -l + 6 = -h. Let q be i(h). Does -26 = q?
False
Let o be (-1)/(-1 - -2)*0. Suppose -9*w - 14817 = -3540. Let r = w + 139081/111. Is r bigger than o?
False
Suppose 6 = 3*c + 3*k, k + 3*k = 0. Let v(a) = 0*a + a + 0*a + c + a**2 - 5*a. Let q be v(1). Is -3/128 greater than or equal to q?
True
Let k = -63 - -164. Let z = k + -277. Is z less than or equal to -174?
True
Let d(p) = -p**3 + 9*p**2 - 9*p + 12. Let o be d(8). Suppose 0 = -q - 2*q + 4*s - 16, o*q = -4*s + 16. Suppose -5*z = -q - 0. Is 0 at most as big as z?
True
Let t = 11145.9 + -11146. Which is greater: t or 9/64?
9/64
Let a = -6716 + 7992. Are 1276 and a unequal?
False
Let u(h) = -3*h**2 - 19*h - 14. Let y be u(5). Let o = y - -183. Which is greater: o or -2/299?
-2/299
Let c = 408.6 - 593.5. Let l = -185 - c. Which is bigger: -35/2 or l?
l
Let n = -12 + -42. Let r = 53.95 + n. Which is smaller: r or 4/3?
r
Let r = -1/7768 + 15547/85448. Let p = -2.66 - -2.3. Is r less than or equal to p?
False
Let c = -12877 + 12878.312. Is c at most 0?
False
Let t be (-48)/((-2)/(8/3)). Let s = -47 + t. Let d be s/19 - 34/(-323). Which is smaller: 3 or d?
d
Let d = -46 + 120. Let s = d - 134. Let b = -58 - s. Which is smaller: b or 5?
b
Let b = -2843.02 + 2843. Which is bigger: b or 0.036?
0.036
Suppose -2*g = 28 - 26. Let u be 24/(-12)*g/186. Is -1 less than u?
True
Suppose -63 = 5*n - y, 67 - 97 = 2*n + 2*y. Do -545/38 and n have the same value?
False
Let n be 8341/8 - 63/168. Which is smaller: 1043 or n?
n
Suppose -5*h + 0*h = 0. Let t = -973/29510 - -1/454. Which is greater: t or h?
h
Let f = 251 - 37. Let o = f - 218. Is o > -6?
True
Let b(s) = 5*s**2 + 8*s - 20. Let i(x) = 4*x**2 + 9*x - 21. Let a(t) = 5*b(t) - 6*i(t). Let l be a(12). Let f be l + 1 + (3 - 2). Is -1/5 equal to f?
False
Let v be (-23)/92*4/1. Let t be (v - -4)*(8/(-6) - -2). Is t > 25/19?
True
Let s be (1*(-8)/(-12) - -3)*34/(-6). Which is smaller: s or -21?
-21
Let k be 1/(-3 + 8/3). Suppose 10 = 13*n - 8*n. Let v be (-6 + (4 - 0))/n. Which is bigger: k or v?
v
Let t(o) = 8*o**2 + 120*o + 377. Let r be t(-5). Let j = 150/19 + -1685/57. Which is bigger: r or j?
j
Suppose k - 5*v = 2*k - 2, -4*v = -k - 34. Let m be (-3)/(-9)*(9 - (3 + -3)). Suppose -u + m*x = -3*u - 20, 12 = 3*x. Which is smaller: k or u?
k
Let t = -4676197/510 - -9169. Which is greater: t or -1?
t
Suppose -4*m = -4*s + 60, 73*s + 2*m = 78*s - 60. Suppose 4*t + 331 = 883. Let d be (-6 + s)*34/t - 1. Is d less than 0?
True
Let i be 2/12 + (-173)/894. Let p be 105/420 + 9/12. Are i and p equal?
False
Let w be (7 + 33)/((-1150)/(-130) + -9). Do -3 and w have different values?
True
Let c = -1914 + 7655/4. Let g be 20/10 - 58/14. Does c = g?
False
Let l be 2/(-10)*-2*-60. Let o = -93086/3665 - 1/733. Is l greater than o?
True
Suppose 8*i + 5*i = -1079. Let m = i + 95. Which is bigger: m or 4?
m
Suppose 3*m = -0*m - 14*m. Is 3.38 at most as big as m?
False
Let f be ((-8 - 4) + 17)/(10328/40). Is f not equal to 1?
True
Let h = -361.3 - -362.3. Let f = 0.09 - 0.29. Do h and f have the same value?
False
Let d = 0.1047 + -1.2777. Let k = d + 0.156. Let f = k + 0.017. Is f greater than 19?
False
Let n(a) = -5*a + 130. Let b(d) = d - 26. Let y(g) = -11*b(g) - 2*n(g). Let i be y(8). Suppose -6*w - 18 - i = 0. Which is smaller: w or -8?
-8
Let p be 470/1175 + 39/15. Which is greater: 378/215 or p?
p
Suppose 0 = 4*z - 122 - 50. Suppose -t = 4*y - 2*t + z, -4*t = y + 32. Let m be (y/(-210))/(1/(-5)). Which is smaller: m or -4?
-4
Let x = -39.793 - 5.207. Which is smaller: 23 or x?
x
Let z = -723 + 2376. Which is greater: 0 or z?
z
Let d = 286.94 - 264.2. Let q = -0.26 - d. Let w = 21 + q. Is w not equal to 4?
True
Suppose f = -2*f + 4*n - 31, 3*f + 49 = -5*n. Let q(h) = -h**2 - 14*h - 18. Let d be q(f). Is -3 < d?
False
Let l(z) = 5*z**2 - 40*z - 178. Let d be l(-4). Suppose 3*b = 6*b - 192. Is b < d?
False
Let c(g) = -2960*g**3 + 5*g**2 - 3*g - 1. Let h be c(1). Which is smaller: -0.1 or h?
h
Let q be 5 - ((-136)/16 - -9). Which is bigger: q or 8/3?
q
Suppose -435*b + 5*s = -432*b + 458, -s = -10. Let j(f) = 3*f**3 + 5*f**2 + 6*f + 1. Let i be j(-4). Is i greater than b?
True
Let w be (8/4672)/(12/8349). Let f = w + -39/32. Is f greater than -1?
True
Let c be ((-10286)/(-185))/(2/45)*-2 + -1. Are -0.2 and c unequal?
True
Let j(n) = -6*n - 69. Let u be j(9). Let f be -2 + (u/42 + 3)*86. Do 5 and f have the same value?
False
Let i = 98 - 96.76. Let c = i - 1.34. Is -37 at most c?
True
Let y(c) = c + 5. Suppose 0*q = 7*q - 7. Let n be y(q). Let l be -1 - n/(-9) - 15/(-81). Is 1 at most as big as l?
False
Let j be ((-51654)/(-77454) - (-4)/(-6))/1. Which is bigger: -1 or j?
j
Let x = 28009/2 - 14005. Which is smaller: x or -2/633?
x
Let h be (-24)/84 - (2 + 132246/2380). Let q = -405/7 - h. Is 1 not equal to q?
True
Let o = -11679 - -16363. Is o equal to 4684?
True
Let y = -38653198/6783 + 96695/17. Let d = y + -9/133. Which is greater: d or -11?
d
Let k(r) = -24*r + 29. Let a be k(0). Suppose 0 = 4*g - 7*g + 2*d - 72, -a = 2*g + 5*d. Is -18 at most g?
False
Let x(t) = -202*t**3 + t**2 - 5*t + 3. Let u be x(1). Let y(o) = -o**2 + 5*o + 30. Let h be y(-13). Which is bigger: u or h?
u
Suppose -3*v + 10*o + 0*o + 42 = 0, -v - 3*o + 14 = 0. Let d = 59 + -31. Is v bigger than d?
False
Suppose -6 = 4*w - t + 2, -3*w + 40 = 5*t. Which is smaller: w or -4/2093?
-4/2093
Let q be (3608/(-6765))/((1/5)/(4/1692)). Is q < 1?
True
Let i = 120 + -493/4. Suppose t = z + 117, 4*t = -0*t + 3*z + 466. Let h be 2/(-16) + 1 + t/(-40). Is h greater than or equal to i?
True
Suppose 0 = -4*f + 2*a - 78, 3*f - 44 = -5*a - 122. Is -51 != f?
True
Let a = -1 + 7. Let h(b) be the second derivative of b**4/12 - 11*b**3/6 + 12*b**2 - 48*b. Let v be h(a). Which is smaller: -23/4 or v?
v
Let i(v) = 2*v**3 - 4*v**2 + 4*v - 4. Let x be i(2). Suppose -n + 29 = 4*n + a, 5*a = x*n. Which is greater: -2 or n?
n
Let v = -24350 + 413952/17. Which is greater: 572 or v?
572
Suppose 5*t + 4 = -s, 6*s + 14 = 7*s - 4*t. Let p(a) = -7*a**2 + 43*a + 10. Let j be p(s). Do 116/7 and j have different values?
True
Let r be (-1020)/(-96) - 2*(-6 + 186/32). Let n(f) = 2*f**2 + 5*f + 2. Let m be n(-3). Suppose -r*x - m = -5. Which is bigger: x or -2/139?
x
Let j(d) = d**3 + 15*d**2 - 37*d - 145. Let p be j(-17). Are p and -92 nonequal?
True
Let w be (1/3)/((-6)/(-18)). Suppose 4*l = 