s -78/17 at least k?
True
Let y(h) = -h - 20. Let d be -4*(-2 - 0 - -7). Let g be y(d). Suppose 48 = 14*v - 2*v. Which is greater: g or v?
v
Let k be (-2 - 1) + (11 - 12). Let p be 6/k*49*2/(-3). Let s = p - 52. Does s = -3?
True
Let i = 676726/5 - 134841. Which is smaller: i or 504?
504
Let t be -3 - (6 - (9 + -4 + (-1194)/56)). Which is bigger: t or -26?
t
Let o be 260/(-2340) - 99404/9. Is -11046 at least o?
False
Let y be (0 + -1)*(3 + -6). Suppose -5*x - y*m + 25 = 0, m + 5 - 2 = 4*x. Let t be -1 + (-6)/x + 3030/755. Is t smaller than 1?
True
Let x(d) = -4*d - 27. Let u = 36 - 48. Let t be x(u). Suppose -s = 5*y + 1, 3*s - 28 - 37 = 2*y. Is t at least s?
True
Let o(h) = 41*h - 320. Let w(x) = 2*x**2 - 38*x + 9. Let s be w(19). Let u be o(s). Which is greater: 54 or u?
54
Suppose 14*u - 9*u = 975. Let n = 254 - u. Is 59 at least n?
True
Let w be 5 + 7/(-4) + (-1)/4. Let c(s) = 2 - s**3 + 4*s - w + 6 + 1 - 3*s**2. Let k be c(-4). Which is smaller: k or 9/2?
9/2
Let t = -126 - -125. Let o be t*(15/3 - 4). Let j be (-264)/143 - (o - (0 + 1)). Is -1 < j?
True
Suppose -69*d + 70*d - 1 = 0. Let z(q) = 2*q - 46. Let h be z(25). Which is greater: d or h?
h
Let u = 9/9728 + 4944247/9728. Is 508 > u?
False
Let f(b) = 4*b**2 + 15*b + 3. Let y be f(8). Suppose -y = -13*s + 765. Which is smaller: s or 173/2?
173/2
Let r = -52 - -56. Let d be r + (-5)/5 + 156. Suppose -3*h - d = -4*k + 2, 2*k = 10. Is h at most -46?
True
Let n = -26569/5 + 5291. Let z(h) = -3*h**2 + 45*h + 26. Let q be z(16). Which is bigger: n or q?
q
Let n be (5 + -128)/(5 + 2). Let u = 16 - 34. Which is smaller: u or n?
u
Let x = 68939/17644 - -3/1604. Which is bigger: 4 or x?
4
Let x = -125 - -128. Suppose 7*f + 197 = -3*i + 3*f, -x*i - 5*f - 196 = 0. Is -71 bigger than i?
False
Let l = -693 + 522. Let j be -2 + 10 - (-1410)/l. Which is smaller: j or 0?
j
Suppose -q - 3*k - 21 = 0, -q + 5*k + 17 + 10 = 0. Let g = -9 + 6. Is q < g?
False
Suppose -2*q - u = 3*u + 3790, -2*u = -4*q - 7530. Let l be (-130)/q - 1816/25491. Is 1 equal to l?
False
Let c be (-29)/(-145) + (338/(-8))/(60/(-84)). Is 59 less than c?
True
Suppose -187*o + 177*o = -2110. Let j = 210 - o. Are j and -8/201 equal?
False
Suppose 95*j - 4*u = 91*j + 12, -3*j = 5*u + 15. Which is smaller: 3/2932 or j?
j
Let n be (-1)/80*(-10 - -143). Let i = n + 1/16. Which is greater: 0 or i?
0
Let s = -9.99131 + -0.00869. Is -9/2 >= s?
True
Let u = 7/180 - -53/180. Which is smaller: -51.7 or u?
-51.7
Let w be (-22 + -2)*18/(-24). Let j = w + -24. Let g be (4 - 1 - -3)*10/(-15). Do g and j have the same value?
False
Let t = -125.04 + 125.943. Which is greater: t or -1/3?
t
Let l = 9.719 + -13.719. Is l at most 1/2629?
True
Suppose -8 = -3*y - 3*b + 73, -5*y = 4*b - 130. Suppose 8 - y = 14*h. Which is greater: h or -2/59?
-2/59
Let c(u) = 2*u**2 + 36*u + 5. Let j be c(-18). Suppose -w = -4, t - 2*t = -j*w + 35. Let f = 19 + -35. Are t and f nonequal?
True
Suppose 2*l = 22 + 4. Let i = -10 + l. Let w be 14*1/i*-3. Which is smaller: -2/3 or w?
w
Let d = 4.73 - 0.23. Let j = 25.7 - 25.563. Let w = j + -0.037. Which is smaller: d or w?
w
Let d(l) be the first derivative of l**4/4 + 8*l**3/3 - l**2 - 15*l - 40. Let v be d(-8). Do 6 and v have the same value?
False
Let q = -132.246 + 0.246. Let v = 131.95 + q. Which is bigger: 11 or v?
11
Let v = -1102.572 - -3.572. Which is greater: v or 0.06?
0.06
Suppose 2*h = -3*x - 5, -3*h + 5 = -4*h - 2*x. Suppose 584 - 59 = h*w. Let s = -106 + w. Is 0.32 at most s?
False
Let m = -2893/174216 + -5/952. Suppose -5*n + 4*i = 15, 0*i + 3*i - 17 = -2*n. Which is bigger: m or n?
n
Let y = -617 - -616.1. Let t = 0.3 + 0.1. Which is smaller: t or y?
y
Suppose 5094 = -52*n - 314. Which is smaller: 1 or n?
n
Let q be -5 - -11 - (-1652)/(-2). Let g = -9032/11 - q. Are g and 1 unequal?
True
Let b = 1674 - 1674.8. Which is smaller: b or -649?
-649
Let d be (11944/(-448) - 12) + 4/14. Is d less than or equal to -39?
False
Let g = -1 - -2. Let u = 26.3 + 23.7. Let b = -50.08 + u. Are b and g non-equal?
True
Let u(z) = -38*z**3 - z**2 - z + 2. Let s be u(1). Let x = s + 109. Let f = x + -70. Is -4/9 bigger than f?
False
Let g(b) = 3*b - 10. Let v be g(3). Let u(q) be the first derivative of 3*q**2/2 - 46*q + 15. Let i be u(12). Which is greater: i or v?
v
Suppose 138*g - 906 - 1389 = -363. Which is smaller: 180/13 or g?
180/13
Let l be (1899/(-6) - 3)*((-134)/18 - -7). Is l at least -26?
True
Let w be (-1 - -4)*(6 - ((-45)/27 + 8)). Is w smaller than 1/184?
True
Let m = -3.93 - 0.07. Let p = -150 - -153.1. Let b = -3.05 + p. Which is smaller: m or b?
m
Let m = 23546 + -24924. Is m <= 8?
True
Let c = 9 - 18. Let q = -97.6 - -97.8. Is c bigger than q?
False
Suppose -2*i - 7*i = 0. Suppose 13*k + 71 + 111 = 0. Let t be 18/(-21)*21/k. Is t at most i?
False
Let f be (3436 + 77)*((-8)/3 + 3). Is f less than 1174?
True
Let i(n) = 11*n**2 - 7*n - 8 - 11*n - 186*n**3 + 185*n**3. Let q be i(10). Is q greater than -89?
True
Let i = 2/105 + 101/210. Let l = -35 - -15. Let w be ((-2)/l)/((-77)/(-28)). Is w less than i?
True
Let a(w) = w**2 - 24*w + 140. Let r be a(15). Suppose -1212 = r*i - 412. Which is smaller: -158 or i?
i
Let p(a) = -53*a**3 - a**2. Let q be p(-1). Let r(z) = -z**3 + 38*z**2 - 162*z - 101. Let c be r(33). Let b be c/(-8) - q/16. Is b at least -1?
False
Let f = -119 + 128. Suppose 0 = -14*s + 177 - f. Which is smaller: 1.1 or s?
1.1
Let p = 48 + -82. Let j = -1456 + 1490. Let k = p + j. Is -1.1 greater than k?
False
Let r = 1 + -59. Let v = -14 + r. Do v and -71 have the same value?
False
Let k = -161 + 161. Let n be (k/2)/(76 - 73). Is 3/7 != n?
True
Suppose j - 2 = -u + 1, 0 = 3*u + 4*j - 5. Let o be 2/u - (-90660)/(-525). Let k = o - -171. Is 0 bigger than k?
True
Let v(p) = -25 + 6 + 34*p - 38*p - 15. Let o = 18 - 26. Let d be v(o). Is -3/2 < d?
False
Suppose 76*j = -j - 13*j - 27000. Which is bigger: j or -301?
j
Let u = 3670 - 3670. Do u and 273/4 have the same value?
False
Let o be 43/3 - 18/(-27). Let n be (o - 0 - 3)/(-1). Let i(u) = 4*u + 42. Let d be i(n). Which is smaller: d or -4?
d
Let x be 5/75 + 6472/(-90780). Let p = x - -193741/16643. Which is smaller: p or 12?
p
Suppose -6*h + 73 = -h + s, -3*h - s + 43 = 0. Let i(x) = -6 - 4 + h + 2*x. Let u be i(16). Which is smaller: u or 36?
36
Let o be (-1 + 0)*(4 - (70 - -3)). Let n = o - 152. Is n < -83?
False
Let z be 0 - (10*2 + -2). Let y be 8/(-2) + (-4 - 206). Let w = -229 - y. Are z and w equal?
False
Let m(x) = -x**2 + 199. Suppose -2*o + 4*o = -5*i + 30, -5*i = 0. Let h be m(o). Are -336/13 and h equal?
False
Let m = 1772 - 1772.1. Which is smaller: -0.1362 or m?
-0.1362
Let g be -10 - (11 + 120/(-6)). Does -1/2974 = g?
False
Suppose -2*r = 4*v - 4, -r = -4*v + 1 - 3. Let u be 1/(-11) - (-14059)/191037. Which is smaller: u or v?
u
Let n = -554 + 269. Let u = n - -291. Is u less than 11/2?
False
Let y be 40271/(-40) + (-172)/(-32) + -5. Let t = 1001 + y. Let x = 1 - 6. Does x = t?
False
Suppose 4*s + 5*d + 38 - 39 = 0, -2*d + 1 = s. Is s equal to -304?
False
Suppose -u + 341*p - 342*p = -146, 2*u - 4*p - 268 = 0. Which is bigger: u or 132?
u
Let o = 130.8 - -11.2. Let f = o + -141.8. Let y be (1 - (-3 + 2))/9. Is f > y?
False
Suppose 0 = o - n + 552, -2*o = 2*o - 3*n + 2209. Let x = o - -378. Let u be 2/4 + x/320. Is u less than or equal to -1?
False
Let g be 76/(-494) - (1/(-13))/(21/(-121443)). Let t(a) = 76*a + 11. Let c be t(-6). Are c and g nonequal?
False
Let s = -2646 + 2027. Do s and -0.1 have the same value?
False
Let z = 264 + -274. Let i be ((-520)/(-1450))/(4/z). Which is greater: i or -1?
i
Let n be 7135/(-2)*(-1264)/(-1580). Is n smaller than -2855?
False
Suppose x = 16 - 2. Let z = -999 + 1269. Let d be (-10)/(-35) - z/x. Which is smaller: -20 or d?
-20
Let i(p) = -p + 6. Let z be i(4). Suppose z*o - 4*y + 6*y = 6, o - 9 = 2*y. Suppose 0 = w + a + 15, -3*w - o*a = -w + 36. Is -12 greater than or equal to w?
True
Let h be 2/12 + (27825/18)/7. Let c = 331 + h. Let k be ((-9)/(-6))/(18/c). Is k at least as big as 46?
True
Suppose -2*g = -n + 89, -g - 3*g = -5*n + 175. Let x = 2044/3 - 636. Let y = x + g. Which is greater: -0.05 or y?
y
Let p = 3089 + -3063. Which is smaller: p or -13?
-13
Suppose -1775 = -13*o + 6922. Let l = 