z = 1 - b. Is z <= -7?
True
Let s be ((-10)/(-6))/(132/216). Which is smaller: 3 or s?
s
Suppose 1 = -5*w - 4. Let x = -2/105 + -4/15. Which is greater: w or x?
x
Let q = 2.9 - 3. Is q smaller than 3?
True
Let d(f) = -2*f**3 - 3*f**2 - 3*f + 4. Let l be d(-3). Suppose 4*j - l = -5*c, -2*c - j + 2 = -11. Let t be 30/24 + (-1)/c. Is 1 at least t?
True
Let o be 10/(-4)*(-8)/10. Suppose 2*k - 75 - 65 = 0. Let v be (5/k)/(1/8). Is v equal to o?
False
Let b(v) = -1 - 3 + v + 3 - 4. Let l(j) = -j**2 + 14*j - 9. Let t be l(13). Let m be b(t). Are m and -6 nonequal?
True
Let y(q) = -q**3 - 4*q**2 + 8*q - 4. Let i be y(-6). Suppose 2*t - 5*f - 10 = 10, t - 5*f = i. Is -1/5 greater than t?
False
Let i = 12725/37 - 344. Which is greater: i or 1?
1
Let d be (3 + -7 + 3)/(-1). Which is bigger: -2/9 or d?
d
Let w be (3/6)/((-6)/4). Does 1/50 = w?
False
Let s = -10 + 10. Is s not equal to -10/9?
True
Let p be -1 - (2 + 13)*-1. Which is greater: 15 or p?
15
Suppose -12 = -z - 3*y, 4*y = -3*z - 6 + 22. Which is bigger: 1 or z?
1
Let c = 41 - 57. Let r be (-2)/(-2) + 14/c. Which is smaller: -1 or r?
-1
Let f = -0.02 - -3.02. Let z(j) = -4*j**2 + j. Let k be z(1). Are k and f nonequal?
True
Let i = 0.2 - 0.1. Let d = -10 - -9.98. Which is smaller: i or d?
d
Let g be 12/6*(-3)/21. Is 0 smaller than g?
False
Let u be (-60)/112 + 2/7. Let k = -0.28 + -0.02. Let m = k + 0.4. Which is bigger: u or m?
m
Let w = -5 - -4. Suppose 3*y + 2 = 5. Suppose p + y - 3 = 0. Which is bigger: w or p?
p
Let i = 467/7 - 67. Which is smaller: i or 0?
i
Let p = 4437/2392 - -6/299. Which is smaller: 3 or p?
p
Suppose -3 - 21 = -2*n. Let u be (-2)/n*32/(-24). Let t(r) = r**2 + r + 1. Let h be t(0). Which is bigger: u or h?
h
Suppose 5*n = -4*x + 28, -x - n - 6 = -3*n. Let i be (-51)/(-44) + (-2)/8. Is x less than i?
False
Suppose -16 = -22*t - 126. Which is greater: -16 or t?
t
Suppose -v - p + 98 = 0, -2*p + 306 = -5*v + 782. Let b = v - 2687/28. Let i = -2/7 + b. Is -1 > i?
False
Let k = -3 + 6. Suppose 4 - k = -m. Let t = -3326/13 + 256. Is m less than or equal to t?
True
Let u = -4 - -1. Let p = u - -2.6. Let o = -0.2 - p. Which is greater: o or 0?
o
Suppose 0*c + c = -4. Let v = c + 1. Let i be v/(2/4*-3). Is i at least as big as -2/3?
True
Let k = 2 - 0. Let j be (-4)/(-14) + 16/42. Is j at least as big as k?
False
Let s(d) = d**3 + d**2 - 3*d - 2. Let r be s(-2). Let y = -17.1 - -16.1. Which is smaller: r or y?
y
Suppose -2*m = 3*m. Suppose -y - 4*j - 11 = 0, -2*y - 10 = -m*y + 5*j. Does 2 = y?
False
Let s be ((-8)/26)/((-2)/1). Let q = -18 + 23. Suppose 0*x - q*x = 0. Is s greater than x?
True
Let p = -0.4 + 0.6. Let f = p - 0.5. Let t = -0.4 - f. Are -0.1 and t nonequal?
False
Suppose 5*c + w + 4*w = 70, -3*w = 2*c - 24. Let i be c/(-4)*2/30. Let f = i - -1/20. Are -1 and f equal?
False
Let t = -4 + 3.6. Suppose 0*a - 4*a = -4, 5*a = n + 8. Let w = -10/3 - n. Is t greater than or equal to w?
False
Let i = -5 + 3. Let b = -2 - i. Let r = b + -0.1. Is r less than -0.1?
False
Suppose 0 = 5*u - 4*b + 216, 5*b = 4*u - 0 + 180. Let y be ((-130)/u)/(2/(-8)). Are y and -12 non-equal?
True
Suppose -2*h + 100 = -7*h. Is -19 greater than or equal to h?
True
Let d = 91.6 - 92. Suppose 2 + 0 = -2*w. Is d less than w?
False
Let i = -2379/7 - -339. Is -2 at least i?
False
Let m = 134.01 + -134. Which is smaller: -1 or m?
-1
Suppose -3*h + 19 = -2*h. Is 20 <= h?
False
Let p be 35*3/(-36) + 3. Do 1 and p have different values?
True
Suppose 0 = 4*g - 0 + 156. Let y be g/(-12) + 2/(-8). Do y and 1 have different values?
True
Let u be (-2)/15*-3*45. Let g be (-6)/27 + 4/u. Which is smaller: g or -2/11?
-2/11
Let v be (1 - -1)*(-6)/12. Let i be -2 + (9 + v - -1). Suppose 6*a - i*a = 0. Is a smaller than -4/3?
False
Let q = 1 - 0. Suppose 0 = -3*t + 3*z + 27, -2*t = 2*t - 3*z - 33. Let j(n) = -n + 8. Let b be j(t). Which is smaller: q or b?
q
Let v(c) = 2*c**3 + 5*c**2 + c + 2. Let m be v(-3). Does m = -5?
False
Let o be (-1)/(-4) + 15758/(-88). Let r = 179 + o. Is 1 smaller than r?
False
Suppose 4*g = g + 18. Is g equal to 4?
False
Suppose 0 = -2*b + 5*v - 8 + 30, -3*b + 8 = 5*v. Suppose 0 = 6*d - 3*d - b. Is 2 bigger than d?
False
Let l = -56 + 56.6. Is -2/5 at least l?
False
Suppose 6*t - 7*t = -11. Suppose 2*o - t + 5 = 0. Suppose o*z = j + 8, 3*j - 5 = -z + 1. Do -0.3 and j have different values?
True
Let n be 3 + (1 - -1) + -1. Let u be ((-5)/(-15))/(n/6). Which is bigger: u or -13?
u
Let k = 6 + -26. Is -20 greater than or equal to k?
True
Let f(v) = -5*v**2 + 5*v**2 + 3*v - v**2 - 2. Let r be f(3). Let j be (-12)/(-21)*r/4. Which is bigger: 0.4 or j?
0.4
Let w be (0 - -2) + 4/(-2). Suppose w = -2*g + g. Is 1 < g?
False
Suppose 5*f - 12 = -2. Let k be (-6)/(-9) + 15/(-9). Which is smaller: k or f?
k
Let n be ((-176)/28 - -1) + (-8)/(-28). Suppose -v + 1 = -f - 4, -5*f - v - 7 = 0. Which is smaller: n or f?
n
Let x = -21.28 + 0.28. Let i = x + 16. Let y = -1.2 - -0.2. Which is smaller: y or i?
i
Let y = -34 - -33.9. Is -9 > y?
False
Let g be (-3)/(-21)*14/21. Let m be (-2)/(-1) - (-2)/(-2). Is m >= g?
True
Let o(q) = -2 + 2 + 3*q. Let h be o(6). Suppose -4*i = u + u + h, 4*i + 33 = -5*u. Are i and -3 non-equal?
True
Let l(b) = 20*b**3 + 2*b**2 + 20*b - 17. Let w(g) = 7*g**3 + g**2 + 7*g - 6. Let p(u) = -6*l(u) + 17*w(u). Let k be p(5). Is k < -4?
True
Suppose -2*p - p = 9. Let x be p + 1/((-2)/(-6)). Is 0 less than or equal to x?
True
Suppose -b + 4*f = -2*b + 13, b + 2*f - 7 = 0. Suppose -4*r + 5*r + 4*l - 10 = 0, 4*r = -5*l + 18. Suppose r*g = 3*g. Which is bigger: g or b?
b
Let l(b) = 2*b**2 - 17*b - 4. Let w be l(9). Which is greater: -3 or w?
w
Let s = 20114 - 1548314/77. Let c be (-474)/(-99) + 2/3. Let v = s - c. Is 0 greater than v?
False
Let q(m) = -8*m - 9. Let l be q(7). Which is bigger: -63 or l?
-63
Let v = -3.957 - 0.043. Which is smaller: 0.6 or v?
v
Suppose -y = 4*y - 10. Let l be (18/(-20))/((-6)/10). Which is smaller: l or y?
l
Let o = -1 - -3. Let y = 3 - 5. Let i = o + y. Is i at most -4/7?
False
Let v be 2/(-35) - (-2)/10. Which is greater: v or 0?
v
Suppose 9*i = 10*i. Which is bigger: i or -2/65?
i
Let r = -5049/7 + 4467/7. Let z = 83 + r. Which is smaller: 0 or z?
z
Let u = 1.61 + 0.39. Let q = -4.6 + 4. Are q and u unequal?
True
Let w be (6/9)/(3/9). Let k be ((-4)/(-8))/((-1)/w). Which is smaller: -2/15 or k?
k
Let r = 0 - 0. Let i(p) = 3*p**2 - 2. Let a be i(-2). Let n be 1*(-2 + a/6). Is r less than n?
False
Let g be (-190)/(-57)*(-18)/4. Is g less than -15?
False
Suppose h - i - 7 = -0*h, 0 = 4*i + 20. Is 2/3 greater than h?
False
Suppose 30 = 2*p + 3*p. Suppose -4*h + p = -7*h. Suppose 5*j + 10 + 5 = 0. Is j equal to h?
False
Let a = -15 - -13. Suppose 5*m + 8 = -p - 7, 6 = -2*m + 2*p. Let w = -4 - m. Which is smaller: w or a?
a
Let x = 2 - -15. Is x bigger than 18?
False
Let j(q) = -61*q**3 + q**2 - q. Let t be j(1). Let r = -181/3 - t. Is 14 != r?
True
Let z = -1 + 0.78. Let m = z - -3.22. Is m equal to 3?
True
Suppose 0 + 1 = d. Let s be d/(-2)*(-20)/5. Which is greater: s or 6/11?
s
Let z(m) = 4*m - 10. Let t be z(12). Is t > 38?
False
Let z = -12 + 11. Which is bigger: -2/11 or z?
-2/11
Let i be (-4 - -2)*(-7)/(-14). Which is bigger: i or 2/89?
2/89
Suppose 4*t - 18 = -3*w, 0*t + 3*t - 19 = -5*w. Suppose -2*o + 1 + 0 = t*s, 5*o = 10. Which is greater: 0.01 or s?
0.01
Let t be 35/49 + 2/7. Let b = 50 - 301/6. Is t greater than or equal to b?
True
Let h = 0.4 - 0.7. Let w = 0.4 + h. Which is greater: w or -2/5?
w
Let z = 22 - 23. Which is smaller: z or -0.4?
z
Let v = 121 - 116.08. Let o = 5 - v. Let y = o - -0.22. Is -1 at least y?
False
Suppose 4*i + 15 = 3*i + 5*b, -b + 3 = -2*i. Suppose 0*a + 3*a = 6. Suppose i = -4*w + a*w - 2, l + 2*w + 3 = 0. Do l and -2 have the same value?
False
Let z be (-2)/(-4) - (-17)/(-2). Let g be 0 - (-2 - 0 - z). Let s be ((-1)/(4/18))/g. Is 0 < s?
True
Suppose -2*k - 6 = 0, k = -3*s + 6 + 3. Suppose -j = s, 5*u = 4*u + 3*j + 12. Let t = 0 + 1. Do t and u have different values?
True
Let n = -1/37 - 65/333. Let f be 1/(-2 + (-1 - -2)). Is f > n?
False
Let g be (-6)/2*(-4)/12. Let c = g + -1. Is c bigger than -1/2?
True
Let g = -9.03 - -9. Let z = 3.97 - g. Let t = -54/7 + 284/35. Which is greater: t or z?
z
Let n(f) = -593*f