t h = -1 + 5. Suppose 24 = 5*u + 4, -19 = 3*t - h*u. Which is bigger: t or -1/7?
-1/7
Suppose -s + 4 = -1. Suppose o - 1 = -4*w + s, -o - 6 = -2*w. Let v be -2 + (-4)/3 + (4 - 0). Which is greater: w or v?
w
Suppose -p - 2*q + 4*q - 4 = 0, 2 = 4*p + q. Let j = -2 + -2. Let d be (-2)/(-8)*6/j. Which is greater: p or d?
p
Let q(h) = 22*h**2. Let i be q(-1). Suppose -161 = 2*z + 19. Let w be 4/i + z/(-231). Is 0 smaller than w?
True
Let q = 24533/3924 + -2/981. Are 7 and q non-equal?
True
Let x(u) = 5*u - 4. Let n be x(6). Let t be 0 + 2 - 48/n. Let l = 7 - 8. Is t != l?
True
Let d = 0.12 + -0.02. Let z be (-30)/(-6) + (-4 - -1). Let i(f) = f**3 - 2*f**2 + 3*f - 2. Let k be i(z). Which is smaller: d or k?
d
Let t(c) = -2*c - 16. Let y be t(-8). Which is bigger: y or -2?
y
Suppose 0 = 4*y - 4*s - 4, 2 = -3*y - s - 3. Which is smaller: y or -4?
-4
Suppose 50 = -2*a - 5*v, -50 = a + 2*a - 5*v. Let m be ((-190)/25)/((-2)/a). Let u = m + 379/5. Is 1 at most as big as u?
False
Let z = -32 - -33. Are 5 and z equal?
False
Let y(w) = 2*w**2 + 4*w - 1. Let g be y(-3). Let a = 17 + -12. Is a less than or equal to g?
True
Let a = 2486 + -22460/9. Let f = a + 1177/126. Which is smaller: 0 or f?
f
Let r = -75 + 86. Is 6 at most r?
True
Let x be (-6)/12*(-8 - 0). Suppose 0 = 3*v - x*i + 3*i + 182, 6 = 3*i. Let w be 3*1*(-5)/v. Which is smaller: 2/3 or w?
w
Suppose y - 3*n = n - 2, 2*y + 4*n = 8. Let i be 1 - (2 - y)/2. Let u = 328 + -326. Is i < u?
True
Let l = 96 + -97. Let d = -7 - 0. Let f = d + 5. Are f and l equal?
False
Let r = 0.5 - -3.5. Let w = 32 - 32. Is r at least w?
True
Let l be 288/42*(-316)/6. Let r = l + 360. Is -2 smaller than r?
True
Let i(l) = l - 2. Let y be i(4). Let v be (2 + -5)/((-6)/y). Is v >= 3?
False
Let a = 3 + -3. Suppose a*g = 3*g. Which is smaller: g or 3/4?
g
Suppose -3 = -2*r + 3. Is r less than or equal to 4?
True
Let s be (8/20)/(192/(-140)). Which is smaller: 1 or s?
s
Let y(p) = -2*p - 1. Let z be y(3). Let x = z - -5. Do -3 and x have different values?
True
Let j be (5/2)/(-5)*0. Suppose j = -0*q - 5*q - 5. Let o(t) = t**2 + 3*t - 2. Let w be o(-3). Which is smaller: w or q?
w
Let z = 20 + -21. Which is greater: z or -3/2?
z
Let p be 2 + -16 + (1 - -2). Which is smaller: -10 or p?
p
Let z = 7 + -4. Suppose 2*t = -0*t - h - 1, 5*t = -z*h - 3. Let o = -2 + t. Is -2/3 >= o?
True
Let x = 313 - 314. Let t be 166/(-600) - 3/(-12). Is x bigger than t?
False
Let k = 23/2 + 165/4. Let q = -53 + k. Which is bigger: q or 0?
0
Suppose -4*p + 5 = -11, -4*z + 100 = 3*p. Suppose g - 2 = 5*a - z, -16 = -4*a. Which is smaller: g or 4/7?
g
Let x(n) = -2*n**2 - 4*n - 2. Let r be -3 + 1 + -6 + 5. Let k be x(r). Which is bigger: -7 or k?
-7
Let f = 0 - 2. Let k = f + 1.93. Let w = 0.23 - k. Which is bigger: w or -0.1?
w
Let b(z) = -z**2 + 10*z - 2. Let t be b(10). Let g be (4/t)/((-18)/(-63)). Which is smaller: 2 or g?
g
Let d be (3 - 2) + 9/(-7). Let m be 1/(-2) - 12/8. Let z = 3 + m. Is z at least as big as d?
True
Let f = -26.4 + 20. Let n = 6 + f. Is n at least as big as 0.1?
False
Let r(c) be the first derivative of c**4/4 + 4*c**3/3 - 2*c**2 + 2*c - 1. Let d(o) = -o**2 + 6*o + 11. Let p be d(8). Let w be r(p). Is -2 at most as big as w?
False
Let w(l) = l**3 - 14*l**2 + 12*l + 4. Let h be w(13). Is h bigger than -8?
False
Let y be 0*(-1*2)/(-2). Suppose -4*s + 0*s = y. Which is smaller: s or -1?
-1
Let h = -24 + 72. Let w = -40.3 + h. Let r = -8 + w. Is r at most -0.3?
True
Let k = -464/3655 + 2/215. Are 1 and k non-equal?
True
Let c(p) = p**3 + 14*p**2 - 16*p - 16. Let f be c(-15). Is f smaller than 3/10?
True
Suppose -5*t - 3*l + 40 = 0, -3*t + 5*l = -8*t + 50. Suppose x = -t*m + 2*x - 14, 10 = -3*m - x. Let i be (1/m)/(5/(-15)). Is 2 bigger than i?
True
Let t(y) = -2 + 0*y**2 - y**2 - 5 + 8*y. Let s be t(7). Let q = 11 - 13. Which is bigger: s or q?
s
Let v be 2 - ((-2 - -3) + 1). Suppose v = 8*z - 13*z - 5. Let m = 2 + -2. Is m >= z?
True
Let s be 2*(-2 - (0 - -1)). Let n(w) = -11*w + 1. Let h be n(-1). Suppose 3*v = 3*c + h, 5*c = c - v - 21. Is c > s?
True
Let r be (0 + (-3)/(-99))*12/(-8). Is 1 at least r?
True
Let o(f) be the first derivative of f**2 - f + 1. Let d be o(3). Is d not equal to 4?
True
Let a(n) be the first derivative of -n**2/2 - 10*n - 4. Let r be a(-12). Suppose r*o = -3*o - 10. Is -2 less than or equal to o?
True
Let m = 32 + -31.91. Let r(n) = n**2 - 6*n + 4. Let f be r(5). Is m < f?
False
Let o be 2*1 - (-102)/45. Let l be (-4)/(-3)*21*(-5)/25. Let h = o + l. Which is smaller: h or -2?
-2
Let r be 12/24*4/6*21. Which is greater: r or 36/5?
36/5
Let d be 2 - 7/5 - (-85)/(-150). Let y(o) = -o**3 - 2*o**2 + 2*o - 2. Let x be y(-3). Is d bigger than x?
False
Let o = -4 + 0. Suppose 0 = a - 5*a + 2*j - 22, 15 = 5*j. Is a less than or equal to o?
True
Suppose 4*c = -c + 2*x + 8, 3*c = 5*x + 20. Suppose -i + 3*i + 2 = c. Let a = 2 - 3. Is a > i?
False
Let f = -2 - 4. Let h = f - -7. Is h less than -8?
False
Suppose -3 + 0 = j. Let x = j - 0. Let c(t) = t**3 + 7*t**2 + 7*t + 4. Let h be c(-6). Is h at most x?
False
Let l be (-261)/(-63) + 0 + -4. Is l smaller than 1?
True
Let t = 4 + -2. Let d be -2*1 - (-5 - t). Which is bigger: 3 or d?
d
Let d = 0.047 + 20.953. Is 1 at most d?
True
Let s = 9 + -8.9. Let z = -6 - -4. Which is bigger: s or z?
s
Let o = 232/3 + -80. Which is greater: -2 or o?
-2
Suppose -2*d = 4*c - 44, 3*c + 8 = 5*d + 67. Is 13 at least as big as c?
True
Let m be 18/117 + 9*(-12)/26. Is -3 at most as big as m?
False
Let u = -103 + 1958/19. Is 1 equal to u?
False
Let y = -8 - -8.1. Let o = 0 - y. Suppose 2*i + 0 = -4. Is o less than i?
False
Let x = -321 + 212. Is -110 <= x?
True
Let z = -4.8 + 0.8. Let s = 0.071 - -4.029. Let t = z + s. Is t equal to -1?
False
Let h = -50.1 + 50. Let o = -0.06 + -2.94. Let t = 3.2 + o. Which is greater: h or t?
t
Suppose -2*b + 14 = -4*t - 0*b, -1 = t + 2*b. Let j be ((-2)/(-6))/((-10)/75). Which is greater: j or t?
j
Let x = -0.1 + 0.1. Which is smaller: -1 or x?
-1
Suppose l + 11 - 2 = 0. Is l < -8?
True
Let o be 0 + 0 - 4*-1. Suppose o = -j, -4*m - 3*j = 2*j + 68. Is m less than -11?
True
Let r = -23 + 19. Let v be -14 - -14 - r/102. Which is greater: v or 1?
1
Let y(g) = g**3 - g + 23. Let p be y(0). Is p smaller than 25?
True
Suppose 29 = f + 28. Is f at least -1/16?
True
Let u = -5/13 - -168/65. Are u and 2 equal?
False
Let o = -4373/5 - -864. Let a = 169/15 + o. Is a less than 0?
False
Let f(u) = -4*u**3 + u**2 - 1. Let v be f(1). Let y be ((-3)/(-2))/((-15)/(-50)). Suppose 0*c - c = y. Which is bigger: c or v?
v
Let s = 3 + -2. Let k = -6/53 + 196/795. Which is smaller: s or k?
k
Let i(t) = -9*t**3 - 2*t**2 + 1. Let d be i(-1). Let j be ((-6)/(-14))/(12/d). Let x = -3.1 - 0.9. Is x greater than j?
False
Suppose 0 = c + c. Let p be (2 + c)/(2/1). Which is bigger: 0 or p?
p
Let i(n) = -n + 2. Let a be i(2). Let v = -626 + 25664/41. Is v >= a?
False
Let x(g) = g**2 + 3*g - 2. Let t be x(-5). Suppose -t*i = -9*i. Is 4/5 greater than or equal to i?
True
Let n(j) = -j**2 - 2. Suppose 3*y + 0*y = 0. Let x be n(y). Let p be (x - (-10)/4)*6. Which is bigger: 2/5 or p?
p
Let x = -21 + 20. Let m be (-4)/6*1/(-2). Do m and x have different values?
True
Let h = -4 + 12. Let v = -8 + h. Is v smaller than 3/4?
True
Let y = -11906/31 - -384. Is 0 smaller than y?
False
Let j(t) = -4 + t**2 - t - 3 + 10 - 4. Let l be j(2). Let m = 315/4 + -78. Which is bigger: m or l?
l
Let c(v) = -v. Let h be c(-1). Suppose u + 2 = -1. Let t = u + 4. Is h < t?
False
Let h = -292 + 306.9. Let p = h + -15. Which is bigger: -1/3 or p?
p
Suppose 4*q - 20 = -q. Is 10 at least as big as q?
True
Let k be (5 + 0)/(0 - -1). Suppose -x - 5*z + 6 = x, 0 = -k*x + 5*z + 15. Which is bigger: 8/3 or x?
x
Let b = -174 - -520/3. Is b <= 27?
True
Let d = -140 + 982/7. Let i = 0 - -5. Let b(c) = c - 5. Let h be b(i). Which is greater: d or h?
d
Let b(v) = -v**2 + 3. Let i be b(0). Let r = i + -2. Suppose -3*h + 0 = 5*y - r, 5*h - 5*y = 15. Which is smaller: h or 1?
1
Let a be (-708)/(-195) + 4/(-10). Let l = a + -19/26. Suppose -3*q + 12 = q. Is l less than q?
True
Let h be (-1)/(-3) - 10/(-6). Let k(s) = -s. Let p be k(-2). Let v = p + -1. Is v greater than h?
False
Suppose -4 = -2*w - 5*u, 3*w + 0*u - 32