ler: n or 1?
n
Let b(c) = c + 2. Let w be b(-8). Let o be (-2)/w*(-42)/(-1). Is o greater than 13?
True
Let j = -5 - -2. Is -5 less than j?
True
Let m = 0.6 - 0.1. Let y = -0.4 + m. Let i be ((-24)/(-63))/((-6)/(-9)). Is i != y?
True
Let i = -2 - -7. Let n = i - 9. Let m = 4 + n. Are 3 and m non-equal?
True
Let x = -7 + 3. Is -5 less than x?
True
Let w be 1/3 + (-70)/3. Let p = -15 - w. Let l be ((-5)/(-20))/(2/p). Is -1/4 greater than l?
False
Suppose -1 = 2*z - 5. Suppose 5*o - 28 = -4*s, 4*s - 5*o + 12 = -0*o. Suppose -2*w = -5*r + 5, 5*w - 4 = -2*r - s*r. Are r and z non-equal?
True
Let i = -3.2 - -2.7. Which is smaller: 0.04 or i?
i
Suppose 0 = c + 3*c + m - 16, 4*c + 2*m - 12 = 0. Suppose c*d - 1 = 4*d. Let o(g) = 8*g**3 - 2*g**2 + 1. Let z be o(d). Which is smaller: z or 6?
6
Let g(a) = a**3 - 3*a**2 - a + 4. Let f(j) = -j**2 - 11*j - 7. Let x be f(-10). Let s be g(x). Which is greater: s or 2/17?
s
Let s(f) = 3*f**2 - 4*f. Let r be s(2). Let k(a) = a**3 - 7*a**2 + 8*a - 9. Let p be k(6). Suppose 0 = -p*u + 8*u - 10. Which is smaller: u or r?
u
Let x(t) = 6 + 1 - 8*t + 2 + t**2. Let b be x(6). Suppose 4*h = -39 + 31. Is b <= h?
True
Let f be (10 - 3) + (1 - 0). Let x be (2/f)/(18/(-24)). Suppose -3*s + 4*s = 0. Is x smaller than s?
True
Suppose 15 = -6*c + 9*c. Suppose c*w = s + 1 + 1, -4*s - 5*w = -42. Let j = -10 + s. Is j bigger than 0?
False
Let v = -9 - -12. Suppose -4*p - 3 + 5 = v*o, o + 5*p - 8 = 0. Which is smaller: 0 or o?
o
Suppose -2*f = 4 - 10. Suppose -f*v = 12 + 3. Do -4 and v have the same value?
False
Let x be 1/3*(-48)/(-4). Suppose 4*k + 0*i = x*i + 12, -3*i - 3 = -k. Let u be k/5*4/6. Is 1 < u?
False
Let w = 5 + -2. Let f = w - 7. Which is bigger: -3 or f?
-3
Suppose 6*k - 9 = k + v, -5 = -5*v. Let a(f) = -f + 2. Let y be a(k). Is y less than or equal to 1?
True
Suppose 5*p - 5*q = 5, 0*p - p - q = -3. Let y = 28.8 - 29. Which is greater: y or p?
p
Let v = 2 - -1. Suppose -6*c + 2*c = -s + 8, -v*c = 2*s + 6. Suppose -7*m + 2*m + 5 = s. Which is greater: -2/9 or m?
m
Suppose -5 = -q + 4*t, 4*t = -2*q - 0*t - 2. Is q less than or equal to 4?
True
Suppose -2*t - 348 = t. Let c = t + 929/8. Which is greater: c or -1?
c
Suppose -10 = 5*p + 3*w, -2*w - 9 = 3*p - 3. Let i = 0.32 + -0.02. Is i < p?
False
Suppose 4*o - 8 = -0*o - z, 0 = 5*o - 3*z - 27. Let v be (-240)/(-39) + (-3)/o. Let q = v - 5. Which is smaller: 0 or q?
0
Let p = -231 - -2081/9. Let c(n) = -n**2 - 6*n - 5. Let d be c(-5). Is p bigger than d?
True
Suppose -2*u - 1 = 5*r - 0*r, 5 = r + 3*u. Let p = -0.2 - -0.21. Which is smaller: r or p?
r
Suppose 5*c = 2*a - 21, c - 2*c - 4*a = -9. Let r = 2 + c. Which is bigger: r or 1?
1
Let p = 3752/15 + -250. Which is bigger: p or -1?
p
Suppose -4*g + 20 = 0, -3*m + 5*g = g + 11. Suppose -4*d - m*o - 25 = 0, -3*d = -5*d - 5*o - 9. Which is bigger: d or -3?
-3
Let r = -45 + 41. Are -17/5 and r non-equal?
True
Let t = -1 + -3. Let o be (-2 + (-10)/t)*0. Let w = -5/4 + 3/2. Is o equal to w?
False
Let o = -115/42 - -18/7. Let b(u) = u**3 - 5*u**2 - u + 5. Let s be b(5). Which is bigger: s or o?
s
Let a = -0.67 + 0.7. Let n = a + 0.03. Let v = n - 0.06. Which is greater: v or 0.2?
0.2
Let s = -2 - -4. Let y = 2 + s. Suppose 4*x = 3*f + 19, 3*x + 12 = y*f + 7*x. Is -3/2 less than or equal to f?
True
Suppose u + 2*p + 0 + 3 = 0, -3*p = 2*u + 9. Let n = u - -34. Let w be (4/(-10))/(5/n). Which is smaller: w or -1?
w
Let t = 1 - 1.12. Let c = t - -0.02. Which is bigger: c or 1/3?
1/3
Let s be (2 + -2)/1 - -3. Suppose -5*t + 4*w = w - 9, -2*w - 6 = s*t. Is t greater than 1/5?
False
Let l = -28 - -29. Is -1 greater than l?
False
Let s = 1330.9 + -1412. Let c = -85 - s. Let h = 4 + c. Which is greater: -1/4 or h?
h
Let w(r) = r**2 - 5*r + 3. Suppose 0 = 3*q + 3*y, 3*q + 2*q - 2*y = 28. Let k be w(q). Let x be 2 + (-2)/((-8)/(-9)). Which is bigger: x or k?
x
Let p be ((-2)/3)/((-2)/9). Suppose -2*d - 1 = p. Suppose v - 5*n - 22 = 0, -v = 2*n - 5*n - 12. Which is smaller: d or v?
v
Let k = 1163/30 + -116/3. Let m be 2/6 - 16/12. Is k not equal to m?
True
Let c = 92 - 96. Let z(w) = w**2 - 1. Suppose 1 = -3*q + 4. Let r be z(q). Is r less than c?
False
Let m = -2 - -5. Let u = -6 + m. Let b(o) = -o**2 + 11*o - 14. Let y be b(10). Is u greater than y?
True
Suppose -4*u + 10 = 2*k, -2*u - u = -4*k + 9. Let a be -2 - 0 - u*-1. Let j = 1 + a. Is j greater than -2?
True
Let f(m) = 4 + 2 - 2 - 2 + m. Let a be f(-8). Are -7 and a non-equal?
True
Let h(k) = -k**3 - 8*k**2 + k - 6. Let q be h(-8). Which is bigger: -12 or q?
-12
Suppose -3 = 2*c - 9. Suppose -4*f = -f + c. Is f >= 2/23?
False
Let k = 2 + -3. Suppose 0 = -y - 4*y + 15. Let o be (12/9)/((-2)/y). Is k <= o?
False
Let y = -0.3 - -0.4. Which is smaller: 2/227 or y?
2/227
Suppose g = 5*g + 4. Let p be -1*((g - 2) + 2). Is p > 0?
True
Let n = 0.07 + -0.07. Let l = n - -0.1. Which is smaller: 0.2 or l?
l
Let b be 442/(-6) - (-3)/(-9). Let w = -299/4 - b. Which is smaller: w or -2?
-2
Let w = 953/7 + -137. Let y be (4/30*1)/((-3)/15). Which is greater: w or y?
y
Let f(s) = -s**3 + 4*s**2 - 10*s - 7. Let k be f(4). Is k less than -49?
False
Let n be (-2 - 1) + 10 + -1. Suppose -6*p - n = -4*p. Does -2 = p?
False
Suppose 5*r + 0*n = -5*n, 0 = 3*n. Is r at least as big as -6/13?
True
Let i be (-1 - -5)*(-3)/12. Which is greater: 0 or i?
0
Suppose 4*r + 3*z = -5, 0 = 5*r + z - 2*z + 11. Suppose -a = 5*x + 14 + 3, 3*a = x + 13. Suppose k = -a*l - 6, 3*k + 4 = 2*k - l. Which is greater: k or r?
r
Let t = 23 + -17. Suppose 0 = -t*b + b - 5*i, 10 = -5*i. Is 3 at least as big as b?
True
Let q = -669 - -3329/5. Do q and -2 have the same value?
False
Let p be (-4 + (-40)/(-12))/(2/(-159)). Which is greater: p or 54?
54
Let g be (-333)/18 - 1/2. Is -19 != g?
False
Let b = 4 + -4. Let s = b - -2. Suppose -4*f = -3*f. Which is smaller: s or f?
f
Let s(f) = -2*f + 5. Let z be s(3). Is -1 != z?
False
Let d = 0 - -1. Let h be (d/(-6))/((-14)/8). Which is smaller: 1 or h?
h
Let n = -38 - -15. Which is greater: -1/2 or n?
-1/2
Let f = -0.5 - -1.9. Let k = -3.4 - -4. Let q = f + k. Which is greater: q or -0.1?
q
Let n = 0.3 - 1.1. Let y = -133 + 134. Is n less than or equal to y?
True
Suppose 2*c = 22 + 8. Suppose 5*a - 20 = 9*a. Let d be ((-4)/c)/(a/15). Which is greater: d or 2?
2
Let c = -15.5 + -2.5. Let f = 19 + c. Is f at least 2/9?
True
Let v = 0.7 + 2.3. Let i = v - 0. Which is greater: -1 or i?
i
Suppose -6 = -o - 1. Suppose -x - 10 = -3*a, o*x + 15 - 4 = 2*a. Is -1 less than x?
False
Let f = -0.12 + 8.12. Let b = 8.03 - f. Which is bigger: b or 1?
1
Let b = 6 - 8. Let n = 74.9 - 80. Let a = 5 + n. Which is smaller: b or a?
b
Let i be 3 + (144/(-70) - 1). Is i not equal to -1?
True
Suppose 2*c - 5*c - 9 = 0. Let q = 7 + c. Do q and 5 have the same value?
False
Let j(u) = 120*u**3 - 2*u**2 - u. Let m be j(-1). Let b = m - -2301/19. Which is smaller: 0 or b?
0
Let j = -512/77 - -70/11. Let h be (18/(-12))/(-2 + (-9)/(-6)). Is j at least h?
False
Let x(b) = -b**3 + 8*b**2 + 10*b - 1. Let d be x(9). Let v = 8 - d. Which is smaller: v or -2/11?
-2/11
Let m be (-5)/(220/144) - (-6)/3. Which is smaller: m or -2?
-2
Let o be 110/6 + (-6)/(-9). Suppose -x = -76 + o. Let z be x/(-60) - 3/(-15). Which is smaller: z or -1?
-1
Let x be -2*3*2/2. Let s = x + 8. Suppose -5*w + s*w = 0. Which is smaller: w or -2/3?
-2/3
Let g = 121 + -128. Is g at least as big as -2/5?
False
Let l be (-3 + 2)/(7/805). Let k be l/300 - (-1)/3. Which is smaller: 1 or k?
k
Let d = -834/13 - -69274/1079. Which is smaller: 0 or d?
0
Let j = 66 - 65.1. Which is greater: j or -2?
j
Let a(p) = -p**2 + p - 4. Let n be a(-3). Let t be (n/(-12))/(4/6). Suppose t*l + l = -6. Is l >= -2?
True
Let p = -59.7 - -63. Let m = 0.3 - p. Let d = -15 - -15. Do d and m have the same value?
False
Let m be 16/(-12) - (-30)/9. Is m < 3?
True
Let y = 4.03 - 4. Let w = 0.3 - 1.1. Let m = w - -0.7. Is m at least y?
False
Let g(j) = -j**2 + j. Let p be g(0). Suppose p = -5*u + 2*r - 5*r + 13, -u = r - 3. Suppose 0*b + u*b = 0. Is b at most as big as 1/11?
True
Suppose 2*m = 5*m. Let q be (-4)/(-10) - (2 + -1). Is q less than m?
True
Suppose -7 = -0*w - 7*w. Which is bigger: 2/21 or w?
w
Let u be (1/(-1))/((-39)/(-26)). Let o = 4 - 8. Which is bigger: u 