 k be 117/24 - (0 + 0). Let g be ((-1)/30 + 8547/6660)/((-2)/(-8)). Which is smaller: g or k?
k
Let x = 47 + -43. Suppose 4*v + 2*n + 0*n - x = 0, v - 4*n + 8 = 0. Which is smaller: v or -20/17?
-20/17
Let m(g) = -g**3 - 5*g**2 - 3*g - 3. Let b be m(-5). Let n be b/3*(-15)/(-12). Let u = n + -19. Is -13 at least u?
True
Let p = 3761 - 3757. Let w be 2/(-1)*(-1 + -1). Suppose 5*c - f + 18 = w, 4*c = 4*f - 24. Is p at most c?
False
Let x(h) = -16*h**3 + 3*h**2 + 2*h - 4. Let j be x(-2). Let u = -141 + j. Which is greater: -4 or u?
-4
Let i = 418.8 - 416.8. Are 4/15 and i unequal?
True
Let v(a) be the third derivative of a**6/72 + a**4/24 + 2*a**3 - 23*a**2. Let p(y) be the first derivative of v(y). Let r be p(-1). Which is greater: 1 or r?
r
Let a = 231 + -213. Suppose a*d - 1 = 17*d. Is d at least as big as 0.71?
True
Let t = -674 - -84925/126. Let s = -1571 + 1572. Which is bigger: s or t?
s
Let s = 11.096 - 9.95. Let w = s + -0.146. Let b = 2.2 + -2. Which is greater: b or w?
w
Let t = -66 - -234. Suppose 163*x + 5 = t*x. Let i be (-20)/(-15)*(-9)/88. Is i <= x?
True
Let r = 6296678/275 + -22897. Which is greater: r or 27?
27
Let z = 107838 + -107828. Let k = 11 - 1. Is k > z?
False
Let b = -2731756/137 + 19940. Which is greater: 0 or b?
b
Let l = 110 + -109. Let r = 37 + -22. Let f be 14/18 - 5/r. Do l and f have different values?
True
Let l = -1/149 + -144/745. Let o = -0.0347 - -117.0347. Which is smaller: l or o?
l
Suppose 4*g + 3*i + 18 = -102, g = 3*i - 30. Let j = g + 102. Let r be (3/30)/((-2)/j). Is -2 > r?
True
Let y be 74/37 - (-1058)/6. Let j = y - 2698/15. Which is smaller: j or -3?
-3
Suppose t - 518*y + 514*y + 214 = 0, 3*t - 5*y = -656. Which is greater: t or 1?
1
Let q = 26 - 25. Let v be q/(3*((-858)/(-171) - 5)). Do v and 182/9 have different values?
True
Let j be (1 - (-1 - 0)) + -24. Let c(d) = 10*d**3 - 16*d**2 - 11*d - 6. Let n be c(-1). Which is bigger: j or n?
n
Let m be (10/(-3))/(68/102). Let l be 3 + m + 728/133. Is l < 3?
False
Let j = 0.2 + -1.2. Let y = -75.590135 - 0.409865. Which is bigger: j or y?
j
Let n(d) = -6*d**2 - 3*d - 2. Suppose 0 = -6*l - 7*l - 26. Let c be n(l). Let r be c/(-15) - (-570)/(-423). Which is greater: r or 1?
1
Let q = 0.28104 - 1.28104. Is 2.2091 at most as big as q?
False
Suppose -4*c - 1171 = -5*d, -121*c - 288 = -120*c - 6*d. Is c equal to -297?
False
Let t(i) = -i**3 + 8*i**2 + 2*i - 17. Let c = -51 - -48. Let a be (-22)/c + -3 + (-44)/(-12). Let l be t(a). Which is smaller: 3/61 or l?
l
Let c be 320/2 - (24 - (-510)/(-17)). Are c and 2160/13 unequal?
True
Let p be (2/(-4))/((-7)/14)*-239. Let u = 161 + p. Is -76 equal to u?
False
Let s = -12970 - -13080. Which is smaller: s or 48?
48
Suppose s = -s + 26. Let i(b) = 125*b - 2863. Let z be i(23). Which is greater: s or z?
s
Let p(n) = -21*n**2 - 2*n + 4. Suppose 12*o = 9*o - 5*j - 4, 0 = 3*o - 4*j - 14. Let g be p(o). Is -85 not equal to g?
True
Suppose 5*y + 6*o - 26 = 3*o, 0 = -2*y - 2*o + 12. Let i be y/3*429/(-22). Let b be (-4)/(-2) - i/(-13). Which is smaller: b or 3/20?
b
Let b be (-5 - -1) + -7*(-32)/56. Let g be 1*(1 + 412/(-408)). Is b greater than or equal to g?
True
Let y = -2891 - -2877. Is y greater than -82?
True
Let f = -59074/429 + 1526/11. Which is smaller: f or 2?
f
Let r(c) = c**3 - 21*c**2 + 69*c - 1451. Let w be r(21). Which is greater: -195/56 or w?
w
Let u be 1/3*(-18)/14. Suppose -5*f + 20 = -5. Suppose -5 = -10*x + f. Which is smaller: x or u?
u
Let k be (-5)/180*4 + (-327)/(-27). Suppose i - 2*q = 3*i - k, 4*i - 3*q + 11 = 0. Which is smaller: i or 249?
i
Let k(j) = -272*j**3 + 4*j**2 + 3*j. Let f be k(-1). Suppose -78*o - f = -81*o. Which is smaller: o or 90?
90
Suppose 0 = -5*i + 4*c + 42 - 23, -c = 6. Which is bigger: i or 2/1211?
2/1211
Let o = 3089 + -3091. Do -496 and o have different values?
True
Let k(x) = -4*x - 197. Let h be k(-58). Is h >= -25?
True
Let u = -20 - -79/4. Let m = -2524 + 68144/27. Is m at least u?
True
Let t(g) = -g**3 + 13*g**2 + 16*g - 19. Let k be t(14). Let y be k/(-6 + 3) + 10. Suppose 0*v + y*v = -21. Which is smaller: -2 or v?
v
Let u = -81863/8 + 10226. Let q(f) = 3*f + 4. Let l be q(-4). Is u < l?
False
Let d = -3845 + 4521. Which is smaller: 680 or d?
d
Let l(t) = t**2 + 10*t - 15. Let h be l(-12). Let g be (1*-2)/((-9)/h). Suppose -6*w + g*w = 3*p + 17, -5*p = -4*w - 25. Which is smaller: 2/67 or p?
2/67
Let w(t) be the second derivative of -5*t**3/6 + 2*t**2 + 4*t - 2. Let k be w(1). Is 59 equal to k?
False
Let s be -14 - (-209)/(-44)*-3. Is s not equal to 488/5?
True
Let n = -7/90 + 5/18. Suppose -15*r + 17*r = 34. Suppose 4*a - 21 + r = 0. Which is smaller: n or a?
n
Suppose 0 = 19*n - 4 - 110. Suppose -o = -3*o - n*o. Which is bigger: o or 3/137?
3/137
Suppose 0 = 9*y - y - 128. Let l = -16 + y. Suppose 5*o = 4*f + 95, l = 6*o - o + f - 70. Is 12 < o?
True
Let b = -3163 + 3165. Which is smaller: b or 1/62?
1/62
Let q = 18/109 - -2672/981. Let s = 0.0757349 + -0.1757349. Which is bigger: s or q?
q
Let l = 41267/4080912 + -5/8646. Does -1 = l?
False
Let i = 6840 + -266782/39. Is -2 <= i?
True
Let s(c) = c**2 + 2*c - 1. Let n be s(-2). Let h(w) = -3*w**2 + w + 3. Let d be h(2). Let k be 6 + d - (-54)/52. Which is greater: n or k?
k
Let g be (-144)/(-60)*5*(-1)/2. Let m be 2 + g + 3/1. Which is greater: m or -8/71?
-8/71
Let d be (21/((-1890)/1602))/((-3)/405). Which is bigger: 0.1 or d?
d
Let n be (1/(4/(-16)))/(-4). Let g be (-6)/n + -12 - -1. Let h be -1 + (-40)/3 + -3. Which is smaller: g or h?
h
Let d = -211118 - -2111201/10. Let c be (-13)/(-4) + 1/(-4). Which is smaller: d or c?
d
Let p be -14 - (-7 - (-143377)/(-20488)). Which is smaller: p or -1?
-1
Suppose 11*n = -406 - 45. Let q = 43 + n. Suppose q*u + u = 99. Is u equal to 31?
False
Let n = 46542.02 - 47040. Let w = n - -498. Is 0.19 >= w?
True
Let z(f) = -283*f + 298. Let b be z(-4). Do 1432 and b have different values?
True
Let q(b) = 8 - 15*b + 1 - 5 - 2*b**2 + 20*b + b**2. Suppose -3*n = -n + 6. Let i be q(n). Is i > -20?
False
Suppose 10*o + 15012 = 19*o. Let d be o/(-9)*9/6. Is d equal to -278?
True
Suppose -5*u = -2*z + 51, 2*z + u - 82 = -25. Let g = z + -29. Let h = 27 - 29. Is h at most as big as g?
True
Let n = 1 - 3.7. Let c = n + -40.3. Let s = c - -43.1. Is s equal to -0.8?
False
Let m = -415065 + 15737604539/37916. Which is bigger: m or -1?
m
Let w = 5373 + -1982635/369. Let r(o) = 12*o**2 - 22*o + 67. Let a(i) = 19*i**2 - 33*i + 101. Let n(c) = 5*a(c) - 8*r(c). Let h be n(6). Is w <= h?
False
Suppose -4*r + 16 = -4*c, 3*c = 4*c + r - 4. Suppose -2*t + c*t = -14. Suppose 1 = t*v + 22. Is -1 less than v?
False
Suppose 4*j - 498 = 2*w, j + 19 - 157 = -4*w. Let f = 12932 + -12931.7. Are j and f non-equal?
True
Let f = 199172/35 + -5691. Let y = -38/7 + f. Which is greater: y or -5?
-5
Let d be 2116/3165 - (5 + (-65)/15). Let r = d - -647/215220. Do -1 and r have different values?
True
Let z = 20988195/2474 - 16967/2. Is -1 != z?
True
Let i = -0.02954 - 0.07046. Is i <= 555?
True
Let i(s) = -4*s**2 + 2*s - 2. Let o be i(-3). Let y be 74/(6/(-51) + 576/918*-3). Is y at least as big as o?
True
Let i be (0/4)/(-4)*1. Suppose -2*n - n = 3*u + 81, i = 4*u - n + 128. Let q = u - -213/7. Which is greater: -1 or q?
q
Let t = 568.79 - 3.79. Let q = t - 570. Which is smaller: q or -77?
-77
Let z = 252 - 138. Let t = -113.7 + z. Are t and 0.1 non-equal?
True
Let c = -153 - -158. Suppose -o = c*n - 4*o - 1297, -2*o - 8 = 0. Is 258 less than or equal to n?
False
Let f be 3*(4 - 66/18). Let n be (-6*1)/(2943/346284). Let a = -706 - n. Do f and a have different values?
True
Let p(x) = 2*x**2 - 12*x - 1. Let k be p(9). Suppose 854 = 78*o - 3514. Is o bigger than k?
True
Let n be (21/(-9))/((-13)/1404). Suppose 36*i - n = 32*i. Let z be (-2)/(-6) + (-188)/(-3). Is i > z?
False
Let r(b) = -b**2 - 16*b. Let y be r(-16). Let v(u) = 3*u**2 - 2*u - 2. Let i be v(y). Does -5/7 = i?
False
Let f = 14409 + -14424. Which is bigger: 176 or f?
176
Let d be (24/28)/((-1)/(-7)). Suppose 3*k = -d, -2*o + k - 6 = 4*k. Suppose 3*z = -3*p - 1 - 2, 5*z - p - 1 = o. Is -2/11 <= z?
True
Let c(l) = 25*l**2 - 8*l + 1. Let h be c(2). Let m = h + -84. Is -2/733 less than m?
True
Let q(z) = -2*z**2 + 25*z - 18. Suppose 5*s = b - 0*b + 