 Suppose 0 = -3*b - w + 28, 91*b = 92*b + 3*w + 4. Which is bigger: l or b?
l
Let z = 3025/511521 - 4/1021. Is 1 less than or equal to z?
False
Let v be (-1 - -6)*6/10. Suppose 5*p - v*p - 6 = 0. Let g be (((-12)/10)/(-2))/p. Do -0.1 and g have different values?
True
Let s = -1078 - -1029. Do -2 and s have different values?
True
Let a be (-4)/20 - 421/(-5). Let b = -85 + a. Which is smaller: -3 or b?
-3
Let z = -1062 - -960. Are z and -102 nonequal?
False
Let r = -1/326 + -621/10106. Does r = -1?
False
Let s = -4.344 - -0.744. Is 2/9 <= s?
False
Let z(b) = 4*b**2 + 0*b**2 - 65 + 63. Let u be z(-2). Let y(r) = -r**2 + 14*r - 12. Let k be y(u). Is -11 > k?
True
Suppose -40 = -9*q + 4*q. Suppose -3*j = -q*j. Is j at least -3/8?
True
Let k be 6/21 - 164/(-14). Suppose 0 = p - 4*p - 4*a - 29, 0 = 2*p - a + 23. Let i = k + p. Are -2/29 and i nonequal?
True
Suppose 0 = -8*q + 3*q - 10. Let m = 30 + -42. Let z be (6/(-8))/((-15)/m). Which is bigger: z or q?
z
Suppose 4*l + 214 = -j, 0*j = -5*l + 3*j - 276. Which is bigger: l or 1/3?
1/3
Let t = 113 - 117. Let b be t/22 - ((-13)/11 - -1). Suppose -4*l + l - 9 = 0. Which is greater: l or b?
b
Let k(i) = -i**3 + 5*i**2 - 4*i - 5. Let q be -12*(0 + 3/(-9)). Let y be k(q). Let c = 117 - 243/2. Which is greater: y or c?
c
Let s(x) = -x**3 - 2*x**2 + 5*x + 4. Let c be s(-3). Let z(u) = -6*u + 3. Let k be z(1). Is k at least as big as c?
False
Let c(i) = -i - 12. Let l be c(3). Let w be ((-12)/(-5))/(l/150). Are -0.1 and w equal?
False
Let w = 227 + -278. Are -52 and w nonequal?
True
Suppose -11*g = -27*g + 64. Let q = 93 - 468/5. Is q at most as big as g?
True
Let h = 1744 - 33137/19. Do 4 and h have the same value?
False
Let d = 9.48 + -9.58. Which is smaller: -121.8 or d?
-121.8
Let s be (-77)/5*5/54. Let h be (4 - 7)/(162/4). Let r = h + s. Which is bigger: 0.1 or r?
0.1
Let u be (-21034)/138 - 2*(-2)/12. Let g = 152 + u. Which is smaller: -1 or g?
-1
Let c = 5.56 + 1.34. Let q = 7 - c. Let n = -12 + 9. Which is smaller: q or n?
n
Let r = -28 + 26.4. Let v = 1.5 + r. Which is greater: v or 0.56?
0.56
Let i = -0.4 + 0.3. Let x = -1/485 - 7264/5335. Let o = x - -83/77. Which is bigger: i or o?
i
Suppose 2*d - 3*m - 473 = 0, 34*d = 29*d + m + 1202. Is d at least 241?
True
Let y = -652/133 - -66/19. Let u = y - -173/28. Let g = -11 - -15. Which is bigger: g or u?
u
Suppose b + 0 = 1. Let j = 0.77 - -0.03. Let a = j - 2.8. Is b at most a?
False
Suppose 0 = 4*j - 6 - 6. Suppose 11*n - j*n = 0. Let p be (1 + 0)*-15 + -1. Is p smaller than n?
True
Suppose 0 = 2*i - 3*o, 5*o = o + 8. Suppose y = i*y - 748. Let v = y + -6362/17. Is 0 at least v?
True
Let x = -0.02 - -5.02. Let j = x - 37. Let m = j + 32.2. Is 2/13 greater than m?
False
Let p(s) = 52*s - 258. Let h be p(5). Which is smaller: h or 28.9?
h
Suppose -3*s - s + 4 = 0. Suppose 0 = 27*p - 29*p - m + 32, 5*p + 3*m - 82 = 0. Let i be 6*(p/(-6) + s). Is -6 at least i?
True
Let j(s) = s**3 + 13*s**2 - 16*s - 5. Let x be j(-14). Let b = 22 - x. Let f be -4 - b/((-28)/(-176)). Which is smaller: f or 3?
f
Let c = 2488 - 2496. Which is smaller: -46/7 or c?
c
Let s be (130/(-8) - -3)/(4/(-64)). Which is bigger: 211 or s?
s
Suppose 3*g + 78 = 2*t - 70, g = -2*t + 156. Let r = 44 - t. Let j = -46 - r. Is j greater than -14?
True
Suppose -46*d + 5801 = 97. Is 120 < d?
True
Let b be 1 + (0 - (1 + 0)). Suppose -5*s = -b*s. Let i = -109/30 + 56/15. Is i less than or equal to s?
False
Let a = -2.13 - -2.05. Which is greater: 4/11 or a?
4/11
Let a(m) = m**3 + 17*m**2 + 13*m - 17. Let s be a(-16). Let p = s + -55. Which is smaller: p or -25?
-25
Let q = -39.1 + 39. Is q bigger than -2/67?
False
Let r be (-2)/(-7) + (-1138)/14. Let g be -3 - ((-2706)/(-35) - 8/(-28)). Let q = g - r. Which is smaller: q or -2/5?
-2/5
Let t = -4/55 - -21/1045. Which is bigger: -1 or t?
t
Let o = -737 - -759. Let y(h) = h**2 + 4*h + 1. Let c be y(3). Are c and o equal?
True
Let m(f) = 5*f - 75. Let x be m(14). Let h be 0 + 1 + 1 + 2. Let a be h - x/((-45)/34). Is -8 bigger than a?
False
Suppose -10*g = -11*g - 36. Let z be (g/(-20) - 1)*65. Let x = 154/3 - z. Is -1 smaller than x?
True
Let g = 9 + -7. Let v be -630*3*(-2)/12. Let y be 498/v + (-4)/(-30). Is g equal to y?
False
Suppose 5*w - 8*w = -102. Let i be 5/10*8/w. Which is bigger: i or 1?
1
Let r(b) = -b**2 + 3*b + 19. Let d be r(6). Let l be d + (267/(-87) - -2). Do 1 and l have the same value?
False
Let x = 0.1313 + -0.1313. Which is greater: x or 85.9?
85.9
Let p be (-4 - 42785) + 3 + -2. Let a = 8086906/189 + p. Let r = a - 4/27. Is r >= 0?
False
Let w be (87/15 - 6) + 2/10. Does w = -1/255?
False
Let z = 92.012 - 92. Let i = -0.02 + z. Is i at least as big as 1/4?
False
Let n = 342.12 - 333. Let t = n + -9. Let f = -0.12 + t. Which is greater: 22 or f?
22
Let p = 2627/15 + -175. Let j be 0 + 3 - (-1 - -1). Let m be j - (0 - -2 - 0). Is p less than m?
True
Let m be 4/(-5) + (-1)/((-5)/(-16)). Which is greater: m or -5?
m
Suppose 28*j + 367 = -53. Let p(r) = -2*r**3 + 5*r**2 - 3*r + 2. Let a be p(3). Is j >= a?
True
Let j = -6.9456 - 0.0544. Is j at least 0.022?
False
Suppose 4*s + 2 = 3*f - f, 1 = 3*f - 4*s. Let x(c) = -2*c**2 - c. Let o be x(f). Is o at most 1/19?
True
Let h = -1945 + 114762/59. Do h and 0 have the same value?
False
Let h(n) = -17*n - 4. Let g be h(3). Let k be 44/g*-5*1. Suppose -5*r + k*a + 20 = -r, 0 = r - 3*a - 13. Is 2/5 at most r?
True
Suppose 4*s + 3*y = 1, -4*y - 37 = -3*s + y. Suppose 2*r + 26 = -3*m, -s*m - r - 73 = -6*r. Let l(w) = w + 8. Let v be l(m). Does v = -3?
False
Let g = 64 + -67. Let o be (-7)/(-1)*-3 + 12/g. Is -101/4 greater than o?
False
Let c be 34*-2*(-2)/8. Suppose 15 = 4*p - c. Let n = -7 + p. Which is bigger: n or 2?
2
Let v = -8 - -5. Let n be ((v - -1) + -4)/(-2). Suppose -r - 4*r + 10 = -g, -3*r = -n. Is -5 <= g?
True
Let t(p) = 53*p + 791. Let y be t(-15). Suppose 4*x + 0*x = -8. Which is smaller: y or x?
y
Let o = 83 + -104. Let a be o*(8/(-30) + 8/(-20)). Which is bigger: a or 16?
16
Let d be 3/21 - 7106/51898. Is d smaller than 0?
False
Suppose -3*k = -0*k - 15, 0 = -2*t + k + 7. Let f be t/(-4)*(-30)/(-162). Let a = -1/18 + f. Which is smaller: 0 or a?
a
Let v = 6 + -1. Let n = v - 5.08. Let q = 0.92 - n. Is q equal to 1/4?
False
Let s = -913 - -983. Which is smaller: s or -7?
-7
Let n be (6/7 - (-3)/21) + 45. Let x(a) = 3*a. Let m be x(15). Do n and m have the same value?
False
Let c = 1.7 + -0.7. Let d = c + 13. Let p = 14 - d. Which is smaller: -1/2 or p?
-1/2
Let c(f) = f**3 + 4*f**2 + 2. Let h be c(-4). Let x be 1/h*(12/(-27))/(-2). Which is smaller: 1 or x?
x
Let q = 38/15 - 236/105. Let n = 33 + -19. Which is bigger: q or n?
n
Suppose q = -4*o - 104 - 120, 4*q = 4*o + 224. Are -55 and o equal?
False
Suppose -b - 3*a + 463 = b, -4*a + 920 = 4*b. Suppose -7 = -13*t + b. Which is bigger: t or 17?
t
Let z = -196 - -195. Which is smaller: 1/368 or z?
z
Let h be (-5 - 0)*(-30)/(-25). Let j be h/(-15) - (-8974)/90. Let g = 100 - j. Which is bigger: g or -1?
g
Suppose 3*x + 0*x = 12. Let f be (30 - 31 - 3*-1) + 2. Is x not equal to f?
False
Let s = -19045/12 + 1588. Suppose -22*u = -21*u - 2. Which is bigger: s or u?
u
Let m(o) = 32*o - 149. Let w be m(5). Which is smaller: w or 8?
8
Let t(w) = -4*w**3 + w**2 + 3*w + 1. Let c be t(-1). Suppose -v + 2*v + 3 = -l, v = c*l + 1. Which is bigger: l or 2/65?
2/65
Suppose 2*q - 2*w + 0*w + 46 = 0, 4*w = -5*q - 124. Let o = q + 12. Let m = o + 0. Is m != -11?
True
Let f(j) = 4*j - j**2 - 4*j + 10*j + 7 - j. Let g be f(11). Is g greater than -17?
True
Let p(z) = -z. Let l be p(-3). Suppose -g - 46 = -0*k - l*k, -3*g = -2*k + 40. Let i be 1*k*(-6)/12. Is -8 at least as big as i?
False
Let x be 0 + (-18)/(-207) - (-2)/(-23). Is x > -1/347?
True
Let b = 12/19 + -94/209. Which is greater: 33 or b?
33
Let b(h) be the second derivative of -h**3/6 + 11*h**2/2 + 2*h. Let s be b(12). Let d be 2/6 + 7/(-3). Which is smaller: d or s?
d
Suppose 58*a + 1140 = 68*a. Is a less than or equal to 111?
False
Let l = 0.924 - -7.076. Which is greater: -10 or l?
l
Suppose -3*r + 60 + 30 = 0. Let d be (r/8)/(52/16 - 3). Which is smaller: d or 2?
2
Suppose -5*m + 2*m = 5*i - 2303, 2*i + 2*m = 918. Which is greater: 464 or i?
464
Let v = -226 + 249. Is -1 >= 