j) = -j**3 - 6*j**2 - 2*j. Let f be g(-6). Are k and f non-equal?
True
Let t be ((-264)/(-28) - -3) + 3/(-7). Let p be ((-66)/(-8))/(-11)*t. Is p >= -5?
False
Let m(x) = x**2 + 5*x + 4. Let f be m(-5). Suppose -5*g = -2*u - 82, 0*u + 104 = -f*u - 5*g. Let n = u - -32. Which is greater: -3/8 or n?
n
Let v = 217 - 214. Suppose -4*d - 4*c - 12 = 0, 5*c = v*d - 16 + 1. Is d != 5.1?
True
Let y be (-9 - ((-455)/(-2) - 8))/((-1)/(-10)). Which is smaller: y or -2284?
y
Let d be ((-272655)/(-876))/((-5)/(-6)). Is d < 373?
False
Let y(q) = 20*q + 254. Let x be y(-25). Let c = 244 + x. Is 14 at least c?
True
Suppose -21 = -5*b + 3*h, 11*h - 12*h = 2*b - 4. Suppose 0*d - 3*d = b, 3*d + 53 = 5*j. Suppose -8*p + 2 = -j*p. Is -1/30 >= p?
True
Let x = 0.8438 + -80.9288. Let o = 80 + x. Let w = o + 2.085. Is 2/25 smaller than w?
True
Suppose -h - 4*z + 6888 = -9747, -5*z = 6*h - 99696. Which is smaller: 16612 or h?
h
Let x = -2460/31 + 10896/217. Let u = x - -8350/287. Let d = u + 47/123. Are d and 2/7 unequal?
True
Let d = -24958 + 25095. Which is greater: -98 or d?
d
Let j = -4690847 + 155456. Let b = j + 231297035/51. Let u = -155 - b. Is u less than or equal to 0?
False
Let r(t) = 2*t**2 + 9*t + 2. Let n be r(-6). Suppose -9*a - 216 = -0*a. Let y be a/(-32) - 138/(-8). Which is bigger: n or y?
n
Suppose -2*f + 260 = 3*f. Suppose -65*k - 213844 = -217224. Are k and f non-equal?
False
Let y(l) = -52*l - 788. Let w be y(18). Which is smaller: -1725 or w?
-1725
Let f = 51.48 + -1.28. Let t = 14.8 + f. Let n = -2255971/4 + 563993. Is n at least t?
False
Suppose -2*v + 4*v - 10 = 0. Let s = -844/4815 - -14/107. Which is smaller: s or v?
s
Suppose -126*k - 3*u = -123*k + 642, 5*u - 1090 = 5*k. Do k and -32 have the same value?
False
Let f = 4327 + -4166. Is f equal to -11?
False
Let j = -19/116 + 327/580. Let x = 106.917 + -107. Is j >= x?
True
Let w = 28415 + -16295. Which is smaller: 12121 or w?
w
Let n be 6/9 + (-2130)/3357. Let j = 82/25737 - n. Let k be ((-2)/2)/(-2 + 3 - 0). Which is smaller: k or j?
k
Let g = -747.2 + 748. Let w = 2.7 - 2.5. Which is greater: w or g?
g
Let q be (-2)/((-516)/14)*(-39 + 13)/(-182). Which is greater: q or 34?
34
Let y(z) = 2*z**3 + 8*z**2 + 2*z + 8. Let m be y(-4). Suppose -8 + m = -4*n. Let o be n - (-111)/(-15) - 22/(-55). Which is smaller: o or -1?
o
Let y = -3074 + 3073. Let l be 2600/(-5136) - 1/(-2). Which is greater: y or l?
l
Let c = -2.75 + -0.25. Let z = c + 3.1. Let f = -130 - -153. Is f >= z?
True
Suppose 0 = 4*b - 5*s - 19, 3*b - 5 = s + 12. Suppose -3*t + 3 = 0, -t = 4*m - b*t + 109. Let w = 37 + m. Which is bigger: w or 12?
12
Suppose 9*n - 14 - 157 = 0. Let d be -2 - 20/(-16)*-2*-10. Let p = d + -4. Is n smaller than p?
False
Suppose -5*g - 32 = 9*o, -3*g - 9 = -13*o + 15*o. Let f = -5 + 9. Suppose -n = f - 2. Are o and n equal?
False
Let w = 76 - 74. Suppose 2*s - 20 = -0*z + w*z, 4*z - 16 = 0. Suppose 22 = -4*h + 5*x, -3*x = 2*h - 4*x + s. Which is smaller: h or -9?
-9
Suppose 0 = -16*x - 32531 + 26691. Is x smaller than -362?
True
Let n = 305 - 770. Is n bigger than -466?
True
Suppose -4 = 4*s + 2*p, -3*s = -6*s + 5*p + 10. Suppose s = -3*t - b + 61 + 7, 2 = -2*b. Let w = -49/2 + t. Is -3/10 bigger than w?
True
Let v = 6.51 - 0.71. Let f = v - 5. Let t = -2.8 + f. Is t at least 2?
False
Let v be -15 - 1 - (-8)/4. Let u be (-1)/((7/(-21))/(2/6)). Let j be ((-6)/15 + u)/((-24)/540). Which is greater: v or j?
j
Let f be 60/90 + 5035/21 + 2. Let p = -242 + f. Which is greater: p or -32?
p
Suppose -3*o + 221 = 4*l, -2*o + 3 = 5. Let y = 0 + l. Suppose -y = 3*s - u, -5*s = -2*s + 5*u + 62. Do s and -19 have the same value?
True
Let f = 3006 - 4047. Is 1/2 > f?
True
Let g = 284.7 - 389.7. Is -4 greater than g?
True
Let c = 16.5191 + -16.56. Which is greater: c or 0.1?
0.1
Let r be (35 - (-47 - -86))*1/(-4). Is r > -2/108121?
True
Let m = 124 + -128. Let r be (5 - 5)*2/m. Let o be 2/12*(-3)/14. Is o at most r?
True
Let c = 30296 - 51277. Is -20982 >= c?
False
Let j = -0.0916 - -0.0546. Is j not equal to 0.06?
True
Suppose -21 = -z + 5*a - 2, -5*a = 20. Let l(v) = 22*v**3 - v**2 + 9*v + 9. Let j be l(z). Is 10 smaller than j?
False
Let p be (2 - (-3756)/(-1830))/((-126)/(-27)). Is p > -1?
True
Let n be (-22)/(-4) - ((-225)/(-10))/15. Let i be -4 - ((-21)/n + 7/28). Is i less than -5/24?
False
Let n = -5091 - -7555041/1484. Are 1 and n equal?
False
Let c = -333 - -489. Let j be 2 - (-5)/(-4)*c/90. Which is smaller: 2/39 or j?
j
Let m = 137 - 53. Let r be 4 + (1855/m)/(-5). Which is bigger: r or -1?
r
Let g = -163565/117 - -1398. Let w = -1612 - -1612. Which is greater: w or g?
g
Let w = 78572/33 - 2381. Let k be (4/10)/((-10)/(-25)). Which is greater: w or k?
k
Let a = -890/51 + 19513/408. Suppose -2*l = -57 - 5. Is l equal to a?
False
Let r(q) = 3*q - 3. Let o be r(6). Let j(g) = -g**2 + 21*g - 73. Let h be j(5). Suppose h*y - 2 = 110. Do y and o have different values?
True
Suppose 4 = -4*y - 12. Let a(r) = r**2 - 2*r - 22. Let g be a(y). Let v(t) = -2*t - 12. Let f be v(-8). Which is smaller: f or g?
g
Suppose 0 = -3*f + 3*i - 81, 2*f + i - 1 + 34 = 0. Which is smaller: -54 or f?
-54
Let s be (3 + -3)/(3 - 6)*-1. Is -3/1052 >= s?
False
Let l = 608 + -854. Let h(z) = 13*z + 28. Let d be h(-21). Which is smaller: d or l?
l
Suppose 2*a - 5*d - 171 = 0, a = 2*a + 3*d - 69. Suppose 87*m - a*m - 765 = 0. Which is smaller: m or 84?
84
Suppose -23 = 2*g - 27. Let v be 2 + g + 16/1. Is v smaller than 0.4?
False
Let u = -0.3298 + 48.3298. Which is greater: u or -21?
u
Let c(j) = 3*j**2 + 2. Let d be c(-4). Let s(k) = 228*k + 27. Let o be s(1). Suppose -23*f + o = -18*f. Is d <= f?
True
Let u be ((40/(-10))/(1 - -3))/(-1). Which is bigger: u or -1/1265?
u
Let p be 48/(-4)*(155/(-15) + 10). Let h = 11 + -25. Let j = -8 - h. Which is smaller: j or p?
p
Suppose 0 = -n + 3*h + 18, -5*n + 46 = -3*n + 4*h. Let k = n - 25. Let x be (-10)/40 + (-149)/k. Which is smaller: 38 or x?
x
Suppose 4*m - 5*d + 247 = 0, -242*d + 355 = -5*m - 245*d. Is m greater than or equal to -409/6?
True
Suppose 0 = -9*u - 0*u + 108. Suppose -4*h = -j - 11 + 5, 2*h = 5*j + u. Let v = -1.519 - -1.5. Which is greater: v or h?
h
Let d be 1209069/6*1*2/(-4776). Let y = d + 675/8. Is -1 <= y?
True
Let i be ((-8)/(-399))/(6/(-9)). Let p be (-52)/56 + 946/(-308) + 3. Is p less than i?
True
Let o be (-7)/1 - -12 - -14. Suppose -2*v - f = -7*v - o, 2*v + 2*f = -10. Which is smaller: -28/9 or v?
v
Let o = 2989/9 + -329. Let m = o - -2/9. Which is smaller: 2 or m?
2
Let b = 58238 - 58217. Let t(z) = z**2 - 2*z + 2. Let m be t(6). Which is bigger: b or m?
m
Let a = 3.77 - -61.23. Let w = a - 65.8. Which is smaller: w or 11?
w
Let b(p) = -p**2 - 20*p - 17. Let q be b(-19). Let w be (-1)/q*(-14)/(-20). Which is greater: 1 or w?
1
Let t = -3255768 - -7839887535/2408. Let i = -30/43 - t. Which is greater: 0 or i?
i
Let w = -4 + 6. Let o = -23494 + 23497. Which is smaller: w or o?
w
Let l = -20071 + 11800. Is -8271 != l?
False
Let m be -3*16/24 + 29. Let s be (-242)/(-8) + m/(-108). Which is smaller: s or 31?
s
Let v = -34 - 2. Let k = v + 38. Let j be k - 2/(-10)*20/16. Do j and 1 have the same value?
False
Let b(a) = 4*a**3 - 3*a**2 + 12*a + 2. Let x be b(4). Let w = 1547/6 - x. Is w smaller than -0.4?
False
Let k(q) = 15*q + 344. Let g be k(-23). Which is greater: -20/347 or g?
-20/347
Let u be ((-15774)/(-591322))/(-1 - -2). Let t = -13/1091 + u. Which is greater: t or 0?
t
Let x be 123590/(-70) - (21 + -32). Do -1754 and x have the same value?
False
Let p(l) = 2*l**3 - 58*l**2 - 2*l + 65. Let s be p(29). Which is bigger: s or 189/26?
189/26
Let l be (4/(-6))/(-7 + 207/27). Let n be 7 + -1*3 + 1. Let i be n/(-10)*(l + 0)*-2. Which is smaller: i or 1?
i
Let m be (-2278)/(-5)*(-21)/2. Let t = m + 4756. Let o = t + 28. Is o <= -1.2?
False
Let f = 3136 + -3085. Which is smaller: f or -10?
-10
Let g = -2.298 + 1.998. Does -15/13 = g?
False
Let b = -0.0371 + -3.6329. Let o = b + 3.584. Which is bigger: 0.1 or o?
0.1
Let z be 660402/3420 + 2/(-20). Is z at most 182?
False
Let z = -12.213 - -9.213. Let y = -5577/5 + 1119. Is z bigger than y?
False
Let z(r) = -r**3 - 5*r**2 - r + 3. Let v be z(-5). Let g(x) = -x - 17. Let k be g(-18). Suppose t - 5 = 5*y - y, -y = -k. Are v