- 36. Is 0.02 greater than or equal to f?
True
Let j = 537 - 1051/2. Let f = -12 + j. Is f >= 2/13?
False
Suppose 4*y - 3*h - 193 = 0, 0 = 5*y - 3*y + 5*h - 77. Let f = y + -187/4. Is f at least as big as -2?
True
Let d(h) = -3*h - 2*h**2 + 3*h**2 + 0*h**2. Let g be d(3). Let w = 3 - g. Which is smaller: w or 4?
w
Let m = 0.4 - 17.4. Let s = m + 17.3. Is 2/5 > s?
True
Let q = -40 + 51. Is 11 <= q?
True
Let s = -988.02 - -996. Let o = s - 8. Is -1/3 smaller than o?
True
Suppose 2*w + 24 = 8. Let t(f) = f - 2. Let b be t(4). Let p be ((-5)/(-10))/(b/w). Which is smaller: -5 or p?
-5
Let m = -2941/552 + -1/184. Let j = -754 - -748. Is m != j?
True
Suppose -o + 26 = 4*j - 1, 0 = 3*o + j - 59. Which is bigger: o or 35/2?
o
Let c = -0.4 - -1. Is c >= 2?
False
Let m = -4 - -6. Suppose -4*s = 0, 3*s = 3*k - m*s + 6. Let c = k - 0. Is -2 less than or equal to c?
True
Suppose 36 = 3*x - 18. Which is bigger: x or 19?
19
Let u = -163 - -169.55. Let f = -1.55 - u. Let n = -8 - f. Which is smaller: n or -4?
-4
Let u = -3 - -2. Let m = -35 + 37. Let n = u - m. Is 1 != n?
True
Let d(y) = y - 4. Suppose 7 = 2*g - i - 8, -20 = g + 5*i. Let a be d(g). Is a bigger than 6?
False
Let f = 9.85 + -2.67. Let i = f - 0.18. Is 0 less than i?
True
Let b = 0.3 - 1.3. Let z = 10.7 - 20.9. Let h = -10 - z. Is b less than h?
True
Suppose 3*w - 2*n = w + 28, -3*n + 22 = w. Suppose -2*s - 2*s + 2*u + w = 0, 5*u = 0. Let r = s + -3. Is -0.3 at least r?
False
Let i = -0.1 - 0.7. Let r = i + -0.2. Let a = -226 - -2036/9. Which is bigger: a or r?
a
Let c be ((-2)/6)/(3/(-18)). Suppose 0 = -2*k + 4*k + c. Let q be 8 - (4 + (-2 - k)). Which is smaller: 3 or q?
3
Let n(o) = 2*o**2 - 38*o - 18. Let j be n(19). Is j at most -17?
True
Let d be (-595)/198 + (2 - -3) + -2. Is -1 greater than or equal to d?
False
Let a = 36.7 - 0.4. Let s = -38 + a. Let z = 2 + s. Which is smaller: 1 or z?
z
Let v(t) = 2*t + 16. Let z be v(-8). Are z and 3/17 equal?
False
Let m(z) = 18*z**2 - z. Let a be m(-1). Suppose -t - 3 = u, 0*t - 3*u = 5*t + a. Suppose 4*p = 3 - 23. Is t not equal to p?
False
Let d = 0.4 - 0.3. Suppose -2*x - 40 = 3*x. Let v = x - 1. Which is bigger: v or d?
d
Let h = 0.51 - 0.31. Let d = 12.8 - 14. Let w = -0.2 - d. Is w at most h?
False
Let b = 9 + 0. Is b less than or equal to 9?
True
Let f = -1034 - -6227/6. Let n = 73/18 - f. Is -4 at most n?
True
Let f = -5 - -2. Let h = -0.01 + 0.01. Which is smaller: f or h?
f
Let w(h) = -3*h + 9. Let f(r) = 7*r - 19. Let p(n) = -4*f(n) - 9*w(n). Let c be p(-4). Let k be c/(0/3 - -1). Is k greater than -1?
False
Suppose x = 4*x - 2*w + 23, 2*x - w + 15 = 0. Which is smaller: -6 or x?
x
Suppose 6 = k + 54. Let h = -146/3 - k. Let b(u) = -u + 1. Let l be b(2). Which is smaller: l or h?
l
Let v = 0.4 + 5.6. Let w = -6.2 + v. Is -1/5 greater than or equal to w?
True
Let b = 0.67 - -19.23. Let y = -20 + b. Is y smaller than 0.07?
True
Let i = -27.1 - -27. Are i and -13 non-equal?
True
Let t = -4 + -7. Let h = 5 - 15. Is h <= t?
False
Let g(f) = f + 4*f**2 - 3*f**2 - 2*f**2 + 2 - 2*f. Let z be g(-4). Which is greater: z or -9?
-9
Let v = -950/7 + 136. Let d = v + 0. Let p be (42/147)/(3/(2 - -1)). Does p = d?
True
Suppose 5*b + 20 + 20 = 0. Let r be (-18)/(-40) - (-2)/b. Which is bigger: 0 or r?
r
Suppose -2*z - 3*z = 5. Let b(k) = -33*k + 1. Let c be b(z). Let h be c/(-60) + (-2)/(-12). Do h and 0 have different values?
True
Let l(y) = y**3 + 11*y**2 + 11*y + 6. Let h be l(-10). Let j(v) = -2*v. Let d be j(h). Is d at least as big as 7?
True
Let h = 9 + -5. Suppose h*b = -w - 1, b + 0*w = -w - 4. Let v = 1 - 0. Is v >= b?
True
Let j = -71 - -71.5. Which is bigger: -2/17 or j?
j
Let f = 16 - 22. Let j = -5 - f. Which is smaller: 0 or j?
0
Let d = 1/118 + 347/826. Suppose -5*z - 2*x = -12 - 5, -3*z + 19 = -x. Suppose -z*a - 4*g + 3*g = 6, -g - 2 = a. Is a greater than d?
False
Suppose 10*t - 4 = -14. Suppose 6*l = l. Are l and t unequal?
True
Let x = -5/3 - -55/24. Is x at most as big as 1?
True
Let l(v) = 2*v + 11. Let c be l(-5). Is c >= 1/42?
True
Let s(r) = -4*r - 2. Let f(x) = -x**2 - x - 2. Let g be f(0). Let o be s(g). Is 7 less than or equal to o?
False
Let y = 0.6 + 5.4. Which is smaller: 2 or y?
2
Suppose -2*g - 18 = 4*h, 0 = -5*h + 5*g + 12 + 3. Suppose 0 = 3*s - 2*d - 26, -2*s - 2 = -4*d - 30. Suppose y - 7*n - s = -5*n, -2*y + 3*n + 8 = 0. Is y <= h?
True
Suppose -b - 4*v - 11 = 0, -b + 5*v - 4*v + 4 = 0. Let f = 6 + -4. Suppose u + u - f = 0. Is b greater than u?
False
Let g be 1/4 + (-318)/(-8). Let r be (g/(-10))/(1*-2). Which is smaller: r or 0.3?
0.3
Let o be (-2)/3*(-6)/(-8). Which is smaller: o or 1?
o
Let u(r) = -r**3 + 5*r**2 + r + 2. Let w = 14 - 9. Let y be u(w). Is 7 greater than or equal to y?
True
Let m be (-68)/(-11) - 12/66. Suppose -4*h + 20 = h. Suppose -9 - 11 = -h*w. Is m at least as big as w?
True
Let b be (-2)/3*(-3)/4. Let n = 12.8 + -9. Let k = -4 + n. Is b not equal to k?
True
Let a = 2836/7 + -402. Is -1 less than or equal to a?
True
Suppose -4*x + 4 - 16 = 0. Is -3 <= x?
True
Let p be (6/(-5))/((-8)/20). Suppose -3*m = -2*y - 3*y + 11, 5*m + 7 = -p*y. Is m less than -4?
False
Let m be (-7)/21 - 93/(-63). Which is smaller: m or 0?
0
Suppose 4*p - 3*x = -6 - 5, -4*p = -4*x + 16. Let w = 2 - 3. Let j = 1 + w. Is p at most as big as j?
False
Suppose 1 + 1 = 2*k. Let h = -195 + 273. Let j be -21*(h/21 + -4). Which is smaller: j or k?
k
Let w = 0.03 + -0.05. Let b = 6.28 - w. Let p = b - 1.3. Are 1 and p non-equal?
True
Suppose -4*z + 0 = -0. Is 0 less than or equal to z?
True
Suppose 11*o - 16*o = 20. Which is smaller: -3 or o?
o
Let z = 0.8 - 3.8. Let g = -2 + 2. Suppose 5*p - 4*p = g. Is p greater than or equal to z?
True
Suppose -4*l = 5*m - 2*m - 9, -3*m - 3*l = -12. Suppose -m*w - 35 = -2*w. Let c be ((-1)/(-5))/((-1)/w). Is 1 at least c?
False
Let d = -23 + 20.5. Do 1/4 and d have the same value?
False
Let w(h) = h**2 - 10*h - 1. Let n be w(10). Is -6/17 < n?
False
Let w = -5 - -5. Let j(u) = -u + 7. Let h be j(7). Suppose w*z - 3*z = h. Is z at most -4?
False
Let h be (-8)/(-6)*3 + 4. Which is greater: h or 3?
h
Let h = -3229 - -71837/22. Let p = h - 73/2. Which is smaller: p or 0?
p
Suppose -5*v = 80 - 0. Let d = v - -9. Which is greater: -5 or d?
-5
Suppose 21*z - 4 = 22*z. Let d be (-3)/(9/(-4))*-3. Is d <= z?
True
Suppose -2*h - 4*f = 20, 5*f = 4*f - 4. Is -1 > h?
True
Let s = -348 - -352. Let j be 2/(-4) + 14/4. Is j bigger than s?
False
Suppose -5*y + 3*h + 0 = -6, 5*y - 30 = -5*h. Let v(t) = 5*t - 2*t + 2*t**2 - y*t**2. Let z be v(3). Are -5 and z unequal?
True
Let r = -77 + 29. Let w be (3/(-14))/(36/r). Which is bigger: -1 or w?
w
Suppose -2*v = -4*f + 12, 3*f = 4*v + f + 6. Let i be 6*(21/9 + -2). Suppose 3*r = i*r. Is r equal to v?
True
Let b(o) = o - 10. Let k be b(0). Is -10 less than k?
False
Let f = -1837/7 + 263. Let i(y) = y**2 + 2. Let r be i(0). Is f > r?
False
Suppose -x = -5*s + 20, 3*s + 4*x - 3*x - 4 = 0. Is 7 > s?
True
Let s be 1/(-4) + 2/8. Suppose v - 6 = -s*v - 5*a, 2 = -v - a. Is -1/2 greater than or equal to v?
True
Suppose -3*l - 81 = -6*l. Are 26 and l non-equal?
True
Let o = -3 + 3.1. Which is bigger: -1.4 or o?
o
Let i(t) = t**3 + 6*t**2 - 9*t - 5. Let x be i(-7). Let y = x + -15. Which is smaller: -2 or y?
y
Let q be 4*-1 + 2 + 1. Suppose 0 = -c + 5*c - 40. Let m be c/12 - (-1)/(-3). Is m >= q?
True
Let k = -349/2 - -3109/18. Which is greater: -1 or k?
-1
Suppose -2*x = -13 - 17. Suppose 0 = 4*d - d - 4*j - x, -3*j = -4*d + 27. Let p be 2/6*d/(-12). Is 1 < p?
False
Let b = -83/149 + -31701/1937. Let f = -17 - b. Are 0 and f non-equal?
True
Suppose -7*f + 3*f = 0. Let g be f + (-1 - (1 + -2)). Let s = 111 + -885/8. Is g smaller than s?
True
Let r be 50/4*4/45. Are 2 and r non-equal?
True
Suppose 10*a - 14*a = 0. Let k = 2 + -12. Let u be k/8*1 - -1. Which is bigger: u or a?
a
Let o = -16 - -16. Which is greater: -10/11 or o?
o
Let k = 87 - 207. Let j = k + 85. Let y be 5*(6/j)/3. Is 3 >= y?
True
Let b = -6.9 + 0.9. Let i = b - -5.7. Let q = i - -0.4. Which is smaller: q or -1/2?
-1/2
Let p = 8 + -8. Suppose 56 = -3*y + 4*y. Let r = y + -225/4. Which is smaller: r or p?
r
Let k = -0.96 - -1. Let t = k - 0.05. Let g = 0.09 - t. Which is smaller: g or 0?
0
Let a = 8.08 - 0