Let p be m(-40). Is -56/19 at most as big as p?
False
Suppose -5*c - 15 = -5*s, -5*s = -7*s + c + 2. Is s <= -6/775?
True
Let t = -1651/15 - -32/5. Let a = 156/1145 + 4616281/44655. Let j = t + a. Which is smaller: 1 or j?
j
Suppose 5*j + 0 - 5 = -c, -5*j - 5 = 3*c. Suppose -3*u = -j*h - 5, 4*h + 10 = -2*u + 2*h. Which is bigger: u or -4/37?
-4/37
Suppose 19*t + 19 = 608. Is t greater than or equal to 191/6?
False
Let j be ((-90)/12)/(2/(-4)). Let c = j + -10. Which is smaller: c or 14/3?
14/3
Suppose 5*t - 75 = 5. Let y = t + -17. Which is bigger: y or -2?
y
Let y(x) = -x - 12. Suppose 65 = -10*k - 55. Let m be y(k). Which is greater: m or -1/17?
m
Let h(y) = -11*y + 6. Let l be h(5). Let a = -27 - l. Suppose -a = -w - w. Is w bigger than 11?
False
Let i = 2 + -1. Let p(h) = -2*h**3 + 2*h**2 - 5*h + 2. Let k be p(2). Let x be (k + (-1 - -5))/1. Is i bigger than x?
True
Suppose -3*t = -2*r - 22, -4*t + 31 = -r - 2*r. Suppose t*o + 0*o + 5 = -b, o - 4 = 5*b. Is -7/25 at most b?
False
Suppose -s - 9*s + 30 = 0. Let f be -16 + 13 + 4/26 + s. Which is smaller: f or 1?
f
Suppose 0 = -2*q - 53 + 71. Is 72/7 smaller than q?
False
Let v be 62/325*(-1)/(36/(-45)). Let r = 3113/2210 + v. Which is bigger: 3 or r?
3
Suppose 0 = -5*x + 2*v - 285, 4*x - 2*v + 65 = 3*x. Let f = x - -53. Is f < 9?
True
Let k = -346 + 354. Which is greater: k or -0.1?
k
Suppose 14*j - 10*j + 84 = 0. Let c be 8/8 + 1*j. Does c = -19?
False
Let b(y) = 63*y - 377. Let r be b(6). Is 1/164 smaller than r?
True
Let k(g) be the third derivative of -g**5/60 - 3*g**4/8 - g**3/6 + 2*g**2. Let u = -58 + 50. Let a be k(u). Is a >= 5?
True
Let v = 61 - 65. Let p be ((-18)/(-96))/(5/v). Do p and 0 have the same value?
False
Let n(r) = -r**3 - 9*r**2 - 7*r + 15. Let f be n(-5). Which is bigger: f or -203/4?
f
Let l = 8306 + -631265/76. Is l at most 2/5?
True
Suppose 360*z - 148 = 362*z. Is -74 not equal to z?
False
Let f = 0.18 + 15.92. Let q = 16 - f. Let z = 28 - 138/5. Which is bigger: q or z?
z
Let i be (1/(-4))/((-25)/(-1700)). Which is smaller: -5 or i?
i
Suppose 18 = w - 15. Which is smaller: w or 98/3?
98/3
Let c = 14 + -20. Let t be (-8)/6 + c/(-4). Which is smaller: t or 2/3?
t
Suppose 3*k + 3*o = -27, -3*o = 4*k - 2*k + 20. Let l be (-2)/k - 30/7. Are -26/5 and l non-equal?
True
Let i be ((-34)/10)/((-64)/(-40)). Suppose v + 4*s = 2, 81*v - 2*s = 86*v + 8. Which is smaller: v or i?
i
Let t = -52809/175 + 4362/25. Let g = t - -127. Which is smaller: g or 1?
g
Let u = -20 + 11. Let a = 14 + u. Which is greater: 4 or a?
a
Let o = 69.1 - 72. Let z = -3.6 - o. Let x = -7.1 - -7. Which is bigger: x or z?
x
Let t(u) = 3*u - 7. Let g be t(3). Suppose g*k = k. Suppose v + 3 - 7 = k. Is 8/3 > v?
False
Let k = -328/175 + 54/25. Suppose -3*p = -3*u - 30, 5*u = -p + 1 - 27. Is k greater than u?
True
Suppose -16*c = -5*c - 187. Is 17 > c?
False
Suppose -2 = 3*r + 16. Let z be (r/(-18))/(9/(-24)). Which is smaller: z or -1?
-1
Let l = 0.06 - -0.04. Let h = 10 + -16. Let j = 8 + h. Is j greater than or equal to l?
True
Let x(s) = 18*s - 23. Let h be x(5). Suppose -62*n = -h*n + 5. Does 2/5 = n?
False
Let w = -0.12 - -6.12. Let k = w - 6.6. Let l = -91/40 + 15/8. Is k at least l?
False
Let h be (18/50)/((-39)/(-65)). Let d = -12.92 - -13. Let m = d - 0.03. Is h <= m?
False
Let b = 6 + -4. Suppose -b*r = 4*u + 172, 0*u + 2*u = 8. Let w = r - -1785/19. Which is smaller: 0 or w?
w
Let n be 0*(-2 + (2 - -1)). Suppose 5*y - 2*y + 21 = -v, n = 3*y - 5*v + 21. Let i(z) = z. Let d be i(-8). Which is smaller: y or d?
d
Suppose -p = -4*d - 125, 0 = 5*d + 6*p - 2*p + 130. Let t = d + 59/2. Let c = -28 + 27.9. Is c bigger than t?
True
Let t(h) = h - 8. Let d be t(10). Let f = 207 + -611/3. Which is bigger: d or f?
f
Let i = -14.55 + 4.55. Is -50 <= i?
True
Let k(p) = -p**3 - 16*p**2 + 3. Let a be k(-16). Suppose -4*f = -a*f. Let y = 53 + -1063/20. Which is smaller: y or f?
y
Let i(u) = -63 - 2*u + 2*u**2 - u**2 + 58. Let q be i(-2). Are q and 0 non-equal?
True
Let a(r) = -5*r - 3. Let z be a(-1). Suppose 2*v = m - z*m, -3*m - 4*v = 0. Is m equal to -2/97?
False
Let j be 11/(-2)*108/27. Which is bigger: -11 or j?
-11
Suppose -z - 5 = -3*z - 3*m, -3*z - 2*m + 5 = 0. Which is bigger: z or -1/54?
z
Let u = 27/20 - 2391/260. Which is bigger: u or -7?
-7
Let t = -11912 - -5348490/449. Let h(c) = c**3 + 19*c**2 - 2*c - 39. Let a be h(-19). Which is smaller: t or a?
a
Suppose -3*i - 2*i = -20. Suppose 4*s = i*u + 24, -u + 4*u = s - 26. Let m be (-2)/(-4)*(u - -8). Which is greater: m or -12/7?
m
Suppose 10*b - 1403 + 353 = 0. Is b smaller than 105?
False
Let t = -11467987/138 + 83101. Let u = -12/23 - t. Let z(r) = r**3 + 4*r**2 + 4*r + 4. Let d be z(-3). Which is greater: d or u?
d
Let d = -22501/71 + 317. Suppose 48*u - 39*u - 21*u = 0. Which is smaller: u or d?
u
Suppose -12*d + 16*d + 2*v - 118 = 0, -2*d + 56 = 4*v. Suppose -50 = -4*o + 70. Are d and o non-equal?
False
Let s = 128 + -129. Is 10/43 < s?
False
Let b be 16/(-16) + -2 + 2. Let a be ((-32)/(-5424))/(b/3). Is a greater than -0.1?
True
Let w = 5/206 - -661/2472. Which is smaller: -1 or w?
-1
Let y = 1086 + -129233/119. Let g = -3 - -2. Is y not equal to g?
True
Let o be (-882)/300 - (-3 + 0). Let k = o + -163/1050. Is 1 not equal to k?
True
Let q = -9 + 8. Let w = -3407/30 + 227/2. Is w at least as big as q?
True
Suppose -3*s + 41 = -16. Suppose s*z = 22*z + 84. Is z at most -28?
True
Let d be (531 - (-24)/(-4)) + 2. Is 526 at least d?
False
Let n be (1/2)/((-2)/12). Let l be n/5 - (-234)/(-110). Which is bigger: -3 or l?
l
Let q = 171 - 2908/17. Let d(s) = s**3 - 12*s**2 + 8. Let u be d(12). Let n = 7 - u. Is q <= n?
False
Suppose -88 = -f - 30. Suppose 3*y - 15 + 3 = 0. Suppose -y*p - f = -0*p + 5*i, 0 = -4*i + 8. Are -17 and p unequal?
False
Let v(t) = -t**2 + 10*t - 4. Let w be v(9). Suppose -2*m - 250 = -w*l - 75, -4*m + 140 = 4*l. Let d be 91/l + (-2)/(-5). Which is smaller: 4 or d?
d
Let h be -3 - (2 + 3) - -1. Let a be 1435/123*2/(-4). Is h at least a?
False
Suppose 0 = -4*f - 9*j + 4*j + 88, -5*f + 4*j = -69. Which is bigger: 0.7 or f?
f
Let a = -58 - -51. Let g be 4 + -2 - 48/6. Is g < a?
False
Let m be (0 - -1) + (-2 - -1). Let n be (-1431)/24 + (-3)/8. Let c be (-1)/((-20)/(-18))*20/n. Which is bigger: c or m?
c
Let y = 1353 + -1194. Which is smaller: y or -4?
-4
Let n be (0 - (2 + -1))*-1. Suppose 0 = 6*t - 3*t + 24. Let j be (-28)/(-4) + -5 - (-17)/t. Which is greater: n or j?
n
Let y = -209/3 + 3983/57. Which is greater: 11 or y?
11
Suppose 3*o = 148 - 124. Is 8 greater than or equal to o?
True
Let c(o) = o + 2. Let y be c(-4). Let b = 14 + -9. Let t = 4 - b. Which is smaller: y or t?
y
Suppose -4*y = 12 - 4. Let w be (-169)/2 + (-12)/24. Let v = w + 80. Which is smaller: v or y?
v
Let i = -273524/14481 + -2/4827. Is -20 less than i?
True
Let o(x) = -3*x**2 + 50*x - 269. Let h be o(6). Which is bigger: h or -73?
-73
Let a(n) = n - 1. Let w be a(6). Suppose -24 = -w*o - 9. Suppose -9 = o*x - 3*d, -x + 0*d = d - 1. Are -0.04 and x equal?
False
Suppose -3*l - 8*c + 6 = -7*c, -3*c - 15 = -2*l. Suppose 5*s = 3*s + 12. Let v = s - l. Is -1 at least as big as v?
False
Let i = -0.041 + 0.022. Let q = i + -47.981. Is 0 smaller than q?
False
Let x = 4225.1 - 4225. Let n = -0.2 - -0.7. Is x >= n?
False
Let d be (2/(-12))/((-3)/(-12)*-2). Which is smaller: d or -0.013?
-0.013
Let l = -0.111 + -0.049. Let c = -0.05 - l. Is -1 < c?
True
Let g = 0.0108 - 164.0108. Is 2/5 < g?
False
Let y be (-296910)/415*4/30. Let s = 3/415 - y. Let w = s - 95. Which is bigger: w or -7?
w
Let x(r) = 4*r - 30. Let q be x(10). Suppose -3 = -q*h + 7. Is 2/115 > h?
False
Let a = 85 - 74. Let q = a - 43. Is -32 bigger than q?
False
Let d = 13 - -294. Which is smaller: d or 305?
305
Let p be 1/(-12) + (-174)/(-144). Which is smaller: p or 1?
1
Suppose 0 = t + 11*t - 180. Suppose 11*z = t*z + 4. Is 1/17 > z?
True
Suppose 373 = -5*l - 24*w + 21*w, -5*l + 3*w = 367. Are l and -220/3 nonequal?
True
Let s(u) = -u + 10. Let a be s(6). Suppose -a*l = -2*l + 6. Which is smaller: -5 or l?
-5
Let d = -1118 - -7824/7. Let b = 17.1 - -0.9. Is b less than or equal to d?
False
Suppose 5*t + 71*t + 228 = 0. Are -8/5 and t unequal?
True
Let i = 5924/3 - 1945. Are i and 29 equal?
False
S