3731. Let x be z(0). Let i = -182825/49 - x. Which is smaller: o or i?
i
Let h = -166 - -270. Let m = -107 + h. Is m less than or equal to -2?
True
Suppose 3*r + 7*y - 2*y + 2380 = 0, 3176 = -4*r - 4*y. Let n be r/1428 - (-8)/14. Let w be (-1 - -3) + -1*1. Which is smaller: n or w?
n
Let y(i) = -46*i**2 - 142*i - 781. Let m be y(-14). Which is smaller: 2 or m?
m
Let p = -74059/5504912 + -2/14959. Is p bigger than 1?
False
Let f be ((-28)/(-16) - (-39)/(-52)) + (-8319)/8283. Is -1 greater than or equal to f?
False
Let n = -125 - -130. Suppose -195 = n*g - 8*g. Suppose 0 = 2*f - 3*p + g + 76, 2*p - 140 = 2*f. Is f less than -69?
False
Let t be (-2)/(-3)*6/10. Suppose 5*v - 3*m = -691, -m = -4*m - 9. Let q be 7/(35/12)*v/(-84). Which is greater: t or q?
q
Let p(j) = -983*j**2 + 258*j - 81. Let b be p(5). Is -23367 greater than or equal to b?
False
Let w = -10578 + 2020410/191. Which is greater: 0 or w?
w
Let h = -32 - -19. Let m = h - 10. Let b = 181146 + -181167. Are m and b nonequal?
True
Let q be 0 - -6*(-1)/(-2). Let d(o) = o**2 + 3*o**3 - 5*o**3 + o - 3*o + 1 + 3*o**q. Let i be d(1). Which is bigger: i or -1/4?
i
Let d = 4157 - 4180. Does d = -99?
False
Let i = 1.63553 + -3.63553. Let u(w) = 7*w**3 + 2*w**2 + 3*w - 1. Let m be u(4). Let t = 12273/25 - m. Is t < i?
False
Let l = -20 + 20.1. Let u = -1141.16 - -1141. Which is smaller: u or l?
u
Suppose -48*v - 306 = -51*v. Let s be 2 - (v/(-42) + 2). Is s equal to 2?
False
Suppose -29*h + 764 + 216 = 6*h. Is 0.03 <= h?
True
Let q be 250 - 17/((-85)/10). Let k = 21 + -20. Let b be ((-1)/6)/(k/(16/q)). Which is smaller: b or 1?
b
Let b be 2/(-3) - 98/(-129). Let o be ((9 - 1) + -8)/(-3). Is b greater than or equal to o?
True
Suppose 0 = -102*f + 113*f - 1903. Which is smaller: f or 174?
f
Let x = 83 + -113. Let a be -1*(4 - (-122)/x). Is a less than or equal to 1?
True
Suppose 4*s = -4*b + 6*s + 658, 4*s = -5*b + 790. Suppose 4*k - 140 = 2*y, k = -4*k - 4*y + b. Are k and 33 equal?
False
Suppose -5*w + 35576 = 35616. Let h be 4/(-42)*(-198)/(-2). Is h less than w?
True
Let f be 255/(-17) + 10 - (3 + 7/(-1)). Is f greater than or equal to 1/91?
False
Let f(c) = -c**3 + 11*c**2 - 109*c - 4. Let l be f(16). Is -3029 greater than or equal to l?
False
Suppose 0 = -4*z + 4*i - 8, -17*z + 22*z = -2*i - 10. Let l(g) = -6*g - 4 + 4 - 12. Let m be l(z). Which is smaller: 4/13 or m?
m
Let v be 2*8 + (-98)/(-441). Which is smaller: 15 or v?
15
Let j be (336/224)/(3 - (5061/2526 + 1)). Which is bigger: j or -404?
-404
Suppose -3*f + 0*w = 11*w - 4436, -4*f - 5*w + 5876 = 0. Do f and 1461 have different values?
True
Let z be 5 - (532/152 + 1262/4). Which is smaller: -310 or z?
z
Let f be 17 + (2064/(-84) - -7). Is f smaller than -127?
False
Let g = -865 - -862. Which is smaller: g or -24?
-24
Let y(n) = n**2 - 6*n - 11. Let l(s) = -3*s - 27. Let k be l(-9). Let w be y(k). Is w less than or equal to -2?
True
Let b = -115 + 146. Let n(k) = k**3 - 31*k**2 - 3*k - 43. Let v be n(b). Is -136 < v?
False
Suppose -h - 18 = -4*h. Suppose 67*a = 65*a + h. Let r be a/(-12) + (-35)/20 + 2. Which is greater: -1/4 or r?
r
Suppose 5*j = 10*j - 10. Suppose -3*c + 12 = 3*h - 0, 3*h = 2*c + j. Suppose -2 = c*m, 0*q + 2*q + 33 = 3*m. Which is greater: -17 or q?
-17
Let v = -4885 + 5459. Which is smaller: 576 or v?
v
Let g = 0.3 + -0.5. Let u = 3/4 + -157/4. Let o = u + 40. Is g bigger than o?
False
Let y = -375083 - -2614357/7. Let u = y + 1604. Let h(f) = -f**3 - 2*f**2 + 4*f + 4. Let x be h(-3). Which is bigger: x or u?
x
Let c be (-768)/(-48)*(434/(-8))/7*2. Is c greater than or equal to 1?
False
Suppose 5*p - 7*b - 5141 = -3*b, 0 = -3*b + 3. Suppose 12*i - 8*i = v + 1355, 3*i = 5*v + p. Is 338 at most i?
True
Suppose -19 - 6 = -5*b. Suppose -2*t + 111 = b*u - 0*t, u - 4*t - 9 = 0. Let j be (6/20)/(u/6 - 2). Which is smaller: -2/3 or j?
-2/3
Let n be (((-84)/(-8))/(-7))/((-54)/(-18)). Let g = 1.07 + 51.93. Is n >= g?
False
Suppose -3*r = -3*b - 12, 5*b + r - 8 + 4 = 0. Suppose 3*l + 9 = b, -3*n - 2*l = 10 + 2. Let x be ((8 - 3) + n)*-3. Which is bigger: x or -7?
-7
Let w = 2997 - 11842. Which is bigger: 0.1 or w?
0.1
Let c be (3/(-12) - -1)*(-41)/(738/(-24)). Which is smaller: c or 22/13?
c
Let y be (-1)/(-4060)*-3*(-9060)/755. Is 0 greater than y?
False
Let i(r) = 4*r**2 + 153*r + 9. Let m be i(-36). Do m and -1257/4 have the same value?
False
Let t = -27038/19 - -1423. Let d = -3 + 2. Is t greater than d?
True
Suppose -50 = -2*x + 5*m, 0 = -x + 37*m - 35*m + 23. Is x not equal to 1159?
True
Let h(w) = -20*w - 61. Let g(d) = 11*d**3 + 4*d**2 - d - 2. Let q be g(-1). Let x be h(q). Which is bigger: x or 100?
100
Let r(y) be the first derivative of y**2/2 + 2. Let c be r(-2). Let f(v) = 1501*v + 46529. Let b be f(-31). Is b greater than or equal to c?
True
Let a be ((-15)/(-8) - 2)/(28/(-224)). Is a equal to -2/8233?
False
Let y = -70 - -204. Suppose 0 = 2181*s - 2189*s - 1160. Let m = s + y. Which is greater: -9 or m?
-9
Let y = -300 - -183. Let g = 341/3 + y. Is g at most as big as -2?
True
Let u = -4744/13 + 636463/1742. Which is bigger: u or 0?
u
Let x = 2.59 - 482.59. Let y = x + 285. Do y and 3 have different values?
True
Let c = -1762 + 1754. Let g = -20 + 13. Are g and c unequal?
True
Let p(d) = d. Let f(q) = -16*q + 38. Let z(b) = -f(b) - 8*p(b). Let k be z(4). Let s be (-19)/4 + 1/(-4). Is s not equal to k?
True
Let k = 123 + -132.8. Let f = 54.8 + k. Is 0 >= f?
False
Let b = -102068.15996 + 937.24296. Let j = b + 101178. Let o = 0.083 - j. Which is smaller: o or 0.1?
o
Let l be ((-34160)/183)/(2/(-9)). Is l smaller than 840?
False
Let k = -156.681 + 120.8657. Let i = -0.4447 + k. Let b = 0.74 - i. Which is bigger: b or 1/4?
b
Let a = 3388 + -3387. Which is smaller: a or -4/33?
-4/33
Suppose -8*v + 16 = 6 + 18. Which is smaller: 18/139 or v?
v
Let z be (-1)/(-2 + 4 + -3). Let a be (-20)/(-160)*(3 + 7) + 98/(-104). Is z at least a?
True
Let g be (-112 - 6)/2*(-4)/(-22). Let p = -2231/209 - g. Let d be 1*(-2 + 3)*1. Which is greater: d or p?
d
Let o = 129 - 139. Let x = o - -14. Is -10 < x?
True
Let t = -10/197 + 8666/217291. Which is smaller: -1 or t?
-1
Let d be (-7 - 936/(-27))*3. Is -1/22 smaller than d?
True
Let p = 2174 + -2173.568. Which is greater: -3/5 or p?
p
Let y = -156 - -156.93. Let h = y - 0.8. Let p = -29.87 + 27.87. Which is greater: p or h?
h
Let n = -1557621 - -366039813/235. Let l = 6/235 - n. Let m = -299 - -305. Which is greater: m or l?
m
Suppose 4*a - 2*b = 0, -8*b + 9*b + 28 = -5*a. Which is smaller: 394 or a?
a
Let l = 887.846 + -892. Let q = -0.054 - l. Let t = -4.16 + q. Which is bigger: -4 or t?
t
Let l = 5185123/825 + -6285. Which is smaller: l or -1?
-1
Let u(a) be the first derivative of -a**2/2 + 4*a + 19. Let c be u(3). Let l be (1/(-4)*0)/c. Is -1/2 greater than l?
False
Let i be (159/(-36) - -1) + 3. Let o be (-25)/300*0/(-5). Which is bigger: i or o?
o
Let s(r) = 198*r + 1515. Let l be s(-10). Is l greater than -456?
False
Let o = 16858 + -16756. Does o = 18?
False
Suppose 2*l = 14 - 6. Suppose l*m = 3*j + 132, 3*j - 6*m + 5*m = -123. Suppose -i + 5*i + 144 = -3*u, -4*i - 2*u - 148 = 0. Is j at least as big as i?
False
Let w be 784/126 + (-12)/54. Let y be -5 - ((-39)/w - 3) - 6. Let a(j) = j + 5. Let i be a(-6). Which is smaller: y or i?
y
Let c = 4.64 + -31.34. Let b = c - -26.6. Is b greater than -3.7?
True
Suppose -13 = 2*o - 515. Let f = o - 241. Let w = 0 + 11. Are w and f unequal?
True
Suppose -2*j - 4*w + 3 = -25, 0 = -5*j - 4*w + 58. Suppose -50 = 3*r + j. Let b be 5/(r/(-8)) + 16. Which is smaller: b or 17?
17
Let v = -31 - -34. Suppose 0 = 6*q + 3 + v. Let d be (15/(-20) + 1)*q. Which is bigger: d or -0.2?
-0.2
Let h be (-2)/8 + (-4)/12. Let c(d) = -d**3 + 6*d**2 - 8*d + 107. Let f be c(7). Suppose 0 = -2*k + 2*r - 12 - f, r - 1 = -2*k. Which is smaller: h or k?
k
Let m = -13370 - -13385. Which is smaller: 100 or m?
m
Let j(r) = -28*r**2 + 0*r - r + 2 + 2*r + 27*r**2. Let g be j(-1). Is -6/59 smaller than g?
True
Let k be (-1 + 3 - 2) + 21. Let q be (-21)/6*24/42. Let z be ((-7)/3 - q) + (-448)/(-21). Is z < k?
False
Let y be 38/14 - 4/(-14). Suppose -y*l - 63 = 5*c, -l + 9 + 10 = -c. Suppose -2*v + 2 = 0, -5*m - 3*v = 40 + 17. Which is smaller: c or m?
c
Suppose 4*