 be (b + 7)/((-3)/2). Are y and 5 equal?
False
Suppose 0 = 4*s + 5*u, -s - u + 2 - 1 = 0. Is s >= 5?
True
Let v be 6/(-1) + 1/1. Let z(m) = m**2 - 11*m + 7. Let l be z(10). Which is smaller: v or l?
v
Let x = -3956/9 + 440. Which is bigger: 0.6 or x?
0.6
Let j(v) be the third derivative of -v**5/60 + v**4/3 - 5*v**3/3 - 8*v**2. Let o be j(7). Which is greater: o or -4?
o
Suppose -10 = 3*y + 2. Let c be ((-2)/y)/(7/14). Is c greater than 1/13?
True
Let n = 10 - 16. Let z = n + 5. Is -4/7 not equal to z?
True
Let w = 14.09 - 0.09. Let c = -13.8 + w. Is 0.03 at most c?
True
Let q(x) = -x**3 - 5*x**2 - 5*x - 25. Let w be q(-5). Is 1/125 < w?
False
Suppose 4*b = -43 + 15. Suppose -2*x = 9 + 5. Do x and b have the same value?
True
Let l = 0.08 - 0.23. Which is smaller: l or -1?
-1
Let o be 144/(-10) + 4/10. Let y = o + 13. Which is smaller: y or -3?
-3
Let k = -2891/11 + 263. Suppose -4*i - i = 0. Suppose -4*h + 4 = -i. Which is bigger: h or k?
h
Let f = -0.2 + 0.2. Let y = -5.02 - -0.02. Let s = 3 + y. Which is smaller: f or s?
s
Suppose 4*v - 2*v = 0. Suppose 3*b + 26 + 10 = v. Is b at most as big as -13?
False
Let k = -86 + 256/3. Suppose 5*b = 4*s + 2, -5 = 2*b + 2*b - s. Is b at most k?
True
Suppose g - 5*f + 0*f = 30, 3*f = g - 22. Let s = 9 - g. Are -1 and s non-equal?
False
Let c be 12/3 - (-19)/(-5). Which is smaller: -1 or c?
-1
Let l be 1 + -1 - (22 + -1). Let y = -12/221 + 42319/1989. Let a = l + y. Is -1 at least a?
False
Let t = -374/1131 - -2/87. Are -1 and t unequal?
True
Let o = -130 + 100. Is o greater than or equal to 0?
False
Suppose -3*o + 7 - 28 = 0. Is -6 != o?
True
Let j = 486 - 10204/21. Is -1 at most j?
True
Let m = 147 + -148. Which is bigger: -1/17 or m?
-1/17
Let f = -43/10 - -19/5. Are f and 8 unequal?
True
Let a = -1.3 + 0.2. Let t = a - -0.1. Let w = 1 - t. Is 1 equal to w?
False
Let u be (-1344)/(-1962) + 6/(-9). Is 0 != u?
True
Let j = 2 + -1. Let w be 28/(-14)*4/1. Let h be (9/w)/(-9 + 12). Which is smaller: h or j?
h
Suppose 0*t = 5*x + 3*t + 175, 2*t + 142 = -4*x. Is x <= -37?
True
Let v = 7 + -11. Let q be ((-22)/6)/((-2)/6). Suppose 3*z = -0*z + s - q, 0 = z + 3*s + 17. Are z and v nonequal?
True
Let u be (-879)/2235 + 6/15. Is u not equal to -1?
True
Let v = 12162/11 - 1106. Let b(u) = u**2 + 3*u - 5. Let f be b(-4). Which is smaller: f or v?
f
Suppose -5*k + 6 = -2*k. Is k at least as big as -6?
True
Suppose -9 = 2*v - 5*v. Suppose 4*f - b = 28, 2*f - 7 = f - v*b. Is f greater than 6?
True
Let a(u) = -u**2 - 6*u - 4. Let n be a(-6). Let y be (-2)/6 - n/(-6). Let m(v) = 4*v**2 + v. Let i be m(y). Is i at most as big as 0.1?
False
Let n(f) = -2*f - 7. Let x be n(-5). Let a be ((-3)/(-6))/(x/60). Let l = a - 9. Which is smaller: l or 0?
0
Let k = 137 - 1373/10. Let l be (-2)/10*(-1 - -2). Let f = k + l. Are f and -2 equal?
False
Let w = -10/37 - -2527/9213. Which is bigger: 0 or w?
w
Let n be ((-2)/(-7))/(2/4). Suppose -a = -5*a + 4. Suppose 0 = -x + a. Which is smaller: x or n?
n
Let b be (-12)/(-80)*-4 - (-14)/10. Is b bigger than -3/5?
True
Suppose -6*v + 15 = -v, -2*g = 3*v - 3. Let a(k) = k**2 - 2*k - 3 + 0 + 3*k. Let d be a(0). Is d < g?
False
Let n(o) = -2*o**2 - 4 + 4 + o. Let k be n(1). Which is greater: 1/13 or k?
1/13
Let t(h) = h + 4. Let d be -2*(45/6)/3. Let z be t(d). Let s be ((-18)/12)/((-39)/4). Which is bigger: z or s?
s
Let b be 2/(-4)*-3*2. Let k = -43 + 46. Is b <= k?
True
Let g be (3/4 + 0)*8. Suppose -2*k + g = 2*j, -2*k + 11 + 3 = 4*j. Which is smaller: -1/4 or k?
k
Let f = 0.04 + -2.04. Suppose 14*s = 13*s + 1. Which is smaller: s or f?
f
Let h = -252 + 1256/5. Do h and -2 have different values?
True
Let s be 11/1 - (3 - 2). Let v be (-6)/(-5)*s/(-3). Let x be 2/v*(-3 + 3). Which is smaller: x or 2?
x
Let a be 30/26 + 2/(-2). Let h = -71 - -72. Is a greater than h?
False
Let z be (6/(-3))/(-24)*4. Which is smaller: 1 or z?
z
Let f(z) = -z**3 + 2*z**2 + 2*z + 4. Let p be f(3). Let d be (2 + -2)*(0 - p). Are d and 2/7 nonequal?
True
Suppose 0 = -11*l + 10*l + 15. Is 0.2 < l?
True
Let z be (-8)/(-20) - (-138)/(-195). Which is smaller: z or -1?
-1
Suppose -7*r + 10*r - 5 = h, 5*r - 23 = -2*h. Are r and 14 nonequal?
True
Let j = 49 + -14. Suppose 2*w + 0*i - 25 = 3*i, 0 = -3*w + 4*i + j. Which is bigger: w or 4?
w
Let h = 0 + 2. Let c = 11 - 21. Let a be 15/c*(-2)/3. Is h less than a?
False
Let h = -19 - -13. Is h less than -8?
False
Let h = 0.008 - -0.992. Which is smaller: h or -65?
-65
Let y(n) = -n - 11. Let d be y(-11). Let w = 0 + d. Let b be (-1)/(-2 - (-10)/8). Do w and b have the same value?
False
Let l be (-1 + -45)*1/44. Let p = l - -28/11. Do 2 and p have the same value?
False
Let h be 6*6/24*34/3. Is 18 at least as big as h?
True
Let c = -85/6 - -44/3. Is c at least as big as -62?
True
Let c be 10/(-25) - 182/(-180). Let u = 1/9 - c. Is u < 0?
True
Let p(q) = -q**3 + 15*q**2 - 2. Let a be p(15). Which is bigger: a or -4/3?
-4/3
Let y = -191/52 - 15/26. Which is smaller: 1/5 or y?
y
Let c be (-6)/(-2)*165/9. Let o = 493/9 - c. Is 0 not equal to o?
True
Let i = -5 + 5. Suppose -4*x + 5 - 29 = i. Is x less than -5?
True
Suppose -g - 4 = 0, -4*g + g - 12 = 5*d. Suppose d = -11*c + 6*c. Which is smaller: 3 or c?
c
Let p = 2 + 3. Let z = -6 + p. Is z at least as big as 1?
False
Let g(q) = q**2 + 1. Let i(v) = v**2 - 7*v - 11. Let w be i(8). Let u be g(w). Let s be u/(-24) + (-4)/(-6). Is s bigger than 1?
False
Let v(a) = -29*a**3 + a**2 - 3*a + 8. Let m be v(6). Let h be m/(-12012) - 6/9. Let d = -1/154 + h. Which is smaller: d or 1?
d
Let x = 45 + -45. Let t be (-72)/(-2) - 2/2. Let n be (-1)/t + (-4)/10. Which is smaller: n or x?
n
Let d be (1 - -1)/((-1650)/180). Which is bigger: d or -1?
d
Let h be (9/(-6))/(2/(-4)). Suppose 12 = 5*l - h. Suppose -5*k + 2*x = -20, -l*k + x - 3*x = -12. Do k and 3 have different values?
True
Let k = -0.06 - 0.04. Let s = 3 - 3. Which is smaller: k or s?
k
Let x(d) = d. Let f(t) = t**2 - 10*t - 2. Let q be f(11). Let c be 2/3 - (-3)/q. Let o be x(c). Which is smaller: o or 0.2?
0.2
Suppose 4*m - 30 = -6. Suppose 4*l + u - m = -0*l, 2*l = -3*u + 8. Which is greater: l or -1/10?
l
Let p = -6/415 + 1196/25315. Let r = p + 53/244. Is r at most as big as 0?
False
Let k = 11 + -9. Do -0.1 and k have different values?
True
Let r be ((-6)/4)/((-16)/32). Suppose -4 = 3*v - 8*v + 4*q, -5*v = -5*q. Let c be (-1 + 2)/(2/v). Does c = r?
False
Let r = -0.923 + -0.077. Which is smaller: 16 or r?
r
Suppose 27 = -2*f + 3*f. Suppose f = 5*u + 2. Suppose 4*x + 20 = -4*q, -q + u = 3*x + 12. Is x at most -1?
True
Let f = -12/71 - -466/1917. Which is smaller: f or 0?
0
Suppose 0 = -0*f + f - 36. Which is smaller: -0.1 or f?
-0.1
Suppose 0 = -2*l - 4 + 2. Let v = 0 + l. Let t be 1*v + 3/(-3). Is -2 smaller than t?
False
Let v = 33 + -30. Suppose -y - v*y - 52 = 0. Are y and 0 nonequal?
True
Let v be ((-6)/(-4))/((-4)/(-16)). Let p be (2/v)/((-40)/(-6)). Is p at most 0?
False
Let o = -107/203 - -7/29. Is o bigger than 3/2?
False
Let t = 1957/45 + -332/9. Which is smaller: 6 or t?
6
Suppose -4*f - 2 = 10. Suppose 3*o - 3*b + 15 = 0, 0 = 4*o + b - 2*b + 14. Is f less than o?
False
Suppose -3*i + 6 = i + s, -3*i + 4*s = 5. Which is greater: -1/5 or i?
i
Suppose -18 = 15*i - 3. Suppose -5*b - 12 = -2. Which is smaller: b or i?
b
Let b be (-2)/18 - (-24)/216. Is b >= 4/27?
False
Suppose 0 = -4*y - 2*r - 0*r - 20, -2*y - 14 = 3*r. Which is greater: -7 or y?
y
Let v be 40/(-18) - (-8)/36. Are 1 and v nonequal?
True
Let r = -13/3 - -140/33. Which is bigger: r or 0?
0
Let p(j) = -j**2 - 7*j + 10. Let q be p(-8). Suppose q = -4*y + 2*z - 4*z, -5*y - 1 = z. Let m be 1/(1/(-2) - y). Which is smaller: m or -3?
-3
Let l be (-44)/3*(6 - 45/6). Is l less than or equal to 20?
False
Let k(p) = p + 1. Let a be k(1). Let g be (1/a)/((-2)/(-4)). Let h = 6/95 - 5/19. Does g = h?
False
Suppose -12 = 3*r + 3*a - 5*a, -a + 1 = r. Let m be ((-2)/(-33))/(r/(-3)). Is m at least 1?
False
Let n be (-1)/(-3) + (109/12)/(-1). Which is bigger: -9 or n?
n
Suppose 0 = 9*t - 49 - 59. Is t bigger than 14?
False
Let d be (-3 + 9)*3/6. Suppose 5*l + a - 16 = 0, 0 = -3*a - 0 + 3. Is l smaller than d?
False
Let y be -9 + (-3 + 3 - -1). Let i be (-15)/20 - (-2)/y. Does i = 0?
False
Let z(p) = -p - 8. Let k be