ller: h or 2?
2
Let j be -1*3/6*-2. Which is greater: -1/21 or j?
j
Let x(r) = r + 2. Let y be x(0). Suppose -y = -0*v - v. Let c be v/5 - 4/10. Which is greater: c or 1?
1
Let u(y) = -2*y - 12. Let v be u(-6). Is v at least as big as -1/7?
True
Let s(y) = -12*y - 31. Let m be s(-6). Which is smaller: 81/2 or m?
81/2
Let c = 22 + -21. Is -3/4 greater than or equal to c?
False
Suppose r + b = -3*b - 8, 3*r = 5*b + 10. Suppose -5*z = -5*p - z - 1652, -2*p + 5*z - 671 = r. Let u = p - -2292/7. Which is bigger: -2 or u?
u
Let h = -19 - -12. Let x = -7.1 - h. Is -2/15 bigger than x?
False
Suppose 180 = -4*i - 0*i. Is i at least -47?
True
Let c = -1.15 + 1. Let y = c - -0.05. Which is smaller: y or -0.3?
-0.3
Let d = 0.3 - -0.6. Which is greater: 3/5 or d?
d
Let h = -2/417 + -824/2085. Is h smaller than 0.7?
True
Let g be 18/6 - (1 + 0). Let j be (-12)/(-9) - g/6. Let q be (j - (-2)/(-6))*3. Is 2 at least q?
True
Let o be 4/14 + (-4)/14. Let a = o - 0. Let h = 243/5 + -49. Which is greater: a or h?
a
Let d = 888 - 91466/103. Which is smaller: 1 or d?
d
Let x be 0/((-1)/(2/4)). Let p(w) = -w + 4. Let k be p(3). Let l be 5 + -2 - (3 + k). Which is smaller: l or x?
l
Let d = 0.3 - 0.42. Let z = 0.02 + d. Is -1/4 <= z?
True
Let s be (-21)/9*2/(-7). Let w be -2 + (-3)/6*-6. Which is bigger: w or s?
w
Let y be (11/(-2))/((-30)/(-4)). Let k = 9 + -43/5. Let l = y + k. Is -1 less than or equal to l?
True
Let d be (-4 - -7)*4/10. Which is bigger: 1 or d?
d
Suppose -2*u = -2*i + 28, 4 = 5*i + 2*u - 31. Suppose 3*d - 39 = -5*y, -d + 0 = -5*y + 7. Which is greater: d or i?
i
Let a(v) = v**2 - 6*v - 23. Let h be a(7). Which is bigger: -3 or h?
-3
Let j = -4/163 + -2596/489. Let w = -50/9 - j. Let a = -42 - -41. Which is smaller: w or a?
a
Let k be 11/3 + 4/12. Suppose -2*x - 4 = k*l + 6, 8 = -4*l. Let j = x - 0. Is j != -2?
True
Let t = -0.15 - -0.04. Which is greater: t or -2/9?
t
Let a be (-57)/27*-3 - 12/(-9). Which is bigger: a or 9?
9
Let c = -4 - -6. Let u be (c - 3)*2/1. Let d be ((-6)/5)/((-69)/(-30) - 2). Which is bigger: d or u?
u
Suppose 0 = -3*k + 5*a - 13, 5*a - 15 = 4*k + k. Let i be (-2 - -1)/(k + 0). Let x be (4/18)/((-3)/(-18)). Is x bigger than i?
True
Let u(z) = 23*z - 5. Let g be u(7). Let n be 28192/(-180) + 4/10. Let s = n + g. Is s less than or equal to 0?
True
Let u(i) = -3*i**2 + 12*i + 13. Let f be u(6). Is f bigger than -21?
False
Suppose i = -4*i - 10. Let g be -2*3547*4/(-88). Let v = g - 323. Which is bigger: i or v?
v
Let w = 1.1 - 0.5. Let k = 7.6 - w. Let b = k - 6.7. Are b and -2/3 non-equal?
True
Let m = 26 + -26.1. Let d(i) = 3*i**2 - 2*i + 1. Let a be d(1). Let r be a/1 - (-32)/(-14). Is r != m?
True
Let m(n) be the second derivative of n**3/6 + 5*n**2/2 + 4*n. Let w be 335/(-25) - (-2)/5. Let f be m(w). Which is greater: 2/7 or f?
2/7
Let i(m) = 2*m**2 + 7*m + 4. Let o be i(-8). Suppose 4*u - o = -t, 5*u + 0*t - 94 = -t. Which is smaller: 19 or u?
u
Let u(t) = 3*t**2 + 3*t + 1. Let y be u(-3). Let d be y/2 + 12/(-8). Let l be 1/(-2) + 2/d. Is 4 at most as big as l?
False
Let s(p) = -p**3 + 2*p**2 - 2*p + 2. Let k be s(3). Let g = k + 15. Is g < 5?
True
Let p = 0.03 - 0.13. Do 0.02 and p have different values?
True
Suppose -3*n + 7 = 5*v, v - 2*n = 6 - 2. Suppose r = -v*r + 39. Which is smaller: 12 or r?
12
Let c = 5 + -4. Let o(y) = y**2 - 9*y + 8. Let g be o(8). Let d = 0 + g. Is c at most as big as d?
False
Let o(y) = -y - 4. Let b be o(-6). Suppose -x = 5*a + 18 + 1, -b*a - 3 = 5*x. Is x greater than 1?
False
Let l = -10.9 - -11. Is -33 at most as big as l?
True
Let x(c) = -c**3 - 19*c**2 + 21*c + 8. Let h be x(-20). Is h equal to -13?
False
Let t = 3 - 2. Let m = t + -3. Let s(z) = z**3 - z**2. Let n be s(0). Which is bigger: n or m?
n
Let p = -2 - -1. Let w be 1*(2 + 2*p). Let f = -11/32 + 3/32. Which is smaller: f or w?
f
Let s(n) = n**3 - 5*n**2 + 3*n - 2. Let p be s(4). Are -8 and p non-equal?
True
Let u = 15 + -11. Let y be 1*2*2/u. Which is smaller: y or 8/5?
y
Let o = -4 - -3. Let l = -239/63 - -25/7. Which is greater: l or o?
l
Let o be (-14)/(-80) - 1/(-5). Suppose -5*r + 9 + 1 = 0. Let y be (1 - r)/(3/3). Is y > o?
False
Let g = 2 + 2. Suppose -4 = h - 3*h. Suppose -h*b = -3*b + 5. Which is smaller: g or b?
g
Let y = 10 + -5. Let s = y - 2. Let c = -24 + 29. Are s and c non-equal?
True
Let h(z) = z**3 + 2*z**2 - 5*z - 4. Let a be h(-3). Suppose 0 = -2*l + 2*c + a, 5*l + 3*c - 23 = 2*c. Which is smaller: l or 5?
l
Let o be (-4)/7 + 5512/91. Let x be ((-178)/o - -3)*4. Suppose -a + 0*a - 1 = 0. Is x <= a?
False
Let v(l) = -l - 3. Let d be v(-5). Suppose 4*c = n + 2, 7*c - n = d*c + 2. Is 0 at most c?
True
Suppose -2*h = -3*q + 26, 2*q - 4*h - 19 = 9. Let o be (-26)/(-30) - 4/q. Is o >= 0?
True
Let x be -343*3/15 + 2/(-5). Are -69 and x non-equal?
False
Let n = 22.6 - 22. Which is smaller: 0.1 or n?
0.1
Suppose 3*x - 14 - 7 = 3*z, -5*x - 5 = 5*z. Let y(s) = s**3 + 3*s**2 - 5*s - 2. Let d be y(z). Let c = -0.1 - 0. Do d and c have different values?
True
Let d = 3/22 + 17/198. Which is smaller: d or -1?
-1
Let x = -27/2 + 37/3. Is -2 at least x?
False
Let w = 6 + -1. Let d = 4.8 - w. Which is greater: 1 or d?
1
Suppose -2*o = -3*x - 7, x - 5*x - 2*o + 14 = 0. Suppose 0*d - x = -d. Is d > 0?
True
Let f be 1 + 3/(-4)*68/42. Which is greater: 1 or f?
1
Let q(z) = -z**2 + 4*z - 3. Suppose 4*d - 9 = 3. Let r be q(d). Which is smaller: r or -0.07?
-0.07
Let x = 6 - 16/3. Let j = 1 - x. Let p be 2 + (1 - 21/6). Is p equal to j?
False
Let p = -4.3 + 5. Let g = -0.8 + p. Are -0.01 and g non-equal?
True
Let x = -29 + 4. Let o = -6446/3 + 2174. Let q = x + o. Which is greater: 0 or q?
q
Let p = 58/15 + -22/5. Which is smaller: p or -2?
-2
Let m be 56/(-42)*(-6)/4. Which is smaller: m or 3/44?
3/44
Let h = -12 - -9. Is h greater than -3?
False
Let k(r) = -r**2 + 14*r + 17. Let c be k(15). Suppose c*p = -p. Are -3/13 and p non-equal?
True
Let c be (1 + -1 - 0)/2. Suppose c = b + 2*b + 3. Does b = 1?
False
Let x(h) = -h**3 - h**2 + 18*h - 2. Let g be x(-6). Is 69 greater than g?
False
Let m(d) = d**3 + 25*d**2 + 2*d + 44. Let l be m(-25). Which is bigger: l or -9?
l
Let p = -10 + 12. Do 2 and p have different values?
False
Let m(z) = z**2 + 10*z + 8. Let r be m(-8). Let w be 278/r - (-2)/(-8). Let a be ((-8)/w)/4*-5. Is -1 > a?
False
Let p = -11321/8 + 1417. Let y = 9/8 - p. Let t = -0.1 + 0. Which is greater: y or t?
t
Suppose 4 = 2*z + 2. Let a be (2/6)/((-1)/(-3)). Is z >= a?
True
Let h be 4/(-1 + 15/9). Let d(m) = m**2 + 5*m - 7. Let i be d(-7). Which is greater: h or i?
i
Suppose f + 0*f = 3. Suppose -f*y = -2*y - 2. Which is greater: y or 3?
3
Suppose -5*p + o + 3 = -7, 2*o + 8 = -2*p. Let q be 1 - p*4/10. Is 2 equal to q?
False
Let m = 1 + -2. Let y(r) = -3*r - 6. Let v be y(-4). Let q be 6/(-9)*v/4. Is q <= m?
True
Let m be (-2 - 1) + (74 - 1). Let h = 25376/355 + -91/71. Let k = h - m. Are k and -1 unequal?
True
Let s = -0.16 + -0.14. Do s and 0.3 have the same value?
False
Let v = 2 - 3. Let n = 1219/4 - 298. Let j = n + -13/2. Is v at most as big as j?
True
Let n be (-4)/(-10)*(-20)/16. Let x = -8 + 3. Let r be 2/(-3)*(-15)/x. Is n at least as big as r?
True
Let w(c) = -c**3 - 3*c**2 + 2*c + 8. Let o be w(-4). Which is bigger: 69/4 or o?
69/4
Let g be ((-1)/2)/((-1)/2). Let o = g + -4. Is o >= -3?
True
Let z = 20 + -79/4. Suppose 2*a = 3*w - 14, 0*a + 3*w - 16 = 4*a. Is z at least as big as a?
True
Let k be 8/(-20) + 4/10. Let f = -1 + 2. Which is smaller: k or f?
k
Let t = 32 + -31. Let u(n) = n**3 - 3*n**2 - 1. Let z be u(2). Let b = z - 0. Is t equal to b?
False
Suppose 18 = -y + 2*y. Let f be (3 + y/(-4))*-2. Suppose r = 4*r + f. Is r less than or equal to 3?
True
Let o = -8 - -7.7. Let c = 1.3 + o. Let z = -14/9 - -134/63. Are c and z non-equal?
True
Suppose 4*q + 8 = 4*l, -2*l - 11 = 2*q + q. Let v(b) = b**2 + 6*b + 6. Let c be v(-4). Let x be c - (q - (-9)/11). Is 1 != x?
True
Let p be 1/5 + (-8)/40. Which is greater: -0.3 or p?
p
Let j be (5/2)/((-4)/(-8)). Which is bigger: j or 6?
6
Let t = 1 + -1. Let d(c) = c**2 - 23*c + 1. Let w be d(23). Is t at least as big as w?
False
Suppose 3*x = 2*v + 3*v + 22, -v = 4*x - 14. Is 2 < x?
True
Let u = 12/53 + -272/265. Which is smaller: u or -1?
-1
Let n = 0.1 + -0.