t p = -6 + h. Suppose 0 = -2*m - p*v + 2*v - 2, v = -4*m + 1. Are m and 2/5 non-equal?
True
Suppose g = -4*y - 0*y - 41, 3*g - 37 = 4*y. Which is smaller: -14 or y?
-14
Suppose 4*i + 16 - 4 = 0, -2*j - 5*i = 29. Which is bigger: -9 or j?
j
Let a = 15 + -11. Let j be ((-988)/(-245))/a + -1. Let z = 508/2205 - j. Which is smaller: -3 or z?
-3
Let s = -104 + 135. Is 63/2 at most s?
False
Suppose 0 = -3*b + 6*h - 2*h + 28, -2*h + 8 = 4*b. Suppose -3*a + 10 = -b*a. Let o be (-9)/a - 1/2. Are -1/2 and o equal?
False
Suppose 0*q = 2*q + 12. Let i be (-4)/34*(-9)/q. Does 0.1 = i?
False
Let z = -11 + 20. Is 9 bigger than z?
False
Let g = 180448 - 33401. Let z = -11323474/77 + g. Let m = z + 79/7. Which is bigger: m or -1?
m
Suppose -3*p = -0*p - 90. Is 31 at least as big as p?
True
Let m(w) = 4*w - 4. Let f be m(3). Let z(c) = 3*c**2 + c. Let x be z(-1). Let g be (-9)/x - (-4)/f. Is g greater than -4?
False
Suppose q + 3 = 0, -4*p = 2*q - 0*q - 18. Let o = -1 + 1. Suppose -3*f - p + o = 0. Is -3 > f?
False
Suppose -5 = -i, h + 2 = -h + 2*i. Let p = 5 + h. Suppose -5*u + 2*o - 9 = 0, -p*o - 18 = u - 4*o. Is u < -1?
True
Let y(b) = -12*b + 5. Let u(a) = 4*a - 2. Let f(l) = 8*u(l) + 3*y(l). Let o be f(-1). Suppose 3*i = 2*s + 9, -4*i + 15 = -o*s + i. Which is smaller: s or -2/11?
-2/11
Let t(k) = -k**3 + 11*k**2 - k + 10. Let v be t(11). Is -2 less than or equal to v?
True
Let i = -0.04 - -0.14. Let d = 0.5 + i. Let g = d + -0.8. Is g at least 1?
False
Let b(j) = -j**3 - j**2 - j. Let p be b(-2). Let z be p + -8 + 7/4. Is 0 > z?
True
Let o = 763/7068 + -1/372. Let t = 11 + -11. Is o equal to t?
False
Let r be 16/(-72) + (-7)/9. Let h = r + 11/13. Let t(w) = w + 1. Let o be t(-1). Are h and o non-equal?
True
Suppose 5*a + 3*f - 257 = 4*f, -5*a = -2*f - 259. Let p be (-2)/(-7) + a/(-105). Suppose -b - 4 = b + o, 4*b - 5*o - 20 = 0. Which is smaller: p or b?
p
Suppose j + j - 2*m - 8 = 0, -2*j - 3*m = 2. Let p = j + -2. Let b = -1 + 1. Are p and b equal?
True
Let h = -9/2 - -14/3. Is h at most as big as 0.1?
False
Suppose 4*u - u - 195 = 0. Let l be u/100 - (-1)/(-4). Which is smaller: -2 or l?
-2
Let v(h) = -h**3 + 7*h**2 - 5*h - 8. Let l be v(6). Which is smaller: -20 or l?
-20
Suppose -3*k - 3 = 72. Which is greater: -24 or k?
-24
Let u(g) = g**3 - g + 1. Let d be u(-2). Let z = 9 + d. Which is greater: 3 or z?
z
Let j(x) = -x**3 + 5*x**2 + x - 7. Let a be j(5). Is a < 2/5?
True
Let b(w) = -w**3 + 8*w**2 + 4*w - 28. Let c be b(8). Which is bigger: c or -2?
c
Suppose -6 - 2 = 2*n. Let a(l) = 2*l + 2. Let b be a(-3). Is b less than n?
False
Let n be (-3)/(-6) + (-1)/(-2). Let a = 0 - n. Let y = 0 - 0. Which is smaller: y or a?
a
Let q = -5/4 + 1. Let b(k) = 2*k**3 + 3*k**2 - 1. Let d be b(-2). Let w(r) = r + 5. Let v be w(d). Which is bigger: v or q?
v
Let x = 32 + -33. Let d = -1 - -0.94. Which is smaller: d or x?
x
Let a = -293 + 2633/9. Let h(u) = 0 - 5*u + 3 - 2*u**2 + 3*u**2. Let j be h(4). Is j > a?
False
Let j(v) = -v**3 - 6*v**2 - 2*v + 2. Let n be j(-2). Let g(o) = 2*o + 18. Let f be g(n). Is f >= -1?
False
Let r = -46 + 44. Is 0.6 at least as big as r?
True
Let p = -0.7 - 0.3. Let c = -3281/7 + 468. Let v = 39/35 + c. Is p at least v?
False
Let s = 3273/5 - 658. Suppose 4*i = -22 + 6. Is i less than or equal to s?
True
Let s(a) = -2*a - 21. Let x be s(-12). Let t be 3/(x + 9/(-2)). Is t at least as big as -5?
True
Let t = -8 + 6. Let s = -2 + 13. Let y = 11.1 - s. Is t < y?
True
Let v = -331 - -521. Let r be (-2 - (-1)/1) + v. Let z be 7/(r/60) + -2. Which is smaller: z or 1?
z
Let y = -4.78 + -0.22. Are y and 0 non-equal?
True
Let z(c) = -2*c - 2. Let f be z(-2). Let o = 3 - 3.1. Which is smaller: o or f?
o
Let a be 236/10 + 16/40. Let k be 8/6*a/(-28). Is k at least as big as -2?
True
Let f = 0 + 4. Let j = f + -4. Suppose -3*h - 4 - 5 = j. Which is smaller: -2 or h?
h
Let q(j) = j**2 + 5*j + 4. Let c be q(-1). Which is smaller: 4/5 or c?
c
Let z = 13/7 + -31/28. Let r be 1*3*6/9. Let w = 3 - r. Is z greater than w?
False
Let n = -6 + 10. Suppose 7 + 5 = 4*s. Which is bigger: s or n?
n
Let n be 12/(-12) + -4*2. Which is greater: n or -8?
-8
Suppose 3*l + 4*j = j, 4*j = 3*l + 14. Suppose 0 = -3*z + 5*r + 10, r = -2*r - 6. Suppose 2*o + 2*o = z. Which is greater: o or l?
o
Suppose 35 = l + 6*l. Is l at most 1?
False
Let s = -14308/23 - -622. Is -0.3 less than or equal to s?
True
Let y be 4/(-20) - (-42)/10. Suppose 18 = -y*b + b. Let l be (-1)/2 - (-33)/b. Are -5 and l nonequal?
True
Let o = -15 - -21. Suppose r = -r + o. Let d be 1/r + (-40)/(-15). Do 4 and d have the same value?
False
Suppose 9 = 5*d - 11. Which is smaller: 3 or d?
3
Let u = 68 + -67. Which is smaller: u or -1/16?
-1/16
Suppose 36 = 10*h - 14*h. Which is greater: -10 or h?
h
Let a = -31/1175 + 5/47. Is a < 0?
False
Let c = 22 - 17. Suppose 0 = -5*q - 4*p + 2, 3*q + q - c*p - 18 = 0. Does -1 = q?
False
Let j = 419/33 + -38/3. Let r be 1 - (3/9 + (-6)/(-9)). Is r at most as big as j?
True
Let p(l) = 25*l + 3. Let r be p(3). Let c = r + -544/7. Which is bigger: c or 2?
2
Let o = -115.1 - -116. Which is smaller: -1 or o?
-1
Let a = 1.1 - -0.9. Is 5 greater than or equal to a?
True
Let b = -1925 - -182877/95. Which is smaller: 0 or b?
0
Let a be (-3)/2*2/(-3). Let l be (-1 + -4 + a)/(-2). Which is bigger: l or -1/2?
l
Suppose 0*q = q + 1. Let p = 2 - -1. Is q > p?
False
Suppose -5*h + q - 5*q = -12, -2*q = 3*h - 8. Is 3 >= h?
False
Suppose -b = 4*y + 3*b, -10 = 5*y - 5*b. Which is smaller: -5/9 or y?
y
Suppose -v = -q, 0 = -2*q + 3*q + 3*v - 12. Suppose l - 2 = -q. Is l equal to 1/15?
False
Let v = 1 - -4. Suppose -v*j + 20 = -0. Are 4 and j non-equal?
False
Suppose 2*u + 5*k + 0*k + 12 = 0, 3 = -5*u + k. Which is greater: -5 or u?
u
Let c be -1 - (-2)/(-4)*(3 - 7). Is 2/33 less than c?
True
Let w = 114 + -17. Let p = 678/7 - w. Do 1 and p have the same value?
False
Let z = 98 - 97. Which is bigger: -4/3 or z?
z
Let l = 0.5 - 0.9. Let p = l - -2.4. Which is greater: p or -2/5?
p
Let o be (-620)/4410 + 2/9. Let m = -110/147 + o. Does 3 = m?
False
Suppose 4*i - 2 = -22. Let u = i - -7. Suppose 2*p + 4*r + 13 = 3*p, u*p = 5*r + 20. Is p <= 1/2?
False
Suppose 3*j = -j. Which is greater: 0.03 or j?
0.03
Let r = -65 - -64.8. Is -59/5 > r?
False
Let k(y) = -y - 1. Let t be k(-1). Let v be 45 + 1 + t/2. Let u = v - 97/2. Which is bigger: -4 or u?
u
Let z = 77 - 77.3. Let f = 20/3 + -7. Is z greater than f?
True
Let h(o) = -o**2 + 12*o - 14. Let u be h(10). Suppose -5*n + u = -5*l - 9, -4*n = 5*l + 42. Which is smaller: -7 or l?
-7
Suppose v + 56 = 8*v. Are v and -1 nonequal?
True
Let w be 0 + 2 + (-96)/44. Which is greater: w or -0.2?
w
Let n be (-4)/(-13)*(18/(-8))/9. Is n bigger than -1?
True
Suppose 0 = x - 5*s - 3 - 7, 2*s + 40 = 4*x. Is 10 at most x?
True
Suppose 0 = 3*a - 5*u - 32, 0*u - 3*u - 4 = 2*a. Let b = -1 + -2. Let o = 0 - b. Which is greater: o or a?
a
Let c be -3*1 + (3 - 5). Let w be ((-2)/c)/(3/(-15)). Suppose 6*s - 4*s = -6. Is w > s?
True
Let i = -11.01 - -12. Let r = -0.01 - i. Let k = 2 + -4. Which is greater: r or k?
r
Suppose -i + 5*i + 36 = 0. Let k be 1 + 0 + (-9 - i). Let r be 0*((-21)/(-6) - 3). Is r less than or equal to k?
True
Let j be (-1)/3*(-3 + 2). Let k = -50 + 47.9. Let h = -1.7 - k. Is h bigger than j?
True
Let u be (110/(-30) - -4)/((-2)/8). Is u > -0.1?
False
Let r = -104202/109 + 956. Which is smaller: 0 or r?
0
Let q = 1.9 - 1.77. Is q <= -1/2?
False
Let u be (-3)/(-2)*16/(-6). Let p = u - -5. Which is smaller: p or -1/4?
-1/4
Let h(k) = -973*k**2 + k + 1. Let l be h(-2). Let f = -19381/5 - l. Let d = f - 16. Which is bigger: d or 0?
d
Let j be (-380)/15 + 2/(-3). Are j and -25 equal?
False
Let m = 13 - 22. Let x = -8 - m. Let d = 0 - 1. Which is smaller: d or x?
d
Let p be ((-348)/30 - -4) + 5. Are p and -1 nonequal?
True
Suppose -5*s = -5*d - 15, 6*d = d + 2*s - 6. Suppose -4*q = -12 + 36. Let i = -31/5 - q. Which is greater: d or i?
d
Let w = -51778/139 - -4935229/9452. Let b = 1545/17 - w. Let n = 59 + b. Which is smaller: n or 0?
0
Suppose -36 = 3*t - 0*t. Let i = -6 - t. Is 6 bigger than i?
False
Suppose 4*c = 2*w + 12, 6*w + 4*c - 4 = 4*w. Is w equal to -5/8?
False
Let n = -2843/279 - -92/9. Is n <= 1?
True
Let m = 8 - 14. Let t be (-6)/(