d z equal?
False
Let v = 26355/2 - 13628. Which is bigger: v or 0?
0
Let z be 9261/(-20) + (-9)/((-648)/18). Which is greater: -464 or z?
z
Let q = 23 - 20. Let o be (-3 - 0/4) + q. Let k = -10747/35 - -307. Is o at least as big as k?
True
Suppose -5*k + 714 - 2774 = 0. Let t = -4520/11 - k. Let i be -11 + 3 + 1 - (-6 + -13 - -10). Which is bigger: t or i?
i
Suppose 0 = -z + 3*z - 4*z - 2. Which is bigger: z or 170/11?
170/11
Suppose -15 = 5*h, h + 10083 = 5*k - 0*h. Let n be 2*3/(-24) - (-664)/k. Which is smaller: n or -1?
-1
Let a = -868 + 884.68. Let d = 1.32 + a. Is -2 <= d?
True
Let m be -12*6/((-120)/430). Let u = 93 + m. Do 352 and u have the same value?
False
Let q = 72534 + -36227. Which is bigger: -1 or q?
q
Let o(a) = a**3 - 39*a - 132. Let q be o(-4). Is -155/4 smaller than q?
False
Let q = -280 + -140. Let p = q - -371. Which is smaller: -50 or p?
-50
Suppose -3*a = 2*a + 10. Let m(d) = -2*d**3 - 22*d**2 + 14*d - 93. Let k be m(-12). Let h be 9/k*(a + -1). Is h <= -10/13?
True
Let z be -452*(-1 + 2/4). Let o = -1136/5 + z. Suppose -2*p + 92 = 164 - 70. Is p greater than or equal to o?
True
Let y(i) = -i**3 + 5*i**2 + 14*i - 8. Let z = -66 - -73. Let v be y(z). Let n = -30 + 21. Is v at most as big as n?
False
Let u be (12 + (-7)/1)*1. Suppose 5*j = -5*m + 45, -u*m + 6 = 1. Is j at least as big as 19?
False
Let a = -227 - -227. Suppose -2*f + q - 103 = a, 7 = -q + 6. Which is greater: f or -50?
-50
Let y = 149291/5 + -29858. Let t(z) = z**2 - 4*z + 4. Let w = -2 - -5. Let k be t(w). Which is smaller: y or k?
y
Let l be -10682*(49/(-14))/(-7). Are -5341 and l unequal?
False
Suppose -5*d + 5 - 35 = 5*o, -3*o - 8 = -2*d. Is 108 smaller than d?
False
Let l = -10348 + 10347.92422. Is l bigger than -2/9?
True
Let l(r) = 2*r**2 + 16*r + 4. Let i be l(-10). Let w = i - 44. Let g be w + 1*(-4 - -2). Is -2/3 smaller than g?
False
Let w be 4 + (5 - 1) + (3 - -21). Suppose -18 - w = -10*q. Which is smaller: q or 4?
4
Let n(v) = -4*v**2 - 17*v + v**2 - 37 - 3*v**2 + 9*v**2 - 4*v**2. Let p be n(-6). Suppose -84 = -g - 2*g. Is p at most as big as g?
False
Suppose 0 = 4*q - 2*v - 4, 0 = -q + 5*v + 7 + 3. Let b be 4/(-42) + (-10262)/294. Let c be 3/((-162)/(-15))*b/25. Which is smaller: c or q?
c
Suppose 0 = -197*f + 193*f + 32. Suppose 25*x - 23*x = 104. Let p be 4 - (x/(-8) + 3). Which is smaller: f or p?
p
Let y be 4/18 - (-2572)/252. Let a(n) = 17*n**2 + 181*n - 55. Let m be a(-11). Do m and y have the same value?
False
Let s = 0.0592 + -0.28. Let f = 0.0308 + s. Is f bigger than -6?
True
Let l(d) = 3*d**3 + 2*d**2 + 2*d + 2. Let f be l(-2). Suppose 0 = -o - 360 - 40. Let v be o/24 + 3/(-9). Which is smaller: v or f?
f
Let x = 22220.93 - 22323. Let h = x + 102. Is h greater than -0.5?
True
Let g = -1959 - -1960. Let z = 0.02 - -1.38. Let q = z - 1.384. Is q greater than g?
False
Let y be ((-1)/(-3))/(4/996). Suppose 0 = 10*q - 85 - 755. Let k = y - q. Is k less than -2/171?
True
Let t(g) = -8*g - 166. Let h be t(53). Is -591 at most as big as h?
True
Let l = 343/305 - 644426/2135. Is -300 != l?
True
Let z = 34.5 - -111.5. Let v = -145.77 + z. Is 1/4 at most as big as v?
False
Let q = -246 + 126. Let y = -5685 + 11131/2. Which is greater: q or y?
y
Suppose 0 = -47*o + 54*o + 4312. Let n = o - -674. Let s(a) = 14*a**2 - a. Let y be s(-2). Is n < y?
False
Suppose 3*n + 29 = -4*z, -z - 26 = 5*n + 11. Let m(q) = -q - 13. Suppose -6 = 2*a + 3*y, -2*y - 26 = 4*a + a. Let w be m(a). Is w < n?
False
Let d(i) = i**2 + 24*i + 3. Let b be d(-23). Suppose 0 = 3*k - 4*k + 4. Let h(x) = x**3 - 4*x**2 - 6*x + 4. Let y be h(k). Is y less than or equal to b?
True
Let j = 3 + -4. Suppose 0*z - 3*z = 0, -14 = -2*i - z. Let q(w) = 2*w - 11. Let s be q(i). Is j greater than or equal to s?
False
Suppose 0*o - 30 = -3*o. Suppose 36 = -16*y - 12. Let n be (-58)/(-12) - (133/(-42) - y). Are n and o nonequal?
True
Let n(w) = w**2 - 22*w - 303. Let y be n(-13). Let t be (2/1)/((-6)/6*2). Which is smaller: t or y?
t
Let x be 15 + -2 + 6 + -5. Let k(d) = -d**3 + 6*d**2 - 6*d + 5. Let w be k(4). Is w > x?
False
Let t = 5 + 0. Let m be (-42)/(-12) + -4 - 2/4. Let a be -2 + (9 - (m + 5)). Is t at least a?
True
Let b = 207.0328 + -207. Let l = b - 0.5228. Is 1/2 at least as big as l?
True
Let v = -4 - -11. Let r = v - 34. Let g = r - -29. Which is smaller: -0.2 or g?
-0.2
Let s(w) = w + 3. Let o be s(-4). Let v(k) = -k**3 + 24*k**2 - 7*k + 166. Let q be v(24). Let h be q + (-236)/(-228) + 1. Is o bigger than h?
False
Suppose 0 = 5*o - 105 + 15. Let a = -88.895 - -89. Let b = -0.095 - a. Is b <= o?
True
Let k be -6 - 1040/(19 + -15). Which is bigger: 3/2 or k?
3/2
Let n = -538 + 797. Let v = n + -2317/9. Let i(d) = d**2 + d - 1. Let b be i(1). Which is smaller: v or b?
b
Suppose 8*n - 826 = -90. Which is smaller: 52 or n?
52
Let r be ((-9)/(4941/(-99)))/(-1)*(-2 - -4). Which is bigger: 1 or r?
1
Let o = 226 + -227.89. Let h = 1.99 + o. Which is greater: -50 or h?
h
Let a(w) = -w**3 - w**2 + 5*w - 96. Let n be a(0). Let u = -15 - n. Which is bigger: u or 80?
u
Let g(p) = -29*p - 1131. Let t be g(-39). Which is smaller: t or -652?
-652
Let a = -26 + 12. Let i(v) = v**2 - 16*v + 25. Let y(d) = -d**2 + 15*d - 23. Let k(n) = -3*i(n) - 4*y(n). Let m be k(4). Is a bigger than m?
True
Let u be -1 - (385/(-75) + 4). Let b be (-4)/102*(-399)/(-4). Let j = -24/17 - b. Which is smaller: j or u?
u
Let i = -0.15713 - -1.65713. Let f = 1/6 + -13/24. Which is smaller: f or i?
f
Let u = 9224/18067 + -45/89. Let k = -1289 - -1288. Which is greater: u or k?
u
Let m be (160/(-24) + 7)/(3/(-1971)). Let f = -86 - 132. Is f not equal to m?
True
Suppose s - 426 = y + 3*s, -4*s = -y - 432. Let z = -340 - y. Is z < 437/5?
False
Let v = -9 + 12. Let l be v + (-270)/93 + 2 + -2. Let u(o) = o**3 - 12*o**2 + o - 11. Let c be u(12). Which is smaller: c or l?
l
Let j = 1250 - 1386. Which is smaller: j or 1?
j
Suppose 14*y = -45 - 55 + 114. Let l = 15800542/1127 + -14020. Is l at most as big as y?
True
Let h be (13/2)/(364/448). Let v(z) = -26*z + 105. Let i(p) = -13*p + 53. Let m(a) = -11*i(a) + 6*v(a). Let f be m(h). Is -58 > f?
False
Let k = 130411/10 - 13041. Are k and -29.19 unequal?
True
Let s be ((-3)/(21/(-2)))/((3350/469)/(-25)). Is 7330 not equal to s?
True
Let v = -184 + 189. Suppose 2*s + 0*f - 2*f + 22 = 0, -v*s - 52 = -4*f. Is s < 1?
True
Let d = 161.2 - 134. Let v = d + -26.9. Are 58 and v non-equal?
True
Let v = -175 + 178. Let n be (14/231)/(v/(-9)). Let s be (-4)/6*(-15)/10. Is s >= n?
True
Let a = 4857 + -4842. Which is bigger: a or 11?
a
Let c = 59.52 - 2.02. Let s = c - 14.4. Let p = 43 - s. Is 0.2 bigger than p?
True
Let x = 23411 + -23387. Which is greater: 107 or x?
107
Let c(w) = 6*w**2 - 52*w. Let o be c(11). Which is smaller: o or 139?
139
Let r = 0.5675 - 0.2675. Let p = -10 + 23. Which is smaller: r or p?
r
Let h = -417 + 283. Let w = h - -30. Which is greater: -1/2 or w?
-1/2
Let o = -17 + 17. Suppose o = 2*n + n - 102. Let v = 741 - 708. Which is bigger: v or n?
n
Let s = -429 - -423. Let b = -5.8 - s. Which is bigger: b or 2/63?
b
Suppose -4*p = 2*c + 68, 4*p + 74 - 12 = -5*c. Which is greater: -135/7 or p?
p
Suppose -127*c - 125 = -122*c. Let v be 8/5 + 15/c. Which is greater: 2/493 or v?
v
Let d = -16 + 8. Let t be (-2239)/(-18)*d/2. Let o = 497 + t. Do o and 0 have different values?
True
Let j(f) = 97*f - 4. Let w be j(12). Suppose w = -6*a - 2*a. Let s = 1593/11 + a. Is s at most -0.2?
False
Let x(c) be the first derivative of -4*c**2 + 135*c + 136. Let t be x(17). Which is greater: 12/71 or t?
12/71
Suppose 18 = 4*l + m, -2*l = -4*m - 20 + 2. Suppose 5*j + 2*d + 144 = 0, l*j = 2*d + 2*d - 132. Let k = j - -29. Is 0 smaller than k?
True
Let z = -4238 + 4224. Let o(g) = 8*g**2 - g - 4. Let r be o(3). Suppose 0 = -10*w + 5*w - r. Is z < w?
True
Let k = -27148/54008636371 + 3665774170703734643322/63136095917699. Let v = 58061468 - k. Let f = 20/167 - v. Which is smaller: -3 or f?
f
Let q = -784.87 + 16.87. Let z = -768 - q. Which is smaller: z or -0.328?
-0.328
Let w(x) = 123*x**2 + 13*x**3 - 12*x**3 + 96 + 47*x - 173*x**2. Let p be w(49). Which is smaller: p or -44/9?
-44/9
Let d be (85 - -4)*((-126)/2340 + 4/26). Is d smaller than 8?
False
Let n = -9988 - -7975. Which is 