h is bigger: -1 or d?
d
Let a = 1/162 - 68/81. Is -5 greater than or equal to a?
False
Let z(o) = -o**3 - o**2 + o + 5. Let p(q) = -q + 2. Let j be p(2). Let t be z(j). Suppose m - t*m = -4. Which is smaller: -4/11 or m?
-4/11
Suppose -3*k = 5*d - 9, 0*k - 2*k + 6 = 4*d. Suppose -2*j = -2*o - o + 5, 5*o - 10 = 3*j. Suppose d = 3*v - 8*v + 3*p - o, 0 = p. Which is smaller: v or 9?
v
Let x(u) = -u + 2. Let c be x(6). Suppose 57 = 57*r + 342. Which is smaller: c or r?
r
Let u(g) = -g**2 - 13*g - 29. Let c be u(-8). Let r = -4 + 6. Suppose -5*q = 3*b - 13, 5 = -5*b + r*q + 68. Is c greater than b?
False
Let p be (-1 + (-4559)/(-4491))/(25/80). Let h = -2/499 + p. Which is bigger: 1 or h?
1
Suppose 4*y - 3*b + 5*b = -120, 5*b = 0. Let z = 31 + y. Is -3/10 at least as big as z?
False
Let l = 1759 - 555. Which is greater: 1205 or l?
1205
Let h = 0.1 - 0.2. Let j = -0.1 - h. Let p = 0.314 + -0.264. Which is smaller: j or p?
j
Let b = -8441/4 - -2100. Which is smaller: -9 or b?
b
Let z be 16/(-152) + 238/1900. Is 0 at most as big as z?
True
Suppose -d = -2*s + 6*s - 39, -5*d - 2*s + 213 = 0. Suppose 3*u = 4*m - 39, 23 + d = 5*m + 2*u. Is 10 >= m?
False
Let b = -2.908 - 0.092. Which is smaller: b or -0.05?
b
Let h = -9.1 + 0.1. Let u = h + 7. Are u and -2/5 non-equal?
True
Let j(h) = -119*h + 1. Let v be j(-1). Let d be 4/(-18) + v/(-1890). Is d less than 1/2?
True
Let c = -5 + 2. Let t be 2/(c + (-2 - -2)). Let a = -6 + 7. Are a and t nonequal?
True
Let l be -3 + 10/(-40)*-8. Is l > -0.5?
False
Suppose 46 = -t + 49. Suppose -7*i + 4*i - t = 0. Do i and 2/27 have the same value?
False
Let o = 8 - 6. Let c be o/11 + 15/(-143). Suppose 3*i + 11 = -4*j, -i + j + 6 = -5*i. Which is smaller: i or c?
i
Suppose 36 = -2*f - 0*f - 6*z, -14 = -2*f + 4*z. Suppose 2*q = 5*q + 6. Let t = q - f. Is t smaller than 1/4?
False
Let v be (10/(-20))/(1/6). Let s = 7.08 - 7. Let k = 0.02 + s. Is v not equal to k?
True
Let x = -21 + -102. Let l = x - -849/7. Which is bigger: l or -1?
-1
Let t = -408 + 402. Which is bigger: t or -13?
t
Let g(y) = -y**3 + 7*y**2 + 2*y + 4. Let k(t) = t**3 + 9*t**2 + 6*t - 9. Let r be k(-8). Let h be g(r). Let f be (-2)/(-7) - h/14. Which is greater: f or -2?
f
Let o be (-13 - -15)/((-4)/(-58)). Let y = 8 - o. Is -2/7 greater than y?
True
Let l(d) = -8*d**2 - 21*d + 6. Let w be l(-2). Which is smaller: w or 14?
14
Let z(l) = -18*l + 88. Let t be z(5). Let s(h) = h - 4. Let v be s(2). Is v less than or equal to t?
True
Let l = -39 + 44. Suppose h + l*t = 20, h = 2*t + 3*t - 20. Which is greater: -1/58 or h?
h
Let y be 4/(-18) + (-12981)/(-58293). Let l = y + -45355/34544. Let w = -217/80 - l. Is w less than -2?
False
Let u = 24.42 + -24.32. Is u at most 73/2?
True
Let m(i) = -32*i + 37. Let c be m(-4). Are 165 and c equal?
True
Suppose 17*b = 15*b. Suppose -5*i + 2*o + 17 = 6*o, -3*i + 3*o - 6 = b. Is i greater than or equal to 0?
True
Suppose -3*d = -5*d + 5*z - 6, 2*d - z = 2. Let q = 91384/39611 - -2/3047. Which is smaller: q or d?
d
Let a(r) = -3*r**2 - 16*r + 1. Let i be a(-11). Is i less than -188?
False
Suppose 1055 = 9*t + 1037. Suppose -2*i - 18 = -0*i + 4*s, 0 = -3*i + 4*s + 23. Let f be ((-1 + 0)/(-1))/i. Is f less than or equal to t?
True
Let m = -1912/11 + 174. Suppose -4*u + 5*g = 4, 2*u - g - 2*g + 2 = 0. Are u and m equal?
False
Let u = -20562621169/59220646905 - -24/7212355. Let d = -17/69 - u. Let h = d + -1322/1309. Which is bigger: h or 0?
0
Suppose 3*b + 1 = 4*b. Let v = 5278/15 - 352. Let l = -1/5 + v. Is l != b?
True
Let v be 338/91 - 2/(-7). Suppose l = 3*p - v - 3, l - 5*p + 13 = 0. Is 2 less than l?
False
Let j(l) = -2*l**2 + 2*l + 2. Let m be j(2). Let q be 126/49*28/6. Suppose 30 = -5*s + 5*y, -s - y + q = -5*s. Are m and s unequal?
False
Let i = 1286 - 1282. Which is greater: i or 43?
43
Let s(o) = -28*o + 37. Suppose -3*n + 12 = n - 3*x, n - 3*x - 3 = 0. Let p be s(n). Is -47 greater than or equal to p?
True
Let r = -29 + 27. Let s be (-6)/(-8)*(-8)/r. Is 0.5 equal to s?
False
Suppose -22*m - 68 = -26*m. Suppose m*a - 60 = 12*a. Is 1/7 at least as big as a?
False
Let p(y) = y**3 - 1. Let g be p(0). Suppose -3*z - 1444 + 394 = 0. Let l = z + 2442/7. Which is greater: g or l?
g
Suppose 3*t + 5*v + 10 = 0, 18*t = 13*t + 5*v + 10. Is 1/3 smaller than t?
False
Suppose 0 = -16*z + 58*z + 2184. Is z at least as big as -47?
False
Suppose -c = -5*k - 32, k - 3*c + 7*c - 23 = 0. Let g = 2 + -7. Is g greater than or equal to k?
True
Let x(m) = 2*m + 8. Let n be -7 + (-1 - (4 + -7)). Let j be x(n). Is j less than -0.04?
True
Let j be (3/6)/((-63)/1368). Which is smaller: j or -10?
j
Let s = 9213/14 + -655. Let i = 3/7 + s. Let b be 4*3*(-2)/(-6). Is b bigger than i?
True
Let g = -25 + 33. Let h be (-6)/g - (-12)/16. Suppose l = -h*l + 4, 0 = 4*n + l. Is -1/6 <= n?
False
Let j = -4004 - -3314. Is -0.3 greater than j?
True
Let k = 337020/11 + -30560. Which is smaller: 79 or k?
k
Let g = 47 - 33. Suppose -3*p = -2*z - p + 20, -z + 4*p + 1 = 0. Which is smaller: z or g?
z
Let w = -196 - -196. Is 2/1051 at most w?
False
Let s(a) = -a**2 + 25*a - 75. Let d be s(25). Is d greater than or equal to -76?
True
Let z = -480 + 481. Which is bigger: z or -2/15?
z
Let x be (-2 - -6)*(-3)/(-4). Suppose 3*y + 4*c + 12 = -0*c, -5*c = -x*y - 12. Let k be (-20)/(-5)*y/8. Is -4/3 bigger than k?
True
Let v be (9 - (-130)/(-9))/(-2 - -1). Which is greater: 5 or v?
v
Suppose -5*p - 5*w + 20 = 0, -5*p + 4*w - 4 = 3*w. Let y be (-2 - (-172)/46) + -2. Is y less than p?
True
Let i = 26 + -67. Let j = 125 - 125. Which is smaller: i or j?
i
Let i = -24 - -24. Suppose i = z - 6*z - 4*x - 7, 5*x + 14 = -z. Are z and 1 non-equal?
False
Let s be -1 + 7 + (-4 - -1). Suppose -175 = -s*y - 2*y. Suppose 3*l + 27 = 4*k, -4*k - k = -4*l - y. Is -5 < l?
False
Let v = 0 + 3. Let j(x) = 14*x - 6. Let n be j(v). Suppose 5*g - g = -n. Are g and -9 unequal?
False
Let r(h) = h**3 - 13*h**2 - h + 15. Let u be r(13). Let t be (u - -2) + (-5100)/1272. Is t smaller than -1?
False
Let g be (8/(-90))/(7/(-70)). Suppose -80*s = -31*s - 49. Which is smaller: g or s?
g
Let i = -166 - -117. Are -47 and i non-equal?
True
Suppose -4*g = 71 - 75. Suppose 3*j = -4*j - 28. Is g less than j?
False
Let p = 3091 - 3071. Which is smaller: 245/12 or p?
p
Let x be 64/21 - -5*4/70. Is x at most as big as 2/7?
False
Let r be (20/10)/((-7)/2). Let s = 45 - 47. Which is greater: s or r?
r
Let o be (18/(-12))/(1/(-2506)*-7). Is -536 at most o?
False
Let k = 88 - 111. Let u = 0.36 + -19.36. Let o = u - k. Is 0.3 smaller than o?
True
Suppose 3*k = -5*t + 68, -3*k - 4*t = -5*t - 62. Let d(j) = 4*j**2 - 2*j - 1. Let q be d(-2). Is k less than or equal to q?
False
Suppose 5*x = c + 4, -11*x - 2*c - 8 = -15*x. Is 2/249 < x?
False
Suppose 2*v - 4*d + 154 = 4*v, -5*d = v - 83. Let g = -74 + v. Which is smaller: g or -1/9?
g
Let k(g) = -272*g - 23. Let l be k(-1). Is 245 < l?
True
Suppose -g = 2*n - 4*g - 45, 0 = 2*n - 5*g - 47. Let r be n/(-35) - 14/(-90). Which is greater: 0 or r?
0
Let n = 6.9 + -128.3. Let s = n - -121. Is s smaller than -1?
False
Let o be (605/11)/(10/4). Which is smaller: o or 18?
18
Suppose 37 = -5*f + 272. Which is smaller: 48 or f?
f
Let j = 413 + -5787/14. Let z(r) = -r**3 + r**2 + 14*r - 8. Let f be z(4). Does f = j?
False
Let v(o) = 3*o + 2. Let y be v(-2). Let t be (0 - (-153)/12)/(-3). Is y > t?
True
Let g = -103/6 - -39/2. Let s = 129/28 + -34/7. Is s > g?
False
Let b be (-9)/(-198)*208/(-189). Let t = -1/27 - b. Is t less than 1?
True
Let v = -86181 - -16374441/190. Let m = v - 7/19. Suppose -2*w - w + 3 = 5*k, 4*k = 0. Is w <= m?
False
Let i be ((-12)/(-7))/((-12)/(-42)). Suppose i*t - 60 = t. Let r = 7 - t. Which is smaller: -4 or r?
r
Let s be (3 - 0)*(-4930)/(-34). Which is smaller: s or 436?
s
Let k(l) = -l + 1. Let c(q) = 3*q - 2. Let v(o) = 4*c(o) + 11*k(o). Let z be v(-7). Is z <= -5?
False
Let w(v) = -v**2 - 2*v + 21. Let m be w(-6). Let z be (3/2)/(33/6 + m). Is z bigger than -3/2?
True
Let c = 4114 - 4113. Let q = -631/63 + 10. Is c greater than or equal to q?
True
Let p = 2 - 1. Let l = 0.005 + 0.025. Let f = l + 1.47. Does p = f?
False
Suppose 4*n + 20 = 0, n + 26 = 2*d - 3*n. Suppose 3*l = -3*t - 18, 6*t = d*t + 2*l - 23. Which is smaller: -9 or t?
-9
Let p