 -35*-4*4/(-20). Suppose -26*o = -35*o - 252. Is n > o?
False
Let b(p) = -2*p**2 - 10*p + 6. Let r be b(-5). Suppose -21 + r = -5*d. Which is smaller: d or 4?
d
Let a = 2/32801 + -14202845/196806. Let j = 73 + a. Which is greater: 0 or j?
j
Suppose 276 + 1781 = -11*h. Let z = h + 160. Are -28 and z unequal?
True
Let o(k) = k + 7. Let a be o(-4). Suppose 5*b - 36 = -m, 0*m = m + 2*b - 36. Let q = -34 + m. Is a <= q?
False
Let a(o) = 33*o - 378. Let u be a(11). Let h = 18 + -32. Is u not equal to h?
True
Suppose -10 = 18*u - 100. Which is bigger: 10 or u?
10
Let y = -107 - -150. Which is smaller: 44 or y?
y
Let x(h) = 9*h + 4. Let l(n) = -2*n - 1. Let w(m) = -26*l(m) - 6*x(m). Let f(r) = -5*r + 6. Let g(u) = 3*f(u) - 8*w(u). Let j be g(0). Which is smaller: j or 1?
1
Suppose 2*d + 3*i + 361 = 0, -i - 682 - 227 = 5*d. Is d less than or equal to -181?
True
Let h be (-1)/3 - (-1)/3. Suppose -18 = 2*k - 24. Let u be 0 + 1*k/(-6). Is h != u?
True
Let n = 69 + -53. Is 9 < n?
True
Let h = -50.4 + 50.3. Let c = -48 - 27. Let l be 6/8*(-80)/c. Which is greater: h or l?
l
Let n(f) = 2*f - 103. Let o be n(53). Is o not equal to 33/14?
True
Let k be 7*(-2)/((-1)/(3/12)). Let s = k + -5. Is -1 less than s?
False
Suppose -5*s + 16 = -v, 2*v + 20 = 4*v + 3*s. Suppose 0 = -2*b - 0*b + v*b. Is b less than or equal to 1/43?
True
Let b = -102 + 77. Which is smaller: b or 4?
b
Suppose 3*n = -3*w + 8*w + 36, 4*w = -2*n + 46. Let i(m) = -m**2 + 9*m - 1. Let u be i(6). Does u = n?
True
Let d = 18 + -15. Let y be 2/d*2*6. Let s = y + -8. Is 2/11 less than s?
False
Let j = 52.059 - 52. Let a = j - -0.941. Is a > -0.36?
True
Let g(l) = -l**2 - 6*l - 5. Let k be g(-5). Suppose k = 6*c + 2 + 4. Let i = -8 - c. Which is greater: -1/2 or i?
-1/2
Let g be 26*2/4 - 1. Let t(u) = -4*u + 8*u - 9*u**2 + 8*u**2 - 1 + 8*u. Let x be t(g). Which is bigger: -5/3 or x?
x
Let z = -1904 + 2250. Is z < 347?
True
Let t be 1/(17/18*3). Suppose 3*y + 18 = -0. Let v be 10/y + 2/3. Which is greater: t or v?
t
Let s(g) = 51*g - 19*g - 28*g. Let n be s(3). Are n and 12 unequal?
False
Let k = -89963/457622 - 1/7502. Which is smaller: 1 or k?
k
Let d = -5019/26 + 193. Which is bigger: d or 1?
1
Let x(q) = 2*q - 5. Let h be x(6). Let k(g) = -g**2 + 8*g - 8. Let p be k(h). Let a be (-18)/8 + (0 - -2). Which is smaller: a or p?
p
Let u = -178 + 82. Let z be u/(-30)*(-5)/(-2). Which is smaller: z or 16?
z
Let l = -2.16 + -0.04. Let y = -0.2 - l. Let f = -1.8 + y. Which is smaller: 0 or f?
0
Let u be 0*(-9 - (-110)/11). Is -156 greater than or equal to u?
False
Let w be (-37 - -1)*6/9. Let c = w + 100. Suppose -39*z = -35*z + c. Are z and -18 nonequal?
True
Let d = 20 + -21. Let w be (d + 0)/((-21)/(-84)). Let f be ((-10)/(-1))/(-2) - 0. Does w = f?
False
Let t(v) = -v**3 + 6*v**2 + 5*v - 16. Let n be t(6). Let d(x) = 2*x**2 - 25*x - 20. Let u be d(n). Is u less than 22?
False
Suppose 0*l = 4*l + 136. Let b = 172/5 + l. Let o(g) = g - 18. Let z be o(17). Which is smaller: b or z?
z
Let f be 6/(-33) - (-112)/11. Let o be (6 - 0)/(4/f). Which is smaller: o or 14?
14
Let w = -21 - -46. Suppose -5*n + x = -100, -3*x - 2*x - w = 0. Let q be (-19)/44 - 14/(-77). Is n not equal to q?
True
Let q = -3524 + 17684/5. Is q smaller than -1?
False
Let a be 10*(1 + 21/(-15)). Let z be (20/2504)/(-5)*a. Is z not equal to -1?
True
Suppose -3*d - 4*t - 179 = -8*t, 2*t - 187 = 3*d. Let k = 50 + d. Which is smaller: k or -12?
k
Let s = -281 - -283. Which is greater: -12 or s?
s
Let h = -9 + 18. Let c = 741 + -729. Is h greater than c?
False
Let q = 31/188 - -4/47. Let z = -0.06 + -2.94. Let c = -2 - z. Is c smaller than q?
False
Suppose 0 = 2*l + 4*y + 26, -3*y + 12 = -l - 2*l. Suppose 18 = -3*i - 6. Is l <= i?
False
Let k = 65829 - 987437/15. Suppose 0*d = -4*d + 5*t + 14, 3*d - 2*t - 7 = 0. Let p = d + -1. Is p < k?
False
Let l = 0.09 - 30.09. Let y = l - -34. Do 2 and y have the same value?
False
Suppose 3*o - 6 = 0, 4*f - 5*o + 8 = 3*f. Let j be (3/(-2))/(1/(-2)). Suppose -3*z = -5*z, z = -3*m + j. Is f at least m?
True
Let u = 34.62 - -0.38. Let r = -28 + u. Is r greater than -3?
True
Suppose 0 = 12*z - 408 - 312. Is z >= -5?
True
Suppose 0 = -3*z + 2*n - 29, 4*z + 5*n = -0*n - 77. Let o = z + -9. Let i be (1 + 0 + -12)*2. Is o at most i?
True
Suppose 2*u + 5*j = -5, 5*u - j = 11 - 10. Which is smaller: -7/52 or u?
-7/52
Let o = 22 - 48. Let y be ((-8)/6 - 0)/(o/(-429)). Are -22 and y equal?
True
Let j = -274 - -269. Suppose a + 6 = 3. Which is smaller: a or j?
j
Let o be (10/28)/((92/24)/23). Let q(g) = -g + 10. Let t be q(6). Suppose 2 = 3*f - t. Which is smaller: o or f?
f
Let u be 1/(-2)*(-3 + -1). Let s be u/((-3)/(-15)*5). Suppose -w + 3 = s. Which is bigger: 0 or w?
w
Suppose 0 = -3*o - 4*f + 8*f - 20, 4*f = 20. Let a = 75 - 183. Let j be 4/(-14) + a/112. Which is bigger: j or o?
o
Let l be 2/(-7) - (-20)/70. Is 19 at least as big as l?
True
Let v = -12 + 29. Let f = 27 + -29. Let b be -3 - v*f/10. Is b bigger than -1?
True
Suppose 0*y = 4*y - 3*y. Is -17/30 greater than y?
False
Suppose -4*s - 4*z + 8 = 0, 3 = 5*s - 5*z - 17. Suppose q + 18 = s*q. Let u be 50/15 - (-6)/q. Which is smaller: u or 2?
2
Suppose z + r = 2, -4*z + 5 = 3*r - 2. Which is greater: z or 22/17?
22/17
Let g be (-45)/(-24) + 2/16. Suppose 0 = 7*f + 5 + g. Let v be (-7)/(105/54) - -3. Which is smaller: v or f?
f
Let m = -197 + 198. Which is smaller: m or 2/5?
2/5
Let g be 0 + 0 + (-9)/6. Let d = -237/7 - -2600/77. Which is smaller: g or d?
g
Let m = 8.088 + -9.088. Let j = -16 + 11. Let u = j - 5. Which is smaller: m or u?
u
Let g(p) = -p**3 + 20*p**2 + 44*p - 47. Let x be g(22). Is x bigger than -13?
False
Suppose -3*z + 8 = 3*m + 32, -2*z = 5*m + 43. Let t(i) = -4*i - 7. Let u be t(m). Let f = 15 - u. Does f = -14?
True
Let b = -93406 + 746289/8. Let o = b + 120. Does 0 = o?
False
Let l = 28 - 11. Let f = -16.9 + l. Does 67 = f?
False
Let s(a) = a**2 - 9*a + 4. Suppose 5*t = 4*h - 46, 2 = -2*t - 2. Let y be s(h). Is 8 at most y?
False
Let o = 349 + -353. Suppose 12 = -y + 4*y - 3*l, -2*l - 10 = -4*y. Let v be y + 5/(10/(-4)). Is v < o?
False
Let h = 715 + -5017/7. Does 3 = h?
False
Suppose -a = 2*a - 48. Suppose a + 16 = 4*z. Suppose 0 = z*k - 3*k. Which is smaller: 2 or k?
k
Let l be (3/2)/(14/(-4)). Let r = -18 + 21. Let a be (-1)/r + 0/3. Which is greater: a or l?
a
Let h be 5 + -2 + -3 + 5/(-5). Let j be 4 - (44/16 - h). Let x = 1.2 + 6.8. Is x greater than j?
True
Suppose 21*b - 4*b - 1819 = 0. Is 107 greater than b?
False
Let k be (-7)/28 + 3832/(-160). Is -1 at most as big as k?
False
Let c be (-1)/(-2) - 18/24. Let m = 6 - 8. Are m and c unequal?
True
Let o(w) = -w**3 - w - 1. Let i(k) = -12*k**3 - 2*k - 2. Let j(g) = i(g) - 3*o(g). Let t be j(-1). Let f be (t + -11)/((-2)/7). Is 7 smaller than f?
False
Suppose -v = u - 18 - 2, v = -2*u + 16. Let l(x) = -x**2 + 22*x + 10. Let r be l(v). Which is smaller: r or -0.1?
r
Let y = 0.39 + -0.59. Let r = 0.3 + y. Is r < 3?
True
Let z = -7 - -10. Suppose -2*s + 2 = 2*r, 5*r + z*s - 8 + 1 = 0. Suppose -r*u + c - 6*c = 6, 2*u = -2*c. Which is bigger: u or 5?
5
Let k be (-105)/(-6) + 2/4. Let u(x) = 5*x - 26. Let g be u(9). Is g less than or equal to k?
False
Let x(o) = -o**2 + o + 1. Let h be x(1). Let p(u) = u**3 + 10*u**2 + 2*u + 23. Let y be p(-10). Let k = y + h. Is k at most as big as 4?
True
Let t = 170 - -40. Let n be 116/t + (-18)/63. Which is smaller: n or 0?
0
Suppose -s + 4*p - 2515 = 0, -4*s - 4*p - 2483 = -3*s. Let i = s + 17464/7. Which is bigger: i or -5?
i
Let f(o) = -2*o + 2. Let t(y) = -9*y**3 - y**2 - y - 1. Let p be t(-1). Let v be f(p). Let d = v - -12. Which is smaller: d or -1?
d
Suppose z + 4*l - l - 19 = 0, -l - 5 = 0. Let m = -751 + 785. Is m greater than z?
False
Let l be (23/(-46))/(2/52)*1. Let q be (10/3)/((-4)/(-18)). Let g = q - 27. Which is smaller: g or l?
l
Let j be (14/(-105))/(2 - 57/(-15)). Which is bigger: j or 1?
1
Suppose -3531 = -6*i + 4*i + 3*b, -3*i - 2*b + 5277 = 0. Which is bigger: 1762 or i?
1762
Let n be (-48)/145 + (-2)/(-5). Let c be (-72)/(-120) - (-3)/(-5). Suppose 4*l + 3 + 9 = 4*b, c = b + l + 1. Is n != b?
True
Let u be ((-28)/(-35))/(-1 - (-6)/10). Let k be 21 + (u - 1) + 5 + -2. Which is smaller: k or 20?
20
Suppose -3*x + 19 + 1