/(2*1). Suppose -g*i + 0 = 2*t - 9, -5*i = t - 12. Let p = i - 5. Which is bigger: -1 or p?
-1
Suppose 2*m - 20 = 3*g, 5*m = -2*g + 3*g + 37. Suppose -3*f + 4*f = -3*y + m, 17 = f - 2*y. Suppose 4*z + 2*h = 9 + 17, f = 5*z - 4*h. Is z less than 6?
True
Let x(v) = v**3 + 11*v**2 + 11*v + 5. Let s be x(-10). Which is greater: -6 or s?
s
Let f = -29849 + 209654/7. Let h = f - 102. Let q be 0/(((-2)/2)/(-1)). Is h > q?
False
Suppose -8 - 4 = 3*l. Do -5/2 and l have the same value?
False
Let o be (-9)/(-3)*2/2. Let w = -2 + o. Which is bigger: w or 2?
2
Let v = 74391/938 - 555/7. Is v bigger than 0?
True
Let h(k) = -2*k**3 + 6*k**2 + 2*k + 5*k + 4 + 4*k**3 - 3*k**3. Let m be h(7). Is 2 bigger than m?
False
Let q be 6/10 - (-3)/(-5). Let l be 94/(-30) + q - -3. Let r be (4/2)/(2 + 0). Are l and r non-equal?
True
Suppose 13 = 3*q - 4*t, 2*q = t - 2*t - 6. Is 2/27 bigger than q?
True
Let r = 8 + -8.9. Let a = r + 0.6. Let i = -0.7 - a. Do i and -1/4 have different values?
True
Let u = 4 + -6. Let z = 2 + u. Is -1/7 <= z?
True
Let y = 0.8 - -6.2. Let m = 0.18 + 0.82. Which is smaller: y or m?
m
Suppose 0 = -2*k - 2*b - 3*b + 80, 5*k - 262 = 3*b. Suppose 4*f + k = -f. Are -10 and f equal?
True
Let g be (-4 - (-3)/1)*1. Let i(v) = 2*v + 9. Let m be i(-6). Let d = m + 2. Is g <= d?
True
Suppose -3*q + 2*q - 12 = -3*l, 0 = 4*l - 4*q - 16. Suppose -l*f + 33 = -15. Let n be (2/(-6))/((-4)/f). Is -1/5 bigger than n?
False
Let n be ((-15)/9)/(2/6). Is n >= 0.2?
False
Let r(i) = -i - 5. Let k(f) = -f**2 + 9*f - 12. Let l be k(8). Let h be r(l). Let t be ((-3)/(-21))/(h/2). Is 0 at most t?
False
Let i be 2 - 7/(-20)*-6. Is -1 smaller than i?
True
Let z = 5 + 2. Suppose 2*d + 1 - z = 0. Which is greater: -0.1 or d?
d
Suppose -16 = -3*m + 11. Let c = -3 + m. Suppose -c = l - 2*s + 3*s, 2*s + 6 = 4*l. Is l bigger than -4?
True
Suppose n = 6*n. Let z be -4*((-22)/(-20) + -1). Does z = n?
False
Let j = -5 - 18. Let y = -9 - j. Which is smaller: 15 or y?
y
Let c = -19 - -19. Let f = -345 - -3787/11. Which is bigger: f or c?
c
Let q be (1/5)/(5/25). Which is smaller: q or 2/261?
2/261
Let a = -21/68 + 1/17. Let p = -60 - -182/3. Which is smaller: p or a?
a
Let i = 0 + -1. Suppose 5*v = v - 68. Let z = -52/3 - v. Do i and z have the same value?
False
Let f(s) = -3*s + 20. Let c be f(8). Let z be 15 + -2*(-1)/(-2). Let q be -1*(-1 - z/(-4)). Are c and q equal?
False
Let n be 3/12 + (-22)/(-8). Suppose q + 10 = n*q. Suppose 3*p + 2*p + q = 0. Are -2/11 and p non-equal?
True
Let f(t) = -t + 2. Let y be f(7). Let s = -6 - y. Is s at most -1/4?
True
Suppose b = -j - 9, 28 = -2*b - 5*j + 1. Let t(a) = 2*a**2 + a - 1. Let d be t(1). Let l = -3 - d. Which is greater: b or l?
l
Let g be ((-4 - -6) + -2)/(-1). Is -1/23 greater than g?
False
Let y be (-152)/14*(-7)/2. Is y >= 35?
True
Let q(r) = -r - 10. Let a be q(-4). Which is greater: a or -7?
a
Let p = -24.96 + 25. Is p bigger than 1?
False
Let q = -2/15 - -113/60. Which is greater: 2 or q?
2
Let u be ((-180)/(-98))/(1/(-21)). Let d = -2914/77 - u. Which is greater: 2 or d?
2
Let o be -4*(4 - (-114)/(-28)). Is o at least 0.62?
False
Let g = -16/33 + -2/11. Let h be (-22)/8 + (3 - 0). Which is smaller: g or h?
g
Suppose 0 = 3*k - 4*i - 0*i - 32, 17 = -2*k - 5*i. Suppose -4*l + 126 = -10. Let b be 2/(-5) + l/10. Which is smaller: k or b?
b
Let n = -28 + 27. Is n bigger than -0.1?
False
Let f be (-1)/3*-3 - 0. Let q = -2 + f. Let d = -83/5 + 81/5. Is d smaller than q?
False
Let k = 5/69 + 6/23. Which is smaller: k or -2/59?
-2/59
Suppose -v = -3*w + 15, -3*w + 4*v + 20 = -w. Let q be (-8)/(-10)*(-30)/w. Which is smaller: -8 or q?
-8
Let w = 123/7 + -18. Suppose -1 = -4*p + 3*p. Which is greater: w or p?
p
Let h be -48*(-1)/(1 + 2). Suppose -m = -2*l - 5, -19 = 3*m + 4*l + h. Are m and -5 unequal?
False
Let o be (0 - 1)*(2 - 1). Is 3/11 equal to o?
False
Let d = 8/15 + -2/15. Which is smaller: d or 1?
d
Suppose -2*f - 7 + 1 = -5*y, y = -5*f - 15. Suppose y = -7*r + 2*r - 5. Which is greater: r or 0?
0
Let s(n) = -n**3 - 2*n**2 + n - 5. Let k be s(-3). Let b be (k - (0 - -1))/(-2). Is 0 not equal to b?
False
Let u be (3 - (0 - -2))*-1. Let a be 2*u - (-264)/130. Let t = 152/715 - a. Is -1 less than t?
True
Suppose -4*x - x + 25 = 0. Let y = -2 + x. Let s be -3 - 2/((-2)/y). Is 1 equal to s?
False
Suppose 2*n - 4*k = -0*n, -2*n = -k - 3. Suppose -2 - n = 2*j + 4*x, 0 = j + 4*x + 4. Which is bigger: j or -3/5?
j
Let k(g) = -2*g - 2. Let a be k(3). Let o(m) = 3*m**2 + m - 1. Let f be o(1). Suppose -f*i + 0*t - 12 = -3*t, -4*i - 2*t = 34. Which is smaller: i or a?
a
Let z = 0.05 - -0.07. Let t = 7.88 + z. Let g = -9 + t. Which is smaller: g or 5/2?
g
Let d = 10 + -6. Suppose -4*v + 88 = d*k, 5*v = -4*k + 73 + 17. Suppose 4*y = k, 2*c - 8 + 36 = 4*y. Is c equal to -4?
True
Let h = 5.3 + -6. Let n = 0.9 + h. Which is smaller: -3 or n?
-3
Let d be 24/14 - 10/(-35). Suppose 3*a - 4*a + d = 0. Suppose c = -a*c. Does c = 0?
True
Suppose 0 = -d + 6 + 7. Is d at least as big as 0?
True
Let j = 132/7 + -1744/91. Which is greater: j or 0?
0
Let w be 6*(4/(-6))/(-1). Suppose -7*r = -2*r. Suppose -w*b - b + 5 = r. Which is bigger: b or 3/2?
3/2
Let m = 32 - 33. Is m greater than -2/5?
False
Let l(v) = -v**3 + 5*v**2 - 6*v + 4. Let q be l(3). Suppose 0 = -4*z + 4*o - 12, -7 = -4*z - 3*o + 9. Is q smaller than z?
False
Suppose 2*z + 0*z + 4 = 0. Let d(i) = -i**2 - i. Let r be d(0). Suppose 0 = -r*y - 3*y - 6. Is y not equal to z?
False
Suppose -5*a + z = -3, 5 = -z + 2. Is a > 2/57?
False
Let t(p) = 0*p**2 - 4*p**3 + p**2 + 0*p**2 + 5*p**3. Let h be t(-1). Is h smaller than -3/4?
False
Let m be (-4)/14 + (-4)/(-14). Suppose m = -2*d + 18 + 22. Suppose 3*k + 2*v = 10, 2*v + 2*v - d = 0. Which is bigger: k or -6/7?
k
Let o be 3/(4/10*(-2745)/(-12)). Let c be -2*(-1 + 9/6). Which is smaller: o or c?
c
Let p = 100.6 - 94. Which is smaller: p or -1?
-1
Suppose 3*z - j + 20 = 5*z, 4*j + 24 = 5*z. Which is smaller: 2/11 or z?
2/11
Let h be -2*(48/216 - 13/18). Suppose -3 = -2*k + 3. Let n be 1/(-6)*(-4)/k. Which is greater: n or h?
h
Let m be -45*(-1)/((-768)/22). Let g = m - -34617/640. Let d = -53 + g. Does d = 0?
False
Suppose 2*p = 2 + 6. Are 4 and p non-equal?
False
Let b = 0 + 0. Let n = 18.9 - 20. Let u = n + 1. Is b at most as big as u?
False
Suppose 0 = y - 4*i + 14, 10 = -y + 5*i - 9. Let q be (-10 + 31)*(-2)/(-6). Which is greater: y or q?
q
Let z be 8 - (2 - (-1 + 3)). Suppose 0 = -12*l - 0*l + 108. Which is smaller: l or z?
z
Let m = 213 - 210. Suppose -4*s = -3*w - 14, 12 - 4 = 2*s - 2*w. Suppose -2 - s = -j. Is m at least j?
False
Let q be (2 + 1)/(-3) - -6. Let o = 9 - 6. Does q = o?
False
Let s = 0.89 - -56.11. Which is greater: 1 or s?
s
Suppose -3*j + 2 = -79. Which is smaller: 28 or j?
j
Let s(d) = -d - 11. Let u be s(-10). Let m(b) = 4*b**2 + b + 1. Let w be m(u). Do 3 and w have different values?
True
Suppose 0 = 5*s - s + 8, 5*j + 3*s - 9 = 0. Suppose -2*t + j*t = 0. Are -2/5 and t unequal?
True
Let d(l) = -2*l - 2. Let b be d(-4). Suppose 0*c = -3*c + b. Which is bigger: c or -1?
c
Let h be ((-4)/2)/(-23 + 24). Let l be 1/2 - (-5)/(-2). Let r be 1/l + 0/h. Which is bigger: -6/5 or r?
r
Suppose 5*x = 3*x - 10. Let i be ((-2)/x)/(3/30). Suppose 2 = -3*u - i. Which is greater: u or -5/3?
-5/3
Let v = 134 + -940/7. Suppose -j - 2*j - 9 = 0, 0 = 4*b + 3*j - 3. Let m be b - (1 - (-2)/1). Do m and v have different values?
True
Let r be (-1)/6 - (-242)/12. Suppose -3*s - 19 = 3*j - 4, -r = s + 4*j. Suppose 4*q - 2*v = -v + 21, s = -4*q + 5*v + 41. Is 5 < q?
False
Suppose 0 = -o - 25 + 89. Is o greater than or equal to 65?
False
Let y be (-9)/(-2) + 2/4. Suppose r - 4 = 5*j, -4*r + 11 = 5*j - y. Let w be 2/(-2)*(-3)/4. Which is bigger: j or w?
w
Let k(a) = -a**3 - 3*a**2 + 6*a + 4. Let t be k(-4). Let w be (-12)/(-10)*10/t. Which is greater: -1 or w?
-1
Suppose 27 = 4*b + 3*x - 4*x, -b - x = -3. Which is smaller: b or -3?
-3
Let y(l) = -2*l + 47. Let b be y(24). Which is smaller: b or -0.2?
b
Suppose 0*z - z = -2*g + 9, 5*g = z + 21. Which is smaller: g or 3?
3
Let a = -687/2 + 350. Let r = -15 + 21. Which is smaller: a or r?
r
Suppose 3 = -4*s + 3*s. Is s less than -5?
False
Suppose -5*l + 5 + 5 = 0. Suppose -5*b - 4*y = -5, 0*y = -5*b