 g - 17. Suppose -v*h = -5*u - 6 - 9, 2*h = -3*u - 14. Which is smaller: -5 or u?
-5
Let b = 11 - 6. Suppose b = 2*h + 3*o, 4*o + 16 = 3*h - 0*h. Let m = -17/4 + 4. Which is greater: m or h?
h
Let h(a) = a**2 + 3*a - 10. Let q be h(-5). Let i be (30/(-9))/(-1 + 5). Which is smaller: i or q?
i
Suppose 0 = 3*u - 2*u. Suppose 2*g + 3*g - 25 = u. Suppose j = -2*o + g, 4*o + 4 = j - 1. Is 0 not equal to j?
True
Let m be ((-9)/6 + 0)*-6. Suppose -m*q = -7*q + 10. Is -4 at least as big as q?
True
Suppose -4*b = -2*v - 98, 0 = 5*b - 3*b - 6. Let h = v + 171/4. Is h at most 1?
True
Let l(n) = 2*n**2 + 10*n. Let u be l(-5). Is 9/13 not equal to u?
True
Let r(p) = 2*p - 10. Let g be r(8). Suppose -2 - g = -n. Let f = n - 7. Which is smaller: f or 2/3?
2/3
Let r be 50/6 + 30/45. Which is smaller: r or 8?
8
Let i = 6 + -3. Suppose 0 = -4*b - 4*w + 20, 2*b - 4*b = i*w - 11. Suppose 3*r - 2*a = 17, b*r - r = 4*a + 19. Is 4 at least r?
False
Let l be 2*(-2)/(-2) - 5. Let k be -5 + 1 - (1 + -2). Is k < l?
False
Let m = 0.41 + -0.01. Let z be (1/(-2))/(1/1). Which is bigger: m or z?
m
Let y(f) = -f**2 - 2*f. Let l be y(-2). Let s be (7 + -5)/((-4)/10). Let o be 28/(-10) + (-3 - s). Which is smaller: o or l?
o
Let l = -1 + -2. Let c = l + 3. Is c greater than or equal to -5?
True
Let n(x) = -3*x**2 + 4*x + 2. Let k(y) = 2*y**2 - 3*y - 1. Let s(l) = -4*k(l) - 3*n(l). Let g be s(2). Suppose 0 = q + q - g. Does q = 0?
False
Let r be (1 - 1) + (-9)/(-144). Is 1 less than r?
False
Let x(t) = 8*t**3 + t - 1. Let w be x(1). Let n be 2 - w*2/4. Let p = 1 + n. Is p < -1?
False
Let s be -8 + (2 + -6 - -2). Is s smaller than -10?
False
Let l = -1.4 - -1.52. Let c = 0.02 - l. Is 1/9 at most c?
False
Let x = -39 + 39. Is 2/11 greater than x?
True
Let u = 3.9 + -5.9. Is -7 bigger than u?
False
Suppose -4*h - 1 = -3*h. Let k be (-7)/4 - 7/28. Let i = h - k. Which is smaller: i or 0?
0
Let p be 4/(-71)*16/32. Let w = p + 160/639. Is -2/15 less than or equal to w?
True
Suppose 0 = -0*l - 5*l. Suppose 0 = d + 4*d - 10. Suppose l = d*n - n - 1. Which is smaller: 2/7 or n?
2/7
Let z = 12 - 24. Let k be ((-2)/(-36))/((-3)/z). Is k bigger than -2/7?
True
Let z(a) = a**3 - 2*a**2 + a. Let c be z(1). Let b be 7/77*(-6)/(-47). Let f = -8/47 - b. Which is smaller: f or c?
f
Let r = -0.06 - 0.04. Let s = r + -2.9. Let v = s - -3. Which is smaller: -1/10 or v?
-1/10
Let b = -0.949 - -1. Which is greater: b or 0.1?
0.1
Suppose -18*o = -8*o + 150. Do o and -12 have the same value?
False
Let n be ((-16)/(-5))/(1/5). Is n at most 16?
True
Let z be (-2)/(-2) + (-2 - -1). Suppose -2*w + 2*y = -2*y + 16, -4*w + 2*y - 2 = 0. Suppose w = 2*l - 0. Is l < z?
False
Let w(g) = 3*g**2 + g. Let i = 13 + -12. Let a be w(i). Which is smaller: 2 or a?
2
Let j(o) = o**2 + 2*o**2 + o + 2 - o**2. Let q be j(-1). Which is smaller: 4 or q?
q
Let l = 11 - 13. Which is bigger: l or 1/3?
1/3
Let j = 21 + -31. Let r be (-26)/j*(-2)/(-6). Let h = 59/120 - r. Is h at most 1?
True
Suppose -4*j + 34 = -2*m, -3*j + m = -m - 25. Suppose 0*g - 3*g + j = 0. Let c be ((-24)/(-21))/((-4)/(-14)). Is g < c?
True
Let u(b) = 2*b - 8. Let c be u(6). Are 2 and c non-equal?
True
Let x be 1 - 0/1 - -1. Suppose 0 = -x*c + 3*c. Suppose 0 = 5*s - 2*s - 3. Is s at most as big as c?
False
Let m(n) = 2*n - 10. Let u be m(5). Is 2/51 less than or equal to u?
False
Let h = -111 - -117. Is 11 at most as big as h?
False
Suppose 2 = -5*q - 3*y, -3*y + 2*y = 4*q + 3. Which is bigger: 1/4 or q?
1/4
Let w = -2/167 - -179/1002. Which is greater: w or -1?
w
Let j = -3302/11 + 300. Suppose -4*w = -f + 2, 0 = -4*w + 4*f - 5 - 3. Is j at most w?
True
Let p(h) = 20*h - 1. Suppose -4*x - 17 = l, -l - 2*x = l + 10. Let k be p(l). Let c = -37/2 - k. Which is smaller: 4 or c?
c
Let v be (0 + -2)/(256/124 + -2). Which is smaller: v or 1?
v
Suppose u + 0 - 2 = 0. Suppose 4*k = 2*q - 3*q + 11, 22 = 5*k + 4*q. Are u and k equal?
True
Let b = -37609/2765 - -1/553. Suppose -9 = -3*k, -o + 3*o = k - 31. Let w = o - b. Is w < -0.4?
False
Let m = -0.22 - 0.78. Which is bigger: m or 0.05?
0.05
Let h = 3.1 - 11.5. Let a = h + 9. Do a and 1 have the same value?
False
Let j be 20/6 + 4/6. Suppose j*p = 4*a + 16, 3*p + 4 = -4*a + 4*p. Let c = -6/25 + -13/50. Is c at most as big as a?
True
Let p = -1/27 + -11/27. Let t = 123 + -123. Is t at least p?
True
Suppose -3*z + 8 - 41 = 0. Let w = z + 12. Which is smaller: 3/2 or w?
w
Let k be (-6)/44*(-12)/9. Which is greater: k or 0?
k
Let l(z) = 2*z + 10. Let v be l(14). Let x be -7*1*(-1 + -1). Let i be v/x + 10/35. Which is greater: 4 or i?
4
Let t = 81 + -82.84. Let b = 0.16 - t. Let z = 0.1 - 0.1. Which is smaller: b or z?
z
Let k(s) = -2*s + 2. Let p be k(-4). Suppose v - 4*a - p = 0, -4*a + 2 = 4*v - a. Let r be 0*(v - (1 - -2)). Are -0.5 and r nonequal?
True
Let b(k) = -k**3 - 8*k**2 - 7*k. Let d be b(-7). Let s be (-50)/154 + (-6)/(-33). Let w = s + -3/28. Is d <= w?
False
Let w be 10/2*26/(-5). Let j be (2/(-3))/(w/(-6)). Is j not equal to 1?
True
Suppose 0 = 4*k - 4 - 20. Let c be 1/k + (-125)/30. Is c not equal to -4?
False
Let x(u) = -6*u**2 - 35*u. Let n be x(-5). Which is smaller: n or 24?
24
Let z(m) = 3*m**2 + 2*m + 1. Let u(p) = -2*p**2 - 3*p. Let l(x) = -4*u(x) - 3*z(x). Let f be l(2). Let g be (-2 - -4)*(-2)/f. Which is greater: -2 or g?
g
Suppose 0 = 5*d - 3*g, 4*d = -d - 5*g + 40. Let t(k) = k + 7. Let s be t(-5). Suppose s*n - 3*q = 2*q + 33, n + 16 = -4*q. Which is smaller: n or d?
d
Let c(w) = w**3 + 17*w**2 - 37*w + 16. Let f be c(-19). Are f and -2 unequal?
True
Let i = -3 + 2.6. Is i at most as big as -1?
False
Let w be (-7 - -9) + -1 + (-1)/(-2). Which is smaller: 0.08 or w?
0.08
Suppose 0 = 3*k + 2*j - 12, k + 7 + 0 = 3*j. Suppose 3 = 4*c - 3*c. Is c less than or equal to k?
False
Let h be (0/(-1))/(2*-1). Let w be (14/63)/(((-16)/6)/4). Is h at least as big as w?
True
Let q be (-78)/(-21) - (1 - -2). Which is smaller: 2 or q?
q
Let j = -14 - -16. Is j less than -1/9?
False
Let s(f) = f + 6. Let u be s(-7). Is u at most as big as -2?
False
Suppose 2*s - 186 = -s. Let k be ((-2)/s)/(1/(-2)). Is 1 less than or equal to k?
False
Suppose -4*n + 8 = -2*n. Let m = -17 + 20. Suppose m*o + n - 10 = 0. Which is smaller: -0.1 or o?
-0.1
Let u = 1 - 1. Suppose 4*o = -o + 15. Let g be (o + -1 - 3)/(-1). Which is smaller: u or g?
u
Let q be (-2)/4 + 21/50. Let c = 44 + -44. Is c less than q?
False
Let k(p) = p**3 + 6*p**2 - 5*p + 2. Let s be k(-7). Which is bigger: -15 or s?
s
Let t be 2/(-3) - 7/(-9). Suppose -5*p + 12 = -p. Suppose 0 = 3*l + p*v, 2*l = 4*v + v. Which is greater: t or l?
t
Let l = 0.1 - 0.1. Let u = l - -2. Let h = 16.61 + -15.61. Which is greater: h or u?
u
Let y = -499/1870 + -1/170. Which is smaller: y or 0?
y
Let y(d) = d**3 + d**2 - d + 3. Let q be y(0). Suppose 2 = c + 4*x + 10, -q*c - 5*x = 17. Do c and -3 have the same value?
False
Let d = 2 + -2. Let c be 2 + 22/(-8) + d. Let m = 35 - 34. Is m less than or equal to c?
False
Suppose 4*n - 3*h + 0 + 3 = 0, -2*n - 1 = -h. Let f = 180 - 1978/11. Is f bigger than n?
True
Let y = 9.2 - 9. Which is smaller: -3 or y?
-3
Suppose -2*l = l - 6. Suppose 3*d - 15 = -3*o, l*o = 2*d + 2*d - 8. Suppose q - 6*q = -o*a + 11, 5*q = -4*a - 23. Is -3 at least as big as q?
True
Let x = 0.2 - -0.1. Let o = -0.5 + x. Let a = -3 - -2. Is o < a?
False
Let d(c) = c**3 + 22*c**2 - 3*c - 66. Let j be d(-22). Let m be 2/7 - 96/238. Is j bigger than m?
True
Suppose 2*p - 7*p = -c + 19, -2*c - 6 = p. Is c greater than or equal to -1/74?
False
Suppose 0 = 3*m + 3*j + 12, j = -2*m - 1 - 3. Are -3/86 and m equal?
False
Let u(y) = 4*y**2 - y - 2. Let f be u(-3). Suppose 3*g - 193 = -f. Let m be (6/g)/(9/12). Which is greater: 1 or m?
1
Let z be (2/(-8))/(1/(-2)). Suppose -10 = v - y, 5 - 1 = 2*y. Let q be 0/(-1)*(-4)/v. Which is smaller: z or q?
q
Suppose 1 = 3*l + 10. Let s be ((-20)/15)/((-2)/l). Is s < -3?
False
Let w be (1/(-3))/((-1)/6). Let z be 1*8*1/w. Suppose -2 = -v + 3. Which is smaller: v or z?
z
Let a = 9 - 20. Let j = 11.2 + a. Do -2/11 and j have the same value?
False
Let i = 10.17 + -0.17. Let a = 7 - i. Let n = -5 - a. Which is greater: n or 1?
1
Let s be 12/200*52 + -3. Is 1 bigger than s?
True
Suppose 0 = 9*i - 20 + 110. Are i and -9 equal?
False
