smaller than 1/3?
True
Suppose 4*i - 3*m - 53 = 2*m, 0 = -4*i + 2*m + 50. Suppose 2*a + i - 2 = -2*l, -3 = -l + 3*a. Let q = l - -3. Is q < -1?
False
Let o = -4 + 4. Suppose v + s + 1 = o, s = -0*v + 4*v + 4. Let t = -12/287 + -10/41. Which is smaller: v or t?
v
Suppose -3*z + 13 - 25 = 0. Is z < -3?
True
Suppose 3*m - m = h, 0 = -3*h - m. Is h <= 2?
True
Suppose -4*r - 2*p + 5*p - 19 = 0, 5*p - 21 = -4*r. Which is smaller: r or 3/7?
r
Suppose 6 = -0*v + 3*v. Suppose 4*d - 118 = v*n + 74, d = n + 48. Let q = -145/3 + d. Do -3 and q have the same value?
False
Let c = 1.2 + -22.2. Which is smaller: -1 or c?
c
Suppose 5*a + s = 10, 2*s + 0 = 3*a - 6. Let z = 4 + -3.5. Let o = 0.4 - z. Which is smaller: o or a?
o
Let p = 131 + -195. Let l be 2/(-5) + p/(-10). Is 6 >= l?
True
Let n = 2 - 5. Let y be (-2)/(n/9*-3). Let x be y/(-6)*0/3. Which is smaller: -4/3 or x?
-4/3
Suppose -2*a - 5*j = 15, -j = -a - 6*j - 15. Let o(w) = w**2 + w. Let m be o(-3). Suppose 0 = -4*c + m - 2. Which is smaller: c or a?
a
Let g be 5/10 + 355/(-70). Which is bigger: -6 or g?
g
Suppose -4*d = -28 + 8. Let b(r) = r**2 - 2. Let m be b(2). Suppose -4*s = 3*k - 8, 2*s - m*k - 2 = -4*k. Is s <= d?
True
Suppose -5*d = 36 - 11. Are d and -5 equal?
True
Let s = 0.1 - 0.1. Let d be 4/8*(-6)/(-15). Which is greater: d or s?
d
Let o be (-2)/6*(-2 + 5). Suppose 2 = 2*x + 6. Do o and x have the same value?
False
Let y be ((-32)/(-240))/((-6)/5). Which is smaller: -0.02 or y?
y
Suppose -10 + 42 = 4*c. Suppose -6*d = -2*d - 4*k - 16, -4*d + c = 4*k. Let t be (-2)/(-30) + 2/6. Which is greater: t or d?
d
Let w be (-5 + 4)*1/3. Let c(x) = x**2 - 6*x - 6. Let v(b) = -b**2 + 6*b + 6. Let z(d) = -3*c(d) - 4*v(d). Let i be z(7). Is i at most w?
False
Let j = 7 - 107/15. Which is greater: -5 or j?
j
Let b = -19 + 13. Let r be ((-14)/6)/(2/b). Is r at most as big as 7?
True
Let w = 59 + -57. Which is smaller: 3 or w?
w
Let l = -0.34 - -0.14. Which is smaller: 0.1 or l?
l
Let g = 34 + -35. Is -17 not equal to g?
True
Let u be 39/3 - 16/4. Let b = -10 + u. Are -2/19 and b nonequal?
True
Let p be ((-56)/10)/((-46)/115). Which is greater: p or 44/3?
44/3
Let a = -20 - -11. Let r = 8 + a. Are -1/4 and r non-equal?
True
Let o = 841 + -27751/33. Let u = -37/66 + o. Are u and -4/7 non-equal?
True
Suppose 9 = 3*w - 27. Let h be 4/(-6) + 14/w. Is h at most 1?
True
Suppose -2*r + 3 = r. Let s be (r/(-3))/((-1)/15). Is 5 >= s?
True
Suppose 0*t = -5*t. Let c be ((-2)/(-26))/(2/16). Let w = c + -19/52. Which is bigger: w or t?
w
Let j be 2/(2/(-3)) + 15. Suppose j = -4*t, -3*t - 7 = 2*b + 2*t. Suppose 0 = -q - b*q. Is -2/9 not equal to q?
True
Let b(s) = -s**3 - 5*s**2 - 4*s. Let r be b(-4). Let l be -5 - 22/12 - -7. Which is smaller: r or l?
r
Let c = -363 - -2537/7. Which is smaller: c or 0?
c
Let h(m) = -m**3 - 2*m**2 + 5*m + 3. Let o be h(-4). Which is smaller: o or 10?
10
Let v = -96 + 96.22. Which is greater: 1 or v?
1
Let u(b) be the third derivative of -1/120*b**6 + 0*b + b**2 + 0 + 1/24*b**4 - 4/3*b**3 + 2/15*b**5. Let x be u(8). Is x at least as big as -1?
True
Suppose 2*d - 5*d = -5*m + 34, 4*m = -4*d + 40. Let t = -5 - -7. Suppose 3*c = t*c. Is m greater than c?
True
Let k(n) = 23*n**2 - 2. Let p be k(-2). Let o be p/48*4/6. Let y(h) = h + 9. Let r be y(-7). Which is bigger: o or r?
r
Let y(o) = -o**2 + 6*o - 1. Let b be y(6). Let j(z) = -z**3 + 6*z**2 - 3*z - 9. Let l be j(5). Is l less than or equal to b?
False
Let r = -35 - -34.7. Let z = 1.2 - 1. Is r not equal to z?
True
Let b(y) = y - 1. Suppose 4*m + 3 = m. Let r be (0 - -6)*m/(-2). Let q be b(r). Which is bigger: q or 0?
q
Let m(v) = v + 2. Let k(x) = -x**3 + 2*x**2 + 6*x - 2. Let o be k(4). Let w be m(o). Let b be 2/(-8)*w/(-25). Which is smaller: b or -1?
-1
Let d = -3/176 - 689/880. Let t(y) = y**2 + 2*y - 3. Let v be t(-3). Which is bigger: v or d?
v
Let p = 14 - 10. Let x = p - 8. Let u be -2*(-2)/x - -2. Which is bigger: u or 0.1?
u
Suppose 0*g + 3 = g. Let y = -2 + g. Suppose -t + 3*l = 3 - 21, t - 5*l - 28 = 0. Which is greater: y or t?
t
Let u = 2/117 + 4325/234. Let t = 18 - u. Is t greater than 1/4?
False
Suppose 0 = 2*q - 5 + 1. Let x be q + (4 - (-4 + 8)). Which is smaller: x or 0?
0
Let l be 1/(6/3)*10. Suppose l*k + 0 = 15. Which is bigger: k or 7/4?
k
Let d = -42 + 20. Let x = d + 22.1. Is 0.3 greater than or equal to x?
True
Let q = 2549/24605 - -3/665. Which is bigger: q or 0?
q
Let q(p) = -p + 3. Let u(x) = -x**3 - 2*x**2 - 3*x. Let r be u(-2). Let a be q(r). Let h be 1*(-1)/a*-3. Which is bigger: h or -2/7?
-2/7
Let r be 2/11 - (-96)/198. Suppose 5*i + 48 = i. Let j be 3/i + (-1)/(-4). Is j at least as big as r?
False
Suppose 0 = x + 2*x - 3. Suppose -x + 3 = -2*z. Let u = 1 + z. Are 0 and u equal?
True
Let m = 5 - 0. Let x = 0.13 - 0.03. Which is smaller: x or m?
x
Let n = -4 + 5.2. Let r = -0.2 + n. Let u be ((-10)/(-6))/((-2)/6). Is u greater than or equal to r?
False
Suppose 4*t = -t - 25. Suppose 5*w + 5*b = 10, 4*w + 7*b = 10*b - 27. Which is greater: t or w?
w
Let n = 5.3 + -4.5. Is 2 < n?
False
Let g = -499/3 - -1115/6. Which is bigger: g or 21?
21
Let c = 2 - -2. Suppose -c = -7*a + 3*a. Is 1 at least as big as a?
True
Suppose 3*g + s + s = -6, 4*g = 5*s + 15. Suppose -2*q + g = 2. Is -2 smaller than q?
True
Let p(o) = 3*o. Let f be p(3). Let b be (6/f)/(12/18). Do -1 and b have the same value?
False
Let m be 4/(-38) - (329/(-57) - -5). Which is smaller: 2/29 or m?
2/29
Let c = 605.07 + -601. Let k = -4 + c. Is k less than or equal to 0?
False
Let m = 0.6 - 0.3. Let j = 0.1 + m. Is j < 1/4?
False
Let a be (1/((-4)/(-10)))/((-33)/(-6)). Which is smaller: a or 0?
0
Suppose w + 5*z + 105 = 0, 4*w - 5*w = -z + 105. Let f be w/(-12) + (-2)/(-8). Is f >= 8?
True
Let w(x) = -x**2 - 7*x - 1. Let a be w(-8). Suppose 0*j - j - b = 5, -5*j = -2*b + 60. Is j greater than or equal to a?
False
Let a = -1 - 0.2. Let t = a - -1.1. Is t equal to -1/3?
False
Let n = -21 - -22. Which is bigger: n or 0?
n
Suppose 2*p - 6*p - 4 = 0. Which is bigger: p or -4/11?
-4/11
Let d(s) = -s**2 - 15*s - 34. Let o be d(-9). Is o less than or equal to 21?
True
Let r = 14.078 + 0.022. Let h = -14 + r. Let z = -0.3 - 0.7. Which is bigger: h or z?
h
Let q be 7 - 4 - 5/((-10)/(-52)). Is -22 at least as big as q?
True
Let k(j) = -j**3 + 5*j**2 - 5*j + 5. Let d be k(4). Let r be (-9)/(-60) + 2/8. Which is greater: r or d?
d
Let n = -4 + 4. Let r = -10918 + 97673/9. Let v = 65 + r. Which is bigger: n or v?
n
Let s(r) = r**2 + 10*r + 11. Let w be s(-8). Let v be 7*(-4 - (w - -2)). Which is bigger: v or -6?
-6
Let i be 1 + (-6)/14 - 0. Let j be (-2)/(-7) + 38/14. Let k = j - 2. Which is greater: i or k?
k
Suppose 0 = 5*s - 2*b - 16, -5*s - 2*b = -3*s + 2. Are s and -1 non-equal?
True
Let z = 413/33 + -37/3. Which is greater: z or 1?
1
Let n = -11 - 1. Let y be n/(-7) - 4/(-14). Let f be (-3 + 2)/(24/(-18)). Is f <= y?
True
Suppose -2*b = 3*b. Suppose i - 3*t = 12, b*i - 3*i = -5*t - 32. Let u be (-2)/18 - (-3)/i. Which is smaller: 0 or u?
0
Let j(d) = 3*d**3 - 4*d**3 + 0*d**2 - 5 - 9*d**2 + d. Let k be j(-9). Let t = 20 + k. Is 6 equal to t?
True
Suppose 2*n - 10 + 4 = 0. Suppose 5*y - 5*d = n - 13, 3*y = 4*d - 9. Which is greater: 3 or y?
3
Let m be -2 - (0 + 32/(-20)). Let x = -9.22 + 0.22. Which is greater: x or m?
m
Let d be (3 + 78/(-18))*9/82. Are 1 and d nonequal?
True
Suppose -3*c = -4*b - 4*c + 7, -b - 7 = 2*c. Let r = b + -7. Is -4 > r?
False
Let s = -142 + 140. Which is smaller: s or 2?
s
Let l(y) = 6*y**2 - 7*y - 1 - 3*y**2 - 4*y**2. Let z be l(-6). Let w = -469 + 471. Is w smaller than z?
True
Suppose 5*y + 6 - 16 = 0. Let i be (-3)/(-54)*(-6 + y). Is i != 1?
True
Suppose 0*v - 15 = -3*v. Let x = -11 - -1. Let g be v/(-15) + x/(-18). Which is smaller: g or -1?
-1
Let y = -1 - -5. Let s = y - -17. Suppose -3*l - 2*l + o + s = 0, -4*o = l. Is 4 < l?
False
Let y be 8/(256/(-120))*3/(-2). Is y != -0.1?
True
Let l = 1 - -1. Let c = -1 - 1. Does c = l?
False
Let u be ((-2)/(-58))/((-2)/(-4)). Which is smaller: 0 or u?
0
Let s = 4 - 3. Let l be 5 - (-1)/(-6)*34. Which is smaller: s or l?
l
Let d be ((-4)/(-15))/((-414)/(-435)). Let q = d - 4/69. Let k = 2 - 1. Is k smaller than q?
False
Suppose 0 = 5*x + 5*l - 30, -3*x + 4*l + 11 + 35 = 0. 