e same value?
False
Let m be 4/14 + (-128)/56. Let l be ((-3)/(-2))/((-12)/32). Let g be (-4)/8 - (-6)/l. Is g != m?
False
Let i(l) = l**2 + 8*l - 17. Let z be i(-10). Let p be (-4)/(48/(-20)) + 4/24. Is p != z?
True
Suppose -4*w + 2 + 120 = 2*x, -5*w = -4*x - 120. Is 29 smaller than w?
False
Let l = 0.233 - 25.233. Is -14 at least as big as l?
True
Let k = -2 + 0. Let s = 2.1 + k. Let i be (-1)/8 + -1*(-21)/40. Which is smaller: s or i?
s
Let l = -58.7 - -58.2. Suppose 5*n = -0*n - 15. Let q be 0 + ((-8)/n)/(-4). Are q and l nonequal?
True
Let y(a) = -20*a**2 - 2*a + 17. Let o be y(-3). Is o at least -156?
False
Suppose 2*d = -0*d - 6*d. Suppose 0 = -12*u + 9*u + 12. Let p(b) = b**2 - 3*b - 2. Let q be p(u). Which is smaller: d or q?
d
Suppose -25*n + 1 = -24*n. Is 4 <= n?
False
Let y = -109.96 - -110. Let v = 88 + -85. Which is smaller: v or y?
y
Suppose 0 = -4*z + 4*r + 66 + 326, -357 = -4*z - 3*r. Which is bigger: z or 91?
z
Suppose 0 = -2*y - v + 47, 4*v - 2 = 2. Let n be (4 - (y + -5))*12/7. Let r(i) = -7*i**2 - 2*i + 1. Let f be r(-2). Which is greater: f or n?
f
Let p(k) = -k**3 + 12*k**2 - 16*k - 16. Let t be p(10). Which is smaller: t or -1?
-1
Let l(u) = 5*u**3 - 28*u**2 - 11*u - 9. Let q be l(6). Which is greater: 2 or q?
2
Let m = -629/2 + 316. Let u be 11/(-2) + (-1)/(-2). Is m equal to u?
False
Let o(p) = -3*p**2 - 53*p + 21. Let n be o(-17). Which is greater: 56 or n?
56
Let v(z) = z + 10. Let s be v(9). Let g = s - 22. Is -11/5 equal to g?
False
Let w be (-2)/(-2*3/(-9)). Let d be 2/(-5)*(w + -12). Let j be ((-8)/d)/(10/15). Is j != -9/4?
True
Let v be 2/(-8)*(-480)/4680. Which is bigger: 5 or v?
5
Let c be 10/(-25) - (-2559)/(-90). Let j = -1885/66 - c. Is 0 smaller than j?
True
Let p be 178/10 - (-11)/55. Let z = p - 13. Suppose -z*x + 2*x = 3. Which is bigger: x or 0?
0
Let h = 79/36 + -21433/9756. Which is smaller: h or 1?
h
Let p = -1 + 1. Let b = -225 - -9677/43. Are p and b nonequal?
True
Suppose -j = 3*j - j. Let o be 0 + j + 2 - (-14 + 17). Are o and 7/16 non-equal?
True
Let p be (17/51)/(-1 - 38/(-56)). Which is greater: -1 or p?
-1
Let b(u) = 2*u**2 + 17*u - 17. Let o(g) = g**2 + g. Let l(j) = -b(j) + 3*o(j). Let r = 39 + -27. Let i be l(r). Which is smaller: -8 or i?
-8
Let i(o) = 5*o - o**2 + 5 - 2*o - o + 2*o. Let y be i(-5). Does -42 = y?
False
Let i be (2/(-34))/((-1045)/(-10) + 15). Which is smaller: 0 or i?
i
Let h = 703 + -805. Is h <= -307/3?
False
Let r = -1 - -3. Let s = r - 1.9. Let a = s - -0.3. Which is greater: a or -0.2?
a
Let g(w) = -w + 80. Let d be g(0). Suppose 0*n + d = -8*n. Suppose 71 = -5*m - 4*b, -51 = 6*m - m - b. Which is bigger: m or n?
n
Let s = 230 - 273. Which is smaller: s or -2?
s
Suppose -33*f + 3618 = 34*f. Which is bigger: 14 or f?
f
Let g = -44 + 36.2. Let d = g - -0.8. Let i = -9 - d. Is 1 equal to i?
False
Let m(w) = -w**3 - 2*w**2 + 4*w + 2. Let r be m(-3). Let t = 1623/14 + -116. Is t > r?
True
Suppose 4*b - 4*j = -b + 6, -j = -1. Let l = -5 + b. Let a = l - -3. Is 3 < a?
False
Let u be (3/(-4))/((-1)/24). Let w be (-1048)/(-6)*u/75. Let k = 42 - w. Which is smaller: k or -1?
-1
Let j be -1 + -3 - 12/(-6). Let f = 1 - 1. Which is bigger: j or f?
f
Let z = -9 - -13. Let n(c) = -c**2 + 3*c + 4. Let t be n(z). Suppose -4*k + 5*b + 6 = t, -13 = 3*k + 2*k + 4*b. Which is smaller: -3 or k?
-3
Let y = -476 + 479. Does -0.98 = y?
False
Suppose -3*r - 4*i + i = -24, r - 9 = -2*i. Let w be (-2)/r + (-1100)/(-1008). Let v = w - 2045/2628. Is v at most as big as -1?
False
Suppose 0*l - 6 = 2*l. Let f(g) = -g**3 - 2*g**2 + g - 4. Let m be f(l). Suppose 3*j - 5 = x - 1, -3*j = -3*x + 6. Which is smaller: m or j?
m
Let y = 77 + -77.001. Is y bigger than 0.3?
False
Let i = 227 + -209. Which is smaller: 19 or i?
i
Let s(a) = -2*a**2 + 1. Let z be s(-1). Let c = z - -1. Let w = -131/1050 - -4/75. Which is bigger: w or c?
c
Suppose 4232 = 69*k - 92*k. Is -183 > k?
True
Suppose 17*c - 19*c = -2*m + 58, 5*c - 2*m = -136. Is c greater than -180/7?
False
Suppose 1 = a, 5*a = 4*y + a + 76. Let b = 38 + y. Suppose 0 = n + o + 2, 0*o - b = -5*o. Which is greater: -5 or n?
-5
Let f = 22621/39 - 580. Is f < -2/13?
False
Suppose -2*d + 0 - 8 = 0. Let t be d/(-3)*63/84. Is 1 > t?
False
Suppose -2*o + 71 = 5*q, -2*q + 28 = -q + 5*o. Suppose -5*u = -3*m - 138, 5*m - 12 = u - 220. Let d = m + 40. Which is smaller: q or d?
d
Suppose -2*x = 4*x - 120. Let i be x/70*(-14)/(-8). Which is greater: -4/5 or i?
i
Let g = -435 + 2198/5. Is -0.1 >= g?
False
Let z = 0.19 + -0.11. Let r = z - -0.22. Let u = 0.2 - r. Which is smaller: u or 1/4?
u
Let v(w) = -w - 10. Let f be v(-14). Let s be f/(-4) + (3 - (-18)/(-14)). Which is smaller: s or 0?
0
Let v = -1.15 - -1. Let z = 0.045 + 3.655. Let l = z + -3.8. Is l <= v?
False
Let j = 169/4 + -42. Suppose -x + 30 = 4*x. Let z(y) = y**2 - 8*y + 11. Let m be z(x). Which is bigger: j or m?
j
Let f = 1/3594 - 65491/1198. Is -56 less than f?
True
Suppose 100 + 95 = -5*f. Do -241/6 and f have the same value?
False
Suppose 9 + 41 = -50*f. Is 2/377 <= f?
False
Let o = 0.14 - 0. Let h be (-13 - -13)*3/(-6). Which is greater: h or o?
o
Suppose 367 = 3*z + 2*v, 5*z - 987 = 2*v - 402. Let m = z + -1069/9. Is m at least as big as 26?
False
Suppose -113*l - 2892 = -119*l. Suppose -13 = 11*g + l. Do -44 and g have the same value?
False
Let h be (3 - 11/3)*-9. Suppose h*i = i - 2*m, 0 = 5*i + 4*m. Do 2/13 and i have the same value?
False
Suppose -14 = 8*z - 6. Let x = z - -51. Is x at most as big as 50?
True
Let y = -19 - -35. Suppose 8 + y = 3*q. Suppose -q*x = -9*x. Which is smaller: -1/4 or x?
-1/4
Suppose 5*l - 1 = 4. Let k be 1/(2/(-4)*l). Let y = 7748 + -85234/11. Is k smaller than y?
True
Suppose -4*p + 15 = -17*f + 12*f, -p - 5*f = 15. Which is greater: p or 29/72?
29/72
Let p(x) = x**2 - 4*x + 3. Suppose -4*q = -4*j - 20, 3*q + j + 3 - 2 = 0. Let s = 2 + q. Let v be p(s). Which is greater: 2/5 or v?
2/5
Let s = 55 + -50. Suppose -4*w + 6 = w - d, s*w = -5*d + 30. Which is smaller: 6/11 or w?
6/11
Suppose -4*o + 5*c + 27 = 0, 0 = 5*o - o + c - 9. Let b be (o/9)/((-5)/(-180)). Suppose b = -z + 33. Which is smaller: -0.1 or z?
-0.1
Let x = -151.78 + 152. Is x > 0.2?
True
Let m(b) be the first derivative of 2*b**2 + 40*b + 33. Let c be m(6). Are 63 and c unequal?
True
Let s be 245/1170 - 2/13. Let a = -4723/9 - -524. Let m = s - a. Are 0 and m nonequal?
True
Let s be (66/(-10))/((-12)/(-120)). Which is bigger: -57 or s?
-57
Let f(h) = -h**3 - 5*h**2 + 8*h + 12. Let t be f(-8). Which is smaller: t or 141?
t
Suppose 0 = 2*t - 79 - 163. Is t equal to 121?
True
Suppose 2*h - 4 + 10 = 0. Let d(x) = 4*x - 1 + 4*x - 2*x**2 + 3*x**2 - 5*x. Let u be d(h). Is u bigger than -17?
True
Suppose 2*s + 2 = 10. Suppose 5*f = 2*y - 24 + 4, 2*y = -3*f + s. Let r(i) = -4*i + 119. Let m be r(30). Which is smaller: m or f?
f
Suppose 12 + 3 = 3*g. Let q be (-134)/(-1407) + 10*(-4)/(-21). Which is bigger: g or q?
g
Let c = 275 - 279. Which is smaller: 0.09 or c?
c
Let o = 69 - 43. Let k = 26 - o. Let f be (-11)/9 + 1/1. Are k and f unequal?
True
Suppose 2*b - 6 = 5*b. Let o be (4/(-110))/(b/10). Let m be (-323)/(-247) + (-60)/195. Is m at most as big as o?
False
Suppose -g + 6*g - 20 = 0. Suppose -g*l = -0*l - 24. Suppose -2*m + h = -0 - 3, 0 = 5*m - 2*h - l. Are m and -1/11 non-equal?
True
Let x = 26 - 24. Suppose -h - 2 = x*u, 1 + 1 = u. Is h at most as big as -5?
True
Suppose 33*o + 400 = -7*o. Let t = 157/4 + -39. Which is greater: t or o?
t
Let x be (12/45)/((-2)/5). Let f = -36 - -36. Suppose f = -2*k - k. Is x equal to k?
False
Let m(w) = -w - 13. Let j be m(-13). Are j and 1/14 nonequal?
True
Let g be (-249)/18 - 2/12. Let x be 4/(-6)*63/g. Suppose 10 + 8 = x*v - 3*c, 0 = -5*v + c + 22. Which is bigger: v or 6?
6
Suppose 5*n - 30 = -5*h, -3*n - 2*h + 10 = -2*n. Suppose 7*m - 125 = 2*m. Let i = 179/7 - m. Which is smaller: i or n?
i
Suppose 5*b + 2985 = -10*a + 5*a, -5*b + 25 = 0. Is -603 less than or equal to a?
True
Let x be (-7 + 248/40)/((-18)/885). Which is greater: x or 38?
x
Let p = -304 - -312. Which is bigger: p or 0?
p
Let c be -26*-1*(-4 + 3). Let k = 24 + c. Let u be ((-15)/(-25))/(k/2). Which is smaller: 0 or u?
u
Suppose 4*g - 12 + 112 = 0. Let f = g + 49. Let j be 3/(f/(-22)) - -3. 