0 have the same value?
True
Suppose 2*b - 4*b - 34 = 3*p, -2*p = 5*b + 63. Let h = b - -9. Which is smaller: h or -2/3?
h
Let h = -0.19 - -0.29. Is h equal to 8?
False
Suppose 21 = -4*a - 3*g + 81, 4*g + 16 = 0. Let t be a/16*2/(-6). Let i = 0.3 - 0.4. Which is smaller: t or i?
t
Let w be (-24)/10 + (-24)/40. Let x = 13 - w. Which is smaller: 17 or x?
x
Let u(y) be the second derivative of -7*y**4/6 + y**3/6 - y**2 + y. Let l be u(1). Which is greater: l or -14?
-14
Let n be 2 - (1/(-4) + (-7)/4). Let r = 0 + 1. Suppose i - 2*l + 14 = 0, -r = -4*i - n*l + 3. Is -1 <= i?
False
Let u(h) = h**2 - 11*h - 12. Let m be u(12). Suppose 0 = -8*a + 3*a. Let f be (a - -2)*(-1)/2. Is f at least as big as m?
False
Suppose -121 = -5*j - m, -3*m + 113 = 3*j + 2*j. Suppose -2*x = 6 + 4, -5*g - j = 3*x. Let n be ((-2)/(-12))/(g/(-6)). Which is greater: n or 2?
2
Let m(q) = -q**2 + 2. Let v be m(0). Let z be (8/(-12))/(v/(-15)). Let b = 3 - z. Which is greater: -1 or b?
-1
Let r(v) = -v**3 + 15*v**2 + 19*v - 13. Let d be r(16). Is 34 greater than d?
False
Suppose 26 = 3*j - 5*s - 2, 0 = -3*j + 3*s + 18. Let k = -91/20 + 19/4. Is k bigger than j?
False
Let r = 231/50 - 1/50. Is 5 at least as big as r?
True
Let y be 0/((30/(-2))/(-5)). Are 0 and y nonequal?
False
Let d = 0.1 - 0.1. Let f = -206 - -208. Is d not equal to f?
True
Let y = 53 - 78. Let z be 4/18 + y/(-9). Which is smaller: 1 or z?
1
Let a be 46*2*2/(-350). Let j = a + 6/25. Which is bigger: 1 or j?
1
Let m = -6 + 11. Suppose -4*y + 5*q - 40 = 0, -7*q - 9 = m*y - 3*q. Which is smaller: -6 or y?
-6
Let d = 1.1 - 0.9. Let a = -2.117 - -0.087. Let z = -0.03 - a. Is d at least as big as z?
False
Let l = 0.78 - -0.02. Let s = l - 0.93. Let j = 4.87 - s. Is j less than 0?
False
Let f = -1 + 2.7. Let s = -0.3 - f. Let w be ((-2)/(-4))/((-2)/12). Which is smaller: w or s?
w
Let y be (-4)/6 + 0 + 37/(-3). Is y less than 2/5?
True
Let a = -44 - -134/3. Suppose 0 = -0*s - 3*s + 12. Suppose -w + s*w = 0. Is w >= a?
False
Suppose 6*z + 50 = 2. Which is smaller: z or -14?
-14
Suppose 128 = 5*y + 2*d, 2*y + d - 5 = 47. Is -2 < y?
True
Let b be 2/7 - (-64)/(-28). Suppose 0 = l + 5*u + 31, l - u = 5*l + 29. Which is bigger: b or l?
b
Let q = 0.36 - 0.6. Let n = -0.06 + q. Let j = -2/37 + 88/259. Is j greater than or equal to n?
True
Let j = 12 - 11.7. Is j bigger than 9?
False
Suppose -p - 14 - 11 = 5*y, p - 3*y - 15 = 0. Let c(m) = -2*m + 3. Let f be c(-5). Let x = 11 - f. Which is smaller: p or x?
x
Let q = 5 + -7. Let w(g) = -9*g + 2. Let o be w(q). Let n be (-8)/10 + (-4)/o. Which is smaller: n or 2/9?
n
Let b(t) = t + 5. Let d be b(-5). Suppose 5*u + 1 + 4 = d. Let j = -103 + 407/4. Is j less than or equal to u?
True
Let o = 21 - 20. Let f = 0.2 + -0.1. Which is bigger: o or f?
o
Let y be (-1)/(-7)*(-14)/12. Suppose -r - 4 = -5*n + 12, -2 = 5*r + n. Which is bigger: y or r?
y
Suppose 0*i + 8 = 4*i. Let p be ((-8)/6)/(i/498). Let c = -2320/7 - p. Is c >= 0?
True
Let w = 1 + -1. Let i be 104*3*(-2)/1113. Let u = i - -7/53. Is w at least as big as u?
True
Let g = 1 + 4. Let l(y) = -g*y**2 + y**3 - 3 - y + y**2 + 8. Let f be l(4). Is f != 2/7?
True
Let p = -61 + 61. Is 1/80 bigger than p?
True
Let r be 226/36 + (-10)/(-45). Which is smaller: r or 6?
6
Suppose 2 = -m + 25. Is 24 <= m?
False
Let r(z) = z**3 + 4*z**2 + 3*z. Let j be r(-2). Let q be -1*(j/1)/2. Which is bigger: -2 or q?
q
Let b = 49/4 - 25/2. Let u(t) = 3*t + 22. Let z be u(-7). Which is smaller: z or b?
b
Let z = -810/7 - -116. Let u = 32 - 22. Let p be 6/u + (-6)/(-15). Which is bigger: z or p?
p
Let m be 20/62*(-39)/(-18). Let x = m - 1/31. Is x less than or equal to -1?
False
Let m(f) = -3*f + 3. Let d be m(2). Let z = -0.12 - -1.12. Which is smaller: z or d?
d
Let b = -4/13 - -110/273. Let h be 4 + -4 + 0 + 0. Which is smaller: b or h?
h
Suppose -6*y + 64 = -2*y. Is 17 at most as big as y?
False
Let s = 8 + -8.05. Which is smaller: -1 or s?
-1
Let c be (-1)/4 - 15/4. Suppose 2*g + 5*v + 34 + 1 = 0, 0 = -5*v - 25. Which is bigger: c or g?
c
Let p = -47 + 43. Is p bigger than -4?
False
Let w = 1.33 - 1.23. Let y = 3.91 + 0.09. Is y less than w?
False
Let q = -28.17 + -0.83. Are q and -1 non-equal?
True
Let m = 15 + -11. Let w be 144/81 - m/(-18). Suppose 5*o - 12 = 2*o. Is o >= w?
True
Let n = 8.4 + -0.4. Let x = -7.3 + n. Let f = x + -0.5. Which is smaller: 2 or f?
f
Suppose 2*h + 11 - 21 = 0. Is h >= 4?
True
Suppose -q - c + 3 = -0*c, 4*c = -q + 12. Does q = -3/8?
False
Suppose -6 = 5*d + o, -2*o + o + 3 = -4*d. Are 4/19 and d nonequal?
True
Let i be (-7 - -7)*1*-1. Let j = i + 3. Do j and 3 have different values?
False
Suppose 0 = 4*r + 1 + 3. Let i be -1*(r - 1) + -3. Suppose x = 6*x + 10. Which is smaller: i or x?
x
Let z = -1.06 - -1. Let f = 0.13 + z. Is -1/2 at most as big as f?
True
Let g = -21 - -21. Let v be (-2)/6 + -1 + 1. Which is smaller: g or v?
v
Let p = 0.05 + 0.15. Let s = p - 0.1. Let z = -1 - -1. Which is greater: z or s?
s
Let d be (-1 + -1)/(4/(-14)). Let f(w) = -w + 3. Let o be f(d). Let n = 0 - o. Which is bigger: n or 5?
5
Let k be (2/5)/((-1)/(-30)). Suppose -14*h = -16*h + k. Which is greater: h or 7?
7
Let p = -3 + -3. Let v(q) = q + 2. Let c be v(-8). Are p and c nonequal?
False
Suppose 0 = -3*f + 8 + 7. Suppose f*w = w. Is w > -1/7?
True
Let t = 41/52 + 6/13. Suppose 4*q - 1 = 7. Is q <= t?
False
Let u(i) = i**3 - 5*i**2 + i + 2. Let w be u(4). Let r be 13/(-65)*w/8. Suppose 2*c - z + 4*z + 10 = 0, 2*z + 8 = 0. Are c and r equal?
False
Let g(j) = -5*j + 1. Suppose -3*f - 2*f - 5 = 0. Let i be g(f). Let b = -10 + i. Is -1 < b?
False
Let w(d) = -d + 21. Let t be w(9). Is 8 < t?
True
Suppose -3*f + 308 = -17*f. Is f at most as big as -22?
True
Suppose 3*j + j = -4*a - 4, -5*a = 4*j. Let m be 8/28 + 52/14. Is m smaller than a?
False
Suppose i = 6*i. Let q(f) = -2*f**3 - f**2 - 4*f + 6. Let l be q(1). Is l less than or equal to i?
True
Let l be 102/(-9) + (-1)/(-3). Let g be l/(-4)*24/6. Let k = 8 - g. Is k greater than or equal to -4?
True
Let o(v) = -v**2 + 1. Let n(k) = -5*k**2 + 6*k - 3. Let m(g) = -n(g) + 6*o(g). Let h be m(-7). Which is smaller: h or 0.1?
0.1
Let l(q) = q**3 + 2*q**2 + q + 3. Let x be l(-2). Which is smaller: 6/19 or x?
6/19
Suppose -2 = o - 0*o. Is -0.8 at most as big as o?
False
Let w = 0.36 + -0.16. Is 7 < w?
False
Let d(r) = 4 + 6*r**2 + 2*r + 5*r - 1 - r**3. Let z be d(7). Suppose 5*w - b = 21, 5*w = -2*b - 3 + 21. Which is smaller: z or w?
z
Suppose 2 - 14 = -4*g. Which is bigger: g or 1?
g
Let c be 24/14 - 4/(-14). Suppose 0*k + 2*t = -2*k - c, -3*k + 4*t = 31. Is -4 <= k?
False
Suppose 4*t + 4*q + 8 = 0, t + 14 = q - 6*q. Let w = -236 + 4011/17. Which is bigger: w or t?
t
Suppose 2*s - 16 = -2. Let n = s - 8. Which is bigger: n or 2/7?
2/7
Suppose -8 = -2*h + 2*d, -5*d = -3*h + 9 + 7. Suppose 4*u = k + 20, h*u - u + 4*k + 12 = 0. Suppose 0*q - 4*q + u = 0. Is -1 bigger than q?
False
Let w(u) = u**3 + 5*u**2 - 4. Let g(v) = 3*v**3 + 11*v**2 - 8. Let a(t) = -2*g(t) + 5*w(t). Let c be a(3). Let y be 1/((-2)/(-12)*-2). Is c less than y?
True
Suppose 2*a + 4*m = -6, -a - m = 4*a - 3. Suppose 2*u - 6 = -0*u. Let l = u - 2. Is l equal to a?
True
Let p = 1.4 + -0.4. Let t = p + -2. Let z = 1.1 + t. Do 1 and z have the same value?
False
Let m = 0.06 - 0.16. Let p = 2 - 1. Which is greater: p or m?
p
Suppose 4*z = 12, -3*v + 6 = -2*z + 4*z. Which is smaller: -2/25 or v?
-2/25
Let m(f) = -f - 4. Let a be m(-5). Let d = -731/10 - -73. Which is smaller: d or a?
d
Suppose -y - y - 10 = -4*b, -2*y = -5*b + 14. Suppose -y*r - 9 = -0*r. Is r <= -3?
True
Suppose 2*p = 3*p - 1. Let j be 32/216*(-3)/2. Which is greater: j or p?
p
Let f = 6 + -6. Which is smaller: f or -6/11?
-6/11
Let l = 145 - 144. Is l < 1?
False
Suppose w = -93 - 70. Let l = 819/5 + w. Suppose 0 = -2*z + 3*z - 1. Are z and l non-equal?
True
Let r be 2/(-7) + -372*14/(-19257). Which is bigger: r or 1?
1
Let j = -5/6 + 7/6. Is -14 smaller than j?
True
Let j = 5 - 7. Let l be (j - -1)*(4 - 2). Let h be l/3*(-6)/(-4). Which is greater: h or -2?
h
Let w = -3 + -14. Let g = 9 + w. Let v be ((-1)/2)/((-4)/g). Are -4 and v unequal?
True
Suppose -3*l - 53 + 8 = 0. Let x = l - -16. Which is bigger: 2/5 or x?
x
Let x(f) = -f**2 + 1. Let o be x(-1). Su