 at least as big as i?
False
Let y = -59.27 - -0.27. Is 4 greater than y?
True
Let l = -0.91 + -1.2. Let r = l + 0.11. Let i = 1 + r. Is i at most 2/3?
True
Let u(w) = -12*w**3 + 2*w**2 - 3*w - 4. Let y be u(-1). Do y and 1 have the same value?
False
Suppose -44 = -8*v - 12. Suppose 4*n - 4 = v*a, 2*n + 2*a + 3 - 1 = 0. Is 3 not equal to n?
True
Let i(m) = 8*m**2 - 278*m - 69. Let v be i(35). Which is smaller: 457 or v?
v
Suppose 3*u - 4*j + 2*j = 40, 3*u - 4*j - 32 = 0. Let w(p) = -p**2 + 14*p + 33. Let k be w(u). Which is smaller: k or -41?
-41
Suppose -2*s = 2, -3*s - 1171 = 4*o + 984. Is -538 at most as big as o?
True
Suppose 5*a - 3 + 0 = 2*y, 0 = 3*y - 3*a + 18. Is 141 < y?
False
Let r = 61/273 - -10/91. Which is smaller: -0.44 or r?
-0.44
Let m = 15.029 + -0.129. Let t = 15 - m. Let f be 1/6*(-21)/2. Which is smaller: t or f?
f
Suppose -4 + 0 = -4*s. Let z(v) = -v**3 + 2*v - 1. Let c be z(s). Let j = -567.5 - -568. Which is smaller: j or c?
c
Let m = 53 + 16. Suppose 4*t + 5 - m = 0. Suppose 2*c - f + t = -3, -5*c + f = 52. Is c bigger than -12?
True
Let b = 52.8039 + -0.0039. Let g = b + -54. Is g greater than 0.2?
False
Let v be 3/(-12) + 52/16. Suppose 100 - 36 = -4*x + 2*c, v*x = -c - 48. Let h = x + 9. Which is bigger: -8 or h?
h
Suppose 19*k = 20*k - 2. Suppose k*o - 2 = -0. Are -2/9 and o nonequal?
True
Let n(x) = -x**2 + 5*x - 4. Let v be n(4). Suppose -2*a = -v*a + 14. Let d = a + 15. Is 9 less than d?
False
Let f = 407 + -405. Let o(n) = -9*n**2 + 1. Let k be o(1). Let i = -5 - k. Are i and f nonequal?
True
Let m = 118126951/38 + -3109093. Let c = -489 - m. Which is smaller: c or 1?
c
Let g = 20.21 - 21. Let l = -0.4 - g. Let o = l - 0.19. Does -0.01 = o?
False
Let y be 7/((-14)/10)*114/10. Let a = y - -108. Which is smaller: 0.1 or a?
0.1
Suppose 1230 = 5*p + 2*g, g - 20 = 5*g. Let r = p + -1247/5. Which is bigger: 0 or r?
0
Suppose -5*v + 14*v = 414. Let g be (-1 + 47)*(3 - 2). Is g greater than or equal to v?
True
Let d(o) = 11*o + 230. Let c be d(-21). Which is smaller: 4/67 or c?
c
Let g be (21/14)/(6/8)*-2. Let w = -21 - -13. Which is bigger: w or g?
g
Let a be (0 - 0)/(12/6). Let t = a + 5. Let g = t + 8. Which is greater: g or 12?
g
Suppose 3*u + 7*i - 2*i = 1, -4*i - 4 = 0. Let b be 1*(-3)/78*u. Let n(x) = x**3 - x**2 + 2*x - 1. Let v be n(1). Which is bigger: v or b?
v
Suppose 5*k - 5*l - 15 = -0*l, 0 = -3*k + 5*l + 15. Let a be -28 + -3 + (0 - k). Let q = a - -37. Which is smaller: 19/4 or q?
19/4
Suppose 4 = r - 1. Suppose 3*h - 18 - 24 = 3*q, r*q + 66 = h. Let x be (-149 + -3)/8 + 7. Which is smaller: q or x?
q
Let j(v) = 2*v - 14. Suppose 0 = p - t - 4, 6*p + 3*t - 3 = 4*p. Let d be j(p). Are d and -7 unequal?
True
Let o(n) = -n**2 + 5*n + 5. Let y be o(6). Let a(r) = -r**2 - 10*r - 7. Let x be a(-6). Suppose -w + 0 + 5 = 5*k, 4*k + 5*w + x = 0. Which is bigger: k or y?
k
Let n be 186/(-490) - (-30)/75. Which is greater: n or -1?
n
Let c be 3 - -1 - (-2)/(-2)*2. Let m(g) = g**2 + 10*g - 11. Let w be m(-11). Which is smaller: c or w?
w
Let s be ((-8)/18)/(4/(-2)). Let y = 29146/18207 - 114/289. Let z = s + y. Is 1 greater than z?
False
Let i be 4/16*128/13232. Is 1 at most as big as i?
False
Let z = 2180 + -2185. Which is greater: 52 or z?
52
Let u be 4/(-4 - 0) - -4. Suppose -u*b = 3*f + f - 10, -4*b = 4*f - 8. Suppose -w + f = 3*w. Is 1/4 at most as big as w?
True
Suppose 0 = 4*a - 8*a - 4*r + 28, 5*r = 0. Suppose 4 = -2*f - b - 3*b, -f = -2*b - 6. Suppose 2*s - 28 = -f*s. Is a at most as big as s?
True
Let x be ((-2)/3)/(24/36) - 62. Which is smaller: x or -60?
x
Let y = -3.11 + 0.11. Let m = 22 + y. Let n = 20 - m. Is 10 greater than or equal to n?
True
Let k = 540 + -539.9. Is -248 <= k?
True
Suppose -4*z - n - 199 = 0, -3*z + 2*n - 5 = 147. Do z and -50 have the same value?
True
Let c = 44 + -46. Let z be 4 + -1 + 3 + -4. Which is bigger: z or c?
z
Let z be (21 - 22) + 0 + 3. Suppose z*u = 5*c - 18 - 71, c - 9 = -4*u. Are c and 17 non-equal?
False
Suppose 21 = 5*t - 4*s - 4, 0 = 3*s. Let g = -7 - -6. Let i be (g/4)/(t/(-20)). Is i less than or equal to 2?
True
Let m(k) = -k - 2. Suppose 4*g = l - 6, -5*g = 2*l + l + 16. Let j be m(l). Which is smaller: -2/49 or j?
-2/49
Let h = 21 + -25. Which is smaller: h or -9/7?
h
Let f be (-6 + 5)*-1*-1. Which is smaller: f or -9/304?
f
Suppose 5 = 2*z + 3*z. Suppose 8*x = -75 + 99. Which is smaller: x or z?
z
Let a be (-705)/(-237) - 1 - 2. Suppose s = 2*f - 10, -3*s - f + 20 = 3*f. Which is greater: s or a?
s
Suppose -2745 = -6*o - 435. Which is greater: 384 or o?
o
Let f be 11/(-4)*(3 + (-69)/3). Let y be ((-44)/f)/((-2)/(-30)). Which is bigger: -8 or y?
-8
Let i(b) = -10*b - 154. Let m be i(-17). Which is greater: m or -0.6?
m
Let j(r) = -4*r - 36. Let w be j(-10). Is w smaller than 28/9?
False
Suppose -5*g - 4*q - 248 = 0, -g + 24 = -q + 79. Let y be (0 + 26)/((-43)/86). Is g < y?
False
Let p = 30 - 26.5. Let w = 3.3 - p. Which is smaller: 1/7 or w?
w
Let l = 15 - 9. Suppose -5*r - 3*v - l = -37, 2*r - 18 = -4*v. Suppose 10 = 2*j + 4*w - 2*w, -r*w + 25 = -5*j. Is -1 less than j?
True
Let a be -3 + ((-24)/(-40))/(3/10). Which is smaller: a or -30/49?
a
Suppose 18 = -2*l + 4*v, 0*v - 5*v + 20 = 0. Which is smaller: -6/107 or l?
l
Suppose 3*d + 10 = 5*o - 3, -5*d = 3*o - 1. Suppose -o*j + 0*j - 4 = 0. Let q be (2 + 0)*j/(-50). Which is smaller: q or 0?
0
Let r = -27.18 - -27. Let g = 3.98 - 4. Let d = g + r. Is d bigger than -0.1?
False
Suppose 0 = 3*v - v - 42. Suppose -q = 0, 4*q = -c + 4*c - v. Let l = 4 - c. Is 1 > l?
True
Let n = -0.9 - 0. Let j = -134.3 - -136.4. Let u = n - j. Are 3 and u nonequal?
True
Let d(n) = -5*n**2 + 8*n - 8. Let j be d(5). Let h be (-1 - (-3 + j))/1. Which is greater: 94 or h?
h
Let c be ((-2)/3)/(10/(-6)). Let k = -443543/102 - -13045/3. Let z = k - 2/51. Which is smaller: c or z?
z
Let i(s) = 2*s**2 + 2*s - 22. Let d be i(8). Which is smaller: d or 121?
121
Let l = -0.21053 + -0.18947. Let i be ((-2)/8)/(2/6). Is l bigger than i?
True
Let s be 3 - (-4 + 1700/312)*2. Is s at least as big as 1?
False
Let j(k) = -k - 5. Let u be j(0). Let o be u + (3 - -2 - 4). Is -0.1 > o?
True
Let h be (-97)/3*(0 - 30)/(-10). Is h < -97?
False
Let h(b) be the second derivative of b**3/2 - b**2 + 4*b. Let d be h(2). Does d = 4?
True
Suppose 0 = -l - 4*l + 15. Suppose i + y + 0 = -2, l*y = -i - 2. Let a be ((-12)/4)/(-3)*i. Which is smaller: -0.1 or a?
a
Let f = -6133/5 - -1227. Which is greater: f or -259?
f
Let y = 0.0137 - -0.9863. Let x = -0.7 - -0.8. Does x = y?
False
Suppose -5*d = -z - 11, -5*d + 2 + 17 = z. Suppose -d*j - 51 = -0*j. Which is greater: -16 or j?
-16
Let a be (-854 - 4)/3 + -3. Is -289 greater than or equal to a?
True
Let v = 38382/2147 - 340/19. Which is smaller: v or 1?
v
Let j = -2.05 + 0.05. Let w be ((-2)/12*2)/((-2)/(-6)). Let o be (-26)/(-4) + w - 4. Which is smaller: o or j?
j
Suppose 0 = -0*u - 5*u. Let h(w) = w**3 - w**2 - 2. Let c be h(u). Let i = -3082 - -3078. Is c less than i?
False
Let s be 14/(-77)*1 - (-314)/2090. Are s and 0 nonequal?
True
Suppose -17 = 5*w + 58. Let u = w - -16. Suppose u = -2*o + 3*o. Which is bigger: -2/7 or o?
o
Let v = -251 + 250. Is v smaller than -1/37?
True
Let z = 2 - 3.5. Let t = z + 5.5. Let g = -6 + t. Which is greater: -1 or g?
-1
Suppose -x + 3*x = -2. Suppose 29*j - 20 = 34*j. Which is smaller: x or j?
j
Let p = 12.9424 + 0.0576. Which is smaller: 19 or p?
p
Suppose 40*p = 115*p - 75. Which is greater: -18/247 or p?
p
Let w(g) = -180*g - 885. Let j be w(-5). Which is greater: j or 13?
j
Suppose -2*l = -2*y - 114, -4*l + 63 = -17*y + 16*y. Which is smaller: -54 or y?
y
Let z(j) be the third derivative of j**5/60 + j**4/6 - 23*j**3/6 - 53*j**2. Let f be z(-8). Is 7 at least as big as f?
False
Let g(n) = -n**3 - 7*n**2 - n - 5. Let p be g(-7). Suppose -5*s + 9 - 4 = 0. Let q be 135/33 - (s - -2). Which is bigger: q or p?
p
Suppose -2*n - 100 = -72. Let l be (2 - (20 - 1)) + 2. Let h = l - n. Which is smaller: h or 0.17?
h
Suppose -11 = 13*g - 24. Which is smaller: g or 11/32?
11/32
Let b(y) be the first derivative of -3*y**3 - 4*y - 7. Let v be b(-2). Let c be 3*(v/(-6))/(-4). Which is smaller: -6 or c?
-6
Suppose -2*j = -1 - 1. Let o = -58 + 30. Let t be 8/o + (-50)/(-28). Which i