266*(-2 - -1). Are 216 and f equal?
False
Let u(r) = -r**3 - 8*r**2 - 16*r + 3. Let o = 85 - 90. Let j be u(o). Which is smaller: j or 33/4?
j
Let o be (4 - 6)*((-850)/(-1392))/(-5). Let x = 1/174 + o. Let l(z) = -3*z**2 + 5*z - 4. Let r be l(3). Is x less than or equal to r?
False
Let w be (5236/(-2590) - 14) + 16. Let g = -9 + 10. Are w and g nonequal?
True
Suppose 4*o = a - 1202136, o + 4*a + 300525 = 2*a. Let c = -5111425/17 - o. Let g = 139 + c. Is 1 at least g?
True
Let x(f) = f**3 - 4*f**2 - 17. Let l be x(5). Which is bigger: l or 256/27?
256/27
Let d(t) = 6*t**2 + 63*t + 29. Let n be d(-9). Are -44 and n equal?
False
Suppose 188 = 4*c + 4*s, -4*s - 512 = -3*c - 315. Let x = 38111/687 - -44/229. Which is smaller: c or x?
c
Let t(f) = -f**2 - 417*f - 2867. Let d be t(-7). Let u(l) = 3*l**2 - 2 - l**3 + 2 + 2*l. Let k be u(d). Is 29/6 > k?
False
Let s(z) = -z**2 + 3*z - 5*z + 3 + 0*z + 5. Let a be s(-6). Let c = -13 - a. Which is greater: 1 or c?
c
Suppose 128*t = 130*t - 3550. Suppose t = 8*m - 1089. Are 360 and m equal?
False
Let i(g) = 3*g**2 + 21*g - 19. Let s be 15/(-1*3) + 32/(-16). Let c be i(s). Suppose -14 = 5*q + 91. Is c not equal to q?
True
Suppose 0 = 2*w + 3*r + 2, -17*w + 12 = -13*w + 2*r. Let q be (-24 - -2) + (6 + -5 - w). Let c(n) = -n**2 - 2*n + 8. Let s be c(-7). Which is bigger: q or s?
q
Suppose -3*g = -199 + 70. Suppose -41*j - 6 = -g*j. Which is greater: j or 9?
9
Let g be (1/(4/(-28)))/(3/(-18)). Suppose 2*x - 16*x = -g. Suppose 0 = -w - 2*w + x. Are w and 1/15 non-equal?
True
Let o = -4628.8 + 4629. Is o less than or equal to 0.4709?
True
Let j = -1646.6414 - -0.6414. Which is greater: -4 or j?
-4
Suppose 4*k - 11 = z + 3*k, -4*z + 5*k = 43. Let a be 150/5*z/(-5). Let o(l) = -l**2 - 121*l - 936. Let d be o(-9). Is d at least a?
True
Let y(f) be the second derivative of -3*f**5/20 - f**4/12 + f**3/3 + 3*f**2 + 62*f. Let h be y(-2). Which is smaller: -2 or h?
-2
Suppose -5*b = -6*b + 3. Suppose 0 = m - 5*m - 3*f - 28, -m + 8 = -b*f. Let c be (3 - (1 - m))/(-7). Which is smaller: c or 1?
c
Let i = -34 + 54. Let x = -10 + 33. Let t = i - x. Which is smaller: 0.1 or t?
t
Let q = -11/18 - -1/90. Let c = 6.91 + -7. Which is bigger: q or c?
c
Let q = 53 + -25. Let f = 1265 + -1291. Let o = q + f. Which is bigger: 0.02 or o?
o
Let b be 2 + -3 + 4 - 8041/2695. Is b smaller than -1?
False
Let z = 16401 + -24242. Which is bigger: z or -7842?
z
Suppose 11*t = -16 - 17. Let h be (86/t)/((-24)/(-5)). Let i = h - -6. Which is bigger: 0 or i?
i
Let b be (24/(-24))/(2/2264). Which is smaller: b or -1134?
-1134
Suppose 0 = -2*w + 38 - 34. Suppose 0 = -w*l - 261 + 257. Is 10 at most l?
False
Suppose -725*p = -754*p - 88044. Which is greater: p or -3037?
p
Let d be -15 + (252/(-2))/14. Which is bigger: d or 0.062?
0.062
Let c(g) = 42*g + 156. Let h be c(-4). Let b be (3 + (-148)/h)/(2/(-6)). Suppose 6*s = 4*n + 2*s + 200, 5*s = 3*n + 160. Is n equal to b?
False
Suppose 5*f = -10, 0 = 5*i - 74*f + 77*f + 4611. Is i at least -3?
False
Suppose 2*l = -14*v + 16*v + 9924, -3*l + 14898 = -v. Is 4969 <= l?
False
Suppose 3*k + 0*k = 63. Let z = -46764 + 46754. Is k greater than z?
True
Let d = 2 + -0.5. Let z = d - -2.5. Let t = 113 + -111. Which is smaller: t or z?
t
Let m(c) = 22*c - 1 - 3*c**2 + 3*c**2 + 3*c**2. Let i = 7356 - 7363. Let o be m(i). Is o greater than or equal to -46/7?
False
Let n(j) = -7*j**3 + 2*j**3 + 6*j**3 + 2*j + 27*j**2 - 13*j - 27. Let z be n(-27). Which is smaller: 271 or z?
z
Suppose 44*b + 1 = -5*a + 46*b, 2*a = -4*b - 10. Which is smaller: 104/257 or a?
a
Let o = 13.79 - 49.79. Which is greater: o or -0.06?
-0.06
Let w = -14736 + 15675. Which is smaller: w or 938?
938
Let w(q) = -2*q**3 - 149*q**2 + 72*q + 6. Let h be w(-75). Which is smaller: h or 207?
207
Let w(h) = -54*h - 2. Let i be w(3). Let l = 1959 + -2124. Is l greater than or equal to i?
False
Suppose -17*j = 4*r - 22*j - 125, 5*r - j = 172. Which is greater: r or -14?
r
Let s = 0.0998 + -0.0528. Let g = s - 173.047. Do -1 and g have the same value?
False
Let i = 32 - 32. Let v be -3*(-1)/6*-1*-3484. Let w = -381499/219 + v. Is i >= w?
True
Let g(q) = -8*q**2 + 39*q + 51. Let a(x) = 2*x**2 - 10*x - 13. Let w(i) = -9*a(i) - 2*g(i). Let t be w(-3). Suppose 26 = -n - 13. Is n smaller than t?
False
Let g = -8471 - -8471.142. Does g = 92?
False
Let r(s) = -3*s + 74. Let b be r(17). Let f(d) = -4 + 6*d + 2*d - 4*d. Let a be f(7). Which is smaller: b or a?
b
Suppose 0*y + 5*y = 4*v - 21, -y = 3*v - 11. Let z = -42644/61 + 699. Which is greater: z or y?
z
Let j = -318/47 - 6469/329. Which is smaller: j or -26?
j
Let n be ((-7)/(4 + 3))/(-1) + 2. Let g(m) = m**2 - m - 2. Let b be g(-3). Suppose 2*x - x - b = -5*c, x = 0. Which is smaller: n or c?
c
Let o = 122 - 181. Let i = -61 - o. Suppose -l - 3*y - 105 = 4*l, -3*l = 2*y + 64. Is l bigger than i?
False
Suppose 0 = -9*v - 6*v + 6*v. Let i be (229/(-630)*-3)/(3/(-3)). Let q = 15/14 + i. Is q <= v?
True
Let i(x) = -2*x**2 - 25*x - 10. Let w be i(-12). Suppose w*y - o + 0*o = 0, -y = 5*o. Are 3/26 and y non-equal?
True
Suppose -17*s + 18*s + 5*p = -249, -s - 244 = 4*p. Which is bigger: -202 or s?
-202
Let f = -4952 - -4980. Let j = -0.15 + -1.85. Are j and f non-equal?
True
Suppose 2*g = -10*z + 5*z - 1635, -g - 816 = 3*z. Let t be 128/g + (-7)/((-308)/8). Let y = -129 + 128. Is t < y?
False
Let l = -2198.8 - -1886. Let o = 237 + l. Let d = o + 76. Which is bigger: 9/2 or d?
9/2
Let z = -11779/96 - -368/3. Let b(s) = 3*s + 35. Let o be b(-12). Is z bigger than o?
True
Let a = 6090 - 3010. Is a at most 3080?
True
Suppose -8*o + 12*o + 11*o + 7*o = 0. Let w = 2968/55407 - 10/219. Is w < o?
False
Let y = -1652 + 1507. Is y less than -0.4?
True
Let p = 10449 - 10452. Which is bigger: p or -191/56?
p
Suppose 39*x - 35*x = -4*o + 116, -3*x + 5*o + 111 = 0. Is x <= 29?
False
Let a = 70 - 30. Let t be (1/(-2))/(7/(-434)). Let j = t - -10. Which is bigger: j or a?
j
Suppose 48*h - 52*h - 140 = 0. Let a(c) = -2*c - 16. Let r be a(-9). Let w be (4/5)/(7/h*r). Which is greater: -6 or w?
w
Suppose 3*b + 298 = -f - 3, -b = 2*f + 92. Which is bigger: -1136/11 or b?
b
Let l = -12/2243 + -66726/105421. Let z(w) = -2*w**3 - 72*w**2 - 67*w + 105. Let s be z(-35). Which is smaller: l or s?
l
Suppose 5*b - 7 = -k, -5*k + 62*b - 49 = 59*b. Let l be (k/(-104))/((-6)/30). Is l less than -2/5?
False
Let j = 2289 - 139632/61. Let p be (-2)/7 + (-2)/(-7). Is p less than j?
False
Let z = 77304 - 77353. Suppose 0 = 2*c - 2*n + 98, -3*c + n - 193 = c. Which is smaller: c or z?
z
Let p = -17 - -32. Suppose -31*b = -3*d - 28*b + 36, 69 = 5*d + 4*b. Is d less than or equal to p?
True
Let r(w) = -w**2 + 64. Let k be r(-44). Which is smaller: -1873 or k?
-1873
Let t = 5131 + -5134. Which is greater: t or 245?
245
Suppose -7*b - 940 = 1580. Let m = b + 2165/6. Let r = -59/42 + m. Is r at least -7?
True
Let k = 16 + -14. Suppose 2*l + 2*n = -k*l + 2, 0 = -4*l - 4*n + 12. Let q be (l/4)/((-7)/(-98)). Which is smaller: q or -6?
q
Let y(l) = 29*l**2 + 26*l - 69. Let u be y(3). Let w be 330/u + (-4)/18. Is w <= -2/469?
False
Let a be (-5)/((-26000)/103580) + -20. Is 1 greater than a?
True
Let k = 0.452 + -0.55. Let s = k + -0.002. Let v = 51 + -82. Is v less than or equal to s?
True
Suppose t - 4*g + 28 = 0, -12*g = -3*t - 16*g + 28. Do t and 48/115 have different values?
True
Suppose 852 = -2*d + 3*f, -6*f = -5*f + 2. Let c = d + 18019/42. Is c smaller than 0?
False
Suppose -2*y - 24 = -2*w - 3*w, 0 = y + 5*w + 12. Let o = -16 - y. Let c be (o - -2)*4/8 - -11. Which is bigger: c or 11?
11
Let r be 0/(-50)*(2 + -1). Which is bigger: r or -2/63321?
r
Suppose -63*a + 8 = -64*a. Let q be 3 - -1 - (a + 6). Suppose -2*g = q*g + g. Is 0 less than or equal to g?
True
Let b(r) = -r**2 - 5*r + 1. Let z be b(-5). Let i be 1 + 0/2 + (15708/(-534))/22. Which is bigger: z or i?
z
Let y(g) = g + 14. Let u be y(-10). Let f = 19 + -16. Suppose t = u*t - f. Which is smaller: t or -1/31?
-1/31
Let i be (-33)/77 + 52/7. Suppose i*q + 1 = 22. Suppose 4*n - 28 = -3*t + 44, -q*t = 0. Is 17 < n?
True
Let s be (0 - 2) + 8 + 44 + -1142. Let o be s/195 + 2/(-5). Is o at least -29/6?
False
Let r be (-4)/(-2536)*11/(33/(-156)). Is 1 less than r?
False
Let g = -4 + 3. Suppos