 - v/85). Let x = k - 79/510. Is -3/4 <= x?
True
Let k(v) = 4*v - 55. Let q be k(15). Suppose 3*t - 122 = 6*t + 5*j, -88 = 2*t + q*j. Which is smaller: t or -65/2?
t
Let v = 3009 - 2691. Do 322 and v have different values?
True
Suppose 3456 = 25*w - 16*w. Let g be -2 + (-1 - -1) - w/(-156). Which is greater: g or -1?
g
Let d = -86.99 + -0.01. Let v = -157 - d. Let l = -69.8 - v. Is 1/3 smaller than l?
False
Let i(d) = -301*d - 401. Let w be i(-4). Which is smaller: w or 806?
w
Suppose 0 = 7288*j - 7286*j - 20. Is j not equal to 1?
True
Let n be (-88)/(-55)*20/8. Suppose -5*v + 70 = b - 2*b, 0 = -v + n*b - 5. Which is smaller: v or 102/7?
102/7
Let j be ((-2)/4)/(91/5278). Is 57 <= j?
False
Suppose 0 = 80*g + 18*g + 98. Is g greater than 2/1361?
False
Let w = 562 - 571.86. Which is smaller: -7 or w?
w
Let f be ((-1)/1*-4)/(-100 + 102). Is -0.2125 < f?
True
Let a(w) = -7*w - 23. Let d be a(-5). Suppose 37*z + d = 40*z. Which is smaller: 0.4 or z?
0.4
Let w = 1/9153 - -82022/3249315. Is w > -1?
True
Let g = -74.767 + 74.627. Let x = 0.11 - -0.99. Let f = x - 1. Is f greater than or equal to g?
True
Let q = -85 + -27. Let c = -0.0504 - -77.0504. Let f = c + q. Are f and -1 nonequal?
True
Let r be (-3)/((-62070)/4)*-5. Let x be 18/(-81)*12/(-8)*0. Which is smaller: r or x?
r
Let f = 86816 - 1648528/19. Which is smaller: 52 or f?
f
Let k = -3072 - -6270. Let o be 1640/k + (-4)/(-26). Is o greater than 101?
False
Let s = -583/15 + 119/3. Suppose -40*z + 2490 + 1030 = 0. Let w be z/16 - (-35)/(-10). Is w less than or equal to s?
False
Let u = -21.343 + 21.345. Is -0.023 greater than or equal to u?
False
Let b = 42 - 35.5. Which is smaller: b or -6?
-6
Let j = -269.95 - -269.9. Is 0 at least as big as j?
True
Let q = 416.03 - 416. Which is bigger: 39 or q?
39
Let x be (36/(-10))/((-585)/(-225)). Let r = x - -512/351. Which is smaller: 1/7 or r?
r
Let f = 1.62 - -13.88. Let p = f - 15.448. Which is smaller: -1 or p?
-1
Let d(w) = -w**3 + 16*w**2 - 12*w - 15. Let j be d(15). Let z be (-4 - -4 - -15)*(-64)/(-6). Suppose 5*h - z = -2*a, -4*a = -0*a - 20. Is h >= j?
True
Let o be 4 + -10 + 4 - (-604)/315. Let r be (-4)/10 + (-13)/(-35). Let v = o + r. Which is smaller: -0.2 or v?
-0.2
Let n be 18840/(-16) + 4 - ((-6)/(-4) - 2). Does -1172 = n?
False
Let q be (672/360*-6)/((-29)/25). Are 11 and q non-equal?
True
Let d be 4*-1 - (20076/(-5168) - 10/(-95)). Do 1 and d have different values?
True
Let i be (-186)/6 + -255 + 358. Let t = 128 - 55. Which is smaller: i or t?
i
Suppose m = -2*m + 288. Let u be (-10)/(-2)*48/80. Suppose -u*w + m = 15. Which is greater: w or 26?
w
Let n be (((-4)/9)/1)/((-474)/9). Suppose 2*k - 9 = -11. Is k smaller than n?
True
Let v(f) = 2*f**3 + 72*f**2 - 155*f - 113. Let m be v(-38). Is m smaller than 9/376?
False
Let x = 56 - 62. Let y be (-3 - (-343)/119)*x/(-804). Which is smaller: -1/2 or y?
-1/2
Let p = 765 - 790. Let i = p - 6. Which is greater: -225/7 or i?
i
Suppose -3*t - 50 + 109 = 5*n, 5*n - 77 = -4*t. Suppose -5*h - 3*v + 7 = t, 0 = -4*v + 12. Let s = -11280/7 + 1608. Is s at least h?
True
Suppose -254*h = 1 - 28 - 227. Do h and 2/58257 have different values?
True
Let u = -304.5 + 304.3. Are u and 1149 equal?
False
Suppose -3*j + 4*l = 2*j + 9, -l = 4*j + 3. Let c = 35.67 + -36. Let y = c - -0.14. Which is smaller: y or j?
j
Let u be 33/(-9) - 6/(-9). Let l be ((-152)/(-18))/(u*(-4)/(-18)). Let p = l - -1400/111. Which is greater: 0.1 or p?
0.1
Let t be (-612)/(-1248)*8/6. Let u = 2/13 - t. Let j = 3208/15141 - 34/147. Which is smaller: j or u?
u
Suppose 5*i + 6*r = 4*r - 704, -3*i + 3*r = 414. Let g = i + 220. Suppose -9*q = -q - g. Do -2/5 and q have different values?
True
Let i = 65942 - 106496324/1615. Which is greater: -1 or i?
i
Let n(r) = r**3 + 10*r**2 - 14*r + 2. Let p be n(-11). Let j be (-267)/(-105) - (-1 + p/25). Let m = j + -19/7. Is m smaller than 0?
True
Let h(n) = 400*n - 1201. Let i be h(3). Which is smaller: -110/71 or i?
-110/71
Let i = 2388 - 150448/63. Let m = i + -2/63. Which is smaller: m or 0.03?
m
Suppose 0*u - 1 = -u - 3*w, 5*u + 5*w = 25. Suppose u*t + 4 = -10. Let m be 3/(-2) - 19/t. Is 5 != m?
True
Let x(s) = 4*s**2 + 42*s + 23. Let f be x(-10). Suppose -f*i - 22 = -5*m, 0*m = -5*i + 5*m - 20. Is i != 20/9?
True
Let w(z) = 2*z**3 - 4*z**2 - 2*z + 3. Let j be w(3). Suppose -j = -2*h - h. Suppose 0 = -h*y - 16 + 21. Which is greater: -33 or y?
y
Suppose 4*z = 136 - 40. Let k(t) = -t**3 + 3*t**2 + t + 1. Let i be k(3). Suppose 2*g - 5*n = -i, -3*g + n = 3*n + 6. Are z and g non-equal?
True
Let o(z) = -34*z - 8. Let p be o(-4). Let f = p + -203. Let u = 74 + f. Is u <= -0.47?
True
Let g(t) = -t**2 + 9*t + 131. Let y be g(-8). Suppose 4*x - 12 = x. Suppose u + x*p + 0 = -2, 4*p = 4*u + 8. Is u <= y?
False
Let g be 262/(((-6)/30)/(2/36)). Let b = -73 - g. Which is bigger: b or 1/4?
1/4
Suppose 5*n = 20, 2*q + 0*q + 34 = 4*n. Let z = 26/3 + q. Is 0.8 greater than z?
True
Let n = -20340/7 + 451379/154. Let x = n + -49/2. Is x at least 1?
False
Suppose 2*z + 35 = 41. Suppose -3*o = z + 6. Let b be ((-6)/33)/((-81)/42 - -2). Is b at least o?
True
Let i = -656 + 391. Let l = i - -236. Which is bigger: l or -2/9?
-2/9
Let l be ((-344)/(-108) + -3)*(972/45)/18. Which is greater: -8087 or l?
l
Let w = -1730 - -1736. Let p = -7 - -11. Which is smaller: w or p?
p
Suppose -o = 11*o + 1620. Let x = -271/2 - o. Which is smaller: -116 or x?
-116
Let f(s) = s**3 + 9*s**2 + 9*s - 2. Let i be f(-8). Let h(q) = 11*q + 63. Let y be h(-11). Let c be i/4*y/5 + 2. Is c equal to 31?
True
Suppose 0 = 4*t - 3*s - 18, 5*t - 59*s + 61*s + 12 = 0. Let d = -0.082 - -0.1325. Is d >= t?
True
Let n = -8 + 1. Let a = 271/13 - 1034/39. Which is bigger: a or n?
a
Let c be (336 + ((-40)/4 - 2))*(-2)/(-51). Which is smaller: c or 14?
c
Let x be 6/2 + 1290 + -21. Let g be (x/(-12))/(-1 + 23) + 1. Which is bigger: g or -4?
g
Suppose 25*s + 129 = 28*s. Let j = -1462 + 4519/3. Is s less than or equal to j?
True
Suppose -5*x = -15*x + 160. Let i be (x/(-72))/((-12)/(-18)). Which is smaller: i or -63?
-63
Suppose -6 = 4*c - 3*h, -1 = 2*c - h + 3. Let i be -13 + -3 + 9 + 5. Let m be (0 - i)*2 + c. Which is greater: m or 2/241?
m
Let i be 44/(-6105)*(-15)/642. Which is greater: i or 0?
i
Let g be (-4)/(-40) - 405/50. Let c be 18/21*g/18*7. Does -4 = c?
False
Suppose 4*l = 2*c + 1772, 2*l + 5*c - 582 = 280. Let i be l/(-54) - (-3)/18. Suppose 0 = 4*k + 24 + 8. Is i at most as big as k?
True
Suppose -7151 = 3*n - v, 12*v = -5*n + 13*v - 11915. Is -2382 greater than n?
False
Suppose 5*x - 4*n + 6*n - 2 = 0, 2*x = 4*n - 4. Suppose x = -3*c + l + 3*l - 8, -5*c = -5*l + 10. Is c <= -2/707?
False
Let c be (-1 - -1)/(-11 - (3 + -12)). Suppose -42*y + m - 65 = -39*y, c = 3*y + 4*m + 85. Is y less than or equal to -23?
True
Let f = 33 - 28. Suppose 5*w + 7*z - 2*z - 10 = 0, -2*z = -f*w + 38. Let o be (0 + -2 + 2)/((-2)/(-1)). Is w bigger than o?
True
Suppose 12*s + 7856 = 53648. Suppose 30*c = 39*c + s. Which is smaller: -425 or c?
-425
Suppose 0 = -5*a + 350 - 0. Suppose -74 - a = 4*s. Let p = -38 - s. Is -13/4 > p?
False
Suppose 17*b = -3*g + 19*b + 11, 13 = g - 2*b. Which is smaller: -1/1878 or g?
g
Suppose 2*j - 350 + 358 = 0. Let q be (-18)/j*(-154)/231. Which is smaller: -19 or q?
-19
Let m = -6/6889 - -723549/234226. Which is greater: 3 or m?
m
Let m be 4*((1 - -2) + -4). Let p = 395 - 393. Which is greater: p or m?
p
Let s be (-3)/6*-30*(-91)/(-39). Suppose i = -i + 70. Is s != i?
False
Suppose -3*r = 2*q + 26749, 4*q = -424*r + 421*r - 53519. Which is smaller: -0.1 or q?
q
Let r be ((-938)/8)/(-8 - 186/(-24)). Let i = r + -461. Which is greater: i or 57/8?
i
Let n = 172 + -182. Let l be (49/(-3))/(-7)*(-15)/n. Suppose -3*d + 20 = 2*d. Do d and l have different values?
True
Let j = 0 + -1. Let k = -180274.945 + 180275. Which is smaller: j or k?
j
Let n(p) = -p**3 + 30*p**2 + 31*p + 9. Let z be n(31). Let k = z + -431. Is k >= -423?
True
Let u be 3/((-72)/(-8 - 4) - 2559/426). Which is bigger: -424 or u?
-424
Let v(w) be the second derivative of w**3/2 + 9*w**2 - w. Let i = 1254 - 1261. Let y be v(i). Is -21/5 at least as big as y?
False
Let r = 0.2 - 0.3. Let a = 0 + r. Let n(z) = -z**2 + 2616*z - 133341. Let m be n(52). Is m > a?
False