 + 5. Let s be p(5). Let h be ((-2)/s)/(1/2). Is h at most as big as m?
True
Let z be (-1)/(3/(12/16)). Suppose t = -t + 2. Are z and t unequal?
True
Suppose -32 = 3*z + 5*z. Which is smaller: z or -6?
-6
Let a = -105922/91 + 1164. Which is bigger: 1 or a?
1
Let o = 9725/18 - 335551/630. Let j = 44/5 - o. Which is bigger: 2 or j?
2
Let l be (-9)/45 + 26/5. Is l less than -0.06?
False
Let l = 0.8 - 0.6. Which is smaller: -3/4 or l?
-3/4
Let v be 63/54 - 4/2. Which is smaller: -1 or v?
-1
Suppose -n = -5*n + 8. Let d be (-1 + 0 - -2) + 0. Which is smaller: n or d?
d
Let h be ((-11)/2)/(2*6/(-24)). Which is smaller: h or 10?
10
Suppose 0 = 2*p - 3*p. Do p and -3 have the same value?
False
Let x = -1 - -1.01. Let m = -4.01 + x. Is 1 smaller than m?
False
Suppose -3*f - 2*f + 15 = 0. Suppose 4*n = 5*s - 31, 3*n = 2*s - f*s + 10. Does s = 7?
True
Suppose 3*u = 4*f - 1 - 13, -3*u = -2*f + 10. Let x = u + 7. Let l = 1 + x. Are l and 7 nonequal?
True
Suppose 16 = -i - 5*m, 4*i - 4*m + 0*m = 32. Suppose -i*o + 2*u - 35 = u, -3*u = -o - 17. Which is smaller: o or -7?
o
Let k(v) = -v**3 - 8*v**2 - 2*v - 18. Let a be k(-8). Is -5/9 bigger than a?
True
Let v = -68 - -57. Is -7 equal to v?
False
Suppose 2*i - o + 6 = o, -4*o = 5*i - 30. Suppose v + v = -i. Let t(p) = -p**2 + 2*p - 2. Let n be t(1). Is v less than or equal to n?
True
Let a = -0.071 + -9.929. Which is greater: -0.1 or a?
-0.1
Let q = 8949/23 + -389. Which is smaller: 0.01 or q?
0.01
Let c(l) = l**3 + 2*l**2 + 2*l + 1. Let p be c(-1). Suppose -a + 2*a + 2*q + 4 = p, 0 = a + 5*q + 10. Let y be (2/(-8))/(12/16). Do y and a have the same value?
False
Suppose -123 = -5*p - j, 0*j + 42 = 2*p - 2*j. Let g be 4/12*p/(-10). Suppose -2*d = 0, 3*d - 1 = -z + 2*z. Which is smaller: z or g?
z
Suppose 0 = -3*p - 9. Let y be 3/p*2*1. Let h be 12/(-6) + (-8)/y. Are h and 4 nonequal?
True
Suppose -3*z - 2*z + 105 = 0. Let c = -18 + z. Which is smaller: -2 or c?
-2
Let m(q) = q**2 + 2*q. Let p be m(-2). Suppose d - 4*h + 7 = p, -5*h - 16 = -4*d - 0*h. Suppose v + d = -3*b + 4*v, 5*v = 20. Are b and 0 non-equal?
True
Let p = 72528/5 + -14583. Let w = p + 77. Which is bigger: w or 0?
0
Suppose -2*f = 3*a - 1 - 0, f = 5*a - 19. Does 16/7 = a?
False
Let g(m) = -m. Let u be g(2). Suppose 2*a = -2*a. Suppose -4*y - d = -0*d + 8, 2*y + 3*d + 4 = a. Is u != y?
False
Let o = -0.35 - -0.16. Let b = o + 0.09. Which is smaller: b or -7?
-7
Let i = -183 + 183.2. Is i at least -21?
True
Let z = 340.98 + 7.02. Let g = z - 346.01. Let d = g + 0.01. Which is greater: d or 0.2?
d
Let c(u) = 4*u - 1. Let l be c(1). Suppose -13*b = -14*b + l. Which is greater: 7 or b?
7
Let c = -10 + 5. Let x = c + 5. Is x smaller than 0.04?
True
Let o = 16 + -14. Is 4/5 equal to o?
False
Suppose 3*b = -6, 2*m + 4*b = -0*m - 6. Is -1/20 at least as big as m?
False
Let j(g) = g + 4. Let m(u) = -1. Let f(x) = j(x) - m(x). Let a be f(0). Is 5 at least a?
True
Suppose q + 27 = 5*u, 0 = -3*q - 3*u - 6 - 3. Let r be (-8)/2*(-14)/(-8). Is q at least as big as r?
True
Suppose 12 = -4*v - 4*d, -3*v = -3*d - 1 - 8. Suppose v*k = k. Is k less than or equal to 2/23?
True
Let v be 24/(-20)*10/4 + -17. Is -0.1 smaller than v?
False
Let n = 3 - 2. Let v(q) = q**3 + q**2 - 2*q + 1. Let y be v(n). Let g be (0 + 1/y)*2. Which is greater: g or 3/5?
g
Suppose q - 4 = -5. Let j be 1 + q + (4 - 2). Let i(x) = -2*x + 35. Let n be i(16). Is n smaller than j?
False
Let r be (-10)/(-12)*46/(-115). Which is greater: r or 1/37?
1/37
Suppose -2*n - j + 19 = 0, 3*j + 3 = -0. Let p be n/(-3)*(-48)/(-10). Is p not equal to -15?
True
Let q = -6 - -15. Is 9 at most as big as q?
True
Let f(n) = -5*n + 3. Let i be f(-3). Is i greater than or equal to 18?
True
Suppose 2*g - d = -36, -10 = 3*g + d + 54. Let z = -25 - g. Suppose -3*r = 4*w + 25, 0 = -0*w + 2*w + r + 11. Do z and w have the same value?
False
Let x(m) = -m**2 + 5*m - 1. Let y be x(6). Let o = -5 - y. Let l be (-12)/(-16) - 1/o. Which is smaller: 0 or l?
0
Let w be (-1)/4 - (-4060)/(-80). Which is smaller: w or -52?
-52
Let l = -1 - 0. Let f = l - -1.1. Let i = -1 - -2. Which is greater: i or f?
i
Let z(l) = -l**3 - 7*l**2 - 7*l - 3. Let s be z(-6). Let i be (-24)/(-9) - s/(-9). Are i and 3 non-equal?
False
Let s = 107 + -108. Which is smaller: s or 3/43?
s
Suppose 7198 - 1586 = 4*b. Let u = b + -14019/10. Let f = -2/5 - u. Is -2/7 greater than f?
True
Suppose 3*h = 6*h. Let q = 6 - 3. Is h less than q?
True
Let f = -275 - -1891/7. Are f and -4 unequal?
True
Let l be 6 - (13 - -2)/5. Which is smaller: l or -1?
-1
Let t = -1378 - -6854/5. Which is smaller: -8 or t?
-8
Let v = -119 + 115. Which is bigger: v or -2?
-2
Suppose 2*r - 34 = -28. Suppose 0 = 5*b - b - 16. Let p = 6 - b. Does p = r?
False
Let f(s) = s**3 + 6*s**2 - s - 6. Let q be f(-6). Let v = -33/4 - -239/28. Is v > q?
True
Suppose d = 2*z + 2, -5*z + z = 5*d - 10. Suppose -2*s - d = 4*v - 0, -v = -2*s - 12. Is v less than or equal to 0?
False
Suppose 3*d + 4 - 1 = -f, -3*d = -2*f - 15. Which is smaller: -17/3 or f?
f
Suppose -a - 3*a - 16 = 0. Is a less than 2?
True
Let f(o) = -o**2 - 2*o - 1. Let y be f(-1). Let z = -68/7 + 1142/119. Is y <= z?
False
Let j(y) = -y**2 - y + 1. Let s be j(-1). Suppose 5*k = -3*p + 6, 2*p = 5*k - 2*p + 8. Is k at least s?
False
Let w = -10 - -4. Let j = -14 - w. Let q be (-1)/(-3) - 25/3. Is j equal to q?
True
Let i be (-5)/4*1/(-5). Let z = 6.01 - 0.01. Let h = z - 5. Which is bigger: h or i?
h
Let y = -4 + 3.2. Let j = y - -6.8. Which is smaller: j or 2/7?
2/7
Let i(u) = 4*u - 1. Let d be i(1). Let h(f) = -9*f - 3. Let z be h(d). Let c be 14/z + 2/3. Are c and 1 non-equal?
True
Let x = 12 - 23. Is x at most -11?
True
Suppose 32 = -4*c - 4*x, -5*c + 9*x - 50 = 4*x. Is c > -26/3?
False
Suppose -3*x - 3 + 12 = 0. Let k = -32/3 - -11. Is x at most as big as k?
False
Let c(q) = -q**2 + 5*q + 5. Let l be c(5). Let y = 3 - l. Let i be (-5)/(-9)*3 + y. Is i >= 1?
False
Suppose 4*d + 3*n = 3*d - 1, 4*n - 4 = 0. Which is smaller: d or -6?
-6
Let f(g) = -g**3 - 3*g**2 + 7*g + 11. Let z be f(-4). Which is smaller: 2/119 or z?
z
Let s(n) = -4*n**2 + 8*n - 6. Let v(p) = p**2 - p. Let d(u) = s(u) + 3*v(u). Let k be d(4). Is k at least as big as -2/3?
False
Let h = 13 + -21. Let b be h/(-32) + 9/(-4). Which is smaller: b or -12/7?
b
Suppose -3*i - 2*x - 5 = 8, -5*x + 25 = -4*i. Let n be -2*1 + i/(-3). Which is greater: n or -1?
n
Suppose -2*s - 5 = -7*s. Which is bigger: -1/25 or s?
s
Let z = -55 - -387/7. Suppose -4*c - 20 = c. Let d be c/((-12)/(-9)) - -2. Which is bigger: d or z?
z
Suppose 0*g = -g. Let w = -10 + 9. Is g <= w?
False
Let j = -185/8 - -23. Which is smaller: j or 0.1?
j
Let k = 2 + -1.8. Let s = 20 + -17. Is k != s?
True
Let w = -49/8 - -407/56. Suppose 5*d = 3*d + 5*s - 25, 2*s - 10 = d. Is d >= w?
False
Let k be -1*((-3)/(-3) + -1). Let g(d) = d**3 + 6*d**2 - 8*d - 8. Suppose -2*j = -j + 7. Let p be g(j). Which is greater: p or k?
k
Let v = 19 + -19. Let a be (v - 16/(-5)) + -3. Which is greater: a or -4?
a
Let g(u) = u**2 - u - 3. Let s be g(-1). Is -3/4 < s?
False
Let u(q) = q**2 + 3*q + 1. Suppose 16 = -4*w - 3*o, -4*w + 8*o = 3*o - 16. Let n be u(w). Is -6/7 > n?
True
Suppose 10 - 18 = -8*g. Which is greater: 2/55 or g?
g
Let s = 467 - 476.88. Let i = s - 0.12. Which is greater: i or -0.1?
-0.1
Let h be 2/11 - (-450)/66. Suppose 9*j + 6 = h*j. Let t be j + (-1 - 2 - -5). Is -1 > t?
False
Let b = -7 + -4. Which is smaller: -13 or b?
-13
Let m be (30/20)/(1/2). Which is smaller: 1 or m?
1
Let x = -23893/45 + 4190/9. Let m = x - -65. Which is greater: m or 0?
0
Let z = 4/8179 + 14610/3574223. Let q = -485/10488 + z. Let v = -1/8 + q. Which is smaller: 0 or v?
v
Suppose 5*g = -1 - 4. Which is greater: 2/9 or g?
2/9
Let i(k) = k**3 - 8*k**2 - 8*k - 3. Let c be i(9). Which is bigger: 4 or c?
c
Let j be -2 - 1/7*-6. Let m be 789/819 + 1/3. Let x = j + m. Does 1 = x?
False
Let l(s) be the second derivative of 0 - 1/3*s**3 - 3*s - 3*s**2. Let c be l(-4). Are 2 and c unequal?
False
Let n = 1.3 + -0.5. Is n less than 0?
False
Let m = -2 - -2.2. Let p = 0.3 - m. Let g(a) = a + 20. Let t be g(-14). Which is greater: p or t?
t
Let r be 470/20*(-2)/(-1). Suppose -5*l + r = -4*b - 0*l, 0 = -3*b - 2*l - 18. Is b smaller than -4?
Tr