h is bigger: u or 0?
0
Let q = -15 - -16. Which is bigger: 2 or q?
2
Let t(f) = 6*f**2 - 2*f - 1. Let l be t(1). Which is bigger: l or 20/13?
l
Let g = -2.7 - -2.6. Is 4 smaller than g?
False
Let a = 93/10 + -94/5. Do -10 and a have the same value?
False
Let k(h) = h - 9. Let t be k(0). Let j be -7 - (1 - 1) - -2. Let z = j - t. Are z and 3 nonequal?
True
Let n = 2 - 9. Suppose -13*w + 15 = 2*w. Which is smaller: w or n?
n
Let i = 114 + -285. Let w = i + 1365/8. Let n(p) = -p**2 - 1. Let m be n(0). Is m less than w?
True
Let l(g) = -7*g + 3. Let p be l(3). Let m = p + 12. Suppose -2*o = -3*o - 5. Does o = m?
False
Suppose 6 = -4*o + o. Let g be (4/6)/(o/9). Does -3 = g?
True
Let u(l) = -l**3 - 7*l**2 + 4. Let k be u(-7). Suppose -5*h - 14 = -k. Suppose -7*s + 3 = 10. Which is smaller: s or h?
h
Let v(b) = b + 54. Let u be v(-6). Which is smaller: u or 49?
u
Let s(v) = v - 2. Let j be s(4). Suppose j*z + x - 3 = 0, -1 = 2*z + 2*x - 7. Suppose 2 = -3*n + n. Which is bigger: z or n?
z
Let r(l) = l**2 + 13*l + 12. Let u(w) = -2*w**2 - 13*w - 11. Let v(x) = 3*r(x) + 2*u(x). Let y be v(14). Which is greater: -6/11 or y?
y
Let g be 68/17 + -1 + -2. Is g <= -1/10?
False
Let k(c) be the second derivative of -c**3/6 + 7*c**2/2 - 6*c. Let v be k(6). Is -14/9 greater than or equal to v?
False
Let y = 0.1 + 0. Let d = -2/1539 - -413/6156. Let j = -6/19 + d. Which is smaller: j or y?
j
Suppose -2*u = -i + 16, 0*i + 5*u + 22 = i. Which is smaller: 11 or i?
11
Let o = -15 - -15. Which is smaller: 1/22 or o?
o
Let f be (1 - -1)/(1/(-2)). Let q be (f/8)/((-2)/(-12)). Suppose -3*i - 17 = 5*t + 5, 4*i + 2*t = -20. Which is smaller: q or i?
i
Let y = -14.5 - -21. Which is bigger: y or 0?
y
Let o be (2 + 0)*(-15)/10. Which is smaller: -2 or o?
o
Suppose -2*n - 26 = -4*j, -5*j + 18 - 3 = n. Let r be 2/j*2/(-5). Is r != 1?
True
Let l be ((-8)/(-5))/((-26)/65). Is -1 greater than or equal to l?
True
Let z = 2.3 - 2.4. Which is smaller: 0.02 or z?
z
Let c = 0.5 - 1. Let f = -0.6 - c. Which is greater: 0 or f?
0
Suppose -5*z = -4*x + 27, -30 = -4*x + 3*z - 9. Let d be -2 + 4*x/2. Which is smaller: 3 or d?
3
Let c(j) = j**2 + 5*j - 14. Let b be c(-8). Let n = 4.9 - 5. Is b not equal to n?
True
Suppose 30 - 6 = -2*i. Suppose 2*f = 4*r - 16, -5*r + r = 4*f + 56. Is f smaller than i?
False
Let l = -5.5 + -0.5. Are l and -1/4 non-equal?
True
Let p be -1 - -1 - 234/13. Which is smaller: -19 or p?
-19
Let i = 1820/1467 + -3/163. Which is smaller: 2 or i?
i
Let y = -2/13 + 1/13. Suppose 0 = s - 3 + 4. Is s at most y?
True
Let u(o) = -7*o - 85. Let v be u(-12). Let w be 2/6 + 4/(-9). Which is bigger: v or w?
w
Let c(i) = 7*i**3 - i. Let r be c(1). Suppose -3*m + 0 - r = 0. Is -2/3 != m?
True
Let x be 2/(-13) + 102/(-13). Let n(k) = k**2 + 7*k - 9. Let o be n(x). Let y be ((-4)/10)/(9/(-15)). Is o at most as big as y?
True
Let v(p) = p**3 - 2*p**2 - 3*p + 3. Let u be v(2). Let b be u/(-18) + (-1)/2. Let c be 1 - 1 - (-1 - -1). Is b at least c?
False
Let p(t) = -t**3 - 5*t**2 - 5*t - 2. Let s be p(-3). Suppose 0 = -w + 4 - 0. Suppose j = 2*j + w. Is s greater than or equal to j?
False
Suppose -6*n - 5 = -5*n. Is -1 at most n?
False
Let u be (-10)/(-4)*(-16)/(-20). Let f be (2/3)/(u/(-9)). Let v be (2/10)/((-1)/2). Is v less than f?
False
Let f be (0/2)/(-1 + 2). Let o be 8/27*(-6)/8. Is o != f?
True
Suppose -10 + 3 = -m - c, -4*m - 5*c = -33. Let y be (-1)/m + 0/3. Which is smaller: -1 or y?
-1
Suppose -2*g + 5 = -j, 3*j + g + 40 + 3 = 0. Let f be (-10)/65 - 67/j. Which is smaller: f or 6?
f
Let t = 13/20 - 1/4. Is -47 >= t?
False
Let y(c) = -c**3 + c. Let m be y(-1). Do 8 and m have different values?
True
Let b be (9/3)/(-1) - 3*-1. Which is smaller: b or 12/23?
b
Let l = 69 + -205/3. Let f be 1/3 - (-2)/(-10). Do f and l have the same value?
False
Let n be 2/(-7) + (-32)/(-14). Let u(f) = 4*f**3 + f**2 - f - 1. Let s be u(1). Which is greater: n or s?
s
Let t = 29701/4 + -7382. Let l = t - 43. Let y(b) = b**2 + 6*b. Let m be y(-6). Which is smaller: l or m?
m
Let i = -54.9 + 55. Which is bigger: 0 or i?
i
Let f = -255 - -177. Let k be 14/f + 4/12. Is -1 > k?
False
Let u be 16/18*(-1)/(-2). Suppose i + 2*i = 0. Which is bigger: i or u?
u
Suppose -x - 2 = 0, -3*u - x + 3*x + 19 = 0. Which is smaller: u or 3?
3
Let a = -3 - -2. Let y = 4 + -26. Let o be y/20 + (-12)/(-20). Which is greater: o or a?
o
Suppose 0*h - 3*h + 9 = 0. Is 3 equal to h?
True
Let u = 8 + -7.6. Is -0.1 >= u?
False
Let f(i) = -26*i**2 + 1. Let b be f(-1). Let x be -27 + 2 + (-3)/(-9). Let h = x - b. Does 1 = h?
False
Suppose -j = 2*j - 3*c, -3*c = -4*j + 5. Suppose -2*o + 186 = -7*o + 2*i, -j*i = -o - 28. Let g = o + 73/2. Is g > 1/2?
False
Let i be -1 + -2 - (-588)/195. Let q = -391421/260 - -19568/13. Let h = i - q. Which is smaller: h or 0?
0
Let v = 0 - -3. Let a(o) = 2*o**2 + 2. Let b be a(2). Suppose -2*f + b = 3*f. Which is smaller: v or f?
f
Let w = 483437/135 + -3581. Is 0 <= w?
True
Suppose 4*v + 4 = -3*c, 0*v + v + 27 = -4*c. Let n be (-1 + 3)*2/c. Is n <= 3/5?
True
Let l = -10 - -10. Let d = -0.22 - -0.02. Let a = d - l. Is a smaller than -1/3?
False
Suppose -4*q + 6 = 2. Let k be (q + 1)/((-5)/48). Let t = k + 98/5. Is t != 1?
True
Let h = 0 + 0.1. Let b be ((-5)/(-35))/((-2)/(-7)). Which is greater: h or b?
b
Let b = 45 - 46. Is b < 36?
True
Suppose 2 = 2*i + 4. Which is greater: -5/8 or i?
-5/8
Let p = -190 - -189. Is -0.005 at least as big as p?
True
Let p be (-5 - -2)*8/4. Let u be ((-36)/30)/(p/80). Let v be u/(-20)*2/8. Which is greater: v or 1/4?
1/4
Let n be (3 - (-145)/(-60))*2. Which is smaller: 0 or n?
0
Let z be (-1)/15*-5*3*4. Let n be -1*4 - (-3)/3. Is z greater than n?
True
Suppose 0 = -r + 4*r - 9. Let j be (-25)/(-10)*(-8)/(-5). Which is smaller: r or j?
r
Let x = -0.1 - -0.17. Let o = 810/7 - 116. Which is smaller: x or o?
o
Let w = 5192/7 - 744. Is w not equal to -3?
True
Suppose -5*v + 25 = 5*h, 2*h + 5 = -2*v + 5*v. Let a = -47/2 - -23. Is a at least v?
False
Suppose -3*k - 5*q + 29 = 0, 2*q - 6 = 2*k - q. Suppose 0 = -4*z + 5*z + k. Let b(p) = -p - 4. Let r be b(-2). Which is smaller: z or r?
z
Suppose 0 = -3*u - u + 4. Does -8 = u?
False
Let x be ((-9)/(-12))/(2/(-8)). Let v be 1/((-9)/x - 2). Suppose -2*g + 3 = 2*o + v, -g = -5*o - 31. Are 6 and g nonequal?
False
Suppose 0 = j + 4, 0 = x + 2*j - 3*j - 6. Let m(d) = -d**3 + d**2 + 3*d - 1. Let n be m(x). Is 0 > n?
False
Let f = -11 + 13. Is 12/7 bigger than f?
False
Let k(x) = -x**2 + 4*x + 3. Let v be k(5). Let y(u) = -4*u - 3 + 2 + u - u**2. Let h be y(v). Is h >= 2?
False
Let j(t) be the first derivative of t**2/2 + 5*t - 2. Let h be j(-4). Is h > 1?
False
Let n = 1 + -3. Let j = n - -1. Let u be (-2)/2 + (-2)/(-3). Which is greater: u or j?
u
Let k = -12 - -6. Let m be (2 - 3)/(3/k). Is m at least 2?
True
Let q = 161/2 + -82. Let k = -5 - -3. Which is greater: k or q?
q
Let j = -26/105 - 4/105. Which is greater: j or -0.5?
j
Suppose 5*d + 146 = -4*m, 176 = -5*m - d - 2*d. Are -33 and m non-equal?
True
Let s = 8.6 + -9. Suppose -q = 2*x + 1, -5*x - 17 = -4*q - 8. Is s at most q?
True
Suppose 34*d = 32*d. Do 0 and d have the same value?
True
Suppose 5*r + 9 + 6 = 0. Suppose 3*n - 5*i = 5, 1 = 5*n - 3*i + 2*i. Let d be n - (2 + r + 1). Which is smaller: d or -1/3?
-1/3
Let u = 13.84 - -0.16. Let c = 48 + -142/3. Are u and c non-equal?
True
Let o(p) = -p - 3. Let t be o(-4). Let s = t - 3. Let a be (s/(-12))/((-1)/4). Which is smaller: -2/5 or a?
a
Let i be (-9)/15 + -2 + 8/4. Which is smaller: i or 3?
i
Let k = 42.1 + -42. Which is bigger: -12 or k?
k
Let j be (-142)/(-126) + (-155)/(-35) + -5. Is j less than 1?
True
Let u = -1.3 - -0.3. Let c = -4 + 5. Let r = u + c. Are 2 and r equal?
False
Let q = -19 + 25. Are 7 and q equal?
False
Suppose -3*u + 1 = -2. Is 3 at least as big as u?
True
Let b(z) = -z + 12. Let s be b(14). Is -2 smaller than s?
False
Let b = -9.85 - -10. Let g = b + -0.13. Is -0.2 less than g?
True
Let m(x) = 2*x - 2. Let a be m(2). Let s(h) be the first derivative of h**4/4 - h**3/3 - h**2/2 + 3*h + 2. Let t be s(0). Is a equal to t?
False
Let s = -405 + 240. Let v be (1/1)/(s/22). Which is bigger: v or 1?
1
Suppose -110 = -7*f + 2*f. Suppose r + 5 = 2*a - 0, 4*a = -2*r + f. Suppose -t + 10 = -5*k, -t