 Is c < 10/21?
False
Let y = 79965146/1889 + -42332. Let u(k) = -5901*k - 867447. Let m be u(-147). Is y at most m?
True
Suppose -237 = 4*v - 5*v - 3*u, 4*v = 4*u + 932. Suppose 0*w = 52*w - 12168. Is v not equal to w?
False
Let i = -17148 - -171697/10. Which is bigger: i or 4?
i
Suppose -14800 = -29*k - 48121. Is -1149 not equal to k?
False
Let x = 667.1 + 229.9. Which is smaller: 3 or x?
3
Let p = 3814/6293 + -109/203. Which is bigger: 1 or p?
1
Suppose 0 = 2*q - 191 + 57. Let s = -63 + q. Suppose 0 = 5*k + s*j - 20, -3*j = 4*k - 8*k - 15. Is k smaller than -1/7?
False
Let v(z) = -z**3 - 3*z**2 - 3*z - 10. Let o be v(4). Let y = 134 + o. Which is smaller: y or 1/43?
y
Let u = -2641 - -501791/190. Suppose -2192*s - 55 = -2273*s + 26. Which is smaller: u or s?
u
Let g(h) = -2*h**2 - 26*h + 4. Let f be g(-13). Suppose f*p = -162 - 182. Let o be p/63 - (-40)/180. Is -1 equal to o?
False
Let v be 2/(-9) - (2529/(-81) - -6). Suppose 10997 - 2972 = v*z. Is z greater than 321?
False
Suppose 0 = v + 4*w - 24, -2*v + 4*v = -2*w + 18. Let k = 3 + v. Let t(o) = 1491*o + 7460. Let i be t(-5). Which is smaller: i or k?
i
Let g = 1749 - 1759. Is g at most as big as 0.026?
True
Let z = 9.44 - 9. Let j = 0.34 - z. Let v = -203 + 205. Which is smaller: j or v?
j
Let n be 10/(-85) - (-1 - (-310)/(-34)). Suppose -n*z + 8 = -2. Is z < -1/19?
False
Let r = 1934 + -1775. Let b = -117 - -277. Are r and b unequal?
True
Let u = 689 + -741. Let d be (-2)/((-6)/(-165)) + 4. Is d bigger than u?
True
Suppose 102*p = 4*w + 97*p - 23037, -3*w + 5*p = -17274. Is w at least as big as 5764?
False
Let w(h) = 3*h**2 + 56*h + 177. Let y be w(-4). Which is smaller: -56/123 or y?
-56/123
Let x = -7002/7 - -1000. Let l = 316 + -315.782. Is l less than or equal to x?
False
Let c = -2385/2 - -1192. Is c > -8?
True
Let c(d) be the first derivative of -3*d**2 + 89*d + 260. Let s be c(15). Which is smaller: -2/1043 or s?
s
Suppose 2*h = -3*u + 3009 + 4229, -4*h + 4828 = 2*u. Is 2411 < u?
True
Let l = -30/1747 + -6898/5241. Which is smaller: -0.192 or l?
l
Let u(p) = 3*p + 3. Let o(m) = 4*m + 3. Let c(w) = 4*o(w) - 6*u(w). Let b be c(-5). Let z(a) = a**2 + 9*a + 6. Let f be z(-8). Is f > b?
False
Let m = -6.1 - -13.1. Let s = m - 34. Let x = 41 + s. Are 0.1 and x equal?
False
Let g be (-35)/15575*45/6. Which is bigger: 0.2 or g?
0.2
Let v(l) = -2*l**2 + 5*l - 2. Let g be v(4). Let c be (44/(-12))/(-16 - 539/(-33)). Which is smaller: c or g?
g
Suppose 0 = 5*d - 4*c - 1113, 4*d - c + 2*c = 882. Let o be (-38)/78 + 34/d. Is 9/5 >= o?
True
Let j be 54 - 52 - (0 + -1). Let k be ((-50)/(-15) + -4)/(j/927). Which is smaller: -205 or k?
k
Let b = -64 - -79. Let d be 1*-36*(55/b - 7). Let m be ((-6)/(-8))/(d/(-208)). Is m bigger than -1?
False
Suppose 3 = -394*t + 391*t - 6*g, -5*t + 6 = -g. Which is smaller: t or 6/61?
6/61
Let w = 8179 + -8179.53. Do w and 124 have the same value?
False
Let t be 3/9 - (-1295)/(-924). Is 0 < t?
False
Let d = 3236 - 5755. Is d less than or equal to -2518?
True
Suppose 2*d + 8 = -2*q, 4*q = 3*q - 5*d - 24. Let g = 277087/110377056 - 1/138144. Is q < g?
False
Let q be 5*6/210 - ((-1672041)/212807 + 8). Which is greater: q or -1?
q
Let u = -10.75 + -618.25. Let t = u + 630. Let l be (-31)/4 + (-1)/(-4). Which is greater: l or t?
t
Let o = 6139 - 6190. Which is smaller: o or -4?
o
Let d = 811 + -640. Is d smaller than 12?
False
Let k be 6/36 + 1/18*123. Which is bigger: 2/7 or k?
k
Let h be ((-315884)/640 - 6) + (-4)/10. Let p = -500 - h. Which is smaller: p or 0?
p
Let l(t) = 106*t**2 + 8. Let z be l(3). Let h = -662 + z. Which is bigger: h or 299?
h
Suppose 6*n + 3533 - 3573 = n. Let a = -1 + 9. Is n at most a?
True
Let j = 87167 + -48029003/551. Which is smaller: 1 or j?
j
Let q = 109 + 26. Let s = -136 + q. Which is bigger: 5/22 or s?
5/22
Suppose 0 = -15*w + 117*w - 1176264. Is 11533 at least as big as w?
True
Let h be 501/(-252) + 7 + (-20)/4. Do h and -1 have different values?
True
Let z = -510 + 518. Let o(t) = -t**2 + 13*t - 49. Let y be o(z). Which is smaller: -5 or y?
y
Let r = -90.36 + 59.36. Is 2 at most as big as r?
False
Let i = 15431 - 14014. Which is smaller: 1415 or i?
1415
Suppose 3*l + 7 = y - 6*y, -8 = -4*l + 2*y. Suppose 4*q - 4*m - l = -17, -2 = 4*q + 3*m. Let c be (50/(-45))/(q/12). Which is greater: 8 or c?
8
Let j(d) = -d**3 + 11*d**2 - 30*d - 4. Let c be j(6). Let r(u) be the third derivative of -u**4/24 - u**3 + 5*u**2. Let s be r(0). Which is bigger: c or s?
c
Let t = -289 - -1735/6. Let a = -21.95 - -0.75. Let u = -21 - a. Which is smaller: u or t?
t
Let d be (-4)/(-38) + (-77)/(-38)*-4. Which is smaller: -281/40 or d?
d
Let u be (6/(-4))/((-1)/30). Let v(x) be the third derivative of x**4/24 + 37*x**3/6 - 45*x**2. Let w be v(8). Are w and u nonequal?
False
Suppose 0 = 143*g - 163805 - 12657. Is g bigger than 1232?
True
Let x(p) = -p**3 + 33*p**2 - 74*p + 81. Let l be x(29). Let i be (-5 - l)/8*3/3. Are -163 and i non-equal?
False
Suppose -25*r = -28*r + 123. Suppose -3*a = -0*x - x + 39, x - 39 = 4*a. Which is smaller: r or x?
x
Let c be (-6)/(-27) - (4 - 831/27). Let p be ((-4)/10)/(c/15 - -7). Is p at least as big as 1?
False
Let q(s) = -3*s**2 + 24*s + 17. Let f be q(12). Let n = f + 127. Are -1 and n equal?
False
Let q be 1/(-3)*(-14 + (7 - -1)). Suppose -9*u + 14*u - 223 = 3*t, 5*t = -q*u + 114. Which is smaller: u or 42?
42
Let q be -1 + -3 + 92/16 + 15/(-20). Is 2/17175 != q?
True
Let q = -82 - 2. Let s be (7/(-14))/(2/(-3320)*-10). Which is bigger: s or q?
s
Let z(o) = -o**3 - 2*o**2 + 2*o + 4. Let r be z(-3). Suppose -134*v - 932 = -1200. Which is smaller: r or v?
v
Let i be -1 + -3 + 2 + -29. Let n = 4004 + -4036. Which is smaller: i or n?
n
Let d = 14 + 2. Let f = d - 16. Suppose 84 = -2*m - m. Does m = f?
False
Let x be (-25)/(-775) + (-1026)/93 - (-1 + -5). Is 10 < x?
False
Let m be 9 - (8 - (-10)/((-520)/(-5884))). Is 1/3 != m?
True
Let f(u) = -u**2 + 7*u - 6. Let w be (30/(-4))/((-3)/(-4)). Let p be 231/35 - (-6)/w. Let r be f(p). Is -2/51 at least r?
False
Let j be 165/((-1)/((-2)/9) - (-83 + 86)). Are j and 4 nonequal?
True
Let v be 1 - 1/(-2) - 684/72. Let j be (v/2864)/((-4)/16). Do j and 0 have the same value?
False
Let y(a) = -3*a**2 + 6*a - 1. Let w(h) = -2*h**2 + 5*h - 1. Let b(l) = -4*w(l) + 3*y(l). Let q be b(-2). Let i be 3/q*12/(-36). Which is bigger: 1/15 or i?
1/15
Let j(x) = 31*x + 454. Let d be j(-17). Is -515/7 greater than or equal to d?
False
Suppose 0 = m - 0 + 14. Let j = 943 + -3477. Let n = j + 10081/4. Is m less than or equal to n?
True
Let s(r) = -113*r + 36. Let z be s(-24). Suppose -z = 7*t + 248. Is t greater than -429?
True
Let y(d) = -56*d**2 + d + 2. Let p be y(2). Let a be -442*4*5*(-7)/(-280). Which is smaller: a or p?
a
Let q = 7420 - 7421. Which is bigger: 13/553 or q?
13/553
Suppose 7*l = 2*l + 20. Let g be (-8 - 14/(-2))*3*-1. Suppose -1 = -d + m - 0, g*d + l*m - 24 = 0. Which is bigger: 3 or d?
d
Let a(r) = -r**3 - 13*r**2 + 2*r + 30. Let m = 80 - 93. Let c be a(m). Suppose c*k = -3*o + 164, -97 = 5*o - k - 355. Which is greater: o or 53?
53
Let l = 188813/111 + -1701. Let a be (-574)/(-8) - (-72)/(-96). Let p = -72 + a. Is p at least l?
False
Let u = -3539 + 3501.7. Is u smaller than 0?
True
Let z be (-2)/11 + 1224/561. Suppose -5*o = -2*w, 2*w = -7*o + z*o. Is w not equal to 2/119?
True
Suppose 0 = 4*w - 4*m + 20, 3*m = 30 - 45. Let r be w/((-200)/(-15))*2/3. Let k = -3917/49 + 80. Which is smaller: k or r?
r
Let w(r) = -r**3 - 41*r**2 - 37*r - 28. Let q be w(-40). Let h = -141 - q. Let u = 2/657 - -5035/657. Does h = u?
False
Suppose -92 = -54*r + 29*r + 29*r. Is 2 not equal to r?
True
Suppose -5*g - v + 6*v = 2930, -3*g + 2*v = 1760. Is g < -588?
False
Let b = -0.101 + 52.101. Let r = 49.8 - b. Let z = r + 2. Which is smaller: z or -30?
-30
Let p be (-52)/2 - (-149363)/5740. Let n be ((-1)/(-3))/((-4)/(-12)). Which is smaller: p or n?
p
Suppose -7*a = a. Suppose a = 2*t + 3*t - 15. Suppose 8*x = 5*d + 3*x - 15, 0 = 5*d + t*x + 1. Which is greater: 11/6 or d?
11/6
Let p = -237.77 + 444.77. Which is smaller: 0.34 or p?
0.34
Let p(x) = -x**3 - 4*x**2 + 6*x + 2. Let b be p(-5). Let n = 1561169/14 - 111514. Which is smaller: n or b?
b
Let j(u) = 3*u - 3. Let b(t) = t - 1. Let w(c)