 Suppose -2*v = -o*v + 6. Which is smaller: v or 4?
v
Let f = -16449287 + 54331995686/3303. Let l = f + 1/367. Which is greater: 0 or l?
l
Let y(u) be the third derivative of -u**6/120 - u**5/30 - u**4/12 - u**3/6 + 4*u**2. Let w be y(-1). Let a be (w/3 - -1)/(-1). Is -1/4 < a?
False
Let x(w) = 28*w**2 - w + 1. Let v be x(1). Let n be (-24)/(-18)*6/v. Which is smaller: 0 or n?
0
Let w = 12 - 11. Which is smaller: -1/32 or w?
-1/32
Suppose -158*u = -161*u + 6. Which is greater: u or 19/8?
19/8
Suppose 0*l = -5*l + 15. Suppose -2*y = -y - 4*r + 9, -y = -l*r + 7. Which is smaller: y or -3/4?
y
Let g(k) = -k - 1. Let p be g(0). Let v be (-2)/p - 2/1. Let n be (1 - -2) + -2 + 2. Which is smaller: n or v?
v
Let q(v) = v**3 - 6*v**2 + 4*v - 8. Let b be q(6). Let u be (-4)/b + (-3)/4. Which is bigger: u or 1/9?
1/9
Let f be (-10)/(-636)*(-8 - 249/(-30)). Is f >= -1?
True
Let z be (-16)/(-6)*18/8. Suppose -3*v - 5*v = -112. Let k be (z/(-4))/(v/(-4)). Is k < -1?
False
Let v = -2038 - -10583/5. Let c = -79 + v. Which is greater: c or -2?
c
Let f be (-2 + (-3 - -2))*1. Let n(w) = 3*w**2. Let k be n(1). Suppose -5 = 2*p + k. Which is smaller: p or f?
p
Let i = 24.11 + -24. Is i at least as big as 1?
False
Let t = -1 - 1. Let y = 0 + t. Suppose -6 + 2 = -4*f. Is f >= y?
True
Let l = -2 + 4. Let v = -4 + l. Which is bigger: v or 1?
1
Let m = 6 - 3. Let d = -1 - m. Let u = d - -3. Which is greater: u or -1/5?
-1/5
Let z = 1.3 - 0.3. Let n = -1.5 + -7.5. Let o = -9 - n. Which is bigger: o or z?
z
Let p(n) = -n**2 + 8*n - 2. Let o be p(7). Suppose -3*u + o*u + 2 = 0. Which is greater: u or 1/9?
1/9
Let s be 0 + (-5)/(-2 + -528)*8. Which is smaller: -1 or s?
-1
Let n = 106 + -109. Let k = -2 - -3. Which is greater: n or k?
k
Let x = 3330/91 - 254/7. Is x less than -1?
False
Let n = 15.2 - 2.2. Let q = -13 + n. Which is smaller: q or -6?
-6
Let x = 419/1330 + -2/133. Let d = -1/5 - x. Which is bigger: -0.4 or d?
-0.4
Suppose 3*a + 2*m + 2 = -0*a, 0 = -3*m - 3. Which is bigger: a or 3?
3
Suppose -4*y + 4*c - 12 = 0, 8*y - 25 = 3*y - 5*c. Let s = -103 - -1855/18. Which is smaller: s or y?
s
Let f = 173.03 + -172. Let c = f + -0.03. Is 0.5 not equal to c?
True
Let h = 64 - 63. Is 9/5 greater than or equal to h?
True
Suppose 2*q + q - 9 = 0. Suppose d - q*b - 6 = 0, -4*d + 2*b - 5*b - 6 = 0. Let s be 2/3*(-2)/(-4). Which is smaller: s or d?
d
Let m be (-4)/(-12) - (-62)/(-6). Let b = -9 - m. Is 2/35 greater than or equal to b?
False
Let g(d) = -d**3 + 9*d**2 - 7*d - 9. Let o(v) = v**2 + 10*v - 3. Let t be o(-11). Let b be g(t). Is 1 >= b?
True
Let i = 49.7 - 51. Is -3 < i?
True
Suppose n = 3*n + 2. Let r = n + 1. Suppose -2*g = -4*a - 8, -3*a + 6*a + 6 = g. Is g bigger than r?
False
Let q = 0 + -1. Let p = -99 - -493/5. Is q not equal to p?
True
Let g = 28/17 + 664/51. Are 15 and g equal?
False
Let l = 43 + -42.91. Is 0 greater than or equal to l?
False
Let f = -0.03 + 0. Let z = -0.07 + f. Is z >= -1?
True
Let y = -58 - -35. Is -25 at least y?
False
Let r = 48 - 43. Which is smaller: 11 or r?
r
Suppose 8*y + y = 3*y. Which is greater: y or 19/6?
19/6
Let g be (-6 - 1 - -1)/(-2). Let f(m) = -1 + m**g + 2*m**2 + 0 + 0. Let x be f(-1). Is x < -1/4?
False
Suppose k = 2 + 3. Is k at most as big as 7?
True
Let y = -558 - -35156/63. Is y equal to -1?
False
Suppose 0 = -0*l + l. Suppose l = 4*k - 5*k. Suppose 2*g = -k*g. Which is smaller: -1/2 or g?
-1/2
Let x = 81 - 57. Let o be 5/(100/x) + -1. Which is smaller: -1 or o?
-1
Suppose -5*p - 43 = w, 2*w + 22 = -3*p - 1. Is -8 < p?
False
Let g(x) = -x**3 + x**2 - 507. Let l(u) = -u**3 - 5*u**2 - u - 5. Let c be l(-5). Let h be g(c). Let k = -10645/21 - h. Which is smaller: -1 or k?
-1
Let p = -15/32 - -925/1632. Let k = -25/34 - p. Is 0 smaller than k?
False
Let h(o) = -o + 9. Let x be h(7). Suppose x*p - 3 = 3*p. Which is smaller: p or -5/3?
p
Let r = -8 + 13. Suppose 0*v = -r*v + 20. Suppose -4*g - 4*k - 33 = k, 0 = -v*k - 20. Is g at least as big as -4/5?
False
Let i be -6 - (-2 + (-615)/(-10)). Are -67 and i equal?
False
Let o(m) = -2*m. Suppose 0 = 5*w - 0*w - 5. Let z be o(w). Which is bigger: -18/7 or z?
z
Suppose -5*y + 4 = 5*p + 94, 3*y + 2*p = -49. Suppose k + 3 + 16 = 0. Let q = y - k. Do q and 7 have the same value?
False
Let u(j) = -j**2 + 10*j + 2. Let a be u(8). Let l = a - 30. Let o be (-10)/(-25)*(-10)/l. Which is bigger: 2 or o?
2
Suppose 43*x - 48*x = 360. Which is smaller: -145/2 or x?
-145/2
Let o be 45/15 - (-82)/(-26). Which is smaller: o or -1?
-1
Suppose 6*l + 0*l = 48. Suppose 3*j - 3*r + 1 = -l, 3*r + 11 = -2*j. Suppose 4*t = 3*b - 24, t + 18 + 5 = 5*b. Are t and j nonequal?
True
Suppose 0 = f + 5, -5*a + 0*f = -4*f - 20. Which is smaller: -2/25 or a?
-2/25
Let x(u) = u**2 + u - 1. Let j be x(-2). Do j and 1/3 have the same value?
False
Suppose -4*r + 0*p + 20 = -4*p, 0 = -4*r - 5*p + 11. Suppose 0 = -r*a - 3*t + 9, -2*a + 0*a - 12 = -4*t. Let j = 0 + -0.1. Which is bigger: a or j?
a
Let v = 23 + -13. Let p = -10 + v. Is 0.3 less than p?
False
Let a be -4 - 12/(-4) - 72/(-44). Are 0 and a non-equal?
True
Let z = 933/5 + -186. Let n be (28/(-10) + 2)*10. Let o(q) = q + 8. Let u be o(n). Which is greater: u or z?
z
Suppose 2*h + 6 = 2. Let m be 20/56*h/(-10). Which is bigger: -1 or m?
m
Suppose -2*v + 10 = 2*u, 0*v + 4*u = 3*v + 20. Which is smaller: v or 1/143?
v
Let w = -0.01 - -6.11. Let q = w - 6. Which is bigger: q or 6?
6
Let j(r) = -r**2 - r + 2. Let b be j(2). Let i be (-10)/6 - (b - -2). Let p be (2/4)/((-1)/2). Are i and p equal?
False
Let j = 37.1 - 37. Which is smaller: j or -10?
-10
Let l(c) = 13*c - 389. Let y be l(30). Let v = 166/1381 + 383353/62145. Let x = -32/5 + v. Which is smaller: x or y?
x
Let m = -0.6 + 0.6. Let r = 0 - m. Are r and 0.6 non-equal?
True
Let j be ((-5)/2)/(82/4). Let g = 107/205 + j. Let a be 4/7 + (160/(-84) - -2). Which is smaller: a or g?
g
Let i be 2/4*0*(65 - 66). Let h = 360 - 19078/53. Which is smaller: i or h?
i
Let t be 0 + 1/1 + 4. Suppose 3*s = 2*s + 3*p + 8, -t*p = -s + 14. Let x(a) = -a**2 - 6*a - 7. Let i be x(-5). Is s greater than or equal to i?
True
Let x(b) = b**3 + 12*b**2 + 19*b - 10. Let f be x(-10). Which is smaller: f or -3?
-3
Suppose 2*h = -2*h - 4. Suppose 3*c = -2*c + 30. Suppose g - 5*g - 15 = -5*f, 0 = g + 2*f - c. Which is smaller: h or g?
h
Let p = 10 + -7. Suppose -6*f = -p*f + 3. Is f at least 1/13?
False
Let f = 101301029/7 + -14393079. Let p = -78677 + f. Let t = 180 + p. Is t > 0?
False
Let w = 4537 - 993605/219. Is w != 0?
True
Let i(k) = -k**3 + 10*k**2 + 10*k + 12. Let o be i(11). Is 3/2 bigger than o?
True
Let m be (3 - 122/42)*3. Let k = -0.2 + 0.2. Let f = k + 0. Which is bigger: f or m?
m
Let j = -5/129 - -529/10320. Let c = 323/240 - j. Let v = 10 + -10. Does c = v?
False
Let a = 763/255 - 35/17. Let f = a - 3/5. Is 0 at most as big as f?
True
Let y = -34 - -32. Let r be 0/2 - (-6)/(-10). Is r bigger than y?
True
Suppose -356 = g - 5*g + 2*m, 4*g + m = 362. Suppose 0 = -4*f + g - 18. Let z be (-60)/f - (-1)/3. Is 0 at most as big as z?
False
Let g(c) = 7 - 5 - 2*c**2 - 10*c + c**2. Let p be g(-10). Suppose 5*z - 4*t - 15 = 0, z + 0*z - 3 = -2*t. Which is bigger: z or p?
z
Let g be 2/(-6) - 5/(-15). Suppose g*l = -l + 6. Is l at most as big as 4?
False
Let y = 1.056 - 12.236. Let n = 0.18 + y. Let v = -7 - n. Which is smaller: 2/7 or v?
2/7
Let x(i) = 3*i - 4. Let m be x(6). Suppose 5*w - q + 25 = -m, 2*q = 5*w + 43. Do w and -6 have different values?
True
Let x = -602 + 4211/7. Let a be 4/(-10) + (-9)/15. Is a >= x?
False
Let l = -0.18 + -8.82. Let t = l + 8.4. Let w = t - 0.4. Is w smaller than -0.1?
True
Let s = 3.3 - 1.3. Let b = -5 + 6. Which is smaller: b or s?
b
Let g be 0 + (-715)/357 + 2. Let d = g + 307/357. Let u(n) = -n**3 + n**2 + 8*n - 4. Let s be u(3). Which is bigger: s or d?
s
Let u be (-14)/4*1/4. Is u equal to -1?
False
Let u = -4 - -1. Let h be -4*1/(-4)*-2. Which is smaller: h or u?
u
Let d = -0.02 + -0.02. Which is smaller: 2 or d?
d
Let d be (-10)/(-24)*4/8. Let n = -13/168 - d. Which is smaller: n or -5?
-5
Suppose -p + 0 + 1 = 0. Let u(x) = x. Let k be u(5). Suppose 2*m = 5*r - 8, -k*m + 5 + 10 = 5*r. Which is smaller: p or r?
p
Let h(v) = 7*v**2 + 5*v + 27. Let d be h(-4). Is 120 smaller th