) = r*h(t) + v(t). Let z be u(0). Is z less than -2?
False
Let k = 1009/29953 - 3/389. Let n = 148/231 + k. Let d = -5 - -4. Is n less than d?
False
Let m = 3 + -5. Let g(x) = -4*x - 1. Let b = -11 - -12. Let n be g(b). Which is smaller: m or n?
n
Let n = -0.015 + -0.585. Which is bigger: n or -0.1?
-0.1
Let o = 163 - 162.94. Which is greater: -0.3 or o?
o
Suppose -6 = 2*y + 2*h, 3*h - 4 = y - 5. Is y less than or equal to -14/9?
True
Suppose 0 = -t + 6*t - 15. Let h = -9 + 5. Let m = 5 + h. Which is smaller: m or t?
m
Suppose k + 2 = -o, 3*k - 5*o = -k + 1. Which is bigger: 2/375 or k?
2/375
Let b = -21219 + 187042/9. Let z(o) = 2*o**2 - 7*o - 22. Let m be z(17). Let s = b + m. Are s and 0 non-equal?
True
Let v(s) = 2*s**3 + 2*s**2 + s - 4. Let k be v(3). Is 70 < k?
True
Let y(s) = s - 8. Let k be y(8). Suppose k = -0*x + x - 5. Suppose 12 + 8 = x*l. Which is smaller: l or 3?
3
Suppose -4*o + 3*j - 23 = 4, -o - j - 5 = 0. Let p = o + 4. Let x be 0 - p/(-4)*0. Which is greater: -2/27 or x?
x
Let v = -132 + 92. Are v and -40 equal?
True
Let c(s) = -s**3 + 4*s**2 + s - 4. Let k be c(4). Let l be 0/((-2*8)/4). Do k and l have different values?
False
Let x be ((-96)/84)/(6/1). Is 0 at most x?
False
Let c = 3 - -5. Let o = c + -8. Which is smaller: o or -1/11?
-1/11
Let b = -2 - 5. Let l(k) = k**3 - 15*k**2 + 14*k - 7. Let j(o) = -o**3 + o + 14. Let g be j(0). Let n be l(g). Is b < n?
False
Let s = 28 + -27.7. Which is bigger: 0.8 or s?
0.8
Suppose -9 = o + 3*m, -5*o - 5*m = 3 + 2. Let a be 16/64 - 82/(-24). Which is smaller: o or a?
o
Let g be 8/12 - 1/6. Let l(z) = z**2 + 6*z - 10. Let u be l(-8). Suppose -4*y - 4*v + 3*v = -u, 4 = 5*y + 3*v. Are y and g non-equal?
True
Let b be ((-7)/(280/(-36)))/((-15)/25). Let o = -23 + 24.8. Let a = -0.2 - o. Are a and b nonequal?
True
Let q = -12 - -17. Which is smaller: 0.2 or q?
0.2
Let a = 18 - 17.91. Let d = 0.29 - a. Is d at most as big as 6/13?
True
Suppose 0 = 2*z - y + 3, 4*z + 7*y = 2*y + 29. Let i be (-2)/(-4) - (-10)/(-15). Which is smaller: i or z?
i
Let l(o) = o**2 + 19*o - 40. Let z be l(-15). Is z greater than or equal to -99?
False
Let t = 63 + -84. Which is bigger: -23 or t?
t
Let o(m) = -6*m - 5. Let h(f) = 5*f + 4. Let r(l) = 5*h(l) + 4*o(l). Let s be r(0). Suppose s*v = -4*v. Is 2/9 > v?
True
Suppose 2*d = -4*w + 22, -3*d + d = -10. Suppose 0 = 2*c + 4*l - 8, 2*l - 10 = -4*c - w*l. Which is greater: -2/3 or c?
c
Let q = -0.8 + -7.2. Let z = q - -13. Which is smaller: z or -0.2?
-0.2
Suppose 2*a - 143 = 45. Let k = a - 18. Let q = k - 528/7. Do q and 0 have the same value?
False
Let l(j) = -j**3 - 6*j**2 + 6*j - 10. Let f be l(-7). Which is greater: f or -2?
-2
Let v = -1415/3 - -467. Let o(b) = b. Let u be o(-4). Are u and v non-equal?
True
Let a = -0.11 - 0.29. Let s = a - -0.3. Do s and 4 have the same value?
False
Let j(h) = 4*h**2 - 7*h - 12. Let a be j(-2). Which is smaller: 17 or a?
17
Let d be ((-16)/60)/(((-4)/6)/(-1)). Which is greater: -0.1 or d?
-0.1
Let x(k) = k - 6. Let h be x(0). Let b(z) = z**2 + 5*z - 5. Let d be b(h). Which is smaller: d or 5/4?
d
Let y = 12179/364 + -233/7. Let j = y - -1/13. Let g = -3 - -2. Is g not equal to j?
True
Let c(i) = 2*i - 1. Let w be c(1). Suppose y - 3*q - w = 9, 0 = 4*y - 4*q - 8. Let r = -1 - y. Is -2/11 less than r?
True
Let x be (-3 - 0)/(-3)*0. Let u = 1 + -1/2. Which is greater: x or u?
u
Let n(x) = x**3 - 7*x**2 - 8*x + 8. Let u be n(8). Which is greater: 6 or u?
u
Suppose 6*c - 4*h = 2*c + 8, -4*c + 6 = -2*h. Let v be (-1 + 1)/(-4 + c). Let y = 0.5 + 0. Which is greater: y or v?
y
Suppose 132*o + 248 = 128*o. Is -63 less than o?
True
Suppose 3*q - 20 + 68 = 0. Let h = -61/4 - q. Do 1 and h have the same value?
False
Let a = -0.4 + -0.8. Which is smaller: 0 or a?
a
Let v = -101/3 + 35. Which is smaller: v or 2?
v
Let n = -0.12 - -0.05. Let g = 0.23 - n. Let q = g - 0.5. Which is bigger: q or 1?
1
Let a = 2.9 - 3. Let r = a - -0.2. Suppose -1 = y - 2*j, -5*j - 5 = -16*y + 12*y. Is r bigger than y?
False
Let s(y) = -y**2 - y + 1. Let z be s(1). Let q = z - -1. Let o be (-10)/(-8) + (-6)/8. Which is bigger: q or o?
o
Let p be 4/8 + (-3746)/(-28). Let o = -134 + p. Is o less than 2/7?
False
Let a be -2*2/8*10. Let m(j) = -j**3 - 5*j**2 - 2*j - 2. Let b be m(a). Suppose b*o + 2*d - 37 = 3*o, -5 = -o + 2*d. Which is smaller: 8 or o?
o
Suppose 2 = -2*z + 4. Let x = 15 - -2. Let b = x - 15. Which is bigger: z or b?
b
Let d = -1963/7 - -280. Is d smaller than 1?
True
Suppose 0*c + 2*c = 2. Let k be (-93)/204 + 6/8. Let x = -18/119 + k. Which is smaller: c or x?
x
Let m be 2/(-2*(-27)/6). Let p = -4 + 4. Does p = m?
False
Let v = 1094/2793 + -20/57. Which is bigger: 0 or v?
v
Let z = 53 + -78.4. Let i = -25 - z. Is i greater than 2?
False
Let d be (-905)/(-12) - (-2)/(-8). Let y(i) = 4*i**2 - 8*i + 15. Let l be y(5). Let j = l - d. Which is smaller: -1 or j?
-1
Let r(n) = -10*n**2 - 21*n - 21. Let h(c) = -7*c**2 - 14*c - 14. Let w(q) = -7*h(q) + 5*r(q). Let s be w(-6). Is -5/8 > s?
True
Let y(p) = -p**2 - 4*p - 3. Let v be y(-3). Let a = 1/3 - -1/3. Do a and v have different values?
True
Suppose -g = 4*w - 3*g - 4, -3*g - 2 = -4*w. Let j be (w/7)/((-2)/19). Let q = j - -17/7. Which is bigger: -0.1 or q?
-0.1
Let z(l) = -l + 4. Let k(s) = 1. Let t(n) = -6*k(n) + z(n). Let g be t(4). Suppose 6 = -3*q, -13 = 3*f + 4*q + 13. Is g at most as big as f?
True
Let s(q) = q**2 - 11*q + 4. Let j be s(10). Let d be (-1 - -2)/(2/j). Is d less than 0?
True
Let j be 16/72 + 40/(-18). Is 0.4 less than or equal to j?
False
Let z = 3.5 - -0.5. Let y = -1 + z. Does -2/3 = y?
False
Let s = 0.27 + -0.22. Is s > 0?
True
Suppose 5 = -3*w + 2. Which is greater: w or 1/7?
1/7
Let f = 1.46 - -20.74. Let o = f - 22. Which is smaller: o or -1?
-1
Let b = -0.6 - -0.61. Let n = 3.01 - b. Let f = 2 - n. Which is smaller: f or -1/4?
f
Let l = -4 - 1. Let t be 0 - ((-135)/(-12))/l. Is 1 less than or equal to t?
True
Let v be -3 + (-1)/7 - -4. Which is smaller: 0 or v?
0
Suppose 3*r - 20 = 4*o, r = -4*r + 2*o + 24. Let z(x) = -x**3 + 5*x**2 - 5*x + 4. Let m be z(r). Suppose -5*p = 3*t, 6*p - 2*p + 2*t = 0. Is p < m?
False
Let r = 6/1081 + -1897/147016. Let l = 277/680 + r. Is 4/7 at least l?
True
Let n(j) = -j + 12. Let s be n(11). Is s less than 2/59?
False
Let k(l) be the second derivative of -5/12*l**4 + 0 - 1/6*l**3 - 1/20*l**5 - 3*l**2 - l. Let q be k(-5). Is q at most -4/5?
True
Let r = -565 - -1715/3. Which is smaller: r or 7?
r
Let g(j) = 2*j**3 + 8*j**2 + 2*j - 4. Let u be g(-6). Let w = u + 1118/7. Which is bigger: 1/5 or w?
1/5
Let u be (-4)/(-12) - (-4)/(-3). Let k = u - 1. Let b = 0 + -0.1. Which is greater: k or b?
b
Let c = 0 - -0.3. Let r = 12 - 10. Which is greater: c or r?
r
Let o = -239/6 + 81/2. Suppose 0*y = -4*y + 4. Are o and y nonequal?
True
Let f = 23 + -47/2. Suppose 0 = -4*u + 2*u. Suppose u = 4*g - 9*g - 5. Which is bigger: g or f?
f
Let t = -13 + 115/9. Let x(w) = -w**3 - 3*w**2 + 4*w + 5. Let v be x(-4). Suppose 0 = 5*q - 0*q + v, 4*u + 1 = -5*q. Which is smaller: t or u?
t
Let k(i) = -i**3 - 3*i**2 + 3. Suppose 0 = -2*f - 4*z + 14, 0*z - 2*z - 5 = 5*f. Let t be k(f). Suppose 24 = 6*a + 6. Is a at most t?
True
Let t(i) = i**3 - 2*i**2 + 1. Let v be t(2). Which is greater: 1/16 or v?
v
Let o = -0.125 + 0.125. Which is smaller: -0.1 or o?
-0.1
Suppose g - 5*g = 0. Suppose -y - 4*y - 65 = g. Which is smaller: -12 or y?
y
Suppose 5*a = c + 6, -2*a + 7 = 3*c + 25. Let l = 4 + c. Let b be l/8 + 4/16. Which is bigger: b or -3/13?
b
Let o be 3 + 99/(-36) + (-83)/(-4). Is o equal to 21?
True
Let v(d) = 2*d**3 + 39*d**2 + 17*d - 38. Let q be v(-19). Suppose -5*t + 13 = -2*w, -5*w - 5*t - 1 = 14. Let b be (-2)/(6/w*-3). Which is greater: b or q?
q
Suppose 0*h = 2*h - 4*a + 6, 4*a - 1 = 3*h. Suppose h*x - 3*x = 0. Let l(q) = -q + 7. Let k be l(6). Is k <= x?
False
Let i be (-3)/4*(-40)/15. Are i and 4 unequal?
True
Let p = -25 - -24.16. Let f = 0.16 - p. Suppose 0 = -b + 6*b. Do f and b have different values?
True
Let y(d) = -2*d**3 + 2*d**2 + 2*d - 1. Let i be y(2). Let t(a) = -8*a**3 - a**2 + 1. Let w be t(-1). Let q = w - 14. Is q smaller than i?
True
Let y = 0.21 + -0.01. Let a = 0.8 + y. Which is bigger: 0 or a?
a
Suppose s - 6*s = 2*k + 25, -5*s - 