me value?
False
Let c(q) = -q**2 + 5*q + 4. Let l be c(6). Let f be (-2)/(-7) - (-19)/7. Suppose 4*g = -f - 5. Is l at most g?
True
Let s = -4.5 - -0.9. Let p = s + 4. Let m = -0.4 + p. Is m at least 1/3?
False
Let g = 12 + -12. Let w = 4 - 4. Let q be (-5 + w)*(-4)/(-50). Is q not equal to g?
True
Let q(z) = z**3 + 6*z**2 + 4*z - 1. Suppose -4*v + 2*k - k - 18 = 0, -v - 4*k = 13. Let x be q(v). Suppose n - 2 = 1. Does n = x?
False
Let r be 3*(3 + 1372/(-456)). Which is greater: r or 0?
0
Let t be (-1*6)/3 + -5. Suppose 0*v - 5*v = 3*p + 20, -v - 2*p = 4. Which is smaller: t or v?
t
Suppose 0 = r - 3*i - 89, 9*i = 2*r + 8*i - 158. Which is bigger: r or 1?
r
Let a = 2/49 + 43/147. Let h = -4.8 - 1.2. Which is smaller: a or h?
h
Let l = 0 + -3. Is l greater than or equal to -1?
False
Suppose 5*f - 3 = 2*f. Which is smaller: 7/3 or f?
f
Let x(m) = -m**3 - 13*m**2 - 11*m + 17. Let y be x(-12). Is 15 >= y?
True
Let f = 0 - 0. Let w = -8 + 13. Let s = w - 5. Is s greater than or equal to f?
True
Let m = 28 + -16.8. Let s = 11 - m. Let t = 0 + -0.1. Is t < s?
False
Let u = -1 + -13. Let q = 9 + u. Which is smaller: q or 1/3?
q
Let k = 18.3 - -0.7. Let s = k - 29. Let m = s + 9. Which is smaller: -0.3 or m?
m
Let m be (2/52)/((-2 + 5)/6). Which is greater: m or -1?
m
Suppose 12 = -4*p + 52. Let r be 15/10*2*-1. Let u be (p/15)/(1/r). Which is smaller: u or 0?
u
Let u = 125 - 125. Let x = -51 - -562/11. Is x at least as big as u?
True
Let n = -4 - -3. Let m = -1 - 0. Is n smaller than m?
False
Let t be (15/60)/((6/8)/(-3)). Are -5 and t non-equal?
True
Let w be (-22)/(-30) - 1/3. Let l be (-46)/(-210) + (-2)/7. Let g = l + w. Which is smaller: g or -0.01?
-0.01
Let t(w) = w**3 + 2*w**2 + w. Let p be t(-1). Suppose -1 = 2*l + j, -2*l = 3*l - j - 8. Suppose l = -b - p. Is -1 bigger than b?
False
Let m be 2 + -2 + (-2)/(-6). Which is bigger: -1/47 or m?
m
Let v = -17.07 + 0.07. Which is smaller: v or 1?
v
Suppose -4*i + 7 = 5*d + 24, 4*d + 5*i = -10. Let c be (-4)/6*(-1 + 7). Are d and c equal?
False
Suppose -y = c - 0*c, -c - 5 = 0. Suppose 13 + 2 = y*u. Suppose 0 = n + u*n. Which is smaller: n or -1?
-1
Suppose 0 = o + 4*o - 90. Let a be (o/14 + -1)*-1. Let t be (-15)/(-12) + 2/(-8). Which is bigger: t or a?
t
Let v be (-5)/(-4) - ((-3)/4 - -1). Are -1 and v equal?
False
Suppose -5*w = -2*w + 21. Is w less than -3?
True
Let l(f) = -f**2 - 7*f - 4. Let p be l(-12). Let c = p + 194/3. Is 1 greater than c?
True
Let h = -0.1 - 3.9. Which is smaller: 2 or h?
h
Let l(g) = g**3 + 10*g**2 - 24*g - 1. Let b be l(-12). Which is smaller: -2/21 or b?
b
Suppose -2 = -2*b, -2*w + 1 = b - 0. Suppose 4*k - 4 + 0 = w. Let g be 0/2 + (-4)/(-10). Is g less than k?
True
Let m = -3.38 - -3.4. Which is smaller: 0.1 or m?
m
Let n = 52.1 + -52. Is -9 greater than n?
False
Let i = -1297/14 - -93. Which is greater: i or -1?
i
Suppose p + p = -6. Let v(q) = -q. Let t be v(3). Do p and t have the same value?
True
Let t be 3 - -1 - (4 - 1). Do -4/15 and t have the same value?
False
Let n(z) = z**2 + 8*z + 2. Let p be n(-7). Let r = -0.3 - -0.2. Which is greater: r or p?
r
Let m = -5.813 - -0.113. Let r = -6 - m. Which is smaller: r or 2/5?
r
Let j = -45 + 47.1. Let b = 2 - j. Are b and 0 nonequal?
True
Suppose -123 = -2*s - l + 62, -5*s + 430 = -4*l. Let z = s + -541/6. Which is bigger: z or -1/3?
z
Let v = -44 + 39. Is v equal to -3?
False
Suppose a + 2*a - 9 = 0. Let c = a - 4. Let p = 2/485 - 988/4365. Are p and c nonequal?
True
Let d(k) = -k - 1 - 14*k**2 - k**3 + 3*k**2 + 2*k + 2*k. Let s be d(-11). Let j be (-3)/(-6) - s/(-52). Which is bigger: j or 0?
0
Let o = 55 + -53. Is o greater than -0.2?
True
Let x(y) = -4*y - 10. Let j be x(-4). Let g = j - 12. Which is smaller: -1 or g?
g
Let n(k) = -k**2 + 4*k + 1. Let z be n(4). Suppose 2*o - 9 = -1. Suppose 0 = -5*y + 1 + o. Is z greater than or equal to y?
True
Suppose -2*l = -4*s - 28, 3*s + 15 = -l + 4. Is 17/5 greater than l?
False
Suppose -5*y + 85 = -4*p - p, 0 = -3*y - 3*p + 63. Which is smaller: y or 17?
17
Let y be (1 + 44/(-12))*(-198)/(-24). Which is greater: y or -24?
y
Let l be (-12)/(-8) - (1 + -1). Is l less than 0.1?
False
Let v(k) = 23*k - 4. Let g be v(3). Let z be 143/g + 1/(-5). Are z and -1 nonequal?
True
Suppose -2*q - 3*q + 15 = 0. Suppose -q = j + 1. Do 1 and j have the same value?
False
Let f(b) = -b. Let v(w) = -4*w + 6. Let l(q) = 3*f(q) - v(q). Let z be l(8). Is 2 != z?
False
Suppose -25 = -5*q + 15. Suppose 2*o + q = h, 4*h = -h - 5*o + 25. Which is bigger: h or 5?
h
Let j(h) = -h + 6. Let y be j(4). Let z(l) = -l**3 + l**2 + 2*l + 1. Let n be z(y). Let p = -6 - -4. Which is smaller: n or p?
p
Let i(k) = k**2 + 5*k + 10. Let v be i(-8). Let w = -172/5 + v. Is 2/3 smaller than w?
False
Let j(z) = -z - 1. Let r be j(0). Suppose -4 = -m, -4*s + 7*m - 2*m + 144 = 0. Let w = s + -531/13. Is w smaller than r?
False
Let o = -3/17 + -79/34. Let a = o - -29/10. Which is smaller: 0 or a?
0
Let k = -72.9 - -74. Which is smaller: k or 1/6?
1/6
Let m be 2/(-6) - (-7)/39. Suppose -1 = -l - d, -5 = -2*l - l - 5*d. Which is smaller: l or m?
m
Let t(y) = -y**3 - 5 - y**2 + 7 + 0*y - y. Let i be t(0). Suppose -5*f = -5*w - i*f + 2, -3*w + 5*f = 2. Is w <= 2/15?
False
Let x be -1 - (110/(-102) + 1). Let p = x + 10/17. Which is greater: -0.4 or p?
p
Let h be (-2)/(7/(-21) + 19/66). Is h >= 44?
True
Let d = -73 - -80. Which is smaller: d or 9?
d
Let v = -7 - -4. Let h = -0.1 + -2.9. Let p = -2 - h. Is p smaller than v?
False
Let z = 76.8 - -0.2. Which is greater: 0.1 or z?
z
Let m = -31/57 - -4/19. Does m = 0?
False
Let r = -2.95 + -0.05. Let o = 3.4 + r. Let l = o - -0.6. Which is greater: 0.3 or l?
l
Suppose 0 = 5*f - 4*a + 7 + 3, 0 = -5*f + 3*a - 10. Let t = -0.1 + 0. Is t >= f?
True
Let c = 0.29 - -11.71. Which is smaller: 0.2 or c?
0.2
Let h(y) = 5*y - 60. Let j be h(21). Is j less than or equal to 44?
False
Let b = 2 - 4. Let g = -2.2 - b. Let y = g - -0.2. Is y >= 0?
True
Suppose -13 = -3*j + 41. Is j >= 18?
True
Suppose 4*p = 3*i + 7, 4*i = 4*p - 2*p - 6. Which is smaller: p or 0?
0
Suppose 0 = -3*d + f - 2, 7*f - 6 = 4*d + 4*f. Suppose n + 2*n + 3 = d. Is n at least -1?
True
Let w(k) = -4*k - 1 + k**3 + 5*k**2 - 7 + k - 4*k. Let z be w(-6). Is z at least -2?
True
Let h(l) = l**2 + 5*l + 3. Let j be h(-5). Which is greater: j or 0?
j
Let h be (0 + 3)*(-6)/42. Is -1 <= h?
True
Let h be (16/6 + -2)/(263/(-3)). Which is smaller: h or 0?
h
Suppose 5*l + 22 - 12 = 0. Which is bigger: l or -5/4?
-5/4
Let h(z) = z + 5. Let l be h(-6). Let f be 4/10 + (-22)/30. Which is smaller: f or l?
l
Suppose 0 = -2*p + 6. Suppose 4*o - 12 = -k + 5*k, -k - p = -2*o. Let l be (-2)/10 + (-2)/(-4). Which is bigger: o or l?
l
Suppose 15 = 5*w + 10. Which is smaller: w or -6/19?
-6/19
Let g = 2.61 - -0.49. Let t = -0.02 - 2.98. Let m = t + g. Which is greater: m or -3/5?
m
Let o = 3 - 3. Let x be (o/(-4 - -1))/(-1). Let n be 1 + 5/(-3) + x. Is n less than -2?
False
Suppose 4*x = -3*h + 55 + 20, 5*h + 2*x - 111 = 0. Let s be (-6)/h + (-36)/(-77). Is s at least as big as -1?
True
Let m = 2 - -3. Let a = -4 + m. Which is smaller: -1 or a?
-1
Let p be -2 + 2 - 2/(-6). Suppose -10 = -5*c, -i + c - 20 = -4*c. Let k = i + 10. Is k greater than p?
False
Let q = -37 - -38. Is -4/13 greater than q?
False
Suppose -46 + 5 = -p - 4*k, 0 = 2*p - k - 37. Is 22 less than p?
False
Let n = -83/2 + 9045/218. Is 0 less than n?
False
Let g = -4 + 3. Suppose 2*v = -4*o - 8, -v = 4*o + 18 - 8. Let z be v/(-3) - (-6)/(-18). Is z smaller than g?
False
Suppose 0 = 5*a - 3*h + 35, 0 = -3*h + 28 - 13. Let g(q) = -4*q**2 + 2*q - 1. Let d be 0 + 0/(-1) + 1. Let c be g(d). Which is smaller: a or c?
a
Let l = -13477/25 + 539. Which is smaller: 5 or l?
l
Suppose 5*n - 72 = -u, -n = -2*u - 6*n + 129. Which is smaller: u or 56?
56
Let t = 1091/8730 + -7/194. Which is bigger: 1 or t?
1
Let v(x) = -x + 9. Let c be v(-9). Let g be (1/3)/((-24)/c). Suppose d = -2*m + 6 - 2, 6 = -3*d + 3*m. Is g < d?
True
Suppose 4*q - 2*m + 1 = 7, -4*q = 5*m - 13. Let w(g) = g**2 + 6*g - 12. Let f be w(-8). Is q bigger than f?
False
Let c be ((-3)/4)/((-4)/32). Let o = 47 + -40. Which is smaller: o or c?
c
Suppose -101 + 32 = -3*c. Let f be c/(-4) - (-3)/(-12). Which is greater: f or -5?
-