- w. Is k <= 1?
True
Suppose 2*x - 4*a = -8, -4*x + x - 3*a - 48 = 0. Let r = x + 14. Which is greater: 4 or r?
4
Let s(h) = 7*h + 7. Let o(z) = 3*z + 4. Let q(x) = -5*o(x) + 2*s(x). Let c be q(-6). Is -5/4 <= c?
True
Let c = 2 + -1. Let q(a) = -12*a**2 - 2*a + 2. Let j be q(c). Are -11 and j unequal?
True
Let a = 15 - 25. Is -5 < a?
False
Suppose -3*c + 11 = -25. Let p be (c/2)/(15/(-10)). Do -3 and p have the same value?
False
Let m = -5 + 7. Let u = 1.8 - m. Let c = 0 + -1. Which is bigger: c or u?
u
Let i = 7.2 + -74.2. Which is bigger: 1 or i?
1
Let y be 1/(-2) - 6/4. Suppose -2*s - 6 = -0. Let d be 4 + s + (-1 - y). Which is smaller: 3/2 or d?
3/2
Suppose -2*s - j = 3*s + 34, -4*s + 4*j - 8 = 0. Let z be ((-9)/s)/(3/(-8)). Let c = -8 - z. Which is smaller: c or -3?
c
Let x = 12 - 9. Which is smaller: x or -2?
-2
Let k = 0.4 - 0.7. Let w = k + 0.1. Which is bigger: w or 0.05?
0.05
Let c be ((-34)/51)/(1/(-18)). Is 11 <= c?
True
Suppose -4 = -2*w + 4. Let s be 2/w + (-1)/2. Is s bigger than 0?
False
Let p be (8/(-12))/(4/(-6)). Let c be 1/((-1)/2) + 11. Let g be (-16)/(-6) - 6/c. Are p and g equal?
False
Let x = 0 + 11. Let j = x + -11.1. Is -9 smaller than j?
True
Suppose -t - 4*t = 5. Let n be ((-2)/3)/((-24)/(-18)) + 0. Which is bigger: n or t?
n
Let v be (5 - (-93)/(-18)) + (-22)/12. Is v at least as big as -8/3?
True
Suppose 0*c - 416 = 2*c. Let y = 1036/5 + c. Which is bigger: y or -2?
y
Suppose -8*n = -4*n. Let m = 3 - 3. Is n equal to m?
True
Let b(f) = f. Let w be b(4). Suppose -w*j + 2 = -2. Which is smaller: -1/3 or j?
-1/3
Let w(i) = -i. Let b be w(-3). Let g = b - 5. Let y be (4/(-6))/((-2)/(-6)). Is y <= g?
True
Suppose 4*z = -3*u + 28, -37 = -4*u - 4*z - z. Suppose 3*s + 1 = -4*o, 3*s - 2*o - 15 = u. Let r = 5 - s. Which is smaller: r or 2/7?
r
Let i be (3 - 8/(-4)) + 1. Suppose 0 = 2*r + i - 2. Is 0 equal to r?
False
Let y(g) = 9*g**3 + 2*g + 1. Let r be y(-1). Let b be r/(-4)*(-8)/50. Let x be (-2)/(-7) - (-6)/(-21). Is b <= x?
True
Let y = -96 + 93. Is y less than 6/7?
True
Let g = -5993/2 - -2915. Let d = 83 + g. Is 3 < d?
False
Suppose -2*c = -0*c + 38. Let u be (-230)/12 - 16/(-96). Is c < u?
False
Suppose -2*l + 8 = 2*l. Suppose 1 = 2*p - 6*p - 5*q, 0 = l*p - 4*q - 6. Let w = -448/5 + 90. Is p > w?
True
Let y = -24/31 + 1402/1891. Which is greater: y or -1?
y
Let k(t) = -3*t**2. Let q be k(1). Let l be (21/12 + -2)*q. Suppose 15 = -2*m + p - 4*p, -3*m = -p - 5. Which is smaller: m or l?
m
Suppose 2*v - 5*v = 5*l - 32, -3*l + 16 = 5*v. Let u be (1/4)/(l/(-12)). Is u greater than or equal to 0?
False
Suppose -u - 4 = -4*g - 1, 11 = -2*u + 3*g. Let q(s) = -s - 8. Let d be q(u). Let v = 5 - 8. Which is smaller: d or v?
v
Let i = 0.3 + -0.4. Let a = 1.6 + 0.4. Is i less than a?
True
Let q = -1.97 - 0.03. Let j = -1 - q. Let i = j + -0.8. Is 0.2 < i?
False
Let z = -35 - -35. Is z > 5?
False
Let r = -14 - -16. Let j = 0.2 - 0.3. Let f = j - 0. Is r smaller than f?
False
Let k be ((-6)/(-5))/((-4)/30). Is -9 not equal to k?
False
Let i(l) = -l**2 - 2*l - 3. Let w be i(-6). Let x be (-6)/w - (-76)/(-18). Let d(t) = -t**3 + 3*t**2 - t. Let z be d(3). Which is smaller: z or x?
x
Let g = 796/7 - 114. Which is bigger: 0.11 or g?
0.11
Suppose -i = 2*i. Suppose -2*j + 5*u - 1 = 0, 5 = -2*j + u - i. Is j < -1?
True
Let z(q) = -q + 6. Let f be z(7). Suppose -7*t + 2*t - 5 = 0. Is t > f?
False
Let z = -0.2 - -0.1. Let q = 64.8 - 72. Let f = -7 - q. Is f equal to z?
False
Suppose 2*a = -46 + 14. Let r be (((-20)/a)/1)/2. Which is smaller: r or 1?
r
Let q = 20 - 19. Let k = 254/2355 - -4/157. Is q bigger than k?
True
Let v(z) = z + 9. Let l be v(-6). Suppose l*o + 8 = 2. Is o smaller than -1?
True
Suppose -8 = -5*u - 3. Is -1/4 > u?
False
Let q(p) = -3*p + 3. Let y be q(2). Let x = y - -1. Let j be (0 - 0) + 8/(-4). Are j and x unequal?
False
Suppose 4*z + 6 = 2. Is z greater than or equal to -11/17?
False
Let s be 7*(-3)/27*1 - -1. Is 17 >= s?
True
Suppose 2*q + 43 = -2*d + q, -4*d = -3*q + 101. Let o = d - -24. Is -2 greater than o?
False
Let s be 2/(-10) - (-3)/15. Suppose 0 = 3*k + 2*x - 8, -5 = -5*k + 5*x - s. Suppose -2*p + 4*p = -k. Which is smaller: p or -2?
-2
Let q = -65/3 + 22. Let s = -3/41 + 56/205. Is q smaller than s?
False
Let o be (-13)/52 - (-7)/(-4). Is o at least as big as -2?
True
Suppose -c + 1 = -2*g, 3*c = 2*g + 5 - 2. Let w = 0 + g. Let h be 31/35 - (-2)/(-7). Is w at most as big as h?
True
Let z be -5 - -5 - 0/3. Let a(r) = -r**2 + 5*r - 3. Let i be a(3). Suppose 5 = -g - c, 2 = i*g - c - 3. Is z != g?
False
Let j = 9 + -14. Let r be (-1 + (-3 - -5))*-5. Is r at most as big as j?
True
Let h = -5 + -21. Let n be ((-3)/h)/((-3)/4). Suppose 6*q = 5*q - 3*m - 4, 2*q - 4*m = 2. Which is bigger: n or q?
n
Let b(g) = g**3 - 5*g**2 - 5*g - 5. Let m be b(6). Let y be (-1)/(-2*2/8). Which is greater: y or m?
y
Let r = 5 - 10. Which is greater: r or -1?
-1
Let x be (-6)/5*1/3. Let c = 3 + -6. Let s = c + 2. Is x > s?
True
Suppose 0 = r + 3*a + 19, -a + 25 = -r - 6*a. Which is bigger: -11 or r?
r
Let x be (-20)/(-15)*81/48. Is 3/4 greater than or equal to x?
False
Let m = 84 + -83. Is 5/3 at least as big as m?
True
Let d = 31/57 + -4/19. Let h(c) = -c**3 - 3*c**2 - 2*c - 1. Let t be h(-3). Suppose 4*g - 3*g = 1, 0 = -2*b - 5*g + t. Which is smaller: d or b?
b
Suppose -4*t - 3*c = -2*c + 21, -4*c - 18 = 5*t. Let k be 4/9*t/(-20). Is -1/4 equal to k?
False
Let z = 54 - 55. Let s = -691891/97 - -7133. Let k = 16/2037 - s. Is z at least k?
False
Let y = -10 + 10.05. Are 1 and y equal?
False
Let c(t) = t**3 + 6*t**2 + 9*t + 11. Let k be c(-5). Is k less than -11?
False
Let s be 2/(-6) + (-10)/(-3). Let z be 1/3 + 10/15. Is z > s?
False
Suppose -2*q - 3*q + r = 8, -4*r + 14 = -2*q. Which is smaller: -3/20 or q?
q
Suppose -4*g + 7 = 3. Let s be (2 - 1) + 0 - g. Is s at least as big as -1/4?
True
Suppose p + 2 = 1. Is -0.06 less than p?
False
Let t = -6 - 2. Let m = -10 - t. Is m at most 0?
True
Let h be (-2)/(-21)*(-7)/(-15). Let p = h + 131/90. Suppose 2*d = -2*x + 3*x - 9, 4*d = -x - 9. Are x and p equal?
False
Let s be (-2*(-6)/(-21))/(-1 - 0). Is 1 >= s?
True
Suppose -5*y + 12 = -2*y. Suppose y*b = b + 3. Is -1 greater than or equal to b?
False
Let a = 1/12 - -19/60. Let v = 23 - 19.9. Let h = 1.1 - v. Do a and h have the same value?
False
Let q(c) = -c**2 + 7*c - 5. Let n(v) = -2*v**2 + 15*v - 11. Let t(u) = 2*n(u) - 5*q(u). Let b be 4/(-18) + 266/63. Let r be t(b). Which is smaller: r or -3?
-3
Let g = -134 - -668/5. Let p = 0.3 - 1.5. Let z = -1 - p. Is g less than or equal to z?
True
Let g = 19/3 - 203/33. Which is smaller: g or 4?
g
Let j = -0.041 - -0.041. Suppose 0 = y + 2*g + 6, 0*y + 3*y = -4*g - 10. Let w be y*(1/2)/1. Is j not equal to w?
True
Suppose 0 = 3*h + 7 - 34. Suppose 3 = -2*m + h. Which is smaller: 1 or m?
1
Let m = 485 - 1477/3. Let o = m - -97/12. Which is greater: 2 or o?
2
Let w = -24 - -25.2. Let y = 0.2 - 0.4. Let g = w + y. Is g at least as big as -1?
True
Let u(v) = -10*v**3 + 2*v + 1. Suppose -6 + 1 = 5*s. Let f be u(s). Suppose -r = 2*g - 6, 2*g - 6 = 4*r - f*r. Is g greater than or equal to 2?
True
Suppose 5*u = 2*x + 8, -4*x = -6*x + 2. Suppose 0 = 5*j - b - 4, -3*j = 2*b + u*b - 7. Let p be (-2)/6*9/(-4). Which is greater: j or p?
j
Let f = 2/353 - 1085/4589. Which is bigger: f or 1?
1
Let c be (2 - 0) + (-89)/(-5). Let p = -97/5 + c. Which is greater: -1 or p?
p
Let b = 6 + -1. Let q = 2 + 1. Does b = q?
False
Suppose 0 = -3*o + o. Let x be (-30)/156*16/(-20). Which is greater: x or o?
x
Let t(o) = -3*o. Let l be t(1). Let z = 3 + l. Which is greater: 3/4 or z?
3/4
Suppose 5*k + 5*d - 679 = -24, k + 4*d - 128 = 0. Suppose -64 = -2*u + k. Let r = u - 687/7. Is 1 equal to r?
False
Let a = -6 - -21. Let s = a - 15. Let f = 25 + -277/11. Which is smaller: s or f?
f
Suppose 0 = -0*g - 4*g + 4. Let i be (-4351)/(-26) - 2/4. Let x = -167 + i. Which is bigger: x or g?
g
Let v be (2/(-78))/((-3)/35331). Let d = -302 + v. Is d bigger than 0?
False
Let y be (-3 + 3 - 2)/(-7). Do y and -1 have the same value?
False
Suppose 0 = -4*o + 9*o - 340. Let s = 758/11 - o. Is 2 != s?
True
Let h be 28/45 - (-2)/(-5). Suppose -d + 5*i - 13 + 8 = 0, d = 4*i - 4. Which is smaller: h or d?
d
Let s = 19 + -16. Let