s than -2/13?
False
Let d(m) = m**3 - 6*m**2 + 4*m - 6. Let o be d(5). Let f = -12 - o. Let n = 139/6 + -3055/132. Which is greater: n or f?
n
Let m be (-6)/51 - (-498)/(-102). Let o be 3/m + 114/(-285). Do o and -2/1385 have the same value?
False
Let z(j) = 107*j**2 + 77*j + 77. Let n be z(-1). Is 113 > n?
True
Let x be 1835865/(-175) + 24/30. Let z = -10471 - x. Which is smaller: z or 20?
z
Let m = -1 + -15. Let g = 0.19 - 0.39. Which is bigger: g or m?
g
Let f(g) = -g + 7. Let o be f(0). Let y be (-12)/(-42) - 253/(-1155)*-1. Is y smaller than o?
True
Suppose -f - f = 6, -3*t = 2*f - 1752. Let a = -586 + t. Which is smaller: a or -2/661?
-2/661
Suppose -3 - 5 = 4*u. Let p = -918 - -924. Is u equal to p?
False
Let d be (6/(-15)*(-6)/24)/((-64)/(-160)). Which is bigger: -1.778 or d?
d
Suppose 7*n - 2*n = -5. Let l = 11 + n. Suppose 0 = c - 13*c - 0*c. Which is smaller: c or l?
c
Let w = 17843 - 23489. Is -2 at most as big as w?
False
Let a = -24 - -95. Let v = 98 - a. Is v bigger than 26?
True
Let f be 1/1*(-230)/21505. Is -1 at most f?
True
Let n be (-4)/3 - (-16)/48. Let c be (-3)/(-6)*n*-2. Let i = -3/16 - 5/144. Are i and c non-equal?
True
Suppose 5*u = 2*d - 15, 5*u - 287 = -4*d - 302. Are 2341 and d unequal?
True
Let z = -91 - -101.7. Let s = 15 - z. Does 8 = s?
False
Suppose -h = 504 + 190. Let z be (34 - 36) + h/(-350). Is 1 at least z?
True
Suppose -y + 0*q = q + 3, -2*y + 2*q = -14. Let m = 63 - 63. Suppose -5*w + 2*w + 3 = m. Which is smaller: y or w?
w
Suppose -3*d - 24 = -6*d. Let a be (2/d)/((-5)/(-8)). Let u = -967 - -57055/59. Which is smaller: a or u?
u
Suppose -207 = -3*u - 3*g, 2*u - 4*g - 179 = -u. Is u at least 27?
True
Let j be (-4)/24 - (-57)/18 - (-3545)/(-1185). Let w = -15.1 + 15. Is j != w?
True
Suppose -4*s + 78 = -42. Suppose 9*b = 4*b + s. Which is greater: 0.7 or b?
b
Let b be 12/(-20) + (0 - (-168)/(-20)). Let u be ((-273)/26 - -12)*(-4)/b. Which is bigger: -98 or u?
u
Suppose -607*b = 606*b - 1207*b. Is b > -15/44?
True
Let t(d) = -d**3 - 14*d**2 - 71*d - 533. Let u be t(-10). Which is bigger: -209 or u?
-209
Let p(t) = 84*t + 124. Let s be p(-8). Which is greater: -547 or s?
-547
Let z be (8 + 432/(-56))/((-1)/(-6)). Let c be ((-30)/(-60))/(1/8*2). Is c greater than z?
True
Let n = 11276 - 665283/59. Suppose 2*r - 4 = u - 11, 3*r - u + 8 = 0. Which is smaller: n or r?
r
Suppose g = -2 + 16. Let d be (3/2 + (-7)/g)*4. Let h be d/6 + 61/3. Which is greater: h or 22?
22
Let s = -0.2131997 - 8620.7768003. Let l = 8572 + s. Let q = 49 + l. Which is greater: 2 or q?
2
Let x = 3 + -3. Let r be 1 + (-10)/11 + -84 + (-26892)/(-396). Which is smaller: r or x?
r
Let n(i) = 2*i. Let m be n(-6). Let w be (9/(-6))/(m/112). Suppose -4*x + 0 = -52. Is x bigger than w?
False
Let b = 2.9 - 4. Let t = -3304.8 - -3305.2. Is t bigger than b?
True
Let x be ((-36)/(-45))/((-40977)/81945 - 2/(-4)). Does x = -14567?
False
Let h = -9/3424 + 41851/941600. Are 0 and h nonequal?
True
Let b = 1 - 1. Let x = -142213/305340 + 16/10905. Is x at least b?
False
Suppose 112*j = 227*j - 10925. Which is bigger: j or 189/2?
j
Suppose 2*z = -2*a - 64, 36*a = 34*a - 3*z - 60. Which is smaller: a or 22?
a
Let z(k) = k**3 - 7*k**2 - 8*k - 1. Let t be z(8). Let u be (-2)/5*t - (-10)/(-25). Suppose u = 2*y + 10*y + 264. Which is smaller: -23 or y?
-23
Let a be 3/36*-3 - (-84)/16. Suppose 233 = a*l + 248. Is -5/2 > l?
True
Let j(i) = i + 18. Let d be j(9). Let s(f) = f**3 - 9*f**2 + 24. Let v be s(0). Is v smaller than d?
True
Let c = 6722 + -6723. Which is smaller: c or 8/295?
c
Let a = -4 - -159. Let c = a - 176. Which is bigger: -1/5 or c?
-1/5
Let o(k) = -2*k**2 + 5. Let j be o(9). Let w = 1087/7 + j. Suppose -25 = 5*n, -5*n + 17 = z + 43. Is z at least as big as w?
True
Let t = 2626.4 + -2538.4. Is -152 less than t?
True
Suppose 49*c + 91 = -203. Let v be ((-1080)/(-63))/(c/(-21)). Is 60 smaller than v?
False
Let m = -26972216799/134 + 201286890. Let i = m + -1690. Let t = i - -257/1474. Is -0.1 at most t?
True
Let r = -10323 - -8756. Which is smaller: 1 or r?
r
Suppose 5*d - 5*b + 15 = 0, -6*d - 28 = -10*b + 14*b. Let a be 1*(-2 - -4) - 24. Let k be ((-3)/(-9))/(2/a). Is k greater than d?
True
Let c(d) = -5*d**3 - 15*d**2 + 22*d - 11. Let j(v) = v**3 + v**2. Let h(w) = -c(w) - 6*j(w). Let n be h(5). Is n at least as big as 2/205?
True
Let t(h) = h**2 + 14*h + 25. Let d be t(-10). Let b be 100/30*(-6)/2. Is b <= d?
False
Suppose f = 2*f - 2, k - 5*f = -5. Let c be 3/k + 24/(-40). Suppose c = 4*n + 4*o - 76, -4*n = -0*o + o - 91. Is n greater than 24?
False
Suppose 0 = 3*c + 2*x + 109, 4*c + x + 75 = -77. Is -13 > c?
True
Suppose 4 = -z, z + z = -2*c - 4. Suppose w = c*r + 2*w - 10, -4*w + 13 = -r. Let h be 8 + (-44)/6 + 1/r. Is 1.03 > h?
True
Let g = -43 + 343/8. Suppose 4*u + i + 172 = 4*i, 5*i = 3*u + 118. Let r = -45 - u. Which is smaller: g or r?
g
Let n be 14/(-5) + 0 + 0. Let a = 0.2481 + -3.2481. Is a bigger than n?
False
Let u be -2 - -4 - 83/(-1). Let n = u - 80. Suppose 2*z - n = x, -5*x = 5*z - 3*x + 1. Which is greater: 6 or z?
6
Let g be 825772/180200 - 1/2. Let t = g + -216/53. Which is bigger: t or 0?
t
Let a = 568 + -570. Let b(j) = -5*j**3 - 7*j**2 + j + 6. Let u be b(a). Which is bigger: u or 125/8?
u
Suppose -32*k + 2093 = -1203. Suppose 129 = 29*n - k. Do n and 14 have the same value?
False
Let z = -444 - -1415. Is -0.06 greater than z?
False
Suppose -21*p + 870 = -579. Suppose 0 = -3*f - 4*u + 67, -u + 4*u = -3*f + p. Which is greater: 29 or f?
29
Let s(t) = -15*t - 37. Let i be s(-19). Let c = i - 4214/17. Which is smaller: c or -2/13?
-2/13
Let c be (9/6)/(-4 + 45/24). Suppose 3*o - 8 = 1. Suppose o*h - 7 = -10. Is c at least h?
True
Suppose 2*p = 4*c - 1434, 24*p = 2*c + 26*p - 702. Which is greater: c or 360?
360
Suppose -5*b - 186 + 196 = 0. Let g be b/(-20)*-52 - 2/10. Suppose -5*k + 31 = 2*j, 5*k - 24 - 13 = j. Is k smaller than g?
False
Let j = -44/203 - -3238/1827. Is 2 bigger than j?
True
Let d = 539690/27 + -19988. Let h(q) = -q**2 - 6*q + 9. Let j be h(-7). Do d and j have different values?
True
Suppose 85*a = 83*a + 190. Let x = a - 666/7. Which is greater: x or -1?
x
Let y(g) = g**3 + 26*g**2 + 19*g - 30. Let l be y(-18). Let i be (-29332)/l - (-4)/(-12). Let r = 68/5 + i. Which is bigger: -1 or r?
r
Let d = 0.03134 - -5.56866. Which is greater: d or 62?
62
Suppose -4*l + 4*x = 7*x + 27, 4*l + x + 25 = 0. Is -418/67 less than l?
True
Let z be (22 - 69)*(-2 + 1). Suppose -v + 46 = 3*h, v = -0*v - 4*h + z. Suppose 3*t = v + 35. Which is smaller: 25 or t?
25
Let l be (-9 - (-8048)/840) + 1/(-21). Which is smaller: -334 or l?
-334
Let k = 45 + -45.27. Let h = k + -0.23. Let i = 44 + -41. Is i != h?
True
Let n(t) = -t**2 + 6*t - 3. Let u be n(4). Suppose u*b - 5 = -120. Let p = -288 - -265. Does b = p?
True
Let a = 97 + -87. Suppose -5*n + 68 = -s, 3*s - 73 = -3*n - 25. Let k = a - n. Are -1/4 and k unequal?
True
Suppose -g - 3*g - 12 = 0. Let r be (-345)/90 + 897/468. Are g and r equal?
False
Let h be (737/(-67) - 86/(-8))/(2/(-22216)). Which is smaller: 2774 or h?
2774
Suppose 2*r = -h - 2*h + 81, -2*r + 4*h = -88. Let s = -24 + r. Suppose 136 = -s*m + 46. Which is smaller: -29/5 or m?
-29/5
Let l = 2082 - 2082.1. Which is smaller: -188/45 or l?
-188/45
Let r be ((-30)/4)/(21/(-28)). Let y be (-4)/r - 0/(-5). Suppose 3*o - 3 = 0, 2*u - 2*o = 98 - 34. Is y equal to u?
False
Suppose -7*i + 1784 = 5*i + 21116. Are 1 and i nonequal?
True
Let y be (5/10)/(1/(14/4123)). Are y and 0 nonequal?
True
Let q = -17 - -17. Let t be -1 - (1701/1695 + -10 + 8). Are q and t equal?
False
Let l(m) = -2*m + 41. Let d be l(9). Let o = 6 - d. Which is smaller: -15 or o?
o
Suppose 0 = 2*v - 9 - 7. Suppose -v - 32 = -4*u. Suppose u*c - 3*c - 7 = 0. Which is smaller: c or -3/8?
-3/8
Let t(q) = -2116*q + 1785. Let n be t(-2). Which is smaller: 6019 or n?
n
Let w be 74 + 570108/(-8148) + (-3)/((-6)/(-8)). Suppose 8*s = 4*s. Is s >= w?
False
Let d be -26 - -26 - ((-17535)/18 - (-4)/(-1)). Is 978 <= d?
True
Suppose -402*t = -74*t + 381*t - 1418. Which is smaller: -2739 or t?
-2739
Suppose 0 = -2*r - c + 5, 0 = -8*r + 7*r + 5*c - 3. Let m be (-451)/(-220) + 1 + (-15)/12. Which is greater: r or m?
r
Suppose -4*x = 4*u - 13 + 45, 5*x = 10. Let 