 is smaller: w or a?
w
Suppose -30*w = -35*w + 1365. Let u = -275 + w. Which is smaller: u or -7/4?
u
Suppose o = -2*o + 27. Suppose 0 = o*s - 5*s - 44. Suppose -2*h + 4*j = -28, -11 - 39 = -4*h + 2*j. Which is smaller: s or h?
s
Let n = 2091.46883 + 0.33117. Is n at least 1?
True
Let r = 162 + -164. Which is smaller: r or -1203?
-1203
Let b(s) = -s**2 - 2*s + 2. Let p be b(1). Let i be 21 + -22 - 1/1*p. Let m be (-1122)/(-1111) - (-2 + 3). Which is smaller: m or i?
i
Let v = 109 + -431/4. Let s be (-34)/51 + (-2)/(-624)*-326. Let m = v + s. Which is greater: -1 or m?
m
Let j be (-24)/20*15/(-28)*-7234 + -7. Which is greater: -4658 or j?
j
Suppose 321*c + 5*p + 4665 = 316*c, c = -3*p - 939. Which is smaller: c or -936?
-936
Suppose -21 = -11*v + 34. Suppose -506 = v*k - 846. Is k at least as big as 67?
True
Let w = -636247/6 + 106041. Suppose -k - 3*f + 98 = 4*k, 2*f = 2*k - 36. Is k bigger than w?
True
Let s be 4/(-8) + 10/50. Let i = 12 + -16. Which is greater: i or s?
s
Suppose -5*h - 9126 = -25*v + 29*v, v - 9106 = 5*h. Which is smaller: h or -1823?
-1823
Let y(w) = -2*w. Let m be y(1). Suppose 2*v + g + 370 = 269, -3*v + 2*g = 155. Let a be m - (-1 - -1) - (48 + v). Are 2/269 and a equal?
False
Let l be 8124/(-33173)*(118/(-8) - (-6)/8). Suppose 0 = 2*m - 3*p + 8, -3*m + 22 = 3*p + p. Which is smaller: l or m?
m
Let x = 5 - 4.98. Let c = 619.039 + -621. Let p = c + -0.039. Which is bigger: p or x?
x
Let w be 91/28 + (-281785)/(-140). Is 2013 not equal to w?
True
Let j = -45.26 - -44.5. Let o = 2.7 - j. Is o smaller than 0.1?
False
Let g(w) = 4*w - 50. Let t(u) = -u**2 - 10*u - 10. Let j be t(-6). Let y be g(j). Suppose -y*z - 3 + 9 = 0. Which is greater: z or 7/4?
7/4
Let t = 3372 - 3375.7. Let y = -0.44 - -3.14. Let p = t + y. Which is greater: p or -0.3?
-0.3
Let k(x) = 42*x**2 + 69*x + 135. Let y be k(-2). Is y greater than or equal to 176?
False
Let i = -560/191 + -107242/1337. Is 2 at least i?
True
Let d(j) = j**3 - 2*j**2 + j + 213. Let u be d(0). Suppose -6*y + u = 45. Let l(c) = c**3 - 6*c**2 - 2*c - 7. Let z be l(7). Is y greater than z?
False
Let r(i) = 3*i**2 - 39*i - 89. Let u be r(15). Does -16/63 = u?
False
Let v = -99 - -101. Suppose -a = -a + v*a. Is a at least 9/26?
False
Let v(p) = -104*p - 2. Let z be v(-2). Let n = 489/2 - z. Which is bigger: 38 or n?
n
Suppose -6*u + 73 = 1. Suppose 0 = 3*k - u, -4*b + 3*k + 2807 = -2449. Let w = 96139/73 - b. Which is smaller: w or 0?
w
Let w be (-8)/52 + (-148)/52 - -6. Let v be -3 - (-19 + 15/(-3) + w). Suppose v*q + 528 + 696 = 0. Do -67 and q have the same value?
False
Let f be (-341)/(-352) - (-2)/(-4). Suppose -5*g = -2*d + 25, 23*g = 20*g - 15. Is f > d?
True
Let l = 180 - 117. Suppose 0 = 9*b + l + 180. Let x = 38 + b. Which is bigger: x or 7?
x
Suppose 4118 = -11*f + 268. Let b = -3897642049/11135157 - 10/337429. Let a = b - f. Which is smaller: a or -1?
-1
Suppose 102*d = -61*d + 652. Let u be ((-6)/(-4))/((-6)/(-19)). Is d less than or equal to u?
True
Suppose 0*u - 21760 = -9*u - u. Is u at most 6527/3?
False
Let a be 122/(-15) + 10 - 8/(-10) - -2. Let x(t) = t**2 - 7*t - 13. Let v be x(9). Which is bigger: v or a?
v
Let f be (-908)/30 - -1 - ((-226)/10 - -22). Which is bigger: 2 or f?
2
Let r = 6869.47 + -6503. Let y = r - 368. Which is smaller: -0.1 or y?
y
Suppose 4*c = c. Suppose 2*h - 5*h = -3*g + 30, c = 4*h + 3*g + 5. Let m = 4168 + -29174/7. Which is smaller: h or m?
h
Suppose -6 = -r - 5*o + 8, 0 = -3*r - 4*o + 9. Let u be -1*3 + r/(2/(-176)). Which is smaller: u or 84?
84
Suppose -i + c + 7 - 27 = 0, 3*i + 5*c + 44 = 0. Let g = -3917 - -3899. Is i at most as big as g?
True
Let t be (50/25)/(((-16)/(-1390))/(-4)). Let i = t + 694. Which is greater: i or 171?
171
Suppose 4*s - q = 37575, 14975 = s - 3*q + 5584. Is 9393 greater than s?
False
Let r = 74 + -85. Let z be (-46)/(-4)*r/(1155/14). Which is smaller: -3 or z?
-3
Let z(a) = -5 - 14*a - 21*a + a**3 - 4*a**2 + 22 + 6. Let y be z(8). Is y < -7/61?
True
Let a = 32.96 + -35.227. Let r = a - 0.033. Let g = r - -2.25. Is g at least as big as 1?
False
Suppose -137 = 3*c + i - 3*i, 3*i = -6. Let p = -52 - c. Let s be (-3 - (-10 - p))/((-1)/1). Is -5/4 less than or equal to s?
False
Let m = 23 - 22. Let p be ((-6)/(-30))/((-1)/(-5)) + 0. Are p and m unequal?
False
Let z = 15979989376219/12814660537 + -3/107686223. Let b = -1247 + z. Which is greater: b or 1?
1
Suppose 0 = 835*g + 91 - 91. Let t = 1283984 - 21840243/17. Let w = t + 735. Which is greater: g or w?
g
Let i = -10015 + 8841. Which is smaller: -4699/4 or i?
-4699/4
Let a = 5 - 35. Let f be (-20)/a + (-56)/66. Is f at most as big as -0.43?
False
Let g be (-1)/(3*((-2)/(-168))/1). Is g < -16?
True
Let c = 147 + -162. Let s be (-3)/c - 576/3080. Are -1 and s nonequal?
True
Let d be 28*((-21)/6 + 4). Let h be d/21*(-30)/(-4). Suppose 14 + 1 = h*t. Which is smaller: 3/2 or t?
3/2
Suppose 20*f - 53634 = -8334. Suppose 0 = 9*b - f + 267. Is 222 equal to b?
True
Let o = -185 - -321. Let x = o + -155. Let h = 19 + -39. Is x < h?
False
Suppose -5*w + j + 16 = 0, -20 = -2*w - 2*j - j. Suppose 8 = -2*u - 2*v, -3*v - 8 = w*u - 3*u. Is -4/7 at least u?
True
Let v = 358 + -6088/17. Let u(m) = -m + 190*m**2 - 5 - 179*m**2 + 1 - 8 + m**3. Let x be u(-11). Do v and x have different values?
True
Suppose -5*p = q - 82, -2*p - 68 = 11*q - 12*q. Let n(l) = 19*l**2 + 2*l + 1. Let r be n(-2). Which is smaller: q or r?
q
Let z = 2 + 1. Let a be 0 + 1*(-9)/(-3). Suppose 0 = -2*j + z*s + 26, -a*j + s - 12 = -58. Is 16 equal to j?
True
Let m = -0.1 + 0.09. Let r = 423 - 120. Let s = r - 300. Are m and s nonequal?
True
Let v be (-108)/14*1/(66/308). Which is smaller: -63 or v?
-63
Let x be 25 - 17 - 1/1. Let c be (-10)/35 + 23/x. Let f be (4/c)/((-7)/3). Does f = -1?
False
Let s = -28009 + 28009.4. Does 1/4089 = s?
False
Let w = 172 + -170.8. Let q = w - -12.8. Which is smaller: q or -1/2?
-1/2
Let y be (4 - -12) + 3 + -1. Suppose -5*q - j = 13, -y*q = -16*q + 2*j + 10. Suppose -2*o = -1 + 11. Which is smaller: o or q?
o
Suppose 10*w = -w + 208 + 1134. Which is greater: w or -4?
w
Let f = -4081 - -4087. Is f smaller than -0.363?
False
Suppose 0 = -76*o - 8003 + 47447. Which is smaller: 528 or o?
o
Let f = 180 + -175. Suppose -3*b - 542 = 2*v, 0 = -5*b - f*v - 74 - 821. Is b greater than -184?
False
Let w = -3473.5 - -3411.5. Let d = -2 - -2.2. Is w at most as big as d?
True
Suppose 0 = 4*l + 2*k - k - 268, -l + 50 = -4*k. Suppose -4*i - l = -i. Let c = i + 28. Is c smaller than 5?
False
Let o be (-2*4/(-5480))/((-153)/15 - -10). Let u be 4/6 - (-15)/(-9). Is o != u?
True
Let c(v) = 8337*v**3 - 4*v**2 + 6*v - 4. Let t be c(1). Which is smaller: 8334 or t?
8334
Suppose 3*h + z + 47 = 0, 16 = 5*z - 4. Let s(y) = 94*y + 14930. Let v be s(-159). Which is greater: h or v?
v
Let d = -760 + 348838/459. Let h = -370079/134028 - -183/73. Let j = h - d. Is -17 at least j?
False
Let a be (2952/590 - -1) + -6. Let f = -14 - -15. Which is greater: f or a?
f
Let s = -920960 + 920973. Suppose 0 = 5*m - 2*r - 37, -3 = -2*m - 3*r + 8. Suppose d - m = -0*d - 2*o, 3*o = -2*d + 15. Are d and s equal?
False
Suppose 1144 = 4*i + 35*q - 33*q, 2*i - 564 = 3*q. Let v = i + -1139/4. Which is smaller: -24/7 or v?
-24/7
Suppose -v = 5*m - 189, -24*v + 35 = m - 21*v. Suppose 0 = -3*q + 79 + 32. Are m and q non-equal?
True
Let v be ((-9)/4)/(24/64). Let q be (20/(-15))/((-1 - 1)/v). Let j(b) = -b - 18. Let d be j(q). Is -14 smaller than d?
False
Let x be 1*-1 - (4 + -56)/(-4). Let o be x/(-6) - (-1)/(-3). Suppose u + 3*a = -o*u + 27, -5*u + a + 21 = 0. Which is greater: u or 1?
u
Let n(g) = -2*g**2 + 63*g - 19. Let b be n(31). Let a be 9/b*120/225. Which is greater: a or 1?
1
Let n = -1118/875 - -164/125. Which is bigger: -1 or n?
n
Let k = -172421 + 2239832/13. Let r = -126 - k. Let f(b) = -b**3 + 8*b**2 - 2*b - 36. Let h be f(7). Which is greater: h or r?
r
Let d = -201 + 196. Let t = 20.7 + -25.68. Let x = -0.02 + t. Are d and x non-equal?
False
Let o = -8211 - -8194. Is 19 bigger than o?
True
Let l(w) = -27*w**2 + 7*w - 15. Let u be l(-3). Is u equal to -278?
False
Let s be (-2610)/25 - (-4)/10. Let t = 171 + -275. Is t at least s?
True
Let g be (4 - 1)*(-5)/30*2. Let q be -10 - -7 - -1*g*3. Let x(y) = y**2