rue
Let f(o) = 15*o - o**2 - 50*o - 162 + 40. Let c be f(-31). Is 23/25 at least as big as c?
False
Let p be -4 + 29/(4524/918). Are 1 and p nonequal?
True
Let h = 26 + -24. Suppose h = -6*c + 8. Suppose o = -c, 0 = -3*w - 3*o + 2*o + 5. Is w at most 8/13?
False
Suppose 4*m + 2*i - 8 = 4*i, 3*i + 3 = -3*m. Let v = 0.88 - -0.02. Is v smaller than m?
True
Suppose 7 = -6*x - 503. Let t be 14/35 + 0 + 234/x. Is t less than or equal to -2?
True
Let k = -93 + 58. Let z = 72 + k. Let o = z + -39. Is o at least as big as -12?
True
Suppose -100*g = -12*g + 59*g - 23814. Is g <= 152?
False
Let t = -10.811 + 2.811. Is -11 at least t?
False
Let j be ((-54)/72)/(2/(-312)). Suppose -w - j = 4*i, -3*w - i = 312 - 5. Let f = -74 - w. Does f = 28?
False
Let x = 14/5 + -164/55. Let i = 43 + -37. Suppose 2*v = -3*v - 5*a + 10, 4*v - i = -2*a. Which is bigger: v or x?
v
Let g = 118036 + -206798755/1752. Let a = g - -2/73. Let j(u) = -2*u**2 - 3*u - 1. Let r be j(-1). Do a and r have the same value?
False
Suppose 0 = -2*f + 4*k - 30, 2*k + 350 - 368 = 4*f. Let r = -18.09 - -18. Which is smaller: f or r?
f
Let l = 27.3836 - 1.3836. Which is bigger: 0.219 or l?
l
Let j be 6*(-1)/(-63) - (305584/84)/(-1). Which is smaller: 14557/4 or j?
j
Suppose 0 = -11*r + 664 + 1936 - 147. Is r greater than or equal to 220?
True
Let y be ((-2)/3)/((-153)/540*5). Let x = 95 - 3231/34. Let p = y - x. Does p = -11?
False
Suppose 3835 = -p - 4*c, -760*p + 3*c = -747*p + 49800. Is -0.3 smaller than p?
False
Let v = 11.089 + 0.511. Let z = -5.6 + v. Which is greater: z or -2/17?
z
Let b(i) be the third derivative of i**4/24 + 5*i**3/6 - 65*i**2. Let a be b(-6). Let g = -1.13 + 1.1. Which is smaller: a or g?
a
Suppose -46*n + 56*n = -4360. Is -436 equal to n?
True
Let k(x) = -65*x**2 + 175*x + 11. Let v be k(3). Which is smaller: v or -48?
v
Let r be (-185)/(-35) - 10/35. Suppose s + 2165 = -3*s + 5*z, -3*s - 1615 = r*z. Let y be (1 - 0) + 530/s. Are 1 and y equal?
False
Suppose -2*f + 0*n - 2*n = -20, 3*f = -5*n + 40. Suppose 5 = h - 5*z, 0 = -3*h - h + 5*z + f. Let r = -22 + 229/11. Which is greater: h or r?
h
Let q(w) = -182*w**3 - 2*w**2 - 35*w - 32. Let t be q(-1). Is t less than or equal to 186?
True
Let x = -0.04743 - -0.14743. Are x and 1638 unequal?
True
Let p = -4.93 + -0.07. Let m = 20.3 - 4. Let g = 16.7 - m. Are p and g non-equal?
True
Let l be 11 - (642820/33832 + -8). Which is greater: 1 or l?
1
Suppose -2*i + 0*i - 132 = 0. Let g = i - -244. Let j be g/59 - (0 - -3). Is -1 < j?
True
Let d be (-2)/28*(-3 - 868/(-287)). Is 0 < d?
False
Let t = -61 - -65. Let m be (t/6*(-225)/(-3))/(-1). Which is bigger: -52 or m?
m
Let v = 55/4 - 77/4. Let k = 25300 + -556723/22. Let a = v - k. Is a greater than or equal to 1?
False
Suppose -c = 3*c - 20. Suppose -2*m = -5*z - 4*m + 10, -2*z + c*m + 33 = 0. Let v be -3 - (z + (-842)/120). Which is smaller: 0 or v?
0
Suppose 5*v + 5*z = 375 - 10, 12 = -4*z. Let o be (-1 - 1) + 4200/(-56). Let x = o + v. Is 1/19 > x?
True
Let a be (-27)/90 + (-1032696)/7280. Which is smaller: -141 or a?
a
Suppose -2*k = 4*b - 8, -4*k - 6 = -4*b + 14. Let o be k/1*(-5 - -1)/4. Let h be o - (2/12 + (-518)/(-252)). Which is greater: 1 or h?
1
Let w(u) = 6 - 5*u**2 - 2*u + 6*u**2 - 4*u. Let b be w(5). Let r be b + ((-105)/(-2))/(-7). Which is greater: r or -7?
r
Let q(y) = 2*y**2 - 11*y - 24. Let r be q(7). Let x be (r/(-12))/(81/72). Which is smaller: x or 34?
x
Let t be (-1 - (-3116)/12)*(-36)/(-16). Suppose -30*h - 1908 - t = 0. Which is smaller: h or -82?
h
Let u(j) = 10*j - 22. Let p be u(4). Suppose p*h - 28 = 4*h. Let t be -6*(7/h - (-1 - -4)). Which is smaller: 2 or t?
t
Suppose d - 65 = -4*r, 2*r + 89 = 11*d - 10*d. Let c be (17/(-51))/(3/d). Which is bigger: c or -6?
-6
Let y be 3 - (-4 + 8 + -4). Let i be (-1)/y*(-16 - -1). Suppose 3*g - 5*w = -0*g - 5, -i*w + 10 = -4*g. Which is smaller: -7 or g?
-7
Let p be 18 + -21 + 1*76. Suppose 3*q = 64 + 83. Suppose 5*v + q = g, -2*g - 3*g + 380 = 2*v. Is p greater than g?
False
Let u be 2 - ((-533)/169 - -5). Is u less than -1?
False
Suppose -2*h + 13*h + 17748 = -6*h. Is h at least as big as -1040?
False
Let k = -658.2 - -465. Let f = -193 - k. Does f = 7/5?
False
Let i = 5.4278 + -0.8208. Let c = i + -0.007. Let s = c + -7.6. Which is bigger: s or 0.07?
0.07
Let w = 926701 - 4617598/5. Is w greater than 3180?
True
Suppose -4*s = 2*f - 74, 4*f + 60 = 5*s - 0*s. Suppose 13*w - 14*w = s. Is w smaller than -9?
True
Let k = 64956/15409 - 80/19. Is 0 smaller than k?
True
Let z = 0.05 - 133.05. Let t = -30 - z. Which is smaller: 2 or t?
2
Let k = -70 - -62. Let c = 10 + k. Suppose c*l + 38 = -3*j - 16, -3*l - 57 = 3*j. Is -18 at least as big as j?
False
Let f = -35 + 45. Let o be ((-12)/f)/(16/10472). Let w = -789 - o. Is -3 >= w?
True
Let u be -1*0/(-5)*(-9)/18. Suppose 0*h - 4*h + 64 = u. Which is greater: h or 18?
18
Let m be 14/(-224) - 9954/(-32). Suppose 325*r + 2996 = m*r. Which is smaller: r or -211?
r
Let m(i) = 11*i - 208. Let l be m(19). Let o be (-3)/9*l*(104 + -5). Which is bigger: -35 or o?
o
Suppose 3*g - 7*g = -2*a - 14, a + g = -16. Let t(f) = -f**2 - 18*f - 65. Let s be t(a). Which is smaller: 2/157 or s?
s
Let k = 595 - 29154/49. Suppose -m = 2*p + 3*p + 14, -p = 2*m + 37. Let x(z) = -z - 18. Let c be x(m). Which is greater: c or k?
c
Suppose -2*v - 4*q - 5 - 1 = 0, 5*v + 4*q - 15 = 0. Let t be 290/72 - (-3 + v). Is t smaller than 1?
True
Suppose 5*s = 10*s - 40. Let u be 18/70*(-5)/s. Let l = u + -12/7. Is l smaller than -2?
False
Suppose -2*o - w = -0*w + 6, -5*o = -2*w + 33. Suppose z + 2*z - c = 13, 5*c = -5. Let k be 1/((-63)/15 + z). Is o <= k?
True
Let n be 648/546 + (-1)/1. Let r be (-69424)/13104 + 4*(-1)/(-2). Let s = r + n. Is s < -2?
True
Let v = -20.3182 + 0.3882. Let m = 20 + v. Let c be ((-2)/3)/((-145)/(-15) - 9). Which is smaller: m or c?
c
Let v = 18 - 35. Let x = 9 + v. Let r = 4970/9 + -552. Are r and x unequal?
True
Let v be -2 + 3 - (-28)/(-3). Let p(r) = 62*r + 90. Let d be p(16). Let w = -1089 + d. Is w bigger than v?
True
Let y = -93.111 + 0.111. Let v = -66 - y. Which is greater: -5 or v?
v
Let o = -686899982/45 - -15265196. Let u = -752 + o. Is 0 at least as big as u?
True
Let c = 1929 + -1922. Let t = -588 + 2969/5. Which is smaller: c or t?
t
Suppose 2252 = 4*g + 1288. Let a = g - 242. Is -5/2 <= a?
True
Let q(r) = -4*r - 8. Let u be q(4). Let c = 3749 - 3774. Which is smaller: c or u?
c
Let c(z) = z**3 - 17*z**2 - 2*z + 24. Let n be c(-11). Which is greater: -3345 or n?
n
Let x be 91808/39140 - 33/15. Is 0 greater than x?
False
Let o = 109 + -102. Let l(n) = n - 5. Let q be l(o). Let x be q/(-4)*(-4)/(-37). Are x and 1 nonequal?
True
Suppose -51 = -5*x - 2*s, -3*x + 0*s = 3*s - 27. Suppose -x*z + 168 = -14*z. Is -56 at least z?
True
Suppose c + f = -2*f - 203, -3*c - 5*f = 589. Let p = -286 - c. Is -98 at least as big as p?
True
Let l = -8 + 13. Let a(y) be the second derivative of y**3/3 + 5*y**2/2 + 931*y. Let h be a(l). Which is smaller: 14 or h?
14
Suppose 4 = m - 2*m + 2*l, 2*l - 4 = 5*m. Let o = -1183626/43 - -27526. Which is smaller: o or m?
o
Let u = 820.329 - 820. Let g = 5.329 - u. Which is bigger: g or -0.41?
g
Let p = -1094 + -1699. Is p greater than -2794?
True
Let c = 280 - 276.94. Let h = c + -0.06. Which is greater: 8 or h?
8
Let l = 1639 + 4233. Do 5872 and l have the same value?
True
Let d = 48 - 22. Let w = d - 7. Let c = 28.6 - 29.6. Are c and w equal?
False
Suppose 2*y + 17 = 30*x - 29*x, 0 = 5*x + 25. Does y = -371/31?
False
Let t(g) = 11*g + 118. Let f be t(-8). Suppose f*l - 5 = 25*l. Is 1 equal to l?
True
Let j = 2 + -1. Let q = -60774 - -489171/8. Let s = 372 - q. Which is smaller: s or j?
s
Let z = -11372.8 + 11373. Which is smaller: 0.559 or z?
z
Let d(b) = 154*b**3 + 3*b + 3. Let z be d(-1). Let c be (6 - z/(-26))*-2. Is c > -0.11?
False
Let v = -1.247 - -1.247. Let o = 0.61 + -0.725. Which is smaller: o or v?
o
Let x = -0.874 + 0.662. Let d = x + 10.212. Are -10 and d unequal?
True
Let g = 3305 + -3305. Is g not equal to -17/159?
True
Suppose 39*j - 34*j = 19*j + 672. Is -769/16 at most j?
True
Let w = 42 + -38. Suppose -5*k + 3 = -z, -w*k + z + 3 = 1. Let a(f) = -f**3 - f**2 + 2*f - 1. Let o be a(k). Is o at most 2?
True
Let c = -84