 8*v + 0. Let s be k(-6). Is s greater than 13/7?
False
Suppose 16 = 22*r - 6. Are r and -6/13 unequal?
True
Let b(r) = -r**3 + 3*r - 1. Let f be b(4). Let i be -37 + -11 + 2 + -6. Which is smaller: i or f?
f
Suppose 1590*z = 1579*z + 165. Let a be 1 + -1 + (-88)/(-6). Is z at most a?
False
Let j = -1318 + 986. Are -661/2 and j unequal?
True
Let d = -145.9 + 145. Do d and -1/48 have different values?
True
Let l(a) = 100*a + 28. Let b be l(-8). Does -773 = b?
False
Let i be -8 - 16/((-16)/(-423)). Is i bigger than -432?
True
Let u = 56 + -5. Let f = -51.3 + u. Is -2/9 at least as big as f?
True
Let b(f) = f**2 + 7*f + 6. Let l be b(-6). Let t = -5/114 - -2/57. Which is smaller: l or t?
t
Suppose -15 = v - 6*h + 2*h, v + 4*h - 17 = 0. Let a be v - (0 - 0 - -7). Let y = 6 + a. Is 2/43 bigger than y?
True
Suppose 17*b - 28*b + 176 = 0. Which is bigger: b or 12?
b
Suppose u - 450430 = -s, 3*u + 1351266 = 5*s - 2*s. Let q be s/(-76)*(-4)/(-18). Let z = q - -1317. Which is smaller: z or -1?
-1
Suppose -83*n = -87*n - 548. Which is greater: -136 or n?
-136
Let t be (-40)/1*(0 + 1). Are t and -38 non-equal?
True
Let x = 0.38 + -9.38. Is 1 greater than or equal to x?
True
Suppose -11*n = -13*n + 4. Let i(v) = -v**2 - 5*v - 2. Let j be i(-5). Let g = j + 2. Which is smaller: g or n?
g
Let k = -38 + 29. Let v(x) be the first derivative of -2*x**2 - 8*x - 1. Let i be v(k). Which is greater: i or 27?
i
Let t = 262723/154 - 1706. Which is smaller: 0 or t?
t
Let b(l) = l**3 - 4*l**2 + 2*l - 60. Let g be b(6). Do 1/6 and g have the same value?
False
Let l = 43 + -24. Let b be (-166)/(-10) - (-6)/15. Let m = l - b. Is 1 smaller than m?
True
Let l = -0.012 + 9.762. Let k = l - 0.95. Let f = k - 9. Is 3/7 > f?
True
Suppose -2*c - 127 = 3*d + 79, 0 = -3*d + 3*c - 186. Is d bigger than -67?
True
Let k be (-2)/(-4)*(48 - 0). Suppose -4*s = -4*g + 4, 2*g + k = -5*s + 5. Let d = 0.293 + 0.007. Is d greater than s?
True
Let d(z) = 2*z - 5. Let q be d(7). Suppose -4*v - 7 - q = 0. Let p be (-30)/(-9) + v/12. Are 3 and p unequal?
False
Let r = 20 - 35. Let s be ((-27)/r)/(9/30). Is 5 equal to s?
False
Let s = 17158/11 + -1560. Is -32 greater than or equal to s?
False
Suppose -2*x + x + 3 = 0. Suppose 0 = m - 3*j - 12 - 15, x*j - 69 = -3*m. Let r be m/(-30)*10/2. Is -4 at most r?
True
Let k(p) = -p**2 + p - 16. Let f be k(5). Let l = f + 35. Which is smaller: -2 or l?
-2
Let l(c) = 8*c + 20. Let x be l(10). Suppose -5*t = 3*j + 2*j - x, -2*t + 43 = j. Do t and 45/2 have the same value?
False
Let w be 12/16*-2*1. Let h = -18.852 - 0.148. Which is bigger: h or w?
w
Let z(y) = -8*y**2 + 18*y - 3. Let a be z(2). Which is greater: a or 1/1000?
a
Let k = 0.3 + -0.2. Let y = 4/357 - -46/2975. Which is bigger: k or y?
k
Let j = 59 - 25. Let p be (-15)/(-295)*j/8. Let s = 2/59 + p. Which is smaller: s or 0?
0
Let c be (-467)/(-6)*(-75)/(-10). Let v = 588 - c. Let o be -14*(-1 - ((-64)/(-28) + -3)). Which is smaller: v or o?
o
Let m = 60 + -59.91. Let r = -0.19 + m. Which is greater: r or 0.15?
0.15
Let k be 36/(-42)*(-42)/9. Let o be (23/(-115))/(k/135*-1). Which is bigger: o or 6?
o
Let l(b) = b**2 + 8*b + 3. Let x(a) = a**3 + 14*a**2 - 14*a + 7. Let o be x(-15). Let p be l(o). Let c be (-5)/p - (-8)/12. Is c at least as big as -0.1?
False
Let q = 3761 + -2074. Let u be (-4)/(-10) - q/280. Which is bigger: -6 or u?
u
Let x = 36 + -22. Let i = x + -8. Let w = 768 - 2305/3. Which is smaller: w or i?
w
Let c = 337/1610 + -7/46. Let p(u) = -u**2 - 6*u + 8. Let f be p(-7). Which is smaller: c or f?
c
Suppose 0*o - 12 = 4*o - 5*m, -2*m + 4 = -2*o. Let i(r) = r**3 - r**2 - 3*r + 2. Let w be i(o). Let z be 224/756*6/(-8) - 0. Is w != z?
True
Let g = 636 - 614. Which is greater: g or 1?
g
Let k be 3 + -1 + 51 - 5. Is 49 greater than or equal to k?
True
Let i(s) = 15*s**2 + 8*s + 22. Let q be i(-2). Which is smaller: q or 65?
65
Let u(j) be the first derivative of j**4/4 - 2*j**3 + j**2/2 - 5*j + 85. Let q be 3/2*2*2. Let d be u(q). Which is bigger: -1/5 or d?
d
Let a = 35 - 0. Let h be (-14)/a - (-61)/65. Is 0 >= h?
False
Let w(j) = j**2 - 16*j + 29. Let x be w(2). Which is bigger: x or 604?
604
Let p(d) = -d**3 - 7*d**2 - 4*d - 4. Let o be p(-7). Let z be (o/18)/((-6)/(-9)). Let w = 6 - 4. Is w at least z?
True
Suppose -5 = -4*d + 3. Suppose 0 = 5*i + d*v - 57, -10 = -i + v - 0*v. Let x = i - 11. Which is smaller: x or -2/5?
-2/5
Let r be 18/117 + (-804)/832. Which is bigger: -0.2 or r?
-0.2
Let a = 104 - 114.72. Let c = 0.28 - a. Let b = c - 10. Which is greater: b or -4/9?
b
Let v be (-6398)/46 + (-48)/(-552). Which is smaller: 3 or v?
v
Suppose -25*y + 5*y + 20 = 0. Which is bigger: y or -10/31?
y
Suppose -3*b + 0*b = 0. Suppose -8*f + 4*f - 5*o + 40 = 0, -3*f - o + 30 = b. Let y be (f/(-20))/((-3)/(-2)). Which is greater: -1 or y?
y
Suppose 6*n = 211 - 175. Is n <= 4?
False
Let u be (3 - 3)/(4 - 2). Let g = u + 6. Let q be (1/10)/((-1)/g). Is q != 0?
True
Let n be (-3)/((-21)/(-14) + 0/2). Let f be (-4)/96 - n/(-6)*-2. Which is smaller: 0 or f?
0
Let v = -0.005 - 17.995. Let j = v - -17. Is j <= -2?
False
Let o = 145 + -150. Which is smaller: -23/4 or o?
-23/4
Let v be -1*(2/2 + -6). Suppose -2*y + v - 1 = 0. Let d = 114 + -112. Are y and d unequal?
False
Let n = -90 + 92. Suppose 350 = 4*d - 6*d. Let z = -1923/11 - d. Is z at most as big as n?
True
Let c = 286 + -285. Which is smaller: -9/83 or c?
-9/83
Let s be ((-4)/(-5))/((-1)/5). Let n be 5 - (-2)/(-2) - (-4 - -32). Let d be 21 + n + (-6)/4. Is s > d?
True
Let x be (-36)/(-2295) - -8 - 8. Which is greater: 0 or x?
x
Let r(y) = -31*y - 44. Let a be r(-4). Which is greater: 79 or a?
a
Suppose 0 = 2*m - k - 68, 13*m - 15*m + 3*k = -72. Which is smaller: 34 or m?
m
Let x(q) = -4*q**2 - 2*q. Suppose -6 = 2*j - 0*j - 2*t, 3*t - 11 = j. Let r be x(j). Is -34/5 >= r?
False
Let j be (-9)/(-2)*(5 + -7). Let b = 5 - 5.04. Let f = b + 0.04. Which is bigger: j or f?
f
Let h be (-6)/27 + (-2)/(-90). Let a = -2.942 + 3.032. Which is smaller: a or h?
h
Let r be 1053/(-21) + (2 + 1)/21. Let t be r/80*4/(-50). Which is smaller: 1 or t?
t
Suppose 5*u + 21*u = 0. Which is smaller: -2/1143 or u?
-2/1143
Suppose -4*w + 18 = 2*w. Let r be (w - 4) + (-11)/(-12). Let m = -4 - -5. Which is bigger: m or r?
m
Let c be 2/(-5) + 6/(-10). Let d = -5 + -36. Let i = 46 + d. Is c < i?
True
Let n(t) = -t**2 - 1. Let j be n(1). Let x = 18/389 + -8403/5057. Is j equal to x?
False
Let p = -28 + 25. Let m = 3.5 + p. Is 2/3 < m?
False
Suppose -p + 2 = -3*p. Let s be 4 - (3 + (-1 - p)). Let g be -3 + (s - (2 + -3)). Is 2/71 at least g?
True
Let s = 92485/73 + -1267. Is s < 1?
True
Let y be (-456)/(-7) + (-116)/28 + 4. Let t = y + -62. Is 10/3 > t?
True
Let y(q) = q - 10. Let s be y(13). Suppose s*b = -5*g - 110, -g - 12 = 3*b + 22. Is g <= -20?
False
Let w = -0.06 + -0.34. Let h be ((-476)/(-511) + -1)*(-4)/(-30). Let q = h + -424/1533. Is q greater than or equal to w?
True
Let n(d) = -d**3 - 9*d**2 - 2*d + 11. Let p be n(-6). Let z = p - -21. Which is greater: z or -62?
-62
Suppose 6*l = 4*l + 144. Suppose -2*b + 43 = t, -2*b = b - t - l. Do 22 and b have the same value?
False
Suppose -2*b + 1018 = -2*k, -k + 13*b = 9*b + 497. Which is smaller: 0.1 or k?
k
Suppose 2*a + 5*h + 130 = -0*a, -4*a - 4*h - 248 = 0. Let c be 3*1*3/(27/a). Let o(v) = -v**3 + 2*v**2 + 3*v + 1. Let s be o(4). Which is smaller: c or s?
c
Suppose 8*f + 923 + 285 = 0. Are -151 and f equal?
True
Let d = -5.9 - -0.9. Let j = d + 3. Which is greater: 1 or j?
1
Let y = 71912858/2193 - 32792. Is 0 >= y?
False
Let v be -61*4/82 - -3. Let f = -46 - -47. Which is smaller: v or f?
v
Suppose -5*y - 3*j = -27, 0 = y + 3*j - 5*j - 8. Let d be 2 + 2 - (-4 + y). Suppose -7*u + 5 = -d*u. Is 0.1 greater than or equal to u?
False
Let i(t) = -6*t - 2. Let g be i(-3). Suppose a - 3 = -g. Suppose -11 = 4*w + 3*y + 50, 160 = -13*w + 3*y. Is w at least a?
True
Let c = -12.946 - 0.054. Is c less than -5?
True
Suppose 7 - 1 = -3*y. Let k = -2.193 + 3.193. Is y equal to k?
False
Let y be ((-1060)/26)/(1/8). Let n = -326 - y. Is 0.1 at least as big as n?
False
Let j be (-8)/28 + 69/21. Let m(b) = 2*b - b - 5*b + 3*b + j. Let x be m(4). Which is bigger: 2/11 or x?
2/11
Let l be 46/40 - (-140)/(-350). Let a = 4.06 + -0.