s = -38 + 27. Is s greater than or equal to 1?
False
Let z be (-6)/12*(-475 + (2 - 5)). Is z >= 239?
True
Suppose -2*n - 13*n + 15 = 0. Which is smaller: 31/18 or n?
n
Let u = 19 + -18.5. Is -11 at least u?
False
Let v = 26.1 - 26.5. Is v less than -28?
False
Let u be 1*6 - (5 + (-135)/25). Let f = -549/85 + u. Which is smaller: f or -1?
-1
Let k = -3.71 - -0.41. Let a = k - -4.3. Is -1 greater than a?
False
Let m be (-2)/(-11) + (-15)/385. Let z be -2 + -8 + -2 + 0. Let t be z/(-8)*4/6. Is t at most m?
False
Suppose h = -5*r + 7, 14 = -5*h - 1. Suppose i + 83 = 4*u, -2*u - 3*i - 4 + 63 = 0. Let z be u/(-33)*9/4. Which is bigger: z or r?
r
Let k be (0 - -15)/((-4)/(-4)*-1). Let c be 7/1*(-2 - 0). Which is smaller: c or k?
k
Suppose 7*m + 2*m = -1854. Which is smaller: m or 2/5?
m
Let s = -4 + 3.93. Let t = -0.1091 - -0.5091. Which is smaller: s or t?
s
Suppose 0 = -a - 25 - 30. Let o = 3 + a. Is o at least -52?
True
Suppose 69 + 56 = 5*f + 5*p, 2*f - 22 = 5*p. Is 20 at most as big as f?
True
Let l = 2599/442 - 98/17. Suppose -29*i = -25*i. Are l and i equal?
False
Let n be ((-6)/24)/(9/32). Which is smaller: n or 0?
n
Let c(t) = -684*t**3 - t**2 - t + 1. Let d be c(1). Let q be d/(-1225) + (-6)/10. Which is smaller: q or -1?
-1
Let b = -168.088 - -168. Which is smaller: -1/2 or b?
-1/2
Suppose 0 = -25*l - 78 + 3. Is l at most as big as -12/41?
True
Suppose -6*c - 5*l = -11*c + 55, 3*l - 44 = -4*c. Which is smaller: -5/2 or c?
-5/2
Let r = -12 - -5. Let t = 1 + r. Let h = t - -4. Which is greater: 2/7 or h?
2/7
Let l be (-2)/(-9) - 2/9. Let d be l - -2 - (-1904)/(-945). Is -1 smaller than d?
True
Let g = -328 + 342. Which is greater: g or 1/2?
g
Suppose -y - 4*w - 8 = 8, 3*w = -2*y - 7. Suppose 11*u - 7*u = -y. Does -3/5 = u?
False
Let u be 5/(1230/(-9))*(-64)/(-4080). Are u and 1 non-equal?
True
Let n = 0.071 - -0.929. Which is smaller: 63 or n?
n
Let g = 13278 + -2642316/199. Is g smaller than 0.2?
True
Suppose 2*x + 11 = 1. Let l = 542 + -2742/5. Is x smaller than l?
False
Suppose 21*g - 23*g = 44. Let m = 24 + g. Let c be (0 + m)*4/(-34). Does 0 = c?
False
Let a = -228 - -227. Let v be 1/((-3)/8) - -2. Which is smaller: v or a?
a
Let a be (6/4)/((-6)/(-16)). Suppose a*k + 9 = -27. Let f be 1 - 3 - k/6. Does 2/5 = f?
False
Let t = -1/41 + 129/1927. Let k = 336 + -197. Let h = k + -139.1. Which is smaller: h or t?
h
Let m = 6 + 1. Suppose 1 + 27 = m*q. Let w(l) = -l + 9. Let n be w(5). Is n greater than or equal to q?
True
Let g be 1/(-3) - (-19)/3 - 1. Let f = 9 - 6. Suppose 4*b - 5*s - 2 = -11, f = 2*b + g*s. Is b at least as big as 1/4?
False
Let w(z) = z**2 - 24*z - 3. Let h be w(23). Is 8 >= h?
True
Let d = 942 - 422. Suppose d = -3*s - g + 184, -2*g + 6 = 0. Let j = 1019/9 + s. Which is smaller: -1/3 or j?
-1/3
Let q be 2 + 30/3 - 2. Suppose -g + 0*g = -2*d - q, 5 = g + 3*d. Which is greater: 6 or g?
g
Let q = -31.9 + 31.83. Which is greater: q or -11?
q
Let q be ((-5)/10)/((-2)/(-20)). Let y be (-120)/36*(-9)/(-6). Is y bigger than q?
False
Let z = -8 + 14. Let u be 1*(1192/72 + -4 - 7). Which is greater: u or z?
z
Let u be (3 - 0)/(11/(88/(-60))). Let v(b) = b**2 - 4*b - 2. Let m(c) = c. Let f(a) = 4*m(a) + v(a). Let i be f(-4). Is u bigger than i?
False
Suppose 0 = -2*g + g. Let n = g + 0. Let c be 2*(-36)/24*2/141. Which is smaller: c or n?
c
Let a be 176/(-12) + (-1)/2. Suppose -96 = -12*v - 276. Which is smaller: a or v?
a
Let a = -119/6 + 22. Which is greater: 3 or a?
3
Let x(t) = 19*t - 302. Let y be x(19). Is 63 bigger than y?
True
Let w be -6*(5 + -7 - (-6)/4). Let m be w - 16/(-12)*(-48)/23. Are 1 and m unequal?
True
Let r = -289/968 - -21/121. Which is smaller: -2 or r?
-2
Let o = 37 - 57. Suppose -5*m = 4*m - 4*m. Which is smaller: m or o?
o
Suppose -u + 2*x - 3 = 7*x, 11 = 3*u - 5*x. Suppose -30*i = -28*i - u. Which is smaller: i or 12/7?
i
Suppose 43 = -11*q + 21. Which is smaller: q or -1/28?
q
Let h = 3 - 4. Let d = -26 - -24. Let f be (-10)/(-12) + d/4. Which is bigger: h or f?
f
Let g = 33 + 18. Let m = 358/7 - g. Suppose 15*b = 20*b - 5. Is m != b?
True
Let p = 11 + -21. Let g = 913 - 923. Are g and p equal?
True
Suppose -3*v = -9 - 0. Suppose 0 = 5*h + 40. Let g be (-1)/(0 + 4/h). Is g bigger than v?
False
Suppose 3*n + 5*h = 1077, 2*n + 4*h = n + 366. Let f be ((-1)/n)/((-4)/(-16)). Let i = f + 376/1947. Which is smaller: i or -1?
-1
Let t = 63 - 49. Let l = t + -18. Which is bigger: -4/3 or l?
-4/3
Let m be (-9)/3 - (-1942)/(-24). Let a = -84 - m. Let f(q) = q + 4. Let c be f(-5). Is c < a?
True
Let y(s) = -3*s**3 + 9*s**2 - 7*s + 7. Let m(d) = 10*d**3 - 28*d**2 + 21*d - 21. Let c(k) = 2*m(k) + 7*y(k). Let a be c(6). Is a less than 13/7?
True
Let l(i) = 2*i + 20. Let z be l(8). Suppose 7*y + 8 = z. Is y less than 10?
True
Let q(g) = -g**2 - 5*g + 5. Let n be q(-6). Let i be ((-33)/2)/(14/(-108)). Let y = i + -127. Which is greater: n or y?
y
Let a(j) = -j**2 + 9*j - 37. Let o be a(7). Is -25 less than or equal to o?
True
Let t(m) = -11*m**3 + 8*m + 18. Let x be t(-2). Which is smaller: 91 or x?
x
Suppose 7*b - 6*b = 4. Let m be b/2*25/(-10). Is -9/2 smaller than m?
False
Let p = 506 - 506.7. Let g = -0.02 - 0.28. Let k = p + g. Which is greater: 2/9 or k?
2/9
Let z = 452/681 + 2/681. Which is greater: z or -2/171?
z
Let n = -2023.21 - -2023. Let p = 2.1 + -2. Which is smaller: n or p?
n
Let o(w) = 19*w + 132. Let j be o(-9). Which is smaller: j or 0?
j
Suppose 0 = -21*g + 44*g + 46. Let a(h) = h**3 + 6*h**2 + 2*h + 1. Let c be 76/(-12) - (-1)/3. Let s be a(c). Does s = g?
False
Let h(c) = -5*c - 24. Let x be h(-7). Which is bigger: x or 10?
x
Let k be ((-1)/(-2))/(2/(-12)). Let b(a) = -6*a - 10. Let g be b(k). Is g at least 7?
True
Suppose v = 5*v - 8. Suppose v*k - 8 = -a, k + 6 = -a + 3*a. Let h be -7 + 15 - (0 + k). Is h at least as big as 7?
False
Suppose -4*t + 7*t = 96. Which is greater: 65/2 or t?
65/2
Let n = 180 - 175. Is n less than 24?
True
Suppose 4*s + z - 77 = 4*z, -5*z + 117 = 4*s. Suppose -9 = -u + 4*o + 26, -5*o = 5*u - 100. Is s bigger than u?
False
Suppose 6*h + 555 = 291. Let g = 15 + -58. Which is smaller: h or g?
h
Let k be (-7)/((-126)/(-27)) + (-138)/4. Let q = -63 - -29. Which is bigger: k or q?
q
Let o be (-2047)/(-115)*(15/(-6) + 0). Which is smaller: o or -46?
-46
Let h be 17/4 - (-395)/(-316). Which is greater: 69/31 or h?
h
Let c = -1210 - -1200. Which is greater: c or -114/11?
c
Let l(w) = 47*w**2 + 31*w + 2. Let i be l(-2). Is i equal to 130?
False
Let g = -13 - -51. Let j = g - 35. Is j not equal to 3?
False
Let m be (-18)/30 - (-4428)/(-20). Is -222 < m?
False
Suppose -20*m - 272 + 72 = 0. Which is smaller: m or -4?
m
Let r be 1*3/(-12)*-16 + -4. Is r > 1/1226?
False
Suppose 0 = 3*p - 196 + 55. Suppose -5*g + 5*o - 20 = 65, -3*g = o + p. Which is smaller: -18 or g?
-18
Let d(l) = -l**3 + 4*l**2 - 5*l - 3. Let z be d(3). Let m(h) = h**2 + 7*h - 18. Let w be m(z). Let g be (-9)/15*4/(-30). Which is smaller: g or w?
w
Suppose 8 = 2*n, -24*q + 23*q - 13 = -3*n. Which is greater: -2 or q?
q
Let n = -1 + 5. Suppose a - 9 = -2*a - f, 0 = -a - n*f - 8. Suppose 6 = 4*x - 3*t, 3*t = -5*x - t + 23. Are a and x nonequal?
True
Let k = -14 - -23. Let m(b) = 7*b + 24. Let c be m(-6). Let w(x) = -x**2 - 21*x - 44. Let r be w(c). Which is greater: k or r?
r
Let x be 83 + (-3 - 0/1). Suppose 0 = 15*o - 23*o + x. Do 10 and o have the same value?
True
Let a = -81 + 84. Let g be ((-6)/12 - -2)*1/a. Are g and -6/11 unequal?
True
Let m = -13/157 + -40/1413. Let z = -2 - -2. Let k = 0 - z. Is m not equal to k?
True
Let p = 25/98 - -3/98. Is p bigger than -40?
True
Let p = 81.8 - 89. Let k = p - -7.3. Is 2/33 at most as big as k?
True
Let q = 60 - 98. Let l = 65 + q. Let s be l/21 + 4/(-14). Is 2/15 less than or equal to s?
True
Let i be 0/2 - (1 - -1) - -2. Let o be i/(-15) - (-36)/(-11). Is o greater than -3?
False
Let a = 9438/59 + -160. Suppose 4*d = 7 + 13. Suppose -5*q - 2 = -4*m + 3, 3*m - 5*q = d. Which is smaller: m or a?
a
Suppose 0 = -2*d - 2*d + 12. Suppose -d*z - 3*x + 3 = 0, -x + 7 = 4*z + 4*x. Is z > -3?
True
Let d be 6 - (3 - ((-395)/55 - -4)). Let w be 0/(-1) + 1*4. Suppose 2*q - 1 = -z - 9, -w*z + 4*q = -16. Is z != d?
True
Let h = -120/31 - -16289/4216. Which is greater: -1 or h?
h