Suppose 0 = 4*h - 5*w + 2, -h - 3*w + 26 - 18 = y. Which is bigger: h or -4?
h
Let j = -6.093 - -10.093. Let g = 31/33 - 949/132. Is j less than g?
False
Let y(a) = a**2 + 7*a - 134. Let t be y(-15). Suppose 4*n - 3 = i - 4, 3*i = -3*n - 42. Which is bigger: t or i?
i
Let n be (40/5)/2*(-2)/4. Let p be (30/5 + -5)/((-15)/(-9)). Which is greater: p or n?
p
Let m = -8.8 - -10. Suppose 131*v = -110 + 337 + 821. Is m at least as big as v?
False
Let i = -205.74 - -205. Let a = i - -0.04. Let r = 3.2 + -3. Which is smaller: r or a?
a
Let c = 0.03 + -2.03. Let j = -21547.796 - -21547.8. Which is greater: j or c?
j
Let p be ((-1)/(-2))/(((-36)/1472)/(-9)). Let s = p + -296. Let b be (-6)/24 - 92/s. Is 0.8 not equal to b?
True
Let i(n) = -n**2 + 5*n + 70. Let a be 156/(-20) + 8/(-40). Let v be i(a). Which is smaller: 0 or v?
v
Suppose 3*u + 27 = -4*s, 3*u + 61*s - 3 = 62*s. Which is bigger: -1/98 or u?
-1/98
Let g = 0.283 + 0.0177. Which is greater: 0 or g?
g
Suppose -s - 2 = 0, 2*c = 7*s - 4*s + 68. Suppose -c = 4*x + 77. Are 2 and x non-equal?
True
Let s be (-800)/55 + (-10)/5. Let j = s + 3072/187. Let p(t) = -2*t - 1. Let r be p(-2). Which is smaller: j or r?
j
Let c(y) = -2*y**2 + 45*y - 35. Let o be c(22). Let w be -12*(1 + (-21)/6). Let a = -44 + w. Which is greater: o or a?
o
Suppose -50*h + 24 = -42*h. Let a be h*(-1)/(29/2). Let l = 0 + 1. Which is smaller: l or a?
a
Let x = -490.2 - -590. Let j = 100 - x. Let s = 4.7 - 5. Which is smaller: j or s?
s
Let q(n) = 8*n + 83. Let k be q(-10). Let v be (3/(-9))/(k + (-32)/12). Is -39 greater than or equal to v?
False
Let v(c) = 116*c + 19461. Let h be v(-168). Suppose -5*l + 17 = -8. Let t = -21 - l. Which is smaller: h or t?
h
Let w = 28 + -61. Let u = w - -33.29. Let h = u - 0.39. Do -10 and h have different values?
True
Suppose 10*t + 5470 = -820. Let v = -23275/37 - t. Let w be 0/(8/4 + -4). Which is smaller: v or w?
v
Let l be 7514/1876 + (-692)/173. Which is greater: l or 0?
l
Let y = 1693 - 1677. Is y smaller than -0.03?
False
Let x be 1 + 2 - (6 + 1). Let g be 73/(((-16)/x)/8). Let j = g + -455/3. Which is smaller: j or -6?
-6
Suppose -4*v + 2 = -6. Let c be (-1804)/16 + v + -1. Let x = c - -112. Which is greater: -2.9 or x?
x
Let u = -3378 - -26975/8. Let d = 801/136 + u. Which is bigger: 0 or d?
0
Let y(i) = -i**3 + 29*i**2 + 31*i - 34. Let q be y(30). Let r be (-2016)/(-2790) + q/10. Which is smaller: r or 1?
r
Suppose -146*q + 4*t = -141*q + 8148, 3*q + 4*t + 4876 = 0. Which is smaller: q or -1629?
-1629
Suppose 0 = -5*z + z + 4*j + 20, -j - 2 = 2*z. Let a(c) = c**3 - 3*c**2 + 9*c - 6. Let m be a(z). Let d = -1/585 - -5857/4095. Is m equal to d?
False
Let o be (3/(-1))/((-5)/((-300)/(-6))). Let i be (4/(-6041))/(o/(-105)). Which is smaller: -1 or i?
-1
Let n be (4 - (-45)/(-12)) + 967/4. Suppose 5*w - n = 12*s - 8*s, 4*w + 4*s - 208 = 0. Which is greater: w or 48?
w
Let n(q) = 7*q - 56. Let f be n(8). Suppose -2*x - 5*z + 32 = f, 5*z = -44 + 24. Which is bigger: x or 25?
x
Let k be -1 + (452/144 + -3)*28. Suppose -j - 23 = -5*c, 6*c + 67 = -4*j + c. Let p = j + 21. Is p less than k?
False
Suppose -3*l = -6884 - 12853. Suppose -l = 2*v + 2*w - 16465, -2*v - 3*w = -9887. Let a = v + -44428/9. Which is smaller: a or 5?
5
Let s = -944.8 - 0. Let a = 945 + s. Which is greater: a or -0.6?
a
Let m be 1 - (240/(-118) + 3). Let x(g) = -16*g. Let i be x(0). Is i greater than or equal to m?
False
Let g = -5 + 2. Let o = -9415 - -9451. Let v be 9/g - (-6 - o). Which is bigger: 40 or v?
40
Let m be -1 + (-6)/1 - (0 - -1228). Which is smaller: -1233 or m?
m
Let n be ((-391)/34 - -11)*-2. Which is greater: n or 3/1271?
n
Let s be (-2 + (4 - 3))/(-1). Which is bigger: -2/155 or s?
s
Let v = -0.167 + -2.463. Let g = -2.73 - v. Do g and 19/9 have the same value?
False
Suppose 1897 = 22*u - 3273. Does 270 = u?
False
Suppose -3*i = -5*j - 58, -5*i + j + 45 = 3*j. Suppose -i*b + 10*b - 6 = 0. Suppose 0*d + 12 = -d. Which is smaller: d or b?
d
Let j be (-2)/(-22) + ((-7)/((-770)/(-7820)) - 1). Suppose 0*f = 3*f + 216. Are j and f unequal?
False
Let t = -102.187 + 92.47. Let g = t - 0.283. Which is greater: 1.3 or g?
1.3
Let d = 598 + -337. Let o = d - 180. Let a = o - 77. Is 3 at most a?
True
Let u = 1.2 + -0.2. Suppose 0 = 42*a + 27370 - 1246. Let m = a + 614. Which is bigger: u or m?
u
Let i be 117/108 + -1 + 656787/(-3492). Let b(s) = -47*s - 1. Let r be b(4). Is r > i?
False
Let v = -3025 + 3014. Does v = -588/53?
False
Suppose 4*n + z = -0*z, -2*n + 14 = -3*z. Let o be (-130)/126 + 2/2. Is o >= n?
False
Let u(i) = -i**2 + 5*i + 4. Let k be u(5). Suppose -2*m - 71 = 5*o, -k*m - 1 = 3*o + 50. Let j = -37 - -25. Is o at most j?
True
Let x = -15 + 21. Suppose 4*r - x*r = 104. Let p be (r/(-18) + -2)*3/(-2). Which is smaller: p or 0?
p
Let q(u) = -u**3 + 8*u**2 - 16*u - 3. Let p be q(4). Let g(x) = -x + 8. Let r be g(0). Let f = r - p. Is f > 11?
False
Let l be (-1)/(-3) + 62/(-150). Let y(n) = -n**3 + 12*n**2 - 9*n - 21. Let i be y(11). Which is smaller: i or l?
l
Suppose -90*l = -7846 - 164. Which is greater: l or 101?
101
Suppose -5*s - 5 = 5*l, 0 = 59*s - 55*s - 7*l - 18. Which is bigger: s or 1/9750?
s
Let m(p) = 7*p - 18*p + 7*p + 5 + 8*p - 63*p**2. Let s be m(-2). Let q be s/(-34)*4/265. Which is bigger: 0 or q?
q
Let j = 192 + -236. Let p = 61 + j. Is -1/4 bigger than p?
False
Let r be (-3)/(24/(-5164)) + 54/12 + -4. Is 646 at least as big as r?
True
Suppose -176 = -23*b - 452. Let j be 0 + 1 + 8/(-1). Let q be j/(28/(-12)) - b/(-3). Is 5 not equal to q?
True
Let r be 1 - 5 - ((-6490)/930 + 3). Let w = -143 + 142. Is r greater than w?
True
Let l be (28/(-84))/(2/(-24)). Suppose 0 = l*q + 6*q + 1140. Let o be -4 + (-237)/q*2. Are 0 and o equal?
False
Let x be (65 - 78) + 1*12. Is -3/134 > x?
True
Let i be (6/(-8))/(180/25840). Which is greater: -107 or i?
-107
Let w = -0.6154 + 0.3754. Is w < 55?
True
Let j = -41.3 - -44.6. Do 56/3 and j have the same value?
False
Let s = 488 - 501. Which is greater: 1/130 or s?
1/130
Let c = 550 - 210. Let i = 339.4 - c. Which is smaller: -0.2 or i?
i
Let n be 2/12 + (-35)/42. Let q be (-2)/(-3) + 1162/(-42). Let u be (-117)/q - 4/1. Which is greater: u or n?
u
Let c = 220 + -226. Let b be (-1067)/22 + (c - -1). Which is greater: -55 or b?
b
Let o = -166973/12 + 13914. Is -1 at least as big as o?
False
Let b(g) = g**3 - 5*g**2 + 4*g + 3. Let c be b(0). Let r be ((-3)/(-2))/((-6)/(-12)). Suppose r*j + 0*j - c = 0. Do 2/121 and j have different values?
True
Let m be (-114)/6 - (-131533)/6913. Which is greater: 1 or m?
1
Let j be 10262/((-2)/6*48/(19 - 27)). Is 5131 greater than j?
False
Let a(k) = -21*k - 1 - 8*k**2 - k**3 + 4*k + 7*k. Let m be a(-5). Let h = -27 - m. Which is smaller: h or -3?
-3
Let l(g) = g + 21. Let t be l(-12). Let o be (-42)/t*(-9)/33. Let j = 5/22 + o. Which is greater: 0.7 or j?
j
Suppose -34 = -11*w - 6*w. Suppose 3 = t - 1. Suppose t*c + w = 5*m, 3*m + m = 5*c + 7. Which is smaller: m or -3?
-3
Let k = -12605/48 + 525/2. Let g = -9/16 + k. Which is smaller: g or 23?
g
Let b(s) = s + 15 + s**2 + 8 - 25*s. Let y be (9 - (-4 - -12)) + (4 - -18). Let n be b(y). Are -1/39 and n nonequal?
True
Let x be 6/(-112) + 21/49 - 12/32. Which is smaller: 15/178 or x?
x
Let d be (4/(-80)*-54)/((-245)/98). Do 0 and d have the same value?
False
Suppose 14*c - 4*c = 40. Suppose 5*x = 4*q - 859, x + c*x + 2*q + 853 = 0. Are -171 and x nonequal?
False
Let i be (-1)/2*2*8. Let x = 5 + i. Let d = -135023 - -675103/5. Which is bigger: d or x?
d
Let b = -1.239 + 22.679. Let l = -21.5 + b. Is -0.2 equal to l?
False
Suppose -d + 4 = -3*c, -5*d + d - c = -16. Suppose d*y - w + 439 = 0, 4*y = y - 5*w - 335. Are -111 and y non-equal?
True
Let r = -103 - -136.2. Let i = r + -33.324. Is 1 smaller than i?
False
Suppose -2*p + 3*t + 4 + 0 = 0, 12 = p + t. Let n be (16 - 18)*2/p. Is n at least -1.6?
True
Suppose 0 = 4*j - 14 - 6, 4*j = 3*n - 1090. Let q be n/(-20) + 8 + 8. Which is greater: q or -2?
-2
Let h be (11 + (-180)/15)*1. Let c = 683 - -424. Let g = -58669/53 + c. Which is bigger: g or h?
g
Let f = 252 - 456. Let q = 265 + f. Which is smaller: q or -3?
-3
Suppose 12*t - 2 = 14*t. Suppose -2*p + 40 = -2. Let c be -6 + 5 + 12/p. Which is bigger: t or c?
c
Let u = -