uppose w + 3*k = 21, 10 + 77 = 3*w + k. Let v = 29 - w. Which is smaller: v or 4/11?
v
Let t be 4/(-10) + (-377984)/365. Let u = t - -1036. Which is smaller: u or -1?
-1
Suppose 3*d + 13 = 5*j, -2*d - 3*d = -2*j - 10. Suppose 85 = -j*g + 25. Let a(r) = -r**3 + 4*r**2 - 3*r - 1. Let k be a(4). Which is bigger: k or g?
g
Suppose 50 = -11*h - 49. Let v be 214/6 + (-12)/h. Is 38 equal to v?
False
Let j(t) = -8*t - 19. Let k be j(-8). Let a = k - 41. Let b(s) = 3*s**2 + s. Let w be b(1). Is w bigger than a?
False
Let b be ((-1)/(-6))/(-1 + (-8104)/(-32)). Is 0 greater than or equal to b?
False
Suppose -4*o + 21 - 49 = 0. Let z(s) = -s**2 - 6*s + 2. Let x be z(o). Let m = 2 - x. Is m bigger than 0?
True
Let l = 21181/225 - 844/9. Are -1 and l equal?
False
Let w = -0.61 - -0.31. Let l = -73 + 76.1. Let i = l + -3. Is w at least as big as i?
False
Let r = 15 - 15.27. Let s = 0.17 + r. Is -2/13 equal to s?
False
Suppose 0 = 10*z - 1295 - 4095. Is 539 less than z?
False
Let j = 3.04 - 0.04. Let k = 6.91 + 0.09. Let g = 6.9 - k. Which is smaller: j or g?
g
Let h = -82.79 + -7.41. Let r = h + 12.2. Is r less than 0?
True
Let w = 0.154 - -1.846. Which is greater: -0.263 or w?
w
Let t = 705 - 146. Is 559 not equal to t?
False
Let l(q) = -4*q - 42. Let o be l(-11). Suppose -9 = -f - 2*a + 19, -4*f - o*a = -130. Which is bigger: -1/2 or f?
f
Let d be ((-4)/(-14))/(15/(-35)). Is d <= 0.22?
True
Let o be (-80)/(-66) - (-4)/(-6). Let y(s) = -s - 12. Let k be y(-4). Let i(w) = -w**2 - 8*w + 1. Let r be i(k). Which is smaller: o or r?
o
Let m(q) = -185*q + 3 + 8 - 3 + 2*q**2 + 197*q. Let r be m(-8). Is r at least as big as 40?
True
Let f be (1/(-35))/(10/825). Let n = 571/266 + f. Are 1 and n non-equal?
True
Let m be 2 + -3 - 80/(-5). Suppose 64 = 4*z - 4*j, 4*z + 4*j - 2 = 46. Is z at least as big as m?
False
Let t(f) = -f**3 + 6*f**2 - 4*f - 3. Let i be t(5). Suppose -c - p - 3 = 0, i*c - 5*p - 15 = 6*c. Is 14/11 > c?
True
Let s be 4/(-6) - (-80)/12. Let d be (2 + 8/(-6))/(s/(-333)). Which is smaller: -36 or d?
d
Suppose -3*d - 2*d - 10 = 0. Let s be 0 - -2 - d/10. Let f be (3/6)/((-2)/(-4)). Which is greater: s or f?
s
Suppose 4*s = 4*w + 28, 5*w = 5*s - s - 31. Let h be (5/(s + -3))/6. Which is smaller: h or 1?
h
Let y(c) = -c - 42. Let i be y(16). Let o = i - -59. Suppose -5 = 2*v - 7*v. Is v smaller than o?
False
Let n = 0.811 - -0.189. Which is smaller: 74 or n?
n
Suppose -10 = -5*b, -2*b + 8 + 24 = p. Let z be -4 + (4 - (p/16 - 4)). Is 1/7 less than or equal to z?
True
Let j be (-5)/5*(-7)/(-21). Let k be 2 - (-2 - (-254)/64). Which is greater: j or k?
k
Let t(p) = -2*p**2 + 18*p + 4. Let f be t(9). Let i be 10/(-8) + 1/f. Which is smaller: i or -1/42?
i
Let r = 0.05 + 0.02. Let f = r - 0.18. Let d = f + 0.21. Which is smaller: -1 or d?
-1
Let t = -1400 + 644. Is t >= -756?
True
Let y = -197 - -139. Let d = y - -58.1. Which is smaller: d or 6?
d
Let w = 44/45 - -1607/90. Which is greater: 18 or w?
w
Let s be (-8)/6*(-153)/(-6). Which is bigger: s or -32?
-32
Let s be 4/42 - (-26741)/357. Let y = 73 - s. Which is smaller: -22/9 or y?
-22/9
Suppose -4*c - 85 = -5*a, 65 = 5*a - 5*c - 25. Suppose -3*k = -5 - a. Let b be k + -2 + (2 - 4). Is -0.04 greater than or equal to b?
False
Let s = -32/679 + 129298/6111. Which is bigger: 22 or s?
22
Let q = -1.4 + -0.6. Let c be (-36)/(-15) + (-6)/(-10). Suppose 0 = -c*w + 6*w. Which is smaller: w or q?
q
Let s be -2 + (1 - -2 - 1). Let r be ((-2)/8*s)/1. Let l(t) = -t**3 - 3*t**2 - t + 1. Let h be l(-1). Is h less than r?
False
Suppose 2*y + 2*i - 4 = 0, -2*y + i + 2 = y. Let q be (79/y)/((-7)/42). Let a = 3324/7 + q. Which is smaller: a or 0?
0
Let l be 2 - 27*5/((-31260)/(-464)). Let v = -2593/3126 + l. Is 0 < v?
False
Suppose 2*a = 15 - 5. Let g be 1 + a/(10/(-16)). Let i be ((-12)/(-9))/(g + 11). Is i at least as big as 0.2?
True
Suppose 12*j + 3588 = 58*j. Which is smaller: j or 77?
77
Suppose 3*q + 1532384 = 29669. Let t = 8511887/17 + q. Let c = t + 206. Is -0.1 > c?
False
Let y = 15968/7 - 2286. Let l(b) = -5*b + 25. Let i be l(6). Which is smaller: i or y?
i
Let s be -92 + 6/9*-3 + 4. Is s bigger than -90?
False
Suppose -5*h = -5*k - 30, 4*k + 12 = -0*k. Suppose 2*r = -0*r + h*r. Is -3/10 less than r?
True
Let d be (-10 + 34/4)*506/(-3). Which is bigger: 763/3 or d?
763/3
Let a be ((-3)/2)/((-12)/(-32)). Let y be -4*a/(-24)*-3. Suppose 0*k = -k + y. Is k at most as big as 2?
True
Suppose b = 5*s - 13 - 8, 2*b + 17 = 5*s. Suppose -4*a + 4*i - 12 = 0, 2*a + s*i = -a + 15. Let y = a + -6. Which is smaller: 2/3 or y?
y
Suppose -252 = 4*i + 3*x + 558, 0 = 2*x + 4. Which is smaller: i or -200?
i
Let s = -2 + 3. Let i(d) = -d - 2. Let a(f) = f - 13. Let q be a(10). Let x be i(q). Is x greater than s?
False
Let i be (2 + 7/(-8))/((-17)/34). Is i > 0.029?
False
Suppose -25 = -3*b - 2*b. Suppose h - 285 = -b*c - 0*h, 5*c + 5*h - 305 = 0. Which is bigger: 55 or c?
c
Suppose 2*t + 4 = -2*v, 7*t - 2*t + 2 = -3*v. Let b be 3/15 + 208/10. Suppose -t*d + b = -5*d. Which is smaller: d or -6?
d
Suppose 22*b = -136 - 2834. Which is smaller: -134 or b?
b
Suppose 15*v = -4*v. Is 1/1867 at least as big as v?
True
Let t(f) = 4*f - 42. Let k be t(11). Suppose -5*u + 26 = 2*j - 0, 11 = j + k*u. Let p = 5 - 1. Which is smaller: j or p?
j
Suppose 0*t - 5 = 5*t. Let g be -8 - -4 - 38/(-2). Suppose 0 = 4*c + c + g. Which is greater: t or c?
t
Suppose -2 = -z - 3*l, 0 = 2*z - 5*l + 17 + 34. Let s = 21 + z. Let k be -2 - 14/(-5) - (-328)/40. Is k at most as big as s?
False
Let i = -4630952 - -1009545453/218. Let t = -6/109 - i. Which is bigger: t or 11?
11
Let s(g) = -g**2 - 9*g - 15. Let c be s(-7). Let b be c/2 - (-6)/4. Which is greater: 2 or b?
2
Let k(s) = -87*s - 131. Let v be k(-4). Is 217 >= v?
True
Let n be ((-4)/(-8) - 1)*(-1 - -1). Which is smaller: -4/53 or n?
-4/53
Let q be (-5)/(-2)*(-84)/(-105). Suppose -18 + q = -8*t. Is 2 at least t?
True
Let i = 670 + -668. Is -8/21 at most i?
True
Let t(i) = 15*i + 31. Let b(m) = -32*m - 62. Let d(f) = 6*b(f) + 13*t(f). Let q be d(-10). Let z = -3/11 + -2/33. Is z > q?
False
Let v(l) = -l + 3. Let c be v(5). Let i be ((-12)/954)/(c/(-6)). Do 1 and i have different values?
True
Let o be (-14)/(-4) + 3/(-6). Let c be (-3)/(-3) - (-1 + 0). Suppose -f = c*f - o. Does 2/11 = f?
False
Let q(r) = r**2 + 1. Let y(f) = 2*f**2 + f + 1. Let a(w) = q(w) - y(w). Let h be a(-3). Let g = -263 + 256. Is h at most as big as g?
False
Let i = -612/5 + 122. Let u(p) = -p**2 - 6*p - 1. Suppose s = -3 - 3. Let l be u(s). Is i > l?
True
Let c = 179279/166 + -1080. Which is smaller: 0.1 or c?
c
Let t(y) = -y**3 - 8*y**2 - 6*y + 6. Let w be t(-7). Let a be (77/14)/(5/6 + w). Is a at most as big as -33?
True
Let a(v) = -v + 3. Let y be a(3). Let s be (0 - 4)*(-3)/4. Suppose -s*q + q + 16 = y. Are 7 and q equal?
False
Let d(f) = 41*f - 5. Let t be d(-1). Let v be t*(-2 - 1)/(-6). Are v and -22 equal?
False
Let j = 2/2405 - 212/23569. Which is smaller: j or -1?
-1
Let m(t) = -t - 4. Let g(n) = n**2 + 8*n + 8. Let q be g(-6). Let x be m(q). Suppose -3*r - 19 - 2 = x. Which is greater: -5 or r?
-5
Let j be (13 - 9)/(61/1). Which is greater: j or 1?
1
Let d be (-80)/(-12)*6 + -11. Which is smaller: 43 or d?
d
Let w be (-1)/1 + (-6)/3030*-515. Is -0.2 less than w?
True
Let t = -61.88 - 1.12. Let p = t - -61. Which is smaller: 11/3 or p?
p
Let l be (-61)/(-3) + (-20)/15. Suppose -5*v + 10 = 3*k - 11, 0 = 3*v + 5*k - l. Suppose 11 = 3*d + j, -2*d - v*d + 2*j + 11 = 0. Which is smaller: 1 or d?
1
Let c = -22 - -22. Suppose c = 3*h + 6 - 0. Let m(j) = -j**2 + 4*j + 5. Let o be m(5). Which is smaller: h or o?
h
Let n be (-25)/75 - (-20)/(-21). Suppose 0*d + d - 15 = 2*y, d = 3*y + 20. Let u(x) = -x - 6. Let l be u(y). Do l and n have different values?
True
Let i = -449 + 446. Is i < 470?
True
Let x = 92493/3065621 - 3/7607. Which is smaller: -1 or x?
-1
Let g = 60 + -59. Let j be (-184)/350 + 4/14. Is j bigger than g?
False
Suppose 3*j - 2*j = 5*l - 129, -j = -l + 129. Is -128 bigger than j?
True
Let o = -1132 - -1092. Which is smaller: -19 or o?
o
Suppose -2*a = 10, 585 = 190*v - 185*v - 5*a. Which is bigger: v or 118?
118
Let h = -37 + 51. Suppose -2*m - 5*s + s = -h, 0 = -3*m + 3*s - 15. Which is smaller: m or -3/5?
m