e value?
False
Let c = -2119/38 + 113/2. Which is greater: c or 0?
c
Let n = 104577/47629 + -6005474993/109451442. Let w = n - -5/766. Let s = -52 - w. Which is bigger: s or -3?
s
Let i be 0/((-4)/2 + 4). Suppose i = -5*s - 6 + 11. Suppose -3 = -5*b + q + 5, 2*b - 2*q = 0. Is s less than b?
True
Let z be (2 - -1) + (1 - 3). Is z smaller than 1/3?
False
Let s be (-13)/(-20) - 20/50. Is s smaller than 1?
True
Let z = -20.928 - 0.072. Are -0.1 and z equal?
False
Let c be 60*((-8)/5)/(-4). Suppose 0 = 5*g + c + 1. Is g greater than -5?
False
Suppose 2*f = -0*f + 2. Let z = 168 - 1508/9. Which is smaller: f or z?
z
Suppose 5*a + 192 = 2*o, -3*o + 307 = 2*a - 0*a. Let c = o + -507/5. Let h = 0 + 0. Is h at least c?
True
Let g = 3 + -8.2. Let r = 0.8 + -5.8. Let i = g - r. Is -1 != i?
True
Let w = 0.09 - 0.39. Are w and 1 equal?
False
Suppose 85 = 5*c - 25. Let z be (-4)/14 + c/126. Is 0 smaller than z?
False
Suppose d + 3408 = 4*d. Let r = d + -48850/43. Which is greater: 1 or r?
1
Suppose -4*h + 445 = -9*h. Let q = 620/7 + h. Which is smaller: q or -1?
-1
Let p(h) = h**3 + 17*h**2 + h + 14. Let k be p(-17). Is k smaller than -5?
False
Let m be (0 - (-66)/8)*(-160)/(-120). Which is smaller: m or 7?
7
Let n(d) = -d + 14. Let j be n(13). Let l = j - -5. Which is smaller: 7 or l?
l
Let j(v) = v**2 - 2*v + 2. Let o be j(4). Let i(z) = -z**3 + 10*z**2 - z + 11. Let a be i(o). Which is smaller: -2/9 or a?
-2/9
Let y be 6/(-6) + (-12)/4. Which is smaller: y or 1?
y
Let v be (-48)/(-30)*6/8*1. Does -0.2 = v?
False
Let q be (-2)/32*(16 - 20). Is 6/25 < q?
True
Suppose -l = 4*b - 4, 5*l + b + 4 = 5. Is l not equal to -4/11?
True
Let f = -54 - -54.25. Is f greater than -4/3?
True
Let p(d) = d**3 - 9*d**2 + 7*d + 8. Let n be p(8). Which is greater: 2/15 or n?
2/15
Let k = 6.6 + -6.6. Which is smaller: k or -1/4?
-1/4
Let m = 0.03 + 0.07. Suppose 4 = 3*d - 0*b - b, 2*d - 4*b - 16 = 0. Which is bigger: d or m?
m
Let t be 17/30 + (-8)/20. Let q = -11 + 11. Which is smaller: q or t?
q
Let a be (-2)/(-7) + (-7)/49. Is -1/2 not equal to a?
True
Let b be ((-210)/52 + 4)*(3 - 1). Is 0 at most b?
False
Let i be 40/(-7) - (-4)/(-14). Let m be (3/(-6) - -1)*i. Let b = m + 1. Is -4/3 > b?
True
Let v = -0.03 + 0.03. Is 6/5 at most as big as v?
False
Let w(y) = y**2 + 3*y - 7. Let b be w(-5). Let h be (-2)/(-6)*b - 8. Which is smaller: h or -8?
-8
Let w(q) = q**3 + 14*q**2 - 15*q - 1. Let m be w(-15). Let s be (-21)/(-19) + 3/(-3). Which is bigger: m or s?
s
Let d = 5.1 + -5. Let a = -15 + 21. Which is bigger: d or a?
a
Suppose 0 = -3*x + c + 6, -x + 0*c - 5*c = -18. Let m be -6 - 75 - (0 - x). Let o be -3*1 + m/(-27). Which is bigger: -1 or o?
o
Let x = 91 - 547/6. Which is smaller: 0 or x?
x
Let l(i) = -i**3 - 7*i**2 + 4*i + 6. Let h be l(-3). Which is greater: h or -43?
h
Suppose m = v + 3*m, m = 1. Suppose d = -0*d + 2. Let w be (6/5)/1 - d. Do v and w have the same value?
False
Let p = 2 + -1. Suppose 3*n - 17 = 3*z + 1, -5*z - 20 = 0. Suppose 0*y = n*y. Is p equal to y?
False
Let p be -1 + 3 - (1 - -2). Let a = 146 - 143.5. Which is smaller: a or p?
p
Let d = 505/26 + -39/2. Suppose -3*k + k = 4. Let s = k - -3. Which is smaller: d or s?
d
Suppose -q = h - 3, -2*h + 2*q + 1 = -q. Let r be (1 + 2 - 2)*0. Let v = r + 1. Which is smaller: v or h?
v
Let i = 20 + -14. Let c = 10 - i. Which is bigger: c or 2/3?
c
Let a = 1.97 + 0.03. Let t = -0.04 + 5.04. Let x = t - a. Which is greater: x or -0.2?
x
Let n = 517/4 + -128. Is 2 greater than n?
True
Let j(g) be the first derivative of g**2/2 + 6*g + 2. Let a be j(-6). Let c be (a/(-3))/1 + -2. Is -2 equal to c?
True
Suppose 0 = 3*p + 7 - 61. Suppose -2*s + 3*k + p = 7*k, 0 = -4*s - 4*k + 24. Let j be ((-8)/18)/(-4)*s. Which is smaller: j or -1?
-1
Let l = -29/4 - -27/4. Suppose 14 = -2*q + 4*m, 0 = 4*q + 2*m - 4 + 2. Which is greater: q or l?
l
Let q = 2 + -1. Suppose -5*f + 0*f + 20 = 0. Let w = f + -4. Which is smaller: q or w?
w
Let a be 0 - 22/(-10) - 2. Let c be (-6)/21*-3*7. Let g be (-1)/(-6) + (-3)/c. Which is greater: g or a?
a
Let o = 1 - 0.93. Let a = -0.07 + o. Which is greater: a or 4?
4
Let j = -43 - -42. Are -1 and j nonequal?
False
Suppose 18 = 3*t + 3*u, 4*t - 2*u + 8 - 26 = 0. Suppose 2*b - 6 = b. Which is smaller: b or t?
t
Let z be 403/(-1482) - 2/(-19). Do z and 0.1 have the same value?
False
Let m(z) = -z**3 - 6*z**2 - 6*z - 5. Let s be m(-5). Let l be (3/(-27))/((-8)/(-2148)). Let f = 30 + l. Is s equal to f?
False
Let l = -24 - -143/6. Does 1 = l?
False
Let s = 23.77 - 24. Let g = 0.13 + s. Which is smaller: 0.05 or g?
g
Let r be 51/(-2)*(-1)/6. Let f be (-3)/(-1) - ((-65)/(-2))/13. Which is smaller: f or r?
f
Let m(k) = -2*k**2 - k - 12. Let w be m(-4). Which is smaller: -41 or w?
-41
Suppose -5*j - 109 = -0*s - 4*s, -16 = j + 5*s. Which is bigger: -22 or j?
j
Suppose -52 = -4*r + 40. Let x be (1 - r)/2*1. Let a = 15 + x. Are 3 and a unequal?
True
Let v be 6 - ((-2)/(-2) - -1). Suppose v*p + 31 = 19. Which is smaller: p or -0.1?
p
Let w = 0.84 + 0.16. Which is smaller: 0 or w?
0
Let l be (-6)/(-10) - (-6558)/(-19530). Let p = l - -2/93. Which is smaller: p or 0?
0
Suppose 3*c - 7 = -5*z, -z + 2*c + 3 = 3*c. Let q be (1 + 0)*(1 - 7). Let f be (q/(-16))/(3/2). Is f equal to z?
False
Let q = 430 + -6446/15. Let y = q + -2/3. Is y != -3?
True
Let r = 57 + -39. Let b be 44/(-36) - (-4)/r. Is 2 not equal to b?
True
Suppose -h + 6*h = 0. Which is smaller: 3/11 or h?
h
Suppose -5*q + 4 = -3*q. Let k be (-4*3/(-6))/q. Which is greater: k or 0?
k
Suppose 5*x = -3*c + 2 - 3, -5*c - 11 = -x. Suppose -4*l - 2*q = 0, -2*l = -3*l - 3*q. Suppose 0*r - 5*r - 15 = l. Which is smaller: r or c?
r
Let z = 9.21 + -0.21. Let c = z - 9. Let q = 5 - 3. Is q < c?
False
Let b = -16 + 18. Is b less than 1/2?
False
Suppose 0 = -2*t + 8, -2*r - 5*t = 3*r - 15. Which is smaller: r or -2/43?
r
Suppose -3*l - 95 = t, -4*l + 140 = -9*l + 2*t. Is -31 > l?
False
Suppose -2*w = w. Let j(k) = k - 3 - 8 + 3 + w*k. Let q be j(6). Is -5/2 less than q?
True
Let r = 6 + 11. Is 15 greater than r?
False
Suppose 4*x + 25 = -23. Is 0 <= x?
False
Let r be -1 - (1 + (-46)/11). Is 3 less than r?
False
Suppose 2*p = -6*p + 24. Suppose 0 = 3*o - 15 + 3. Which is greater: p or o?
o
Let s = -0.2 - -1.2. Let m = -1/243 - -3164/1215. Let v = m - 31/10. Which is smaller: v or s?
v
Let m be 2/(86/(-125)) - -3. Let f = -27/172 - m. Is 6 less than f?
False
Suppose 0 = -n + 4 - 7. Is n less than or equal to -3?
True
Suppose -g = 2*g - 4*m - 6, -10 = 2*g + 2*m. Which is greater: g or -3?
g
Suppose 2*j = -5*z + 15, -4*z = -6*j + 3*j - 35. Suppose 12 + 12 = 4*a. Suppose 6 = -3*x - a. Is j smaller than x?
True
Let g(s) = s**2 - 6*s - 10. Let n be g(7). Let h be (-4)/(-72)*-34 - n. Which is greater: h or 0?
h
Let d be (-250)/(-30) - 1*3. Let c = d - 5. Let y = 2 - 1. Which is smaller: y or c?
c
Suppose -4*n + 4 = -4. Suppose 22 = -k + 4*k + 5*a, 4*k + n*a = 6. Does -3 = k?
False
Let y = 5/21 - -2/21. Suppose 3*t - 4 = 5. Let f be t - (1 + 2 + 1). Does y = f?
False
Let h be (-21)/(-2) - 1/(-1). Let l = 47/4 - h. Let a be (1/1)/(5/(-25)). Is l != a?
True
Let z = -70 + 142. Let i = 58 - 28. Let q be 3/20*i/z. Which is smaller: -1 or q?
-1
Let v be (1/(-4)*22)/((-2)/8). Which is bigger: v or 20?
v
Suppose 3*v = -2*a - 3*a - 21, -6 = 3*a + 4*v. Let d = -4 + 9. Let j = d - 5.1. Which is smaller: j or a?
a
Let a(m) = m**3 - 14*m**2 + 12*m + 14. Let o be a(13). Let d be ((-6)/14)/(9/(-6)). Which is bigger: o or d?
o
Suppose -4*k - 2*y = -17 - 1, 4*y = 2*k + 6. Suppose k*m = -m - 16. Which is smaller: -3 or m?
m
Let v be (-3)/(-6 - 0)*8. Let n be -3 + (5 - (3 - 3)). Suppose 4*l - n + 4 = 3*t, v*l = 2*t. Is 2 != l?
True
Let s = 341/2065 + -3/59. Which is smaller: s or -2?
-2
Suppose -6*b = -3*b + 6. Is 0.1 smaller than b?
False
Let l = -1789/238 - -3/34. Let u = -525079/315 + 14930/9. Let q = u - l. Which is greater: -1 or q?
q
Let a = -19/2 + 10. Which is greater: a or -2?
a
Suppose 0 = -4*o + 4 + 12. Suppose 5*l - o = -29. Let a(i) = -i**2 + 2*i + 4. Let h be a(4). Which is bigger: h or l?
h
Let m(v) = -v - 3. Let h be m(-5). Suppose 3*c - 18 = 3*d, -2 = -d + h*d + c. Which is bigger: -5 or d?
d
Let g = -7.62 - 0.38. Is g >= -4?
False
Let w(s) = -s**2 + 11*s + 3. Let b 