-3 smaller than a?
True
Suppose -g + 5*j = -2, -1 = 4*g + j - 9. Suppose -3*o - 5*h + 2*h = -18, -h + 3 = -g*o. Let s be o - (-1 + (0 - -1)). Is 2 < s?
False
Suppose 7 = 3*w + 1. Suppose 12 - w = 2*h. Suppose -v = -2*v + 5*d - 2, 16 = 5*v + d. Which is greater: v or h?
h
Let t = 14 - 14. Which is smaller: t or 0.1?
t
Suppose -4*q - 63 - 85 = 0. Is -37 != q?
False
Let g = -5 - -3. Let v(i) = i**3 - i**2 - 2*i. Let k be v(g). Which is bigger: k or 1/3?
1/3
Let q be (10 - 4)/(2 - 1). Suppose 3*p + q = 2*y, 2*y + 0*y - 6 = 5*p. Is 3/10 equal to p?
False
Suppose 6*c - 5*c - 5*z = -24, 0 = 2*c - 2*z + 40. Is 0 equal to c?
False
Let a be 3 + (144/21)/(-2). Are 0 and a unequal?
True
Suppose -11*g + 8*g = 0. Are g and 2/47 nonequal?
True
Let t = 8 - 10. Let h(z) = -z**2 + 2*z + 1. Let a be h(-1). Let f be 0 - 0 - 0/a. Are f and t nonequal?
True
Suppose 4*c = 28 + 4. Which is greater: c or 9?
9
Let s be (2 + 2)*(-3 + (2 - -2)). Is s != 32/9?
True
Let m be (1 - 1)/(-1 - 1). Let d be 205/(-20) + 1/4. Let a = 8 + d. Which is smaller: a or m?
a
Let i = 19 + -19. Which is greater: 2/17 or i?
2/17
Suppose -4*w = x + 4*x - 124, -2*x + 8 = 0. Is 25 != w?
True
Let q = -0.3 - 0.5. Let n = -0.8 - q. Which is greater: 0.1 or n?
0.1
Suppose -l + 6 = -4*l - 2*o, -4 = 2*l - 3*o. Are -5/7 and l nonequal?
True
Suppose -5*g = -15, -2*q - 3*g = -4*q - 7. Let t(m) = m**3 + m**2 + m - 1. Let l be t(q). Let k = l - 4. Which is smaller: k or -1?
k
Let s = 7 + -2. Suppose -4 = -4*o - 4*w - 0, s*o - 4*w - 5 = 0. Let j be 0 + o + (-2)/(-1). Is 1 < j?
True
Let u = -70/3 - -23. Which is smaller: 3/4 or u?
u
Let o = -1 + 1.03. Let q = 0.11 - 0.04. Let d = o + q. Which is smaller: 0.04 or d?
0.04
Let u = 5979/3674 - -3/334. Is 3 at least u?
True
Suppose 36 = -0*r + 4*r. Let v be -2 - (6 + r/(-3)). Is v less than -4?
True
Suppose 6*p - p = 100. Let w be p/(-6)*(-6)/4. Suppose w*n = -0*n - 20. Is n greater than -3?
False
Suppose -3*o + 3 = -0. Let f = -2 + o. Suppose b = -3*a - 0 + 4, 5*b - a = -12. Which is bigger: b or f?
f
Suppose 42 = n + 5*q, -4*n + 11 + 69 = -2*q. Which is smaller: n or 43/2?
43/2
Let n(z) = -z**2 - 6*z - 8. Let m be n(-6). Let s = m + 7. Which is smaller: -6/5 or s?
-6/5
Let k(g) = -g**3 + 8*g**2 - 3. Let i be k(8). Let h be i + (-1 - 0 - -3). Let u = 3 - 3.1. Are u and h unequal?
True
Let q = -5 + 12. Do 7 and q have different values?
False
Let f = -19 + 11. Let r be f/(-14)*3/6. Which is greater: 0 or r?
r
Let f = -97 - -100.9. Let u = -4 + f. Are u and -3 equal?
False
Suppose 2*z + 35 = 7*z. Which is smaller: 20/3 or z?
20/3
Suppose -4*a + 3*p - 30 = 0, -2*a + 3*p + 4 = 22. Suppose 0 = 5*t - 25, -3*z = 2*z - 3*t + 50. Which is greater: a or z?
a
Let r be (2 - -2)/((-8)/(-20)). Suppose -2*h + r = -h. Which is bigger: 9 or h?
h
Suppose 0 = 5*z + 3*l + 19 + 22, 0 = l + 2. Which is bigger: z or -5?
-5
Let a be (-87911)/(-131877) + (-2)/3. Let x = a + 91276181/325868067. Let m = 2/353 + x. Which is greater: m or -1/2?
m
Let i = 3 - 3. Let b be (i/(-1))/(7/(-7)). Let c be 0 + 6/(-10) - -1. Which is greater: b or c?
c
Let c = 307/1540 - -27/77. Which is smaller: c or 2?
c
Suppose 3*r + 5*s - 5 = 2*r, -4*r + 3*s - 3 = 0. Is r greater than or equal to 0.1?
False
Let b = -1564967/20 - -78232. Let l = b - -63/4. Suppose o = -0*o. Which is bigger: o or l?
o
Let i be (-1)/(2/(-4)) + 6. Let x = 7 - i. Which is smaller: x or -1/2?
x
Suppose 0 = 2*l - 19 - 15. Let m(k) = -2*k**3 - 7*k**2 - 12*k + 4. Let t be m(-2). Which is bigger: t or l?
l
Let r(z) = z + 2. Let u be r(6). Is 9 <= u?
False
Let v = 3.08 - 1.08. Which is smaller: v or 33?
v
Let n = 4 + -10. Let k = -5.53 - -0.03. Let v = n - k. Is v bigger than -1?
True
Let g(i) = -i**2 - 3*i + 3. Let s be g(-4). Which is smaller: s or 2/13?
s
Suppose 6 = 2*i, 0 = 3*d - 5*d - i + 3315. Let q = -44705/27 + d. Let j = 145/351 - q. Is j >= 1?
False
Let l = -0.98 - -5.98. Is l > -0.17?
True
Suppose -4*x = -3*b + x + 8, -5*x - 10 = -5*b. Let r = b - -2. Let m be r/(-9)*(1 - -2). Is m less than -1?
False
Let h(c) = -5*c - 9. Let w be h(-7). Which is greater: w or 27?
27
Let r be 6 - (3 - (2 + -1)). Suppose -2*x = -x + r. Let j be (-1)/18*(0 - x). Is 0 at most as big as j?
False
Let t = -16 - -8. Suppose -5*c - 14 = -3*c. Which is smaller: c or t?
t
Suppose -2*x - 6 = -4*p - 4*x, 4*p - 13 = 5*x. Which is smaller: p or 5/3?
5/3
Let a = -68 - -70.14. Let t = a - 0.14. Which is greater: t or -2?
t
Let d = -65 + 60. Which is bigger: -11/3 or d?
-11/3
Let l(h) = -2*h**2 + 12*h - 11. Let a be l(5). Which is bigger: -18/23 or a?
-18/23
Let x = 0.03 - -0.07. Is 0.03 less than x?
True
Let i = -0.35 + 0.18. Let t = 0.1 + i. Let y = -0.27 - t. Is -2/9 not equal to y?
True
Let w = -5 + 8. Let u = 1 - w. Let s be (-8)/(-5) + u/(-5). Which is greater: s or 5?
5
Let f(u) = u + 6. Let m be f(-8). Let r = m + -3. Let z(q) = -q**3 - 5*q**2 - 2*q + 4. Let k be z(-4). Which is smaller: k or r?
r
Let b = 13.11 + -13. Is b at least as big as -3?
True
Let a = 8921/159608 + 1/2248. Which is smaller: 1 or a?
a
Suppose 0*k - 2*t = k, 4*k + 15 = -5*t. Is k < -2?
True
Let r = -36 - -395/11. Is r not equal to 1?
True
Let s = -5 + 9. Let g = -7 - -6.5. Let c = 0.6 + g. Does c = s?
False
Let r = -19/2 + 11. Let a be 2 - 1 - (-3 - -3). Let t = a - r. Is t bigger than -2?
True
Suppose 0 = 5*x - 0*x. Let a = -22 - -21. Is a greater than or equal to x?
False
Let t(v) = v**2 - 6*v + 5. Let q be t(5). Let z = -0.59 + 8.59. Are q and z unequal?
True
Let z(d) = d + 16. Let n be z(-5). Suppose -5 = -n*t + 6*t. Do t and 5/4 have different values?
True
Suppose -2*y = 5*l - 4, 0 = -y + 2*l - 6*l + 5. Let g(z) be the first derivative of z**3/3 + 2*z**2 + z + 4. Let c be g(y). Is c less than -3?
False
Let h = 8 + -3. Suppose 6*i - 3 = 9*i. Is h less than or equal to i?
False
Let a be 15 + -19 + (-8)/(-2). Let q be ((-2)/(-36))/((-2)/(-8)). Is q less than or equal to a?
False
Let n = 23 + -39. Let q be n/(-10)*(-15)/(-6). Suppose a = 2*a + q. Is a smaller than -4?
False
Let n(m) = -m + 9. Let u be n(7). Let a be (-99)/(-12) + u/(-8). Suppose -21 = -4*d + d. Are a and d unequal?
True
Suppose 6 = 12*g - 11*g. Suppose -f = 2*m - 8, 0 = 2*m - g. Which is smaller: f or 1?
1
Let x(w) = -2*w**3 - 4*w**2 + 3*w - 1. Let i be x(2). Let y = -241/9 - i. Suppose 2 = -3*t - 1. Which is smaller: y or t?
t
Let l be (-20)/(-5) - (-6)/2. Is l >= 7?
True
Suppose 42 + 138 = -5*b. Let s be b/14 - -3 - 1. Which is greater: s or -1?
s
Let n(m) = -m**2 + 3*m + 4. Let i(z) = z**2 + 5. Let c be i(0). Let b be n(c). Do -6 and b have different values?
False
Let d = -3.9 - -4. Let j = 6 + -5.9. Is j less than d?
False
Let h = 15 - 10. Suppose -q + 7 = h. Let p be ((-3)/5)/(2/(-10)). Is q != p?
True
Let t be 4 + (-2 - -1)*-1. Suppose t*y - 3 = 7. Let z = 4 + -4. Is z < y?
True
Let g = 7 - 1. Suppose -5*z = -c - 20, 50 = 3*z + 4*c + 15. Which is smaller: z or g?
z
Let m = 16.49 - 16.5. Let b = 76/3 - 25. Which is greater: m or b?
b
Let n be 1*-4*(-6)/24. Which is smaller: n or 11/7?
n
Let x = 24 + -9. Let m be 62/30 - x/(-25). Which is smaller: 3 or m?
m
Let p be 4 + -2 - 14/10. Let t = -1 + 4. Suppose -3*j = t*m, 3*m + j = -j. Which is greater: m or p?
p
Let h = 1 - 0.98. Let d = h + -0.12. Let i = 0.2 - 0.4. Is d less than i?
False
Let k = -7 + 3. Let d = 0 + k. Which is smaller: d or 1/4?
d
Let n = 1847/7 - 263. Is n < 2?
True
Let x = 2.6 + -1.6. Let g(c) = c**2 + 7*c - 6. Let k be g(-6). Let h be 1 - 7/(14/k). Which is greater: h or x?
h
Let h be (-1)/(-2) - 148/8. Is h greater than -21?
True
Let z be (0 + 0)/(-12 - -11). Let l(u) = u**2 - 5*u + 6. Let i be l(4). Is i at least z?
True
Suppose -3*w = x + 11, -4*w - x = -5 + 18. Let v be (36/20 + w)*3. Which is smaller: 0.1 or v?
v
Let d = -5 - -8. Suppose 3*v + 4*q = 1, v = -v - 5*q + d. Let i be ((-1)/(-1))/(v/2). Is i equal to 1?
False
Let p = -7 - -10. Which is greater: p or 1?
p
Suppose 4*t + t = 330. Let s = 460/7 - t. Let i = 5 - 3. Is s <= i?
True
Suppose -8 = -p + 5*p. Let i(z) = -2*z + 1. Let a be i(p). Let o = 0.4 + -0.3. Which is smaller: a or o?
o
Let t = 15 + -27. Let m = 11.9 + t. Which is smaller: m or -7?
-7
Suppose -4*r - 2*q = -5*r - 24, -4*r - 2*q = 116. Let w = -57/2 - r. Are w and 2/9 unequal?
True
Let r = 0.37 - 0.07. Let p = r