n o?
False
Let a = 5448020089/84 + -64856157. Let r = a + -1225. Are r and 1 non-equal?
True
Suppose -4*n - 40 - 896 = 0. Let u be (2/3)/(12/n). Which is smaller: -12 or u?
u
Let d(x) = -x**2 - 5*x + 2. Let u be d(-5). Let i be (-1)/5 - (-147)/35. Suppose -5*j + i = -11. Is u smaller than j?
True
Let n = -182 + 909/5. Are n and 2/19 equal?
False
Let m be 0 - 5 - -2 - 2. Let k be (-245)/m*1/78. Let y = 1/26 + k. Is y at most as big as 3/5?
False
Let f(m) = -m**3 + 3*m**2 + 12*m - 11. Let y be f(5). Which is bigger: y or 1/18?
1/18
Suppose 5*r + 314 = -5*y + 7*r, 5*y - 3*r + 311 = 0. Is -65 smaller than y?
True
Let a(s) = -s**2 - 12*s + 1. Let c(i) = i**3 + i - 3. Let k be c(3). Suppose -5*g = 33 + k. Let x be a(g). Which is smaller: x or 0?
0
Let i = -381 - -559. Is -2/5 at least as big as i?
False
Let i(q) = 2*q**2 - 51*q - 88. Let n be i(26). Is n equal to -65?
False
Let l = -7 - -5. Let n = -20457 - -20456.79. Which is greater: l or n?
n
Let g = -246.09 - -245. Let r = 0.17 + -0.08. Let z = g + r. Is 0 equal to z?
False
Suppose 26*c = -1 - 25. Are c and 1 equal?
False
Let u(k) = -k**2 - 5*k. Let m be u(-8). Let w be 1/26*12/m. Which is smaller: -1 or w?
-1
Let n(c) = c**3 + 6*c**2 - 6*c + 7. Let b be n(-7). Is b at most as big as 22/19?
True
Let l be (272/1645)/(1/5). Let p be 24/15 - (-10744)/(-7990). Let h = p - l. Which is bigger: 1 or h?
1
Let x be (-4 - 3035/(-700))*-1. Let l = x - -1/20. Is l less than 12/13?
True
Suppose 4*a = -5*h - 589 + 1819, 0 = h + 2. Which is smaller: 1 or a?
1
Suppose 3*l - c = c - 505, 0 = l + 4*c + 173. Is -169 <= l?
True
Let t be (-60)/544*(-220)/9. Let i = 60/17 - t. Suppose 5*z + v = 8*z - 8, 2*z + v - 2 = 0. Is i at most as big as z?
True
Let w = -6 - -6.3. Let u = -7 - -8.2. Let c = u + -1.3. Is w not equal to c?
True
Let v = -8 - -8.9. Let h = v + -0.98. Let f = 0 + h. Which is bigger: f or 1?
1
Suppose -21*n = -169 - 62. Which is greater: n or -75?
n
Let p be 66/(-55) + (-81)/(-225)*145. Let j(g) = 52*g. Let s be j(1). Which is bigger: p or s?
s
Let k = 2 - 5. Let f be k/(((-6)/75)/(-2)). Let n = f + 223/3. Is -1 greater than n?
False
Suppose -12*o = -9*o - 21. Let v be 1/((-51)/(-12) - 4). Which is smaller: v or o?
v
Suppose -3*w + 8*w = 0. Suppose 3*n - 2*n = -1, n = -3*d + 8. Suppose 5*k - 12 = d*g - w, 4*k - 4*g = 16. Which is bigger: -1 or k?
k
Suppose 0 = -m - 3*m + 20. Let r = m - -1. Let l be 4/r + (-48)/(-63). Which is bigger: l or 0?
l
Suppose v - 146 - 46 = 0. Is v != 193?
True
Let y = -22 + 26. Suppose -y*z = 3*b - 3, 2*b + 0*z = 4*z + 2. Let g be (354/183 + -2)/(-2). Which is smaller: b or g?
g
Let f = 55 - 29. Which is bigger: f or 49/2?
f
Let b(z) = -20*z + 1 - 10*z - 2*z. Let p be b(1). Is p less than or equal to -31?
True
Let l = 194 - 968/5. Which is smaller: l or -41?
-41
Let m = -4.74 - 1.26. Which is bigger: -52 or m?
m
Suppose t + 1576 = 3*k, 65*k - 2114 = 61*k - 5*t. Is k at least as big as -1?
True
Suppose -2*s = 4*w - 80, 5*s - 5*w = -0*s + 230. Let l = s - 29. Suppose 0 = 3*f + x + 21, 0*f - l = f + 3*x. Is f >= -5?
False
Suppose 1 = -4*k - 35. Let f = -7 - k. Let m be (-2)/f*(-5 + 5). Which is smaller: 1/18 or m?
m
Suppose -17*a = 809 - 3274. Are 140 and a equal?
False
Let f be 3 - (1 - (0 - 1)). Let h(j) = -12*j. Let o be h(f). Let w be (-2)/(0 - 16/o). Is -3 less than or equal to w?
True
Let u = -8085/59 - -137. Let q = 1 - 1. Which is bigger: q or u?
q
Let k(y) = -15*y - 44. Let u be k(13). Let i = 2631/11 + u. Is i greater than 4?
False
Let j = 252.3 - 223. Let f = -29 + j. Is 0 at least f?
False
Let y = 216 - 210. Is -11 <= y?
True
Suppose 4*y - 7 = -5*t, 0 = -5*y - 0*t - 4*t + 2. Let q = -32 + 37.5. Let h = -6.6 + q. Which is smaller: y or h?
y
Let c = -737 - -738. Which is smaller: c or 3/115?
3/115
Suppose 0 = -5*x + 618 - 1543. Which is smaller: -187 or x?
-187
Suppose -8*s - 11*s - 19 = 0. Is s greater than or equal to -21/10?
True
Let y(g) = -g + 9. Let x be y(7). Suppose 1 + 2 = p. Suppose -3 - 3 = -p*l. Is l at most x?
True
Suppose 0 = -4*z - 14 + 30. Suppose -z = 2*w - s + 1, 3*w + 5*s = -27. Is w greater than or equal to -3?
False
Let z = -1 + 0. Let x be (1 + -2)/(z/2). Let i be (-1 - -12) + 714/(-70). Which is greater: i or x?
x
Let g = -4/111 - 181/111. Let u(z) = z**3 - 2*z**2 - 2. Let b(n) = n**2 + 6*n - 14. Let m be b(-8). Let c be u(m). Are c and g nonequal?
True
Let m(h) = h**2 + 8*h - 107. Let v be m(-15). Which is smaller: v or 6?
v
Let a = 87 - 83. Let q = -0.7 - -4.7. Are a and q non-equal?
False
Let q = 87.973 - 88. Let i = 0.073 - q. Is i greater than or equal to 0.36?
False
Let j be 21/9 - (-10)/15. Let l = j - 2. Let p = 0.8 + -0.85. Is l > p?
True
Let j be 4/3*173/4. Is 59 equal to j?
False
Suppose -122 = -4*k - 6. Suppose k = 2*d + 9. Let c = -89 + 100. Which is smaller: d or c?
d
Let o = 3039/2816 - -3/256. Is -1 bigger than o?
False
Let s(y) = -y**3 - 7*y**2 + 9*y - 6. Let a be (-42)/4*4/6. Let r be s(a). Let c be 9/3 - r/(-18). Which is smaller: 0 or c?
c
Suppose 2*d = 7*d - 15. Let y(g) = -2*g - 8. Let f(s) = s + 4. Let o(c) = -5*f(c) - 2*y(c). Let x be o(-8). Is x <= d?
False
Let h = -1968 - -1973. Which is smaller: -0.169 or h?
-0.169
Let f be -1 + (-4)/(-2) - 0. Let i(j) = -j**3 - 13*j**2 - 17*j - 65. Let u be i(-12). Which is greater: u or f?
f
Let g = -61 - -185/3. Suppose -5*b = -b, a = -3*b + 2. Suppose 0*t = -a*t + 4. Which is smaller: g or t?
g
Suppose -x - 24 = -6. Is x greater than or equal to -154/9?
False
Let c = -3/511 - 9165/5621. Let m = -529 - -527. Which is bigger: c or m?
c
Let f(h) = -h**2 + 6*h + 2. Let c be f(5). Suppose 0 = 12*s + 10 - 46. Suppose -s*v + 13 = 10. Is v at least c?
False
Let r be 9 - (13880/1256 - 2). Which is bigger: r or 1?
1
Suppose 1 = 5*z + 11, -5*o - z = -18. Are 13 and o nonequal?
True
Let n = 0.09 + 0.3. Let g = 0.2 - n. Let x = g - -0.49. Is x > -0.5?
True
Suppose 3*a - l + 44 = 0, 0*l - 42 = 4*a + 2*l. Let k = 17 + a. Let p be k/4 + -4 + 1. Which is greater: p or -3?
p
Let m = 44.69 + -45. Let o = 0.08 + 0.03. Let n = o + m. Is n equal to -1/5?
True
Suppose 0 = 2*h - 4 - 2. Let l = -13 + 15. Suppose 0 = -2*g + q + 3, 3*g - l*q + q - h = 0. Which is smaller: g or 2?
g
Let j be (-19)/(-76) - 0/3. Let q be -2 - 3*8/(-6). Let t be 3/(12/q)*0. Is t greater than j?
False
Let b be (-100)/6 + 28/(-21). Suppose 0 = 4*x - 2*x + 40. Is x less than or equal to b?
True
Let n(x) = 3*x**2. Let k be n(1). Suppose -k*p = -11 + 14. Let h = -1.5 + 1. Is p less than or equal to h?
True
Let o be ((-105)/10)/(9/(-24)). Let u = 29 - o. Let c be 9*(3 + (-183)/63). Is c greater than or equal to u?
False
Let q = 12 + -9. Suppose 5*a - q*a - 6 = 0. Let s be ((-8)/(-10))/((-4)/(-10)). Is s less than a?
True
Suppose 0*g - 5*g = 0. Let i be (11 - 16) + (-4)/(1 + -3). Let u(d) = 7*d + 17. Let m be u(i). Is m > g?
False
Suppose 7*p = 4*p + 2*t - 92, 0 = -5*p + t - 151. Suppose -7 = 3*c + 80. Is p at least c?
False
Let a(g) = 61*g**2 + 16*g + 10. Let x be a(-3). Is 511 != x?
False
Let s = -70 + -88. Let r = s - -166.9. Is 1 smaller than r?
True
Suppose 5*a + 846 = 3*t - 0*a, -t = 4*a - 299. Suppose 5*j + t - 102 = 0. Is j equal to -37?
True
Let p be (-26)/(-104) - (-9)/12. Which is bigger: -2/151 or p?
p
Let c = -0.041 - -0.041. Let i = 11 - 10.94. Which is greater: c or i?
i
Let h = -867 + 1664. Let t = 35867/45 - h. Let x = t - 32/45. Are -5 and x nonequal?
True
Let j(x) = 2*x - 2*x - 5*x + 2*x + 22. Let q(b) = -b + 7. Let m(t) = 4*j(t) - 14*q(t). Let y be m(8). Is y less than 6?
False
Let r(f) = -3*f**3 + 2*f**2 - 2*f + 26. Let x be r(4). Let u = 156 + x. Is u greater than or equal to 57/4?
False
Let i be (4/(-130))/((-43)/430). Which is greater: 4 or i?
4
Let k = 21 + -20.87. Let s = k - -0.07. Which is smaller: 4 or s?
s
Let w = -0.23 + 1.63. Let a = 17 + -18.4. Let b = a + w. Is b at least as big as -6?
True
Let p(y) = 5*y - 12*y - 1 + 31 + 18. Let v be p(10). Is -21 not equal to v?
True
Let w = -13/49 - 5423/245. Which is bigger: w or -22?
-22
Let x = 10.4 - -1.6. Let i = 11.8 - -0.3. Let r = i - x. Which is smaller: r or 0?
0
Suppose 0 = i - 6*i - 155. Let p = 31 + i. Which is greater: p or 8/9?
8/9
Let w = 149 - 273. Is -123 > w?
True
Let x be (-11)/(-11) + 6/2. Suppose 18 = x*f - 3*o, 0*f - f - 2*o + 10 = 0. L