 - c**2 + 5*c + 3. Let m be o(-3). Suppose 4*h - 16 = -2*j, h = -2*j + m*j + 13. Suppose 4*i = 3*i - 1. Which is bigger: j or i?
i
Let f = 67 + -67.09. Are 1/3 and f nonequal?
True
Suppose 1 = -2*z + 9. Let d be 1 + -1 - (-3 - 1). Let o be (-8)/(-3)*6/d. Is o greater than z?
False
Let n(z) = z**3 - 4*z**2 + 3*z + 3. Let s be n(4). Is s smaller than 15?
False
Let j = -51 + 102. Is j less than or equal to 51?
True
Let g be (1627/2 + 0)/(-3). Let h = 270 + g. Are h and 0 non-equal?
True
Let c be (-16)/2 + 2*-2. Let y be (4/(-6))/(32/c). Which is smaller: y or 1?
y
Let f = -23 - -13. Which is bigger: f or -12?
f
Suppose -5*g = -g + 44. Which is bigger: 1/4 or g?
1/4
Suppose 4*o = 2*x - 22, x - o + 3*o = -9. Is x less than or equal to 2/93?
False
Let v = -14 + 7. Let i = 2 + v. Let s = -7 - i. Which is smaller: s or 1?
s
Suppose 0 = -5*t + 4 - 19, -3*t = 2*n + 7. Suppose v = -v - 4*b + 14, 5*b - 24 = 4*v. Let o be v/5 - (-22)/10. Which is smaller: n or o?
n
Let a(h) = -h**2 + 4*h + 3. Let b be a(5). Let d be 1/b - (-1)/(-2). Let c = -7 - -19/3. Which is smaller: c or d?
d
Let u = 31/70 - 3/70. Which is smaller: -1 or u?
-1
Let p = -22537/1218 - -2/609. Is p at least -20?
True
Let x be (24/(-15))/((-4)/10). Let d be -1*(x/2 - 17). Let u = 46/3 - d. Do -1/2 and u have the same value?
False
Let d be (1/(-10))/((-9)/12). Is d >= 1?
False
Let x(u) = -u + 4. Let p be x(3). Which is smaller: p or 3?
p
Let m = 52 - 53. Is 30 at least m?
True
Let d be 4 + 110/(-25) + 0. Let y be (1/(-3))/(1/(-3)). Is d greater than y?
False
Let o = -530 + 17510/33. Let x = 3/11 - o. Let a = 1 + 0. Is a bigger than x?
True
Suppose 0 = -0*f + f. Let s be -1 + (-1721)/(-9) - -2. Let g = s + -192. Is g at most as big as f?
False
Suppose 0 = -3*y - 12, 2*q - 2*y + y = 6. Let k be 3/(-6)*3 + 2. Which is smaller: q or k?
k
Suppose -4 = 4*n + 4*u, -2*u + 1 = n - 3*u. Suppose -i - 9 = -n*i + 3*d, -3*i - 5*d - 19 = 0. Which is bigger: i or -0.1?
-0.1
Let h be (2 - 1)/1 + 3. Suppose s = -3 + 7. Is h at least s?
True
Suppose 0 = 3*t + u - 5, 7*t + 5*u + 5 = 2*t. Which is smaller: t or 3/2?
3/2
Let f(t) = -2*t + 19. Let c be f(8). Let m = c - 2. Is -2/27 equal to m?
False
Suppose 4*z - 2 = 2. Suppose 4*i - z = 5*i. Which is smaller: i or -2/7?
i
Let q = 23.5 - 24. Is q at most -0.06?
True
Suppose 3*j = -3*o + 5 - 35, -4*j = 5*o + 45. Let p(v) = -v**3 - 6*v**2 - 5*v + 5. Let b be p(j). Let r be 2/(-10)*b/(-8). Is -1 bigger than r?
False
Suppose 0 = 3*r + 3 - 0. Suppose 2*b = -b. Which is greater: b or r?
b
Let t = -1526/3 + 508. Let r(s) = s**3 - 5*s**2 - 6*s - 2. Let d be r(6). Which is smaller: t or d?
d
Let p = -29 + 32.4. Let a = p - -0.6. Let l = a + -3. Which is smaller: l or 2/3?
2/3
Let a = 0.9 - 0.8. Let l = -17 - -17.07. Which is smaller: l or a?
l
Let j = -0.01 + 0.21. Which is smaller: -2/23 or j?
-2/23
Let h = -5 - -7. Suppose k + h*l = -k + 10, 4 = 2*k - l. Is 3 >= k?
True
Suppose g - 4*n = 6, g - 3*n = 5 - 2. Let d be (-21)/g + (-3)/6. Which is bigger: -1 or d?
d
Let x = -356/915 - 2/183. Is x > 0?
False
Let f(p) = -p + 2. Let h be f(2). Is -3/5 at most as big as h?
True
Let z = -11/5 - -92/35. Suppose 0 = 2*y - 3*k + 11, 0 = -2*y - 4*k + 2*k + 14. Suppose -5 = d + 5*q, -y*q - 4 = 4*d - 2. Are z and d unequal?
True
Let p = -3.7 + 3.6. Let b = 2839/52 + -219/4. Which is smaller: b or p?
b
Let f = 32 + -29. Which is smaller: f or -0.1?
-0.1
Let c be -10*(-3)/(-8)*4. Are -14 and c non-equal?
True
Suppose 4*l + 0*l + 4 = 0. Let a = -7 - -12. Let k = a + -5. Which is greater: l or k?
k
Let c = 0.66 - 0.7. Is c bigger than -0.1?
True
Let g = -5 + 3. Let u be g*(3/6)/(-1). Let r be (-1)/2*4/13. Which is smaller: u or r?
r
Let u(g) = g**3 - 4*g**2 + 2*g - 3. Let i be u(4). Suppose -4 + 9 = i*p. Is -1/6 >= p?
False
Let o = -4 - -9. Let y(b) = b**2 - 4*b + 1. Let d be y(5). Which is smaller: d or o?
o
Let i = 1 + -1.01. Let f = 0.886 + 0.124. Let p = f + i. Is p less than 0.3?
False
Let j(t) = -t**2 + 9*t + 4. Let h be j(7). Let l = h + -11. Let a = l - 7. Which is smaller: a or -1/3?
-1/3
Let b = -7 + 12. Suppose -2*v - r = b, 5*v = v - 3*r - 11. Which is smaller: -7/4 or v?
v
Suppose -2*h + 13 = -11. Let g be (-4)/6 - (-8)/h. Let v be ((-3)/20)/((-24)/(-10)). Which is greater: g or v?
g
Suppose 4*a + 8 = 3*x - 4, -4*x + 16 = -5*a. Suppose 0*w + 2*w = a. Let s = -11 + 10. Do s and w have the same value?
False
Let v(k) = k**2 + k + 110. Let w be v(0). Let i be (-42)/w + (-6)/(-33). Which is smaller: -1 or i?
-1
Let l = -29/28 + 3/4. Let m = -15 - -21. Let r(p) = -p**2 + 6*p + 1. Let h be r(m). Which is smaller: h or l?
l
Let q(v) = 3*v + 12. Let y be q(-12). Let k be -4*(87/y + 3). Which is bigger: 3 or k?
3
Let r(q) = q**2 - 20*q + 91. Let f be r(14). Which is smaller: 0 or f?
0
Let w = 0.07 - 0.23. Let v = 0.56 - 0.5. Let n = w + v. Is n less than -2?
False
Let h = -0.02 - -1.02. Let t = h - 0.8. Does t = 3?
False
Suppose -4*i - 4*o - 8 = 0, 0*o + 4*o = -5*i - 14. Is i smaller than 3?
True
Let g = 1.6 - -1.4. Which is bigger: 0.2 or g?
g
Let s(f) = -f**3 - f**2 - f + 8. Let b(y) = -y**3 - 2*y**2 - 2*y + 9. Let o(k) = 4*b(k) - 5*s(k). Let x be o(4). Suppose -3*n + 9 = -x*n. Is 3 at most n?
True
Let v = -23.01 + 23. Are 0.1 and v nonequal?
True
Suppose 2*t = -w - 2, 3*w + 0 = 4*t - 6. Suppose 2*h - 38 = 3*p, 3*p + t*p + 50 = 5*h. Let c be (-1)/(-3) + p/(-15). Is c less than or equal to 1?
True
Let m = 2 - -5. Let a = m - 6. Are -0.1 and a unequal?
True
Suppose 5*t - 4*z + 30 = z, 5*t = 3*z - 30. Let i(d) = -d**2 - 10*d + 7. Let p be i(t). Let s = p + -95/3. Is -2 < s?
True
Suppose -21*y + 48 - 6 = 0. Which is bigger: y or -7?
y
Let a = 45/2 - 25. Suppose -23 = 2*l + 5*g, -5*l - 2*g - 9 = 17. Which is bigger: l or a?
a
Let n be (1 - 0/(-2))/(-1). Suppose 0 = -5*g + 18 - 3. Suppose -3 = -2*v + g*b, 0 = -3*v - 2*b + 1 - 3. Is n at least v?
False
Let y(h) = 6*h + 41. Let x be y(0). Is 40 smaller than x?
True
Suppose 2*i + 2*i - 5*u + 13 = 0, 5*u - 16 = 3*i. Is i at most as big as 16/7?
False
Let n = 0.2 - 0.2. Let v = 6 + -6. Let l = v + n. Do l and -2 have the same value?
False
Let w(f) = -f**3 - 5*f**2 - 6*f - 22. Let y be w(-4). Is -100/7 greater than or equal to y?
False
Let k(z) = -z**3 + 3*z**2. Let g be k(3). Let n be 0*(-3)/18*2. Suppose -2*h - h = n. Is g at least as big as h?
True
Suppose 5*v - 23 = -8*x + 4*x, 7 = v + 2*x. Which is smaller: 8/3 or v?
8/3
Let o = -63 - -45. Let v be (-33)/(-27) + 4/o. Let j be v/(1/(-2)) - 2. Are -4 and j nonequal?
False
Suppose 5*z + 25 = 0, -g + z - 25 = 6*z. Let h be 2172/42 - (-2)/7. Let b be 2/7 + h/(-35). Which is bigger: b or g?
g
Let u(n) be the first derivative of -n**4/4 - n**3 - n**2 - 7*n - 6. Let o be u(-3). Is o bigger than -6?
True
Let v(h) be the first derivative of -h**3/3 - h**2 + 4*h - 2. Let n be v(-3). Which is smaller: -1 or n?
-1
Let b = -3 - -6. Let t be ((-11)/(-3) + -3)*b. Let u(k) = k**3 + 4*k**2 + 3*k + 3. Let h be u(-3). Is t smaller than h?
True
Let o be (-3)/(30/(-2)) - 0. Let a be (0 + 6/(-3))/(-2). Let f = -1 + a. Which is bigger: o or f?
o
Let b = 5 + -5.1. Is -2/5 > b?
False
Let i be (-1)/(2*(-1)/8). Let v be 0 - 1 - 6/i. Which is smaller: v or -3?
-3
Let n = -5 - -23. Which is bigger: 19 or n?
19
Let h = 2 - -1. Let w be 1/h - (-78)/(-207). Is w >= 0?
False
Let s be 20/(-15)*(-18)/(-4). Let x be (s/(-88))/(8/32). Which is bigger: 1 or x?
1
Let x(u) = -u**2 - 7*u - 1. Let f be x(-6). Let c be (f - 10)*(-1)/(-4). Is c at least as big as -1?
False
Let b be 36/(-21)*1 + 0. Let r = 74/35 + b. Which is greater: r or 1/4?
r
Let x be ((-18)/4)/1*24/18. Which is smaller: x or -7?
-7
Let p be (-3)/(5/15*3). Are -0.3 and p equal?
False
Let k = 3 - 1.1. Let d = k - 1.4. Suppose -5*b + 12 = -3*x, -3*x = -b + 3 + 9. Which is smaller: b or d?
b
Let v = -0.04 - 0.04. Let p = v + -0.02. Is 2 at least p?
True
Suppose 0 = -6*m + m - t - 12, 4*m - 5*t = 2. Which is bigger: m or -3?
m
Let c = -0.095 + 0.195. Which is smaller: c or -1/22?
-1/22
Let n = -81 - -82. Which is smaller: -3/100 or n?
-3/100
Let t = 2.43 + -2.4. Let w = t - -0.17. Is w at least -0.2?
True
Suppose u - 5*u = 0. Suppose -n = 4*o - 9 - 9, 2*n - 5*o + 29 = u. Suppose 5*q - 3 = -8. Which is smaller: n or q?
n
Let w be 43 - (0 - 2) - 1. Suppose 3*g - 6*x =