 + 3*g, -3*u - 4*g = 38. Is u smaller than m?
False
Let h be -1 - 43 - (10 - 6). Is -143/3 bigger than h?
True
Let z be 170/15 - 8/(-12). Which is smaller: z or 11?
11
Let g(m) = -26*m + 1. Let r be g(1). Let x = -15 - r. Let l be 0/1 - x/15. Is 0 at most l?
False
Let y(g) = g**3 + 4*g**2 + 4. Let n be y(-4). Suppose -2*w + 2*j + 0*j = -6, -2*w + n*j + 6 = 0. Which is smaller: 4 or w?
w
Let v be (-15)/6 - 3/(-3). Which is greater: -2/17 or v?
-2/17
Suppose 0 = -5*i + 5*l + 20, i + 6*l = l + 28. Suppose -u = 2 + 1. Let d = u + i. Which is greater: d or 4?
d
Let n = 90/19 - 331/114. Which is greater: n or 1?
n
Let u = 79/5 + -83/5. Do u and -1 have different values?
True
Suppose -5*r - 20 = -5*h, 4*r + 21 = 4*h - r. Which is greater: 0.2 or h?
0.2
Suppose -2*p = 2*s, 3*p - 14 = -0*s + 4*s. Let j be s/(3 + -1)*1. Which is smaller: j or 2/7?
j
Let p be 1 - 0 - 4/6. Let x(g) = g**2 + 11*g + 11. Let l = -20 - -10. Let n be x(l). Is n >= p?
True
Let z be ((-2)/6)/((-7)/6). Let h(d) = 3*d + 27. Let n be h(-9). Which is smaller: n or z?
n
Let b = -8 - -7.8. Which is smaller: b or 18?
b
Let p be ((-3383)/238)/((-2)/12). Suppose -3*x + 340 = x. Let v = p - x. Is v less than or equal to -0.2?
False
Let w be 4 + 0 - (-8 + 22). Which is smaller: -11 or w?
-11
Suppose -5 = 5*k - 5*l, -2*k - 3 = 2*l - 17. Suppose 6 = u + w, k*u - u - 3*w + 13 = 0. Which is smaller: u or 2/9?
2/9
Suppose 13*r = -44 + 187. Which is smaller: r or 8?
8
Let s = 9 - 4. Let g be ((-8)/(-20))/(11/s). Suppose -6*f = -2*f. Which is bigger: f or g?
g
Let c be -1 - ((-231)/75 - -2). Let v = c + 94/75. Is v smaller than 2?
True
Let n be (36/(-90))/(12/10). Is n at least as big as 0.4?
False
Let i = 56 + -58. Let o = 28 - 20. Let t = o + -6. Which is smaller: i or t?
i
Let s = -2/1103 + 19876/12133. Let g = s + -65/33. Is 1 at least as big as g?
True
Let q(g) = g**2 + 6*g - 3. Let n be q(-8). Let f = 23 + -11. Is n less than f?
False
Let y = 19 - 21.4. Let k = -3 - y. Let i = k - -2.6. Which is bigger: 2/7 or i?
i
Let u = 8 + -3. Let w(q) = 2*q - 4. Let b be w(9). Let o = b - 10. Does u = o?
False
Suppose -12*w + 42 = 54. Let c be 3/(-1) - (1 + -1). Are c and w non-equal?
True
Suppose -5*p - 5 = 0, 2*p + 2 = 2*h - 2. Let s(b) = b**3 + 17*b**2 + 30*b + 5. Let u be s(-15). Is u at least h?
True
Let f = -1.3 + 1.5. Which is greater: f or 3/2?
3/2
Let a = -3125/168 + 127/7. Let h = a - -1/8. Which is smaller: 1 or h?
h
Let b = 1.43 + 0.47. Let v = -2 + b. Which is smaller: 1 or v?
v
Let n = 0 + 3. Suppose 4*c + 0*c = n*z - 26, -2*c = z + 8. Is 0.1 at least as big as z?
False
Let v be 1/(0 - (1 - 0)). Which is smaller: 0 or v?
v
Let q = 0.3 - 0.3. Which is greater: -1 or q?
q
Let g(q) = -q**2 - 2*q + 2. Let u be g(3). Let b be (u + -2)*(0 + 1). Let l be b/44 - (-2)/8. Which is smaller: 1 or l?
l
Let l(w) be the third derivative of -w**6/720 + w**5/24 - w**4/12 + 3*w**2. Let h(c) be the second derivative of l(c). Let f be h(7). Is -3 not equal to f?
True
Suppose 2*o - 2 - 4 = 0. Is o smaller than -3?
False
Let d = -40 + -192. Let i be (-4828)/(-21) - 2/(-1). Let m = d + i. Are m and -1 nonequal?
True
Suppose 2*b + 1 = 1. Which is greater: b or 17?
17
Let j(a) be the first derivative of -11*a**4/4 + a**3/3 + a**2/2 + 9. Let o be j(-1). Let w be (-2 - -3)/(-1) - -11. Is w at least as big as o?
False
Suppose 114 = -3*d + 138. Is -2 at least as big as d?
False
Let d(p) = p - 12. Let o be d(11). Let w be (o/(-2))/(4/(-8)). Is w greater than -1?
False
Let v = -4 + -1. Let t = 8 + v. Let w = -1 + t. Is 1/4 less than or equal to w?
True
Let h(v) = v**2 - 12*v + 20. Let p be h(10). Is -25 <= p?
True
Let z = -4 - -7. Suppose -4*i = -z*y + 8*y - 15, -5*y + 2*i - 15 = 0. Let q = 3 + -2. Which is smaller: q or y?
y
Suppose 0 = -a - 1. Let g = -408/1045 + -2/209. Which is smaller: g or a?
a
Let y = 0.05 - 4.05. Which is smaller: y or 1?
y
Let h = -10 - -6. Are -2 and h non-equal?
True
Let i = -168623/5325 - 2/5325. Let u = 32 + i. Is u smaller than -1?
False
Let v be (-90)/24 - (-1 + 2 - 5). Is 0.019 bigger than v?
False
Let j be (-6)/(-21) - (-248)/14. Let y be (12/j)/(2/3). Let x be 2/9 - 2/9. Which is greater: x or y?
y
Let b = 0 - -3. Suppose 0 = g - b*f - 12, 4 = 2*g - 4*f - 10. Let i = g - -2. Are i and -1 equal?
True
Suppose 4*u = 16, 2*h + u - 3*u + 8 = 0. Suppose d = -j, -j + 4 = 3*d - d. Let p be j/14*10/(-50). Is p >= h?
True
Let n = 2.99 - -0.01. Let v(d) = d**3 - 10*d**2 + 10*d - 9. Let k be v(9). Suppose 3*h + 3 + k = 0. Which is smaller: n or h?
h
Suppose 217 + 101 = -3*b. Let s = b - -427/4. Which is greater: 0 or s?
s
Let u(r) = -r**3 + 3*r**2 + 8*r + 9. Let b be u(5). Which is smaller: -2/29 or b?
b
Suppose -3*t = -h + 39, 5*t - 3*h - 2 = -67. Which is bigger: -14 or t?
t
Let i(x) = x**3 - x**2 - 2*x - 4. Let f be i(3). Suppose 0 = -2*m + 3*m - 10. Which is smaller: m or f?
f
Let p = 95.6 + -107. Let z = p + 11. Is z != 0.2?
True
Let c = -2 + 8. Let m be c/(12/32*-2). Do m and -7 have different values?
True
Let p be (-1180)/16*1*4. Let r = -86731 + 1131336/13. Let t = p + r. Which is greater: 1 or t?
1
Let d be (-4)/(-14) - ((-40)/(-14))/(-4). Which is smaller: d or -6?
-6
Let g = -19 - -75/4. Let k = 39 - 38. Are k and g non-equal?
True
Let n = 10.8 - 1.8. Let d = -3 + n. Is d > -1?
True
Suppose 4*i = 3*i + 5. Suppose 3*z - 31 = -i*s, z - 10 = 6*z - 4*s. Suppose -19 = -3*a - 2*n, 3*a - 3*n = 1 - 7. Is a at most as big as z?
False
Let c(p) = -2*p - 3. Let g be c(-2). Suppose r = -g + 2. Let u be 0 + (r/(-2) - -2). Is u not equal to 1?
True
Let i = 0.36 + -0.26. Is 15 at least i?
True
Let g = 13.2 + -13.2. Is 5 smaller than g?
False
Let m = -148 + 141.3. Is 1 <= m?
False
Let i = -12 + 12.06. Let n = 0.16 - i. Is n <= -0.3?
False
Suppose -5*g = 4*t - 84, -3*g = -t - t + 20. Is t smaller than 14?
False
Let h be (1 - (-108)/(-51)) + 1. Which is smaller: h or 1?
h
Let n be (0 - 1)*(-3)/(-9). Let g = 3 - 5. Let a = 1 + g. Which is greater: a or n?
n
Suppose -2*x = 3*o - 7, -3*o + 0 = 4*x - 11. Suppose 3*b + b - 12 = 0. Is o >= b?
False
Let l = -1 + -27. Is -28 greater than or equal to l?
True
Suppose 0 = -3*v - 16 + 130. Let k = 151/4 - v. Which is smaller: -4/3 or k?
-4/3
Let x = 12987111733/78351 - 45234850/273. Let s = 4/18081 - x. Let f = -60 - s. Which is greater: 1 or f?
1
Let k be (-1)/((-1)/(-15)*-1). Let o(t) = t - 5. Let m be o(5). Which is bigger: m or k?
k
Let j = -1.6 + 2. Let z = -0.3 + j. Which is smaller: 1/4 or z?
z
Suppose -4*w + 5*p = -41, 4*w - 2*w - 2*p = 18. Let c be (w/30)/((-2)/(-10)). Is c greater than 1?
False
Let n(j) = j - 19. Let k be n(9). Are -13 and k unequal?
True
Let b(p) = p**2 - 2*p - 2. Let n be b(-5). Suppose -29*r - 4 = -n*r. Is -2 < r?
True
Let i be (-5)/(-2) - (0 - -1). Suppose -3*p + 2*p - 2 = 0. Let w = p - -4. Which is bigger: i or w?
w
Let h be (14/70)/(118/5). Are h and -2/5 non-equal?
True
Let l be (2 - (-15)/(-5))*(-10)/(-165). Suppose 0 = -2*n - 0*n. Are n and l non-equal?
True
Let a(v) = v**2 - 28*v + 48. Let t be a(26). Suppose 4*j - 12 = 3*c + c, 2*c = -5*j + 8. Let z be (c - -7)*t/(-20). Which is smaller: 0 or z?
0
Let t be 1 - (-1 - -2) - -2. Let l be (-2)/(-6) - t/6. Let u = 3 + -4. Is u less than or equal to l?
True
Suppose 0 = r + 3*r - 12. Suppose 0 = -3*t + 5*v + 38, r*t + 4*v - 51 = -2*t. Let f = -8 + t. Is f equal to 3?
True
Suppose 4*x = 7 + 1. Suppose 2*m + k + 6 = 4*k, -x*k = m + 10. Let z be (-2)/m - (-8)/12. Is 1 >= z?
True
Let b = 0 - 2. Let f = 1.9 + b. Let i = 0 + -0.2. Are f and i equal?
False
Let s be 2/(-3) + 49/42. Is s greater than 2?
False
Let s = -8 - -6. Let f = -4 - s. Let p(x) = -x**3 - x**2 - 3. Let k be p(0). Which is bigger: f or k?
f
Let f = 2.6 + -4.6. Which is smaller: f or -8?
-8
Let f = 75/332 - -2/83. Are f and 1.2 non-equal?
True
Let p = 28 - 29. Which is smaller: 14 or p?
p
Let s(b) = 4*b + 16. Let n be s(-3). Is 1 less than or equal to n?
True
Let c be 29/5 - 11/(-55). Is c != -1.2?
True
Let i = -80623 + 7659272/95. Let r = -6/19 + i. Do r and 1 have the same value?
False
Let z = -3 - 1. Let s = z - -4. Is 2/7 equal to s?
False
Suppose 0 = 4*i - i. Let s be -7 + 2 + i + 2. Suppose -2*g = -0 + 8. Do s and g have different values?
True
Let z = 10.4 + -10.3. Which is greater: z or 99?
99
Suppose 3*l - 4 = 