 0. Is i greater than q?
False
Let y = -27 + 32. Suppose 4*p - 8 = -3*a + 1, 5*p = 15. Which is bigger: y or a?
y
Let o = -4 + 3.95. Let t = 0.07 + o. Is 1 bigger than t?
True
Suppose 3*l = -4*o - 28, 5*o + 3 = 3*l - 5. Let y be 3/o*(-10)/(-15). Is -2 smaller than y?
True
Let z = -7/97 - 533/679. Which is smaller: z or 2/15?
z
Let k be (-1 - -1)/(1 - -1). Let v = -14 - -113/8. Which is greater: v or k?
v
Let c(s) be the first derivative of -s**4/4 - 5*s**3/3 + 5*s**2/2 - 4*s - 2. Let l be c(-6). Which is smaller: l or 1?
1
Let k(l) = l**2 + 6*l + 1. Let m be k(-7). Let r = 3 - m. Is -2 at most r?
False
Let y = 149 - 136.8. Let r = 17.1 - y. Let l = r + -5. Which is greater: l or 4?
4
Let o be (3/(-4))/((-15)/8). Let l = -18 + 19. Is o smaller than l?
True
Let c = -21 - -21.34. Is -2 smaller than c?
True
Let t = -197 + 6108/31. Do 0 and t have the same value?
False
Let t be 0/2 - 324/(-819). Let c = -6/13 - t. Which is smaller: -2 or c?
-2
Let d = -112 + 215. Is d greater than 0.1?
True
Let x(t) = t**3 + 7*t**2 - 8*t - 1. Let a be x(-8). Let w be (-3)/57*a*2. Which is bigger: 0 or w?
w
Let s(y) = -y + 6. Let l be s(0). Suppose 3*v - 2 = -5*f + 3, 0 = -5*v + 2*f + 29. Does v = l?
False
Suppose 0*t = t + 5*t. Are 2/125 and t unequal?
True
Let g = -7 - -10. Suppose -g*w + w = 0. Suppose -t = 3, -2*p - 4*t - 20 = 2*p. Which is bigger: w or p?
w
Let k = 18670.06 + -18443. Let b = -225 + k. Let o = 0.06 - b. Which is smaller: o or 1?
o
Suppose 2*y + 1 = 5*z, 2*z = 4*z - 2*y + 2. Which is smaller: z or 29?
z
Let x be (-4)/22 - 864/(-33). Let g be 4/26 + (-4)/x. Let a be (-2 + g)*2/20. Does 1 = a?
False
Let o(i) = i - 3. Let a be o(3). Suppose -5*g - 27 = -3*k, a = -2*k - 2*g + 7*g + 18. Are k and 8 nonequal?
True
Let g = -0.07 - 5.93. Let s = g - -6.1. Which is bigger: s or 0.05?
s
Suppose 311 = 6*m - 619. Let p = -4187/27 + m. Which is greater: p or 1?
1
Let g be (-451)/(-40) + (-6)/15. Let k = g - 3377/312. Is k at most as big as -1?
False
Let b = 38/3 - 640/51. Are b and 1 unequal?
True
Let x(l) = -17*l + 1. Let o be x(1). Let n = 13 + o. Is n less than -4?
False
Let w(c) = 5*c**2 - 42*c + 15. Let a be w(8). Is a bigger than 1/192?
False
Let b = -4 + 5. Is 1 <= b?
True
Let h = -104 + 105. Which is smaller: -6/37 or h?
-6/37
Let g be 0 - (0 + 2/(-5)). Let t be 4/12 - 2/(-3). Suppose -j + 0 - t = 0. Is g at most j?
False
Let i(r) = -r**3 + 12*r**2. Let t be i(12). Which is bigger: 1/4 or t?
1/4
Let l = -2990/11 + 272. Let f be ((-3)/9)/(2/(-6)). Is l greater than f?
False
Let x be -4*((-4 - -2) + 1). Let j be 2/4 + x/12. Which is greater: 2 or j?
2
Let c be (0 + 2/5)*-35. Which is smaller: -15 or c?
-15
Let i(z) = -z**3 - 3*z**2 - 2*z. Let f be i(-2). Suppose -5*k - l - 33 = f, 2 = -2*l + 6. Is -7 < k?
False
Let y = 3 - 2. Suppose 0 = 3*h + 4 - 19. Suppose 8 - 3 = h*r. Are r and y non-equal?
False
Let c = -7 - -2.1. Let q = 5 + c. Let z = -2.2 + 0.2. Is z greater than q?
False
Suppose 4*a - 8*a - 2 = -3*w, 2*a - 5*w - 6 = 0. Which is smaller: a or 0?
a
Let a be (-8)/(-256)*2/4. Let t = -95/64 - a. Are -3 and t equal?
False
Let g(x) = -x**2 - 13*x + 10. Let u be g(-13). Suppose 0 = 3*d + 5*b - 1, u = -5*d + d - b. Is -4 at least d?
False
Let t be 0*(-2 + 1)/(-1). Suppose -6*h + h + 5 = 0. Are t and h non-equal?
True
Suppose -6*z + 14*z = 344. Do 43 and z have different values?
False
Let g = 6 + 1. Let q be ((-7)/(-7))/((-7)/2). Which is greater: q or g?
g
Suppose -5*d + 9 = 3*g - 11, 2*g = -3*d + 12. Suppose -5*n = -4*n - 6. Let w = d - n. Do -2 and w have the same value?
True
Suppose -5*k + 18 = -7. Suppose 2*j + 2*j + 40 = 0. Let l = k + j. Which is smaller: l or -4?
l
Let k(r) = -r**3 - 12*r**2 - 11*r + 4. Let d be k(-11). Suppose -14 = -d*n + 14. Is 7 less than or equal to n?
True
Let p = 65 + -67.9. Let w = 1.9 + p. Is -10 at least as big as w?
False
Let f be 0 - -1 - (-5 + 3). Let u be 1*2 + f + -5. Is 1 less than or equal to u?
False
Let p be (-2)/(6/(-3)) + -13. Let g be (2/(-102))/(2/p). Which is smaller: -1 or g?
-1
Let q be 0 + 8 - (0 - 4). Let h = q - 25/2. Let i = 0.12 + -0.1. Is h less than or equal to i?
True
Suppose 3*k - 5*k - 3*t = -9, 5*k + 3 = t. Suppose 3*h - 4 - 2 = 0. Suppose k = 4*g - h*g. Is g equal to 1?
False
Suppose 3*a + 4*o - 24 = -a, 0 = -3*a - 2*o + 14. Which is smaller: 13/8 or a?
13/8
Suppose 0 = 2*f - 4*f - 4. Let h be 1*((6 - 2) + -3 - 4). Is f >= h?
True
Let w = 963 - 8657/9. Let t = w - 11/9. Let b be 2/(-7) + 20/(-28). Which is greater: b or t?
t
Let r = 3.45 - -0.15. Let s = r + -0.6. Which is bigger: 1/3 or s?
s
Let l(c) = c**3 + 4*c**2 - c + 2. Let a be l(-4). Suppose o + 20 = a*o. Let p = o - 2. Is p <= 2?
True
Let r be (-182)/(-18) + 9/(-81). Which is greater: 31/3 or r?
31/3
Suppose -5*b + 3*l - 2*l = -16, 0 = -b - 5*l + 24. Let m(h) = h**2 - 3*h + 2. Let d be m(b). Let o be (-4)/d*(-21)/(-28). Which is smaller: o or -2/11?
o
Let z(g) = g**2 - 4*g - 6. Let j be z(5). Let d = 12121802/15 - 807742. Let s = 378 - d. Is s at least as big as j?
True
Suppose 8*h = 3*h. Suppose h = -5*c + 8 + 12. Is 8/3 less than c?
True
Let g(h) = -2*h - 45. Let c be g(12). Which is smaller: c or -70?
-70
Suppose 4 = -2*k + 2*x - 3*x, 5*k + 3*x + 11 = 0. Let y be 3/9*(0 + k). Let h = 0.2 + -1.2. Is h at most y?
True
Let a = -0.14 - 0.46. Let w = 5 - 11. Let g = w - -7. Is a at most as big as g?
True
Let z = -4 - -10. Suppose 0 = 5*q + 4 + z. Let l be 0 + (-7)/(14/4). Is l bigger than q?
False
Let k = -2 - -7. Let r be k/(-3 + (-81)/(-28)). Let w = 48 + r. Which is bigger: 2 or w?
2
Let t = 1 - -4. Let i = t - 4.6. Let o = i - 0.5. Which is smaller: 1 or o?
o
Suppose -5*h - 3*q - 5 = -3, -3*h = -5*q + 8. Which is bigger: h or 2/43?
2/43
Let s = -1.3 + 0.3. Let d(o) = o**3 - 6*o**2 + 5. Let m be d(6). Are s and m unequal?
True
Let j(r) = r + 1. Let v be j(5). Which is smaller: 13/2 or v?
v
Let z(f) = 3*f**2 - 4*f**2 - f + 4 - 3*f + 0*f. Let g be z(-5). Let i(l) = l**2 + 2*l + 1. Let a be i(g). Are 1 and a non-equal?
True
Suppose -u - 4*d + 25 - 2 = 0, -3*u + 39 = -3*d. Suppose 5*h + 0*s - u = 5*s, 3*s - 3 = -3*h. Let v be (-9)/(-6)*h/(-3). Is -2 at most v?
True
Let c = 13/19 + -129/133. Let f = 2 - 2.2. Let i = f - -0.1. Which is greater: c or i?
i
Suppose -4*m = 2 + 2. Let j(y) = -y**2 + 3*y. Let t be j(3). Is m not equal to t?
True
Let i = -1 - -7. Let l = 6.37 + -0.37. Let u = l - i. Is 0.1 equal to u?
False
Let j be -2 + ((-558)/(-33) - -1). Let p = j - 16. Which is smaller: p or -1?
-1
Let l be 2/(-3) + 2/12. Let s = 6.7 - 0.7. Let v = -5.7 + s. Which is smaller: l or v?
l
Let z = 9 - 7. Let b be 3 - 2*(6 - z). Is b > -6?
True
Let c be 25 + -21 - (-330)/(-82). Which is greater: c or 1?
1
Let c(v) = 3*v - 8. Let r(u) = -2*u + 7. Let d(q) = 3*c(q) + 4*r(q). Let l = -6 + 0. Let m be d(l). Which is bigger: 1 or m?
1
Let i be (2 - 0) + 1 + 0. Suppose 0 = i*u - 2*u. Let f be -3 + (1 - (0 - 0)). Is u greater than f?
True
Suppose 0 = -b + 5*b + 4. Suppose 15 = -5*v - 0*v, 5*v + 57 = 2*u. Let f be (-1)/5 - u/(-255). Which is smaller: b or f?
b
Suppose 4*y = y + 9. Suppose -f - r - 2 = 0, r + 2 = -4*f - y. Which is smaller: f or -2/19?
f
Let r be (-34)/10 - 2/(-5). Suppose 2*y - 4 - 2 = 0. Let f = r + y. Which is greater: f or -1?
f
Let x = 0.11 - 2.11. Is 2 greater than or equal to x?
True
Let t = -357 + 234. Let x = -1111/9 - t. Which is smaller: x or -2/3?
-2/3
Let m(d) = -2*d - 1. Let t be m(0). Let i be -3 - 219/75*t. Is 1 > i?
True
Suppose 4*a - 4*y + 24 = 0, -5*y + 7*y = -5*a + 5. Let f be (-2)/28 - 51/119. Which is greater: a or f?
f
Let b(d) = 5*d**2 + d - 1. Let h be b(1). Which is smaller: 3 or h?
3
Let a(z) = z + 4. Let t be a(-3). Let h be 0 + (-6)/(-3) + t. Suppose d - 12 = 3*b, 9 = -h*b + b + d. Which is bigger: b or -2?
-2
Suppose 4*y = -5*y - 9. Let p = 398 + -7565/19. Which is bigger: p or y?
p
Suppose 4*o - 7*i - 109 = -2*i, 3*o + 2*i = 99. Which is smaller: 32 or o?
o
Suppose 6 = -4*o + 2*o. Let v be (1/(-3))/(o/6). Let k be (1 - 0)*6/24. Is k greater than or equal to v?
False
Let z(w) = 5*w + 9. Let p be z(-4). Which is bigger: -9 or p?
-9
Let w = 23 - 14. Is w bigger than 9?
False
Let v(l) = -2*l**2 - 3*l - 1. Let s be v(-2). Is -3 at least as big as s?
True
Let v(o) = -o**2 + 4*o - 1. Let x be v(2). Suppose 0