8 + -3172/17. Which is smaller: 0.5 or i?
0.5
Let o = -31 + 38. Suppose 4*x - o = 1. Suppose x*r + 4*a - a = -15, 5*a = -5. Are r and -6 equal?
True
Suppose 2*s - 14 = -4*p, -3*s + 3 = 4*p - 8. Let i be (384/(-40))/(s/20). Is i != 64?
False
Let q = -43 + 50. Suppose d - q*d = -60. Is 10 <= d?
True
Let x be (-15)/(-25) - (-15113)/(-5). Let v be 2/9 - x/(-72). Let j = -42 - v. Are 1 and j nonequal?
True
Let r = -9 - -14. Is 0.2 smaller than r?
True
Let b = -58 - -66. Suppose -4*u + 2 = m, -4*m - 3*u + u + 8 = 0. Suppose 10 + 4 = m*t. Which is greater: t or b?
b
Suppose -2*h - 17*j + 16*j + 222 = 0, 5*h + 3*j - 553 = 0. Which is bigger: 115 or h?
115
Let k = 14 - 11. Suppose 6*m - k*m = -3. Which is smaller: m or -1/9?
m
Let f = -20 - -116/7. Which is smaller: -4 or f?
-4
Let a = 11101/173327 + 2/2251. Is 0 at most a?
True
Let z(g) = 186*g + 192. Let w be z(-2). Is -182 > w?
False
Suppose 5*o = 10, -3*d + o + 4*o - 7 = 0. Let a be 2*((-2)/d - (-12)/8). Which is bigger: -2/9 or a?
-2/9
Let j(q) = -5*q - 32. Let u be j(-6). Let g = 1651/4 + -415. Do g and u have the same value?
False
Let j(s) = s + 1. Let i be j(0). Suppose 4*q + 82 = 78. Which is smaller: i or q?
q
Let f be (-4)/20 + (-18)/10. Let w = -2 - f. Let t = -17 + 16. Is t smaller than w?
True
Let p(g) = g - 3. Suppose 4*w - 6*w = -6. Let a be p(w). Suppose -15 = 5*d - a*d. Which is smaller: d or -4?
-4
Let b = -0.1183 + 0.0983. Is -2.3 bigger than b?
False
Let j = -93/164 - 1479/6068. Is 0 greater than j?
True
Let n be ((-410)/2)/(16/(-8)). Is 104 greater than n?
True
Let g(b) = -b**3 + b + 2. Let x be g(-1). Suppose -5*p + 0 + 5 = -3*k, 0 = -5*p - x*k + 5. Let n be (-3)/(-8)*(-2)/(-9). Which is smaller: p or n?
n
Let m = 153 + -144. Let q be 7/14*m/(-12). Is q less than or equal to -1/9?
True
Let p(g) = -2*g**3 + 40*g**2 + 28*g + 15. Let r be p(21). Is -279 <= r?
True
Let w = 897/8 + -112. Let v(j) = j**3 + 25*j**2 + 29*j + 121. Let p be v(-24). Is p >= w?
True
Let g = -601 + 642. Is g less than or equal to 40?
False
Let f = 37 - 39. Let p = 155/2 - 80. Which is greater: f or p?
f
Let u = 17 - 17.2. Let k(v) = -99*v**2 - 1. Let x be k(1). Let s be (16/x)/((-1)/5). Which is greater: s or u?
s
Let p = 2.18 - -4.82. Let u(s) = s - 3. Let d be u(5). Let k be (d/8)/((-2)/4). Is p less than k?
False
Let w = -73 - -69. Let m be (w - (-5 - -3)) + 0 + 17. Suppose 3*i + 11 - 56 = 0. Is i greater than or equal to m?
True
Suppose -z - 9 = -h, 0*z = -z - 4*h + 16. Suppose 0 = -3*q - 4 - 5. Which is greater: z or q?
q
Let i(u) = -6*u + 11. Let t be i(8). Let r = t + 37. Which is smaller: -2 or r?
-2
Let v(m) = m**3 + 2*m**2 - m + 3. Let x be v(-3). Let g be (-16 - -1) + (-4 - x). Let k = 473.9 + -474. Which is greater: g or k?
k
Let x be ((-661)/2 - (-32 + 37))*-2. Is x at most 670?
False
Let y(c) = 67*c**2 + c. Let u be y(1). Suppose -s + u = 3*s. Let q = -273 - -289. Which is smaller: s or q?
q
Let v be (12/9)/2*(-57)/38. Do v and -3/88 have the same value?
False
Let v = 128/3 + -43. Let a = -11 + 6. Which is greater: v or a?
v
Let r be -119 - (8/4 - 6). Let q = -122 - r. Which is smaller: q or -6?
q
Let c(q) = 14*q**2 + q + 3. Let l be c(-1). Are l and 5 non-equal?
True
Let r be (-12)/(-16)*-5*(-40)/75. Let d be (-2041)/39 + (-4)/6. Is d < r?
True
Let o be 1 - (-4 - -4)/4. Let f be o/2*6/(-9). Which is smaller: 0 or f?
f
Suppose -8*x = -3*x - i + 7, i = 3*x + 5. Which is greater: -4 or x?
x
Let n(g) = 4*g**2 + 5*g + g**2 + g**3 + 1 + g**2 - g. Let o be n(-5). Suppose -o*u + u - 6 = -3*r, -4 = -3*u - 2*r. Which is bigger: -2/5 or u?
u
Let c = -0.6 + 1.8. Let d = c - 1.3. Which is greater: -18 or d?
d
Let d be -3 + (-4 - (-16 - -8)). Is 1/385 less than d?
True
Suppose -5*d = -0*d - 130. Let f = d - 23. Suppose 2*g = 5*b - 4 + 2, 3*g = -b - f. Which is greater: g or 0?
0
Suppose 0*l = -l - 6. Suppose -5*k - b = -8 - 15, -k + 7 = b. Let z be (6/k)/(9/(-24)). Is l > z?
False
Let z = 97 + -241. Is z greater than -144?
False
Let a be 40/(-12)*(18 + 3). Let h be ((-16)/a)/(30/(-75)). Let n(g) = -g**3 + 6*g**2 + g - 7. Let l be n(6). Is h >= l?
True
Suppose 50 = -x + 59. Which is smaller: 11 or x?
x
Let n be ((-740)/(-6) - 4) + 4/6. Which is smaller: 358/3 or n?
358/3
Let b = 33.37 - -0.13. Let k = b + -34. Which is smaller: k or -1/4?
k
Let i = -20.1 + 20. Let v = -0.1 + -0.9. Let c = 2 + v. Is i greater than or equal to c?
False
Let u(n) = n - 1. Let i be u(5). Suppose i*f = -f + 5. Let d be 7 + 180/(-25) - 79/(-445). Which is bigger: f or d?
f
Let c be 3 + (-218)/(10/(-5)). Let r = 7730/69 - c. Are 1 and r non-equal?
True
Suppose 0 = 5*q + 2*t - 4, -4 - 2 = 2*t. Suppose -2*f + 5*f + 96 = -3*i, -f = -5*i + q. Let a = -28 - f. Which is greater: -4/9 or a?
-4/9
Let b = 87207.8594 + -87215. Let f = b + -0.0294. Let o = -0.17 - f. Which is bigger: -1 or o?
o
Suppose -378 = -20*d + 14*d. Which is smaller: d or 0?
0
Let o(x) = -6*x + 176. Let s be o(28). Is s smaller than -1.2?
False
Let j = 62607/118 - 1061/2. Which is smaller: j or 0?
0
Let n = -1578043813/9073080 - 1/336040. Suppose 10*v - 177 = -1917. Let l = n - v. Which is greater: 0 or l?
l
Let r = -1221 + 1221. Is -1/5 >= r?
False
Let m be 0 + -1 + (-1)/1. Let w be -3*(-14)/147 - (9 + -9). Which is greater: w or m?
w
Let k = -1005 - -1111.8. Let x = 107 - k. Which is smaller: x or 0?
0
Let r(h) = -h + 2. Let a be r(6). Suppose -4*x - k - 8 = 0, -5*x = -0*x - k + 19. Let q = x - a. Is q less than or equal to -1?
False
Let p = -1.1 - -0.51. Which is smaller: p or -0.1?
p
Let v be (-2768)/1860 + -2 + (-64)/(-30). Which is smaller: 0 or v?
v
Let a = 13 + -10. Let p(v) = v - 4. Let g be p(a). Let b = -1 + g. Which is greater: 2/7 or b?
2/7
Let k be (-2 - -3)*1/(-1). Is k equal to -1?
True
Suppose -z - 11 + 3 = v, -4*v + 3*z - 18 = 0. Let p = v - 0. Suppose -j + 4*j = -18. Are j and p equal?
True
Suppose 2*w = -12, 152*w - 157*w - 21 = 3*r. Let j be 33/9 + 2*-1. Does r = j?
False
Let h = -538 - -208. Which is smaller: -329 or h?
h
Suppose 4*w - 8*g + 3*g = 105, -w = -3*g - 21. Suppose 0 = r - 3*r + w. Is r at least as big as 15?
True
Let f = -6886 - -27789/4. Which is greater: f or 62?
62
Let t(x) = 2*x. Let d be t(1). Suppose -4*g - 4 = -3*y - 20, -g + 4 = -d*y. Let c be (8/(-32))/(2/(24/(-14))). Which is greater: y or c?
c
Let z be 21/(-2) - 45/18. Which is smaller: z or -105/8?
-105/8
Let a be (2/4)/(-3 + 4)*4. Are 16/9 and a nonequal?
True
Let a be 3 + (-1)/((-2)/(-57)). Which is greater: a or -25?
-25
Let n = 58.4 - 51. Is 2 smaller than n?
True
Let d = 0.01 + 0. Let n = 1.79 + d. Which is greater: 1 or n?
n
Let j(y) be the first derivative of y**4/4 + 5*y**3/3 + y**2/2 + 2*y - 1. Let p be j(-5). Suppose -4*c + 2*t - 12 = 0, -51*c + 53*c = -3*t + 2. Is c at most p?
False
Suppose -3*t = -4*s - 19, 3*t + 3*s - 62 = -50. Is t greater than -69?
True
Suppose 4*j - 3*j = 2. Suppose j*l + 34 + 4 = -4*a, 4*l = -5*a - 64. Is l < -10?
True
Let u = 6 + 2. Suppose 0 = x - 2*y - 13, -x + 5*y - 62 = -3*x. Suppose -5*d - 15 = f, 3*f - d - 14 = x. Is u bigger than f?
False
Let s(p) = p**2 + 5*p - 3. Let b be s(-6). Suppose b*j + 2*j = 125. Is j equal to 25?
True
Let y be (-1 + (-42)/(-40))*7368/1179. Let z be 6/(-524)*-2*2. Let v = y - z. Is v greater than or equal to -1?
True
Let y = 1348/25 + -54. Do -5 and y have the same value?
False
Let v = 52.2 + -39.2. Is v smaller than -10?
False
Let j(b) be the first derivative of b**2/2 + 18*b + 6. Let z be j(-17). Is 2 at most z?
False
Suppose 3*s - 6*s = -21. Let y(v) = -v**2 + 7*v + 6. Let h be y(7). Which is greater: h or s?
s
Let a = 10157525141/335 + -30320863. Let r = a - 538/5. Which is greater: -1 or r?
r
Suppose -10*f = -11*f - 1. Let j be 368/186 - -1 - (6 - 3). Do j and f have different values?
True
Let l be (-10)/(-10)*132/(-78). Which is greater: -3 or l?
l
Suppose 0*h = -8*h. Suppose h = -4*f - 83 - 25. Is -28 < f?
True
Let h be 5/(10/8) + 5015/(-1258). Is h at most -1?
False
Let g = 24568/39 + -630. Let h(s) = -s**3 - 7*s**2 - 6*s - 1. Let v be h(-6). Which is bigger: v or g?
g
Let t(m) be the third derivative of -m**5/60 + 19*m**4/24 - 17*m**3/6 + 25*m**2. Let h be t(18). Is -1/33 not equal to h?
True
Let i(n) = -2*n**3 - 4*n**2 - 7*n + 8. Let r be i(-4). Which is smaller: r or 102?
r
Let t(c) = c - 8. L