 = -110.08 + 110. Is v equal to z?
False
Let o be (29985/(-4610) - -4) + -7 + (-133)/(-14). Which is bigger: -11 or o?
o
Let z = 2.393 - -27.607. Is 1.7 not equal to z?
True
Suppose 67 = 6*n - 137. Suppose -11*b + 10*b = -107. Suppose -5*s + 112 = 2*a + 2*a, -3*a + 2*s = -b. Which is smaller: n or a?
a
Let f = 355 - 132. Do 222 and f have the same value?
False
Let u(f) = 9*f**2 + 14*f - 104. Let d be u(7). Let k = d - 434. Is 2/1409 at least k?
False
Suppose 5*q + 3*c + 69 = 0, -2*q - 40*c - 15 = -43*c. Suppose 11 = 3*j - 2*a - 3*a, 0 = -3*a + 6. Suppose -1 = z + j. Is q greater than z?
False
Let o = 115 - 184. Suppose 4*r + 3*g = -90, -91 - 22 = 5*r + 4*g. Let y = r + o. Is y < 1?
True
Let o = 2337 - 2337. Is 3/1957 at least o?
True
Suppose 31*y = 3*t + 29*y - 3431, 2*y = -2*t + 2294. Which is greater: t or 1143?
t
Let q = 6139/6 - 153443/150. Are 1 and q nonequal?
True
Let z = 173 - 239. Let d = -107 - z. Which is greater: -2 or d?
-2
Let t(b) = -2*b - 39. Let n be t(-9). Are -235/11 and n equal?
False
Let o = -140495992431/4795 + 29300520. Let f = -2/959 + o. Which is smaller: f or -1?
-1
Let o = 302 - 323. Let i = 165.2 - 144. Let r = o + i. Is 1 > r?
True
Suppose -10*n - 36*m - 176 = -37*m, -5*m = 5*n + 55. Which is smaller: n or 368?
n
Let h = -8 + 6. Let f = -1052 - -1064.34. Let a = f - 12.51. Do h and a have the same value?
False
Let j be (-131)/6 + (-8)/48. Let z(v) = -v**3 - 22*v**2 - v + 49. Let f be z(j). Is 72 less than f?
False
Suppose 149 - 39 + 133 = 3*y. Let c be 2/4 - (-310)/4. Which is greater: c or y?
y
Let i = 5392 + -3932. Which is smaller: i or 1464?
i
Let c = -390320 - -390347. Let a = -21 - -51. Which is smaller: c or a?
c
Let w be ((-87)/(-406))/(162/8). Let i = -4.919 + -0.081. Is w <= i?
False
Let x(b) = 18*b + 825. Let p be x(-63). Are p and -310 equal?
False
Let a be (2553/(-230) - 2/5)/(6/(-12)). Which is smaller: 460/19 or a?
a
Let g be (-22)/(-2145)*(-50)/8. Let k = 95/39 - g. Which is greater: 3 or k?
3
Suppose 0 = 72*m - 54*m + 3960. Which is smaller: -218 or m?
m
Let k = 5884 + -5887. Are k and 2.1 non-equal?
True
Let i = -9207/5 + 1833. Let w(c) = -6*c**2 - 3*c + 1. Let a(x) = x**3 - 7*x**2 + 8*x - 12. Let s be a(6). Let t be w(s). Which is smaller: t or i?
i
Let n = 124 - 58. Suppose 0 = -6*l + n - 342. Is l <= -45?
True
Let a = -1 - -10. Let i(x) = 10*x**2 - 95*x - 2431. Let y be i(21). Which is smaller: a or y?
y
Suppose -5*b = -20, -44*b - 138 = -2*u - 45*b. Let g = 66 - u. Which is smaller: 4/9 or g?
g
Let x be (2/3*(-78)/(-13))/((-3675)/(-625)). Are x and 0 equal?
False
Let t be 1/((-2)/20*(-9 - -7)). Suppose c + 2 = 3*c, 4*c = t*p - 386. Suppose 6*w = 8*w - p. Which is bigger: w or 40?
40
Let u be (-20)/(-12) - (2 - 14/6). Let a be u/(-8) + (-286)/(-24). Which is smaller: a or 11?
11
Let m = 885.99 + -878. Let p = m + -8. Which is bigger: p or -3?
p
Suppose 2 = -2*r - 4*z, 5*z = 5*r - 27 - 13. Suppose -11 = -x + 3*n + 1, -r*n + 5 = 0. Let c be (x/4230)/(1/(-4)). Do -1 and c have different values?
True
Suppose 246 = 3*h + 4*g, -17 + 2 = 5*g. Which is bigger: 21 or h?
h
Let f = 2713/3 - 924. Suppose -56*s + 218*s + 1844 + 1234 = 0. Which is smaller: s or f?
f
Suppose 24*h = 671 - 695. Is h less than or equal to -133?
False
Suppose -118*q + 3*c = -116*q + 26, 0 = 5*q - 2*c + 21. Is q > -7/1054?
False
Suppose 5*k - 15 = 0, 663 = 4*r - 9*k + 6*k. Let c = 18/19 - 128/95. Which is bigger: c or r?
r
Let x(q) = -q + 1. Let a(r) = -2*r + 13. Let m(j) = a(j) - 3*x(j). Let k be (-2)/18*-2 + 6/(-27) - -7. Let f be m(k). Which is greater: 12 or f?
f
Suppose 3*u - 3 = -2*p, -15 = -3*u + 5*p + 9. Suppose -u*h + 76 = 4*n, 5*h - 2*n = -n + 142. Is h less than or equal to 23?
False
Let c = -123 - -127. Suppose 2*u - r = 5, 2*u + 1 = 2*r + 9. Let o be c/(-12)*3*u. Which is smaller: 1/45 or o?
o
Suppose 27*d + 153 + 225 = 0. Let n be (d/(-5))/(10 + 740/(-75)). Which is smaller: -5 or n?
-5
Let z = 39.7 + -40. Let h be -3*((-65)/78 + (-4)/(-8)). Which is smaller: h or z?
z
Let o(h) = h**3 - 4*h**2 - h + 6. Let k(l) be the third derivative of -l**4/8 + 4*l**3 - 38*l**2. Let v be k(7). Let b be o(v). Is b < -9?
False
Let r(y) = -42*y - 11. Let z be r(16). Is z bigger than -683?
False
Suppose -4*k - f + 2526 = 0, -119*f + 2516 = 4*k - 123*f. Which is greater: 634 or k?
634
Let p = 7326217/2526 + -17401/6. Let j = 58064/365007 - p. Which is smaller: j or 0?
0
Let r = -2/13527 + 27064/67635. Is -0.7947 <= r?
True
Let z be (130/(-35))/((-28)/(-36)). Which is bigger: -4 or z?
-4
Let c = 2 + -10. Let r be (2 - c)*(-35)/10. Let q = r - -19. Are q and -17 nonequal?
True
Let t = 36/181 - -172783/362. Let m = -465 + t. Let u = m - 22. Which is smaller: -11 or u?
-11
Let f = -0.2142 - -0.2642. Which is smaller: -90 or f?
-90
Let k(f) be the second derivative of f**3 - 71*f**2/2 + 12*f - 1. Let t be k(11). Which is greater: t or 8?
8
Let m(y) = -y**2 - 12*y + 4. Let h be m(-12). Let b be (-7)/(21/(-108)) - (h - 2). Which is bigger: b or 133/4?
b
Let n = -2949 + 2952.2. Which is bigger: n or -0.47?
n
Let a be (315/(-175))/((-12)/680). Are a and 99 nonequal?
True
Let j = 3736 - 3735.62. Let m = 9.28 - 9. Let z = j - m. Which is smaller: z or 21?
z
Let s(k) = 4*k + 3. Let w be s(-3). Let m = -8 - w. Suppose 375*x = 382*x - 7. Is x greater than or equal to m?
True
Let r(d) = 2*d + 42. Let f be r(-7). Suppose 5*u - 14*j + 186 = -12*j, -u + 5*j = f. Does -183/5 = u?
False
Suppose -3*s = 4*d - 760, 2*d = 132*s - 136*s + 1030. Which is smaller: 5 or s?
5
Suppose 15 = -5*k - 0*k - 4*s, 3*s + 15 = -5*k. Let b be (21/35)/(k/(-15)). Suppose 5*d = -5, -3*l - d = -5 + b. Does l = 1/18?
False
Let n be 8 + 250/(-30) + 1187/(-3). Let a = 396 + n. Which is smaller: a or 142?
a
Let y(z) = -z**2 - 17*z - 51. Let u(x) = -x**3 - 36*x**2 + 38*x + 24. Let s be u(-37). Let h be y(s). Is -15/32 not equal to h?
True
Let q = 559 + -552. Let y be ((-480)/(-14))/4 - (4 - 1). Is q at most y?
False
Let t be (-2)/(-4) - 1/2. Let g be (4/(-6))/((-150)/1575). Suppose g*p + p + 96 = t. Is -11 less than or equal to p?
False
Let x(w) = -w**2 - 2*w - 6. Let b be x(-6). Let m(t) = t**2 + 74*t + 714. Let a be m(-62). Is a < b?
False
Let r(l) = -l**3 - 19*l**2 + 15*l - 79. Let z be r(-20). Is -3 less than or equal to z?
True
Let h(q) = q**2 - 5*q - 19. Let y be h(13). Let b = y - 127. Let l be ((-52)/(-10))/(-1 + b/(-30)). Are 9 and l non-equal?
True
Let i be -3 + (27 - (-2 - -2)). Suppose 0 = p + 2*u + 2*u - i, -p + 26 = 2*u. Suppose p = -13*r - 24. Is r not equal to -2?
True
Let k be ((-18)/(-15))/(4/(-1400)). Are -418 and k equal?
False
Let q = 131 + -129. Suppose 0 = 4*t - q + 26. Is -2 at most t?
False
Let d = -5165/13 + 398. Let m = 6.844 - 6.744. Which is smaller: m or d?
m
Let s be ((-2376)/(-180))/33 + 1/35*1. Does s = 28?
False
Let j = -2411/360 - -33/5. Let u = -3/2215 + -4409/15505. Is u at least j?
False
Let m(p) = p**3 - 4*p**2 + p + 3. Let s be m(3). Let l = 1 + s. Let i be -9*(-70)/(-300)*2/3. Is l != i?
True
Let s be (-1 + (-4)/8)*(24026/(-6) - -1). Which is smaller: 6008 or s?
s
Let w(o) = -2*o + 68. Let m(f) = -f + 67. Let d(y) = 4*m(y) - 5*w(y). Let h be d(25). Let z be 2*955/h + (-6)/39. Is 24 >= z?
False
Suppose -2*w = 2*r - 136, 5*r - 266 = -2*w + 83. Suppose -8*q + 463 - r = 0. Is q greater than or equal to 46?
True
Suppose -4*q = 4*h + h - 1329, -2*h + q + 529 = 0. Let b = -185 + h. Which is smaller: 79 or b?
79
Suppose 8*a = 5*a + 132. Suppose 0 = 27*n - 25*n - 20. Suppose 1350 = n*j + 920. Are a and j equal?
False
Let x(p) = -84*p + 2520. Let g be x(30). Is 8/2441 >= g?
True
Let y = 2830 - 2883. Is -51 bigger than y?
True
Suppose 4*o - 3*o - m + 6 = 0, 0 = -o + 4*m - 6. Which is smaller: o or 6?
o
Let i be (29572/(-7390) + 36/9)*(-20)/(-6). Is -1 bigger than i?
False
Let g(t) = -5*t + 2. Let i be g(2). Let r(v) = v**2 + v - 16. Let a be r(i). Let w be a/24*56/(-10). Which is smaller: -8 or w?
w
Let u be 3 - (8 + 7/(-1932)*1371). Which is smaller: 1 or u?
u
Let h = -19 - 126. Let d = h + 136. Let f = -7 + 6.8. Which is bigger: d or f?
f
Let c(f) = -f**3 + 32*f**2 + 28*f + 130. Let a be c(33). Suppose -w + 2*i = -59, 0 = -5*w + 4*i + 448 - 129. Let n = a + w. Is 32 less than n?
False
Let i(y) = y**3 - 37*y**2 + 125*y + 57. Let v be i(33). Is -174