 r or -0.1?
-0.1
Suppose -5*q + 6*q - 122 = 5*w, 5*w + 4*q + 112 = 0. Let x(m) = -5*m - 2*m**2 + 11 - 63 + 3*m**2 - 20*m. Let u be x(26). Is u not equal to w?
True
Let k = -17 + 18. Suppose z + 16 = 21. Suppose -z*a = -2*m + 8 + k, 0 = -m + 2. Does 1/116 = a?
False
Let a(z) be the third derivative of z**6/120 + z**5/15 + z**4/24 + 2*z**3 - 3*z**2. Let m be a(-5). Suppose -31*q = -38*q - 140. Which is greater: m or q?
m
Let u(m) = -2*m**2 + m + 41. Let i be u(7). Let l be (-100)/i + (-5)/2. Which is bigger: -0.23 or l?
-0.23
Let s = 38 - 37. Let r be -2 + 13*(-4)/8. Is r equal to s?
False
Suppose -5556*q = -5585*q - 12946 + 1317. Which is bigger: -405 or q?
q
Let q = -395 + 234. Suppose 15*h = 682 - 3082. Is h greater than or equal to q?
True
Let n(v) = -2*v - 30. Suppose 4*t - 237 = 43. Suppose -8*i - t - 42 = 0. Let x be n(i). Is x > 0.21?
False
Let o = -4233.9 + 4234. Is o smaller than 0.086?
False
Suppose 5*f - 12*f = 0. Suppose f*j - 5*j + 94 = 2*c, -44 = -3*j + 5*c. Let r = -20 + j. Which is greater: -1/3 or r?
-1/3
Let z(a) be the second derivative of a**5/20 + 3*a**4/2 + 5*a**3/2 - 17*a**2 - 8*a. Let q be z(-17). Let k be 5*(1 + 5)*(1 - q). Is 30 greater than k?
False
Suppose -32*l + 358 = 616*l - 290. Let o(r) = -8*r**2 - 2*r + 3. Let g be o(2). Which is smaller: g or l?
g
Let s(l) = -l**3 - 18*l**2 + l + 23. Let c be s(-18). Suppose -4*p + 45 + 5 = -2*r, 67 = c*p - 4*r. Suppose -13 + p = -a. Is a != 6/11?
True
Suppose -m + u + 3 = 0, m - 2*u - 2 + 0 = 0. Let z be m/(17 + -3 + 0). Let w = -22 + 16. Which is smaller: z or w?
w
Let c be ((-2)/(-6))/((-2)/66). Let i = c - -18. Let p(t) = t**3 + 4*t**2 - 3*t - 7. Let g be p(-4). Do g and i have the same value?
False
Suppose -1911*d + 1912*d - 10 = 0. Let i(x) = 58*x - 330. Let v be i(d). Is v greater than 250?
False
Let i = 19362 + -19362. Is i != -1/474?
True
Suppose 0*d + 4*d - 276 = -v, -2*v = 4*d - 532. Suppose v - 58 = -11*j. Let s(h) = h**2 + 17*h - 14. Let g be s(j). Is g >= 35/9?
True
Suppose 5*s - 16 = s. Suppose -s*o = -3*o - 2. Suppose 0 = -5*i - 20, -5*d + i - 293 = -o*i. Are d and -62 non-equal?
True
Suppose 15*y = 12*y + 15. Let v be 6*-5*y/(-150). Is v < -9/41?
False
Let p = -3 + 32.9. Let o = p + -29.6. Is -30/11 bigger than o?
False
Let u be 1/((-2)/(-2696)*-6). Suppose -19*t + 689 = 4983. Is t greater than u?
False
Let n = 1671 - 1539.2. Is -0.1 smaller than n?
True
Suppose 0 = -12*m + 6*z - 8*z + 2, 0 = 3*z - 21. Which is smaller: m or 1/8190?
m
Let j be 9728/(-4560)*(-153)/(-28). Which is greater: j or -12?
j
Let t = -2112027296 - -903947260251/428. Let s = t + 987. Is 1 greater than or equal to s?
True
Let f be 341 - (4 + (-2 - -4)). Suppose -4*d - 432 = -5*u, f = -3*d - u + 2*u. Is d bigger than -112?
False
Let p = 70 - -103. Let d = p + -173. Is d less than -69/7?
False
Let y be 0/1 + (-2)/184*124. Which is smaller: -1 or y?
y
Let y be -4*(3 - (-195)/(-60)). Let d = -1.1 + 1.8. Which is greater: d or y?
y
Let s be (1 - 33/11)/(3/171*2). Is -948/17 greater than or equal to s?
True
Let n = 3 + 1. Suppose -17*z + 16*z + 10 = 0. Suppose z*j + 5*j = 30. Which is smaller: n or j?
j
Suppose -77 = 10*u - 107. Let r be 12/(-42)*u/(-384). Is r at most -1/2?
False
Let r = 874 + -1058. Is -1279/7 > r?
True
Suppose 0 = 47*l - 182*l - 895 + 220. Let v = 15 - 17. Which is smaller: v or l?
l
Let a = 5 - 3. Let l be a*1*(6 - (-618)/4). Is 322 at least l?
True
Let l = -5950 - -4028148/677. Let o = 2 + -1. Does l = o?
False
Let o = 7052 - 6932. Is o equal to 110?
False
Suppose -9 = h - 5*x, -2*h + 2*x + 2 = 4. Let y be (-6)/(-6) - h - -3. Is -1 < y?
True
Let s = -692 - -730. Let j = 0.09 - -37.71. Let i = j - s. Which is smaller: i or 2/9?
i
Let p be 252/72 - (-4)/(-40). Let m = -12/185 + -691/185. Let a = m + p. Which is greater: -27 or a?
a
Let u = 2334/5 + -137856/295. Are u and -1 non-equal?
True
Suppose 10 = 2*j, -3*j + 455 = 4*q - 0. Does 134 = q?
False
Let b(n) = -24*n - 63. Let p(k) = k - 1. Let a(q) = b(q) + p(q). Let s be a(-6). Is s <= 76?
True
Let t = -0.014 + -0.986. Let i = 24 + t. Are i and 2/11 unequal?
True
Suppose -5 = 5*i, 5*i - 8 = -5*y - 223. Let l be 0/(-2) + 1/(35/y). Let t be (-9)/(-6)*(-4)/6. Is l at most as big as t?
True
Let v be (22 + -16)*(-520)/135. Is 5 >= v?
True
Let z = 837 - 994. Let a(i) = -157*i**3 - 3*i**2 + 4*i - 1. Let k be a(1). Is k < z?
False
Let z = 4/5517 + 1599902/38619. Let k = 14902/357 - z. Which is smaller: 0 or k?
0
Suppose -4*s - 12 = 0, 3*r + 4*s - 6 = 12. Suppose 206 = r*n - 194. Does 39 = n?
False
Let s = -615502148 - -371148234632/603. Let f = s - 2186/3. Which is smaller: f or 0?
0
Let u = 2697 - 2796. Which is bigger: -124 or u?
u
Let i = -9 + 48. Let o be (5 + i/(-12))/((-1)/4). Suppose -7*m - 9*m + 16 = 0. Which is greater: o or m?
m
Let g = 2.36 + -2.57. Let j = -0.11 - g. Does 28.8 = j?
False
Let n = 109328 + -108682.87. Let a = 646 - n. Is -2/7 < a?
True
Let x = -0.597 + 0.197. Let g = 6 + -5.7. Let z = x + g. Which is greater: z or -5/3?
z
Let i be -1 - ((-16)/(-4) + (-6)/2). Let l be ((-44)/(-5))/1 + i. Suppose h - 2*h + 5 = 0, -4*t = 3*h - 43. Which is smaller: t or l?
l
Let p(a) = -a**3 + a**2 + 2. Let q be p(-2). Let n = 27/2 - q. Let k be 2 + (-99)/48 - 6885/7344. Which is greater: k or n?
n
Suppose -2537 - 1575 = -2*d. Let g = 26700/13 - d. Do g and -1 have different values?
True
Let m be 1/2 - 6641/(-58). Let n = 273 - m. Is 159 equal to n?
False
Suppose 0 = -b - 4*y + 21 - 7, 9 = -3*b + 5*y. Suppose -5*h + 3 = 3*l - b, -2*h + 2 = -5*l. Let z be (6/(-5)*(-10)/3)/(6128 + -6127). Which is bigger: z or h?
z
Let l = -148.5 + -258.5. Which is smaller: l or 2/5?
l
Let a(t) be the third derivative of t**5/60 + 7*t**4/8 + 89*t**3/6 + 2*t**2 - 11*t. Let b be a(-19). Which is smaller: 49 or b?
49
Let n be (-2)/6 + (-182)/(-624)*356. Is n >= 3?
True
Let t = -6.2 + 7. Let o = -0.001 - 0.939. Let p = o + -0.06. Which is bigger: t or p?
t
Let q(n) = -n**3 - n**2 - n + 3. Let g be q(0). Suppose 4*b + 48 = -g*i, -3*b = 3*i + i + 29. Let d = -26.8 + 27. Is d equal to b?
False
Suppose 0*h + h = -5*q - 16, -4*h = -2*q + 20. Suppose 216*v + 470 + 1042 = 0. Is v less than or equal to h?
True
Suppose 6*n - 12 = 2*n, -3*r = -5*n + 105. Let y be 3/(-3)*-9*(-25)/r. Which is smaller: 7 or y?
7
Let y be 2758/54 + (-22)/297. Let v be -2 + (-2 - (165/y + -5)). Is v less than or equal to -1?
True
Let p be 1/(-1)*46/(-1). Let f = -25407 - -25407.1. Is f bigger than p?
False
Let m be 4/5 + (-84)/30 - -4. Let a be (-6)/6*m/2. Is -4/25 != a?
True
Let b = 12 - 38/3. Suppose 19 - 25 = -14*q + 78. Is q greater than b?
True
Let u = -1227393529/159885 + 84444/11. Which is greater: u or 0?
u
Suppose 3 = -p - 4. Let g be 108/(-1)*p/14. Let x = g + -66. Which is greater: x or -4?
-4
Let b be 6 + (6/7 - 223650/32144). Is 0 at least b?
True
Suppose -n + 64 = 4*j, -2*n + 2*j - 44 = -202. Let w = 53 - n. Let q = 40 - 63. Is w at least as big as q?
True
Let l = 165865/5325158 + 3/10462. Which is greater: l or -1?
l
Let r = 142 + -136. Suppose -17 = -l + 4*g, -l - r + 7 = 4*g. Is l equal to 6?
False
Let v = 8910965384239 - 857056650670021861/96180. Let a = 15376/105 + v. Let u = a + -3/229. Which is smaller: 3 or u?
u
Let y be ((-64)/128)/(2/4). Let n(r) = -8*r**2 - 5*r + 4. Let v(t) = 4*t**2 + 3*t - 2. Let w(s) = -6*n(s) - 11*v(s). Let h be w(y). Which is greater: 1 or h?
h
Let d be -10*(-1)/((-6 + 7)*-1). Suppose 0 = -4*c - 4*p - 28, p + p = 10. Which is greater: d or c?
d
Suppose 2*p + 29*l + 10897 = 28*l, 2*p - 4*l + 10922 = 0. Let a be p/(-909) - 10/15*9. Is 0 greater than or equal to a?
True
Let t = -14922 - -14926. Is t != 219/41?
True
Suppose 0 = 17*q - q - 48. Suppose 2*n - 176 = -2*u, q*n - 4*n + 78 = 3*u. Let b be (11/198)/(1/n). Is b at most as big as 5?
False
Let k = 296 - 267. Is k at least -1/23?
True
Suppose -l = 3*v + 3086, 2*v - l = -v - 3088. Let n = 134801/131 + v. Which is smaller: 0 or n?
0
Let a = 4184 - 4215. Which is smaller: a or -91/3?
a
Suppose 5*f - 2*r + 78 = 12, -5*f + 3*r = 69. Let n be (-3*1/(-12))/(f/32). Let s = -21 - -64/3. Is n less than or equal to s?
True
Let x be (-6)/(-45) + (-501)/45. Let w = -33 - x. Let c be 4/w + 4/22. Is c less than -2/77?
False
Let x = -55.6 - -69. Let k = x + -13.48. Which is smaller: k or 14?
k