 u = 22 - 67/3. Which is smaller: x or u?
u
Let n(o) = o**2 - 3*o + 1. Let i be n(3). Let u be 8/14 + (i - 1). Is 1 equal to u?
False
Let k = -70.07 - -71. Let j = 0.3 - 0.37. Let y = k - j. Which is bigger: y or 1/5?
y
Suppose 0 = m - 8 + 72. Is m at least as big as -65?
True
Let f = 29 + -144/5. Let q = 2.9 - 4.6. Let p = -0.3 + q. Which is greater: f or p?
f
Let q be (-1)/3 - (-228)/9. Suppose 5*l - 25 = -0*l, 0 = -4*x + l - q. Let j(g) = g + 4. Let m be j(x). Which is smaller: 2/9 or m?
m
Let t(c) = 5*c - 29. Let g be t(6). Which is bigger: -2/7 or g?
g
Suppose 5*y - 9 = 26. Let v = y - 3. Is v greater than or equal to 3?
True
Suppose 0 = -3*h - 15, 32 = 5*o - 5*h + 7. Is o at most -3/16?
False
Suppose -5*o - 3*k = 0, -4*k - 23 = -3*o + 2*o. Let t = o - 4. Let d = -12 - -23/2. Is d not equal to t?
True
Suppose 0*a = -5*a. Is a less than or equal to -2/17?
False
Suppose 14 = -4*a + 50. Let o be 3/a + (-34)/66. Is o less than 1?
True
Let r be -2 - ((-1312)/(-60))/(-8). Which is smaller: r or 1?
r
Let r = 1265 + -13873/11. Let u = 1/1246 - 49851/13706. Let w = u + r. Which is greater: w or -1?
w
Let f = -20 + 6. Which is bigger: 1 or f?
1
Suppose -2*c = 2*f - 4, -2*f - 3*c + 0 = -6. Let t be (-2)/3 - (-4)/(-3). Which is smaller: f or t?
t
Suppose 5*d - 27 = -3*w, -4*d - 3*w + 28 = w. Suppose -h = -4*a + 2*a + 1, -d = 2*a + 3*h. Do 1 and a have the same value?
False
Let d = -0.16 + 0.06. Let n = 5 + -5. Is n not equal to d?
True
Let i be 2/(-16)*-6 + (-189)/(-180). Which is greater: i or 1?
i
Let y(x) be the second derivative of -x**3/6 - x**2 + 2*x. Let k be y(-2). Suppose 4*d + k = -8. Is d != -6/5?
True
Suppose 2*y - 6*y - 8 = -4*l, 2*y - 1 = l. Does 4 = y?
False
Let x = 100.8 + -116. Let u = -15 - x. Are 6 and u nonequal?
True
Let a(k) = -k**2 + 3*k + 2. Let p be a(-2). Let l = -8 - p. Is 3 at most as big as l?
False
Suppose 0*o + 3*o = -15. Let k = -4 - o. Let a be (2 + (0 - 1))/(-8). Is a at most as big as k?
True
Let t be -9*(-2 - (-15)/9). Let i be ((-2)/(-10))/(t/6). Let c = 21 + -20. Which is smaller: c or i?
i
Suppose 20 = 5*n - 2*w, 8*w + 27 = n + 3*w. Suppose -l + 1 - n = 0. Which is bigger: l or 2/5?
2/5
Let t be 116/12 - (-3)/9. Let o = 13 - t. Suppose j = -o*j + 16. Is j at most 4?
True
Let f(b) = -b**3 - 3*b**2 + 3. Let m be f(-3). Suppose -3*r + 3*z - 1 = -13, -m*r = z. Which is greater: r or 0?
r
Let t = -1.2 - 5.8. Let h = -3 - t. Let o = h + -4.3. Do -1 and o have the same value?
False
Suppose o = 2*x - 4*o + 11, 3*o = 4*x + 1. Suppose -3*f - 20 = 4*r, 10 = -5*f + x*r + 3*r. Let y be 1*(6 + (f - -2)). Do y and 4 have different values?
False
Let w = 3 - 2.9. Let b(u) = u + 12. Let h be b(-8). Let z be -1*(1 - h/6). Are z and w nonequal?
True
Let r = 0 - -3. Suppose 0 = 5*d + 4*w - 60, -w - 10 = -3*d + 9. Suppose 2*k - d + 0 = 0. Which is bigger: k or r?
k
Let l(i) = i**2 - 2*i - 5. Suppose -10 = -5*w + 10. Let m be l(w). Which is greater: m or 2?
m
Let y be (-1)/(18/21 + -1). Let d be (60/14)/((-1)/y). Let f = -59/2 - d. Is f < 1?
True
Let c = 4.1 - 4. Which is bigger: c or -5?
c
Let n = -26 + 27. Which is smaller: 7/9 or n?
7/9
Let l = 86 + -63. Which is smaller: 25 or l?
l
Let y(h) = -2*h + 3. Let k be y(-7). Let b = k + -1. Which is greater: 17 or b?
17
Let s = 23 + -26. Is -4 equal to s?
False
Let u be 1 + 87 - 60/30. Do u and 85 have different values?
True
Let l = 5 + 11. Let o = 23 - l. Let y = 6 - o. Is y at most as big as 0?
True
Let y = -90385/84 - -1076. Which is smaller: y or 0?
y
Let g = 14 - 13.9. Which is greater: 2/13 or g?
2/13
Let t = 782464/15 + -947579789/18165. Let z = t - -3/173. Is -2 less than z?
True
Suppose 0 = 8*k - 4*k - 16. Suppose k*h - 5 = -h. Is h greater than or equal to 1?
True
Let o(l) = 0*l - l + 0*l. Let n be o(-5). Which is smaller: 4 or n?
4
Let p be 24/(-54)*(-5)/(-2). Let h = -23/18 - p. Let f be (2/(-6))/((-4)/12). Which is greater: f or h?
f
Let g = 0.11 - 0.11. Let y = -13.2 - -11. Let a = 2 + y. Do a and g have the same value?
False
Let w = -2 + 10. Suppose 3*p - 2 = -w. Let h = -349/565 + 2/113. Does p = h?
False
Let h be 12/5 + 2/(-5). Suppose 7*l = 5*l - h. Let i be (-1 - -1)/((-7)/28*4). Is i < l?
False
Let m = -4.95 - -5. Let u = m + -6.05. Are -1 and u nonequal?
True
Let c = 23.95 + -24. Let m = c + 0.25. Do m and 1 have the same value?
False
Let m = -0.819 - 0.081. Which is smaller: 0.5 or m?
m
Let f be 12/4*(5/(-6))/(-5). Is f <= -9/10?
False
Suppose -5*p - 65 = -3*s + 10, 2*p - s = -31. Let f be p/12*4/6. Is 0 at least f?
True
Suppose -3*c - 15 = 0, 5*w + c + 19 = 3*w. Which is smaller: w or -5?
w
Suppose h - 17 + 42 = 0. Suppose 5*k + 16 = -4*c - 89, 2*c = k - 49. Is c greater than h?
False
Let r = -21 - -21. Which is greater: 10 or r?
10
Let q = -3.5 + 0.5. Suppose -a - 5 = -8. Let p be -1 + (3 - 0)/a. Which is greater: q or p?
p
Let p = -2157 + 3054. Let k = 40363/45 - p. Does 0 = k?
False
Suppose -3*d = 2*d - 2*o - 19, 0 = -d + 3*o - 4. Suppose 2*b - d = 1. Let h = -5 + b. Does -1 = h?
False
Suppose 0*w - 4*w = 0, -2*w = -z + 3. Suppose 2*t - 2 = z*t + f, -17 = 5*t - 2*f. Which is bigger: t or -8/5?
-8/5
Let x be ((-2)/(-2))/(3/(-9)). Let o be (-1)/3 + 2/x. Which is smaller: 2/13 or o?
o
Let p = -374 - -7110/19. Which is smaller: p or 0?
0
Let p be (3/9)/(46/(-18)). Is p at most as big as -1?
False
Suppose 4 = 4*q - 5*k, -2*q - k = 2*k - 24. Let z be 60/27 + q/(-27). Suppose -z*l + 0*l - 12 = 0. Which is bigger: -7 or l?
l
Suppose -t = -i - 9, 0 = -5*i + 3*i - 4*t - 12. Let u(f) = -f**3 - 5*f**2 + 7*f - 2. Let w be u(-6). Is i bigger than w?
False
Suppose -5*f - 5*a = 5, 5*f + 0*a - a = 1. Suppose -3*i - 8 + 2 = -3*m, 0 = -4*i + m - 5. Are f and i non-equal?
True
Let k = 0.3 + -0.2. Let a be ((-6)/(-10))/(((-675)/10)/(-15)). Which is greater: k or a?
a
Let b be -2 - (4 - 3/(-3)). Let m = -4 - b. Suppose -2 = -a, m*w - w - 4 = -4*a. Is w less than -3?
False
Let l = -26 + 16. Let d(a) = a**3 + 10*a**2 - 2*a - 13. Let z be d(l). Which is smaller: 6 or z?
6
Let n = -29.2 + 39. Let l = -9 + n. Let g = 0.2 + l. Is -2/3 at most as big as g?
True
Let n be (8/72)/(0 + -1). Let o = -45/2 - -23. Is o bigger than n?
True
Let v be (-8)/(-20) - (-4)/(-10). Let o = v - -3. Is 3 at most o?
True
Let z be -5 - -3 - (-8 + 1). Is z bigger than 0.4?
True
Let d be ((-6)/(-15))/((-2)/(-5)). Let b be d - 0 - (-9)/(-54). Let j = 0 + -0.1. Is j at least b?
False
Let f = 16/9 + -10/9. Let v = -576 + 575.1. Which is smaller: v or f?
v
Let l(s) = -s**2 - 7*s + 8. Let u be l(-8). Suppose 0 = 3*w - p - 12, 2*w + 4*p + 6 = u. Which is greater: w or 2?
w
Let m be (1 - 3)/((-2)/11). Let a = m - 6. Suppose a*i = -0*i + 10. Is i less than or equal to 1/2?
False
Let p = 1 + 2. Suppose -p*x = -0*x - 9. Is -1 equal to x?
False
Suppose 3*j - 2*j + 2 = 0. Let n = j - -4. Suppose -n*a - 7 = 5. Is a > -6?
False
Suppose -3*x = -19 - 20. Which is smaller: x or 15?
x
Suppose 2*q = 3*q. Suppose 0 = -2*k + c - 2, 3*k + 5*c - 10 = -q*c. Is k smaller than -0.2?
False
Let x = 2/587 - -6453/1174. Is x greater than 5?
True
Let b(x) = -x**3 + 4*x**2 + 5*x + 2. Let j be b(5). Let g be (-4)/16*-13 - j. Is 1 at least g?
False
Let s be 3 + (-8)/(4 + 0). Is s <= 2?
True
Let v = 52 + -52.3. Is v > 12?
False
Let y = -7 - -5. Let i be (y/(-3))/((-32)/(-12)). Let o = 0 + 1. Is i greater than o?
False
Suppose -m = -4*r + 296, 2*r - 1418 = 4*m - 276. Let v = -3122/11 - m. Which is greater: -1 or v?
v
Let m = -1.4 + 1.3. Let v = m + 0.6. Is v at least as big as 1?
False
Suppose -c - 26 = 4*b, -13 = 2*b + 2*c + 3. Let u be 2 + b - (-4 - -1). Is u greater than or equal to -1?
True
Let a = 59/198 + -9/22. Is a greater than 0?
False
Let o(g) = -g**3 - 7*g**2 - 8*g + 4. Let m be o(-6). Let a be 16/m + (-28)/27. Which is greater: 1 or a?
1
Let n = -9 - 1. Is n != -10?
False
Let j = -2.06 - -0.06. Let l be 14/(-6)*42/2. Let m be l/28 + 2/1. Which is smaller: j or m?
j
Let u = 8 + 27. Which is smaller: u or 34?
34
Suppose -5*f - b = -6*b - 70, 4*b - 48 = -4*f. Suppose 4*w - 5 + f = 4*s, 2*w - 3*s + 4 = 0. Is w bigger than 0?
False
Let s = 2696/3129 + -2/447. Is s < -1?
False
Let w = 328/77 + -26/7. Which is bigger: 0 or w?
w
Let j = -1 + 2. Suppose 0*v - 2*v = -4*a - 10, 4*v - 5*a - 32 = 0. Are j and v nonequal?
True
Suppose 3*w + 16 =