r u?
u
Let p = -1.3 + -0.3. Let a = -1 - p. Let r = 1.6 - a. Is 1 <= r?
True
Suppose 0 = r - 5*h + h, -2*r + 13 = 5*h. Suppose 3*m = r*m + 1. Which is greater: 1/4 or m?
1/4
Suppose 0 = 5*n - 29 - 16. Let r be ((-2)/5)/(-7 + n). Which is greater: r or -1/2?
r
Let n = 3 - 6. Let v(o) = o**2 - 4*o + 3. Let r be v(2). Let z be r/(-13)*(-6)/n. Is 0 less than or equal to z?
True
Let p be 3/15 - 30/25. Is p < -0.5?
True
Let r(h) = h**2 - h - 2. Let b be r(2). Are b and 0 unequal?
False
Suppose g + 4 = 2. Which is greater: -1/2 or g?
-1/2
Let b = 0.8 - 3.8. Let k = -10 - b. Which is bigger: 1/3 or k?
1/3
Let z(m) = m + 15. Let f be z(-20). Is -6 at least as big as f?
False
Let p(f) = 3*f**2 + 8*f - 3. Let x(j) = -j**2 - j. Let c(s) = p(s) + 6*x(s). Let v be c(-5). Let y = -437/5 - v. Are y and 0 equal?
False
Suppose -2*i - 2 = 2*q + q, 5*q - 5*i + 20 = 0. Is q less than -11/5?
False
Let c = 0.14 - -0.26. Is c at most as big as 1?
True
Let r = -3 - -3.5. Let g = -0.29 + 0.19. Is r != g?
True
Let t = 6.7 - 8. Let j = 0.3 + t. Let m = -0.8 - j. Is m != 0?
True
Let g(z) = -3 + 0*z**3 + z**2 - 2*z + 2*z**3 - z**3 - z. Let q be g(-2). Which is smaller: q or 1?
q
Let k = -1 - -5. Suppose -37 = 3*p - k*n, 3*n - 5 = p - 2*n. Let q be ((-3)/p)/(6/(-15)). Is q bigger than -0.1?
False
Suppose -4 = -g + 4*d + 4, g + 2 = -d. Let w = 0 + g. Suppose w = 4*z - z. Do 1 and z have different values?
True
Let v = 0.1 + -0.2. Let i = 3 + -3.5. Let x = i - 2.5. Is v at least x?
True
Let y(q) = 2*q - 8. Let b be y(6). Suppose -4*z + z + 2*h = -15, -3*z = -4*h - 21. Which is bigger: z or b?
b
Let k(p) = p**3 - 37. Let y be k(0). Let r = -11 - y. Suppose -4*n - 5*m = -11 - r, 0 = 3*n - m - 4. Does 3 = n?
True
Suppose 3*t + 5*y = -80, -t - 5*y - 36 = -8*y. Which is bigger: -31 or t?
t
Let p be 3/(-2) + 4 + -1. Suppose -3*x + 9 = -0*x. Which is bigger: x or p?
x
Let v = -1 - 0. Let o = -175/6 + 29. Which is bigger: v or o?
o
Let n = 48 + -239/5. Do 3/5 and n have the same value?
False
Let s be 6*86/(-20) - 1. Let t = s + 2288/85. Suppose -2*a - 1 = -5*g - a, 5*g = 2*a - 3. Is t not equal to g?
True
Let h = -87 - -111. Which is smaller: h or 0.1?
0.1
Let x = 3 - 4. Let d be (x + 1)/(-1 + 2). Which is bigger: -3 or d?
d
Let i(z) = z**2 - 11*z - 8 + 2*z - 2*z**2. Let v be i(-8). Suppose 5*w = -v + 5. Is w at least as big as 1/2?
True
Let i(w) = w + 2. Let k = -3 - -2. Let u be i(k). Is 2 at most u?
False
Suppose -d - d = -v + 14, -v = d + 4. Let i = d - -6. Are i and -0.7 unequal?
True
Let j = 16 + -23. Is -5 smaller than j?
False
Let s(x) = -7*x - 16. Let y(h) = 10*h + 24. Let d(n) = 7*s(n) + 5*y(n). Let k be d(-8). Let m(t) = -t - 4. Let g be m(-5). Is g >= k?
True
Let w be ((-1 - 2) + 4)/(-1). Which is smaller: w or 10?
w
Let b(t) = -4*t - 10. Let g be b(-7). Let z = g + -11. Which is smaller: 8 or z?
z
Let a = -2 - 1. Suppose -3*d + 8 + 19 = 0. Let k be 0*3/d - 2. Which is smaller: a or k?
a
Let i = -12.8 - 2.2. Let p = i + 22. Which is greater: -1/3 or p?
p
Suppose -25 = -5*a - 5*g, -6*a + a + 28 = 2*g. Suppose 0 = -t - 2*t - a. Which is bigger: -3 or t?
t
Suppose 3*d = -d - 24. Let i = d + 10. Let o = i + -5. Which is bigger: o or 2/9?
2/9
Let i(b) = -b**3 + 4*b**2 - 2*b + 5. Suppose 2*p = -p + 12. Let t be i(p). Let w(q) = -2*q - 3. Let g be w(t). Is 3 bigger than g?
False
Let k be 1/13 - (12 + -13). Which is smaller: k or 1?
1
Suppose -3*m = -2*m. Suppose -n + 2*n + 3 = m. Suppose 5*k + 5*f = -15, -k - 2*k - 5 = f. Which is greater: n or k?
k
Suppose 3*b - 4*a = -a + 3, -16 = -4*b - 2*a. Is 2 smaller than b?
True
Suppose w = -2*z - 9, -4*z + 3*z - 6 = w. Let u be (3 - 9 - w)*1. Are u and -2 equal?
False
Suppose 12 = 3*b + 48. Let a = -16 + 4. Is b > a?
False
Let c = -142 + -76. Let u = c - -1523/7. Which is smaller: u or -1/3?
u
Let i be (52/(-20))/((-3)/(-436)). Let q = i + 378. Which is greater: q or 0?
q
Let i be (11 + 1)*33/(-6). Let g be (-3)/(-4) + i/120. Which is greater: 0 or g?
g
Suppose -4 = -c - 2. Let l be (-3)/c + (-6 - -8). Let w = 5 - 3. Which is bigger: w or l?
w
Let o = -0.069 + -0.331. Which is smaller: o or 1/2?
o
Suppose 14 = -k + 2*k. Suppose -16 = 5*b + k. Let n be 3*-2*1/b. Is n greater than or equal to 0?
True
Let g(l) = -l**3 - 3*l**2 + 3*l - 5. Let c be g(-4). Is c less than 1/4?
True
Let u = -1/116392 + 14199979/18040760. Let v = -2/155 - u. Is -1 at least as big as v?
False
Suppose -4*d + 2*d + 18 = 0. Let m = -14 + d. Let a(s) = s - 11. Let b be a(7). Is m >= b?
False
Suppose -4*x - 23 = h - 60, 2*h = 10. Which is bigger: 7 or x?
x
Suppose 0*p - b - 6 = 3*p, 0 = -p + 4*b + 11. Is -0.87 < p?
False
Let x = 8 + -13. Let f(t) = t**3 + 4*t**2 - 6*t. Let z be f(x). Is 5 < z?
False
Suppose 5*c + 5 = -5*k, 4 = -0*k + 2*k + 5*c. Suppose v = 5*r - 16, -4*r + 30 = 18. Which is smaller: v or k?
k
Let k(j) = 3*j**3 + j**2 + j. Let w be k(-1). Which is greater: w or -1?
-1
Suppose 2*x = 5*f - 128, -3*f - 3*x + 36 = -f. Is f equal to 23?
False
Let l = -2.95 + -0.05. Let o = 3.6 + l. Let y = o + 0.4. Does y = -2/5?
False
Let f be (11/(-9) + 1)/25. Is 1 >= f?
True
Let x be (6/15)/(6/(-10)). Let w be (-5)/(-25) + (-220)/(-150). Which is smaller: w or x?
x
Let z = 3/350 + -2/25. Which is bigger: -1 or z?
z
Let p be 938/70 - 4/10. Is p at most 13?
True
Let h = -6 + 4. Let q = 7.5 - -0.3. Let f = q + -8. Which is smaller: h or f?
h
Let d = -8 + 5. Let h = 12 - 9. Suppose 2*f + 9 = -3*c + 1, -h*c + f = 14. Which is smaller: c or d?
c
Suppose -x = 3*m - 19, 2*x - 2*m + 2 = -0. Let j be (12 - 8/x) + 3. Is j > 13?
False
Let b = 36 - 36. Which is greater: -1/5 or b?
b
Let f = 2 + 6. Let z be (-4)/10*(-20)/f. Which is bigger: z or -4/9?
z
Let v be (3 + 2 + -2)*2/(-111). Which is bigger: 0 or v?
0
Let q be (-3)/9*(-9)/(-15). Is 1 at most q?
False
Let l = -61 - -88. Let i = 22.1 - l. Let o = -5 - i. Which is smaller: o or 4?
o
Let c(j) = j + 4. Let f be c(-5). Let g be 3*1 + (-26)/8. Is f <= g?
True
Let i be 2/5 - (-234)/15. Suppose -i = 2*p + 4*b, 3*p + 3*b = 2*b - 19. Let n(g) = -g**3 - 5*g**2 + 8*g + 9. Let s be n(p). Which is smaller: -2 or s?
s
Let i = 1.9 + -2. Let u = 0 - 1. Let f = u + 1. Is i greater than f?
False
Let i = 5 + -5.4. Let t = 0.2 - 0.3. Do t and i have different values?
True
Let c be 68/20 - 4/10. Suppose -c = -3*h - 0. Does h = -1/17?
False
Let s = 2 + -4. Let d(p) = -3*p**2 - 2*p + 1. Let j be d(s). Is -7 < j?
False
Let t = 5 + -6. Let q = 3 + t. Let a(v) = -v**3 + 4*v**2 - 2*v - 2. Let g be a(q). Is 3 > g?
True
Suppose -t - 2*t = 6. Let b = t - 3. Let n(p) = p + 5. Let u be n(b). Is 1/2 less than u?
False
Let u = -1/634 + 7615/4438. Is u greater than 0.1?
True
Let b = 2 + -2. Let y be b/(-1) - -2 - 2. Which is greater: y or -0.2?
y
Suppose 26 = 3*w - 2*w - 4*t, 3*t = w - 22. Let n be ((-21)/(-35))/((-2)/w). Which is bigger: 1 or n?
1
Let y be (-1 - (-3 + 2))/2. Is 2/25 at least as big as y?
True
Let g(q) = 2*q**2 + 4*q + 3. Let a be g(-2). Suppose 0*c = -3*c - a. Let x = 2 + c. Which is smaller: 2 or x?
x
Let n = 102 + -104. Are -14/17 and n non-equal?
True
Let n be (1 + 0 + -1)/(-1). Suppose -2*p + 0*p = n. Suppose 2*c = -2*l - 2*c + 6, l + 4*c - 7 = 0. Is p at most as big as l?
False
Let v = -28 - -21. Is -2/5 smaller than v?
False
Let c be 0 + 0 - 0 - -6. Let a be ((-15)/12)/((-2)/8). Is c < a?
False
Let u = -19349/42 - -2603/6. Let d = u - -27. Are d and 0 non-equal?
True
Suppose -4*b + 2*b = -6. Let h be (-1 + b + -2)/(-2). Which is bigger: h or 2?
2
Let n be 3/(-2)*32/(-48). Is n less than -2/29?
False
Let q = 11 + -11. Let h be q/(-15)*(1 + 0). Is h equal to 3/7?
False
Let r(x) = -x**2 + 8*x. Let h be r(5). Is 14 at most h?
True
Let m = 0 + 0. Let c be (-5 + -1)*111/27. Let p = c - -24. Which is bigger: p or m?
m
Let a = -60 - -54.7. Let b = 8 + -13. Let v = b - a. Is v at least as big as 0.1?
True
Suppose -m + 5*f = 7, -5*m + 3 + 14 = f. Let d(v) = 4*v + 16. Let x(q) = q. Let o(l) = -d(l) + 3*x(l). Let u be o(-15). Is u greater than or equal to m?
False
Let m be 2/4*(2 - 2). Suppose 0*i = -2*i + 92. Let w = i - 323/7. Is m at least w?
True
Let m(j) = -j**3 + 8*j**2 + 2*j + 4. Let i(d) = -3*d**3 + 17*d**2 + 5*d + 8. Let s = 3 + -8. Let y(z) = s*m(z) + 2*i(z). Let c be y(-6). Are c and -3 non-equal?
True
Let q be (14/(-3))/(6/9). Let a(