 -13 or s?
s
Let x be 4*3*(-2)/(-9). Let h be ((-3)/(-1))/(-10 + 11). Which is smaller: x or h?
x
Let p be (21 - 28)/(7 + -1). Which is bigger: 0.1 or p?
0.1
Let g = -808/2259 - 80428/1366695. Let t = g + 2/121. Which is bigger: 0 or t?
0
Let f = -0.74 + 0.84. Which is bigger: f or -60?
f
Let m = -1.6 + 1.8. Which is greater: 1/4 or m?
1/4
Let o = 2 + -2.1. Let l = o + -0.9. Which is smaller: 0.2 or l?
l
Suppose 3*i + 11 = 4*l + 6*i, -3*l + i = 8. Is 7 <= l?
False
Let d be 10/(-15) + (-17)/(-3). Let r(x) = x - 1. Let u be r(4). Suppose -4*g - o + 12 = u*o, 25 = d*o. Are -4 and g unequal?
True
Let l = 1286136/7 - 184508. Let a = l - -772. Which is greater: -1 or a?
-1
Let t = 2 - 0. Let b = 2 - t. Let k = -2 + b. Which is smaller: k or 1/3?
k
Suppose 3*y - 2*j - 2 = 0, 0 = 2*y - 4*y + j. Which is smaller: 0 or y?
y
Let v = -2513/4 - -625. Is -4 smaller than v?
True
Let d(o) = o - 9. Let k be d(11). Which is smaller: k or -1?
-1
Suppose -t + 2*t = 4. Let k be (-3)/(-2)*t/6. Is k at least as big as 2?
False
Suppose -9 = 5*x - 34. Let v be x/(-2)*4/(-5). Suppose 0 = -v*j - 0*j. Which is bigger: -5/4 or j?
j
Let c = 0.6 - 0.4. Let p = c + -0.2. Let k be ((-1)/5)/(4/10). Are p and k equal?
False
Let l be 98/4 - (-11)/22. Suppose -69 = -2*r - l. Let b be (-8)/52 - r/26. Is b >= -1/4?
False
Let l(i) = -i**2 + 7*i + 1. Let n be l(7). Which is bigger: n or 5/17?
n
Suppose 96 = 8*f + 32. Suppose 0 = -9*u + f*u - 1. Which is smaller: u or -2/49?
u
Let k(y) = 2*y**2 - 4*y + 2. Let h be k(2). Let u = 248248 - 47166983/190. Let g = u - -3/38. Do h and g have the same value?
False
Let p = -487/5 - -98. Let m(o) = -o**3 - o**2 + o. Let w be m(-2). Is p at most w?
True
Let k = 88 - 2991/34. Which is smaller: 1 or k?
k
Let p = -348 - -3137/9. Which is smaller: p or 2?
p
Suppose -g + 44 = -5*r + 2*r, r + 5 = 0. Suppose -g = 2*n - 3*l - 10, -3*l + 21 = -3*n. Is -1 <= n?
False
Let d(i) = 2*i**3 - 2*i**2 + i. Let g be d(1). Let t = -12.14 - -0.14. Is t at least g?
False
Suppose -x - 4 = -2*x. Suppose 0 = -8*w + 4*w + x. Is 2/7 <= w?
True
Let n(o) = o**3 + 5*o**2 + 5*o + 4. Let t = -4 + 0. Let h be n(t). Which is smaller: h or -2?
-2
Suppose 5*t + 31 = 2*r, -2*r - 4 = 2*t - 0. Suppose -r*j + 44 = j. Which is bigger: j or 10?
j
Let w = -1 + 2. Let n be (4/(-132))/(4/12). Are n and w non-equal?
True
Let n = 1 - 4. Let k be (-13)/n - (-4)/(-12). Which is bigger: -0.2 or k?
k
Let s be (-20)/80 - (-366)/(-8). Which is bigger: s or -89/2?
-89/2
Suppose 5*g = g + 144. Suppose q = -q + g. Suppose -p + 22 = 3*i - 5*p, -5*i + 2*p = -q. Is i at most as big as 2?
True
Suppose -10*w + 13 - 3 = 0. Let s be ((16/(-46))/2)/(-2). Which is smaller: s or w?
s
Let z = -1171/44 + 101/4. Which is bigger: 0 or z?
0
Let z be ((-18)/15)/(4/(-10)). Suppose -4*l + z*t = 2, 6*l - 3*t = l - 1. Is 5 not equal to l?
True
Let k be ((-1)/(-6))/((-29)/(-4)). Is k smaller than -1?
False
Let b(t) = 2*t**2 + 25*t + 12. Let v be b(-12). Which is greater: 2/31 or v?
2/31
Let n = -13.14 - -13. Let a = -0.04 - n. Which is smaller: 3/5 or a?
a
Suppose 43 = -4*b + 7. Is -9 smaller than b?
False
Let y(a) = a + 5. Let b be y(-6). Let i be 1*(b - -2 - -3). Let g be (-16)/(-6) - i/6. Do 6/5 and g have the same value?
False
Let b be (-9)/(-27) + (-5)/(-3). Let x be (-16)/(-5 - (-6)/b). Let u be 50/168 + (-2)/x. Does u = -1?
False
Suppose -r = 3*g + 3*r + 26, -5*g = -2*r. Is g greater than 0?
False
Let f = 191/1152 + -469567/1152. Suppose 5*l - 397 = k, 225 = -k + 3*l - 176. Let b = k - f. Is b at least as big as 0?
True
Let c = 182 + -4916/27. Let y = -25 - -25. Is c smaller than y?
True
Let x(o) = -255*o**2 + o - 1. Let a be x(1). Let k be a/(-1 - 2) - 1. Let c = 171/2 - k. Which is smaller: 1 or c?
1
Let y(c) be the first derivative of c**6/360 + c**5/60 - c**4/24 + c**3/3 + 2. Let g(z) be the third derivative of y(z). Let p be g(1). Is 1 at least p?
False
Let p be (-2)/((-4)/2) + 1. Suppose v = 3*v - 8*v. Do p and v have the same value?
False
Suppose -n = n. Let w = n + 2. Is w != 1?
True
Let w = -2.3 - 0.7. Let q = -3 - -1.8. Let l = -2.2 - q. Is w <= l?
True
Let r = 5690613/65 - 87550. Let m = 30/13 + r. Suppose -8 = 2*d - 10. Which is smaller: d or m?
m
Let g = 2 - 7. Let h(q) = -q**3 - 9*q**2 + 51*q - 18. Let v be h(-13). Is v at most g?
True
Let v be 56/(-234) - (-2)/(-9). Which is greater: v or 0?
0
Suppose 3*i = -55 + 52. Which is greater: -1/22 or i?
-1/22
Let y = -5423071/180 - -30128. Let m = y + -1/36. Which is smaller: 0.2 or m?
m
Let r = 22 - 17. Does r = 4?
False
Let v = 9476/9 + -1050. Let y = v + -8/3. Suppose -3*x - 2*x - 5 = 3*r, 4*r + x = -1. Is r > y?
False
Let m(l) = -l**3 - l**2 + 3*l - 2. Let n be m(-3). Let j(q) = -3 + 6 + 5*q**2 - 4*q**2 - 7*q. Let w be j(n). Is 2 <= w?
True
Let s(u) = 2*u - 3. Let k(o) = 9*o**2 - 1. Let c be k(1). Let h = -5 + c. Let q be s(h). Which is greater: q or 4?
4
Let d = 25 + -23. Let n = 0.4 + -0.3. Is d <= n?
False
Suppose -4*c + 17 = -9*q + 6*q, q + 4*c = 21. Let n = 2 + -1. Is q less than n?
False
Suppose -3*u = -5*a - 8*u + 5, a + 5*u - 5 = 0. Which is smaller: a or 6/7?
a
Let d(i) = -1. Let p(a) = 11*a + 3. Let j(l) = 2*d(l) + p(l). Let f be j(-1). Let c be 2/2 + f/18. Which is greater: 1 or c?
1
Let j = 276022/398325 - -2/5311. Let y = j + -2/75. Which is bigger: y or 1?
1
Suppose -588 = 5*d - 83. Is d > -1/3?
False
Let z = -5 - -8. Let w be z*(-3)/(-9) + 1. Suppose -4*i - 8 = -5*k + 8, -3*k = 2*i - 14. Are w and i nonequal?
True
Let l be -4*6/(-8) - (2 + -1). Which is bigger: 18/17 or l?
l
Let g(v) = v - 1. Let p be g(1). Suppose -j + 3 = -p. Suppose -w = j*w. Which is greater: w or 1/8?
1/8
Let g be -1*32*(-1)/2. Suppose -5*p - 26 = 3*z, 2*z + g = -2*z - 2*p. Is -1 bigger than z?
True
Let m = -0.4 - -0.2. Let l be 4/3*36/8. Suppose -2*p = -l*p + 4. Is m > p?
False
Let p be 227/(-5) + (-4)/(-10). Let y be (1 - -1)*p/(-18). Is y greater than or equal to 2?
True
Let u = 0.17 - 0.09. Let l = -0.18 + u. Which is greater: -13 or l?
l
Let k(z) = z**2 + 4*z + 3. Let t be k(-2). Let w(b) = b**2 - 2*b**2 + 4*b - 5*b. Let p be w(-2). Which is smaller: p or t?
p
Suppose 4*l = 2*l + 12. Let b = -5 + l. Let m = 3/11 + -35/88. Which is bigger: b or m?
b
Let w = -5 + 7. Let f = 0.2 + -0.3. Let s = -0.1 + f. Which is greater: s or w?
w
Let y = -134965/336 - -4612/21. Let m = y + 182. Which is bigger: 0 or m?
0
Let m be (-1 - -3)/2 + 77/(-74). Is m at least as big as 1?
False
Let u be 14/6*9/15. Let m = 2 + 1. Let c = m - 1. Are u and c non-equal?
True
Let o = -67 + 38. Are o and -29 non-equal?
False
Let p(l) = 2*l - 28. Let k be p(15). Which is smaller: -8/9 or k?
-8/9
Let z = 102 - 101. Suppose 5*j + 0*j - m = 12, 4*j - m = 10. Is j less than or equal to z?
False
Let l(p) = -5*p - 2. Let a be l(-2). Let j = a + -4. Suppose -2 = -3*n + h, j*n = 2*h + h + 6. Which is smaller: n or -10?
-10
Let w = -0.6 - -0.68. Let v = w + -3.08. Which is smaller: -0.1 or v?
v
Let k = -233/5 - -47. Which is bigger: k or -10?
k
Suppose 0 = -5*f + 8*f - 48. Which is greater: f or 20?
20
Let b be ((-3)/(-30))/((-5)/(-10)). Is b < 0?
False
Let c(a) = 3 + 0*a + a + 3 + 1. Let v be c(-7). Which is smaller: -3/4 or v?
-3/4
Let v = 0 - 0.1. Let d = -21/68 + 1/17. Is v equal to d?
False
Let j = 538 - 563.9. Let x = -26 - j. Which is greater: -2/27 or x?
-2/27
Let y be (-3)/((-3)/(-2))*45/(-10). Which is greater: y or 6?
y
Let z = -7.04 - -0.04. Let j = z + 4. Which is greater: j or 3?
3
Suppose -6 = 5*f + 9. Is f > -16/7?
False
Let f = 19599/4 - 4861. Let d = 39 - f. Is d <= 6?
True
Let w be 1*((-352)/6)/2. Let c be (-1312)/(-44) + 4/22. Let s = w + c. Which is smaller: -2 or s?
-2
Suppose 0 = -p + 3*p - 2. Let m = 7227773/39 + -185360. Let y = -97/3 - m. Is p at least y?
True
Let n(m) = -5*m**2 + 3*m**2 - 9 - 2*m**3 + m**3 - 5*m**2 + 7*m. Let q be n(-8). Is 1 > q?
True
Let w(x) = x - 5. Let h be w(-19). Is -23 smaller than h?
False
Let d = 2 - 6. Let z = 54.9 + -51. Let j = d + z. Is -0.1 >= j?
True
Suppose 2*w - 14 + 22 = 0. Let f be ((-1)/(-2))/(2/w). Which is bigger: f or -7?
f
Suppose 0 = -a - 3*n - 4, -5*n + n = 2*a + 4. Which is greater: a or 14?
14
Let h = 16/27 - -2/27. Let g(x) = -x**3 - 4*x**2 + 5. Let f be g(-4). Suppose -3*n + 6 - 1 = y, -2*y = f*n - 9. Is y greater than h?
Tr