ose -14*b = -12*b + 4. Suppose 1 = 3*c - 5. Let n = 3 - c. Is b at most n?
True
Let q(m) = -m**2 - 6*m. Let l be q(-4). Are l and 1/2 nonequal?
True
Let b be (-731)/(-85) - (-6)/(-10). Suppose 9*h - 4*h - 35 = 0. Is h less than or equal to b?
True
Let p = 52 - 50. Is p less than 90?
True
Suppose -5*k - 20 = 0, -2*k + 6*k = n - 13. Let g(q) = q**2 + 16*q - 4. Let f be g(-16). Which is smaller: n or f?
f
Suppose 0 = -5*b - 5*n, 18 = -2*b + 3*n + n. Let s(t) = -t**3 - 4*t**2 - 2*t + 1. Let h be s(b). Let i = -1 - h. Which is greater: i or -2/7?
i
Let p be 0/(-1) + -8 + (5 - 0). Let y = 291/2 - 149. Which is smaller: y or p?
y
Let c be 4 - (4 - 0 - 3). Suppose -2*a + 5*v - 13 = 0, 4*v - 3*v - c = 0. Which is smaller: 0 or a?
0
Let o = 879029/20 - 43942. Let d = -37/4 + o. Which is bigger: 1 or d?
1
Let x(c) = c**2 - 10*c + 16. Let z be x(7). Is 0.2 less than or equal to z?
False
Let k = 1239309/3131086 - 2792/2831. Let l = -3/158 - k. Are l and 0 equal?
False
Let d = 7/12 - 1/3. Suppose -3*x - x - 4 = 0. Which is smaller: d or x?
x
Let k be 12/(-5) + (-2)/(-5). Suppose -t = -0*t + 3*d - 3, -35 = -5*t - 5*d. Suppose 0 = -4*a - i - 15, -4*a + 2*a + i = t. Which is smaller: k or a?
a
Let d be 6/(-9)*1*-3. Let c be 1 + (d - 3) + -1. Do 2/5 and c have the same value?
False
Let f be (-2)/(2/(12/(-3))). Suppose -3*d - 2*d = f*x + 11, -2*x = -5*d + 13. Which is bigger: d or 1/5?
d
Let x = 52 + -58. Let l = -1 - -1. Is l at most x?
False
Let u(d) = -2*d - 1. Let t be u(1). Let x be -1*1/(-2)*0. Which is greater: t or x?
x
Suppose 5*n - 2*x = 3*n - 8, 12 = -2*n + 3*x. Suppose b = 5*a - 3*a + 7, -5*a + 2*b - 17 = n. Let g be 5/a + (5 - 4). Which is smaller: g or -1?
-1
Let z = -7 + 10. Let v be z*(3 - (-52)/(-18)). Which is greater: v or -0.19?
v
Let q be -2 - ((-30)/(-9) - -1). Which is greater: -6 or q?
-6
Suppose 9*a - 38 = 70. Which is smaller: a or 15?
a
Suppose -m - a = 9, -3*a - 10 = m - a. Let y = m + 8. Let o = y - 0. Which is bigger: -4/9 or o?
o
Let q = 2 - -4. Is 2 >= q?
False
Suppose 18 = -5*c + 13. Is c at most as big as 1?
True
Suppose 4*m + 34 = 2*r + 3*r, r + 57 = -5*m. Let u be 2 - (-1 + m/(-3)). Let a(l) = -l + 5. Let f be a(6). Which is smaller: f or u?
f
Let t = -102/25 + 3497/900. Let h = -4/9 - t. Is -1 smaller than h?
True
Let o(q) be the second derivative of q**4/12 + 2*q**3/3 - q**2 + q. Suppose -5*y + 10 = 2*k - k, 0 = 3*k - 5*y + 30. Let a be o(k). Which is smaller: 1 or a?
1
Let k = 96 + -96. Is -29 less than or equal to k?
True
Suppose 4 = -3*b + 1. Let v(i) = 16*i - 1. Let t be v(3). Let h = 425/9 - t. Which is smaller: b or h?
b
Let b = 4.2 - 4. Let p = b - 0.3. Let r = -0.5 - 0. Is r less than or equal to p?
True
Let g(c) = -c**2 + 2*c + 2. Let r be g(-2). Which is greater: r or -4?
-4
Suppose -4*c + 36 + 0 = 0. Let k be 61/c - (-4)/18. Let l = -9 + k. Is -2 not equal to l?
False
Suppose -10 = -3*k + 20. Suppose -3 = -4*g + 5, 5*g - k = -3*j. Let z be (4/(-10))/((-6)/(-10)). Which is smaller: j or z?
z
Let y = 0 - -0.05. Let u = 0.05 - y. Which is greater: -1/4 or u?
u
Suppose b + 7 + 1 = 2*s, s - 7 = -b. Suppose -6 = -2*v - b. Suppose 0 = f + v*f. Is 3/8 at most f?
False
Let s be (2/6)/((-4)/36). Let p be (s - 0) + -2 + 5. Is 4/3 <= p?
False
Let l be 1/((-15)/6)*-1. Suppose 5*n - 2*g + 4*g + 34 = 0, -2*n - 20 = 4*g. Let y be 0 + (-3)/(n/8). Which is greater: y or l?
y
Suppose -4*c - 4*w + 0 = 4, 2*w + 10 = 0. Let k be (-240)/(-333) + c/(-6). Let h = 31/111 + k. Is 0 greater than h?
False
Let c = -2.5 + 0.5. Let r be (-33)/(-6) + 3/(-2). Let g be 36/315 - r/10. Is g > c?
True
Let s = -590418 - -387904474/657. Let p = -2/219 - s. Do -1 and p have the same value?
False
Suppose v + 6 = -15. Let s be (-3)/2*(-14)/v. Is s >= -2?
True
Let z = -105 - -105. Is z greater than 1/2?
False
Let p(b) = b**2 + 5*b - 19. Let k be p(-8). Let g(t) = 2*t - 3*t + t**2 - 3*t. Let n be g(5). Is k at least n?
True
Suppose -7 = 3*t + 2. Let h be 1*t + (-64)/(-16). Is h at most -2/9?
False
Let v be (-62)/(-5) + (-2)/5. Is 12 smaller than v?
False
Let w = -996/7 - -142. Which is smaller: w or 6?
w
Let i be (-8)/28 + (-11)/35. Which is smaller: i or -1?
-1
Let o = -18 + 49. Which is smaller: 32 or o?
o
Let s(p) = p**2 - 15*p + 19. Let f be s(14). Is 3 at most f?
True
Let a be ((-1)/(1 - 2))/(0 + 2). Are a and -2.3 non-equal?
True
Let q = 4 + -2. Let n be q/3 + (-100)/153. Let m = n - 161/612. Which is smaller: m or 0?
m
Let w = -10463/3538 - -86/29. Which is bigger: w or 0?
w
Let t = 349/10 - 71/2. Let h = 4/5 + t. Does 0 = h?
False
Let u = -2 + -3. Let y = -16.77 + -0.23. Let h = 17 + y. Are h and u non-equal?
True
Let g be 6/(-9)*1/2. Suppose 4*r - 8 = -2*s, 4*s = -4*r + 9*r - 10. Suppose s = u - 1. Which is smaller: g or u?
g
Let w = 871/8 - 109. Let a = 1.7 - 0.6. Let l = a - 1.2. Does w = l?
False
Let v = 0.22 + 10.78. Which is smaller: 2/7 or v?
2/7
Let m be -29*(1 + 8/(-3)). Let h = 48 - m. Let k be (-4 + 75/20)*0. Which is smaller: k or h?
h
Let u(q) = -2*q + q**2 + 3 + 3 + 14*q. Let z be u(-5). Let n = z + 57/2. Is -1 < n?
True
Let d(l) = l**3 - 5*l**2 - 4*l + 8. Let k be d(4). Let p = k + 23. Is p less than or equal to -2?
False
Let i = 18893/15 + -1259. Let l = 1/5 - i. Is 3 at most as big as l?
False
Suppose -3*r - 11 = -2*o, 14 = -0*r - 2*r + 3*o. Are r and -1 equal?
True
Suppose 2*h - 10 = 2*y, -5*h - 2*y = -4*y - 10. Is h smaller than -14/11?
False
Let b = 21.06 + -21. Let q = -0.54 - b. Which is greater: q or -3?
q
Let s = 27 - 20. Is s bigger than 4?
True
Let l = -27692/9 + 775499/252. Let j = l + -4/7. Is j at least 0?
False
Suppose -2*k - 3*k + 10 = 0. Suppose -6*o + k*o - h + 13 = 0, -3*o + 3*h + 21 = 0. Let t = -2 + o. Are 2 and t equal?
True
Let z be 2 - 2 - (2 - 0). Let m = z + 2. Is m not equal to -1?
True
Suppose -n + 189 = 8*n. Which is smaller: n or 22?
n
Suppose x = -3*x + 8. Let h = 1 - x. Suppose -5*i = -i. Which is greater: h or i?
i
Let b = -5 - -5. Let a be 4*(3/6 - b). Suppose a*m = -0*m. Does 0 = m?
True
Let o = -4 - -5. Let b be (-1 + 2 - 2)/o. Suppose h + 7 = -5*n - 3*h, -2*n - 4*h = -2. Which is bigger: n or b?
b
Suppose -z - 3*f + 11 = z, -4*z = -3*f - 13. Let l be (2 + 6/(-4))*2. Suppose z*a = l - 9. Which is smaller: a or -4/3?
a
Suppose -30 = 2*q - 80. Suppose 0 = 6*f - f - q. Suppose -f*h - y - 8 = 0, 0 = 2*h + 3*h - 5*y + 20. Are h and -4 equal?
False
Let w be (-6)/(-3) + 10/(-2). Let i be (-1)/(1/w*-1). Let q = i + 2. Does -2/9 = q?
False
Suppose -5*g + 5*r = 100, -g + r - 4*r = 28. Let x be (-4)/g + 4/(-22). Do x and 0 have different values?
False
Let i = -3.6 - -3.6. Which is greater: 0.09 or i?
0.09
Let l be ((-2)/3)/(6/(-9)). Suppose -4*i = -z + 2, -i = -z + i + 2. Is l at most as big as z?
True
Let i be (-39)/(-9) - 6/(-9). Let s = -9 + i. Let b = s - -3. Is b bigger than 0.4?
False
Let x = -17333/10 - -8907/5. Let r = x + -48. Which is greater: r or -1?
r
Let t be ((1 + 0)*-1)/(-6). Let y(o) = -o**3 - 4*o**2 - o - 5. Let i be y(-4). Which is bigger: t or i?
t
Let d = -15/2 - -7. Which is smaller: 0.1 or d?
d
Let u be 2 - -8 - 6/(-3). Is u less than or equal to 13?
True
Let v = 3 + 2. Let c = 2 + 2. Which is smaller: v or c?
c
Let g = 6.5 - 7. Let d = 0.7 + g. Is d > -2?
True
Let k(f) = -f**2 + 2*f - 2. Let p be 4/(4 - 8/4). Let v be k(p). Let x = -2 + 1. Which is smaller: v or x?
v
Let c = 2693/5 - 34864/65. Let a = c + -397/143. Let q = -31/77 - a. Which is smaller: 1 or q?
q
Let j(x) = x**2 + 16*x + 18. Let t be j(-15). Let m be (-4)/(-20) + 74/5. Suppose -4*f + m = 5*o, 5*f + 3 = 4*o - 3*o. Do o and t have different values?
False
Suppose -6*u = -7*u. Let s be (-2)/(-7) + 10/14. Is s greater than u?
True
Suppose -19 = 18*l - 1. Is l <= -1/2?
True
Suppose w + 5 - 3 = 0. Let i be (-1)/((-7)/((-7)/w)). Let h be (-2)/7 + (-18)/(-14). Which is smaller: h or i?
i
Let a be (-174)/145 - (-12)/10. Which is greater: a or -4/9?
a
Let r = 2.2 + -12.2. Let a = -9.9 - r. Is a >= -2/15?
True
Let p = 3 + 0. Suppose 2*s + 10 = -p*s. Which is smaller: -1 or s?
s
Let n(v) = 2*v**2 - 5*v + 2. Let x be n(5). Let w = x + -45. Are w and -18 non-equal?
False
Let r be 8/(-28) - 44/(-105). Let h(q) = -q**3 - 4*q**2 - 5*q - 1. Let k be h(-2). Are k and r unequal?
True
Suppose 3*s + 13 = 2*d, 1 + 0 = -s. Suppose -6 - 4 = -