). Suppose 0 = -h - 3*o + 1, -o - 13 = k*h - 0*o. Is h greater than or equal to -1?
False
Suppose -3*t - 2*t + 30 = 0. Suppose 4*i + 5 + t = -d, -21 = -5*d - i. Let h = 5 - d. Is h at most 1?
True
Suppose -46*z - 5117 = -1299. Is z < -165/2?
True
Let s = 0.9 - 0.5. Let q = 11.21 + -10.71. Let k = s - q. Is 2/3 < k?
False
Suppose 7*u + 15 = 2*u. Let r be (-107)/12*u + (-2)/(-8). Is 27 at least as big as r?
True
Let l = -1927 + 2096. Does 2/3 = l?
False
Suppose -13 = 5*g + 157. Let t = g - -35. Which is greater: 2/71 or t?
t
Let v be ((-122)/(-2))/(6/(-13 + 7)). Which is smaller: v or -560/9?
-560/9
Suppose y + 141 = 3*z + 2*z, 4*y + 116 = 4*z. Let f = z + -24. Let j be (-2 + f + -4)/(-40). Which is bigger: j or 1?
1
Suppose -17*r + 250 + 56 = 0. Is 69/4 at least r?
False
Let w = 621 - 606. Which is greater: w or 17?
17
Let l(p) = -5*p**2 - 1 - 2*p - 5*p + 6*p**2 + p. Let u be l(6). Let x = 44 - 2334/53. Which is greater: x or u?
x
Suppose -3*j - 20 = -5*k, k + 2*j + 1 + 8 = 0. Let q = -31 - -33. Let t be (q + 0)/(4 - (1 + -5)). Is k bigger than t?
True
Suppose -9*o = -173 - 61. Suppose -o = -5*m + 3*m. Is m at most as big as 12?
False
Let r be (-8)/10*1 - 10/(-8). Which is bigger: 1 or r?
1
Let n = -0.386 + 0.573. Let v = n - -0.013. Which is bigger: v or 2/5?
2/5
Suppose -n + 5*n = -3*t + 32, -5*n - t + 40 = 0. Let j(b) = -8 + 2*b + 0 - 2 + 7*b + 7*b**2 - b**3. Let d be j(n). Is -5 greater than or equal to d?
False
Let j = 1/306 - 1/17. Which is smaller: j or 0.04?
j
Let v be 19 - 6*(-4)/(-12). Let r(i) = 2*i**2 - 11*i - 18. Let w be r(v). Let d = w - 8203/22. Is d less than -1?
False
Let u(o) = o**3 - o**2 + 5*o - 1. Let f be u(0). Which is smaller: 2/57 or f?
f
Let a = -47 + 68. Suppose -2*b = 3*b + 5*x - 45, -5*x + a = 3*b. Suppose -q = -13 + b. Which is smaller: -0.8 or q?
-0.8
Let h be (-32)/80 - 2/(-5). Let o be (-44 + h)/(714/24). Let b = 30/17 + o. Is 0.3 greater than b?
True
Let h = -1.921 + 2.121. Are 3/386 and h equal?
False
Let x(f) = 11*f**3 + 3*f + 2. Let k = 67 + -68. Let m be x(k). Which is bigger: m or -14?
m
Let p = 1 + -1. Suppose -c = c + 5*d + 4, p = d. Which is greater: -1 or c?
-1
Let n be (20176/(-15))/(-8) - (-2)/(-15). Let r be ((-12)/n)/(3/(-18)). Is 0.3 smaller than r?
True
Let t = -1673/2200 + 41/55. Which is greater: t or 1?
1
Let n = 2044 + -419021/205. Is n greater than or equal to 1?
False
Let g = -903 + 1586. Is 1 bigger than g?
False
Let f(m) = 9*m + 19. Let n(v) = -5*v - 10. Let y(a) = -6*f(a) - 11*n(a). Let d be y(0). Suppose -7 = -2*p - u - 2*u, u = 5*p + 25. Are d and p equal?
True
Let k be (267/231)/1 - (-236)/413. Which is greater: k or -0.6?
k
Let v = 9.22 - 0.22. Let c = v - 9. Let l = -8 + 17/2. Is l bigger than c?
True
Let i = 2 - -6. Let j = i + -7. Let y be (-24 - 0)/(12/8). Which is bigger: y or j?
j
Let v = 2.795 + -2.995. Is 119/3 greater than or equal to v?
True
Let r = -0.079 - -0.209. Let v = 90 + -448/5. Which is smaller: v or r?
r
Let a be 0/(-1 - -5) - -2. Let s(v) = 4*v + 4 - a - 5*v + 2. Let g be s(3). Which is greater: g or 2/65?
g
Let q = -2769888/67 - -9948626259/240664. Let c = -3/898 + q. Is c not equal to -4?
True
Suppose 2*k = 4*q - 26, 3*q = k - 0*q + 15. Which is smaller: -28/3 or k?
-28/3
Let a = 106 - 6. Let o = 60 - a. Let k = 39.9 + o. Is k at least as big as 22?
False
Suppose 0*u - 120 = -2*u. Let d be ((-6)/(-5))/(18/u). Suppose d*w = w - 6. Are -3/5 and w equal?
False
Suppose h - 4083 = -5*b, -3446 = -5*b - 5*h + 649. Which is bigger: b or 814?
b
Let t = -123.8 + 122.8. Let m = 0.07 - -0.23. Let u = -0.35 + m. Is t greater than u?
False
Let g(x) = -x**3 + x**2 - 2*x + 28. Let k be g(0). Let y be (-2 - -1) + (-4)/k. Which is bigger: 0 or y?
0
Suppose 2*m - 4*a = -14, -5*m + 7 = 6*a - 2*a. Let x be (0 - -1)*(2 - m). Let o be (-7)/56*4*0. Is x smaller than o?
False
Suppose -3*a - 510 = -4*y, 7*y + 360 = -2*a + 3*y. Which is smaller: a or -175?
-175
Let h = 0.0299 + 5.0301. Let r = h + -5. Let m = -0.16 + r. Which is smaller: -3 or m?
-3
Let l = 193 - 107. Let k = -86 + l. Which is smaller: 1/47 or k?
k
Suppose -3*k = 2*k - 20, n + 3*k = 18. Suppose w - n + 1 = 0. Suppose 4*s = w*s. Which is smaller: -3/5 or s?
-3/5
Let w be (-4)/6*1/(-4). Suppose 2 + 7 = -5*r - 3*a, -3*r = 3*a + 9. Suppose 0 = -r*c + 4*c. Is c less than w?
True
Suppose -4*b + 112 = -4*m - 3*b, -3*m - 5*b - 107 = 0. Let i = -1784 - -1757. Is m at most as big as i?
True
Let x(u) = 9*u**2 + 36*u - 4. Let p be x(-4). Suppose l = -3*o - 9 - 4, 16 = -4*o - 2*l. Let c be o + ((-2)/2 - -2). Is p at least c?
True
Let r = 30 - 51. Let f be 34/21 + 6/r. Let k = 11/30 - -3/10. Is f less than k?
False
Let i = 666 + -668.7. Is 0.1 not equal to i?
True
Let j = 1.2 + -0.25. Let b = 2.92 - j. Let t = 0.03 + b. Which is greater: 5 or t?
5
Suppose r + 3*k - 3 = k, 45 = 5*r + 4*k. Suppose -3*s = 10 - r. Which is bigger: 1/49 or s?
s
Let i be 20/36 + 1/(-3). Let l = 17 - 26. Let n be (-1 - 33/l) + -2. Which is smaller: n or i?
i
Let j(u) = -2*u + 10. Let k be j(7). Let i = 36 - 36. Which is bigger: k or i?
i
Suppose -30*n = -n - 29. Let v be (3/2)/((-4)/352). Let x be (-4)/22 + 9/v. Is x at most as big as n?
True
Let t be (955/20)/((-4)/16). Is t <= -191?
True
Suppose -4*f = -2*g + 108, -42 = -g - f - 3. Suppose -15 = -3*d, 4*t + 0*d = -4*d + g. Let i be 4/6 - 7/t. Which is smaller: i or -2?
-2
Let b = -1.07 + 1. Let c = 201 + -119. Let f = c - 81. Is b > f?
False
Let s be -2 + 1/((-1)/(-6)). Suppose s*o = o + 12. Suppose -7*w + 3*w = -4*c + 16, -5*c + 16 = -o*w. Is c at most as big as 2/17?
True
Let x = -11.2 + 13.2. Which is smaller: x or -1/3?
-1/3
Suppose h + 7 = 3*m, -h = 3*m + h - 4. Let k be ((-3)/(-2) + -2)/m. Is k smaller than -0.2?
True
Let w be (-675)/(-20) - (-6)/(-8). Let m = w + -38. Is m <= -3?
True
Let g = -53 + 62. Do g and 0 have different values?
True
Let r = 41 - 41. Let d = -5 - -1. Let n = d + 3.8. Is n at most as big as r?
True
Let o = -76 + 63. Is o greater than -47/4?
False
Let o(y) = 244*y**2 + 7*y - 6. Let c be o(1). Is c at least as big as 737/3?
False
Let u(f) = -f - 7. Let q(a) = -4*a + 12. Let z be q(5). Let m be u(z). Let s be 2*(-10)/396 + (-4)/18. Do s and m have the same value?
False
Let r be (24/(-216))/(5/45). Which is greater: r or -39/10?
r
Let w = -165 - -415. Let m = w - 1021/4. Is 0.2 less than m?
False
Let m be 92*(-2 - (-25)/10). Let n be 2/5 - m/(-10). Suppose 43 + n = -8*s. Which is smaller: s or 1?
s
Let t = 17 - 8. Let z = t + -7. Suppose 2*g - 16 = 4*h, -z*g + 6*g = 4*h + 12. Which is greater: -3 or g?
g
Let w = -59.1006 - -0.1006. Is w > -18?
False
Let c = -729 - -730. Which is smaller: 15/293 or c?
15/293
Let g be (-2)/((-1)/1) + (-8 - -13). Let c(y) = y**3 + y**2 + y + 5. Let i be c(0). Is i less than or equal to g?
True
Let z = -0.09 + -0.61. Let v = z + 1. Is -1 > v?
False
Suppose 7*x - 184 = 3*x. Let k = x + -45. Which is smaller: k or -4?
-4
Let i = -16 - -18.1. Let w = i + -3.3. Is -1/4 >= w?
True
Let v(z) be the third derivative of z**4/8 - 2*z**3/3 - 29*z**2. Let h be v(4). Which is smaller: 2 or h?
2
Let x(n) = -2*n**3 - 2*n**2 - 20*n + 12. Let b be x(-6). Which is greater: 490 or b?
b
Suppose -12*m + 360 = -4*m. Are 46 and m equal?
False
Let r(y) = -y**3 - 10*y**2 - y - 16. Let a be r(-10). Let n be 20/125*a/(-4). Which is bigger: n or 0?
n
Let f be 2*(-2)/(-4) + 1. Suppose 3*t + 32 = 8. Let i = t - -10. Is i at least as big as f?
True
Suppose -4*q + q = -3. Let j = q - 0. Let h be ((-2)/(-19))/(84/(-18) + 4). Which is smaller: h or j?
h
Let m = 103 + -103. Let d(g) = g - 42. Let z be d(m). Is z <= -43?
False
Let x be (10 + -2)/(-2) + 11. Suppose -3*i - 3*o = 0, -x*o + 3*o = 2*i. Do i and -4/3 have the same value?
False
Let v be -1*0*(-4)/(-32)*4. Let y = -18 + 17. Is v less than y?
False
Suppose 3*a - 22 = -i - 10, -18 = -2*a - 4*i. Let c = 4 + -3. Let v be (-3 - c)*2/(-4). Which is smaller: a or v?
v
Let h = 104 + -100. Suppose s = -0*l + 2*l + 9, l = h*s - 1. Which is smaller: -3/98 or s?
s
Let h(y) = -8*y**3 - 2*y - 2. Let n be h(-1). Suppose -12 + n = -4*m. Let s be 4*3*3/(-12). Do s and m have different values?
True
Let w(y) = 2*y - 10. Let k be w(6). Let b be 1/2*-18*k/(-11). Is b bigger than 1?
True
Let j(k) = k**2 - 2*k - 326. Let y be j(19). Let m = 57/