maller: 1 or h?
1
Let x = -3 - -2. Let o be 2*9/(-6)*1/3. Do o and x have different values?
False
Let s be 2/4*-2 + 0. Let r = s + 1. Let q be (6/8)/(90/80). Which is smaller: q or r?
r
Let i be 4 + 1 + (-2)/(-1). Let f(l) = l**3 - 3*l**2 - 3*l + 1. Let z be f(3). Let b = z + i. Which is smaller: b or 2/11?
b
Let m be (2/5)/((-9)/(-45)). Is m >= 1/13?
True
Let g = 31/2 + -16. Let y(l) = -l**3 + 5*l**2 + 7*l - 2. Let u be y(6). Let q = u - 5. Does g = q?
False
Let b = 0.11 - 7.11. Which is greater: 1 or b?
1
Let x = -0.19 + 0.19. Let m(w) = w**3 - w**2 - 3*w + 2. Let g be m(2). Is g >= x?
True
Let b = 67 + -16. Let a be b/207 - (-2)/(-6). Are a and 1 unequal?
True
Suppose -2*n + 2*r - 2 = 0, 4*n = n + 2*r - 2. Does 1/62 = n?
False
Let s = 104 - 68. Suppose 0 = 4*t - t + s. Let g be 0 - 0 - (-18)/t. Are -1 and g non-equal?
True
Let x = -15 - -7. Let d be (-2)/8 + (-2)/x. Let y be (1 + d)*0/(-1). Which is greater: 1 or y?
1
Let m = 8.9 + -0.9. Do m and -2/13 have the same value?
False
Let y = 133 + -133.091. Is 0 less than or equal to y?
False
Let a = 3 - 6. Suppose 5 = 5*d - 5. Let t be 4*(-1)/(-4) - d. Does t = a?
False
Let g be (-1)/4 + (-24)/32. Is g != -1/15?
True
Let p = 1091/9 + -121. Which is smaller: p or 0.12?
0.12
Let p be 2 + 2 + -3 + 1. Suppose p*l - 5*a - 33 = 0, -2*l - 4 = 2*a - 2. Suppose 2*c - 4 = l. Which is greater: 3 or c?
c
Let g = 8 + 2. Suppose 0 = 5*w + 4*j + 5, -5*w + 3*j - 4*j + g = 0. Suppose -h = -w*h. Is -2/15 <= h?
True
Let y = -177 + 176. Let d = 10 + -10.7. Is d bigger than y?
True
Let i be (2 + -4)/(4/(-2)). Let o = i + 1. Suppose 2*s = -0*s + o. Which is smaller: -2/7 or s?
-2/7
Let v = -4 - -3.4. Let m = v - -2.6. Is m at most as big as 0?
False
Suppose 0*v - 2*j = 3*v + 596, 0 = -v - 2*j - 204. Let r be 7/v + (-2)/(-7). Are -2 and r nonequal?
True
Let p = 17 - 18. Which is smaller: 2/5 or p?
p
Let s(r) = 2*r**2 + 5*r. Let o be s(-5). Let t be (-8 - -7) + o/23. Is t greater than or equal to 0?
True
Let u be (48/(-28))/(6/42). Is -1 at most u?
False
Suppose -u = -5*z + 12, 5 = 4*z - u - 5. Let x be ((-9)/(-6))/((-3)/(-4)). Are x and z equal?
True
Let n be (4/(-10) + 8/(-30))*3. Suppose 0 = -2*o + 2 + 2. Suppose -7 = -5*a + 2*j - 4, o*a - 10 = 3*j. Which is bigger: a or n?
a
Let d = -53/4 - -13. Suppose -2*k + 4 = 2*k. Do k and d have different values?
True
Suppose -4*n = -7*n. Which is smaller: n or -4/11?
-4/11
Suppose 0 = 16*n - 10*n + 72. Is -12 greater than or equal to n?
True
Let j(i) = -i**3 - 17*i**2 + 16*i - 43. Let v be j(-18). Which is smaller: -15/2 or v?
-15/2
Suppose 3*k - 16*k = 13. Is 2 <= k?
False
Let j(s) = s + 6. Let l be j(-6). Suppose 0 = -2*k - 2, 5*k = -x + k - 4. Let n be (-2)/9 - (0 - x). Is n < l?
True
Let d(s) = 0 - 3 - s + 4. Let k be d(1). Is k at most as big as 0?
True
Suppose -2*w + 16 = 2*w. Which is smaller: w or 14/3?
w
Let z be 110/6 + (-2)/(-3). Suppose 4*n + z = -p, -6*p = -2*p - 2*n - 14. Are p and 2/9 nonequal?
True
Let l = 67 + -203/3. Suppose 0 = f + 5*g + 12, 3*f - f - g + 2 = 0. Is l less than or equal to f?
False
Let f = 18 + -23. Suppose -p = -0*p - 12. Let b = -17 + p. Is f >= b?
True
Let c be -2 + 4 + -5 + 244/82. Which is smaller: c or 1?
c
Suppose 2*l + 5 = -3*f, -2*l - 2*f - 1 = -3*l. Let w = -2 + l. Which is greater: w or -4?
w
Let v be (36/8)/(3/4). Let a be (-2)/(-5)*(-10)/v. Which is smaller: 0 or a?
a
Let f = -27 - -111/4. Suppose 0 = 2*x + 5*a + 21, -x - 12 = -2*x + 5*a. Let m be 2/((-1 - 5)/x). Which is smaller: m or f?
f
Suppose 2*w = 4*x - 38, 6*w - 2*w + 58 = 2*x. Which is smaller: -1/3 or w?
w
Let q = -0.11 + 0. Let h = -2.11 - q. Is 5 at most as big as h?
False
Let r be 2/9 - 92/90. Which is bigger: r or 0?
0
Let a be (2/40)/(4/(-24)). Which is smaller: 0 or a?
a
Suppose 54*t = 61*t - 280. Which is bigger: 41 or t?
41
Let x be (0 - 1/(-3))*-3. Let w(v) = -v - 12. Let t be w(-12). Is x less than or equal to t?
True
Suppose l = f + 1, 9*f - 5 = 4*f. Suppose -5*q + 105 = -l*q. Suppose q = -5*m - 5. Is m < -7?
True
Let b be -3*(-5)/285*2. Is b > 5?
False
Let c = 433/2 - 221. Let w = -15 - -19. Suppose w*i = 8*i + 20. Is i less than or equal to c?
True
Let v be (-4)/18 - 204/(-432). Which is greater: v or 3.9?
3.9
Suppose h + h - 18 = 0. Suppose -h*k = -6*k. Let w be (-4)/3*2/(-8). Which is greater: w or k?
w
Let v(p) be the second derivative of p**4/12 + 2*p**3/3 - 3*p**2 + p. Let q be ((-4)/6)/(14/105). Let w be v(q). Which is smaller: w or -2?
-2
Let l = -0.81 - -1.81. Which is smaller: l or 0.096?
0.096
Let p = 41/3 + -281/21. Let i = 0.038 + -8.038. Is i greater than p?
False
Let w be 1 - (-1)/3*-3. Let p be 1/5 + (-655)/25. Let r be 4/p + 58/(-130). Which is smaller: w or r?
r
Let l = -54 + 13. Is 2/5 greater than or equal to l?
True
Let c(n) = n**2 - 6*n + 3. Suppose 0 = 2*j - 7*j + 5, -5*p + j = -19. Let i be c(p). Is -3 <= i?
False
Let a be ((-5)/(-15))/((-2)/30). Let h be a/(-4) + (-5)/20. Which is bigger: 5/7 or h?
h
Let a = -4 - -8. Is -1/3 < a?
True
Suppose 6*z = 3*z + 24. Let x be ((-1)/10)/(4/z). Which is smaller: x or -2?
-2
Let g(p) = p**2 + 7*p + 6. Let h be g(-5). Let k be (0 - 3 - h)*6. Is 6 at least k?
True
Let o(g) = 2*g**2 + g. Let h be o(-2). Suppose i - h*i = 0. Suppose 3*w + w = i. Do w and 1/2 have the same value?
False
Let m be 1/(-2)*16/14. Suppose -j - 3*h = h + 5, -2*h - 5 = 3*j. Which is bigger: m or j?
m
Suppose 2*d + 5*o + 1 = 0, 3*d + o - 5 = -0*o. Let r be (6/(-4))/(3/(-30)). Let i be 4/6 - 16/r. Are d and i equal?
False
Suppose 0 = -j + 39 - 17. Let g be 18/j - (-6)/33. Let d = -3 + g. Is d smaller than -2?
False
Let n = 16 - 20.7. Let a = -5 - n. Let k = 0.2 + a. Does 0.2 = k?
False
Suppose 7*y + 6 + 1 = 0. Is -4 less than or equal to y?
True
Let u(r) = -r + 8. Suppose 5*n - 38 = -8. Let p be u(n). Let w be (-5)/p*(6 - 4). Are w and -1/2 unequal?
True
Let x(o) = -2*o - 5. Let c be x(-3). Let t be 3/12 - (-86)/(-408). Which is smaller: t or c?
t
Let t be -2 + -2 + 4/1. Let x be (-1 + 2 + -2)*-1. Let f = t + x. Is -3/10 smaller than f?
True
Suppose -f + o + 2 = 0, 0 = 3*f + 2*f + o + 14. Is f >= 0?
False
Let n = -28 - -28. Is n at most as big as -0.11?
False
Suppose -4 = -3*s - 7. Suppose 5*t = 4*t + 5*p + 36, -t + 6 = 5*p. Let l be (-9)/t*(-1 + 2). Is l not equal to s?
True
Let f be 232/(-12) + (1 - 3). Let y = f - -20. Let p = 0 - 0. Is y >= p?
False
Suppose 4*t - 3*j = -4, -4*t - 7*j = -3*j - 24. Suppose -2*x - 22 = 5*q, -5*x - 21 = t*q + 2*q. Which is smaller: q or 1/3?
q
Suppose -3*z = -8 - 82. Let q = 59/2 - z. Is q equal to -1?
False
Suppose 364 + 186 = -10*i. Is i bigger than -55?
False
Let u(z) = -2*z - 7. Let q be 10/4*1*-2. Let s be u(q). Suppose -3*g = 4*j - 21, s*g + 6*j = 3*j + 18. Is -0.1 bigger than g?
False
Let x = 1/137 + -1240/959. Is -1/3 <= x?
False
Let c(s) = -4*s + 8*s - 3 - 3*s. Let f be c(3). Let b = 53/2 - 26. Is f less than b?
True
Let f = -21.757 + -0.143. Let n = 22 + f. Is n at least as big as 9?
False
Let l = -0.11 + -2.09. Let y = l - 0.8. Let b = y + 3.3. Is 2 greater than or equal to b?
True
Let p = -2.2 - -1.2. Which is bigger: 60 or p?
60
Suppose -2 + 7 = -b, 0 = -r - 4*b - 48. Let u be 1/2 + r/8. Let w be u/4*4/(-6). Is -3/5 < w?
True
Let z = 1.001 + -0.001. Is -0.15 bigger than z?
False
Let i = 1571/11 - 143. Are -0.2 and i unequal?
True
Suppose 4*l - 7 - 9 = 0. Let q be (-1)/6*-32 - 2/6. Does l = q?
False
Let r be (-1 + -2)*(14 + -13) + -3. Is r <= -3?
True
Let x = 6.4 + -0.4. Is -2/3 greater than x?
False
Let m = -45.2 + 45. Is -30 greater than m?
False
Let q = -7873/1270 + -1/1270. Which is smaller: -7 or q?
-7
Suppose 0 = 2*s - 2 - 4. Let u be (-1)/s*0 - 3. Let p = 4 + u. Which is smaller: p or -2?
-2
Let p(k) = -k**3 - 6*k**2 - 4*k - 3. Let w be p(-5). Let i be 2/10 + w/(-10). Is 2/15 greater than i?
False
Suppose 4*c - 3 = -3*o, -1 = -0*c + 3*c - o. Which is smaller: c or 12/11?
c
Let y be ((450/(-4))/3)/12. Let d = -458977/24 - -19127. Let j = y + d. Is j less than or equal to -1?
False
Suppose 5*r = 6 - 1. Let q be (-2)/6*(2 + r). Which is greater: q or -1/10?
-1/10
Suppose 0 = 8*p + p + 36. Is -0.3 != p?
True
Let f be -5 + -7 + 0 + -1. Is -40/3 greater than or equal to f?
False
Let a = 9.7 - 8. Let u = a - -6.3. Let b = u - 8.1. Which is smaller: 2 or b?
b
Let a be -1 + -