 Suppose 3*r + 4 = -5*n, -4*n - 3 + m = -5*r. Is n <= 3/55?
False
Let r be (-32)/(-48) - (-1412)/6. Let t = r - 160. Let f be (6/t)/(1/(-24)*3). Which is bigger: f or -2?
f
Let l = 11.1 - -3.2. Let f = 13.73 - -0.27. Let g = l - f. Which is smaller: 8 or g?
g
Let o = 5540.053 + -5540. Which is greater: -11.2 or o?
o
Let y(o) = 7*o + 134. Let d(m) = 2*m + 40. Let u(n) = -10*d(n) + 3*y(n). Let b = -8 - -5. Let w be u(b). Is w at most -4/7?
True
Let o(q) = q**3 - q**2 - q - 3. Let j be o(4). Suppose -j = 4*i - 73. Let x be -3*3/(-18)*i. Is x bigger than 27/5?
False
Let m be 256/18 - (-12)/(-18). Let p(b) = -21*b - 2171. Let z be p(-104). Which is greater: z or m?
m
Let l be (-1 - (-290 - -2))*(3 + -4). Let d = 143 + l. Is d at most as big as 1?
True
Suppose 3*u - 2*s = -9220, 4*u + 6088 + 6208 = 4*s. Let c be 1/(-3) - (u/333 + 9). Is -6 <= c?
True
Let p be (-4)/(16/(-146))*(-392)/(-49). Are p and 300 unequal?
True
Let s be 64/(-48)*3/2. Let m = 0.025 + 0.049. Which is bigger: m or s?
m
Let w be (3/(-786))/(154/154). Let q = 3 + -2. Do w and q have the same value?
False
Let d be 20/(618800/(-92821)) + (4 - 1)*1. Which is smaller: d or 1?
d
Let f = -2 + 3. Let y(m) = -m**2. Let b(w) = -w**3 + 3*w**2 - 3*w + 14. Let o(i) = -b(i) + 2*y(i). Let l be o(5). Is l > f?
False
Suppose 15*y + 37476 + 40359 = 0. Is y >= -0.1?
False
Let b = 1134 + -1133. Do b and -18/707 have the same value?
False
Let d be (-8*(-3)/6 - 24)/(-14)*287. Which is smaller: 16/5 or d?
16/5
Let g = 11760 + -11760.999. Which is smaller: 5 or g?
g
Let i be (1 - 0)*((-45071466)/1251987 + 36). Which is smaller: 1 or i?
i
Let o = -0.6 + 0.34. Let q = -0.06 - o. Let p = 215 - 188. Which is bigger: q or p?
p
Let f = 2792.2 + -3036. Which is smaller: 2 or f?
f
Let u(q) = 2 - 1 - 3*q**3 + 2*q**3 - q**2 - q + 2*q**3. Let z be u(1). Let a be ((-1)/(-7) - 0) + (-67)/77. Which is bigger: a or z?
z
Suppose 171 = 7*u - 123. Let h = u + -10. Do 32 and h have the same value?
True
Suppose -964 = 12*g + 3248. Let q be g/(-1014) - (2/(-4))/(-1). Let r(z) = -z + 6. Let b be r(5). Which is smaller: q or b?
q
Suppose 6*i + 270 = 282. Suppose -2 = i*f, 30*s - 27*s - 2*f = -1. Let p be (-302)/196 - 18/(-12). Is s smaller than p?
True
Let t be ((-2313)/24 + -8)*84/(-30). Do t and -2/3 have the same value?
False
Let o = -204676 + 204678. Let z be 112/55 + 4/(-10). Is z smaller than o?
True
Let n(m) = m**3 - 6*m**2 + 3*m - 2. Let d be n(5). Suppose 5*z + 3*a + 1 = 0, -4*z - 5*a = -3*z + 9. Let w be (-19 - 5)*(1/(-2) + z). Does w = d?
True
Let w be 2/(-11) + 405/1925. Let o(y) = -31*y**2 - 16*y + 16*y**2 + 29 + 30*y**2 - y**3. Let l be o(14). Is l not equal to w?
True
Let t be (-4)/(-1 + (-3)/(-9)). Let y(q) = 4*q - 18. Let n be y(t). Let d be (-100)/(-320)*n/(-10). Is d greater than or equal to 1?
False
Suppose 0*f - 6*f + 20 = 14*f. Let t = -68/111 + 6223/10138. Which is bigger: f or t?
f
Suppose 5*s - 10*s = -10. Suppose 0 = s*x - 2 - 14. Suppose x*c = -18 + 74. Which is greater: c or 6?
c
Let t = -9187.3 - -9188. Is -23.6 < t?
True
Let u be 6*1 - (-20)/5. Suppose -4*o - 132 = 4*f, -4*o + 2 = u. Which is smaller: -33 or f?
-33
Let f = 5.1811 - 2.1811. Let n = -0.5 - -0.4. Let k = 0.4 - n. Which is smaller: f or k?
k
Let l = -2.16 + 4.36. Let w = 1.2 - l. Which is smaller: w or -0.093?
w
Let a(z) = -231*z + 462. Let n be a(2). Which is smaller: -5/547 or n?
-5/547
Suppose 38*w - 24 = 26*w. Let u(a) be the first derivative of a**4/4 - a**3 + 2*a + 3. Let o be u(w). Which is smaller: o or -3/5?
o
Let f = 637 - 611.9. Let y = 26.1 - f. Which is greater: y or -2/155?
y
Let m = -3599/13 - -1292145/4667. Which is greater: m or -1?
m
Let a be 116/(-154) + (-476)/(-2618). Let r = -22 - 7. Which is smaller: a or r?
r
Let a(o) = 63*o**2 + 25*o - 41. Let b be a(2). Which is smaller: 259 or b?
259
Let w = -1363 - -1365. Is 106/119 not equal to w?
True
Suppose 93*t + 116 = 97*t. Suppose -393 = -4*p - t. Is p bigger than 91?
False
Let g(f) = -13*f + 40. Let v(s) = -12*s + 41. Let t(x) = 5*g(x) - 6*v(x). Let l be t(7). Let w(n) = n**2 - 9*n + 17. Let j be w(7). Is l at least j?
True
Let s be (6 - (-15)/(-2))*8/(-3). Let u(p) = -4*p + 28. Let m be u(s). Suppose -o = 26 - 37. Which is greater: m or o?
m
Let n = 147 + -158. Suppose -10*d - 8 = -9*d. Are n and d nonequal?
True
Suppose -146 = -3*t + 28. Let q be -1 + 0 + (6 - 3) + (65 - 2). Let h = t - q. Which is smaller: h or 9?
h
Suppose -q - 2*h - 47 - 11 = 0, 0 = q - 5*h + 37. Let v = q + 154/3. Let o = -0.07 + -0.03. Do v and o have different values?
True
Suppose 69 = -5*s + f, s - 84*f + 79*f = -33. Which is bigger: s or -184/15?
-184/15
Let z = 12716 - 12651. Which is smaller: 60 or z?
60
Suppose 4*u + 5*s = -683, u - 58 + 219 = 2*s. Is u at least -160?
False
Let l(m) be the second derivative of m**3/3 + 13*m**2/2 + 5*m + 386. Suppose -5*o - 56 = g - 13, -3*g - 49 = 5*o. Let w be l(o). Is w at most -5?
False
Let p = 6 + -12. Let c = 391 - 283. Suppose -c = 15*f + 3*f. Is p greater than f?
False
Let v be 1/(65/(-15) - -4). Let n be (-25)/(-50)*(-2)/(-1)*v. Let l be ((-267)/(-54) + -5)/(n/(-30)). Which is smaller: -0.1 or l?
l
Let o = -466 + 2329/5. Let w be 1 - (-2 + 1 + 0). Let m be w/(-3)*6/4. Is m at most o?
True
Let o(d) = 2*d**3 - 2*d**2 - d + 3. Let z be o(-2). Let t be 1848/(-220)*(-20)/(-6). Which is bigger: t or z?
z
Let w = -35/6 + 37/6. Is w < -12520?
False
Let n = 503 + -633. Suppose 6*x + 387 = 3*x. Which is greater: n or x?
x
Let g(x) = 27*x**3 + 8*x**2 - 45*x - 134. Let s be g(-4). Is s bigger than -1554?
False
Suppose 4*h - u = 7, 8 = -21*h + 17*h - 4*u. Which is greater: h or -8/3435?
h
Let q be (-3)/2 + (367/(-5))/((-12)/270). Are q and 1651 non-equal?
True
Let j = 11570/451 - 202/41. Is j > 0?
True
Let v be (1 + (-8)/16)/((-2)/524). Let q = v + 391/3. Let d = -0.14 - -0.14. Which is bigger: q or d?
d
Suppose 53*z + 117638 = -61926. Is -3389 at least as big as z?
False
Let n = -13644/7 + 12634323/6482. Which is bigger: -1 or n?
n
Let j = 13.8 + 54.2. Let r = j + -67.9. Let t = 9 - 13. Which is smaller: r or t?
t
Let c = -945 - -902. Is 14 not equal to c?
True
Let y = -189 - -32700/173. Which is smaller: y or 1?
y
Suppose 10*s - 5*s + 1 = 11. Let i(o) = 1 - 2 - o + 4. Let b be i(0). Is s at most as big as b?
True
Let i(o) = o**3 - 4*o**2 - 4*o - 5. Suppose 4*f - 5*f = -5. Let j be i(f). Let r be (0 - -3)/(118/(-295) + 2002/(-20)). Which is greater: j or r?
j
Suppose -7 = u - 5*g, -4*g + 7*g - 3 = 0. Let h be 1*((-104)/(-26) - (-10)/u). Which is smaller: 3/55 or h?
h
Let n(k) = 2*k**2 + 96*k + 1046. Let y be n(-18). Let m(q) = 4*q**3 - 2*q**2 - 3*q - 1. Let s be m(-2). Which is smaller: y or s?
s
Let f be ((-4)/(-5))/((-2024)/2040 + 1). Let y be 2/f*308 - 6. Which is greater: y or -1?
y
Let k(l) = 2*l**2 + 68*l - 10. Suppose i = -2*d - 4, -d - 21 = -i - 28. Let m be k(i). Are m and -346 unequal?
False
Let a be (-10 - -10)/(-11) + 58/(-135). Let v = -32564/76005 - a. Are 0 and v equal?
False
Suppose 36*y = -25*y. Is 1/7234 bigger than y?
True
Let n = -23776 - -28173. Do n and 4399 have different values?
True
Suppose -14*m - 23503 - 3713 = 0. Is m not equal to -1945?
True
Let w = 145 - 144.68. Let b = 1.6 - 1.82. Let t = b + w. Which is greater: -6 or t?
t
Let s = -1741.67 - -1741.7. Is 0.79 bigger than s?
True
Suppose 103*a - 83 = 20. Let i be 35/(-50)*(-10)/(-16). Is i greater than a?
False
Let g(x) = -x - 22. Let f be g(-26). Suppose f*n = -7*n + 33. Suppose u = n*u + u. Are u and -1 nonequal?
True
Suppose 41*p - 15 = -56. Is p at most 5/1358?
True
Let t = 53 + -84. Suppose -5*l + 314 = c, -10*l + 192 = -7*l - 3*c. Let j = t + l. Is j > 34?
False
Let w = -6077 + 6076.9713. Is -0.7 != w?
True
Let z be (78620/8)/(-5) + (-105)/(-42). Which is greater: z or -1964?
z
Suppose -13*p + 4829 = -3*z - 9*p, 0 = -2*p + 4. Let d = z - -1110. Is d less than or equal to -497?
True
Let n be (-4)/(-6) + (-119)/(-462)*-4. Let g = -498843/110 - -4535. Let b = g + n. Which is bigger: b or 1?
1
Let t = -2 + 5. Suppose 5*d - t + 26 = -x, 5*x + 184 = -2*d. Let k = -23 - -23. Is x < k?
True
Let f = 8/1775 + -523641/3550. Which is greater: f or -149?
f
Let c = -878 - -879. Suppose t - c = -5*y, -9 = 5*t - 14. Is -2/959 at least as big as y?
False
Let f(d) = -d**3 - 5*d**2 + 9