 - 12 = 4*a - 4*b. Let i be 14/2 + -4 - a. Is i smaller than 7?
True
Let u be (-4 - 19/(-11)) + 2. Which is smaller: u or 1?
u
Suppose 0 = -3*t + 4 + 2. Suppose 7 = s + t. Is 6 at least as big as s?
True
Suppose 3 = q + 1. Let c = 2 - q. Do 4/3 and c have different values?
True
Let h = 1 - 13. Let z = h + 13. Which is smaller: z or -3?
-3
Let a be 4/4 - (1 - 1). Let z be 3/(1*2/2). Are a and z unequal?
True
Let c(f) = f**2 - 5*f - 7. Let s be c(6). Which is smaller: s or 1/24?
s
Let g(t) = t + 8. Let r be g(-5). Let s be r - 2 - 6/4. Let c be 0/2*(1 - 0). Which is greater: s or c?
c
Let i(d) = -5*d**3 - d**2 - 2*d - 1. Let w be i(-1). Let j(r) = -r**3 + 4*r**2 + 7. Let n be j(w). Let g = n - -35/2. Do -2 and g have different values?
True
Let h be ((-18)/10)/((-4)/(-10)). Let p be (-2)/(-6)*(-123)/10. Let x = p - h. Are 0 and x equal?
False
Suppose -2*k + 0*k = 12. Let n(c) = -c**2 - 8*c - 9. Let m be n(k). Suppose -m*g - 2 = -5. Is -2/5 at least as big as g?
False
Let r = -78 - -55. Let o = 25 + r. Is 1 bigger than o?
False
Suppose -3*l + 42 = 3*h, 5*h - 2*h - 2*l = 22. Let m be 1 + -2 + h/8. Let r(z) = -z**3 - 3*z**2 + z + 4. Let v be r(-3). Is m at least as big as v?
False
Let l = -0.3 + 1.3. Let w = l + -4. Let o = w + 3.1. Is o smaller than 4?
True
Let i(l) = -l**2 - 8*l + 19. Let h be i(-9). Which is smaller: h or 12?
h
Let f(r) = -r**3 + r**2 + 4*r - 1. Let k(m) = m**2 + m + 1. Let s(b) = f(b) - 6*k(b). Suppose 0 = -q + 4*l - 25, 0*q = q - l + 10. Let v be s(q). Is 3 > v?
False
Suppose 3*o + 4*o = -35. Which is smaller: -6 or o?
-6
Suppose s - 5 = -1. Suppose -4*k + 5*u + 21 = 0, 0 = -s*k + u - 6*u - 29. Which is bigger: k or -2?
k
Suppose -16*p + 12*p = 0. Let c be (1 + (p - 1))/(-1). Which is bigger: c or -2/25?
c
Suppose 4*v + 0 = -4. Let q(k) = -2*k - 2. Let f be q(-2). Suppose -9*r = -7*r - f. Which is smaller: v or r?
v
Let p = -1 + 2. Which is smaller: -0.5 or p?
-0.5
Let q(c) = c**2 - 3*c + 3. Let b be q(3). Suppose -5*i = 2*w - 29, b*i - 16 = -3*w + i. Suppose 2*n = -n - x + 12, -w*n + 8 = -5*x. Is 2 less than n?
True
Let f = 1.4 - -1.6. Do f and 6 have different values?
True
Let b = 0 + -6. Let v = 3 + b. Which is bigger: v or 1?
1
Let n be ((-2)/(-5))/((-3)/(-15)). Let a = 6 - n. Which is bigger: a or 3?
a
Let c = 16 - 1. Are c and 15 equal?
True
Let j = 1 - -2. Let y be 1*28/(-8) + j. Which is smaller: y or -0.3?
y
Suppose 18 - 43 = -5*a. Let f be ((-2)/a)/(2 + 0). Suppose 0*w = -2*m + 3*w + 8, -m + 4*w = -9. Which is bigger: f or m?
m
Let z be (2/10)/((-2)/(-10)). Is z >= 2/53?
True
Let j = -75 + 223/3. Let t(s) = -s**3 + 6 + 0*s**2 + s - s**2 - 5*s**2. Let v be t(-6). Which is smaller: v or j?
j
Let j be (-76)/(-57) + (-1)/3. Which is bigger: j or 12/17?
j
Let f be (0 + 0)/(1/(-1)). Let m = -3 - f. Are m and -3 non-equal?
False
Let g(a) = -a**3 + 17*a**2 - 15*a - 19. Let p be g(16). Let n = -3 - p. Is n >= 10/9?
False
Let h(r) = -3*r**2. Let a be h(-5). Is a less than -76?
False
Let n be (-4)/(-14) - ((-259)/(-49) - 5). Which is smaller: 1/24 or n?
n
Suppose -3*j + 0 + 3 = 0. Let r be (0/1)/(1/j). Is -2/11 < r?
True
Suppose -2*s = -q - 1, 2*q + 0*q - 25 = -5*s. Is s smaller than 2?
False
Suppose -10*b = -7*b. Let q = b - 0. Which is smaller: -3/11 or q?
-3/11
Let d = -1/368 - -52627/1104. Let n = -48 + d. Let f be ((-2)/(-3))/(4/6). Which is bigger: n or f?
f
Let m(k) = k**2 - 5*k + 6. Let d be m(4). Which is smaller: 0 or d?
0
Suppose 5*z - 293 = -3. Let o = 347/6 - z. Let x(q) = 2*q + 1. Let d be x(-1). Which is smaller: o or d?
d
Let a be 63/574*(-5)/(15/(-4)). Which is greater: a or 0?
a
Let n = 4 + -6. Let m be 1/(n/((-4)/(-7))). Which is smaller: 1 or m?
m
Let n = 4 - -2. Let f = 1043/232 + 1/232. Which is smaller: n or f?
f
Let v = 12 + -20. Is v at least as big as -6?
False
Let p = -3204 - -9695/3. Let c = -27 + p. Which is bigger: -6 or c?
c
Let f be (-4)/6 + (-24)/(-9). Suppose f = 5*c - 8. Suppose c*q - 1 = 5. Is q equal to -1/4?
False
Let z be 9/36 - (-13)/(-12). Are z and -0.1 nonequal?
True
Suppose 9 = x - 3. Let u be (x/16)/((-6)/(-4)). Suppose b + 0*b = 1. Which is smaller: u or b?
u
Let y = 3 + -3.2. Suppose -3*z + 2*z + 1 = 0. Let h(n) = 2*n**3 - 2*n + 1. Let b be h(z). Which is smaller: b or y?
y
Suppose f - 9 = -w + 3*f, -5*w - 4*f - 11 = 0. Is w less than 0.1?
False
Suppose -4*h + 5*u = -63, -5*h = -u + 19 - 82. Suppose 2*n = a + 10, 0 = a + 4*n - 8 - h. Let i = -2.96 - 0.04. Which is greater: i or a?
a
Suppose -3*c - p - 27 = 0, -45 = 5*c + p - 3*p. Is c at most -9?
True
Let k = 4/7 + -15/14. Which is greater: k or 0?
0
Suppose -4 = -2*a + 2. Suppose -a*c = -4*c - 1. Let r = 0.1 - 0.2. Is r > c?
True
Let m be (1/(-7))/((-1)/3). Let g(k) = k**2 + 3*k - 5. Let z be g(-4). Which is greater: z or m?
m
Suppose -1 - 9 = -5*d. Which is smaller: 5 or d?
d
Let b be (-100)/(-36) + (-9)/3. Which is greater: -1 or b?
b
Let z = -0.12 - -1.02. Let q = z + -3.9. Is 1/2 > q?
True
Let q be (-9)/(-60) - 4/10. Let p(z) = z - 4. Let o be p(7). Suppose -2*d - 10 = -o*u + 3, 0 = 4*d + u - 9. Which is smaller: d or q?
q
Suppose -x - x + 19 = -3*l, 0 = 2*x - 2*l - 14. Let d be 43/21 + (-4)/(-14). Is d at least as big as x?
True
Suppose 4*f = 4*y, 4*f - y - 18 = -3*y. Let g(t) = -t**2 + 9*t - 18. Let v be g(6). Which is smaller: f or v?
v
Suppose 14*t + 4 = 12*t. Which is bigger: t or -7?
t
Suppose 47 = 4*y + 7. Which is bigger: 9 or y?
y
Suppose 5*i = 10*i + 5. Which is greater: i or 2/17?
2/17
Let s = 1 - 2. Let q = -495/7 + 71. Which is smaller: q or s?
s
Let n = -37 - -38. Do n and 2/45 have different values?
True
Let a be 1 - (-1)/((-1)/1). Suppose 10 = 4*n - 3*t + 2, a = -n - t - 5. Suppose -3*u - 22 = -19. Is u greater than or equal to n?
True
Let w(l) = 2*l**2 + 11*l - 5. Let p be w(-6). Is p equal to -1?
False
Let h(s) = -4*s - 3. Let j be h(3). Let x = -10 + -4. Which is smaller: x or j?
j
Let k be (-6)/4*(75/9 - -3). Which is bigger: k or -3?
-3
Let p = 9 + -13. Which is greater: 0 or p?
0
Let v = 12 - 40/3. Let y = -2/47 + 55/188. Which is bigger: y or v?
y
Let l = 16.99 - -0.01. Let v = -17 + l. Is v smaller than 0.1?
True
Suppose 2*u + 5*x = 35, 4*u + 5*x = -0*x + 75. Is u >= 19?
True
Let t = -67/2 - -33. Are t and -4 equal?
False
Let c = -8 + 11. Let t = 9 - 12. Let l = t + c. Do l and 0.2 have the same value?
False
Let f be (4 - 6)*(-5)/2. Suppose 26 = -f*a + 2*d, 5*a + 4 = -4*d - 4. Which is smaller: a or -5/2?
a
Let g = -6 + 23. Suppose 3 + g = 5*s. Suppose t = p + s*t - 1, -p + 5*t = 7. Which is smaller: p or 0?
p
Let y be 105/14*(-2)/(-3). Suppose 4*b = 4*w + 4, -2*b - 13 = -6*b - y*w. Let l = -3 + b. Does -3/7 = l?
False
Let o be 1/72*206/(-5). Let m = -1/36 + o. Suppose 0 = t + 2*t. Which is smaller: m or t?
m
Let p be (-3)/(-9) + (-92)/36. Let i = 1441837/45 + -32038. Let t = p + i. Which is bigger: 1 or t?
1
Suppose -4 - 5 = j. Let r = j + 8. Are r and 0.4 nonequal?
True
Let y be 0 + -4 - (0 - -1)*-1. Is -13/6 at most as big as y?
False
Let c = 17 - 18. Which is greater: c or -19?
c
Let h = 1 + 1. Let t(m) = m**3 - m - 5. Let w be t(0). Let a(v) = v + 6. Let x be a(w). Which is smaller: h or x?
x
Let t(y) = -y**3 + 5*y**2 - 4*y - 8. Let c be t(4). Is -9 at least as big as c?
False
Let h be 2/5 + 6/35. Let v(y) = -y**2 + 7*y - 5. Let c be v(6). Let w = -1 + c. Is w > h?
False
Let a = 78 + -66. Suppose -39 = -5*p + 16. Is a at most p?
False
Suppose 0 = -q + 31 - 29. Which is smaller: q or 3/2?
3/2
Suppose 0 = 5*o + 5*g - 10, -4*o + 3*g + 29 = -0*o. Let y = o - 6. Is -2 at least y?
False
Let c = -1 - -5. Let g = -9 + c. Is g equal to -5?
True
Let j = 17.6 - -26.4. Is j greater than or equal to 2?
True
Let t = -1482983/91 + 16296. Let k = 3/13 + t. Which is bigger: 1/3 or k?
1/3
Let y = 3 + -2. Let l be (y/(-2))/(4/(-8)). Which is smaller: -3/7 or l?
-3/7
Let y = -39/2 - -19. Let o = 10 - 9.8. Which is bigger: o or y?
o
Suppose 33 + 127 = 4*q. Suppose 4*r - q = -0*r. Suppose 2*i + 0*i = -r. Which is bigger: i or -3?
-3
Let c be (-1)/(-1) + 1 + -1. Let t = 241 + -959/4. Is t at least as big as c?
True
Let t be 88 + -91 + 4 + 1 + -1. Is -8/37 smaller than t?
True
Suppose -2 = 5*v - 22, -4*i - 28 = -2*v. Which is bigger: -7 or i?
i
Let v be (3/9)/((-1)/(-9)). Suppose v*x + 3 = 0, -g = g + 5*x - 7. Suppose