ppose -6*j + 3*j + 4*p = -23, 3*j + 5*p - 5 = 0. Let w(v) = -2 + 4*v - 6*v**2 + 5*v**2 + 2*v + 0*v**2. Let k be w(4). Is k at most as big as j?
False
Let b(o) = -o**2 + 8*o + 8. Let u be b(9). Is -3/13 >= u?
True
Let r = -7 + 10. Let v = r + -6. Suppose -x = -2*x - 1. Is x greater than v?
True
Let m = -117 + 2221/19. Which is smaller: m or -1?
-1
Let v = 790879/2856 - 6625/24. Let o = -1/51 + v. Is o > 2/5?
True
Let u(a) = -a + 8. Let q be u(7). Let g be 8/(-45) + 4/10. Which is bigger: g or q?
q
Let o(q) = 4 + 1 - 17*q**3 + q**3 + 26*q + 10*q**2. Let n(s) = 3*s**3 - 2*s**2 - 5*s - 1. Let z(j) = -11*n(j) - 2*o(j). Let v be z(3). Which is bigger: v or -1?
v
Suppose -3*n - n + n = 0. Which is smaller: n or -1?
-1
Let m(z) = z**3 - 5*z**2 + z + 3. Let q be m(3). Which is smaller: q or 0?
q
Let r = -61.1 + 69. Let p = r + -0.9. Let t = p - 5. Is 0.1 < t?
True
Let i = -115/3 - -1247/33. Let s(g) = -g**2 - 5*g + 4. Let f be s(-6). Which is bigger: f or i?
i
Let q = -127/19 + 12789/1919. Which is greater: -1 or q?
q
Let m = -4/27 + 122/459. Which is bigger: 2/5 or m?
2/5
Let k(o) = 7*o - 56. Let s be k(8). Which is greater: s or 2/297?
2/297
Let t be (1/(-2)*0)/1. Suppose -3*v + 27 = -5*l, -3*v - l + 11 - 2 = t. Suppose -a = -3*a + v. Is 2 >= a?
True
Suppose -5 = -2*b + 3. Suppose -4*c + 4*q = -0*c, -2*c = b*q. Let g be 0 + (15/(-21) - -1). Is c bigger than g?
False
Let b be (-1)/66*9/6. Let h = b - -93/220. Let x be ((-9)/24)/((-6)/(-4)). Which is bigger: h or x?
h
Suppose 11 = 5*l + 5*b + 1, 4*l = 5*b + 17. Suppose -5 = -l*k + 7. Suppose 2*m - 4 = k*m. Does -1 = m?
False
Let c = -3/20 - 1/20. Let j(q) = -2*q**3 + 2*q**2 - q. Let p be j(1). Let f be p/(-2)*14/7. Is f <= c?
False
Let z = 2 - -2. Suppose -5*w + 3 = -3*j, -3*w + 2*w + 4*j = -z. Let h = 11/21 - 4/21. Is w <= h?
True
Let i(g) = g**3 - g**2 - 5*g + 4. Let y be i(3). Suppose -3*l + y + 2 = 0. Which is smaller: l or 4?
l
Suppose 4*o - 5*g = -8*g + 145, -o + 4*g = -22. Is o at least 4?
True
Suppose -5*f - 1 = 5*r - r, -22 = -2*f + 4*r. Suppose 0 = -k - 4*u + 20, 0 = -f*k - 0*k + u + 8. Is 3 greater than k?
False
Let v(j) = -j**3 - 9*j**2 + 9*j - 10. Let i be v(-10). Let k be (-1 + 1)/(3 - 2). Is k less than or equal to i?
True
Suppose -m - 9 = 4*x, 2*m + 4*x + 10 = -0*m. Let p = -1 - m. Suppose p*u = -4*u. Is u < 1/5?
True
Let v = 15 + 37. Is 54 bigger than v?
True
Let s = 0.1 - 0.1. Suppose 0 = 3*q + 8 + 1. Let x = -7/2 - q. Which is greater: x or s?
s
Let s = -130.3 - -130. Let g = -1 + 3. Let j = 0 + g. Are s and j equal?
False
Let p be (-2)/(-2) + (-3 - 24/(-14)). Which is smaller: p or -11?
-11
Let q be ((-12)/20 + 23/30)*2. Let s be 12/(-27)*(-6)/(-4). Is q != s?
True
Let p = 218/989 + -4/23. Are p and -1 nonequal?
True
Let x = 9 - 7. Let u be (-7)/x*60/(-35). Which is smaller: 5 or u?
5
Let f = -112 + 113. Are f and 3 equal?
False
Let s = 3 + -10. Does s = -4?
False
Suppose p + 8 = -0*p. Which is smaller: -4 or p?
p
Suppose 0 = 2*q + 8, q - 6*q = -c + 26. Let a be (-3 + c/2)/(-3). Which is bigger: 2/3 or a?
2/3
Let o be (-4)/6*(117/6)/13. Do 2/27 and o have different values?
True
Let o = -52 - -52. Is -5 at least as big as o?
False
Let f be (-4)/(-8) + 1 + -2. Which is smaller: f or -0.1?
f
Let w = 52 + -68. Which is smaller: -14 or w?
w
Let r(b) = 20*b + 4 - 4. Let w be r(1). Suppose 8 = 2*j, -3*j + w = 2*a + 2*j. Do -1 and a have different values?
True
Suppose 0 = l - 2 + 3. Let q be (4*12/16)/l. Is q smaller than -1?
True
Suppose 2*t = -3*t + q + 10, 23 = 3*t - 4*q. Let a be (t/4)/(18/(-96)). Is a bigger than -1?
False
Let k = -2.5 + 2.24. Do 0.1 and k have the same value?
False
Let p = 20 - 31. Let t = p + 15. Let g = 8 + -5. Is g smaller than t?
True
Let l be (-4 - (-51)/12)*177. Let a = l + -44. Is a at most as big as 0.1?
False
Let u = 3.1 + -3. Let s = 0 + -0.1. Let l = u + s. Is 1/3 > l?
True
Suppose -2*v + 22 = -4*v - 2*c, 2*c = -v - 15. Let k = -5 - v. Which is smaller: 4 or k?
k
Suppose -2*n = -5*n + 4*g + 11, 4*n = 3*g + 10. Is n >= 5/9?
True
Suppose 5*v - 5 = -0*v. Let g be (-3 + -1)*v/6. Is g at most as big as -1?
False
Let s = 2.9 - 3. Let o = -7/2 + 23/6. Is o < s?
False
Let c be ((1 + -3)/2)/(1/18). Are c and -19 nonequal?
True
Let i be 3/2*((-14)/6 - -2). Is -6 at least as big as i?
False
Suppose 0 + 7 = -v. Let d = v + 8. Is d < 1?
False
Let a be (19/(-2))/((-9)/30). Let p = a - 32. Is p smaller than -0.3?
True
Let q be 1*-1*(-3 + 4). Which is smaller: q or 0?
q
Suppose 3*u = 11*u + 112. Which is bigger: u or 0.3?
0.3
Let z = -0.18 - -2.08. Let x = z + 7.1. Which is smaller: -1 or x?
-1
Let s = -0.016 - -25.016. Let u = -25.01 + s. Let r = 1.1 - 0.1. Which is bigger: u or r?
r
Let c(w) = 2*w + 14. Let g be c(-12). Which is smaller: g or -51/5?
-51/5
Suppose -2*s + 44 = s - 5*i, 60 = 5*s - 5*i. Is s equal to 8?
True
Let y = -15 + 9. Let a = -3 - y. Is a bigger than 3?
False
Let c = -35.9 + 34. Let b = 7 + -5. Let h = c + b. Which is smaller: h or 1?
h
Let c = 0.1 + -14.1. Let d be 6 + (-402)/72 + 1/4. Which is bigger: d or c?
d
Let o be (-23)/(-2 + 7 + -4). Which is smaller: -22 or o?
o
Let i = -0.1 + -0.9. Let u = -0.9 - i. Let q = 1/4 - 13/12. Is q less than or equal to u?
True
Let s = -7/2 - -10/3. Let g = -3 - -2.9. Which is bigger: s or g?
g
Let p be 10/8 - 7/28. Which is greater: -1 or p?
p
Let t = -13 - -14. Suppose x = l - 2, 0 = 2*l + 4*x + 9 - t. Which is bigger: -2/19 or l?
l
Let y be (-3)/4 + (-4)/8. Suppose 23 = -3*a + 5*a - 5*w, -3*a - 2*w - 13 = 0. Which is smaller: y or a?
y
Suppose -5*i - 2 + 12 = 0. Suppose 0 = 5*n - 0*n - i*x + 10, -3*x + 15 = 0. Is 1 bigger than n?
True
Let b = 1.1 - 0.8. Which is bigger: b or -0.2?
b
Let y = -33 - -32.9. Is -11 smaller than y?
True
Let s = -1 + 6. Let h be (6 - s)/(1 + 0). Is h smaller than 0.3?
False
Let p be ((-4)/10)/((-2)/(-10)). Is p != -3?
True
Let j = -0.2 - -0.3. Let s(o) = o + 1. Let k be s(-5). Let a be k/(-10)*6/(-6). Which is smaller: a or j?
a
Let u be (-2)/10 - 117/(-60). Let w = -17/12 + u. Is 0 != w?
True
Let u = -42 - -43. Which is smaller: u or 1/65?
1/65
Let d(a) = a**3 - a**2 + 1. Let c be d(-1). Let q be c/6*2*-1. Let h be 2*((-12)/(-8) - 1). Is q >= h?
False
Let k be 2 - (-3 - 2) - 1. Which is bigger: 13/2 or k?
13/2
Let s(n) = -3*n + 3. Let r be s(3). Let j = r - -8. Which is bigger: 3/4 or j?
j
Let d(n) = n**3 + 4*n**2 + n + 3. Let f be d(-4). Let h = -21 + 23. Which is greater: f or h?
h
Let m = -759 - -3814/5. Which is greater: 4 or m?
4
Let w = -563/48 - -17/16. Let v = w + 11. Are 1 and v nonequal?
True
Let b be (-25)/10*(-3 + 7 + -2). Is b greater than 0?
False
Let m be (-4)/22 - (-8836)/77. Let i = -114 + m. Is 0 at most as big as i?
True
Suppose 0 = -x - 2*x. Let l = 2 + x. Let u be 85/(-175) + l/7. Is 1 >= u?
True
Let m be 1*(-8)/28*-7. Let f be m + 2 + 11/(-4). Is 0 greater than or equal to f?
False
Suppose 2*c = -0*c + 10. Suppose -2 + c = s. Suppose s*w + 0*n = -n + 2, -5*n + 10 = 5*w. Does w = 1?
False
Let u = -4 - -4. Let m = u - -0.1. Which is greater: m or 0.2?
0.2
Let m = 22 + -23.7. Let h = 2 + m. Let o = h - 0.2. Which is smaller: o or -0.1?
-0.1
Let i = -12633/13 - -971. Which is smaller: i or -1?
-1
Suppose o + 3 = -10. Let v be 6/(-18) - o/3. Which is smaller: 0.3 or v?
0.3
Let s be (-35)/(-147) + (-4)/6. Is s less than 1/2?
True
Let a(g) = -g**2 + 3. Let r be a(0). Let j be 528/108 + (-1 - r). Is 2 <= j?
False
Let j = 7 - 10. Let z = -6.661 - 0.339. Which is smaller: j or z?
z
Let n be (-10)/(-3) + 3/(-9). Suppose -n*k = -5*k. Which is smaller: k or 2/7?
k
Suppose -2 = -3*w + w. Is w < 2/29?
False
Let i = -2437/14 + 174. Let y be (1 + -1)*(-1)/2. Is i >= y?
False
Let x = 2504/255 - 142/15. Which is smaller: x or -1?
-1
Suppose 0 = 4*w - 2*p + 40, -8*p + 4*p - 1 = w. Let y = w + 14. Which is smaller: y or 4?
4
Let v = -8.2 - -8. Let d be 1 + -1 + (-58)/6. Let t = d - -10. Which is smaller: t or v?
v
Let q be (-2)/(-5)*1 - 14/35. Is q greater than or equal to 1/56?
False
Let s(z) = z + 8. Let t be s(7). Which is bigger: 12 or t?
t
Let n be ((-156)/63 + 3)*-3. Are -1 and n unequal?
True
Suppose -18 = h - 3*h. Let v be 1/3 - 6/h. Let q = -5 + 4. Which is greater: q or v?
v
Let d = -156 - -163. Which is bigger: -3 or d?
d
Suppose 4*i = 3*g - 17 - 2, -9 = 3*g. Let z(w