 m non-equal?
False
Let x = -407 + 406. Suppose -2*f + 0*d = 5*d + 74, -2*f - 4*d = 70. Let q be (-67)/46 + f/(-18). Is x at most as big as q?
True
Let l(p) = -2*p**3 + 35*p**2 + 56*p + 25. Let c be l(19). Let v = -13222/7 - -1894. Is c at most v?
False
Let v = -463.975 + -2.025. Is v less than 4?
True
Let y = -0.11 - 3.89. Suppose 4*n = -4*k + 3*n + 70, 0 = -3*k - 3*n + 48. Which is greater: y or k?
k
Let l be (-171)/(-13) + (-6)/39 - -2. Let a be (10/l - 0)*15/2. Is 5 at least a?
True
Let j be 0 - (1/(4/316))/((-3)/6). Are 159 and j equal?
False
Let s(t) = -t**2 + 203*t - 977. Let q be s(0). Which is smaller: q or -6834/7?
q
Let u = -98729/21888858 + -1/24902. Which is smaller: u or 0?
u
Suppose t + 3*o = 4*t - 12, 2*o + 8 = 5*t. Let k be -124 + (18/(-6))/(-2 - -1). Let x = k - -604/5. Which is bigger: x or t?
t
Suppose 47 = -4*m + 55. Suppose -107 = -5*w - m*j, -4*w + 104 = -6*j + 3*j. Let i be (-6 - 3)*-3 - (1 - -3). Is w > i?
False
Suppose -37*y + 7263 = 27*y + 2783. Suppose 4*s = 109 + 179. Is y > s?
False
Let i(l) = l**3 - 18*l**2 + 20*l + 44. Let p be i(11). Let z = -366 - p. Are 217 and z non-equal?
False
Let u be 0 + ((-2)/(-7) - (-8561)/49). Let t = -312 + u. Is -139 != t?
True
Let x(g) = -11*g - 29. Let u be x(-9). Let k = 73 - 2. Is u greater than or equal to k?
False
Let t(d) = -d**3 - 9*d**2 + d - 19. Let c be t(-10). Suppose -2*n - 219 = -c. Let i = -73 - n. Is 5/26 < i?
True
Let p = -3013 - -4604. Which is bigger: 1585 or p?
p
Let u = -0.3956 - -32.7356. Let n = u - 32. Let j = 0.86 - n. Is -0.1 <= j?
True
Let u(n) = -3*n**2 - n + 313. Let o be u(0). Which is bigger: 317 or o?
317
Let a = -89 - -89.77. Let y = a - 1.1. Let w = y + 17.33. Is -0.1 <= w?
True
Let u = -10584 - -714. Which is bigger: u or -9869?
-9869
Let r = 7779 - 7779.18. Which is greater: r or 0.283?
0.283
Let i = 7316 - 7315.9. Which is smaller: -511 or i?
-511
Let x be (-48)/(-744) + (-179023)/(-31). Do x and 5775 have different values?
False
Suppose 0 = 4*g - 2*a + 6*a - 20, 5*g = -3*a + 17. Let t be (0 - (-8 - -4)) + g. Suppose t = 5*v + 10. Do v and 1/46 have the same value?
False
Let h be 6 - 2/((10/(-5))/(-6)). Suppose 22*c + 606 + 450 = h. Which is greater: c or -47?
-47
Let v = 0.099 + -0.149. Let a = -10.45 + v. Let c = -10.41 - a. Is -1/3 <= c?
True
Suppose d + 19 = 3*g, -4*g + g = -2*d - 23. Let z = g + 20. Suppose -5*m - 4*a - 30 = 0, m + a + z = 4*a. Which is smaller: -7 or m?
m
Let j be 210/(-198) + (-5)/(660/(-8)). Let g be ((-22)/(-192))/(1/(-3)). Let o = -251/544 - g. Is j greater than or equal to o?
False
Let z be 1 + -1 - (0 + 0 + 1). Let j be 63 - (z + 8/12)*0. Is j bigger than 67?
False
Let o = -359407/61583775 - -25/4391. Which is bigger: o or 0?
0
Suppose 0 = 9*m - 10*m - 3*l + 26, -4*m + 29 = -3*l. Suppose 3*t - 22 = m. Is t at least 9?
True
Let j = -57 + 44.5. Let s = j + 18. Let n = s + -5.6. Which is smaller: -12 or n?
-12
Let q be 0 - (-3 + 48/20). Let r be (-125)/135*-3 + 0 + -3. Are r and q equal?
False
Suppose 0 = -2*x + 3*x - 7. Suppose 9*v - 13*v = -2*a - 32, 4*v - a = 26. Is x > v?
True
Let g = -3146 + 1370. Which is smaller: -1775 or g?
g
Let t = -38/10891 + -32483/54455. Let f = -32.2 - -22. Are t and f unequal?
True
Let h = -201398/5 - -40125. Which is smaller: h or -154?
h
Let m = -1.48 + 94.48. Let a = 65 - m. Let r = -28.07 - a. Is 2/3 >= r?
True
Let j = 255.716 + -257. Let q = -0.184 - j. Is 2 less than q?
False
Let u = -3 + -20. Let g = -516 + 515.661. Let y = g - -0.339. Is y equal to u?
False
Let b(o) = -3*o**3 + 22*o**2 + 27*o - 87. Let a be b(8). Let p = -4410795703/4445 - -992305. Let y = p - -3/127. Which is bigger: a or y?
a
Suppose 0 = 5*d + 2*h - 32, 4*d + 0*h - h = 23. Let y be 132/30 + d/(-15) - 89. Which is smaller: -86 or y?
-86
Let g be ((-3392)/(-3))/4 + (-5)/(-15). Suppose -g = 4*h - 335. Suppose 5*w = 4*z + 74, -z + 4*z + 31 = 2*w. Which is greater: h or w?
w
Let i = -0.5 + 1.3. Let m = -2.46 - -0.16. Let g = m - -2.4. Which is bigger: g or i?
i
Let h(g) = -4*g + 31. Let a be h(7). Let f(m) = -m**3 - 5*m**2 + 5*m + 1. Let s be f(a). Let w = s - -42. Is w < -64/5?
True
Let x be 0 - 5 - (67 + -9*(-3)/(-3)). Which is smaller: 43 or x?
x
Suppose -10 = -12*p + 10*p. Suppose -p*u = -3*d - 21, 0*u + 4*d + 20 = 4*u. Let z be 3/u - (-3 + 52/14). Which is smaller: -31/5 or z?
-31/5
Let j = -593/192 - -155/64. Which is smaller: j or 0.0137?
j
Let j = 1558.6 + -836.6. Which is smaller: -0.5 or j?
-0.5
Suppose 4*z - 16 = 0, -82*g = -79*g + 4*z + 14618. Which is bigger: g or -4877?
-4877
Let g = 2718 - 4271. Which is greater: g or -1551?
-1551
Let z = 204 - 201. Suppose 91 + 83 = -5*y - 2*h, -z*y = 5*h + 112. Is y <= -3/5?
True
Let h = -156 + 239. Let y = -390 + h. Which is greater: -308 or y?
y
Let w = 4659 + -4660. Is w at least as big as 2/10683?
False
Let w = 86.08 - -126.24. Let k = w - 213. Is -3 >= k?
False
Let h be (4784/(-416) - (-11 - 0)) + (-1)/(-1). Are 1/553 and h non-equal?
True
Let v(i) = -2*i + 33. Let a be v(15). Suppose r + 24 = -4*z - a*r, 5*r = 5*z - 20. Let k = -12 + 11.3. Which is smaller: z or k?
z
Let g = -474 - -446. Let k be 8/20 - g/(-20)*11. Which is greater: -13 or k?
-13
Let i(l) = -3*l**2 - 11*l - 5. Let o be i(-4). Let a be ((-20)/o)/((-1)/(-2)). Suppose 2*b + 3 - 30 = -5*d, 2*b = 3*d - 13. Which is smaller: a or d?
a
Let s = -50488.3 - -50488. Let t = 6.7 + -55.7. Is s bigger than t?
True
Let l(b) = 10*b + 36. Let z be l(-6). Let u(j) = -4*j**3 - 2*j**2 + 5*j + 6. Let o be u(2). Is o >= z?
True
Let z(p) = p**3 + 7*p**2 - 5*p + 7. Let b be z(-9). Let r = b - -248. Let j be r/(-24) - (-3)/4. Is j at most as big as -21/4?
False
Let g be (-130)/14*(-264)/(-110) + -5. Do g and -27 have the same value?
False
Suppose 0 = -2*o + 37 + 1. Let f = -24 + o. Let u(l) = -l**2 - 5*l - 1. Let q be u(f). Which is smaller: q or -6/17?
q
Suppose -2*g - 3*y = 1, -4*g - 2*y + 2 = -16. Let d = 2 - 2. Suppose 0 = 6*u - 2*u + 2*i - 8, d = u + 5*i + g. Which is smaller: u or -1?
-1
Let k(b) = b**3 + 2*b**2 - 21*b - 88. Let f be k(-4). Let m(g) = g**3 + 37*g**2 + 40*g + 144. Let z be m(f). Is z greater than 42/41?
False
Let d(a) = -a - 3. Let n be d(-10). Suppose -5*m + 11 = 3*f, 3*f - 8*m - 5 = -n*m. Suppose f*l - 29 = -37. Which is smaller: 2 or l?
l
Let z(y) = 2*y**3 + 3*y - 2 + y**2 - 2*y**3 - y**3. Let g be z(-2). Let p be -26*(-3 + 2)*(-2)/g. Is -13 < p?
False
Let x be 6 + 6/(-9)*573. Let o = x + 377. Is 12/41 smaller than o?
True
Let r = 0 + 2. Suppose 3*v + 21 = -q + 2*q, -3 = r*q + 3*v. Let n be 372/36 - 2/q. Is 21/2 != n?
True
Let h = 7/143 - 6243/121693. Suppose -12 = 2*i - 5*k + 10 - 4, -2*k = -8. Is i < h?
False
Let y = -729643/40 - -18241. Which is smaller: y or -8/7?
-8/7
Let a = 62 - -352. Suppose -13*u + 4*u = a. Which is greater: -44 or u?
-44
Let x(g) be the third derivative of 5*g**4/3 - g**3/2 + 2*g**2 - 41. Let u be x(2). Which is smaller: u or 78?
u
Let s be ((-2)/(-7))/((-4)/(-868)). Let i be (3 - -129)*(-22)/(-44). Are i and s non-equal?
True
Let f = 4492.62 - 4493. Which is smaller: f or 8?
f
Suppose -176*a + 4*q - 10 = -174*a, -5*a = 5*q - 5. Which is smaller: 1/6362 or a?
a
Let p(t) = -4 - t**2 - 55 + 24*t + 10. Let z be p(21). Let q be (-9)/((-252)/8) + 80/z. Is q less than -1?
False
Let p = -3011 - -5059. Is p smaller than 2047?
False
Let k(b) = -38*b**2 - 14*b + 2. Let g(u) = 13*u**2 + 5*u - 1. Let y(m) = -14*g(m) - 5*k(m). Let r be y(-2). Suppose -4*c - r = -300. Which is smaller: c or 65?
65
Let j be ((-72)/(-14))/(14/1176). Suppose 35*h - 41*h - j = 0. Is -75 >= h?
False
Suppose 0 = 3*u + 20 - 26. Let j be (2/(-3))/(0 + u/3). Let v be (-3)/7 - -4*j/(-14). Which is greater: -0.02 or v?
-0.02
Let a be (-4)/304*(8 - 924/133). Are a and 1 equal?
False
Let w(c) = 4*c**2 + c. Let s be w(-3). Let q be (-22 + 8)*-5*2/4. Which is greater: q or s?
q
Suppose 0 = -5*q + 17 + 33. Let t(w) = w**3 - 7*w**2 - 32*w + 13. Let o be t(q). Is -10 at most as big as o?
True
Let q = -934 + 1128. Suppose -5*b + 576 + 394 = 0. Do b and q have different values?
False
Let z be 8/6*(-27 + 12). Let o be (5/(-81))/(z/24). Which is smaller: -1 or o?
-1
Let d(c) = c**3 + 17*c**2 - 17*c + 20. Let f be d(-18). Let v be -2 - f*69/(-66). Let z = v + -57/869. Is -2/3 < z?
True
Let n = -1582 + 1027. Let i = n