 or x?
2
Suppose 3*h = -2*h + 5*c, -c + 3 = -4*h. Let k = 4 + -10. Let g be k/(-4) + (-44)/24. Which is bigger: g or h?
g
Suppose 5*k = 62 + 88. Let v be 20/k*(-2)/4. Is -3 <= v?
True
Let u = 0.3 - -0.4. Let i = 1.3 + u. Is i at most as big as 2?
True
Suppose d = -1 - 0. Let k = 0.3 + -0.2. Is d < k?
True
Let j = -0.4 + -1.6. Let y = -1.1 + 0.1. Let p = 0 - y. Which is greater: p or j?
p
Let d = 22 + -14. Suppose 0 = -2*u + 9 + 7. Is d not equal to u?
False
Suppose 2*g = 3*g + 7*g. Let z be 9/21*(-118)/(-22). Let c = -19/11 + z. Which is smaller: c or g?
g
Let i = -62 - -61. Which is smaller: 2/31 or i?
i
Suppose -4*k + 4 = 2*r - 7*r, 2 = -5*r + 2*k. Is -1 at least r?
False
Suppose -5*k = -4*g - 0 - 5, 0 = 5*g - 3*k - 10. Let y(l) = l**2 + 9*l - 5. Let q be y(-10). Is g at most q?
True
Let w = -2/63 - 59/126. Which is smaller: -0.044 or w?
w
Suppose 0 = 6*u - u + 40. Which is smaller: u or -9?
-9
Suppose 0 = -3*z + 19 - 4. Let t = z + -3. Let g(n) = 3*n**3 + n**2 + n - 1. Let r be g(1). Which is smaller: t or r?
t
Let t(f) = f**2 - 2*f + 1. Let m(i) = -i. Let h be m(1). Let z = h - -3. Let x be t(z). Which is greater: x or 2/11?
x
Suppose 0 = -3*f - l - 4*l + 19, 0 = 2*l - 4. Suppose -4*x - 12 = 5*g, 0*g - 3 = f*g + x. Let d be 32/72 + 2/9. Which is bigger: g or d?
d
Let m be (-2)/2 + (-2)/(-2). Let r = -1 + m. Let c(k) = k + 2. Let i be c(-3). Is r greater than or equal to i?
True
Let v be (-5)/26*8 - 4. Which is smaller: v or -7?
-7
Let k be (-2)/9 - 20488/(-180). Let x = k - 112. Which is bigger: 2 or x?
2
Let p = -19.423 - -0.223. Let g = p + 19. Are -6/7 and g equal?
False
Let m = 251/4 - 63. Let t be (28 - 4)*(-1)/2. Let q be (-2)/(-42) - (-4)/t. Are q and m equal?
False
Let g be 0 - (-126303 + 2 + -1). Let m = 20966053/166 - g. Let o = m - 2/83. Which is smaller: o or 0?
o
Suppose 3*n + n = -2*o - 6, -2*n = 4*o + 12. Which is smaller: 1/56 or n?
n
Let k = 271/100 + -64/25. Which is greater: k or 0?
k
Suppose -4*u + 5*c = -4, 3*u + 4*c + 0*c - 3 = 0. Is u less than 5?
True
Suppose z - 5*a + 3*a = -29, 2*z = -4*a - 18. Which is bigger: z or -20?
z
Let f = -0.3 + 0.34. Let h = 70 - 72. Which is bigger: h or f?
f
Suppose 3*j - 6*j - 15 = 0. Let n = 2 + j. Which is greater: n or -2?
-2
Suppose 0 = -4*j - 6 - 2. Let g = 0 + 0. Is g at least j?
True
Let p(i) = -i**2 - 6*i + 1. Suppose 4*q = 16 - 40. Let y be p(q). Let z = -1.5 - -1.8. Is y <= z?
False
Let l be (-1)/(-2) + (-2)/(-4). Let x be 18/20*(252/(-27) + 11). Is l at least x?
False
Let n = 14.8 - 11. Let f = n + -4. Which is greater: 0 or f?
0
Let h = 0.05 - 0.03. Let a = -0.12 + h. Suppose 2*r - 4 = 4*u, -3 = 3*u - 4*r - 5. Which is smaller: u or a?
u
Let o(r) = -3*r - 20. Let j be o(-6). Let w = 293/63 - 47/9. Is j smaller than w?
True
Let y = -2.47 + 0.47. Which is smaller: y or -3?
-3
Let k = 7 - 2. Let f be (0 - 0)*1 + k. Suppose 0 = -0*g + f*g - 20, -2*y - 2 = -g. Which is smaller: y or -1?
-1
Let n(u) = u**3 - 5*u**2 + 4*u. Let x be n(4). Let z be 1 + (0 - -1) + x. Suppose 2*y - z*g + 9 = 3*y, -y + 4*g - 15 = 0. Is y <= 2?
True
Let d = -7.96 + 8. Let n = d + 0.06. Is n <= -1?
False
Let q = 155 + -222. Is -66 at least q?
True
Let o be (-2)/(-6) + 20/(-96). Suppose -3*c - 2*m + 9 = 0, 2*m = -c - 2*m + 13. Do o and c have different values?
True
Let l(v) = 2*v**3 + 2*v**2 - 1. Let r be l(-1). Let w = -13 - r. Is -12 greater than or equal to w?
True
Let d be -4 + 2 + 2*(-60)/(-56). Suppose 9*w = 4*w. Is d greater than w?
True
Let b(h) = h + 5. Let l be b(5). Let k(a) = -3 - l*a - 3 - a**3 - 1 - 10*a**2. Let c be k(-9). Which is bigger: c or 0?
c
Let q be (-38)/(-14) - 5/((-30)/(-18)). Is q equal to 13?
False
Suppose 13 = -4*r + 4*t + 1, 5*r = -3*t - 7. Let s be r/5 - (-34)/10. Is s > 3?
False
Let q(u) = u**2 - 2*u - 7. Let s be q(3). Let l = 2 - -6. Let i be ((-2)/s)/((-10)/l). Is i at least 1?
False
Suppose -5*z - 4*i + 17 = 0, 2*i + 1 = 4*z + i. Suppose -5*r + l + z = 0, 21 = -3*r + 4*r + 5*l. Let f be (-1)/(5/2 + r). Is f >= 1?
False
Let a(q) = -4*q**2 - q**3 + 5*q - 13 + 6 + 7. Let d be a(-5). Is 3/11 >= d?
True
Let a(b) be the first derivative of -b**4/4 - b**3 - b**2/2 + 2*b + 5. Let n be a(-2). Is n smaller than 1/35?
True
Let s = -0.2 + 0.18. Let x = s + 0.12. Which is smaller: 7 or x?
x
Let a(m) = 2*m**2 + 2*m - 4. Let w be a(-3). Suppose 2*o + w = 2*n - 2*o, -5 = -3*n - o. Suppose 4*g + 3*j - 16 = 0, -j - 3*j = -16. Which is smaller: n or g?
g
Let h(l) be the third derivative of -l**4/24 - 4*l**3/3 - 3*l**2. Let i be h(-8). Let c(j) = j - 1. Let s be c(i). Is s greater than 1?
False
Let j be (1*-3)/(2/(-2)). Let s(y) = y**2 - 8*y + 1. Let p be s(8). Is p < j?
True
Let s = -3 + 3. Let w be (-5 - s)/(624/(-51)). Let m = -9/16 + w. Is -1 less than m?
True
Suppose 0*g + 11 = g - 4*z, -3 = z. Let u = -1/94 + -81/1222. Is u equal to g?
False
Let j = -35 - -53. Let t be (-3)/12*(-4)/j. Which is smaller: t or 0?
0
Let h(r) = r**3 + 5*r**2 + 4*r + 1. Let x = -2 - 2. Let n be h(x). Let s be (2/(-10))/(3/3). Does s = n?
False
Suppose -5*d - 135 = -10*d. Which is greater: 25 or d?
d
Let c be ((-4)/10)/((-10)/(-5)). Is c > -1?
True
Let h(q) = 13*q**2 + q - 2. Let a(g) = -g**2 - g + 1. Let r(d) = 3*a(d) + h(d). Let l be r(1). Is l at most 9?
True
Let h = 28 + -23. Are h and -2 nonequal?
True
Suppose 0 = l - 3 - 4. Suppose -2*c - l = -1. Is c greater than -4?
True
Let k = 1541/9 + -171. Suppose -3*r = -4*x - x - 7, 4*x = 5*r - 16. Suppose 0 = 2*g + 3*g - 3*t, -r*t = -5*g. Is g at most as big as k?
True
Let j = -35687/7567 + 2/1081. Is j less than or equal to -4?
True
Let u(t) = t**3 - 5*t**2 + 4*t + 2. Let r be u(4). Suppose r*k + 5 = -1. Let x = 0.1 - 0.2. Do x and k have the same value?
False
Let u be 3*(20/6)/1. Let g(i) = -i**3 + 9*i**2 + 11*i - 8. Let m be g(u). Suppose 0 = m*l + 3*b - 2*b + 2, l + 3*b = -6. Which is bigger: l or 1?
1
Let t be (-1*(-4)/6)/((-26)/(-299)). Which is greater: 8 or t?
8
Let i be 40/66*(-27)/(-2). Let z = i + -8. Which is smaller: -1 or z?
-1
Let k(a) = 2*a - 3. Let l be k(-3). Is l less than -7?
True
Let t = -26 - -25. Is -0.02 greater than or equal to t?
True
Suppose -4*m = -0*m - 4. Let u be m*(0 - 1/3). Is u > -1/4?
False
Let w(k) = -2*k**2 - 9*k - 3. Let y be w(-5). Which is bigger: -6 or y?
-6
Let j = 13 - 12.9. Let m = -2 - -2.1. Is m >= j?
True
Suppose -7 = -3*g - g + 3*w, 5 = -5*w. Let n be ((-3)/2)/(g/(-2)). Is 5 at most as big as n?
False
Suppose 30 + 42 = 3*a. Which is smaller: 22 or a?
22
Let u = -14 + 7. Let j = -2.4 + 9.3. Let y = j + u. Is 0.07 > y?
True
Let v be ((-32)/(-12))/((-1)/(-3)). Let p be (v/(-100))/((-1)/(-5)). Let a = 4 + -3. Which is greater: p or a?
a
Suppose 5*g - 60 - 3 = 3*s, -5*g + 58 = 2*s. Which is smaller: 13 or g?
g
Let g = 0.055 + -0.115. Is g bigger than -0.2?
True
Suppose 3*i - 1 = 2*i. Is 1/4 at least as big as i?
False
Let r(c) = 4*c + 4. Let u be ((-28)/(-35))/((-2)/5). Let k be r(u). Are -5/2 and k non-equal?
True
Let i(f) = f**3 + 5*f**2 + 2*f - 2. Let h be i(-2). Let u = 7 - h. Are u and -3 non-equal?
True
Let j = -6 - 7. Is -14 at most as big as j?
True
Let f be 2 + (1 - 46/14). Let t = -4 - -3. Is t at most f?
True
Suppose 2*l - 4*r + 8 = 0, -r - 3 = 2. Let w(a) = -a**3 + 5*a**2 - 3*a + 6. Let q be w(4). Let z = l + q. Is z less than or equal to -4?
True
Let p = 2 + -1.9. Let h = -11697/26 - -450. Let z = h - 45/52. Is z greater than or equal to p?
False
Let i = 47 - 58. Let l be (-116)/10 - 2/5. Which is greater: i or l?
i
Let z(n) = -n**3 + 4*n**2 + n - 3. Let f be z(4). Let j(k) = -k**3 + k**2 + 8*k - 4. Let d be j(3). Is d < f?
False
Let s = -14 - -7. Let d = 3 + s. Which is bigger: 2/7 or d?
2/7
Let t = -206/9 - -15056/657. Which is greater: t or 1?
1
Let n be (-2)/2*(6 + -6). Let x be 116/(-14) - (-2)/7. Let r be ((-6)/x)/((-6)/(-4)). Which is smaller: r or n?
n
Let z(k) = -k - 7. Let n be z(-5). Let s(p) = -p**3 - 8*p**2 - 7*p - 1. Let o(m) = -m - 4. Let y be o(3). Let j be s(y). Which is smaller: j or n?
n
Let m be 1/(-3) + (-490)/(-1398). Let k = -422/2563 - m. Is 2 at least k?
True
Let t(p) = 5 - 4*p + 1 - 4 - 4. Let k be t(-2). Which is smaller: 4 or k?
4
Let w be (-247)/(-156) - 2/6. Which is bigger: w or -2/7?
w
Let k = -10.97 - -11. Let z = k - -6.97. Which is smaller: -1 or z?
-1
Let p = -3