uppose -2*a = 3 - 27. Which is greater: a or 11?
a
Let o = 0.1 - 0.1. Let i = 126 - 3148/25. Are o and i unequal?
True
Suppose 0 = b - 3*p + 6, 0*p + 24 = 2*b + 3*p. Let c(w) = b*w - 2*w + 0*w - 3*w. Let z be c(0). Is 0 equal to z?
True
Let f be 1/((0 + -1)*1). Let k = 10 + -6. Let j = f + k. Is j bigger than 4?
False
Let w be -8*(-33)/(-129) - (-6 + 4). Let p be (-1)/3 - (-2)/6. Does w = p?
False
Let c be (-99)/81 - 4/(-18). Is c > 2?
False
Let j be (0 - -1) + (-1012)/(-2). Let g be j/(-170) - (-1)/2. Let y = g - -13/5. Which is smaller: y or 1?
y
Suppose -3*j - 10 = -h, -2*h = -5*j - 4 - 13. Which is smaller: j or -15/4?
-15/4
Let t = 0 + 4. Suppose 0 = 6*m - 4*m - t*h - 10, 0 = -3*h - 3. Suppose 3*f = 2*y - 8, 2 = m*f - 4*y + 18. Which is smaller: f or 1?
f
Let a(c) = -c**2 - 4*c - 3. Let m be a(-3). Let s be (m/2)/(8/(-8)). Is s at most 0?
True
Let g(u) = -u**2 + 3*u. Let j be g(3). Let b = 350 + -4548/13. Which is smaller: j or b?
j
Let m = -10 + 7.29. Let p = m + -0.29. Is 6 at most p?
False
Suppose -5*q = -10*q. Which is smaller: q or -5/6?
-5/6
Suppose l - 2*l - 8 = -2*a, -3*l + 4 = a. Which is smaller: l or -1/13?
-1/13
Suppose -5*i - 5 = 3*v, -3*v + 17 = -4*i - 8*v. Suppose -2*x + i = 4. Are -2 and x equal?
False
Suppose 7 - 34 = -2*g - 5*q, 2*g + 2*q - 18 = 0. Suppose g*n - 11*n + 5 = 0. Which is smaller: -4 or n?
-4
Let m(t) = -4*t - 2. Let d be m(-2). Let u(b) = -b**2 + 7*b - 4. Let y be u(d). Which is bigger: -0.2 or y?
y
Let y = 313/372 - 1/124. Does y = 0?
False
Let m(p) = -p - 10. Let c be m(-6). Let d = -3 - c. Which is greater: 0 or d?
d
Suppose -4*w - 10 = -3*o, -5*w = 2*o + 3*o + 30. Suppose -4*x - 7 = 1. Let j be (-2 + (-1)/x)*2. Is j >= o?
False
Let q be (0 + -3)*(-1 - 0). Let t(a) = 3*a + 1. Let k be t(-2). Let w = -2 - k. Is w not equal to q?
False
Let z be (-1757)/(-28) - (-2)/8. Let x be 14/z - (-19)/9. Which is greater: x or 2?
x
Let m = 20 + -35. Is -17 equal to m?
False
Let c be 9/6*-10 - -1. Let w be -3 - (-1)/(-1) - c. Is w < 11?
True
Suppose 12 - 16 = -5*f + 2*x, 0 = -3*f - 5*x + 21. Let a = -1141/5 - -229. Which is smaller: f or a?
a
Let x be (3/(-6))/(-1 + (-4)/(-6)). Which is bigger: 4 or x?
4
Suppose 3*m = 11*m + 192. Is -24 smaller than m?
False
Let z = 12 - 6. Let y be (162/(-31))/(z/976). Let p = 850 + y. Is -1 > p?
False
Let z = -0.33 + -14.67. Let y = z + 5. Is y at least 0?
False
Let v = 13 - 20. Which is smaller: 1 or v?
v
Let b = -4 + 6. Suppose -4 = -b*i - 2*f, -i + 3*f + 10 = -0*f. Let j = 4 - i. Is -3/4 bigger than j?
False
Let i(w) = -w - 3. Let b be i(-5). Suppose 0 = b*a - 4*a. Is a > -5/4?
True
Let c be (28/(-35))/(4/(-50)). Let a = -21/2 + c. Which is smaller: a or -0.07?
a
Let m be 6/(-3) - (1 - -1). Is -24/5 bigger than m?
False
Let c = 1.7 - 1. Let y = c - 0.5. Which is bigger: y or -0.1?
y
Let r = -25 + 33. Is r equal to 9?
False
Suppose -3*o - 3*o = -54. Is 7 at least o?
False
Suppose b = -3*d + 40, -b = 4*b - 5*d - 140. Which is smaller: 30 or b?
30
Let n(y) = -y**3 - 6*y**2 - y - 7. Let i be n(-6). Let z = -107/33 + 10/3. Which is smaller: i or z?
i
Let d(r) be the second derivative of -r**3/6 + 3*r. Let s be d(-2). Let t = 95/2 - 46. Is s bigger than t?
True
Let x = -36.34 - 0.66. Is x equal to 1/2?
False
Suppose 3*c = 136 + 26. Let y be 2 + -1 + c/(-50). Which is bigger: y or -1?
y
Let l be (-90)/32 + 6/2. Let s be 2/(-6)*(-12)/64. Let c = s + l. Which is greater: c or 0?
c
Suppose -2*a - 5*s + 1 = 0, -4*a - 2*s + 4 = -6. Suppose -6 = -a*r + 18. Which is greater: r or 9?
9
Let d = 5 - 7. Let n = -7 - -3. Let y be 12/(-10)*n/(-12). Which is smaller: d or y?
d
Let d(u) = u + 1. Let o be d(1). Suppose 3 = o*m + m - 2*r, r = 4*m - 4. Is -9 at least as big as m?
False
Let s(n) = 5*n**2 - n. Let z be s(1). Let i = 1.95 + -3.95. Is i at least z?
False
Let j = 31 + -33. Which is greater: -11 or j?
j
Let a(o) = o**2 + 7*o + 8. Let p be a(-6). Let z(s) = s**2 - 2. Let m(y) = -1. Let t(q) = -3*m(q) + z(q). Let r be t(-1). Is p smaller than r?
False
Suppose 2*c - 157 = -z + 5*c, 5*c + 459 = 3*z. Let q be 4/2 + z/(-72). Which is smaller: 0 or q?
q
Suppose -4*x = 19 + 5. Let b = -18 - -12. Is b < x?
False
Let o be (-35)/30 - (-1)/2. Which is greater: o or 3/10?
3/10
Suppose -13 = r + 13. Is r > -26?
False
Let p be (-30)/(-25)*(-20)/6. Let u = 4 + p. Which is greater: -2 or u?
u
Let f be (3 - (-4)/(-4)) + -3. Is f greater than 2/21?
False
Let u = -0.148 + 1.748. Which is smaller: -2/3 or u?
-2/3
Suppose 0 = 2*t - t. Let v be (-158)/18 - (-2)/2. Let a = v + 253/36. Which is smaller: a or t?
a
Let w = 367/3 + -136. Is -14 >= w?
False
Let x = 1.02 - 0.02. Let d = x - 1.3. Let j = d - -0.7. Is j at least -0.1?
True
Suppose -7*m = -3*m + s - 1116, 3*m - 860 = 5*s. Let h = 2803/10 - m. Which is greater: 1 or h?
1
Let s = 27 - 27. Let r = -2 - -6. Suppose 2*t + 2*o - 2 = s, 2*o + 17 = t + r. Is t less than or equal to -1?
False
Let l = 2/375 + -3022/4125. Which is greater: -2 or l?
l
Let a = -17 + 0. Let l be (-2)/3 + a/(-21). Is l bigger than 0?
True
Let b = 2 + 11. Let f be b/15 + (1 - 2). Which is bigger: 1 or f?
1
Let m be (-3)/8775*(-518646)/4. Let v = m - -3/650. Let d = v + -44. Which is smaller: d or 0.1?
0.1
Let i = 4.625 + 0.075. Let o = 4 - i. Let t = -0.9 - o. Which is smaller: -3/5 or t?
-3/5
Let h be (-805)/91 + (-4)/26. Let w be 16/h - (-6)/(-27). Let j be 1 + 1 + 22/(-8). Are j and w nonequal?
True
Let a be -31*(3 + -2)*-1. Suppose -5*j = a + 9. Is -9 not equal to j?
True
Let a = 9 + -8. Let k = -20610/17 + 1212. Are k and a nonequal?
True
Let c = 1/103 - 317/824. Let v(y) = 2*y + 1. Let o be v(-1). Let k be 2 - 2 - o/1. Which is bigger: k or c?
k
Suppose s = -5*u + 12, 3*s + u = 5*s - 24. Suppose s = -0*p - 4*p. Is p != -3?
False
Let d = -0.63 + 0.03. Let y = 2.2 + d. Let c = -6.4 - y. Is 1/4 less than c?
False
Let f be ((-1)/(-3178))/(-1)*482. Let y = f + 2/227. Is y greater than 0?
False
Let p = 2901/5 + -577. Which is bigger: 3 or p?
p
Suppose 0 = 2*o + 3*o + 35. Suppose -5*r = 43 - 3. Is r less than or equal to o?
True
Let i = -65/24 - -11/4. Is i less than or equal to 0?
False
Let q be (-2)/(-3)*(-30)/(-40)*-94. Is q at most -47?
True
Let x = 0.1 + 4.9. Let w = x - 6. Let t = 0.2 - 0.1. Which is greater: t or w?
t
Let l be (-274)/6 - (-8)/12. Is l not equal to -44?
True
Suppose 0 = -5*c - 4*l + 170, 0 = -c - 4*c - l + 155. Suppose h - 33 = 4*f, -5*f - c = -0*h + h. Let r be (-2)/(-7) + 2/f. Which is greater: 0.1 or r?
0.1
Let b = -16 - -17. Which is bigger: -1/7 or b?
b
Let u = -5405/303 + -50/101. Which is smaller: -17 or u?
u
Suppose 3*u - 3 = -2*a + 4, -5 = -a. Which is bigger: -3/14 or u?
-3/14
Suppose -4*t + 25 = t. Let l be t*-3*3/(-9). Suppose 6*s - s + l = 0. Is -2 bigger than s?
False
Let x be (-1)/4 - 3270/8. Let r = -12677/31 - x. Which is greater: -1 or r?
r
Let p = 168 + -679/4. Let s(q) = -q**3 - 14*q**2 + q + 18. Let a be s(-14). Let w(z) = 2*z - 9. Let v be w(a). Which is smaller: p or v?
p
Let q = -21.6 + 22. Which is smaller: q or 12?
q
Let g = 1.2 + 0.4. Let p = g + -1.8. Is 9 at most p?
False
Let a = -3 + 1. Let s = -3872442/325 + 11916. Let o = -2/325 - s. Is a less than or equal to o?
True
Let v(j) = 2*j + 21. Let d = -27 + 13. Let n be v(d). Is -6 > n?
True
Let p(f) = f**3 + 6*f**2 - 8*f - 2. Let s be p(-7). Let v = s - 4. Which is smaller: -2/15 or v?
-2/15
Let y be 132/60 + 8/10. Let m be (-1 + 10/11)*y. Is m at least 0?
False
Let t = 20 + -19. Is t equal to 0?
False
Let m = -361/35 - -75/7. Let y be (-2)/(-4) - (-36)/(-8). Let j = -4 - y. Is j not equal to m?
True
Let a = 223.8 + -224. Let k = 2/113 - 240/791. Which is bigger: a or k?
a
Let s(n) = n + 32. Let w be s(-15). Which is greater: 15 or w?
w
Suppose 0*v - 4*v + 16 = 0. Which is bigger: v or 5?
5
Let j be ((-25)/4 - 2) + (-5)/(-20). Is j at least -29/4?
False
Let v(h) be the second derivative of -h**3/6 + h**2/2 + 3*h. Let o be v(-2). Let t be (-4 - -1)/o - -3. Is t >= 1?
True
Suppose -f + 3*z - 17 = 0, z = 4*f + 14 + 32. Is -12 at most f?
True
Suppose -19*a + 17*a = 0. Which is smaller: 1/10 or a?
a
Let o = -4 - -10. Suppose 5*c + o = 1. Is -2/11 at most as big as c?
False
Let i(f) = -2*f - 11. Let h be i(-8). Suppose 15 = h*a, 4*x - 4*a - 19 = -43. Is -3/2 less than x?
False
Let n be 39/9 + 2