
Let m be (-1304)/(-420) + (-104)/(-1092). Let x = -4 + 6. Which is greater: x or m?
m
Let k be 13/(((-1330)/(-40))/(-19)). Which is greater: k or -7?
-7
Let l = -67/4 + 265/12. Let f = 5 - l. Which is bigger: f or -1.4?
f
Let f = -1 + 9. Let j = f + -8.1. Is -2 not equal to j?
True
Suppose 3*a - 2*p + 9 = 0, 3*p + 1 - 6 = -4*a. Let q be 37/(-39) + 0 + 1. Is a > q?
False
Let t be 4*4/(4 + -2). Let z be (-108)/(-10) - (-8)/(-10). Let m = z + -5. Which is bigger: m or t?
t
Suppose -6*g - 24*g - 3480 = 0. Which is smaller: g or -583/5?
-583/5
Let n be -2*(-1 + 27/6). Let g = -590 + 582. Which is bigger: g or n?
n
Let a be (1 + (-5)/3)/((-8)/(-1440)). Let l be ((-16)/a)/((-2)/3). Which is smaller: -0.1 or l?
l
Suppose -4*s - 2*p = 1 + 3, 29 = -3*s + 5*p. Let d be s/(-2)*6 + 2. Is 10 bigger than d?
False
Let s be 9 - (-2244)/(-252) - (-1264)/(-10626). Which is greater: -1 or s?
s
Suppose 7*m = 2*m + 180. Is m at least 36?
True
Let c(s) = -16*s**2 - 5*s - 2. Let n be c(-6). Let z = n - -14794/27. Which is smaller: z or 1?
z
Let c = 0.65 - 28.65. Let i = c - -27.96. Is i bigger than 1?
False
Let l be (8/(-14))/(1/3). Let t(u) be the third derivative of -u**6/120 - u**5/12 - u**4/8 + u**3/6 + 20*u**2. Let i be t(-4). Which is smaller: l or i?
i
Let r = 10.2 - 8. Let x = r + -2. Let j(a) = 6*a - 4. Let t be j(1). Which is smaller: x or t?
x
Let x = 0.0132 + -0.3082. Which is bigger: x or 1?
1
Let s be (-8)/2*1/(-29). Let p = -17420 - -3536174/203. Let d = p + s. Is 1/6 equal to d?
False
Let k(v) = -v**2 - 2*v + 1. Let w be k(-5). Let p(y) = 7 - 2*y**2 + 5*y**2 + 2*y**2 + 4*y - 8*y**2. Let r be p(-2). Which is smaller: r or w?
w
Let o be (-1)/(-9)*3*10. Let s(h) = -13*h - 1. Let t be s(-1). Suppose 6*r - y - t = 4*r, 0 = -4*r - 4*y. Is r equal to o?
False
Let l(h) = -h**3 + 12*h**2 + 7*h + 7. Let u be l(6). Suppose 5*i + 35 = -u. Let c = 178/3 + i. Which is bigger: 0 or c?
0
Let k = -1057635/68 + 15553. Do k and -1 have the same value?
False
Suppose 2*d = -3*z - 272, -1 = z + 2*d + 83. Let q = z - -85. Is -10 bigger than q?
False
Suppose 0 = 84*f - 35924 - 27916. Are f and 760 equal?
True
Let w = -1600.08 + 1657. Let o = w - 57. Is 1/4 at most o?
False
Let r = -0.19 - -9.19. Let h = -10 + r. Let t = 37 - 54. Is h >= t?
True
Let t = -213 + 216. Is 2 >= t?
False
Let t be (-1 - -3 - 6) + (69 - 2). Which is greater: 64 or t?
64
Suppose -8*u = -3*u + 180. Let f = 17 + u. Is f greater than or equal to -17?
False
Let g = -4 + 4.4. Let k be (-8)/(-4)*231/6. Let x be (-27)/(-33) + 14/k. Are x and g equal?
False
Let m be (2 - 3)/((-2)/(-8)). Let f be 1 + -2 + 2/(8/(-20)). Which is bigger: f or m?
m
Let f = -3 - -3.12. Let a = 221 + -219.12. Let x = a + f. Is -1/3 < x?
True
Let r(v) = 99*v + 12. Let m be r(2). Is m at least as big as 209?
True
Suppose -s - 3 = -6. Suppose -5*j = c - 2*c + 16, -3 = s*c + 2*j. Let u be ((-35)/98)/((-24)/42). Which is greater: u or c?
c
Let q be 28789419/468*(-48)/(-1989). Let w = 29/2873 + q. Let b = -1483 + w. Which is greater: 3 or b?
3
Let f = 0.0079 - 0.0479. Which is greater: f or 116?
116
Let f be (-95)/5 - 9/6*2. Let x be -50*(-3)/6*12/(-15). Which is smaller: x or f?
f
Suppose -m = 12*m - 117. Which is bigger: 41/5 or m?
m
Let z = -16 + 12. Let a be (2/z)/(2/4). Let t be 1/3 + (-20)/330. Is a greater than or equal to t?
False
Suppose 2*a + 3*u - 48 = -a, -4*a + u + 44 = 0. Let t = 9 - 6. Suppose -3*c - t = 0, 3*k = 4*c + 10 + a. Which is greater: k or -2/3?
k
Let q = -4 - -17. Let j = 4398 + -4393. Is j < q?
True
Let u(g) = 3*g**2 - 5*g. Let z(p) = -2*p**2 + 3*p. Let i(q) = -4*u(q) - 7*z(q). Let d = 38 + -39. Let a be i(d). Which is smaller: 1 or a?
1
Let s = 119.3 + -117.3. Is s > -6/29?
True
Suppose -3*g + 15 = 4*u - 10, 3*u - 21 = -3*g. Suppose 5*l = -2*y + 25, 4 = g*l + 3*y - 20. Suppose -2*p + l = 5. Are -4/21 and p nonequal?
True
Suppose -j + 1 = 10. Let z(m) = -m**2 - 10*m - 7. Let g be z(j). Let p be (g/6)/(23/(-6)). Is p > 0?
False
Let p = 54 - 75. Let x be -6*(p/6)/(-7). Let f be (-2 - 1)/((-3)/(-2)). Which is smaller: x or f?
x
Suppose 567*g + 2 = 569*g. Which is smaller: g or 1/178?
1/178
Let i = -0.12 - 0.26. Let v = i - -0.48. Which is greater: -4 or v?
v
Let d(q) = 3*q + 2. Let p be d(11). Suppose -11 + p = 4*c. Let m be (1/3)/(c + -3). Is 0.2 at least as big as m?
True
Let h = -258 + 156. Let z = -98 - h. Is z at least as big as -20?
True
Let a = 1/13 - -101/208. Is 2 <= a?
False
Suppose 6 = -2*g, 5*t - 3*g = t - 11. Let p be ((-1)/(-9))/(t/(-6)). Which is smaller: p or 1?
p
Let x = 507 - 506. Which is smaller: 3/53 or x?
3/53
Let t = -484 - -39. Is -443 at most as big as t?
False
Suppose -4 = -10*f + 8*f. Suppose 18 = a + 4*l - 25, -f*a = 5*l - 98. Is a > 60?
False
Suppose 0 = -0*n - 3*n + 45. Suppose -4*q + n = -9. Suppose 2*c = q*c + 12. Which is bigger: c or -2?
-2
Let p(d) = 21*d**2 + 14*d + 14. Let r be p(-1). Is 18 greater than r?
False
Let b be (5/(-13 + -7))/(46*1). Is -1 at most as big as b?
True
Let l be (-392)/342 - -2 - 100/450. Let q = 3 - 3. Which is bigger: q or l?
l
Let k(a) = a**3 - a**2 + 2*a - 3. Let s be k(2). Suppose -2*q = -s*q. Let z be (1/(-2))/((-11)/(-4)). Are q and z nonequal?
True
Let g = -12.43 + 12.92. Which is smaller: 2 or g?
g
Let v = -181 - -181. Is 0.083 less than or equal to v?
False
Let f(r) = -2*r**2 - 20*r - 456. Let a be f(0). Are -454 and a unequal?
True
Let a(x) = -6*x**2 + x. Let v be a(1). Let l = 6 + v. Let q be l*(-1 - -2)*-3. Is -3 smaller than q?
False
Let h be (48/120)/((-1)/10). Let n = 0.03 + -0.1. Let q = 0.03 - n. Is q < h?
False
Let i(t) = t**2 + t + 0*t**3 - t**3 + t**2 - 2 + 0*t**3. Let j be i(2). Suppose 5*n + 5 = -j*n. Is 2/31 at most n?
False
Let k be (-20)/(-150) + 43558/15. Let s be 2/(-12) - k/(-1872). Which is bigger: s or 0?
s
Suppose 4*i - 98 = 3*t, 0 = -3*t + 2*t + 2*i - 32. Let x = t - -34. Is x < -7/6?
False
Let t(i) = 2*i**2 + 2*i + 2. Let y be t(-2). Let j be (90 + 3 - -1)/(y + -4). Which is greater: j or 45?
j
Let a(n) = -n**2 - 11*n + 29. Let z be a(-14). Which is smaller: -15 or z?
-15
Let b = 539 - 566.1. Which is smaller: 0.1 or b?
b
Let h = 2.118 - 1.018. Is 3/16 <= h?
True
Let x = -0.3 - -0.3. Let w = 1.75 + -0.75. Let b = w - x. Which is greater: 0.04 or b?
b
Let k = 0.3 - 6.3. Let x = 6.11 + k. Let c = 16.1 + -16. Which is smaller: c or x?
c
Let o be (-3)/(-15) - (-78)/(-15). Let p = 28 - 20. Let z = 4 - p. Does z = o?
False
Let z = -1 + 3. Let u(k) = 2*k**3 + 20*k**2 + 35*k + 19. Let j be u(-8). Which is smaller: j or z?
j
Suppose f + 7*v + 16 = 3*v, -3*v = 2*f + 12. Is f >= -2/431?
True
Let a = -10.7 + 1.7. Let s = -8 - a. Is s less than or equal to -0.06?
False
Let n = 1128194/88649 - -6/8059. Which is smaller: n or 14?
n
Let m(h) = 5*h**2 - 14*h + 2. Let k be 1 + 1 - 1/((-4)/4). Let p be m(k). Which is smaller: 10 or p?
p
Let a be 16/(-16)*(1 - 12). Which is bigger: -1.8 or a?
a
Let h = 5842 - 5840. Let v = -0.13 + 1.03. Is h > v?
True
Let x(b) = 2*b + 19. Let s be x(-20). Is s > -22?
True
Suppose -3 = 2*s - 5*x + 32, 0 = -5*x + 15. Is -11 < s?
True
Let p(s) = -s**3 - 3*s**2 - 2*s - 2. Let u be p(-3). Suppose -5*g - 2*l = 2, u*g + 2*l - 3 = 5*l. Let j = g - 2. Which is bigger: j or -5?
j
Let p be 2 + 7 - 450/42. Which is smaller: p or -19?
-19
Let y = -2559/4 - -28065/44. Is -3 at least y?
False
Let s(y) = 2*y + 8. Let g(h) = 1. Let f(w) = 3*g(w) + s(w). Let q(i) = i - 17. Let j be q(8). Let t be f(j). Is t >= -6?
False
Let g = -16 + 22. Let r = g + -5. Is 11/6 at most r?
False
Let s(l) = -l**2 + 307 - 626 - 7*l + 313. Suppose -5*x - 4*m = -x + 28, 2*x + 15 = -3*m. Let i be s(x). Which is bigger: 3/8 or i?
3/8
Let j = 41662/198075 - -2/10425. Suppose -2*k = 4*u - 12, 2*u + 3*k = k + 10. Which is smaller: j or u?
j
Let v be ((-15)/1)/(1767/(-76)). Which is greater: v or 1?
1
Let g(z) = -z**3 - 22*z**2 - 56*z + 20. Let d be g(-19). Do -2/667 and d have different values?
True
Suppose -v = 9 - 15. Suppose d + 3*r - 1 = 0, -3*d + 29 = 2*r - v*r. Let o = -7 + d. Is o less than 2/31?
True
Suppose 5 = y - 0*y. Which is smaller: y or 68/11?
y
Let b(r) = r**3 - 13*r**2 + r - 8. Let k be b(13). Let g(y) = 2*y**2 - 8*y + 22. Let d be g(k). Which is bigger: 31 or d?
d
Let d = -7 - -5. Let k = 0.0593 - 0.0083. Which is bigger: k or d?
