 d be b/r + (-44)/12. Is -2 > d?
True
Let y = 66569/43875 - 294/125. Let c = -8/27 - y. Is 0 < c?
True
Let b be 36/(2/2 - -1). Is b less than 84/5?
False
Let t be (524/164 - -1) + -4. Let d = t - 229/123. Is d smaller than 2?
True
Suppose 3*w - 2520 + 64 = -5*y, -2*y + 4106 = 5*w. Is w less than or equal to 820?
False
Let p = -10839/4 + 2728. Suppose 2*c + 2*c - 88 = -4*z, -2*z + 98 = 5*c. Is c at least p?
False
Let z = -0.14 - -0.133. Let b = -0.007 - z. Are b and 16 nonequal?
True
Let a(g) = 5*g**3 + 10*g**2 - 4*g - 1. Let w be a(-3). Which is smaller: -98/3 or w?
w
Let z(x) = x**2 - 2*x - 5. Let n be z(4). Let p = 6093 + -6089. Is n bigger than p?
False
Let p = -23609 + 1156789/49. Which is smaller: -1 or p?
p
Let a = 70 + -70. Let q = 0.4 + 2.6. Let u = q - 1. Are u and a nonequal?
True
Let f(n) = 0*n**2 - n**3 - 4*n + 6 - 9 - 3*n**2. Let i be f(-2). Let g be -2*4/744*-3. Which is bigger: g or i?
i
Suppose 4 = 3*x - x. Suppose -c + 3*s + 10 = 0, x + 0 = 5*c + s. Let j = -75 - -374/5. Is c greater than j?
True
Let n = -0.2 + -0.8. Let w be (6/(-21) - 0) + 3323644/(-2100). Let o = w - -1583. Which is smaller: n or o?
n
Let l = -0.023 + 0. Let t = -0.223 - l. Does 6/5 = t?
False
Let i be ((6/(-144))/(-1))/((-3)/4). Let w be 0 + (-5)/6 + 3/(-18). Which is bigger: w or i?
i
Let s be 4 + 0 - (-8)/(-2). Suppose -8 = -3*m - 2*d, 0 = 4*m - 2*d - 3*d - 26. Suppose -5*o + c - 9 = s, o - 11 = -4*o - m*c. Which is smaller: o or 1/7?
o
Let x = 1710825/271 + -6313. Is -1 equal to x?
False
Let q(n) = -n**3 + 2*n**2 - 3*n - 4. Let t(a) = a + 11. Let y be t(-7). Let f be q(y). Is f <= -48?
True
Let f = 203 - 203. Which is smaller: 2/579 or f?
f
Let r be (-2)/102*(-3)/(9/6). Let p(y) = -4*y. Let k be p(-2). Suppose -b - 5*j - 24 = -0*j, -3*b + j + k = 0. Is r greater than b?
False
Suppose -13*h + 680 = -30*h. Is h at most 23?
True
Let z = 22 + -20. Suppose 0 = z*c - 5*t + 29, -4*t + 18 = -4*c + 5*c. Let v be c + 5 - 2 - 12. Is -11 not equal to v?
False
Suppose -2*t - 2*w + 118 = t, w = -t + 39. Suppose 3*g - 3*o - 6 = 0, -4*o = 5*g + o - t. Suppose -5 = -g*r - 25. Is -2 not equal to r?
True
Let d be -2 + ((-3)/(-4) - -1). Let h = 1/60 - 193/780. Are h and d equal?
False
Let s = 1/615 - -68/205. Is s greater than -173?
True
Let m = -0.33 + -11.67. Let f = -32.1 + 32. Is f at most as big as m?
False
Let r = 149/90 + -8/5. Which is bigger: r or 0.4?
0.4
Let x = 602/29 + 50/87. Does x = 21?
False
Let c = -1/1372 - 76827/6860. Which is smaller: c or -1?
c
Let t = -1192515/284 - -4199. Which is smaller: -1 or t?
-1
Let n(y) = -2*y**2 + 4*y + 1. Let g be n(3). Let w be (-9)/g - 2/(-10). Suppose -6*t - 4 = -w*t. Is 3/7 at least t?
True
Let j = 0.209 + -141.209. Which is greater: 2 or j?
2
Let d = 5415.039 + -5412. Let a = d - 0.039. Is 3 != a?
False
Let s = 84.4 - 106.4. Which is smaller: s or 0.1?
s
Let v be ((-2)/(-5))/1*430/96922. Is 0 at least v?
False
Suppose 3*u - 6 = u. Suppose m = -u*o + 6, 0*m = m + 4*o - 7. Suppose -5*p + 12 = -p, -2*p + 24 = -m*s. Which is smaller: s or -7?
-7
Let l = 1447050/101 + -3090492679/215736. Let o = 2/267 - l. Let k be 4/(-10) + (-78)/30. Is o < k?
False
Let d = -123 - -2837/23. Is d < -1?
False
Let o be 164/(-16) + (-2)/(-8). Let u(f) = f**2 - f - 2. Let n(g) = g**3 + g**2 - g. Let p(q) = -n(q) - u(q). Let l be p(2). Is l at most o?
True
Let k = 0.386 + 0.034. Let g = -2126 + 2125. Which is bigger: k or g?
k
Let r be (-32329)/(-363) - (-2)/(-33). Which is smaller: r or 359/4?
r
Let k = -3/32 - 1/32. Let w be (-15)/20 + (-35)/(-36). Is w smaller than k?
False
Let v = -116 - -116. Which is smaller: v or -4/53?
-4/53
Suppose k + p = -0 - 3, 0 = 5*p + 10. Let d = 24115/44 - 548. Is k smaller than d?
True
Let a = -225 - -223.91. Let j = 0.54 + -0.45. Let l = j + a. Are 10 and l non-equal?
True
Let f = 12 + -7. Let h(v) = -f - 2*v + 6 + 3*v + 3. Let m be h(-5). Which is smaller: -2/19 or m?
m
Let a be (0 + -3)*(-12)/(-630)*5. Is a less than or equal to -1199?
False
Let n be ((5 - -1) + -4)/(-7 - 27). Which is greater: n or 0?
0
Let d(u) = 2*u + 150. Let q be d(-17). Is q smaller than 121?
True
Suppose g = -a - 942, -5*g - a - 2492 - 2198 = 0. Which is smaller: -938 or g?
-938
Suppose 20*n = 14*n + 6. Let v = -455/516 + 20/43. Which is smaller: v or n?
v
Let w(z) = z**2 + 8*z + 2. Let f be w(-8). Let q(g) = 3*g - 5. Let l be q(f). Which is smaller: l or 1/5?
1/5
Let v = -124 + 71. Let u = v - -55. Are u and 1/2 nonequal?
True
Let b = 15 - 10. Suppose 4*v = 5*u + 26, -4*v = u - 6*v + 10. Let h be u/(-2) + (-1)/b. Which is greater: -0.1 or h?
h
Suppose h + 3*p - 1 = -0*p, 5 = 5*h + p. Let k be (1*(2 - 1))/(h/(-13)). Suppose -4*b - 5*d = 41 + 7, -b + 2*d = 12. Which is bigger: k or b?
b
Let i(d) = -d**2 + 24*d + 18. Let r be i(20). Let w be 8/r*(-14)/28. Which is greater: -1 or w?
w
Let m(f) be the third derivative of 0 + 8*f**2 + 2*f**3 + 0*f - 1/120*f**6 + 1/6*f**5 - 1/24*f**4. Let g be m(10). Does 13/4 = g?
False
Let i be (-4)/(-6) + (-8)/15. Let n(p) = 7 - 9 - p**3 - 4*p + 5*p - 11*p**2 + 13. Let u be n(-11). Are u and i unequal?
True
Let a(x) = x**3 - 18*x**2 + 18*x - 12. Let p be a(17). Suppose -4*h = -p + 1. Is 5/7 > h?
False
Suppose -572*g = -569*g. Which is smaller: g or 850?
g
Let u = -50.25 + 49. Let k = -0.15 + u. Let w = 0 - 0.1. Is k at least as big as w?
False
Let i(o) = -o**2 + o + 227. Let p be i(13). Which is smaller: 289/4 or p?
p
Let p = 8/23 - 913/46. Which is smaller: p or -1/4?
p
Suppose 0 = 5*n - 0*n - 10. Let q(h) be the third derivative of h**6/120 - h**5/20 - 5*h**4/24 + h**3/2 - 10*h**2. Let o be q(4). Is n at most as big as o?
False
Let w = -463 + 6014/13. Does -1 = w?
False
Suppose 0 = 5*w + 15*y - 16*y + 104, 3*y = -6*w - 129. Let z = -0.1 + 0. Which is greater: z or w?
z
Suppose -n = -3*o - 22 - 50, 3*n = -4*o - 109. Let q = 1.6 + -1.7. Is q less than or equal to o?
False
Let p be (-2)/(-8) + 28/16. Let v(i) = -i**2 - i - 52. Let b be v(0). Let u = 55 + b. Is p equal to u?
False
Let v = -144 + 165. Is v bigger than 256/13?
True
Let b = -81 - -120. Suppose b*r = 33*r - 252. Which is smaller: -2/7 or r?
r
Let p be 3 - (-1)/1*-6. Let a be 3 + (p - (-4 - -2)). Let b be a/4 - 264/496. Which is bigger: 0 or b?
0
Let t = -0.31 - 4.69. Let m = t + 6. Is 17 < m?
False
Suppose -206 = 19*z - 871. Which is greater: 36 or z?
36
Let q = 17/82 + -1949/8610. Is q not equal to -1/4?
True
Let m be (-2)/(-7) - (-1240)/(-224). Let r = m + 7/4. Is r at most -4?
False
Suppose 10 = -s - 4*n, -2*s - 9*n - 11 = -10*n. Let u be 0*((-3)/2 + 1). Suppose u*l = 2*l + 2. Do s and l have the same value?
False
Suppose j + 4*j - 15 = 0. Suppose 0 = -y + 5*v + 35, 6*y - j*y - 4*v - 50 = 0. Is 10 > y?
False
Suppose -5*h + 73 = b, 2*b + 73 = -5*h + 209. Which is greater: 62 or b?
b
Let p = -187.8 + 148. Let r = -40 - p. Suppose -2*d = -3*d. Is r < d?
True
Let w(l) = -19*l**3 + l**2 + 3*l - 4. Let g be w(2). Is g > -147?
True
Let m = -360 + 216. Which is bigger: m or -143?
-143
Let a = -52 - 8. Let k = 60.1 + a. Is k != 9?
True
Let s = 58 - 57.54. Let q = s + 0.54. Is 1 greater than q?
False
Let t = -20 + 17. Let j be t/4 - 3/(-12). Is 2/35 at least as big as j?
True
Let p be (-1 - (-858)/9)/(11/(-51)). Let f = 437 + p. Which is greater: 0 or f?
0
Let n be (-10)/(-25) + 127/(-5). Which is greater: -26 or n?
n
Let x = -62 - -31. Let m = x + 30.6. Which is smaller: 4/3 or m?
m
Suppose -5*b = a + 19 + 1, 5*a = 2*b + 35. Are a and 22/5 nonequal?
True
Let s be 28/(-98) - (-4)/14. Suppose q = 3*j - s*j - 8, -3*q - 10 = 5*j. Let y be 200/1008 + -1 + 15/18. Is y < j?
True
Let r be (-30)/(-4635)*(12/38)/(-2). Which is smaller: 1 or r?
r
Let q = -23 - -26. Suppose -q*b - 35 - 25 = 0. Let u be (4 - 3)*(-5)/b. Which is smaller: -0.05 or u?
-0.05
Let p be 18/(-1) + 26 + -20. Which is smaller: 0 or p?
p
Let o be (-317)/11 - (-22)/(-121). Let f(j) = 2*j + 1. Let y be f(-15). Are o and y non-equal?
False
Let b(d) = -5*d - 1. Let z be b(1). Let l = 2 + z. Let x be (l - 0) + (-2 - -5). Which is smaller: -1/3 or x?
x
Let a = -16 + 27. Let v be 8/(-16) - (439/38 + -1). Let x = v + a. Is 1 smaller than x?
False
Let g = 63 - 54. Suppose 0 = -g*s - 14 + 41. Let x = -5 + 7. Which is smaller: s or x?
x
Suppose -4*f + 4*g - 108 = 0, -5*g + 25 - 114 = 3*f. Is f sma