
False
Let f = -11.1 + 11. Which is smaller: f or 17/5?
f
Let g = -3 - -2.9. Let k = -0.29 - -0.09. Let x = k - g. Are x and 1 nonequal?
True
Suppose 0 = 7*k - 2*k - 25. Suppose k*s - 4*s + 1 = 0. Which is bigger: -3/13 or s?
-3/13
Let x be (-6)/(-14) - (-21570)/42. Let q = -17992/35 + x. Are 1 and q nonequal?
True
Let h = -7.711 - -0.05. Let f = -0.039 + h. Let i = 8 + f. Is i at most as big as 0?
False
Let m = -0.24 + 0.14. Which is smaller: -0.3 or m?
-0.3
Let x = -11 - -10. Let p be (3/(-2))/x*-2. Is p at most -5?
False
Suppose -3*h - 2*r - 9 + 0 = 0, 0 = -2*h + r + 1. Let j(m) = -3*m + 1. Let k be j(5). Let v be 1 + k/10*1. Which is greater: h or v?
v
Let b = -2.8 - -2.95. Do b and 0.3 have the same value?
False
Let j = 7.9 - 0.64. Let l = -4.23 + j. Let g = -0.03 + l. Is 1 bigger than g?
False
Let z(f) = -4*f. Let m(w) = w**2 + w - 1. Let d(u) = m(u) - z(u). Let g be d(-3). Let a = 4 + g. Is a at least as big as -3/2?
False
Suppose -2*n - 3*t - 8 = -t, 0 = -2*n + 4*t - 20. Let k be (-3 - -3)*(-3)/n. Does 2 = k?
False
Let u = 84 + -60. Let g be (-112)/u - (-2)/3. Let x be (-14)/8 - 1/4. Is g not equal to x?
True
Let o = 1/13 - 19/78. Let v(z) = z. Let x be v(-4). Let d be (x/(-6))/(2/(-3)). Which is smaller: d or o?
d
Let p = 11 + -11. Let n be 24/45 + (-1)/3. Which is greater: n or p?
n
Let v = 6/67 + -200/737. Suppose -5*u + 2 = 3*g - 18, -2*u = -g - 8. Let d be 0/((2 - 0) + g). Which is bigger: d or v?
d
Let u be (0 + 0)*1/4. Is u at least 0?
True
Let h be 5 + -3 - 1 - -1. Suppose 4*s + 5*d - 11 = 0, h*s + 4*d = 5*s + 15. Which is greater: 1/6 or s?
1/6
Suppose -4*y + 4*d = -6 - 2, 4*y = d + 11. Let r = 1/375 - -874/375. Is r greater than y?
False
Suppose n + 30 = 4*u, -5*u = 3*n - 8 - 21. Let d be 16/84 - 2/u. Let v = 5/2 + -3. Are d and v equal?
False
Suppose -20 = 4*a - 8*a. Let u be 1/((-2)/4*2). Let o = u - -5. Which is bigger: o or a?
a
Let m = -10 - -11. Let r = 4/67 + 358/737. Which is smaller: r or m?
r
Let j(h) = -1. Let z(l) = 3*l**2 - l + 2. Let k(q) = 3*j(q) + z(q). Let a be k(-1). Suppose 0 = -a*g - 2*g - 15. Is g at most as big as -4?
False
Suppose 0 = -3*h + 10 - 1. Let u = 4 + -5. Let i be 0/1 - u - -2. Is h <= i?
True
Let o(g) = 3*g + 6. Let b be o(-4). Let s = b + 5. Let v = 8 + -8. Is v at most s?
False
Let s(k) = 22*k**2 - 13*k**2 + 14*k**2 - 4 + 5 - k. Let l be s(1). Let b = 252/11 - l. Does 0 = b?
False
Let g = -105 + 103. Which is smaller: g or -18/19?
g
Suppose 5*u = -2*s - 408, -3*u + 4*s + 152 = 402. Which is smaller: u or -83?
-83
Suppose y = 2*j - 3*j - 9, 2*y - 7 = 3*j. Let w = -18 + 16. Is y != w?
True
Suppose 0*q + 10 = -2*q + v, 3*q - 5*v = -29. Let o = q - -4. Let h be -11 + 10 + 11/9. Which is greater: h or o?
o
Let r = -4.08 - -4.1. Let i = 0.1 - 0.1. Is i less than or equal to r?
True
Let q = 30 - 13. Let z = -23 + q. Which is greater: z or -0.2?
-0.2
Let l(b) = b**3 + 9*b**2 + 9*b + 11. Let r be l(-8). Is 11/4 equal to r?
False
Let n(f) = 7*f + 64. Let j be n(-17). Do j and -55 have the same value?
True
Let i(f) = f**2. Let a(r) = -r**3 - r**2 - 5*r - 5. Let g(p) = -a(p) + 5*i(p). Let j be g(-5). Let q = -1 + j. Which is greater: 3 or q?
q
Let y = -0.3 - -0.2. Let f = 0.2 + -0.8. Let x = -0.4 + f. Which is bigger: x or y?
y
Let p(d) = 2*d**2 - 11*d + 14. Let q be p(6). Is 18 equal to q?
False
Let k = 1104/7 + -158. Let n = 3 - 4. Is n bigger than k?
False
Let m = -1 - -4. Let b be 3 + m + -5 + 0. Is b at least 2?
False
Suppose 0*t = 4*b + 4*t + 64, -3*b = -5*t + 32. Let v = b - -16. Let q = -7.7 - -8. Which is smaller: q or v?
q
Let m be 2/(-6) + 122/48. Let q be -1 + 21/24 + 2. Let l = m - q. Which is bigger: l or 1?
1
Let l = -30 - -4. Let s = l + 26.06. Is 3 at least as big as s?
True
Suppose 0 = -5*p + 2*r + 6, -3*p + 4*r = 5 - 3. Suppose u = 3*u + 4*v + 6, -5*v = -p*u - 6. Which is greater: -1 or u?
-1
Suppose -2 = -2*t - 0. Which is bigger: 1/4 or t?
t
Let i = -4481/13 - -345. Which is greater: i or 1?
1
Suppose -g + 2*w = 11, -g - 4*g = 4*w + 27. Let y = g - -7. Is 0 greater than or equal to y?
True
Let n = 0.73 - 0.73. Is n < 16?
True
Let k = 27 - 1916/71. Which is smaller: k or 1?
k
Let p = -0.7 - -0.8. Let v = -57 - -63. Is v less than p?
False
Let y be 4/(-10) + 8/70. Is y greater than or equal to -2?
True
Let x be (-4)/(-2 + 4 + -1). Let b(r) = -r**3 - 3*r**2 + 4*r + 3. Let l be b(x). Suppose 0 = 2*d + 2*s + 3 + l, -s = 3. Is d at least 0?
True
Let i = -9 - -9.8. Let q = i + -1. Let l(c) = -c - 7. Let z be l(-6). Is q bigger than z?
True
Let f = -9 + 4. Let r = f + 8. Which is smaller: r or -2?
-2
Let c = 24 - 26. Which is smaller: 0 or c?
c
Let n be (-2)/(-10)*(-50)/40. Which is bigger: 0 or n?
0
Let j = 0 - -0.1. Let c = -2.01 - -0.01. Let n = -1.8 - c. Which is smaller: j or n?
j
Suppose 7*b = 3*b. Let r be 2 + (b + -2)*1. Is r at most 2/17?
True
Let k(v) = -2*v + 9 - v + 4*v - 3. Let o be k(-7). Which is smaller: 2/31 or o?
o
Suppose 4*s - 2 = -2*u, -30 = -4*s + 5*u - 7. Suppose z + s = -z. Let n be (-6)/9*(z + 0). Which is bigger: n or 2?
2
Suppose 3*l + 2*s + 3*s = -5, 3*s = -l + 1. Let z(f) = 2*f**2 - 16*f - 5. Let r be z(8). Is l greater than r?
False
Let m be (448/(-76))/2 - -3. Are m and 1 nonequal?
True
Let m = -2076/20491 + 3/661. Are m and -1 nonequal?
True
Let i = 37/2 - 19. Let t = 0 + i. Is t > -0.1?
False
Let q be 80/(-12)*9*1. Let p = 99 + q. Let r = p + -119/3. Which is smaller: 0 or r?
r
Suppose -5*n - 3*c = -c, 0 = -5*c. Which is smaller: -8 or n?
-8
Let f = 22/3 + -160/21. Suppose 5*a - 11 = 4. Suppose 1 + 2 = a*b. Is f not equal to b?
True
Let v be 6 - (-1 + -1 + 3). Suppose -5*d = v*s + 20, -4*s = 2*d + 2 + 6. Is s equal to 0?
True
Let g be 1/4 - (-1)/(-4). Suppose -2*i = -o + 3, 0 = 2*i - 2*o - g*o + 8. Let x be -2 + 1/(2 - i). Is x > -2/5?
False
Let w be (3/2)/(9/(-12)). Let z be 3 - (2 + w - -2). Is z at most 2?
True
Suppose -6*g - 154 = -3*j - g, 23 = j + 4*g. Suppose -t = 4*t - 4*f - j, -25 = -3*t + 2*f. Let z = -22/3 + t. Is z at most as big as 1?
True
Let k be 45/20 + -3 + 9/12. Is 1/146 bigger than k?
True
Let a = -31/7 - -9/2. Is a smaller than 1?
True
Let t = -7 - -5. Let v = 0 + t. Let p = -12 + 10. Is p less than or equal to v?
True
Suppose -4*q + 2*q = 5*k - 33, -13 = -k - 2*q. Suppose -175 = -k*m - 590. Let v = -161/2 - m. Is v <= 3?
True
Let n(t) = -4*t - 2. Let p(z) = -9*z - 5. Let f(g) = -7*n(g) + 3*p(g). Let i be f(4). Is i not equal to 5?
True
Let l = -1912 - -21008/11. Is -2 <= l?
False
Let k = 0 + 0. Let f = -3 - -3. Suppose 4*q = -3*s - f*s, 5*q = 2*s. Do k and s have the same value?
True
Let d = -30 - -31. Are d and 3 equal?
False
Let u be 74/(-8) - (-4)/16. Let i be 3*3/(u/2). Suppose -2 = 4*y + 2. Which is bigger: y or i?
y
Let f = 45 + -26. Which is smaller: f or 22?
f
Let z = 1.13 + -0.13. Which is smaller: 2 or z?
z
Suppose l - 2*w - 3 = 0, l = -3*w - 3 - 4. Let a = 0 + -6. Let s be 48/45 + a/9. Which is smaller: s or l?
l
Let m(u) = -u**2 - 4*u + 1. Let g be m(-2). Suppose 0 = y - g + 4. Which is bigger: y or 9/4?
9/4
Let a = 6 - 3. Let q = -62 - -66. Which is smaller: q or a?
a
Suppose 0 = 3*w - 5*f - 9, -2*w - 3 = -5*f - 9. Let h be ((-12)/54)/(1/(-9)). Suppose -8 = h*k, -w*n - 8 = n + 2*k. Which is smaller: n or 1/6?
n
Suppose -3*a + 10 + 5 = 0. Let o be 1*a + (0 - -1). Which is smaller: o or 5?
5
Let u(j) = -j**3 + 7*j**2 - 6*j + 5. Suppose 4*b + w = 16 + 12, 5*w - 20 = 0. Let v be u(b). Which is smaller: 3 or v?
3
Let k = -4 - -4. Let h = 5 - 4. Is h > k?
True
Let v(w) be the second derivative of w**4/12 + w**3/3 + 3*w. Let r be v(-3). Is 5/3 bigger than r?
False
Let s be (-1 - -5 - 1)/1. Suppose 5*w - 5*a - 15 = 0, s*a + 2 = 2*w - 4. Let m be 0*(-2 - w/(-2)). Which is bigger: m or 1/4?
1/4
Let v(o) = -o**2 + 3*o + 3. Let c be v(4). Let a be 1*(-1 + c/(-1)). Suppose 4*n + 0*d + 4*d = a, 5*n - 2*d = 14. Is n greater than or equal to 2?
True
Let s(o) = o + 5. Let w be 8/3*(-3)/(-2). Suppose -w = 3*v + 8. Let i be s(v). Is 2 smaller than i?
False
Let p = 25 + -25. Is 11 at least p?
True
Let s = 0.8 - -5.2. Let n = 4 - 1. Let x = s - n. Does -1/4 = x?
False
Let j be (-17)/51 + (-11)/3. Let h be (-44)/165*6/j. Which is greater: 0 or h?
h
Suppose 5*g - g = 120. Let f be (-4)/14 - g/(-7). Let l be (-1)/(-2)*f/(-8). Are l and -1 non