 Let t(u) = -17*u. Let a be t(-2). Let p = m - a. Is -2/15 less than or equal to p?
True
Let g(w) = -4*w**3 + 2*w**2 + 2*w + 1. Let t be g(-1). Suppose 3*z - 5*j + 10*j = 25, -t*z - 5*j = -35. Which is smaller: z or 7?
z
Suppose 0 = 5*y - 5*h - 30, 0*y = -4*y - 2*h + 24. Suppose 12 = -y*k + 3*k. Which is smaller: -3 or k?
k
Let x = -14 - -16. Suppose 0 = -2*y + 2*p, -p = y + x*p + 4. Which is smaller: 2/11 or y?
y
Suppose 99 + 99 = 11*o. Is o less than or equal to 17?
False
Let c = -21 + 27. Which is bigger: c or 4?
c
Suppose 0 = -t - 2*a, -5*t + 0*t = 4*a + 24. Is t less than or equal to -1?
True
Suppose -4*v - 6*d - 35 = -d, v + 2*d = -11. Is v at least -17/4?
False
Let i(s) = s + 18. Suppose -15 = 5*p - 5*h, 0*p = -5*p - h - 45. Let j be i(p). Let z be 4/(-6)*(-3)/j. Do z and 0 have the same value?
False
Suppose 4*d = -3*c + 27, -d - 5*c = -5*d - 13. Let k be (d - (-7)/(-3))*30. Suppose -4*j - j = k. Do j and -8/3 have different values?
True
Let h = -101 + 101.5. Are 1/3 and h nonequal?
True
Let b = -126 + 19. Which is bigger: -105 or b?
-105
Suppose -10 = -3*t - 2*t. Suppose r + 11 + t = -5*b, 0 = b - 2*r - 4. Is 0 equal to b?
False
Let i = 0.23 + 0.17. Which is smaller: 1 or i?
i
Suppose 0 = 4*o - 5 - 3. Let y(v) = v**3 + 7*v**2 + v + 1. Let l be y(-7). Let u = o + l. Which is bigger: -2 or u?
-2
Let c = 20 - 2. Is c < 17?
False
Let h = -5.93 + -0.07. Let k = h + 6. Let r be 1*2/(-8)*2. Is k >= r?
True
Let x = -77377/40 - -8034/5. Let b = 328 + x. Is b at most as big as 1?
True
Let w = -6 - -6.07. Let g = w - -2.93. Which is smaller: 1 or g?
1
Let s be (2/(-4))/((-2)/(-4)). Suppose 4*t = -f + 9, -t - 5*f - 5 = 7. Suppose 0 - t = 3*k. Is s greater than k?
False
Let x(h) = -h**2 - h - 1. Let o be x(1). Let i(j) = j. Let y be i(-2). Which is bigger: o or y?
y
Let n = -4 - -2. Let a = -6 + 6. Suppose 0 = 3*o + 2*b + 19, a*b + 19 = 2*o - 5*b. Which is smaller: o or n?
o
Let j be 10*(1 + 6/4). Let k(r) = r**3 - 9*r**2 + 2*r + 6. Let l be k(9). Which is bigger: l or j?
j
Suppose -3*a - 5*z = -21, 0*z = 4*a + 4*z - 20. Let q(c) = c**3 - 4*c**2 + 2. Let j be q(4). Is j bigger than a?
False
Let w = -2 - -6. Suppose -l + w*l = 6. Let s be 20/(-25)*1/l. Which is smaller: s or 1?
s
Let j be 14/(-12) - (-5)/30. Which is smaller: j or -1/8?
j
Let r(t) = -2*t**2 - 12*t + 1. Let s be r(-6). Which is greater: s or -2/189?
s
Let j(h) = 2*h**3 - 2*h**2 + 4*h - 3. Let k be j(2). Do k and 13 have different values?
False
Let o = -24 + 47/2. Let g = -1 - -1. Which is smaller: g or o?
o
Let x = -139/84 + -2/21. Suppose -15*l - 1 - 44 = 0. Is l equal to x?
False
Let w be (-3 - -2)/(3/(-12)). Suppose -y = w*y. Which is greater: -1 or y?
y
Let a = -15.044 - -0.044. Which is bigger: a or 0?
0
Let z be (-1 - -3) + 12/(-8). Which is greater: 1.8 or z?
1.8
Suppose 42 = -4*g + 106. Let j = 15 - g. Which is greater: j or 2/27?
2/27
Let k = 14 + -8. Let p = 5 - k. Is 2 > p?
True
Let j be -3 - 8*10/(-25). Which is smaller: -6 or j?
-6
Let u(s) = 2*s**3 - s**2 + 2*s - 1. Suppose -5*d - 1 = -6. Let l be u(d). Is 2 at least as big as l?
True
Let j = 0 - 1. Let y be (-5)/20 - 34/(-8). Suppose -y*q = 2 + 2. Is j greater than or equal to q?
True
Let i be 2/(-12) - (-22)/24. Let j = -1 + 1.06. Let g = j - 1.06. Which is smaller: i or g?
g
Suppose -45*s = -40*s - 50. Is 8 less than s?
True
Suppose -48 + 132 = -4*l. Are l and -17 non-equal?
True
Let m be -1*(48/26 + -2). Suppose z = -3*q + 2 - 3, -2*q + 5*z + 22 = 0. Which is greater: m or q?
q
Suppose -v - 1 = -2. Let f = 213 - 514. Let g = 3309/11 + f. Is g smaller than v?
True
Let j be ((-14)/(-4) + -3)*24. Let u be (-6)/(-24) - (-25)/j. Is u greater than 2?
True
Let c be ((-2)/4)/((-6)/4). Let x be (-99 - 0)/(-8 - -9). Let n be 6/x*(0 + 3). Which is smaller: n or c?
n
Suppose -4*d = 0, 0 = b + d - 2*d - 1. Suppose 0 = 4*l + 9 - b. Which is smaller: 2 or l?
l
Let n = 17 + -11. Suppose -7*o = -o + n. Is o > 0?
False
Suppose 3*f + 56 = 5*h, 3*h = 2*f - h + 40. Let s be (-23)/2 + 1/2. Is f greater than s?
False
Let u be (4/(-8) - 1)*2/12. Is -0.05 less than u?
False
Let r = 0 - 4. Let b(h) = -h**3 - 11*h**2 - 12*h - 11. Let l be b(-10). Let n be (l/(-6))/(6/16). Is r smaller than n?
False
Let m be (-82)/(-56) + 2/7. Which is smaller: m or 1?
1
Let v be (-7 + 8)*(0/1 + -2). Let h be 1/((0 + -1)*1). Is h < v?
False
Let z(r) = 2*r**3 + 3*r**2 + 4*r + 2. Let s be z(-2). Let t be (-6)/s + (-57)/(-30). Is t smaller than 0?
False
Suppose 1 = 187*u - 186*u. Do u and 10/11 have the same value?
False
Let u be ((-20)/(-50))/(0 - -11). Is -1 <= u?
True
Let z = -1.3 + 1.6. Which is smaller: -0.3 or z?
-0.3
Let d be 8/(-6)*6/(-4). Let k(u) = -4*u - 6*u + 3 + 13*u - 4*u. Let j be k(d). Is 2 equal to j?
False
Suppose 0*f + 4*f = -t + 3, 0 = 5*t + 5*f. Let i(v) = 3*v**3 - v**2 - 2*v - 1. Let j be i(-1). Which is smaller: j or t?
j
Let b = -2 - 7. Let z = -3/11 + -5/22. Which is smaller: z or b?
b
Let v = -138 + 1240/9. Let j be (-2)/3*(-24)/16. Is v equal to j?
False
Suppose -4 = 2*y - 12. Let t = 12 + -10. Suppose -t*l + 8 - 2 = 0. Is y greater than or equal to l?
True
Let u(x) = -x**2 - 1. Let s be u(1). Let g(f) = -3*f**2 - 2*f - 1. Let p(i) = -i**2 - i + 1. Let c(r) = g(r) - 4*p(r). Let k be c(-3). Are k and s nonequal?
False
Let k = -227/5 + 45. Is k at least as big as -8?
True
Let j(d) = 2*d - 15. Let i be j(15). Let v be 708/(-90) - 2/i. Suppose -2*w = 1 + 15. Is w < v?
False
Let f = -9 - -13. Let d be f/10 + (-88)/20. Let g(m) = -2*m + 4. Let p be g(4). Do p and d have the same value?
True
Suppose 3*y = y + 4. Suppose -5*s + y*s = 0. Let d be (10/(-12))/(60/(-54)). Is s smaller than d?
True
Let v(h) = -h**3 + 2*h**2 + 3*h + 1. Let p be v(0). Suppose -4*t + 12 - 2 = -2*i, -2*t + 7 = -3*i. Which is greater: p or i?
p
Suppose -22 + 1 = y. Let o = -13 - y. Which is smaller: 7 or o?
7
Let x be ((-6)/86)/(48/(-32)). Which is smaller: 0.2 or x?
x
Suppose -58 = 5*u - 8. Let w be ((-3)/(-11))/(15/u). Which is smaller: w or -3?
-3
Let g be (-15)/(-3) - 2/2. Let f = g - 17/4. Is f smaller than -3?
False
Suppose -17*v = -22*v - 130. Is -26 bigger than v?
False
Let i = -4 - -2. Let b = 61 - 62. Is b at least as big as i?
True
Let n(d) = -3*d**3 + 0 + 2*d**3 + 9*d**2 + 2. Let u be n(9). Let t = 193/3 - 63. Are u and t unequal?
True
Suppose -1 = -p - 11. Let c = 9 + -17. Is p equal to c?
False
Let s be -1 + (2 - (0 + 0)). Let h = s - 1. Let k be (-2 - -3)*(-3 - -2). Which is bigger: h or k?
h
Let y be -1*(5 - 0) - -2. Is -25/11 > y?
True
Suppose 4*j = 1 + 15. Let z be (-22)/8 + (-1)/j. Which is bigger: -2 or z?
-2
Let x = -4.6 - -0.6. Let i(s) = 2*s**2 + s - 1. Let h be i(1). Suppose -3*o = h*o. Which is smaller: o or x?
x
Let i = 12335 - 49589/4. Let b = i + 62. Suppose 0 = -4*d + 1 - 5. Is b at most d?
False
Suppose b - 5*j = 12, 4*b - 10 = j - 0. Suppose 2*t - 15 = 5*t. Is t smaller than b?
True
Suppose 4*f + 8 = -4*l, -4*l - 3*f - 10 = 2*f. Which is greater: 5 or l?
5
Let r be (-1)/(-2)*4/109. Which is smaller: -1 or r?
-1
Let r be 748/(-36) + (-8)/36. Let p be 4/6*r/(-35). Is p at most -1?
False
Suppose 0 = -0*k - 5*k + 20. Suppose 2*z = -3*f - 2 + 10, -k*f + 20 = -2*z. Which is greater: 5 or f?
5
Let b(t) = t**3 - 4*t**2 - 2*t - 2. Let i be b(5). Suppose x - i = -5*w, -2*x - 3 = -3*x. Let y be ((-4)/6)/(w/9). Which is smaller: -5/3 or y?
y
Let u be (36/(-3870))/(6/10). Is u > 1?
False
Let x be ((-18)/(-14) - 1) + (-640)/2338. Which is bigger: 0 or x?
x
Let n be 4 - (4 - (-2)/13). Let x be 2*1*(-2 + 10). Suppose -2*a + 3*a = 4*l + 8, 4*a - x = 0. Is n equal to l?
False
Let i = -1.2 + 2. Let j = i + -0.2. Let h = j - 0.3. Is h != -0.1?
True
Let h be ((-2)/(-4))/(-1 + -1 + 4). Which is smaller: h or 2/7?
h
Let u = -7 - -9. Let x be u/(-8)*-4 - 1. Is x greater than or equal to 3?
False
Let t(s) = -s + 9. Let j be t(10). Is j smaller than 0?
True
Let m be 9/4 + 27/(-9). Let r = 5 - 4.5. Let c = r - 0.5. Do m and c have different values?
True
Let f(p) = 2*p**2 - 2*p**2 + p**3 - 2*p**3. Let t be f(-1). Is 1/5 != t?
True
Suppose -5*w + 0*w = 60. Which is bigger: -14 or w?
w
Suppose -3*s + 0*s = -39. Suppose -4*h + s = -4*u + h, u = 4*h - 17. Which is bigger: u or 2?
u
Let s = 5/2339 - -315745/9356. Let b = s + -34. Is 0.2 != b?
True
Let u = -187/3 - -64