Is 1/2 at most as big as j?
False
Let c = -1.3 + 2.4. Let i = c - 1.2. Is i greater than 0.01?
False
Let b(g) = -74*g**2 + 2*g + 1. Let d be b(-1). Let l be ((-10)/d)/(2/(-3)). Let s = 1 - 2. Is l at least s?
True
Let p = 124 + -116. Is p less than or equal to 1?
False
Suppose -4*f + 20 = 0, s - f + 6*f = 18. Let z be 4/(-2) - s/4. Let h(i) = -i**3 - 3*i**2 + 4*i - 1. Let t be h(-4). Is t at most as big as z?
True
Suppose -l + 24 = -4*l + r, r = -3*l - 30. Suppose 4*y + n = -30, -41 = 5*y + 2*n - 5. Which is bigger: l or y?
y
Let v(x) = 2*x**2 + 4*x - 5. Let o be v(-5). Is o at least 2/7?
True
Let x be -5*2/(-1) - 0. Let q be x/4 - 4/2. Is 0 < q?
True
Suppose 0 = 5*b - 4*x - x + 85, -2*x + 70 = -5*b. Let t = 39.8 - 40. Which is bigger: t or b?
t
Suppose 2*p + 3 = d + 8, -d + 1 = 4*p. Let l = -1 - p. Let i(o) = 3*o. Let a be i(-1). Is a > l?
False
Let o = 30 - 29. Is 1/15 less than o?
True
Let h = 4 + -10. Let y(f) = f**2 + 6*f + 1. Let a be y(h). Let c = 28/5 + -27/5. Which is smaller: a or c?
c
Let y be 2*1 + 236/(-34). Let p = 1294/255 + y. Let j be 1 + 0 + 0 + -1. Which is smaller: p or j?
j
Let j(a) = -4*a**2 - 4*a + 12 - 14 + 3*a**2. Let g be (-1)/((-1)/(-3)) + 0. Let c be j(g). Which is bigger: c or 2/7?
c
Let q be 117/5 + 12/20. Suppose 4*k = 4*g + q, -2*g - 2*k = 12 + 4. Which is greater: -5 or g?
-5
Let q = -0.37 - 0.03. Let a = 0.4 + q. Let m = -0.3 - -0.4. Is m greater than or equal to a?
True
Let l = -50/3 - -22/3. Is -9 at most l?
False
Let x(l) = l**2 - 5*l - 4. Let t be x(6). Which is smaller: 3/5 or t?
3/5
Let i = 26 - 26. Suppose -4*f - 3*m = 11, -f - 3*m - 1 = 4. Is f <= i?
True
Let s = -0.13 - -6.13. Let z = s + -1. Let j = z - 4. Is j at least as big as -1?
True
Suppose 5*l - 3*d = -22, -l + d = -3 + 7. Let r = 49 + -47. Let i = r + l. Which is smaller: -4 or i?
-4
Let u(i) = -i - 5. Let d be u(-4). Suppose 3*r - 14 = -5. Let y be 2*r/4 + -2. Is d greater than or equal to y?
False
Let x = -73 + 74. Is -25 less than x?
True
Let j be -26*(-15)/(-20) - 2/(-4). Is -21 equal to j?
False
Suppose 3*l = 6*l + 540. Let s be (-8)/l*(1 + 2). Which is greater: s or 1?
1
Let l(m) = -6*m + 9. Let a be l(-7). Let j = a - 35. Suppose 5*q + 9 = -j. Which is bigger: q or -4?
-4
Let p = 36 + -39. Which is bigger: 1 or p?
1
Let w(y) be the second derivative of y**4/12 + 5*y**3/3 - 9*y**2/2 + 4*y. Let l be w(-11). Is l at most as big as 0?
False
Suppose -p + 26 = 2*p - 5*r, -4*r = -2*p + 18. Let y = p - 9. Is y < -2?
False
Suppose 0 = 4*z + 5*g - 5, -4*z + 2*z = 5*g + 5. Suppose 2*j + 4 = 0, -z*c = -c - 3*j + 14. Is -6 not equal to c?
True
Let j(p) = p - 3. Let n be j(6). Is n < 3?
False
Let t be 1*3 + (-2)/6. Suppose -11 = -5*x + 3*r + 11, 10 = x - 2*r. Which is smaller: x or t?
x
Suppose -2*l + 3*f - 5 = 1, -5*f + 20 = 0. Suppose 0 = b - l*b. Does b = 12/11?
False
Suppose 0 = -i + 5*i. Is 6 at least as big as i?
True
Let z = 35 - 30. Which is smaller: 3 or z?
3
Suppose -3*s + q = -16, -s + 3 + 7 = -5*q. Let r = s + -6. Which is bigger: r or -5/4?
r
Suppose 2*b + 3*c - 1 = -7, -2 = -c. Let a = b + 12. Let m be (6/16)/(a/(-4)). Which is smaller: 1 or m?
m
Suppose 0 - 5 = -k. Suppose -67 = -k*s + 43. Let i = s - 177/8. Which is greater: i or -2/7?
i
Let n = 8 + -8. Which is smaller: n or -2?
-2
Let s = -3 - -5. Suppose -s*l - 8 = 3*l - 4*b, l + 10 = 5*b. Which is bigger: l or -0.2?
l
Let h = -2 + -1. Do -0.4 and h have the same value?
False
Let u(j) = 3*j. Suppose -4*g = -3*w - 11, 8 = -4*w + 2*g - 0*g. Let n be u(w). Let p be (-2)/n + (-6)/9. Is p at least as big as -3/5?
True
Let n = -47/65 - -4/5. Are n and 2/5 non-equal?
True
Let x = -0.8 - -0.4. Let v = -0.4 - x. Which is greater: 0.2 or v?
0.2
Suppose 3*t - 2*r = -0*r, 4*t + r + 11 = 0. Let k be ((-4)/(-2) + -1)*1. Let h be -5 + k + 2*1. Is t smaller than h?
False
Suppose -5*f - 3 = -2*f. Suppose 3*q - 5*r = 55, -q + 2 = 3*r + 7. Let h be q/(-4)*6/20. Are h and f nonequal?
True
Suppose 0 = 3*f + 2*f - 4*p + 24, -p + 21 = -5*f. Which is smaller: 0 or f?
f
Suppose 7 = o + 8. Which is smaller: 3/14 or o?
o
Suppose 0 = -3*a - 3*p - 2*p + 6, 0 = 2*a - 2*p + 12. Let o(u) = u**2 - 5*u + 4. Let h be o(3). Which is smaller: a or h?
a
Let h(g) = 11 - 8*g + 8*g**2 - 3*g**3 + g**3 + 3*g**3. Suppose -4*l = -3*l + 9. Let o be h(l). Is o greater than 3?
False
Suppose 0 = l + 5*x - 10, -22 = -5*x - 2. Suppose -q + 2*q - 5*o = -36, 0 = 2*q + 3*o + 7. Is q >= l?
False
Suppose 2*x - x = -6. Let f = 7 + x. Is f bigger than 2/3?
True
Let q be (8/(-472))/(1 + 0). Is q != 0?
True
Let y be (-3 - 26/(-14)) + 2. Let f = y + -5/14. Is 2 >= f?
True
Let p be 1*(-10)/((-25)/(-5)). Let r be 10/(-11)*(1 + 0). Are p and r non-equal?
True
Let n(o) = 4*o + 14. Let i be n(-5). Is i < -3?
True
Suppose 6*d - 5 = 13. Which is smaller: 7 or d?
d
Suppose -4*a = q - 2, -4*q + 2*a = -2*a + 32. Let t = q + 5. Is t less than or equal to 2?
True
Let c = 0.04 + -0.04. Which is bigger: c or 0.13?
0.13
Suppose 3 = -2*j + 17. Which is greater: 0 or j?
j
Let l be 576/1863 - (-4)/(-18). Is l > 0.2?
False
Let a be (54/4)/(1/24). Let c be ((-6)/a)/((-1)/4). Which is smaller: 0 or c?
0
Suppose 2*d = -2*k + 10 + 8, -95 = -5*d + 5*k. Which is smaller: d or 15?
d
Suppose 39 = -3*h + 3. Is h smaller than 0?
True
Let m = 123 + -107. Which is smaller: m or 12?
12
Let v = 23 + -23. Let y = 3 - 10. Which is bigger: v or y?
v
Suppose -j = j + 2. Let b = -55 + 221/4. Which is smaller: j or b?
j
Let d be (0 + -1)*-1 + -5. Let i be d/(-2) - (1 + -1). Which is greater: 4/3 or i?
i
Let i(b) = b - 1. Let p be i(-1). Let u be ((-3)/2)/(15/20). Is p equal to u?
True
Let t be (2/(-12))/((-2)/(-3)). Suppose 0 = 2*n + 5*o + 12, 5*n + 27 + 3 = -5*o. Let h be 2 - (n - -3)/(-1). Which is smaller: h or t?
h
Let g = -1787/143 + 574963/52338. Let x = g + 2/183. Suppose -2 = 4*k + 6. Is k not equal to x?
True
Suppose 3*f + 6 + 0 = -n, 3*n - 8 = 4*f. Suppose 4*j = h + 3, -12 = 5*h + 2*j - 41. Suppose v - 2*v = h*y - 2, -y + 2*v - 4 = 0. Is n less than or equal to y?
True
Suppose 38 = 9*d + 20. Which is greater: -14 or d?
d
Let b = -0.18 + 0.18. Is b greater than -2?
True
Let q be (27*1)/(4 + -5). Let u = -17 - q. Let v be 5/u + (-6)/28. Is -1 < v?
True
Suppose 6 = 3*n, -2*f - 4*n + 2 = -3*f. Suppose 0 = -4*b + f + 18. Suppose -2*k - b = -0*k. Is k bigger than -2?
False
Suppose -4*k = -60 + 20. Suppose -4*m - k = b, 60 = 4*b - 0*b - 4*m. Suppose 5*j - b = -5*n, j + n + 2 = 4*j. Which is smaller: j or 2/3?
2/3
Let q = -8 - -4. Let r = q - -3. Is r at most 0?
True
Suppose 5*a = -5*q + 2*q + 7, -4*a = -q - 9. Suppose -4*s - 4 = 4. Let x = s - -1. Is q != x?
False
Let h be 21/(-18)*-3*-3. Let u = 9 + h. Which is smaller: -3 or u?
-3
Let l be (-708)/110 + -16*(-6)/120. Which is bigger: l or -7?
l
Suppose 68 = 5*j + 2*i, 4*i + 2 = j + 6. Which is greater: 59/5 or j?
j
Let o = 13 + -11. Let k be (0 + (2 - o))/(-3). Let r = 257/7 + -37. Is k at most as big as r?
False
Let y be -3 + 2 + (5 - 7). Let d = y - -5. Do 3 and d have different values?
True
Suppose -f - 32 + 4 = 0. Let t = f - -19. Is t != -9?
False
Suppose -6*l + 8*l - 156 = 0. Let b = l + -467/6. Which is greater: b or 0.1?
b
Suppose -9 - 5 = -4*m + 2*z, 3*m - 3*z - 3 = 0. Let b be (2 - m/2)*1. Is 2/19 greater than b?
True
Let a = -3224888/14845257 + -1/73857. Let r = -1/201 + a. Which is smaller: 1 or r?
r
Let h = 1/1990 - -178103/3980. Let n = h + -45. Is -0.1 less than or equal to n?
False
Let i(x) = -x**2 - 8*x - 10. Let q be i(-9). Which is smaller: q or -20?
-20
Let t be (-12)/(-10)*(-10)/3. Let o = 4 + t. Suppose 2*w + 2 = o, 3 = -2*s - 0*w - 3*w. Is 0 equal to s?
True
Suppose -2*x + 3 = 5. Which is smaller: -3 or x?
-3
Let j(p) = p - 5. Let f be j(4). Let s be (-2)/(-9) - 352/(-36). Let d be 46/90 + (-4)/s. Which is greater: d or f?
d
Suppose -t - 10 = -6*t. Let q = t - 2. Is q >= -1?
True
Let b be 10/(-12)*(4 - 2). Is -1 greater than b?
True
Let p be (-2 - 1) + (-228)/(-78). Is p less than 0?
True
Suppose u - 3*v = -3*u + 282, 209 = 3*u - v. Suppose -5*l = -24 + u. Let m = l + 9. Which is smaller: m or -2?
-2
Suppose 2*s + 3*s = 10. Let o be (-14 + -1)/((-3)/s). Is o equal to 11?
False
Let z = -0.5 + -0.2. Let o = z + 0.5. Let u = 0.1 - 0. Is o less than or equal to u?
True
Suppose 28 = 5*m - a, -2*a + 6 =