e f and 0 equal?
False
Suppose 4*m + 26 = -d, -m - 36 = 3*m - 4*d. Suppose 3*w + 14 = 2*i + 36, 0 = -5*i + 5*w - 50. Which is smaller: m or i?
i
Let a be 27/(-108) + 0/2. Which is smaller: -38 or a?
-38
Let s(l) = -7*l + 20. Let j be s(3). Which is bigger: 1/8 or j?
1/8
Let n = -1 + 4. Is n greater than or equal to -1?
True
Let s be ((-8)/(-36) - 0) + (-32)/(-18). Is s less than or equal to 2?
True
Let v be ((-1548)/(-366))/(-15 + 1). Let o = -1/61 - v. Suppose -2*r = -4*r + 2. Which is smaller: r or o?
o
Let v(o) = -5*o + 29. Let s be v(6). Let b = -206/35 + 44/7. Which is greater: b or s?
b
Suppose -3*d - 21 = 3*v, v - 3*v = -2*d - 2. Let g be v/2*(-8)/(-12). Which is greater: -3/5 or g?
-3/5
Let w be -2 - ((-25)/20 - 2/8). Which is bigger: w or -1.5?
w
Let t(u) = -u**3 - u + 5. Let d be t(0). Let m be -2 + 5 + (-10)/d. Does 0 = m?
False
Let x = 0 + 0. Suppose -3*z + z = x. Let c be 1 - 0/3 - z. Is 1 < c?
False
Let m = -45 - -53. Is 10 at least m?
True
Suppose -3 = 2*i - 7. Let v be i/4*0/(-1). Do v and -1/4 have different values?
True
Let l be ((-4)/6)/((-6)/54). Suppose 4*n - 2*n + l = -3*h, h - 4*n = -16. Let a = -4 - h. Which is smaller: a or -10/7?
-10/7
Suppose 0 = 6*o - 3*o - 18. Let c be ((-65)/13)/(o*2). Are c and -1 non-equal?
True
Let w(a) = a**3 - 3*a**2 - 5*a + 2. Let z be w(4). Let v be (-6 - (z + -2))*1. Which is bigger: -3/4 or v?
-3/4
Let f = 847/9 - 94. Let i(u) = -u**3 + u**2 + u - 4. Let h be i(0). Let r = h + 3. Which is greater: r or f?
f
Let a = 3 - 3. Suppose a = -2*y - 2*y + 4. Which is bigger: y or 0?
y
Let f(v) = -3*v. Let d be f(-1). Let j be -5*(6/(-5))/d. Which is smaller: 3 or j?
j
Let p be (-2)/8 - (-7)/4. Suppose -2*a = -n + 3, 2*n + 5 = -4*a - 13. Let g = n + p. Is g smaller than -2?
False
Let d(a) = -15*a + 9. Let l be d(-5). Let q be 14/12*(-16)/l. Which is smaller: 1 or q?
q
Let v be 46/8 - (-8)/32. Is 4 > v?
False
Suppose 20 = 3*n - 16. Let l be (-1 + 0)*(-3)/n. Suppose 4*h - 8 = -4. Which is smaller: h or l?
l
Let o be ((-67)/(-28))/((-3905)/704). Let t be ((4/(-142))/2)/5. Let f = o - t. Is f less than or equal to -1?
False
Let i = -13.06 - -13. Let s = -209 + 211.94. Let z = i - s. Is 1/2 less than or equal to z?
False
Suppose -2*x - 3*x + 5 = 0. Which is smaller: x or 2/19?
2/19
Let z(x) = -2*x**2 + x. Let w be z(3). Let i be (8/30)/((-6)/w). Let l be (8/10)/((-16)/(-40)). Which is smaller: i or l?
i
Let f(y) be the first derivative of 1/4*y**4 + 2*y + 2*y**3 - 3*y**2 + 2. Let m be f(-7). Is -5 smaller than m?
False
Let j = -0.033 + 0.033. Which is bigger: 44 or j?
44
Let q be (-8)/(-14) - 428/112. Let j = -7/2 - q. Let h be (-5)/(-7) + 2/7. Which is smaller: h or j?
j
Let x = 50 - 49.54. Is x greater than or equal to 1?
False
Let h = 5 - 5.6. Let m = h + -6.4. Let d = m + 8. Which is smaller: d or 0.2?
0.2
Let n(b) = -b**3 + 8*b**2 + 9*b - 11. Let x be n(9). Let j(w) = -w**3 + 5*w**2 + 3*w + 8. Let c be j(6). Is c != x?
True
Let j be (25/10)/(((-6)/(-4))/3). Do 5 and j have different values?
False
Suppose -3*r = -8*r. Let u be (6/44)/(6/8). Is r != u?
True
Let i be 18/(2/(-6) - -1). Suppose -x = -10*x + 90. Let y be (3/x)/(i/(-12)). Is y < 1?
True
Let j be 19/3 - (-3)/(-9). Let h = 13 - 8. Do h and j have the same value?
False
Let t(r) = -r**2 - 1. Let a be t(0). Which is greater: a or 1.1?
1.1
Let g = 14 - 10. Suppose -g*f + 2*n - 1 = 5, 0 = 2*n - 10. Let z be (0/(6/2))/2. Is f != z?
True
Let f be 1*2/(-44)*(-2 - -4). Which is smaller: f or 1?
f
Let r be (-1 - 1) + (0 - (-1 + -1)). Does -3/38 = r?
False
Let c(v) = 3*v**3 + v**2 - v. Let t be c(1). Suppose 2 = s + t. Let z be s + (-1)/(1 - 2). Is z smaller than -1/8?
False
Suppose 0*w = w. Let s be (1/(-5))/(1/(-5)). Let x be (s + w)/(1/4). Are x and 4 unequal?
False
Let l be 3/(-10)*(88/42 + -2). Which is smaller: l or 1?
l
Let z(p) = p**3 + 7*p**2 + 7*p + 9. Let g be z(-6). Suppose -g*s - 5*c = -3*c + 6, 8 = -4*s - 2*c. Which is greater: s or -3/2?
-3/2
Suppose -w - 4*x + 0*x + 18 = 0, x = 2*w. Let h(m) = -m - 2. Let u be h(w). Let b = u + 4. Is -3/5 equal to b?
False
Let x be (5 - (7 - 3))*-58. Is -58 at most x?
True
Let p = 10.9 - 12. Let n = -1 - p. Which is smaller: n or -1?
-1
Let u = 5 - 4. Let g = -0.9 + 0.5. Let q = 2.4 + g. Which is smaller: q or u?
u
Let z(i) = 3*i + 8. Let v be z(-3). Let d = 0.2 + -0.3. Which is smaller: v or d?
v
Suppose -c + 2*c = 10. Suppose -26 = z - 6*m + m, -2*m = -c. Let j be (-2)/(1*z*5). Which is smaller: 1 or j?
j
Suppose 0*c = -2*c. Suppose -3*f + 5*i = 31, -5 = -c*i - i. Do -2 and f have the same value?
True
Suppose 0 = -4*o + g - 69 - 15, -4*o + 3*g = 84. Let v = o - -21. Which is bigger: v or -5/4?
v
Let r = 8 + -10. Let t(z) be the third derivative of z**6/120 - z**5/20 + z**4/8 - z**3/6 - z**2. Let s be t(2). Which is smaller: s or r?
r
Suppose 0 = 2*w + 3*f - 45, 0 = -5*w + 2*f - 19 + 141. Let m be (w/18)/((-10)/12). Which is smaller: m or -1?
m
Let x be 3*(15/9)/(-5). Let a be (2 - (4 - 1))/(-19). Which is bigger: x or a?
a
Let z = -1964/9 - -218. Is 4 <= z?
False
Suppose -5*m - 4*x = 20, 5*x = -5*m - 0*x - 25. Suppose -b + 1 = -m. Let w = 3 - 1. Are w and b equal?
False
Let p be 4*26/(-4)*(-7)/14. Is p less than 3?
False
Let a = 99 + -93. Which is smaller: a or -3/7?
-3/7
Let j = 0.1 - 0.2. Let r = 0.6 - 0.62. Let x = 0.32 + r. Are j and x non-equal?
True
Suppose -w + 0*w = -5. Suppose r - 8 = w*m, -m - 5*r + r - 10 = 0. Are m and -1/2 equal?
False
Let i = -8 - -1. Let y(p) be the third derivative of -p**5/60 - p**4/4 + p**3 + p**2. Let w be y(i). Is w > 0?
False
Suppose -3*u = 5*z + 16, 4*u - 2*z - 4 + 8 = 0. Let p(s) = -s**3 - 2*s**2 + 1. Let n be p(u). Let r = 1179/8 - 147. Is r greater than n?
False
Suppose -4*d = -8, 0*d = -5*n - 2*d + 24. Is n < 2/7?
False
Suppose 0 = -4*h + 3*y + 3, 4*y - y + 27 = -4*h. Is h < 3?
True
Let g be (6/(-2))/(3/(-2)). Let h = -10 + 7. Let z be 2/h - 100/(-105). Is z less than g?
True
Let o = -102 + 308/3. Let m = -0.13 + -12.87. Which is smaller: o or m?
m
Let y = -0.9 - -1. Suppose -h + 10 = 3*p, -2*p + 0 - 5 = 3*h. Let s be ((-3)/12)/(h/(-16)). Which is greater: s or y?
y
Suppose 2*m + m + 6 = 0. Which is bigger: -13 or m?
m
Suppose 3*o + 295 = 2*o. Let c = 3247/11 + o. Does c = 1?
False
Let x = 0.2 - -1. Let b = x + -9.2. Is b equal to 0?
False
Let a(u) = -u + 23. Let r be a(24). Which is bigger: r or -1/6?
-1/6
Let u(z) = -z**2 - 4*z - 2. Let j be u(-3). Which is smaller: 2/161 or j?
2/161
Let t(u) = u**3 - 6*u**2 - 6*u - 5. Let x be t(7). Let r be x*2*(-1)/22. Suppose -j + 4 = 3*j. Are r and j nonequal?
True
Suppose 5*q + 82654 = 14189. Let x = 96112/7 + q. Let i = x - 37. Is 2 != i?
True
Let p be 4/6*(7 + 2). Let f(a) = a**2 - 5*a - 2. Let y be f(p). Which is smaller: y or 1?
1
Let g = 4 + 7. Suppose 1 = -2*v + 25. Is v bigger than g?
True
Let g = -12.19 + 12.1. Which is bigger: g or 0?
0
Suppose q + 4 = -3*q. Let p = q - -4. Suppose -h = 5*o - 9, -4*h - 7 = -p*o + 3. Is h != -2/13?
True
Suppose 30 = 5*g - 5*t, 3*g + t = 3*t + 15. Suppose 2*u = -6, -2*b + u - 4 = -g*u. Is -10 >= b?
False
Suppose 4*k - 3 - 9 = 0. Let v be (-3)/((4/k)/(-4)). Are 9 and v unequal?
False
Let d = 2 + -2. Suppose 2*l + 4*i - 12 = 0, -4*i + 21 = 5*l - 3*i. Suppose 4*f - 4 = l*h, 2*h + 4*f - 4 = 4*h. Is h less than d?
False
Let q(o) = -1 + 7*o + 0*o - o**2 - o**2 + o**2. Let z be q(7). Is z at least as big as 1/6?
False
Let u = -42/13 - -45/26. Suppose -11 = 3*h - c + 2*c, -4*h = -2*c - 2. Which is bigger: h or u?
u
Let h be (6/(-8) + 1)*4. Is 0 < h?
True
Let m be (-153)/12*(-5)/15. Is 3 at least m?
False
Let p = -154 - -470/3. Let l = p - 29/12. Is -1 not equal to l?
True
Let u(z) = z**3 - 8*z**2 + 6*z. Let t be u(7). Let i = 1 - t. Which is greater: 9 or i?
9
Let x = 0.98 + -16.98. Is x not equal to 2/11?
True
Let y(f) = f**3 - 8*f**2 - 17*f + 32. Let x be y(10). Are 62 and x unequal?
False
Let z(l) = -l**3 + 6*l**2 - 5*l - 1. Let j be z(5). Is j < -3?
False
Let n = -895.93 + 906. Let u = -10 + n. Let z = 0.956 + 0.044. Which is smaller: u or z?
u
Let d be -5 + ((-6)/2 - -3). Let x(h) = -h**3 - 4*h**2 + 3*h - 7. Let o be x(d). Suppose -o*a - 1 = -2*y, -6*a + 2*a + 4*y - 8 = 0. Is a equal to 3?
True
Let y(b) = 2*b**3 - 12*b**2 + b - 7. Let f be y(6). Is f at most as big as -2/7?
