*-3 + -4. Which is smaller: -22/9 or f?
f
Let h = -19.8 - -15.8. Let u = -1.3 - -0.3. Which is greater: u or h?
u
Let u = -49 + 48.53. Let p = u + 0.07. Let w = p + 0.2. Which is smaller: w or -3/4?
-3/4
Let x = 13.61 + -14. Which is bigger: x or -1?
x
Let i(z) = z**3 + z**2. Let p be i(-1). Let b(n) = n + 6. Let v be b(-5). Do p and v have the same value?
False
Suppose -3*i + 26 = 8. Which is bigger: 17/3 or i?
i
Let a be -3 + (8516/(-14854) - -3). Let o = -2/1061 - a. Which is greater: o or 1?
1
Let l = 0 - -3. Suppose 2*o - l = -15. Let m = -6 - o. Which is smaller: m or -1?
-1
Suppose -2*q + 53 = -3*d, 3*q - 2*q - 25 = d. Is 22 greater than or equal to q?
True
Let x = 119/12 - 38/3. Is x at least -2?
False
Let o(u) = -u**2 + u + 1. Let q be o(2). Do -3/7 and q have different values?
True
Let d = -2.5 - -5.5. Let x = d - -4. Is 2/5 bigger than x?
False
Let p be (-20)/(-6)*36/24. Are -2 and p equal?
False
Let s = 45 + -23. Which is bigger: s or 23?
23
Let d be (3 - 2)/(-21 + -4 + 9). Which is smaller: d or -1?
-1
Let o be 2/(-4) + 575/(-10). Let l be (o/(-204))/(3/16). Let f = -22/17 + l. Is f smaller than 1?
True
Let r(q) = 4*q**2 - q - 1. Let a be r(2). Let l = -3907/296 - -12/37. Let o = l + a. Which is smaller: o or -1?
-1
Let g(a) = -a. Let n be g(8). Let t = n - -10. Suppose -4*d = -f + 5, 0*d - 4*f = -d - 5. Which is smaller: d or t?
d
Let x(i) = i**2 + 4*i + 2. Let w be x(-2). Which is bigger: 0 or w?
0
Suppose -27*n = -23*n + 8. Which is smaller: n or -3?
-3
Let v(i) = i + 8. Let b be v(-4). Let m be (1 + 0/(-1))*b. Let c = 4 - m. Are c and 1/9 equal?
False
Let s(d) = d**2 - d - 1. Let h be s(5). Suppose 2*j = -3*g + 5, 5*g = -0*g + 2*j + h. Which is smaller: 2 or g?
2
Suppose -4 = 2*m - 2. Is m < -12/11?
False
Let g = 0 - 1. Let m = 11 - 9. Which is smaller: m or g?
g
Let h be (3 + 2 - 2) + -69. Let c be (3/h)/((-6)/(-24)). Are c and 3 non-equal?
True
Let q = 6/31 - 464/155. Let o = -3 - q. Which is greater: o or 1?
1
Let y be (-2)/(-8) + 1/(-4) - -7. Is 2 greater than y?
False
Let h(k) be the first derivative of k**4/4 + 4*k**3/3 + 2*k**2 - k + 2. Let d be h(-3). Is d smaller than 1?
True
Let f = 7 + 1. Suppose -f*v + 4*v = 0. Let x = 5/22 - 167/154. Is x > v?
False
Let i(q) = -q**3 + 10*q**2 + 10*q + 6. Let h be i(11). Is h smaller than 0?
True
Let g = 13 + 3. Suppose -2*j - 4*b = b + g, 4*j + 4*b = -8. Let k(q) = q**3 - 6*q**2 + 5*q + 1. Let n be k(5). Which is greater: j or n?
j
Let x be (-1)/3*36/(-8). Which is smaller: x or 9?
x
Let d = 0.35 + -0.3. Which is smaller: d or 2/3?
d
Let r be (2/16)/((-8)/16). Which is bigger: r or 0.3?
0.3
Let w = 1.9 - 1.99. Let g = w + -0.01. Which is bigger: 2 or g?
2
Let y = -0.37 + -0.13. Is y not equal to 2?
True
Suppose -3*t - 16 = -r + 18, 5*t = 4*r - 143. Which is greater: 36 or r?
r
Suppose r - 2*r = -k - 28, r = 3*k + 94. Which is smaller: k or -35?
-35
Let k be (1/4)/(9/(-12)). Is -2/23 smaller than k?
False
Suppose -3*m + 7*m = 0. Suppose -12*p + 15*p + 3 = m. Which is bigger: p or 6?
6
Let b(y) = 2*y**2 + 15*y - 9. Let i be b(-8). Which is greater: i or -18/17?
i
Let l(k) = -k + 6. Let i be l(4). Let c = i - 3. Let d = 1/29 - -47/319. Is c > d?
False
Let x be (-2)/6 - 32/(-6). Suppose -x = -0*y - y. Suppose m = 5*p + 10, 5*p + 4 + 6 = y*m. Which is greater: -1 or m?
m
Let y(g) = -3*g**2 + g**2 - 2*g**2. Let a be y(-1). Which is bigger: a or -3?
-3
Let d = -3 + 4. Let o = -13 - -11. Which is greater: o or d?
d
Suppose t - 3*t - 5*z + 19 = 0, -3*t - 3 = -3*z. Suppose -3*o + w = -7*o, -t*o + 2*w = 0. Which is smaller: o or 3/4?
o
Let n = 0.1 + -1.1. Let o be (-14)/(-18) - 2/(-9). Which is smaller: o or n?
n
Suppose d - 2*k + 20 = -4*k, -2*d = 2*k + 50. Let n be ((-9)/d)/(6/(-8)). Let i be (-1)/((-2 - 0)/(-2)). Which is bigger: n or i?
n
Let m = 5 + -1. Suppose -5*u + m = -1. Is 2/15 at least u?
False
Let w = -9 + 9.19. Let f = -0.09 + w. Which is smaller: -2 or f?
-2
Let y = -0.9 - -0.9. Suppose -l - 22 = 5*c, -5*c - 2*l - 29 = -5. Let x be ((-2)/(-9))/(2/c). Is x at most as big as y?
True
Let y = 91/20 + -15/4. Let h = 6 + -3. Suppose -5*z = -10*z - 2*o - h, 18 = 2*z - 4*o. Is y less than z?
True
Suppose 3*r - 5 = 8*r. Let f be 273/(-9)*6/8. Let b = f + 23. Is r equal to b?
False
Let f = 1975 - 17843/9. Which is smaller: -8 or f?
-8
Let v = -5 - -2. Let t = 3/83 + -247/2241. Let f = -77/54 + t. Are v and f equal?
False
Suppose -g + 3 = 4. Which is smaller: g or -4/9?
g
Suppose -12 = -4*x + 4*r, -4*x + 7 = -7*x - r. Let j be (-4)/12 + (-62)/3. Let y be 7/j*3/2. Which is greater: y or x?
y
Let m be 16/(-12) + 1 + (-12)/(-9). Which is greater: m or 4/27?
m
Suppose 2*k = 3*i + 13, -k + 14 = -5*i - 3. Is 3 at most i?
False
Let h(i) = -i + 2. Let k be h(-6). Suppose 0 = 2*y - 3 - 15. Is k >= y?
False
Let s = -15 + 12. Let z = 1.3 - 1.4. Which is bigger: s or z?
z
Suppose 0 = -3*n + 4*i + 1, -4*i - 7 = 4*n - i. Which is smaller: -1/16 or n?
n
Let k be 5/(-5)*(-98)/(-2). Let p be (-14)/k - (-24)/14. Is p equal to 1?
False
Let z = 0.11 - -0.69. Let n = -0.9 + z. Let c = -0.43 - -0.4. Which is greater: c or n?
c
Suppose 4*i + 45 = 29. Which is greater: -11 or i?
i
Let p = -13 + 11. Let n = 5.1 - 7. Let k = p - n. Do 1 and k have the same value?
False
Let x = 16 - 18. Which is bigger: -3 or x?
x
Let l be ((-2)/3)/((-2)/3). Which is greater: l or -1/3?
l
Let l be 30/(-9) + 4/(-6). Let z be -4 - (4 + -3)*-1. Let r = z - l. Is r < 1?
False
Suppose 0 = 4*v - v - 12. Suppose 2*a = v*k - 22, 5*k = 3*k + 5*a - 1. Suppose k*m + 6 = 4*m. Is m at least -2?
True
Let k(i) = 2*i - 1 - 2*i - 9*i. Let j be k(-1). Let f = 4 - j. Do -5 and f have the same value?
False
Let z(i) = i**2 - 9*i + 6. Let a be z(6). Let w = a + 47/4. Let o be (0/(-2))/(18/9). Is o > w?
True
Suppose 0 = 5*u - 10, -f = -6*f - u + 7. Which is smaller: -3/13 or f?
-3/13
Let a(f) = f**3 - 2*f**2 - 5*f + 3. Let w be a(3). Suppose -3*z + 2 = -5*z. Is z equal to w?
False
Let p(g) = g**3 - 6*g**2 + 5*g + 2. Let r be p(5). Let z(o) = -o**2 - 4*o + 3. Let f be z(r). Which is greater: -8 or f?
-8
Let t = 0.2 + -0.18. Let o = 0.42 - t. Let d be 40/(-45)*(-3)/4*1. Which is bigger: o or d?
d
Let o = 17 + -24. Suppose 2*h - 2*x = -16, -h - 2 = -2*x + 6. Do o and h have the same value?
False
Let h(t) be the second derivative of t**4/12 + 5*t**3/6 - t**2/2 + 5*t. Let o be h(-5). Which is greater: 1 or o?
1
Let q = 65/2 + -32. Let g(p) = -p**3 + 10*p**2 - 8*p - 7. Let w be 2*27/12*2. Let i be g(w). Is i at most as big as q?
False
Let x be (-18)/16 - (-1)/1. Let h = 39/56 + x. Is 1 bigger than h?
True
Let m(x) = -2*x - 20. Let h be m(6). Which is greater: -30 or h?
-30
Let s = 43 - 31. Which is smaller: 2 or s?
2
Let x = 9 - 0. Are x and 0 non-equal?
True
Let v be (2/4)/((-2)/(-3)). Let r = -12 + 44. Let h = 94/3 - r. Is v less than or equal to h?
False
Let p = -1 + 29. Which is bigger: p or 27?
p
Let i = 2.5 + -2.3. Is 0.3 greater than or equal to i?
True
Let t(h) = -h**2 + 17*h + 13. Let r be t(18). Which is smaller: r or -8?
-8
Let l be 6/4*(-56)/(-6). Let a be (-2)/7 - (-10)/l. Which is smaller: -1 or a?
-1
Let k be (9/738)/(2 + -1). Do 0 and k have different values?
True
Let f be (-18)/15*10/(-3). Suppose 17 - 1 = -f*t. Let p be ((-4)/(-24))/(1/t). Is 0 less than p?
False
Suppose -5*b = d - 7 - 5, 5*b = -5*d + 20. Let q(g) = 2*g - 9. Let c be q(5). Do c and d have the same value?
False
Suppose -8*a = -3*a - 40. Let v be ((-10)/a)/(2/8). Let d be -2 + (-24)/v + -2. Is d smaller than 0?
False
Suppose -2*h + 0*h - 2*a = -22, 0 = a - 4. Let x be 1/h - (-12)/(-42). Which is smaller: x or -1?
-1
Let j = 0.07 - 0.27. Let p = 2.7 - 3. Let k = 0.7 - p. Is j >= k?
False
Let c = -286/7 + 41. Are c and -1 unequal?
True
Suppose 12 - 8 = 4*v. Is v < -2?
False
Let l be (6 - 1) + (2 - 1). Let o be (-2)/(-24) - (-4)/l. Let f = 6 - 4. Is f greater than o?
True
Let b be ((-2)/3)/((-12)/(-1206)). Let n be (-3)/(-12) - b/4. Is 17 less than or equal to n?
True
Let w be ((-20)/(-2) - 4) + -4. Suppose -n = -4*a + 7, 3*a + 0*a = -w*n - 14. Let u(d) = -2*d**3 + 2*d**2 + 2. Let i be u(2). Is i at least n?
True
Let u(z) = -11 - 4*z**2 + 1 + z + 5*z**2. Let y be u(0). Let n be (4/16)/(y/8). Is 0 equal to n?
False
Suppose -1 = 2*t - t. Suppose 0 = -3*r + d, -2*r + 7*d - 4*d 