>= t?
False
Let a be (-1 - 2/(-3))/(46/(-69)). Is 1/18 less than a?
True
Let g be 2/11 + 6/(-33). Suppose -3*k + k + 18 = g. Suppose -3*t - 3*m + k = 0, -3*t - 1 + 2 = -m. Which is greater: 2/5 or t?
t
Suppose 6*v - 90 = 144. Suppose 0 = 3*r - 129 + 15. Which is smaller: v or r?
r
Let x(i) = -i**3 - 17*i**2 - 12*i - 24. Let u be x(-17). Suppose 11*q - 2*q + u = 0. Which is greater: q or -18?
-18
Suppose -5*c + 20 = -5*t, 3*t + 0*c + 42 = -3*c. Suppose 2*d + 2*z = -4, -d - 8 = -0*d + 4*z. Suppose k + 3*i + 2 + 1 = 0, d = 2*k - 3*i + 24. Is t at most k?
True
Let o = 0.4 - 0.3. Let r = 0.117 - 12.317. Let w = 2.8 - r. Which is smaller: w or o?
o
Let d(c) = -c**3 - 2*c**2 - 2*c. Let k be d(-2). Let y(w) = 26*w - 18*w + k*w**2 - 1 - 5*w**2. Let f be y(8). Which is smaller: f or 2?
f
Let k(w) = 38*w + 115. Let q be k(-3). Which is greater: -17/99 or q?
q
Let k(z) = -2*z**3 - 4*z**2 - 5*z + 3. Let t be k(-4). Is -0.2 at least as big as t?
False
Let n = 65 + -76.8. Let h = 0.2 - n. Let k = 19 - h. Is 0 less than k?
True
Let n = 0.0486 + 0.0514. Let m = 0.16 + 0. Is n at most m?
True
Let u be 139/(-511) - (-10 + 476/49). Which is smaller: -1 or u?
-1
Let m = -3148/9 + 349. Suppose 9 = -3*a + w + 2*w, -3*a - 3*w - 3 = 0. Is a bigger than m?
False
Let y = -9.3 + -19.55. Let p = -29 - y. Which is smaller: p or -1/4?
-1/4
Let z = 0.18 - 13.18. Let o = z - -8. Let g = -4.9 - o. Is g at most as big as 0.2?
True
Let f(m) be the first derivative of -m**3/3 - 7*m**2/2 + 8*m - 15. Let y be f(-8). Suppose n - 2 = 8. Which is greater: y or n?
n
Let l be ((-6)/4)/((-7)/(-28)). Let z be (-11 - -26)*l/(-10). Let b be (10/z)/(8/(-12)). Are b and -3 nonequal?
True
Let o(m) = -2*m + 75. Let p be o(38). Let r be (-104)/110 - 6/(-15). Which is smaller: p or r?
p
Suppose -80*j + 77*j = -372. Suppose 2*m + 62 = -d, 2*m + 2*m - 4*d = -j. Do -30 and m have the same value?
False
Let k be ((-4)/(-10) - (-8)/5) + -1. Which is bigger: 2/1353 or k?
k
Let c = -5530/11 - -503. Is 28 at least c?
True
Let b(c) = 77*c**3 + 3*c**2 - 2. Let s be b(1). Let x = s - 60. Which is greater: 19 or x?
19
Let c(a) = a**2 + 71*a - 373. Let m be c(5). Which is bigger: -11 or m?
m
Let r be (0 - -5) + (9 - 8). Suppose a - r*a - 5 = 0. Which is bigger: a or -8/9?
-8/9
Let f = -30 + 57/2. Let d = 7 - 0. Let p = d - 8. Which is bigger: p or f?
p
Suppose 4*d - 5*f - 3 = 0, -3*f = -2*f - 5. Suppose -3*q - 4 = -d*q. Are -5/7 and q equal?
False
Let k be (5/(-7) - 10/35)*-9. Suppose -14*c = -k*c. Which is greater: -1/64 or c?
c
Let c be 264/(-48) - (-6)/4. Is -29/6 > c?
False
Let f = -403 + 436. Are 33 and f equal?
True
Let w = -119/192 + -3/64. Suppose k - 4*k = 5*h - 1, h = 2*k - 5. Suppose 0*v + v = -k. Which is smaller: w or v?
v
Suppose -3*r - 2*r - 47 = -4*g, 30 = -3*r + 3*g. Let p = r + 6. Suppose -2*v + 4 = -2*c + 4*c, 3 = 3*v + 2*c. Is v < p?
False
Let q = -15.48 - -15.68. Is 21 equal to q?
False
Let m be (30/(-7))/((-12)/56). Let n be (-51)/34 - 294/m. Which is bigger: n or -15?
-15
Let x = -334 + 245. Is x greater than -90?
True
Let i be ((-6)/(-8))/((-99)/4521). Is -35 > i?
False
Let m = 1.9501 + 0.0499. Is 0.37 equal to m?
False
Let c = -903 + 931. Is 44 < c?
False
Let m(y) = -y**2 - y + 2. Let v be m(0). Suppose -4*l = 5*u - 11, -3 = v*l + 3*u - 8. Suppose 3*s = -z - 5 + 1, 4*z = -l. Which is bigger: -3 or s?
s
Let g be 27/120*5*(-4)/3. Is g > -2.5?
True
Let k = -410.1 - -410. Is 783 bigger than k?
True
Let s(c) = 2 - 4*c + 2 - 2*c**2 - 40*c**3 - 3 - 4. Let u be s(-1). Suppose n + 2*n + u = 0. Is n at least -14?
True
Let d be (4 - 27/6)*-98. Let g = -75 + d. Is g > 1?
False
Let h be ((-185)/(-148))/(1*15/6). Which is greater: -3/53 or h?
h
Let i = 1.3 - -25.7. Let s = 308 - 281.1. Let c = s - i. Which is bigger: 0.8 or c?
0.8
Let g(v) = v**2 - 7*v - 8. Let h be g(-7). Is h less than or equal to 1?
False
Let n = -34 + 7. Let x = n + 14. Does x = -11?
False
Suppose -h + 0*h + 4*n = 7, 0 = -n. Let b = h + 8. Is b smaller than -1/12?
False
Let s(d) = -13*d**3 + d**2. Let w be s(1). Let i = -33 + 21. Is w less than i?
False
Let u = -23.3 - -21.3. Which is greater: -0.014 or u?
-0.014
Suppose 0 = 5*l + 2*l + 7. Is l < 3/361?
True
Suppose -4*q - 6*r + 32 = -3*r, r = 4. Let m be 3/24 + (-39)/(-8). Suppose 2*o = 3*h + 20, -5*o + 0*o = -m*h - 40. Which is bigger: q or o?
q
Let j be (-5 - 92/(-16))*5504/8. Is j at least as big as 515?
True
Let i(q) = 2 + 3*q - 4 - 5 - 7*q. Let l be i(-5). Let y be (16/(-9))/(l/39). Which is smaller: y or -6?
-6
Let y be 1/2 + (-125)/425. Is y less than or equal to -1?
False
Suppose 3*a + 233 + 25 = 0. Let r = a + 89. Which is greater: r or 23/10?
r
Let t = 0.274 + 0.326. Which is greater: t or -0.2?
t
Let i be 76/6 - 22/33. Suppose 0 = r + u + 2, 6*r - 3*r = 5*u + 34. Suppose -o - i = r*o. Is -1 at least as big as o?
True
Let j(w) = w - 4. Let y be j(5). Let m be (-16)/(-24) + y/(-3). Let v be (6 - 4/4) + 112/(-20). Which is smaller: v or m?
v
Suppose -5*g = -4*m + 32, -5*g - 3*m - 6 = 5. Let n be 10*(-1)/(-10)*g. Is n <= -1?
True
Let w = 18763/150 - 1898/25. Which is smaller: w or 48?
48
Suppose -2*k + 24 - 4 = 0. Let s = -12 + k. Let g = -8 - -4. Which is bigger: g or s?
s
Let h be (-7 - (-7 - 0))/(1*-2). Suppose 20*s - 7*s + 104 = h. Let l = 8 - 16. Is s > l?
False
Suppose 2*k + 2*z - 19 = 3, 3*k - 73 = 5*z. Let l be 1*(k/(-4) + 4). Let d = 13/7 - 51/35. Is l bigger than d?
False
Let x = 0 + -1. Let r = -1.7138 - 0.3352. Let w = -0.049 - r. Which is smaller: w or x?
x
Let a = -1397 - -1423. Which is bigger: 6/5 or a?
a
Let p be 3/(0 + (4 - 156/(-8))). Is 0 bigger than p?
False
Suppose 5*g - 7*s - 2761 = -5*s, 4*g - 3*s - 2213 = 0. Is -2/3 smaller than g?
True
Let x be (-112)/(-18) + (-5 - 344/(-72)). Is 50/9 >= x?
False
Suppose 0 = -3*c - 2*d + 17, 3*c + 6*d - 3*d - 21 = 0. Suppose -c*f - 2*f + 16 = -q, 3*q + 9 = 2*f. Which is smaller: 0 or f?
0
Suppose 7 + 2 = 3*l. Suppose -2*q = 5*u - q + 10, -3*u = -l*q - 12. Which is greater: -3/8 or u?
-3/8
Let b(x) = 8*x**2 + 5 - 2*x**2 + 11*x**3 - 10*x**3. Let s be b(-6). Suppose s*v - 12 = 8. Which is smaller: v or 5?
v
Let r be -4*2/(-4)*-2. Suppose 0 = -0*z + 5*z + 3*b - 22, -3*b = -4*z - 4. Suppose -7*p + z*p - 15 = 0. Is p > r?
True
Let i(d) = -d - 8. Let t be i(-14). Let g be t/2 - 1/((-3)/9). Which is smaller: 4 or g?
4
Suppose 0 = 7*t + 5 + 2. Let f = 68798/321 + -643/3. Is f greater than t?
True
Let y = -120.947 - -121. Let n = y + -0.253. Which is smaller: n or 3.2?
n
Let j = 0.761 - -0.239. Which is bigger: -8/3 or j?
j
Let j be 24/32 + (-3)/((-60)/4805). Which is greater: j or 239?
j
Let w = -65 + 64. Let f = 8 + -60. Let y be w - (-4)/f*-11. Which is greater: y or -1?
y
Let j be 156/110 - 12/(-66). Suppose 14*u = 11*u + 21. Suppose 4*t - u = 1. Is j bigger than t?
False
Let i = -452 + 554. Is i less than or equal to 1/2?
False
Let z = -182703/31 - -5893. Which is smaller: z or -2?
-2
Let i = -226084/1219387 + -2/12571. Which is smaller: 0 or i?
i
Let n be 1 + 1 - (-445)/(-215). Let x = 455/258 - n. Let r(v) = -79*v - 708. Let t be r(-9). Which is smaller: t or x?
x
Suppose 3*a + j - 5 = -0*a, 0 = 2*a - 2*j + 2. Which is greater: a or 9/35?
a
Let m = -11 - -3. Let x(n) = 12*n**3 - n**2 + 6*n + 8. Let i be x(-1). Let c = m - i. Which is smaller: 4 or c?
c
Let g = 1526 - 4522/3. Which is greater: g or 1?
g
Suppose -20 = -5*m, -m + 3 = -3*k - 37. Let x be (-3)/(-12) - (-807)/k. Which is greater: -68 or x?
x
Suppose -f = f - 40. Let d = -84 + 107. Suppose f*n = d*n - 15. Is n < 4?
False
Let y(t) = -t**3 - 2*t**2 + 2*t + 2. Let q be y(-2). Let c = -156/35 - -477/70. Let r = -20/7 + c. Is r at most q?
False
Let f be ((-1)/(-2))/((-1)/(-8)). Suppose -3*v + 2*r - 19 = -3*r, -2*v - 21 = -5*r. Let l be 117/30 + v/(-5). Which is smaller: f or l?
l
Suppose 0 = -5*a - 5*w - 5, 2*a + 5 = 4*w + 21. Let j = 8.31 - 7.51. Which is greater: j or a?
a
Let h be 1*(-2 - -8) - 15. Suppose 0 = -3*v + 6, 5*z + 4*v + 48 + 14 = 0. Which is smaller: h or z?
z
Let h = 30 + -25. Let z(k) = k**3 + 13*k**2 + 18. Let p be z(-13). Suppose 2*g + p = h*g. Which is smaller: g or 1/3?
1/3
Suppose 0*l + 77 = -l. Let j be 1/(1/18)*l/22. Which is greater: j or -62?
-62
Let t = 8194/245 - -184/49. Does t = 36?
False
Let s(l) be the third derivative of -