e
Let k = 13.07 - 13. Let c = 0.07 - k. Which is bigger: -1/4 or c?
c
Let j = 33 - 61. Which is smaller: j or -29?
-29
Let a = -0.3 - 6.7. Let w = a + 7.2. Let g(k) = k**2 + 8*k + 6. Let b be g(-7). Which is greater: b or w?
w
Let k(g) = -6 - 4 + 4*g - 3*g - 4. Let x be k(10). Is -1 greater than x?
True
Suppose -2*w + 36 = 4*x, 5*x - 2*w - 20 = 34. Suppose 5*r - x = -0. Is 1 less than or equal to r?
True
Let c(g) = -33*g. Let w be c(-1). Let s be 1*(1 + w/(-36)). Is 1 smaller than s?
False
Suppose -3*l = 2*b + 96, 4*b - 2*l + 64 = -128. Let w be (1/10)/((-3)/b). Is 3 less than w?
False
Let x = 1.03 - 1. Let v = 0.07 - x. Let z = 0.16 + v. Is 2 equal to z?
False
Let m = 263/7 + -37. Which is greater: m or 2?
2
Suppose i - 10 = 2*j + 6*i, -i = j + 2. Suppose 0 = 3*l - 7*l. Suppose 0 = 3*y - 5*x + 31, 5*y + x + x = l. Is y smaller than j?
True
Suppose 7 = 2*z + 2*g + g, 2*z - 4 = -2*g. Let c be (-33)/(-16) + -1 + z. Which is smaller: 0 or c?
0
Let l = -0.74 + 10.74. Are l and 0 non-equal?
True
Let m = 0.37 + 17.63. Let p = m - 17. Is p <= -5?
False
Suppose -2*c + 33 = -3*b - 2*b, 2*b = -4*c + 6. Let i be -1 - b/4*1. Which is bigger: i or 1?
1
Let b = -10 + 10. Which is smaller: -6 or b?
-6
Let s = 16 + -12. Let j be 1 + (32/(-20))/s. Let a(x) = x**3 - 5*x**2 + 1. Let q be a(5). Which is smaller: j or q?
j
Let o be 18/48*-2*-52. Is o less than 38?
False
Let i be -18*5/400*4. Which is smaller: -1 or i?
-1
Let a = -12 + 12.2. Does 2 = a?
False
Let a = 18 + -25. Which is bigger: -6 or a?
-6
Suppose -20 = 4*p + 32. Let l = -14 - p. Are l and 3/13 equal?
False
Suppose -19 = -t - 0*f - 5*f, -5*t = -2*f - 41. Let r be 20/90 + (-11)/t. Which is greater: -2/13 or r?
-2/13
Suppose -y - 5 = 4*y. Which is greater: y or 1/3?
1/3
Let q = -4 + 4. Suppose q = 2*y - 16 + 2. Suppose 0*u - 5*u + i = -y, u + 4 = 2*i. Which is bigger: u or -0.1?
u
Let a = 1.9 - 1.8. Which is bigger: a or 1/3?
1/3
Let o be 2/5*(-1 - 0). Let j = 5 + -5. Which is smaller: o or j?
o
Let d = -66 + 590/9. Suppose -b = -0*b. Which is greater: d or b?
b
Let h(f) = f**3 - 6*f**2 + f - 6. Let s be h(6). Which is greater: s or -2/25?
s
Let y be (16/(-30))/(3 + -2). Let p = -481/30 - -16. Let c = p - y. Which is smaller: c or 2?
c
Suppose -4*p + 5*q + 148 = 0, -5*p + q = -3*q - 185. Is 38 != p?
True
Let b(z) = -z**3 + 3*z**2 - 3*z + 2. Let f be b(2). Which is smaller: 7 or f?
f
Suppose 4*r - 13 = l, 0*r = r + 3*l + 13. Which is greater: 4/5 or r?
r
Suppose 3*b = -2*j - 10, -5*j = 2*b - 0*b + 36. Which is smaller: 8 or j?
j
Suppose 0 = 5*q - 7 - 8. Suppose 2*o = -2*k - 10, 5*k - q*k + 13 = -5*o. Are -4 and k non-equal?
False
Let j be (-9)/(-8)*2/(-6). Suppose 0 = -11*u + 6*u + 25. Suppose -u*n = -n. Do n and j have the same value?
False
Let c = 1/576293 - -18017224349/1728879. Let t = -10512 + c. Let m = t + 1067/12. Which is smaller: -2 or m?
-2
Suppose 8 + 1 = 3*k. Suppose 2*s - 19 = -3*z, -k*s - 3 = -2*s - z. Is s less than or equal to 1?
False
Let u = 31 + -29. Are u and 20/11 unequal?
True
Let s be -2 - 1 - 4*-4. Let h = s + -3. Do 9 and h have the same value?
False
Suppose 20 = -g + 6*g. Suppose -g = k + k. Are k and -2 equal?
True
Let c = -1 + 1. Let v(d) = d**2 - d + 3. Let k be v(c). Suppose 2*t - 6 = -3*w + 8, -5*w = -4*t + 6. Is w < k?
True
Let i(r) = -2*r + 7. Let g be i(5). Suppose -5*v = -2*v - 3. Let d = g + v. Are -1 and d non-equal?
True
Let l(c) = c - 5. Let i be l(7). Suppose -2*z + 0*k - 2*k + 16 = 0, 5*z - 31 = -2*k. Suppose z = 5*g - 0. Is g >= i?
False
Suppose 63 = 2*l - 3*j, -3*j + 166 = 4*l - j. Which is smaller: 38 or l?
38
Let c = -1 - 0. Let h(i) = 2*i + 5. Let d be h(-3). Is c at least as big as d?
True
Suppose 5*r - b - 1 = 0, -5*r + 0*b = 4*b + 4. Let o = 8/3 + -7/6. Let s = o - 1. Are s and r equal?
False
Let v = 0.11 - 0.01. Let r = -5 - -2. Is v at most as big as r?
False
Suppose 4*p + 363 = 3*m, 0 = p + 3*p + 3*m + 357. Let k be (-51)/p + (-4)/10. Suppose -2*f + 2*b = -b, 0 = 3*f - 5*b. Is f > k?
False
Let n be (3 - (-13)/(-3))*-1. Let o = 5/6 - n. Does -1 = o?
False
Let h = 3.04 + -3. Let x = h + 1.96. Let n = 0.11 + 0.89. Which is smaller: x or n?
n
Let f = -0.2 - -1.1. Let q = 0.1 + f. Let g = q + -0.9. Is 1 at most as big as g?
False
Let m = -26 + 26. Which is smaller: 2 or m?
m
Let g be ((-2)/4)/((-39)/3). Let n = -16 - -17. Which is smaller: n or g?
g
Let m(q) = -2*q - 6. Let x be m(-4). Suppose y - 7*f - 12 = -2*f, 0 = -2*y - x*f. Let p be (y/20)/(2/(-5)). Is p greater than or equal to 1?
False
Let t be 0 - 1 - 384/(-390). Is 1 at least as big as t?
True
Let s be 110/320 + 2/(-6). Are s and 1 equal?
False
Suppose 0 = -4*a - 2 + 10. Suppose -a*f + f - 6 = 0. Let v(c) = -c**3 - 5*c**2 - 3*c + 3. Let n be v(-3). Is n less than f?
False
Let v(y) = 2*y + 6. Let x be v(-4). Let t(h) = h**2 - 4*h + 5. Let n be t(4). Suppose 4*o + n = -o. Which is bigger: o or x?
o
Let o be -46*(-7*(-3)/6 - 3). Which is bigger: -22 or o?
-22
Suppose 2*h + 59 = 599. Let r be 2/12 + (-369)/h. Suppose 0*k = 3*b - 5*k + 28, -5*b + 2*k = 15. Which is bigger: r or b?
b
Suppose -4*x + 213 - 1321 = 0. Let h = -3044/11 - x. Which is smaller: h or 0?
0
Let x = -1/4588 - 3419/100936. Is x smaller than 1?
True
Let y(g) = g**2 + g - 3. Let h be y(-4). Is h at least 42/5?
True
Let h(n) = -n**2 - n - 1. Let r be h(0). Let b = 30 + -2. Let p be (4/(-6))/(b/(-12)). Which is smaller: p or r?
r
Let i be 9/2*2/3. Suppose -5*c = -i*l - 22, c = -2*c + 15. Let a = l - 1. Is a at most as big as 2/3?
True
Let n = 42 + -20. Which is bigger: 23 or n?
23
Let t = -26008/45 - -578. Which is smaller: 2 or t?
t
Let r = 838/5 - 167. Let n = -1/10 + r. Let t be (-1 - -5) + 4/(-2). Are n and t equal?
False
Let o = -176/3 + 59. Is -2/25 at least o?
False
Let x = 2 - 0. Suppose p - z = 3*p + 6, 15 = -5*p + 4*z. Let l be -2 + (p + 2)/(-1). Are l and x equal?
False
Let n = -29 + 89/3. Suppose 15 - 5 = z. Suppose -4*o + 2*o + z = -5*l, -4*o + 20 = 0. Is n equal to l?
False
Let d(a) = -a**3 + 6*a**2 - 4*a - 5. Let g(h) = 7*h**2 - 5*h + 6. Let m be g(4). Let v be 1/3 + m/21. Let s be d(v). Is s at most 0?
True
Suppose 4*j - 8 = -64. Let f = -10 - j. Suppose 0 = -2*n + f*n. Which is smaller: n or 2?
n
Let l = -0.15 - -0.11. Let f = l - 1.96. Which is bigger: 3 or f?
3
Let i = 3 + -2. Let c = -0.74 - -0.9. Let x = 0.44 + c. Which is smaller: i or x?
x
Suppose 0 = -3*c - b - 4*b - 2, 3*c - 4 = b. Suppose -k = -2 - c. Suppose -k*y + 0*y = -6. Which is greater: y or 5?
5
Let i = -6 + -1. Let a = i + 6. Which is smaller: -3/4 or a?
a
Let p be (2 + -1)*(3 - 14). Let t = p - -17. Let s be t/(-15) + 9/10. Is s less than or equal to -1/4?
False
Let p(n) = n - 5. Let d be p(7). Suppose -5*s = -w - 23, 0 = -d*s - 1 + 11. Let b be w/3*3/2. Is -1 not equal to b?
True
Let q = -57 + 61. Is -2/5 at most q?
True
Let n = -2 - -2. Let a = 10 + -9.8. Do n and a have the same value?
False
Let d be (-5 - -1)/((-6)/(-27)). Let q be d/(-4) + (-2)/4. Which is greater: q or 5?
5
Let s = 28 + -30. Which is smaller: -9 or s?
-9
Let k(s) = -8*s**3 - 2*s**2 + s. Let y be k(1). Which is smaller: y or -6?
y
Let q = -21 + 117. Suppose -r - y - 9 = 0, -4*r + 28 = -4*y + q. Which is bigger: r or 1?
1
Let f be (2 - 3 - 0)/1. Let a be (-2 - f)*(14 + -15). Do a and -1/22 have the same value?
False
Let y(b) = b**2 + 28*b - 29. Let o be y(-29). Which is smaller: o or 3/22?
o
Let s(z) = -8*z - 11. Let d be s(13). Which is bigger: -116 or d?
d
Let j = 1348/115593 + 2/2181. Which is smaller: j or 0?
0
Let f = 4 - 2. Suppose 6*l + 9 = 3*l + 5*k, -4*k = f*l - 16. Suppose -2*b + 8 = 2*b. Is l <= b?
True
Let z be (3/(-102))/((-2)/8). Let r(b) = -18*b + 109. Let h be r(6). Is z > h?
False
Suppose -16 = -2*t - 3*y, -y - 4*y - 15 = -5*t. Is t greater than 6?
False
Let w(h) = 7*h - 7. Let j(b) = 3*b - 3. Let q(m) = -5*j(m) + 2*w(m). Let s be q(5). Let a be (-10)/(-8) + 4/s. Which is bigger: -1 or a?
a
Let k be (4/8)/(3/6). Is k greater than or equal to -1/6?
True
Let b(h) = -5*h**2 + 2*h. Let p be b(1). Suppose -15 = -2*k + 7*k. Is p equal to k?
True
Let d = 0.22 + -2.42. Let m = 2.4 + d. Do m and -1.1 have different values?
True
Let u be (-2)/12 + 2/(-6). Let h = -2 - -1. Are h and u equal?
False
Let u = -1 - -1. Let t be 1 + (-1)/((-2)/4). Suppose t = -12*m + 9*m. W