84?
True
Suppose 0 = 5*h - 2*j - 66, -24*h - j = -26*h + 26. Suppose -11*f + 37 = -h*f + a, -4*a - 47 = 3*f. Is -14 smaller than f?
True
Let w be (2 - 8) + -129 + 3/1. Let r be ((-6)/195)/(w/55). Let z(x) = x**2 - 4*x + 2. Let o be z(3). Are o and r equal?
False
Let x = 67.69 + -66.69. Which is smaller: x or 1347?
x
Let s be 3/(-12)*(-120)/12170. Which is smaller: s or -1?
-1
Let y(z) = 2*z**2 - z - 11. Let m be y(4). Suppose 5*x + j - 52 = 0, 0 = 4*x - 3*j - m - 36. Let o be x/13 + 8/52. Are o and -2/7 non-equal?
True
Let c = -2 + 2. Suppose -3*u = -c*f + 5*f - 17, -4*u = 4*f - 12. Suppose -51*l - 88*l - 695 = 0. Which is smaller: u or l?
l
Suppose 7*j + 7 = -0. Suppose -x = 1 - 59. Let s = -59 + x. Do s and j have different values?
False
Let z be 12 - 645 - (-12 + 6). Let r be (z/(-9) + -4)/((-3)/(-9)). Is 197 less than or equal to r?
True
Let z(o) = o**2 - 285*o - 854. Let j be z(-3). Are 332/35 and j nonequal?
True
Let f be (20 - 3830/(-110)) + (-2)/(-11). Which is greater: 433/8 or f?
f
Let g be (4 - (-13)/(-3)) + 5415/(-36) - -1. Which is smaller: g or 1?
g
Let m = 46 - 37. Let w be -1 - m/30*-2. Are w and 0.5 unequal?
True
Suppose -14*l - t - 1930 = -9*l, -t = 3*l + 1156. Let y = l - -324. Let s be (-1)/(-2) + 127/(-2). Are y and s equal?
True
Let x be (2/(1*-6))/((-5)/75). Suppose -4*n + 6*n = -x*y - 77, -5*n = -4*y + 143. Let l(g) = -3*g**3 - 3*g**2 + 3*g. Let t be l(2). Which is bigger: n or t?
t
Suppose 0 = 3*r + 2*r - 145. Let t = 101 + -107. Let w be (-1)/t - (-2035)/66. Which is greater: r or w?
w
Let s = -201.46 + 197. Let d = s - -4.36. Is -33.1 equal to d?
False
Let t = -51367/4 - -665503/52. Is t >= 0?
False
Suppose 739 = -2*v - f, 2*f = -5*v - 232 - 1615. Let o be (-3)/6 - v/90. Which is bigger: 3 or o?
o
Let k = 17805.04 - 17775. Are k and -2 unequal?
True
Let u = -458 + 456. Suppose 4*s - 1028 = 3*n, -3*n + 0*n - 4*s = 988. Let i be n/14*(-1)/(-10). Are i and u nonequal?
True
Let c be (64/672 - 96/(-315)) + (-58)/158. Which is greater: c or -1?
c
Let f = 3.97 + -3.9228. Let z = f - 0.1482. Which is smaller: z or 1?
z
Let i = -132658/9 + 2816727296/191097. Is 1 at least as big as i?
True
Let k = -11.56 + -751.44. Let u = -763.5 - k. Is 0.4 bigger than u?
True
Let g = 1868 - 1884. Let t = 6 + -5.89. Let l = -0.01 + t. Is l less than g?
False
Let h = 0.0531 - 237.0531. Let p = h + 143. Let i = p + 94. Is -0.05 smaller than i?
True
Let t(w) = -w**2 - 7*w. Let o be t(-6). Suppose 74 - 62 = 6*c. Let n be (c/4)/(36/648). Which is smaller: n or o?
o
Suppose 112333 = -33*h - h + 29339. Which is smaller: -2440 or h?
h
Let y = 4.81 - 27.8. Let r = y + -0.01. Let z = -0.1263 + 0.0263. Which is smaller: r or z?
r
Let v(g) = -3*g**3 + 6*g + 3. Let x be v(-3). Let a = x - 46. Which is smaller: a or 17?
17
Let z = -977/238731 - 4/1581. Which is smaller: z or 0?
z
Let q = 0.2609 - -50.7391. Is 120 at most q?
False
Suppose 10*c - 684 + 634 = 0. Which is greater: 1/16 or c?
c
Let m = -11.13 - -58.43. Let x = m + 20.7. Is 0 > x?
False
Suppose 696 = -312*a + 615*a - 306*a. Which is smaller: -1166/5 or a?
-1166/5
Let m(z) = -11*z + 10. Let v = 31 - 36. Let r be m(v). Let d = r + -51. Which is smaller: d or 16?
d
Suppose 244 = 6*i - 110. Let w = 68 - i. Is w >= -5?
True
Let f be -3*((-870)/45)/((-2)/(-3)). Suppose 11*r - f = 23. Let j be (-8)/(-9)*3/12. Which is greater: r or j?
r
Let n be (2 - -8)*(-27)/(-18). Let u be ((-5)/n)/((-11)/(-10758)). Which is smaller: u or -325?
u
Let j(x) = -2*x**3 + 11*x**2 + 29*x - 23. Let h be j(11). Is -1035 > h?
False
Let p = -284 + -1715. Is -1998 at most as big as p?
False
Let l be (-27)/(-6) + (-1)/2. Suppose l*q - 2*n - n = 59, 45 = 3*q - 2*n. Let g = 38 + -23. Which is greater: q or g?
q
Let s = 115940 - 93099835/803. Is 1 <= s?
False
Let t = 18 + 15. Let q = -494.8 - -495. Are t and q non-equal?
True
Let k be ((10/(-6))/(-5))/(-1). Suppose -2*y - 71 = -n - 67, 3*y + 4*n + 17 = 0. Which is smaller: k or y?
y
Let w(p) = 107*p + 403. Let h be w(-4). Suppose -4*m - 5*l = 74 - 11, 5*m - 4*l + 130 = 0. Which is greater: m or h?
m
Let j = -121 + 105. Let l(p) = -p**3 - 6*p**2 - p - 3. Let a be l(-6). Let h be ((1/a)/(-1))/1. Is h > j?
True
Let n(y) = 2*y - 52. Let u be n(18). Let r(p) = -p**3 + 3*p**2 + p + 35. Let c be r(5). Does c = u?
False
Let q be 4/6 - 2500/(-30). Let g = q - 27. Let y be (g/(-21) + 2)*18/(-210). Which is smaller: -1 or y?
-1
Let s = 0.065 - -0.228. Let q = -3207.093 + 3207. Let i = s + q. Which is smaller: -2/11 or i?
-2/11
Suppose 0 = 11*s - 9*s + 3*p - 10, 2*s = 3*p + 10. Suppose -s*w + 209 = -186. Which is bigger: 80 or w?
80
Let v be ((-22 - -25) + 13 - 16)/1. Let p be 2/97*(1 + 3). Which is bigger: v or p?
p
Let x be (-13 + 1003/85)/((-3)/5). Suppose x*d - 98 = -4*r, -95*d + 3*r = -91*d - 174. Is d <= 38?
False
Suppose -23*a = -2*j - 19*a - 6, -3*a + 14 = 8*j. Let f be 1/(-97)*(-1 + -1). Is f less than or equal to j?
True
Let t = -19 - -18. Let k = 41134351/25 + -1645680. Let g = k + 306. Which is bigger: t or g?
g
Let l = -0.4 + 0.5. Let h be (-8898)/18 + 4/6. Let p = h - -489. Is p at least as big as l?
False
Let j(r) = 2*r**3 - 59*r**2 + 30*r - 28. Let z be j(29). Let i be -4 + (-2 - 5*(-2 + z)). Which is smaller: -1/152 or i?
i
Suppose 0 = -j - 0 + 5, -4*j + 28 = -o. Let g be 10/o + 1048/(-32). Is -32 >= g?
True
Suppose 2*f = 5*t + 27816, 22236 = -4*t - 13*f + 17*f. Is t >= -5567?
True
Suppose -4*a - 5*x + 98 = 0, a + 4*x - 19 = -0*x. Let b be 48/a + (-2)/(-9). Let j = 0.8 - 18.8. Do b and j have the same value?
False
Suppose 5*w + 9 = -1. Let u(i) = 43*i - 2*i**2 - 34 - 110*i + 0*i**2 - 2*i**2 + 2*i**2. Let z be u(-33). Are w and z unequal?
True
Let m = 10703 + -10670. Are -0.67 and m unequal?
True
Let y be (-4)/476*177556/8. Let o = y + 373/2. Is 0 >= o?
True
Suppose -4*u + 2*l - 5356 = 0, 0 = -0*u - 3*u - 2*l - 4017. Let h = -5095299/5 + 132303739/130. Let t = h - u. Which is bigger: 1 or t?
1
Let h = -88 - -94. Suppose h*u - 14*u + 208 = 0. Suppose 40*m - 38*m = -u. Is -16 less than or equal to m?
True
Let y be (-11)/(-176)*-8*0. Is 2/215 smaller than y?
False
Let c(n) = 2*n**3 + 37*n**2 - 73*n - 72. Let d be c(-20). Which is bigger: 177 or d?
d
Let n = 5.18 + -2.58. Let k = 2.7 - n. Which is smaller: k or -188?
-188
Let t = -4.3 + 5.75. Let n = -0.45 + t. Let c = -0.123 + 0.062. Are n and c equal?
False
Let s be (-8)/3*1*9/(-6). Suppose -s = -2*y + 4. Suppose -y*r - 54 = 3*m, 2*r - 5*m + 25 = -15. Which is smaller: r or -16?
-16
Let s = 690.252 + -690.8. Which is smaller: 2/5 or s?
s
Let g(k) = 2522*k**3 - 14*k**2 - 3*k + 12. Let x be g(-1). Which is smaller: x or -2517?
x
Let k(r) = -12*r - 3. Let b be k(-5). Let c = -50 + b. Let y be 56/16*10/c. Which is smaller: 7 or y?
y
Let v = -115043 + 29450959/256. Which is smaller: 0 or v?
v
Suppose 1043*q - 1042*q = 155. Let z be (3/(-4 + -2))/(3/(-918)). Which is smaller: q or z?
z
Let x be ((-1080)/274)/(-2) - 2. Suppose 0 = -2*u + 139 - 131, 3*u = -3*t + 12. Which is greater: x or t?
t
Suppose -a - 1 = 4*s + 17, 5*a + 4*s + 122 = 0. Which is smaller: -27 or a?
-27
Suppose -5*o + 111 - 156 = 0. Let r(z) = z**2 + 20*z + 17. Let u be r(o). Which is greater: u or -83?
u
Let k(u) = 2*u**2 - 26*u - 27. Let t be k(6). Does -172 = t?
False
Suppose -5*c = -10*c + 295. Let z(j) = 12*j - 156. Let a be z(18). Which is greater: a or c?
a
Let f = -116 - -277. Let c = f - 160. Let w = 8263/4585 - 2/917. Which is smaller: w or c?
c
Suppose r + 3*u + 10 = 0, 5*r + 5 = -5*u - 5. Let g = 174.774 - -0.226. Let x = g - 174.98. Which is bigger: x or r?
r
Suppose 36*h - 38*h = -5*b + 96, 2*b = 2*h + 90. Suppose -161 = 7*k + 140. Is h less than or equal to k?
True
Let w be (1 + 22/10)*40/16. Suppose -377 = 5*p - w*p - g, 5*g = -5*p + 645. Suppose -q = 3*o + 33, -p - 79 = 5*q - 4*o. Which is smaller: -38 or q?
q
Let w = -1.46 - -40.46. Let v be (-2)/(2 + -12)*(-6 + 4). Which is smaller: w or v?
v
Let y = 0.58 - -2.21. Let d = -1.79 + y. Which is bigger: -147 or d?
d
Let a be -3827*1/(-13)*(-34 - -21). Which is greater: a or -3826?
-3826
Let u = 12662 + -9945. Which is greater: u or 0.3?
u
Let c = -7 + 10. Let j(k) = k - 3. Let d be j(c). Suppose d = -0*s + 2*s + s. Which is smaller: s or 5/7?
s
Let k = -3067/15325 + 2/15325. Which is greater: k or