3 + -8. Is q smaller than 0.2?
False
Let z = -3 + 4. Suppose -4*o - 9 = 3*x, o + 11 = 5*x + 3. Is z at most x?
True
Suppose h - 2*z + 8 = z, h = -z + 8. Let d(y) = -y**2 + 3*y + 4. Let j be d(h). Let w be (-5)/(-8)*4/10. Which is smaller: j or w?
j
Let l = -106 + 122. Is 19 at most l?
False
Let c(m) = -3*m + 68. Let n be c(23). Which is smaller: n or -180?
-180
Let r be 2*-1*3/6. Let v be 6/4*(-4)/8. Is r at least as big as v?
False
Let j(x) = x**3 + 11*x**2 + 10*x + 4. Let o be j(-10). Suppose 69 = 4*p - 3*z, -o*z + 13 = 2*p - 27. Let t be (-2)/8 - p/(-8). Is 2 less than or equal to t?
True
Let n be -1 + 1 - (8 + 0). Are -7 and n unequal?
True
Let z(r) = 2*r + 18. Let v be z(-15). Is v <= -13?
False
Let t = -0.49 - -0.11. Let u = 0.08 + t. Let a = u - -0.4. Is 1/4 at most a?
False
Suppose -3 = -u - 0*u + z, -3*u + 9 = z. Is u less than or equal to 2?
False
Suppose 5*d = 21 - 1. Suppose 2*r - d = -2. Let t = -38 - -115/3. Is t at least r?
False
Suppose -2*p = d + 6 + 1, 4*p + 15 = -3*d. Let i be 141/76*6/(-9). Let a = i - 5/19. Is d greater than or equal to a?
True
Let w = 182 - 179. Is 23/12 > w?
False
Suppose 10 = -5*m - 2*p, -3*p = m + 6 - 4. Suppose 5*c + 5 = -2*l, -6 - 10 = 4*c + 4*l. Let z be 12/(-8)*1/c. Which is greater: m or z?
z
Let n = 0.04 + -10.04. Which is greater: -2/7 or n?
-2/7
Let l = -7/19 - 29/76. Let d = -2.36 + 2.26. Which is bigger: d or l?
d
Let h(t) = 2*t**2 + 5*t - 1. Let c(z) = -z**2 - 6*z + 1. Let o(l) = 6*c(l) + 7*h(l). Let a be o(-1). Is 7 at most a?
True
Let s = 16 + -6. Which is greater: s or 12?
12
Let t(n) = n + 8. Let f be t(-6). Let j = f + -5. Is j greater than or equal to -9/4?
False
Let d(n) = -n + 10. Let y be d(5). Suppose -2*m = 2*c - 4 - 6, 5*c = m - y. Let k = -6.6 + 7. Is c bigger than k?
False
Let u = -14 + 20. Suppose 4*c - 2*c = u. Let m = c + -4. Which is smaller: 1/4 or m?
m
Let l(h) = h**3 + 8*h**2 + 8*h + 5. Let y be l(-7). Suppose -r + 4 = -3*r. Let n be (r/3)/((-10)/(-6)). Is n at least y?
True
Let l be (2 - 1) + 9/(-3). Suppose 4*u = -2*p - 2, -6*u - 6 = -p - u. Let n be -5 + p*(l + 4). Is 0.1 <= n?
False
Suppose -3*a - 72 = 2*o, 4*o = -2*a - 47 - 1. Are -24 and a nonequal?
False
Suppose 8*b - 4*b - 13 = 3*v, 3*v + 9 = 0. Which is greater: b or 3/26?
b
Let j(u) = -u**2 - 9*u - 3. Let a be j(-9). Let s be 2*(a/(-2) + -1). Let z be (4/10)/(4/15). Is s greater than or equal to z?
False
Suppose 5*p - 3*g - 2 - 1 = 0, -2*g = -8. Suppose 9 = 2*o + p. Let r = -103/2 - -53. Are o and r equal?
False
Let z be ((3/(-1))/(-3))/(-1). Which is greater: 0 or z?
0
Let i = -75 - -53. Let m = i + 35. Which is smaller: m or -0.1?
-0.1
Let g be (-2)/(-1 + -1) - 2. Which is smaller: -1/15 or g?
g
Suppose -3*x = 3*q - 42, -9 = -2*x - 5*q + 22. Let u be (0 - 0)*(14 - x). Is 0 greater than u?
False
Suppose 2*a - b = 4 - 0, -2*a - 16 = 4*b. Let x = 3 - a. Suppose -12 = -2*g + 2*i, -x*g + i + 24 = -4*i. Is g smaller than 2?
False
Suppose 2*m = 8*m + 90. Is m at least -15?
True
Let n be 1/7 + (-298620)/(-931). Let g = -321 + n. Which is smaller: g or 0?
g
Suppose 5*r + 58 = 4*x, 0*x - x = -2*r - 22. Which is smaller: -9 or r?
r
Let k(u) = -u**3 + 5*u**2 + 6*u + 7. Let w be k(6). Let j be (-3)/w - (-140)/98. Which is smaller: j or -0.08?
-0.08
Suppose 3*b = 2*m, -2*b + 3*b - 2 = 0. Let z be m/6*6 - 3. Is 3/4 <= z?
False
Let b be (4/(-24))/(2/(-16)). Let l be (6/5)/((-4)/(-10)). Let r = l + -2. Which is smaller: b or r?
r
Let u(q) be the third derivative of -q**6/360 + q**5/24 - q**4/12 + q**3/3 - 2*q**2. Let v(x) be the first derivative of u(x). Let m be v(3). Is m <= 3?
False
Let x be (-2 - (-1 + -1))/1. Suppose 0*z - 2*z - 8 = x. Let g be 2 + z - (-14)/10. Are 0 and g equal?
False
Let y = 367/6 + -61. Let a(g) = g**2 - 4*g + 2. Let o(l) = -l**2 + 5*l - 1. Let v be o(4). Let z be a(v). Which is bigger: z or y?
y
Suppose -4*x = -5*s + 22 + 11, 3*s = 15. Let y = x - -2. Let q be (y - 0)/(-3 - -1). Which is greater: -2/11 or q?
q
Suppose 5*o - 20 = -4*b - 0, 12 = 3*o. Do b and -11 have different values?
True
Let m(q) = -q**2 - q - 1. Let u be m(-2). Let z = -39/7 - -131/21. Which is greater: u or z?
z
Let i(c) = -c**3 - 9*c**2 - 9*c - 8. Let p be i(-8). Are p and -5/6 nonequal?
True
Suppose -g + 0*g = 4*g. Which is smaller: 7/5 or g?
g
Let w be 1 + 2*(-2)/10. Let m be 272/112 - (-3)/(-7). Which is smaller: w or m?
w
Let o be 1*(-2)/2*-5. Suppose 9 + 1 = o*l. Let n be (-1)/((-1)/l) + 1. Do n and 3 have different values?
False
Let d = 4/21 - -3/7. Let r = d + -2/7. Which is greater: r or -1?
r
Let v = -2.4 - -0.4. Which is bigger: v or 0.3?
0.3
Let m = -3 - -6. Suppose 6 = f + m. Suppose -4*u + 1 = 2*j - j, f*u = -j + 1. Which is greater: j or 0?
j
Let n be (-28)/16 - (-1)/(-4). Suppose -4*p = -p + 3. Which is bigger: p or n?
p
Let r = 0.543 - 0.043. Is 0.1 less than or equal to r?
True
Let c = -145 + 1017/7. Are c and 7 non-equal?
True
Let r be (2 - 2 - -2)/(-2). Let p(b) = -b + 6. Let o be p(7). Let t be o/r - (-1 + -3). Is 5 bigger than t?
False
Let g = 5 - 0. Let m = g - 5. Is 4 > m?
True
Let d = -20 + 17. Which is greater: 2 or d?
2
Let a = -116 + 115. Which is bigger: -4/5 or a?
-4/5
Let a = -433/44 + 56/11. Is -4 not equal to a?
True
Let r = -1 + 9. Is r >= 7?
True
Let y = 2.1 - 3. Let s = 2.9 + y. Is s equal to 2/3?
False
Suppose 2*f + 14 - 6 = 0. Which is smaller: f or -7?
-7
Suppose -3*n + 2*a + 26 = 0, -2*a - 50 = -5*n + 3*a. Is n <= -9?
False
Let r = -47141 - -424721/9. Let c = r - 50. Is c less than or equal to 1?
True
Let m(d) = d**2 - 5*d + 3. Let x be m(4). Is x at least as big as -102?
True
Let j = -40 - -39. Is j at least as big as 44?
False
Let q = -0.27 + -5.73. Is 0 bigger than q?
True
Let n(t) = -t + 8. Suppose p = -0 + 7. Let m be n(p). Which is smaller: m or 2?
m
Suppose 8*k = -5*k - 754. Is -2/5 less than k?
False
Suppose 3*z = g + 5, 3*z + 3 = 5*g + 28. Which is bigger: z or -1/8?
z
Let v(d) = 2*d**2 - 2*d + 1. Suppose 3*w - 5*w - 5*b = 11, 2*b = 2*w - 10. Let q be v(w). Let m be 3/12*4/q. Which is smaller: 0 or m?
0
Let u = -0.96 - 0.14. Let o = u - -1.1. Which is bigger: o or 2/33?
2/33
Let c = -18 - -6. Let l(j) = j + 14. Let p be l(c). Are p and 2 equal?
True
Let r(z) = z**2 - 7*z - 3. Let c be r(8). Let g(u) = -u**3 + 5. Let l be g(0). Let a = c - l. Which is smaller: a or 1/6?
a
Let u = 0.92 - 0.9. Let a = 0.28 + u. Is a less than or equal to 0.1?
False
Let k be -1 - 4/(3 + 1). Which is bigger: -2/3 or k?
-2/3
Suppose -4*t + 2*g = -t, 0 = 2*t + g. Let x = -2521/95 + -62/19. Let v = -30 - x. Is v at most as big as t?
True
Let f = 44 + -24. Suppose 4*j + f = 3*i, 2*i - j - j - 12 = 0. Is 3 less than or equal to i?
True
Let z be (-2 + 63/28)*(-2 - -4). Is z != 43?
True
Let k(x) = 4*x**2 + x. Let c be k(3). Is c >= 40?
False
Let j(i) = i**2 + 6*i - 2. Let x be j(-6). Let g = -36 + 36.1. Is x at most as big as g?
True
Let g(v) = -3*v + 3. Let c be g(3). Let k = c + 6. Is k less than -1?
False
Let p = -95 + 94.9. Which is greater: p or -1.9?
p
Let g = -0.24 - -0.04. Let s = -1.3 + 1. Let y = g - s. Which is bigger: -1 or y?
y
Let u = -22.1 + 22. Let m be (1/(-2))/(1/(-4)). Which is smaller: u or m?
u
Let z(w) = 3 + w**2 + 4 + 2 - 6*w - 4. Let s be 4 + (4 - 2) + -1. Let l be z(s). Is l != -0.2?
True
Let g = 6 + -18. Which is greater: g or -11?
-11
Let d(p) = -2*p. Let j be d(-1). Suppose -j = 2*c + 3*c - 4*i, 12 = 4*i. Suppose 4*m + 10 - c = 0. Which is smaller: -3 or m?
-3
Let n be (20/5)/((-1)/14). Let x be 4/n*-4*1. Let t(y) = -y + 6. Let m be t(6). Which is smaller: m or x?
m
Let x = -0.12 + 0.07. Let w = x + 0.04. Which is smaller: w or 1/4?
w
Let o be 46/(-14) + (-2)/(-7). Let u be 0/(-1*3/o). Is u < 1?
True
Let g = 10 + -18. Let h be g/60 + 23/60. Are 0 and h non-equal?
True
Suppose -1 = -3*m + 4*g, 0*m + 7 = m - 3*g. Is -4 smaller than m?
False
Let b be 8/240 - (-2)/(-10). Let k = 4 + -2. Let d = -1.9 + k. Is d less than b?
False
Let f be (1626/44)/((-1)/4). Let z = f + 148. Is -1 at most as big as z?
True
Let i be 45/39 + (-8)/52. Is 6 equal to i?
False
Let s = -2 - -2. Let r be (s/(-5))/((-1)/(-1)). Suppose -d + 5 = -3*h + h, -5*d + 1 = 2*h. Which is smaller: r or d?
r
Let n be (-2)/(-1) + -3 + 1. Which is greater: -2/75 or n?
n
Let p = 747/14 - 105/2. Which is smaller: 1 or p?
p
L