t least d?
True
Let m be (527/(-68))/(1/(-36)). Suppose 25*s - 2*c - m = 20*s, -4*s - 2*c = -216. Which is smaller: s or 111/2?
s
Let p(r) = r - 6. Let x be p(7). Suppose -2*n = -n - x. Let h be ((-1)/108)/(40/16 + -3). Which is smaller: h or n?
h
Let n = 344 + -39. Suppose 0 = -5*h - 0*h + n. Suppose 4*s - 1908*d = -1909*d + 262, -s = -2*d - 34. Which is smaller: h or s?
h
Let i = 1528 + -1436. Let c be ((-186)/(-8))/(1/4). Is c bigger than i?
True
Let r = 11803/42588 - -3/4732. Which is smaller: r or -33?
-33
Let c(l) = -l**3 - 27*l**2 + 57*l - 18. Let d be c(-29). Is d > 256/21?
False
Let q = -0.3718 + 2.1718. Are 1/165 and q nonequal?
True
Let y = 1.7 + -1.6. Let k = -23 - -64. Let p = k - 42.7. Which is bigger: p or y?
y
Let m be (26/9 - (15 + -12)) + 660/11772. Is -1 at least m?
False
Let t(i) = -45*i + 24. Let s(b) = -15*b + 8. Let w(o) = -11*s(o) + 4*t(o). Let k be w(-4). Let y be 17/((-65)/(-20) + -3). Is k at least as big as y?
True
Let s = -4258/17 + 492993/1972. Which is greater: 0 or s?
0
Let k = -3479 + 3503. Let o(x) = -10*x + 29. Let r(d) = -7*d + 19. Let v(q) = 5*o(q) - 7*r(q). Let t be v(-11). Which is smaller: t or k?
t
Suppose 4*p + 5*l + 16 + 16 = 0, p + l + 7 = 0. Let y = -2/3849 - 123142/50037. Is y smaller than p?
False
Let q(i) = 78*i**3 - 6*i**2 + 4*i - 41. Let a be q(4). Is a greater than 4870?
True
Let q(t) = -t**2 - 26*t - 103. Let r be q(-21). Suppose -r*a - 589 = -207. Is a at least -191?
True
Let v be (-2*(-15 - -14))/(-2 - 0). Is v at most as big as 110?
True
Let q = 27415/6 - 10191/2. Which is smaller: -526 or q?
q
Let a be -1 - (-3)/42*-106. Suppose 7*c - 6*c = -4*s - 597, 5*s + 4*c + 760 = 0. Let g = s - -147. Are a and g equal?
False
Let t = -0.04 - -66.04. Let y = t + -35. Let z = -34 + y. Which is smaller: 0 or z?
z
Let u be (-9)/120*(-2)/3. Let m(k) = -k**3 - 5*k**2 + k + 20. Let a be m(-4). Suppose a = -0*t + t - 5*n - 6, -5 = -3*t + 2*n. Is t <= u?
False
Let y be 81*(0 - 3/3). Let x = -55 - y. Let k = 53 - x. Which is smaller: k or 1/4?
1/4
Let p = 40069 + -40064.75. Is p > 0.06?
True
Let p = 21687997/165 - 131439. Let n = p + -36/11. Suppose 2*m - 3*c + 13 = 2*c, 3*m + 2*c - 9 = 0. Is n equal to m?
False
Suppose -2*m + 4790 = 3016. Suppose -5*r = 4*w - w - 2683, -5*w + 2*r + 4420 = 0. Is m at least w?
True
Let x be (22/(-165))/((-16)/(-22060)). Is -184 at most x?
True
Let b(y) = -y**2 - 7*y - 10. Let a be b(-6). Let u be 1*(-3 + (a - -9)). Suppose -4*x - u*m + 5*m + 56 = 0, 4*x = -2*m + 56. Which is smaller: x or 1?
1
Let r = 86 + -32. Suppose -w + r = d, 2*w + 60 = d + 6*w. Let l be ((-3 - 14/(-4))*d)/(-2). Is l at least -13?
True
Let h = 8.53 + -355.53. Let i = h + 330. Which is smaller: i or -2/9?
i
Let n(b) = 38*b - 2041. Let r be n(46). Which is smaller: r or -296?
-296
Let v(z) be the second derivative of 1/6*z**3 - 13*z + 29/2*z**2 + 0. Let n be v(-19). Is n > 11?
False
Let f = -7949.9 + 7946. Which is greater: f or -0.05?
-0.05
Let a = 169.82 + -125.82. Is a smaller than -2.9?
False
Suppose 0 = 4*a - 3*u + 2*u - 1638, -a = -4*u - 402. Suppose -7*o - a - 178 = 0. Let w be (-1 + 0)/(o/40 + 2). Is w at least as big as 12?
False
Suppose r + 14 = 53*z - 51*z, 2*z - 3*r = 18. Let f(l) = -4*l**2 - l - 2. Let u be f(-1). Let d be -1*(u + (0 - 2)). Does d = z?
False
Let f be (3/15)/(6/(-252)). Do 7/3 and f have the same value?
False
Let l = -372 - -212. Let k = l - -171. Is k at least as big as 5?
True
Suppose 2*y = r + 28, 0*r = 5*y + 4*r - 83. Let o be 3807/45 + 6/y. Let k be (-2)/17 + (2475/o - -5). Do k and 35 have the same value?
False
Suppose -74*i = -69*i + 170. Let g be 10/18 + (i - -33). Is 1 > g?
True
Let g = 97 - 60. Let m = -14.49 - 22.69. Let n = g + m. Is 0.2 less than n?
False
Let w(m) = -2*m + 14 + 9*m - 14 + m + 5*m**2 + 13. Let l be w(-3). Which is smaller: l or 31?
31
Let j be (-13)/1 - 0/(15/5). Let r = 113 + j. Is 100 > r?
False
Let c = 22/5 - 21/5. Let o = -36 - -35.89. Let l = 12.89 - o. Which is greater: l or c?
l
Let p = 235 + -2722. Is -2487 greater than or equal to p?
True
Let y = 23977 + -23872. Which is smaller: 119 or y?
y
Suppose -2*a = -10*a + 8. Let g be (a - 0) + (-3)/(-6)*-5. Let f = -155.98 + 156. Is g greater than f?
False
Let n be ((-190)/(-40) - (1 + (-20)/(-5)))*-2628. Is n less than 4600/7?
True
Let m = 0.11766 + -0.31766. Are 0.2292 and m equal?
False
Let c = -2270/3 - -703703/930. Suppose -922*g = -895*g. Which is smaller: c or g?
g
Let c = -285 + 285. Let j be (12 - 11)/(-1*(1 + c)). Which is bigger: j or -1/110?
-1/110
Let f = 30.9 - 99.9. Let j = -72.3 - f. Let x = -15 + 103/7. Are x and j unequal?
True
Suppose 0 = -g - g - 4*u + 36, -5*g + 3*u + 103 = 0. Suppose -16*n = -134*n + 2006. Is n > g?
False
Let h be (-10158)/(-15)*4/8. Let g = 338 - h. Which is smaller: g or 1.6?
g
Suppose -5*p - 62 = 3*g + 33, 0 = p + 4. Suppose -83*v + x - 23 = -79*v, -2*x + 13 = 3*v. Which is smaller: g or v?
g
Let s(i) = 14*i**3 - 5*i**2 - 2 + 3*i - 20*i**3 + 4*i**2. Let k be s(1). Let v be k/27 - (-1 + 480/27). Which is smaller: v or -18?
-18
Suppose 0 = 14*x - 11*x + 6, -5*f = 3*x - 279. Suppose -76 = -k + f. Is k at least 397/3?
True
Let k be 3/(-4)*(-5 - ((-75130)/1830)/11). Is k smaller than 1?
True
Suppose 10*p = 5*p + 185. Let n be 2/(-4 + 6) + (-2 - 15). Let k(a) = 2*a**3 + 33*a**2 + 14*a + 3. Let t be k(n). Is p at least as big as t?
True
Suppose -2*v + q - 1071 = -120, 0 = -v + 2*q - 480. Is -475 equal to v?
False
Let y = -775/36703 - -4/127. Let f = y - -28867/3179. Which is smaller: f or 9?
9
Let s = 2740/21 + -68374/525. Let w = -611/6233 - -3/271. Which is smaller: w or s?
w
Let t(m) = 3*m**2 + 2*m - 9. Let g be t(-6). Let r = g - 85. Suppose r*o - 2 = 4*i - 12, i + o = 7. Which is greater: i or -1/4?
i
Suppose -44*g = 112 - 24. Let h be g + 13148/(-3284) + (-9 - -15). Is -1 > h?
False
Let c(b) = -b**3 - 11*b**2 + 26*b + 12. Let h be c(-13). Let r = -3.61 - -4.01. Is h at least r?
True
Let y = 10 - -8. Let j = -8 + y. Let i be -4 + -1 - (3185/(-343))/(8/14). Is j bigger than i?
False
Let f = -1214 - 2573. Do f and -3787 have different values?
False
Suppose -v - 3*z = -175, 2*z = 5*v - 229 - 731. Let o = v + -211. Which is bigger: o or -3/5?
-3/5
Let g = -46 - -52. Let y = g - 5. Is -0.1 greater than or equal to y?
False
Let x(q) = 33*q - 60. Let b be x(26). Let v be b/(-396) - 4/(-22). Let j = 16 + -15.9. Which is greater: v or j?
j
Let j = 30 + -30. Let m be j + -2*(-2)/1. Let c be (2 + -4 - 44)/(-14). Is c at least as big as m?
False
Let l = -6289/10 - -3147/5. Suppose 4*f = -w - 10, w + 2*f + 1 = f. Suppose 0 = -d + 5*n + 24, w*n + 0*n = 4. Which is smaller: d or l?
l
Let x = 10242 - 11592. Which is smaller: -1346 or x?
x
Let o(h) be the second derivative of -21*h**5/20 + h**3/6 + h**2/2 - h. Let a be o(-1). Let v = -348 + 367. Is a <= v?
False
Let i = 1756.8 - 1757. Let s = 185 + -2033/11. Is i smaller than s?
True
Suppose 428 - 497 = -23*a. Let c(r) = -3*r**2 + 8*r - 7. Let m be c(a). Let i(d) = -7*d**3 - d**2. Let p be i(1). Is p bigger than m?
True
Suppose -4*j - 44*c = -48*c - 84, 4*j + 4*c = 92. Are j and 45 non-equal?
True
Let z be (12/(-298))/(0 - -1). Let i(s) = 33*s - 2111. Let o be i(64). Is z greater than or equal to o?
False
Let n = -12225 + 7464. Which is smaller: n or -1?
n
Let h = 15063.1 + -15055.1. Let j = -0.1 - 0.2. Which is smaller: h or j?
j
Let u be 2/22 - (-41)/12628*60. Which is greater: u or 6793?
6793
Let c = -2485 + 2485. Let g be -4*(21/694)/(-7). Do c and g have different values?
True
Let y(q) = -278 + 52*q + 276 - 198. Let r be y(4). Does -8 = r?
False
Let o(d) be the third derivative of d**4/4 - d**3/6 - 8*d**2. Let b be o(1). Suppose p - 3*k = b*p - 153, 5*p - 235 = 5*k. Are 42 and p nonequal?
False
Suppose 5*p - 9*p - v = 1818, -2274 = 5*p + 2*v. Let x = p + 456. Which is greater: x or -16/9?
x
Let d(j) = j**3 + j**2 - 13*j + 1080. Let g be d(0). Suppose 13*m = -7*m - g. Does m = -52?
False
Suppose 927*b - 141*b = 1214370. Which is smaller: b or 1543?
1543
Let i be ((-2)/(-14))/1 + (-432)/378. Let m(g) = -5*g**3 + 3*g**2 + 5*g + 1. Let c be m(i). Is 2/25 less than or equal to c?
True
Let d be (1*-19)/(-11 + (-1568)/(-144)). Suppose 507 = 17*k - 14*k. Which is bigger: d or k?
d
Suppose 78*o = 74*o. Let z(s) = -s**3 + s - 