er: 31 or c?
c
Let a be (-1)/2 + (-4)/(-144)*-86. Let p = -101/36 - a. Let l = 89/12 + p. Is l at most 9?
True
Suppose 37813*c - 37796*c = 83623. Which is smaller: c or 4920?
c
Let y be (-2*3/(-15))/(14/35). Let w be ((8/(-2))/4)/y. Let l be -2 - (w + -1)*1. Is -1/6 < l?
True
Let f = 12783 - 178879/14. Let s = f + -6. Which is bigger: -1 or s?
s
Let s = -200455/614 - 8/307. Is s <= -0.1?
True
Let p = -9013 - 2507. Is p <= 1?
True
Let b be ((-6)/9)/(4/(-6)). Suppose 115*k + 53*k = -1826 + 2330. Are k and b nonequal?
True
Suppose 5*t - 7*t - 16 = 4*i, -2*t + 24 = -4*i. Let o = -93 - -144. Let a = -49 + o. Is t equal to a?
True
Let c be 80/32*24/(-210) + (-2)/(-7). Is 3/1597 at least as big as c?
True
Let c = -13203 + 13069. Which is greater: -126 or c?
-126
Suppose -154*g - 57 = -57. Is g bigger than -0.0979?
True
Let q be 2/24 + (-116023)/1884. Is -62 bigger than q?
False
Let f(r) = -11*r**2 - 134*r - 30. Let q be f(-12). Let t be 0 - ((-1140)/196 + (0 - q)). Do -1 and t have the same value?
False
Let d = -1667.93 - -1707. Let v = -0.25 + 39.25. Let o = v - d. Which is bigger: o or 1?
1
Let c = -900 + 902. Suppose -v + 5 = -5*z, -z + 5*v - 25 = -c*z. Are 3/235 and z nonequal?
True
Let s be 76/(7/28 - 0). Which is bigger: s or -5?
s
Let d(k) = 10*k**2 + k**2 + 7*k**2 - 11*k + 2 + 9*k**2 - 19*k**2 - 32*k**3. Let h be d(1). Let w(r) = -3*r**2 + 2*r. Let x be w(-3). Are h and x equal?
True
Let o be (1/(-10))/(12/(-10)). Suppose k - 4*z = 19, 7*k - 16 = 3*k + z. Suppose 13*q - 16*q + k*g + 12 = 0, 5*g + 19 = 4*q. Which is bigger: q or o?
q
Suppose 1177*m = 1168*m - 72. Let v be 76/(-7) - (-3 + 0). Which is smaller: m or v?
m
Suppose -2*k = -4*y + 6, -6*k - 3*y = -7*k - 6. Let o(j) = -37*j + 9. Let w be o(k). Which is greater: w or -101?
-101
Let r = -5640 - -7312. Which is smaller: -1/4 or r?
-1/4
Let m be 4/(-7) - 5*(-1351)/245. Which is smaller: m or 11?
11
Suppose -4*p = -149 + 45. Suppose 6*l + p = 20. Let h = -2 + 2. Is h less than l?
False
Let k be (-8)/68 + 330/(-85) - -109. Which is bigger: k or -5?
k
Let d = 6555 - 6554. Do d and -1/1249 have the same value?
False
Let m(d) = -d**2 - 8*d - 5. Let q be m(-6). Suppose q*c - 9*c = 16. Let f(l) = l**3 + 8*l**2 + 4*l + 3. Let k be f(c). Are k and -29 equal?
True
Let s = 10 - -30. Let k be ((-19)/57)/(34/28 - (-28)/98). Which is greater: k or s?
s
Let o(l) = l**2 - 56*l + 500. Let c be o(40). Does -160 = c?
False
Let d(k) = k**3 + 32*k**2 + 39*k + 49. Let u be d(-21). Let p = 559094/137 - u. Is 0 at most p?
False
Let c(a) = -62*a - 7. Let d be c(-6). Suppose 7*j = d - 211. Is 22 <= j?
True
Let u = -12025 + 12983. Is -3 < u?
True
Let v be (-9 + 7 - 3)*32. Let j = -276 - v. Which is greater: j or -117?
j
Let b = 1/611 + 608/1833. Are 1531 and b equal?
False
Let b = 588 - 589. Let u be 1/(3/(6/(-323)))*b. Is u < 1?
True
Let j = 14716/3 - 501253/102. Which is greater: -8 or j?
-8
Let f = -6303 - -8918. Which is greater: f or 2616?
2616
Suppose 6*a + 51 = 177. Suppose -12*d = -201 + a. Let v = -12 + 27. Are d and v non-equal?
False
Suppose 36*w = 3077 - 1277 + 1440. Is 2 <= w?
True
Suppose 1916 = -4*v - 4*b, -b = -v - 666 + 197. Which is greater: v or -472?
-472
Let t(b) = b**3 - 5*b**2 - 4*b - 5. Let u be t(5). Suppose 12*f - 9*f - 15 = 0. Let z be 2/8*-2*20/f. Is u >= z?
False
Suppose 0 = -34*x + 68*x + 24752. Let r = x + 761. Let z be (-2)/(-8) + 270/8. Is z >= r?
True
Suppose -680 + 665 = 15*v. Let p = -1070 + 583151/545. Is v greater than p?
False
Suppose -4*m = -3*i + 4, -5*m + 56 = i + 42. Let n be (3/(-4))/(-1) + (-669)/(-4). Is n at least m?
True
Let p(y) = -55*y**2 + 2*y - 4 + 54*y**2 + 0 + 2. Let o be p(1). Let g = 10 - 10.04. Which is bigger: g or o?
g
Let w(y) = y**3 + 49*y**2 + 44*y - 194. Let x be w(-48). Let i be -3 + (-3)/x*350/(-147). Is i bigger than -7?
True
Let k(h) = h**3 - 20*h**2 - 5*h + 26. Let p be k(20). Let z = p - -1631/22. Let r = 1 + -1. Which is bigger: z or r?
z
Let b = 368272/8547 - 905/21. Which is bigger: b or 0?
0
Suppose -4*l + 5*t = 6*t - 27128, 0 = l + 4*t - 6767. Is 6784 less than or equal to l?
False
Suppose -26 = -3*u - j, 5*u - u = 2*j + 48. Let b be 0 - 1 - (-70)/u. Which is bigger: 44/7 or b?
44/7
Let k(n) = -n**2 - 3*n - 3. Let p be k(-2). Let v = 758613 - 39446567/52. Let f = -101/4 + v. Is p less than f?
True
Let c be (6/20127)/(3/(-6))*(-83)/332. Is c less than -1?
False
Let c be ((-1)/2)/(109/2). Let v(y) = y**2 + 13*y + 39. Let u be v(-5). Are u and c unequal?
True
Let v(o) = -o**3 + 58*o**2 - 454*o + 1. Let h be v(50). Is h not equal to -2699?
False
Let w be 0 - -2 - 72/(-10). Suppose p - 3*k = -k + 126, 249 = 2*p - 3*k. Let d be 20/3*p/80. Which is greater: d or w?
d
Let f = 1054.2 + -1054. Which is smaller: f or -1141?
-1141
Let a(g) = g**2 - 9*g + 11. Let s be a(0). Suppose 2 - 2 = s*u. Suppose 0 = 3*o - 2*o - 4*n - 7, u = -4*o + 2*n. Which is bigger: o or 1/8?
1/8
Suppose -2*n - 4*s = n + 17, 3*s = 3. Let j = 85 - 85. Suppose -5*w - 20 = -j*w. Is n greater than or equal to w?
False
Suppose -4*o - 5*c + 78 - 2 = 0, -3*o = 4*c - 57. Let v be (36/(-60))/(o/5 - 4). Let y = -1592 + 14348/9. Are y and v nonequal?
True
Let j = 39168 - 39479. Which is bigger: -5912/19 or j?
j
Let t be 2 - 55 - (25 - 33). Is -71 >= t?
False
Let k = -40.29 - -2024.29. Is -0.1 bigger than k?
False
Suppose -9*u + 299 + 1141 = 0. Let y be (-8)/(u/(-3150))*(-4)/3. Which is bigger: -211 or y?
y
Let n(w) = -5 + 2*w**3 + 8*w + 17*w - w**3 - 505*w**2 + 495*w**2. Let x be n(4). Which is bigger: x or 6/59?
6/59
Let q(x) = x**2 + 3*x - 4. Let z be q(-4). Suppose -o + 30 + 168 = z. Which is smaller: 196 or o?
196
Let q be 18/1664*(19752/(-936) + 21). Is -1 bigger than q?
False
Let v be (-10)/2 - (10 - 12). Let f = 21797/43 - 507. Let m = -403/172 - f. Which is bigger: v or m?
m
Let q = 215 - 153. Suppose 29*l = -42*l + 53*l + 1134. Which is smaller: l or q?
q
Suppose 12*r - 70709 = -15*r - 6314. Which is greater: 2386 or r?
2386
Suppose 0 = -101*z - 11677 - 4079. Let h be (20/6)/(2/(-93)). Which is bigger: h or z?
h
Suppose 6*n + 1763 = -1117. Let f be ((-164)/5)/((-24)/n). Which is greater: -655 or f?
-655
Let s = -1.11 + -0.23. Let t = 128.34 + s. Let k = t - 127.2. Is k > -2/3?
True
Let k be 6 + -7 + (-160)/(-168). Which is greater: 2 or k?
2
Let l be ((-75427)/(-30184) - (-56)/16) + -6. Which is smaller: l or 0?
l
Let t be (-15)/(-2)*(-1)/(-10). Let z be 40/12*(-4)/(-16). Let d = z - 4/3. Is d less than or equal to t?
True
Let o be (-2)/4*(-22 - -2)*-5. Let l be -229*(423/81 + -5). Which is smaller: l or o?
l
Suppose -206 = j + 4*i - 203, -24 = 2*j + 2*i. Which is greater: j or 4?
4
Suppose 7*z = 2*z - 5*i - 5, 0 = -3*z + 2*i + 12. Is 135/49 >= z?
True
Suppose -4*p + 137 = -v, 23 - 156 = -4*p - 3*v. Which is bigger: p or -2/425?
p
Suppose 52 = 14*l + 10. Suppose -3*c + 4*d = -3, -5*c + 1 = -l*d - 4. Which is smaller: c or 1/825?
1/825
Let f = 33 + -35. Let v be 6 + (-3789)/2 - f/(-4). Let t = v - -168119/89. Which is bigger: t or 0?
0
Let y be 30/9*75/(-10). Let z be (80/y - -2)/((-8)/(-60)). Is z equal to -8?
False
Suppose 0 = 2*g + 13 - 49. Suppose 2 = -8*z + g. Let u be (-3 - (z - 9)) + -40. Do -36 and u have different values?
False
Let g(j) = -17*j - 1. Let t be g(-7). Suppose s - 975 = 954 - 1811. Do s and t have the same value?
True
Let b be (-15)/25 - 42/(-70). Is -7/9 at least as big as b?
False
Let z = -99.5 + 100. Let b = -5.5 + z. Let d = 0.046 - -3.954. Which is greater: b or d?
d
Suppose -409*g = -424*g - 21420. Are -1427 and g unequal?
True
Let b be ((-41)/5)/((-5)/25). Suppose -4*c + 7 = -b. Suppose -2 = 2*o, -d + 3*o - 7*o = -7. Is c bigger than d?
True
Let b = -147653224.943 + 147715199. Let u = b - 62002. Let y = u + -0.057. Are -0.2 and y nonequal?
True
Let m(h) = h**3 + 10*h**2 - 25*h - 14. Let v = -299 + 443. Suppose 4*u + v = -8*u. Let a be m(u). Is a smaller than 1?
True
Let l = -9037 + 415723/46. Let w = -567/184 + l. Let q = w + 9/8. Is -1/4 at most as big as q?
False
Let u(c) = -4*c**2 - 6*c - 32. Let t(d) = -3*d**2 - 7*d - 33. Let b(i) = -5*t(i) + 4*u(i). Let y be b(14). Is -4 greater than or equal to y?
True
Suppose -2*n + 63 - 83 = 0. Let x be 105/n*(14/3 - 4). Suppose -3 = 2*o + 5*f + 4, 3*o + 20 = 2*f. Are o and x nonequal?
True
Let n be (-1316)