 257/5 + -51. Which is smaller: 0 or z?
0
Suppose 7*c = 2*c. Does -1/30 = c?
False
Let h = 11 + -10.5. Is 2/11 greater than or equal to h?
False
Suppose 2*l + 10 = -3*u, 3*l - 3*u + 3 - 18 = 0. Suppose 10 = 3*g + l. Let p = -5 + g. Is p at most -3?
False
Suppose s + 18 = -4*s + y, 0 = 3*s - y + 12. Let t be 36/24 + 10/(-4). Which is smaller: s or t?
s
Let u be -1*(-1 + 3) + 4. Let r be ((-1)/(-3))/((-2)/(-12)). Let v = r - u. Is v > 1/5?
False
Let u(h) = -2*h + 12. Let c be u(8). Let z be (-6)/88 + (-1)/c. Which is bigger: 1 or z?
1
Let k be ((-133)/42 - -3)/((-1)/4). Let g be (1 + -1)*(-3)/(-6). Which is smaller: k or g?
g
Suppose 0 = 2*i - i + 3. Let s(d) = -d**2 - 3*d. Let z be s(i). Which is smaller: z or -1/3?
-1/3
Let y = 5 - -2. Is y > 6?
True
Let f = -1519 + 25833/17. Is 0 less than or equal to f?
True
Suppose 2*n - 4 = -5*b, -b + 6*b + 4 = 2*n. Is -4/21 greater than or equal to b?
False
Let v = -1/2641 - 10509/145255. Which is smaller: v or 0?
v
Let y be 1/1*(-1)/(-11). Is y <= -0.1?
False
Let r(o) = o**2 + 3*o. Let c be r(-3). Suppose c = -5*q + 4*y - 14, -5*q - 5*y = -2*y + 7. Which is smaller: q or 0?
q
Suppose 0*b + b = 0. Let u be (4/(-10))/((-96)/(-60)). Is u less than b?
True
Suppose -2*n - 11 - 13 = 0. Let q be (1 + (-11)/(-2))*-2. Is q equal to n?
False
Let n = 1104 - 6595/6. Are n and 5 equal?
False
Let j(h) = 2*h**3 - 13*h**2 + 2*h + 18. Let a be j(6). Which is bigger: 2 or a?
2
Suppose 0 = 2*p - 1 - 5. Let v be -1*p/6*4. Are -1 and v non-equal?
True
Let g be (-118)/6*3/(-2). Let q = 30 - g. Is q not equal to -1?
True
Let i be 1*(-1 - 3/(-7)). Suppose -3*l + 4*d - 5 = 0, 3*d - 6 + 0 = 0. Let q be (l/2)/((-1)/2). Which is bigger: i or q?
i
Let c = -2009/9 + 223. Let y be (-2)/(4/(-2)) + (-49)/35. Which is smaller: y or c?
y
Suppose 3*f + f - 8 = 0. Let d be (3 + -1 - 0)/4. Which is smaller: f or d?
d
Let p(t) = -t**3 + t**2 + t - 5. Let i be p(-3). Let b = -21 + i. Is b <= 8?
True
Let h = -6 + 2. Is h equal to -0.2?
False
Let l = 0.06 + 0.04. Let k = -0.2 + 0.16. Let q = k - 0.16. Does q = l?
False
Suppose -6*t + t + 46 = -s, 2*s + 2 = 0. Let r be 13*1/(-4)*4. Let x = t + r. Is -2 >= x?
True
Let o(z) = -z**3 - z**2 + z + 1. Let p be o(-2). Suppose -p*d - d = 0. Let c = -1/69 - -8/23. Which is bigger: d or c?
c
Let x = -6 - -11. Suppose 2*i = -5*a - 3, -4*i - 5*a + 9 = -0*a. Which is bigger: x or i?
i
Let v = -57 - -45. Is -5 at most v?
False
Let x be 2/(-4) + 10/4. Suppose -g + x = g. Let o = g + -2. Which is smaller: -1/5 or o?
o
Let v = 0.2 + -0.57. Which is smaller: v or 1/3?
v
Let a be (4 - (-3 + 6))*2. Suppose 0 = 2*q - q - 4*c + 2, 2*q - 6 = -a*c. Which is smaller: q or 1/2?
1/2
Let s be -45*(-128)/19768 + (-4)/14. Do 1 and s have the same value?
False
Let n = -0.1 + 0.2. Suppose -u - 6 = 3*m, -5*m = -4*u - 4 - 3. Let b(s) = s + 1. Let z be b(u). Does z = n?
False
Suppose -3*k = 9, -1 = 3*f - 2*k - 13. Suppose 2*w = 5*x - 20, -f*w + 0 = -3*x + 12. Suppose w = -b + 2. Is b greater than 0.1?
True
Suppose 82*w = -231 - 179. Let j = -2.9 + 3. Which is smaller: j or w?
w
Let x = -0.07 - -0.06. Let a = 0.11 + x. Is -0.4 greater than or equal to a?
False
Suppose -2*b - t - 4*t - 13 = 0, 2*b = 3*t + 11. Which is bigger: b or 2?
2
Let a be ((-3)/(-18))/((-3)/12). Is a bigger than 6?
False
Let t = 1.1 - 0.65. Let r = -0.1 + 0.15. Let z = t - r. Which is bigger: z or 0?
z
Suppose -6*p + 3*p = 0. Suppose 5*y + 0*d - 10 = 2*d, y + 4*d + 20 = p. Suppose 5*h + y*h - 5*z = 0, z = 0. Which is bigger: h or 1?
1
Let j = 34 - 23. Which is smaller: j or 12?
j
Let t = -11/15 - -8/15. Which is smaller: t or 0?
t
Let d be (-1 + 7)*(-3)/(-9). Let w be (7/35)/(d - 1). Is w at least -1?
True
Let c = 1 + -4. Suppose 2*i = 3*x - 9, -2*i - i - 3*x = -24. Suppose 4*g - w + 11 = -g, -2*w = -i*g - 8. Which is smaller: g or c?
c
Let a be 2/14 + 250/(-280). Which is greater: a or -2?
a
Let g be (6/(-9))/(32/(-18)). Is 1 >= g?
True
Let h be (-2)/6 - (-13)/3. Suppose -4*c = h, -5*p = 3*c - 2*c - 119. Let f be (-2)/(-8) - 9/p. Do 0 and f have different values?
True
Let g(t) = t. Let d = 0 + -2. Let x be g(d). Which is greater: x or -1?
-1
Let q be (-3)/12 - (2 - -1). Which is bigger: q or -2?
-2
Let n = -6 + 1. Let a be n/(-9) - 4/18. Are 0 and a non-equal?
True
Let m be 1/(-2)*0 - -1. Suppose -f + 5*f = 16. Suppose 2*a - f = -2*r, 0 = 7*r - 3*r - 4*a. Is m equal to r?
True
Let s be 0 - -4 - (2 + -4). Let h(r) = -r**3 + 7*r**2 - 6*r + 1. Let w be h(s). Is 2 < w?
False
Let u = 28 - 17. Which is bigger: u or 0.3?
u
Suppose -f - 5 - 6 = 0. Which is greater: f or -10?
-10
Let k = 184 + -2021/11. Are k and 1 equal?
False
Suppose -4*t + 4*f - 16 = -0, 2*t + f = 1. Which is greater: -5 or t?
t
Let o = 2.8 - 3. Let v = -3 - -3.4. Let k = v + o. Which is bigger: -2/3 or k?
k
Let a be ((-2)/3)/(46/6). Is a smaller than -0.1?
False
Suppose -5*l - 3 = -8. Let k be 0*(l/2 - 1). Is 0 at most k?
True
Let v(q) = 3*q + q**2 + 2*q - 2 - 1 + 2*q. Let j be v(-7). Is -3 > j?
False
Let c(j) = -j**2 + 2*j - 11. Let o be c(0). Which is smaller: o or -10?
o
Suppose -17 = 3*a + 5*k, 3*k + 12 - 54 = 4*a. Let i = 14 + a. Which is smaller: i or 7?
i
Let d(q) be the first derivative of q**4/4 - 3. Let z be d(-1). Is z < -1/10?
True
Let w = -0.048 + 29.048. Let i = w + -34.2. Let x = i - -0.2. Which is smaller: x or 1?
x
Let y = 3 + -2. Let w = 1 - y. Let z = -0.05 - 3.95. Which is smaller: z or w?
z
Suppose 2*s + 5*x = 19, 2*s - 14 = -0*s - 4*x. Let d(h) = 2*h + 3. Let g be d(s). Do -3 and g have the same value?
True
Suppose 5*i = -12 + 2. Let u be i + -1 + (-1 - -2). Let m = -1 - 0. Which is bigger: m or u?
m
Let a be 3/(-6)*-1*12. Let l = a - 10. Let g = l + 4. Is 0 smaller than g?
False
Let y = 1.09 + -8.99. Let q = y + 8. Which is smaller: -0.08 or q?
-0.08
Suppose -4*h - 4 = -k, 3*k + 2*h - 1 = 3*h. Which is bigger: -1 or k?
k
Let s be (-2 + 0)/(-2)*-2. Let c = 1 - 0. Let i = c + -2. Is i <= s?
False
Let s = -6/13 - 8/39. Which is bigger: s or 9?
9
Let r = 21 - 16. Which is smaller: r or 8?
r
Let f(i) = -1 - 56*i - 3*i**3 + 57*i + i**2 + 4*i**3 + 0*i**3. Let s be f(0). Let n = -28/3 + 9. Which is bigger: s or n?
n
Let u = -10244/11 - -934. Let b = -79/33 + u. Let n = 5 + -1. Which is greater: n or b?
n
Let t be (-2)/(-14) - (-72)/(-63). Is -1 bigger than t?
False
Let m = 7 - 5. Suppose j + 13 = p + 3*p, 0 = -j + 3. Suppose -p*q - q + 5 = 0. Which is greater: m or q?
m
Let j = 300 - 1512/5. Let l = j + 262/105. Which is smaller: 0.1 or l?
l
Let n be 8 + -1 - 2/(-2). Let s be (n/(-4))/(2/2). Let q be ((-8)/(-30))/(s/5). Do 2 and q have the same value?
False
Let t(i) = -5*i - 50. Let f be t(-22). Is 60 greater than or equal to f?
True
Let b(y) = -2*y + 9. Let w be b(6). Let q = -0.1 - 0.8. Let g = 1 + q. Which is smaller: g or w?
w
Let z = -101 - -98. Suppose -3*v - 9 + 0 = 0. Is v greater than z?
False
Let z = -3911596/33 - -118510. Let f = 68/3 + z. Which is greater: f or -1?
f
Let y = -407/24 - -17. Is 0 > y?
False
Let p = 49 - 31. Is p less than 15?
False
Let q = 13/10 + -5/2. Which is bigger: -1 or q?
-1
Let t be 97/11 + 4/22. Suppose -2*k - t = k. Suppose -2*g - g = 12. Which is bigger: g or k?
k
Let u be 2/(-1 - (-6 + 2)). Let x be 0 + 16/6 + -3. Is u <= x?
False
Let k = -10 + 8. Let u = 2.5 + k. Let j = 2.5 - u. Which is smaller: -1 or j?
-1
Suppose 4*b + 3 = -3*k - 25, -54 = 4*k - 3*b. Let u be 9/k*-4 + -3. Is u not equal to -1?
True
Let w be -2 + -1*0/3. Let t be (-2)/8 - 14/8. Let z be (w + 2 + t)/2. Is z > -2?
True
Suppose 0 = -3*v + 10 - 16. Which is smaller: v or 3?
v
Suppose 2*g - 40 = 2*r - 2*g, -r + 4*g - 16 = 0. Which is smaller: -26 or r?
-26
Suppose 4*s = 3*s + 3*p + 8, 20 = 5*s + 5*p. Suppose -s*h + h = -4*v + 4, -34 = -4*v - 2*h. Which is smaller: v or 4?
4
Let b(p) = -p - 3. Let t be b(-5). Which is smaller: 0 or t?
0
Let z be (-4 - -3)*-5 - -3. Is z less than 1/2?
False
Let x be (-5 - 4/(-2)) + 1. Which is smaller: x or -5?
-5
Let l = -501/1216 + -41/64. Let q = l - -62/95. Which is greater: q or -4?
q
Let z be 4/(-2) + (-198)/(-234). Which is greater: -1 or z?
-1
Let b = 2674 + -703263/263. Let l = 517/2367 - b. Is 0 >= l?
False
Let y be (6 + -3)/(6/4). Suppose 13 + y = -5*q. Let u = q + 1. Is u greater than 3?
False
Let w = -31 - -35. Is w not equal to 