. Is x >= 5?
True
Let y be -61 + (0 - 4)/(-1). Let w be 19/y*(-7 - -1). Suppose -w*t = -2*x + 3*x - 11, -t + x = -4. Are 4 and t equal?
False
Let d = -192239/14 + 13737. Is 7 != d?
True
Let g = -641 - -640. Which is greater: 4/415 or g?
4/415
Let b = 6 - 16. Let c = 0.0277 - 1.0277. Is b <= c?
True
Let r = -33/190 + -1/38. Suppose 1 = 2*y - d - 0*d, 3*y - 5 = 5*d. Suppose y = 2*v - 6, 3*l = l - 5*v + 17. Which is greater: l or r?
l
Let p be (-1)/2 + ((-100)/(-8) - 6). Suppose -p*l + 20 = 2. Suppose 0 = -x - i, 12 = 3*x - 2*x - 5*i. Is l greater than x?
True
Suppose 5*v - b + 5*b - 206 = 0, -3*v - 2*b + 124 = 0. Let h be (-8)/60 + (-617)/(-15). Are v and h unequal?
True
Let h be (8/20)/((-1)/5*2). Is 8/17 <= h?
False
Suppose -u - s = -6*u + 6, -4*u - s + 3 = 0. Let k be 6/(-8) + (-38)/(-56). Is u smaller than k?
False
Let f be (7 + 2)/(4/(8/(-13))). Is 0 at least as big as f?
True
Let d = 31492258 + -2393464353/76. Let t = 694 + d. Which is smaller: t or 0?
t
Let n = 49 + -40. Suppose n = -2*h + 9. Which is smaller: 7/11 or h?
h
Let v(x) = -2*x**3 - x**2 + 3*x - 3. Let l be v(2). Let i(k) = k**3 + 8*k**2 + 16*k - 15. Let d be i(-5). Which is smaller: l or d?
d
Let i be 3/209 + (-6)/57. Let p = 6 - 4. Suppose -p*q = -4*q. Is i > q?
False
Let d(g) = 3*g - 3 + 2*g - 3*g - 3*g. Let v be d(-7). Suppose -5*l - 25 = -3*j - 2*j, v*l + 14 = 2*j. Is l less than or equal to 0?
True
Let k = 0.1 - 13.1. Let j = k - -12. Let d = 1.01 - 0.01. Which is greater: d or j?
d
Let x = -152 - -296. Suppose 4*z = -2*z - x. Which is greater: z or -25?
z
Let z = 72.5 - 76. Is z at least -2?
False
Let t(o) = o**2 - 10*o + 3. Let d be t(10). Suppose 24 = -3*i - 4*l - l, -2*l = -d*i - 45. Let b(h) = h - 8. Let v be b(-5). Do v and i have different values?
False
Let f(n) = 0*n**2 - 17*n - 26 + 15 + 3*n**2. Let g be f(6). Is 3 less than or equal to g?
False
Let q = 34 - 40. Let h be (-3)/6 + 11/(-2). Is h at least q?
True
Suppose -5*c - 49 + 9 = 0. Suppose 0 = u - 6*p + p + 17, 3*p + 22 = -4*u. Which is smaller: u or c?
c
Let f = -35 - -34. Let t(h) = -h**3 + 3*h**2 + 6*h - 1. Let o be t(5). Which is smaller: f or o?
o
Let j be (-13)/((1/2)/(-1)). Let o(z) = 24*z**3 + z**2 - 3*z + 2. Let f be o(1). Is j at least as big as f?
True
Let l = 58 - 46. Suppose 0 = 3*o + l*o + 105. Which is bigger: -17 or o?
o
Suppose 2*m - 4*n = -3*m + 16, 0 = 4*m - 5*n - 20. Let d be m/(3/((-28)/(-8) + -2)). Which is smaller: d or -4/15?
-4/15
Suppose -264 - 6 = 2*o. Is -135 at most as big as o?
True
Let z = 5 + 3. Suppose 5*s = -2*s + 14. Suppose 4*h + k - 38 = 0, -11 + 1 = -s*h + 4*k. Which is smaller: h or z?
z
Let f = 659.85 - 648. Let b = 7.85 - 8. Let n = f - b. Which is smaller: n or 0.1?
0.1
Let n(h) be the second derivative of h**4/12 + h**3/6 + 7*h**2/2 + 2*h. Let s be n(3). Let t = s + -20. Which is greater: t or -2?
t
Let l be -1 + (1 - -2) + -2. Let s be l + 0 - 4/(-6). Let d = -69/5 - -2267/165. Which is smaller: d or s?
d
Let d = 118 - 103. Suppose w = 5, -h - 4*h + w + 65 = 0. Are h and d nonequal?
True
Let f be (4/(-24))/((-3)/(-2 - 16)). Which is bigger: 13/67 or f?
13/67
Let c = 1 - -1. Let t = 28 - 0. Let p = -26 + t. Does p = c?
True
Let g = -56 + -11. Let k = 59 + g. Which is smaller: -1/6 or k?
k
Suppose 6*y - 4*y - 4 = 0. Let m be (-9 - -10)/(-3 + (-49)/(-16)). Suppose -3*b - m = -c, -y*c + 6*c - 3*b = 19. Which is smaller: -1/10 or c?
-1/10
Suppose -2*i - 8 = 8*t - 6*t, -14 = 4*t + 2*i. Which is bigger: -1 or t?
-1
Let y(l) = 2*l - 1. Let z be y(-7). Let g(x) = x**3 - 9*x**2 - 9*x - 12. Let f be g(10). Let q be 3/f*(-10)/z. Is 2/25 at least q?
True
Let b = -4417/9 + 492. Which is greater: b or 1?
b
Suppose -2*w - 5 = -3*w. Let l(g) = 4*g - 4. Let v be l(2). Let d = w - v. Which is smaller: 2 or d?
d
Let c(b) = b**3 - 4*b**2 + 6*b - 3. Let m be c(4). Suppose j - m = -2*j. Let t(s) = s**3 - 8*s**2 + 6*s + 9. Let x be t(j). Which is bigger: 0 or x?
x
Let o = 83 + -83.049. Which is smaller: o or 2?
o
Suppose 3*c + 3 = 0, 0 = -6*h + h - 2*c + 18. Suppose 30 = h*v - 78. Is 29 smaller than v?
False
Let a be (25/(-10) + 3)/((-1)/18). Suppose -3*v + 5*v = 66. Let m = 23 - v. Which is greater: a or m?
a
Let n be ((0 - 3) + 74/(-3))*3. Which is greater: n or 0?
0
Let w(y) = -y**2 + 19. Let b be w(-3). Suppose 171 = -b*d + 21. Let i = -17/21 + 8/7. Which is greater: i or d?
i
Let v = 137408/59 - 2329. Which is smaller: v or -1?
-1
Let k be 0 - 0 - 12/(-3). Suppose 0 = 3*v - 0*v - 2*z + 29, 4*v = 3*z - 39. Let b be 0 - (v/k + 2). Is b less than -2/7?
False
Let z be 440/60 - 1/3. Let t = -5 + 12. Is t greater than z?
False
Suppose 2*c + 0 + 5 = 3*f, -f - 3*c - 13 = 0. Do f and 2/21 have the same value?
False
Let i = 19 - 163/9. Let v = 6 + -4. Are v and i unequal?
True
Suppose 19*p = 22*p + 987. Is p <= -329?
True
Let g = 18.6 - 18.5. Which is greater: -0.75 or g?
g
Let g(m) = m**3 + 7*m**2 + 6*m - 4. Let k(s) = s**2 - 10*s + 2. Let o be k(10). Suppose 4*d - 2*y = -28, -o*d - 10 = d + 4*y. Let r be g(d). Is 1/4 equal to r?
False
Let g(u) = 5*u + 44. Let j be g(-8). Let y be (-5)/(-20) - j/((-48)/(-57)). Which is bigger: -4 or y?
-4
Let o(b) = -13*b - 115. Let p be o(-10). Which is bigger: 12 or p?
p
Let w = -33.1 - -27.1. Which is bigger: w or 33?
33
Suppose h + 5 = 2*h. Let l be (-33728)/(-360) + 1/h. Let p = -94 + l. Which is greater: p or 0?
0
Let r be (9/27)/((-2)/102). Let l = -11 - r. Let q = 8 - l. Is 2 not equal to q?
False
Suppose -2 = 2*w, -9*w + 8*w = 3*d + 406. Which is smaller: -139 or d?
-139
Let s = 231 - 229. Is s at most as big as -71?
False
Let k = 52 - 44. Suppose 0 = -3*p - k + 5. Is -2/375 > p?
True
Let j = 0.04 + 0. Suppose -5*i - c = 7, 2*i + 11*c = 7*c - 10. Is j < i?
False
Let t = 1441 + -1441. Is -2/1015 > t?
False
Let p be 1/(-2)*(-15 + 1). Let h(v) = v**2 - 4*v**3 + 3*v**3 + 5*v**2 + v**2. Let c be h(p). Is c greater than or equal to -3?
True
Let q be 34*(3 + -1) - -2. Let m = 39 - q. Which is bigger: 0 or m?
0
Let h = 10846 - 43401/4. Suppose 3*c - 20 = -c. Suppose -5*b + 4 = -4*i - 1, 20 = -i - c*b. Do i and h have different values?
True
Let w = -9 + 10. Let j = w + -5. Let b be j/(-14) - (-13)/(-21). Is -1 greater than b?
False
Let y = -356 + 363. Is y less than -1/15?
False
Let w be (2/(-5))/((-2)/142). Let a = 28 - w. Which is bigger: 0 or a?
0
Suppose -4*u + 0 = t - 4, 5*t = -u + 20. Suppose a + 5*c + 25 = u, -a + 20 = -c - 3*c. Which is greater: a or -1/72?
a
Let h = -38.4 - -38.886. Let a = 0.014 + h. Are a and 1/4 nonequal?
True
Let d = 56 + -55. Is 56 greater than or equal to d?
True
Let s = 223854941/2853 + -78463. Is s greater than or equal to 1?
False
Suppose 16*y + 92 = -7*y. Let z be (-4)/10 - (-84)/(-15). Which is bigger: y or z?
y
Suppose 36*m = 73 + 35. Which is bigger: m or 10/3?
10/3
Let k = -309 + 312. Is k smaller than 46/15?
True
Let m = 43 + -44. Suppose 0 = -5*a + 54 - 4. Is m at least as big as a?
False
Suppose -3*j + 4 = -2*z, 10 = 2*j - 74*z + 69*z. Let o be (-6)/4*(-8)/(-150). Which is smaller: o or j?
o
Let u be 0*(12/(-18))/2. Which is smaller: u or -2/497?
-2/497
Suppose 4*a + 328 = -5*p - 182, -5*a + 367 = -4*p. Is -99 bigger than p?
False
Let w = 93 + -45. Let u be (2/w)/(6/8). Let g(r) = 321*r + 9629. Let x be g(-30). Which is greater: u or x?
u
Let z(c) = 3*c**2 + 17*c + 230. Let j be z(0). Which is bigger: j or 232?
232
Suppose -162*t + 195 = -157*t. Is t greater than 0?
True
Suppose -3*g + 3 = -3*i + 9, 4*i = 2*g + 6. Let j(l) = 7*l**2 - 2*l - 1. Let s be j(g). Let q = 10 - s. Which is smaller: -1 or q?
-1
Let x = -0.506 + 0.62. Let p = -0.014 + x. Is p bigger than 0.3?
False
Let q be (-42)/(-264)*2*-2. Is q <= -2?
False
Suppose 13 = -5*d - 7. Let p be d/(-6)*(-15)/10. Let c be 4*p - (-119)/7. Is 13 not equal to c?
False
Let u = 14417/142 + -203/2. Let f = -3770 + 3769. Which is greater: f or u?
u
Let c = 585 - 570. Are c and 2 non-equal?
True
Let u(d) = 65*d - 42. Let b be u(6). Which is greater: b or 347?
b
Let a = -2.79 - 5.21. Which is bigger: 0 or a?
0
Let g(z) = 3*z - 16. Let u be g(5). Let x be u/(4/(-20 + 0)). Suppose 13 = -2*y + 5*f, -x*f - 5 - 10 = 5*y. Which is greater: -3 or y?
-3
Suppose 0 = -2*g + 38. Suppose g*s = 24*s - 410. Which is smaller: 83 or s?
s
Suppose 19 - 3 = t - 2*z, -6 = 2*z. Let s = -35