maller: 1 or i?
i
Let x(f) = f + 7. Let d be x(-7). Suppose 4*u + 3*l = 22, -u + 2*u - 3*l + 2 = d. Is 2/7 > u?
False
Let v(a) = a**2 - a - 1. Let y be v(2). Let j = -20 - -15. Do y and j have the same value?
False
Let h be ((-6)/10)/(2/10). Do -14/9 and h have the same value?
False
Let t(l) = -l + 2. Suppose m = -n + 2, 0*m - 2 = -2*n - m. Let x be t(n). Which is greater: x or 8/5?
x
Let l = 1333/568 - 19/8. Which is bigger: l or 0?
0
Let g = 13 + -11. Which is greater: g or 9/7?
g
Let j = 965/2684 + 1/244. Is -1 smaller than j?
True
Let q = -8 + 5. Is -4 at most as big as q?
True
Let f be ((-4)/(-8))/((-2)/(-12)). Suppose -m + 12 = f*m. Which is smaller: m or 2?
2
Suppose 2 + 10 = 3*q. Suppose 4*n - 4 = 4*t, 4*t - 3*n + 5 = 4. Which is smaller: t or q?
t
Let h be 3/(-9)*(1 + 2). Is h > -7/6?
True
Let w be 3 + 2*(-6)/4. Suppose 0 = 2*o - w*o. Let p be ((-10)/(-6))/(o + -1). Is -1 greater than or equal to p?
True
Suppose 4*s + 0*s - 24 = -5*m, -5*s = -5*m + 15. Let l(a) be the second derivative of -a**4/6 + a**3/3 - a**2/2 + a. Let b be l(s). Is 2/13 >= b?
True
Let p be (2/(-4))/(11/242). Let i = 15 - 24. Is p less than or equal to i?
True
Let q(t) = -t**2 + 4*t - 2. Let x = -9 + 11. Let z be q(x). Suppose y + c + 2 = 0, -4*y - 5*c - 22 = -3*y. Which is bigger: z or y?
y
Let y = 1 - -3. Let j be ((-21)/350)/(3/y). Is 0 bigger than j?
True
Suppose -c = 2*v - 2*c + 12, 0 = -5*v + c - 36. Let u(i) = -i**2 - 9*i - 7. Let x be u(v). Is x at least 2/9?
True
Suppose 2*s = -0*s - 8. Which is smaller: s or -0.2?
s
Let g = 293/5379 - -1/163. Is g less than 1?
True
Suppose 25 = -4*z + 1. Let x be 19/2 + (-9)/z. Suppose -5*f + 2*i = -6*f - 5, -4*i = f + x. Is f bigger than 0.1?
True
Let n = 17 - 13. Suppose -p = -0*p + 4*m + 10, 3*p + n*m = -14. Let i = -2 + 2. Which is smaller: i or p?
p
Let c(d) = -2*d. Let z be c(-1). Let y be (z - 5)/(0 - -2). Which is smaller: y or -2?
-2
Let s = -3/55 + 5/11. Let d = 1.29 - -0.41. Let r = d - 0.9. Which is smaller: s or r?
s
Let t = 13 - -5. Let s = t - 17.9. Is s at least -0.2?
True
Let i = 16 + -28. Do 1 and i have the same value?
False
Suppose -4*w + 2*o = -14, w - 5*o - 3 = -22. Let a be 2/3 - 4/w. Let i = -5 - -6. Is i equal to a?
False
Let q = 49 - 243/5. Let j = 0 + -2. Do j and q have the same value?
False
Let m = 8530/3 + -2816. Let w = m + -27. Which is smaller: 0 or w?
0
Let o = -700 - -1351/2. Let p = o + 24. Which is smaller: -2/3 or p?
-2/3
Let o be (0 - 4)/(8/4). Which is smaller: o or -1?
o
Let c = 6/925 - -212/252525. Let p = c - 17/39. Let v = -327.9 - -328. Is p < v?
True
Let o be ((-2)/3)/((-31)/186). Is o smaller than -2?
False
Suppose 0 + 2 = -2*v + 4*i, -i = -2*v - 2. Suppose -y - 3*r + 4*r - 1 = 0, -3*y + 5*r - 1 = 0. Let b = y + 0. Is v at least as big as b?
True
Let p be 88 - (6*(-4)/(-6))/1. Which is smaller: p or 83?
83
Let z be (-44)/(-20) + (-2)/10. Suppose -f = -z*f. Let m be (-2)/4*(-2 - 0). Which is greater: m or f?
m
Let a = -55 + 55.2. Which is smaller: 23 or a?
a
Let z be ((-96)/20)/(-4)*(-20)/6. Which is smaller: -38/9 or z?
-38/9
Let s = 2/4403 + 325812/22015. Let w = -14 + s. Which is smaller: 1 or w?
w
Suppose 0*a + 2*a + 4*s + 12 = 0, 5*a = 3*s - 30. Let h = a + 7. Which is greater: h or 4/5?
h
Suppose -2*q = j, -2*j + 5*j = 2*q. Is q less than -12/11?
False
Let k = -9 - -13. Are 21/8 and k non-equal?
True
Let g be (-2)/145*(3 + (-35)/20). Is 0 greater than g?
True
Suppose 0 = -8*p + 3*p + 15. Suppose -p*g + 6*g - 12 = 0. Suppose -8 = -4*l - k, k + 2 = 3*l - g. Which is smaller: l or 1?
1
Let o = 2.4 - 2.3. Which is greater: o or 2/17?
2/17
Let u = -0.124 - 5.826. Let z = -6 - u. Let f = z + 1.05. Is -1 at most f?
True
Let z be 2/3 - (-256 + 1). Let x = 259 - z. Which is bigger: 3 or x?
x
Let w = -31.9 - -32. Is 5/17 at most w?
False
Let w(l) = -4*l - 4. Let t be w(-2). Let z = 6 - 2. Are t and z equal?
True
Let b = -32 - -48. Let y = -16.5 + b. Is y less than 1?
True
Let l = -4 + 8. Is l less than 5?
True
Let a = -27 + 41. Let m be ((-4)/6)/(1/(-12)). Let u be (m/a)/((-8)/(-4)). Is -1/7 > u?
False
Suppose -2*i + d - 5 = 2, -d = -5. Let h = -1 + i. Let o be h/(-4) - (-9)/6. Is o at least as big as 1?
True
Suppose -1 = o - 3. Suppose o*d - d = -16. Let h be 8/(-12) - d/42. Which is smaller: 1 or h?
h
Suppose -3*i + y = -0*y + 59, -5*y + 105 = -5*i. Let w = i + 12. Is w not equal to -8?
True
Let a(i) = i + 2. Let u be a(-2). Suppose -6*p = -4*p - 6. Let s be p/(-21)*(-7)/6. Which is smaller: u or s?
u
Let f = 124.02 - 124. Which is greater: -10 or f?
f
Let r be 1066/(-1008) - 2 - -3. Let w = r + -3/56. Which is greater: 0 or w?
0
Let j(i) = 3*i + 10. Let b be j(-5). Is b < -4?
True
Let u = -4 + 6. Which is smaller: 3 or u?
u
Let s be (4/(-3))/((-3)/(-9)). Suppose -h + 18 - 3 = 2*w, -35 = -5*w - 2*h. Let g = 3 - w. Is g at most as big as s?
False
Suppose -y = 5*q - 23, -2*y + 0*q + 5*q = 29. Let c be 2 + y + 6/(-4). Which is greater: 2/3 or c?
2/3
Let z = -8 - -7.5. Let s = 2.5 + z. Which is bigger: s or -0.2?
s
Let k be (2/(-16))/((-3)/(-18)). Let v(b) = b - 6. Let x(d) = 1. Let a(y) = -v(y) + x(y). Let p be a(9). Which is bigger: k or p?
k
Let i = -0.03 + -0.01. Let b = i + 0.04. Let o = 0.03 + b. Are -1/4 and o nonequal?
True
Let i = 1 + -1. Let c = -11/27 - 7/27. Which is smaller: c or i?
c
Let w = 7 - 6. Let g = 0.3 + 0.7. Is w <= g?
True
Suppose b - 3*x = -1, 2*b + 4*x = x - 29. Let m be (4/b)/(8/(-10)). Let z = m + -7/10. Which is smaller: z or 1?
z
Let l(s) = -s - 7. Let o be l(-7). Which is bigger: 1/12 or o?
1/12
Suppose -m = -4*m. Let k = -5 - -4. Let b be (2 - 1) + (k - m). Is 3/7 less than b?
False
Let d be (-28)/98 + 158/14. Does d = 10?
False
Let d = -2.1 - -0.1. Let s = d - 0. Which is bigger: 1 or s?
1
Let p be (-4)/(-6) - 100/15. Let u be (4/p)/((-3)/(-54)). Let h be 16/u*(-1)/2. Is 0.1 equal to h?
False
Let l be (-2)/6*(-8 + 9). Is l less than or equal to 0.13?
True
Let j be (21/161)/((-3)/(-2)). Which is greater: 0 or j?
j
Let c(l) = -2*l**2 - 3*l + 1. Let n be c(2). Let o = n + 18. Suppose -6*x = -x - o. Is x less than 4/3?
True
Let i = -22 + 22. Which is bigger: i or 2/11?
2/11
Suppose 4*j - 9 + 5 = 0. Which is smaller: j or -1/16?
-1/16
Suppose w = 5*w + 128. Let o be w/14 - (-8)/28. Which is bigger: o or -3?
o
Let y be 1 - (2 - 552/548). Let u = y + 128/1233. Is 1 greater than u?
True
Let g = 177 - 178. Let u be 0/1 - 2/(-4). Which is smaller: g or u?
g
Let j = 118 + -592/5. Suppose 0 = -3*p + 5*p + 2. Is p < j?
True
Suppose -y - 2*q - 2 = -1, 11 = 4*y + 5*q. Suppose 6*i - 32 = 2*i. Which is smaller: i or y?
i
Let u(x) = x**3 + 6*x**2 + x + 7. Let v be u(-6). Let s = 1065/11 - 97. Is v greater than s?
True
Let q = 33 - 43. Is -4 <= q?
False
Let x(h) = -9*h + 1. Let q be x(1). Let t be 4/q - 6/(-8). Which is bigger: t or 2/3?
2/3
Let z be -12*1*(-1)/3. Let i = 3 - z. Is i >= -1?
True
Let j be (-4)/(-2) + (-16)/4. Let o be 2/(5/(j/2)). Let x = -0.5 + 0.6. Are o and x unequal?
True
Let i = -4.6 - -23.6. Let h = -17 + i. Let l = -2 + 0. Is l not equal to h?
True
Suppose -2*d - d = 21. Is -9 at most d?
True
Let a = 0 - 1. Let m = 0.3 - 0.4. Let z = m + 0. Is z greater than a?
True
Let m = -1.02 - -0.02. Let z = -1 - m. Is 0 at least z?
True
Let w = 1874/3 - 661. Let n = w + 36. Which is smaller: n or 1?
n
Let o(m) = -m. Let d be o(-5). Let c = d + -3. Do c and 2 have the same value?
True
Let j be (1/1)/((-1)/(-4)). Let t(f) = 4 + 1 - 2*f - j. Let w be t(1). Which is bigger: -3/2 or w?
w
Let v = -58 + 61. Suppose -a = -0*a. Which is smaller: v or a?
a
Suppose 4*y + 15 = y + 4*a, -2*a = 3*y - 3. Let k be 139*y*(2 + -3). Let x = -971/7 + k. Is 1 at least x?
True
Let k = 39 - 118/3. Let p(w) = w**3 + 2*w**2 + w. Let l(v) = v**3 + 2*v**2 - 1. Let i(a) = 3*l(a) - 2*p(a). Let d be i(-2). Which is smaller: d or k?
k
Suppose 2*t = -j + 4, -17 + 1 = 2*j - 4*t. Let d be ((0 - 1)*0)/j. Do -1 and d have different values?
True
Let w be -3 + 2 + -22*(-5 + 2). Is 65 < w?
False
Let o = 0.148 - -0.152. Let t = 2.7 - 3. Is o at least t?
True
Let v be 7/(-36)*(-10)/35. Which is bigger: -1 or v?
v
Let m be ((-18)/(-27))/((-4)/18). Is -2 less than or equal to m?
False
Let i(h) = h**3 - 4*h**2 + 3*h + 4. Let u be i(6). Which is smaller: u or 93?
93
Let q = -918306044/145 - -633