7 + p + 1). Let h be y(a). Is 2/7 at most h?
False
Let o = -11 - -4. Let h = o - -3. Let r = 3.8 + h. Is r greater than 0.2?
False
Let m be (-138)/72 + 2 + 0. Let u = 3 - 4. Is u greater than or equal to m?
False
Let y = -5 - -10. Let d = y + -4.8. Let w = 0 + 0.3. Do d and w have the same value?
False
Let s be (-3)/(-1)*1/(-1). Let t be 2 + s/(-36) + -2. Which is bigger: 0 or t?
t
Suppose 4*a + 5*r = 1, 3*a - 2*r = -a + 22. Suppose 2*d - 7*d - 3*g - 6 = 0, -d = 4*g + 8. Is d at least as big as a?
False
Suppose l + 45 = 5*l - 5*p, 4*l + 4*p = 72. Suppose 4*y + 20 = -2*k, -4*k - y + l = -4*y. Which is greater: -3 or k?
k
Let g be (1/(-3))/(3/(-36)). Suppose 4*t = g*h + 12, 5*t - 15 = -4*h + 18. Suppose -h = q - 1. Is -1 != q?
False
Let t be 10/55 - (-172)/22. Let u(f) = -f**2 + 7*f + 10. Let s be u(t). Suppose 0*h + 2*h = -s. Are h and 0 equal?
False
Let j = -22.55 + 0.55. Let l = 27 + j. Which is bigger: l or 4?
l
Let q = -530 - -1093/2. Which is smaller: 17 or q?
q
Let l = -4 - -3.86. Let m = 0.435 - -7.705. Let x = m + l. Which is greater: x or 2/5?
x
Let o = 9423/25 - 377. Let x(d) = -d**2 - 5*d - 4. Let u be x(-4). Is o bigger than u?
False
Let p = 38 + -38. Is 2/89 <= p?
False
Let f(l) = -4*l + 65. Let u be f(16). Which is bigger: -1 or u?
u
Let t = 49 + -50.2. Let k = 1 + 0. Let r = t + k. Which is smaller: -2 or r?
-2
Suppose 0 = 2*j - 3*l - 67, 0*l - 149 = -4*j + l. Which is smaller: 37 or j?
37
Suppose 1 = -2*v + 3*p - 4, 5*p = 5*v + 5. Let f be 4/3 - 4/18. Which is smaller: v or f?
f
Let o = -1 - -3. Suppose -5*r + 29 - 169 = 4*a, 0 = 4*a - o*r + 112. Let w be 6/15 + 27/a. Is w != -0.1?
True
Let b be (1/1)/((-15)/15). Which is smaller: b or -4/55?
b
Let c = -18.8 + 13.8. Which is greater: c or -0.2?
-0.2
Let v be -15*((-14)/(-3))/2. Let y be 15/v*(-2)/(-3). Is y greater than -0.02?
False
Let p = -24 + 70/3. Does 1/9 = p?
False
Suppose -10 - 25 = -5*r. Do 7 and r have different values?
False
Let l = 9733/2315 - 2/463. Which is smaller: l or 5?
l
Let n be (-72)/(-34) - (-6)/(-51). Do n and -6 have the same value?
False
Let h be (13*1)/(6/24). Let w be 18/99 + h/77. Is w equal to 2?
False
Let x be (-6)/6 + 4/1. Suppose -5*o - 3*v + 0 = 1, -x*o = -3*v - 9. Which is greater: o or 5?
5
Let s(l) = 4*l**3 + 2*l**2 - l. Let j be s(1). Suppose j*b + 13 = 6*b. Is b bigger than 13?
False
Let j be (0 - 19)*(3 + -4). Is j at least 19?
True
Suppose -3*m + 2 = -4*m. Let o be ((-3687)/822)/1 - m. Let g = o - 2/137. Which is bigger: -2 or g?
-2
Let i = 1 - 0. Suppose 4*g - 2 = 2*h - 0, 0 = 5*h + 2*g - 19. Suppose -h*x + 2*x + i = 0. Is x >= 3?
False
Let d = -22.49 + 0.49. Let i = 14 + d. Which is bigger: 1 or i?
1
Let h = 0 + -0.2. Suppose 0 = 5*u + c - 7 - 22, -2*c + 4 = u. Let y be u/3 + 14/(-8). Which is smaller: y or h?
h
Let q(k) = k**3 - 4*k**2 + 2*k - 2. Let i be q(4). Let m be -1 - (-4)/4*6. Which is smaller: m or i?
m
Let r = 6 - 4. Let y be r/4*(-2)/(-3). Which is greater: y or -0.2?
y
Let p = 50932/5535 + -2/1107. Let b = p - 189/20. Let j = 1 - 1. Is b less than or equal to j?
True
Let w = -0.33 - -0.03. Let b = -0.7 + w. Are b and -3 unequal?
True
Let j be 16/56 + 48/(-217). Which is bigger: j or 3?
3
Let k(z) = 1 + z**2 + 1 - 1 + 5*z + z. Let i be k(-5). Let r be ((-1)/8)/(2/i). Which is greater: r or -1?
r
Let c = 5 + -6. Let n be (-3 - (c + 1)) + 2. Let d be (n + 4)*2/9. Is -2/13 != d?
True
Let p be 5/(-4) + (-1)/(-4). Let b be 1 - 4/2 - -5. Let i = -3 + b. Which is greater: i or p?
i
Suppose -v + 0*v = -1. Let i be (-1 - -1) + v - -3. Suppose 8 = 3*a + 2*l, l = -4*a + i + 5. Which is greater: 0 or a?
a
Suppose 0 = 2*w + w - 12, -q + 5*w = 23. Let g be -11 - (11 + 1)/q. Which is greater: -6 or g?
-6
Let n = -6 + 2. Let q = n - -7. Is q less than or equal to 0.1?
False
Let p = -9.7 + 8.7. Is p bigger than 0.5?
False
Let w = 6/13 + -11/52. Let t = 5 + -4.7. Which is smaller: w or t?
w
Let x be (3 + -1)/(1/3). Let a(b) = -3*b - 7. Let m(c) = -1. Let v(p) = x*m(p) - a(p). Let g be v(1). Are g and 4 non-equal?
False
Suppose 2*p + 20 = -3*p. Let n be ((-3)/p)/((-2)/24). Let i(l) = -l**3 - 10*l**2 - 9*l - 1. Let w be i(n). Are -1 and w unequal?
False
Suppose 5*r - h + 6*h = 30, -21 = -r + 2*h. Is r greater than 13?
False
Let p = -6 - -6. Suppose p = -4*f + f + 3. Let h be (-2)/4*2/7. Is h at least as big as f?
False
Let t = 7 - 12. Let w = -5.03 - t. Let g = 1.9 - 2. Which is smaller: w or g?
g
Let b = -18 - -21. Let u = b + -3.1. Suppose -4*f = -0 - 4. Do u and f have different values?
True
Let p = -172 - -2581/15. Which is greater: -1 or p?
p
Suppose f + 2 = 3*f. Let j = 36 + -35. Is j greater than f?
False
Let n(k) = -k**2 - k - 3. Let m be n(-4). Let t be (0 - 5)*6/m. Do t and 2/3 have different values?
True
Let w be -3*(15/9 - 2). Let t be ((-3)/21)/(w/(-2)). Let n be (-1)/((1 + 1)/(-2)). Which is bigger: n or t?
n
Let a = 0.9 - 0.8. Are a and 1/2 unequal?
True
Let y(a) = -a**2 + 4. Let m be (4/6)/(2/6). Let w be y(m). Is w >= 0.1?
False
Let y(g) = g. Let h be (-1)/(-4) - 3/(-4). Let t be y(h). Which is greater: 1/4 or t?
t
Let k = -13 + 121/9. Let h be ((-18)/(-27))/(2/(-3)). Is k less than h?
False
Let v(t) = -t**2 - 9*t - 6. Suppose -4*l + 5*g - 13 = 0, l + 2 + 1 = g. Let a = l - 6. Let w be v(a). Do -0.1 and w have the same value?
False
Let g = 8 + -2. Suppose -4*x + x - g = 0. Does -3/5 = x?
False
Let q be (1/1)/((-9)/(-9)). Is q at most as big as 1?
True
Let l be (4 + (-174)/42)*4/(-2). Is l >= 0?
True
Let u = 2 - 1. Suppose -3*m - 2 = 1. Let b = m + u. Is 2/5 >= b?
True
Suppose 142 = 15*k - 203. Which is smaller: k or 108/5?
108/5
Suppose t + 0*t = 12. Let f = -13 + t. Which is bigger: 2/27 or f?
2/27
Let l = 115 + -917/8. Which is bigger: l or 0?
l
Let g = 36 - 37.9. Let v = g - -1.82. Which is smaller: v or -1/2?
-1/2
Suppose 4*i = -3*z - 157, -5*i + 0*z - z = 199. Is i >= -38?
False
Suppose -4*c - 20 = 44. Which is greater: c or -14?
-14
Let v = 15014/9 - 1670. Which is smaller: v or -3?
-3
Suppose 0 = -j + q - 1, j + 4*q - 2 = -8. Let v be (j/(-4))/((-3)/(-54)). Which is bigger: 8 or v?
v
Let x(v) = -v**2 + 2*v + 5. Let s be x(4). Let t be s/30*2*4. Let c(a) = -a**2 - 5*a + 5. Let l be c(-6). Is l >= t?
False
Let k be ((-30)/(-1000))/(2/(-8)). Is 0 at most k?
False
Let x(b) = -b**3 - b**2 - 14. Let t be x(0). Is -14 not equal to t?
False
Let w = 90.98 + -92. Let a = -0.02 - w. Do 1/4 and a have the same value?
False
Let f = 0.03 + 0.87. Let x = -1.9 + f. Which is bigger: -3 or x?
x
Suppose n - 4 = -3*n, 5*m + 1 = -4*n. Let x be 16/(-70)*(-10)/(-4). Is x equal to m?
False
Let i be 5/9 + 5/(-15). Is i < 1?
True
Let n(a) be the first derivative of a**2/2 - 6*a + 1. Let l be n(9). Which is smaller: l or -0.1?
-0.1
Let f(j) = 4*j - 2. Let q be f(3). Let n be 11/(-15) + 4/q. Let h(k) = k - 6. Let v be h(6). Which is smaller: v or n?
n
Let t be (-141)/(-27) - 2/9. Suppose 3*n = -4*z - z + 22, 26 = 3*z + t*n. Is z less than 1?
False
Let o = -45 - -46. Let n = -23/4 - -119/20. Which is smaller: o or n?
n
Suppose 0 = -4*k - 3*k + 126. Which is bigger: k or -1?
k
Let z = 0.1 - -2.9. Suppose 0*c = 2*c. Which is bigger: z or c?
z
Let t be (0*1/(-2))/(-2). Suppose t = 5*k - 4*p - 66, 3*p = -k - 0*p - 2. Suppose -6*j = -j + k. Are j and -1 non-equal?
True
Let u = 5 - 0. Let c = -89.9 - -90. Which is smaller: c or u?
c
Let f = -17 - -18. Let m(h) = -h**3 - 5*h**2 - 5*h - 4. Let l be m(-4). Is f greater than or equal to l?
True
Let q be (-1)/(4/4)*0. Which is bigger: 2/11 or q?
2/11
Suppose -2 = -2*l - 0*l. Is -19 not equal to l?
True
Let r be ((-3)/(-2))/(63/12). Let w(l) = -l**2 + 6. Let p be w(0). Suppose 9 = 5*n - p, -3*f - 6 = -2*n. Which is smaller: r or f?
f
Let c be 2/(-30) + (-2)/6. Let u = -388 + 388.3. Which is smaller: c or u?
c
Let l = -5.8 - -6.8. Which is bigger: 0.37 or l?
l
Let p = 7 + -7.6. Let i = -0.4 + p. Let c = -0.9 - i. Is c less than -2?
False
Suppose -4*u = 2*j - 14, -5 = -6*u + 5*u. Let h be (0 + -4)*(-8 - -9). Is j < h?
False
Suppose 5*v + 4 = -6. Which is greater: -3 or v?
v
Let o(d) = -d + 10. Let j be o(5). Which is bigger: j or 3?
j
Suppose -2*l + 0*l = 30. Let m be 24 + 5/(l/(-6)). Let x be 2 + (-48)/m*1. Which is smaller: x or -1?
-1
Let m = 146 - 436/3. Is m > 1?
False
Suppose -2*m - 10 = 2. Let l be (-4