0, -5*d + 2*t = -t - 2736. Which is bigger: d or 543?
d
Let c(r) = r**2 + 5*r - 8. Let o be c(-6). Let b be (-14)/12*(-296)/70. Let s = b + -23/5. Is s at least o?
True
Let r(s) = -s**2 - 16*s - 17. Let g be r(-15). Let u be 3 + (-995)/285 - g/6. Suppose 2*k + 3*f + 12 = -2*f, 4*k + f + 6 = 0. Is k at most u?
True
Suppose -4*y + b = -5340, 252 = -4*y - 5*b + 5592. Is y >= 1335?
True
Let x(q) = -q**3 + 8*q**2 + 5*q - 103. Let o be x(6). Is o bigger than 2/2539?
False
Suppose -72 = -3*v - 9*v. Suppose 48 = h + 2*m, 2*m = -5*h + v*m + 296. Which is smaller: h or 57?
h
Let b be (63/(-42))/(115635/(-20)). Which is bigger: b or 1?
1
Let p = 42.97456 - -0.02544. Are -18 and p non-equal?
True
Let o = 11666566396857116/677197699232775 + -1/41609689661. Let j = -534/31 + o. Which is smaller: j or 1?
j
Suppose 0 = -2*x + 14 - 4. Let c = 1.27 + -1.37. Is x <= c?
False
Let f = 214.87 + -215.87. Which is greater: f or -1/1790?
-1/1790
Let i = 2074.3 - 2176. Let a = i + 102. Is a at most as big as -0.1?
False
Let l be 1646/(((-12)/9)/(30*10/90)). Which is bigger: -4116 or l?
l
Let a = -9495 - -5708. Which is bigger: a or -0.1?
-0.1
Let n = 4 - 2. Let p be 1/(-2) - (-1)/n. Let v be (-247*26/(-2704) - 3)*(-3)/(-45). Which is bigger: p or v?
p
Suppose 0 = 5*c - 18 - 7. Let m(s) = s**2 + 3*s + 206. Let f be m(0). Let i be c/30 + f/(-84). Which is bigger: i or -2?
-2
Let g be ((-2)/(-22))/(-5 + 9). Suppose 6*v - 20*v + 266 = 0. Suppose 0 = 26*a - v*a - 7. Which is bigger: a or g?
a
Let v = -0.88 + 0.08. Let n = 0.3936 - 0.0936. Do n and v have the same value?
False
Suppose -15*c + 277760 = 25*c. Let v be (-4)/(-3)*252/c. Which is smaller: v or 0.1?
v
Let y be (63126/105)/(10/25). Do y and 1502 have the same value?
False
Let f be (((-540)/16)/9)/(4 - 822/72). Which is smaller: 1 or f?
f
Suppose -f + 4*x = -1 + 17, 0 = f + 3*x - 12. Suppose f = -z - 3*z. Let s = 51808/387 + -1204/9. Are z and s equal?
False
Let g be -1*((-954)/(-414) + -2). Which is smaller: g or -1?
-1
Let w be 46/(-1242)*(-6)/52. Let g = -707/1170 + w. Which is greater: g or 0.028?
0.028
Let m = -6 + 7. Let j be 4/6*183/m. Let a be (-6 + -1)*(1 - j/98). Does 2 = a?
False
Let n = 522 + -518.4. Let a = 24.4 + n. Which is smaller: 2/11 or a?
2/11
Let f = -316484330/2503 - -126442. Is f != -1?
True
Suppose 9*w - 2*w - 1820 = 0. Suppose 0*a - w = 2*a. Let c = a - -78. Is c greater than -51?
False
Let i = 456730 - 8977941612/19657. Which is bigger: -1 or i?
i
Let s = -0.01964 + 0.01964. Which is smaller: -3008 or s?
-3008
Suppose -z - 5*v + 166 = 0, 2*v + 830 = 6*z - z. Let g = z - 215. Is g at least as big as -52?
True
Suppose -7*z + 3046 + 4878 = 0. Which is greater: 1130 or z?
z
Let h = -2567 + 2494. Which is smaller: h or 0.4?
h
Let q = 345371 + -220692643/639. Let c = 27/14 + -5723/2982. Let r = q + c. Does r = -1?
False
Suppose -12*u + 11*u + 8*u = -175. Which is bigger: u or -21?
-21
Let s = 2851 + -2852. Which is greater: 7/121 or s?
7/121
Let u = 27 - 22. Suppose u*g = 5*y + 40, -y = -0*y + 5*g - 16. Let a be (-2)/y - (-324)/(-24). Which is greater: a or -14?
a
Let j = -9092 - -8518. Is j less than or equal to 1?
True
Suppose -q - 2 = -3*g - 5, -8*q = -10*q - 18. Suppose 2*x + 0*x = -2. Is x smaller than g?
False
Let u be 6/(-80)*(-10)/(-8). Suppose 3*c - 6*c = 2*m + 118, -3*c = -4*m + 88. Let p be c/(-72) + 1/2*-1. Is u greater than p?
False
Let v = -109 + 108.937. Let x = -724 - -723.937. Let w = x - v. Which is smaller: -0.048 or w?
-0.048
Suppose -3*a + 2 = 5*l - 29, -5*a + l = -5. Suppose -3*y + 147 = 2*q - 93, a*q = -y + 244. Which is greater: 124 or q?
124
Let z(v) = v + 5. Suppose -c + 9 = -2*m, 0 = -m + 2 - 3. Suppose -9*q - 6 = -c*q. Let o be z(q). Are o and 4 equal?
False
Let w = -85 - -86. Let u be 16/(-24) - 68/(-84)*w. Which is smaller: u or 9?
u
Suppose j - 3*k = -5, -3*j + 4*k + 0*k = 5. Let o = -2.1 - -8. Let h = -5.76 + o. Are j and h equal?
False
Let n = -30979 - -46809267/1511. Which is smaller: 1 or n?
n
Suppose -5*t = -4*s + 3 - 13, 3*s - 2*t = -4. Let b = -23 - 43. Let j be (-3)/2 + (-117)/b. Is j greater than s?
True
Suppose 0 = 22*g + 14*g - 324. Is 111/14 < g?
True
Suppose k + 2*k - 3*h = -990, -4*k - 4*h = 1320. Let r be 88/k*3/110. Which is bigger: r or 1?
1
Let q be (-9)/(-36) - (-2)/(8/(-3117)). Let c = -804 - q. Suppose -5*p = 2*y + 77, -1 = y - 5*p - 0. Is y equal to c?
False
Let j = 8.36 - 8. Let v = -0.9 - -1.1. Let y = v - j. Is 0.1 at least as big as y?
True
Let f be 11 - 780/72 - (-1670)/6. Let h = f - 184. Is 95 not equal to h?
True
Let f be 18*208/(-24) + 13. Which is smaller: -141 or f?
f
Let x = 23/62 + -1117/1674. Let r = -1 + 2. Is r <= x?
False
Suppose 780 = -2*s - 2*o, 456*s - 452*s = 2*o - 1542. Which is smaller: -392 or s?
-392
Suppose 2*o - 102 + 94 = 0. Suppose 82*n - 5*c + 489 = 80*n, -o*c = 4*n + 908. Is n at least -232?
True
Let b = -26.13 + -76.87. Which is smaller: b or 0.18?
b
Let f(c) = 6 - 27 + 5*c**2 + 2*c**3 - 68939*c - 4*c**2 + 68936*c. Let a be f(-3). Which is greater: a or -61?
a
Let u(g) = -g**3 + 17*g**2 - 37*g + 28. Let r be u(13). Which is bigger: r or 216?
r
Let l = -191.5 + 188.5. Is -0.128 < l?
False
Let h = 106 - 97. Let m be (-58)/h - (-288)/648. Which is smaller: m or -34/7?
m
Let s be (-190)/(-2) - -3 - -4. Suppose -5*v + 21 = 4*r - s, 4*r = 3*v - 93. Which is greater: 4 or v?
v
Suppose -17 = n - 5*m + 9, -2*n = 5*m - 23. Let t be -1 + (41334/10593 - 1 - 2). Let k = -4/107 - t. Which is smaller: n or k?
n
Let v = 84 + 20. Let a = 149 - v. Is 43 at least a?
False
Let x = -16003 + 64013/4. Is 2850 less than or equal to x?
False
Let g = -72807 + 998402392/13713. Are -1 and g equal?
False
Let s(n) = 93*n + 278. Let t be s(-3). Which is smaller: 2/2145 or t?
t
Suppose -2*c - 30 = -4*w, 0*w - 15 = -w + 3*c. Let r be 3/6*(6 - w). Which is greater: -1/60 or r?
r
Let l = 3422 - 3395. Is 21 greater than or equal to l?
False
Suppose r - 42 = -2572. Is r at most -2530?
True
Let m = 1918 + -1404. Let i = -530 + m. Let h = -16 + 1. Which is smaller: i or h?
i
Let k = -2172 + 2172. Which is smaller: 1/1232 or k?
k
Let w be 4/40 + (-3745)/(-50). Let d be ((-10)/15)/(-1) + w/9. Which is smaller: 3 or d?
3
Let s = 865 + -864. Which is bigger: s or 94/89?
94/89
Let o be 8/2 - 2/(-2). Suppose o = 4*d + d. Let v be (-2*1/66)/((-5686)/(-59703)). Is d less than v?
False
Let h = -12104 - -12103. Which is bigger: h or 6/4525?
6/4525
Let m = 2 - 12. Let a = 52673/7 - 7585. Let r = a - -697/14. Which is smaller: m or r?
r
Let v be (-112)/(-504) + (-4906)/207. Which is bigger: -23 or v?
-23
Suppose 2*a = 2*t + 386, -2 + 3 = -t. Let i = -2181 + 2374. Which is bigger: a or i?
i
Let c = 16 - -22. Suppose -2*s + 3*a = -24, s = 4*s - 5*a - c. Suppose 4*m - 2*r = -s, 0*m - m - 5*r + 15 = 0. Which is bigger: -8/13 or m?
m
Let v(u) = -11*u + 694. Let d be v(50). Which is greater: 151 or d?
151
Let l = -0.504 + 0.5. Let k = l - 31.996. Let t = k + 21. Which is bigger: -0.1 or t?
-0.1
Let i(b) = -b - 6. Let p be i(-6). Let c be p + -2 + 87/39. Let n = 42 - 41. Is n less than or equal to c?
False
Let m = -23695 + 14199. Which is greater: m or -9497?
m
Suppose -4*o = 0, 4*o - 8 = t - 47. Suppose -7*c + 9*c + 126 = 0. Let x = c + t. Is x < -24?
False
Suppose 279 = 5*r - 1. Let k be (23/(-4))/((-7)/r). Suppose -4*u + k = -3*w - 65, -5*w + u = 202. Is -40 greater than w?
True
Let r = 57.825 + -49. Let o = 0.175 + r. Which is bigger: o or 3?
o
Let h = -5891 + 4209. Which is smaller: 1 or h?
h
Let j = 3756 - 3726. Do 1/26 and j have different values?
True
Let y be 3*(-3)/(108/(-2604)). Which is smaller: 225 or y?
y
Let b = 1590 + -2239. Let p be (-2)/(-3) - b/(-33). Let o = p - -32. Is 13 less than or equal to o?
True
Let y = -825881/188 - -4393. Let u(q) = -q**2 - 6*q + 15. Let d be u(-8). Is d greater than y?
False
Let i = -12174 + 4961. Let q = i - -22267/3. Which is smaller: q or 210?
q
Let q be 29/(-1682)*(-8)/(-75). Which is smaller: -1 or q?
-1
Suppose 27*g + 27*g = 8*g - 3864. Are -69 and g equal?
False
Suppose m = -4*m + w + 2612, -5*m = -2*w - 2614. Let x be m/14 + -6 + 120/21. Suppose x*i - 38*i = 24. Is i != -22?
True
Let c be 4/8*12/234*3*-10. Is c at most as big as -1?
False
Let s be 57/5 + (-642)/(-1070). Is s bigger than 17?
False
Suppose -6 = o