 Is k >= 12/31?
False
Suppose 105 = -109*o + 116*o. Suppose o*n - 120 = 23*n. Is n greater than or equal to -14?
False
Let q be (-2 + 0)*(-2)/(-4). Let u = -96 + 96.08. Let c = 7.92 + u. Which is bigger: q or c?
c
Let n(d) = -17*d**2 - 14*d - 85. Let w be n(8). Are w and -1285 equal?
True
Suppose 5*a - 28 = -3*j, -2*j - 24*a = -18*a - 32. Is j <= 16/229?
False
Suppose -5*n + 21645 = -2*b, 17316 = 4*n + 30*b - 31*b. Is n at least as big as 4330?
False
Let x be (-1 + 5090/5088)/(4/8)*2. Is 0 < x?
True
Suppose 2*u - 15 = -3*x, -3*x = 3*u - 7 - 8. Suppose 5*b + 5 = 0, x*f + b + 17 = -b. Is f < -10/3?
False
Suppose -11*x + 2024 = 12*x. Suppose 2*s = 3*o + 207, 5*o + 2*s = -241 - x. Does o = -67?
True
Let f be 0/1*3/(-6) - -5. Let m be (-3 + -1 + f)*-3*-5. Is m greater than or equal to 10?
True
Let p = -1271 + 13658. Suppose h = -l - 3090, -2*h - p = 2*h - 5*l. Let k = h + 15516/5. Which is greater: k or 10?
k
Let b = 121 + -125.56. Let v = b - -4.7. Let a = -0.4 - -0.3. Is v > a?
True
Let q(n) = -3*n**2 + 6*n + 8. Let w be q(3). Suppose -4 = -5*a - 754. Let s = a - -445/3. Which is bigger: w or s?
w
Suppose 0 = -h + 3*v + 33 + 10, -5*v = -h + 45. Let r(q) = 24*q**2 + q + 13 + 15*q**2 - h*q**2. Let i be r(-3). Which is greater: 4/5 or i?
i
Let l be (-3157)/(-5005) - 9/39. Is -1065/13 at least as big as l?
False
Suppose -4*t + 30 = -14*t. Suppose -192 = -0*f - 3*f. Suppose -5*k + 4*y = y + f, 3*y - 9 = 0. Which is greater: t or k?
t
Suppose -5*i + 14 = -i - 3*u, 4*i + 2*u + 16 = 0. Is -17/114 less than i?
False
Let f(h) = 3*h**3 - 5*h**2 + 31*h - 28. Let x be f(1). Which is bigger: 52/259 or x?
x
Suppose 173*n = 178*n + 40, 0 = -2*v - n - 8244. Is v greater than -4116?
False
Suppose 0*r + r = 1. Let z be 66/598 - (6/(-13))/(-3). Is z less than or equal to r?
True
Let r(z) = 3*z**2 + 2*z + 1. Let c be r(-1). Suppose 7*g - 2*g - 3*q - 8 = 0, -c = 2*q. Let s = 1/433 - -2569/12557. Which is bigger: s or g?
g
Let l = -302 - -314. Suppose -l + 44 = 32*r. Which is smaller: r or -5/53?
-5/53
Let i be 28/35 - (1444212/300965)/6. Which is greater: 1 or i?
1
Let z be 48915/(-600) + 303/(-4040). Let f = -153 + 70. Which is bigger: z or f?
z
Let g be (-4)/18 + 20/9 + 0. Suppose 1 = 5*m - 4*j - 7, 4 = -g*j. Which is greater: 1 or m?
1
Let t be 2 + (5 - 2 - 1). Let x be (-2 + t)*(-6)/4. Suppose -24*j - 15 = 5*l - 21*j, -10 = -l + 2*j. Is x not equal to l?
True
Suppose 8 + 2 = -5*j, -n + 3*j + 17 = 0. Let p = 55 - -36. Suppose 96*w = 89*w + p. Is n greater than or equal to w?
False
Suppose 4*v + 6688 - 1238 = -6*v. Is v bigger than -541?
False
Let w = -16/1914529 + 9446305238/2291691213. Let f = w + 28/171. Let h = 7 - 2. Which is smaller: h or f?
f
Let f be (-15)/(-4) + -1 - 3 - -6. Suppose -2*y = -0*a + a - 2, 2*a - y - 24 = 0. Suppose 0 = -s - 5 + a. Which is bigger: s or f?
f
Let p = 294 + -291. Suppose -6*s = -p*s + 9, 5*s - 27 = 3*i. Let j(k) = -2*k - 4. Let n be j(6). Which is greater: n or i?
i
Let w = -5547 + 5917.14. Let o = -370 + w. Is o at least 1?
False
Let z be 11 - 4/((-3888)/(-10770)). Is 0.1 < z?
False
Suppose -69*z + 251*z + 2002 = 0. Let y be (9/18)/((-2)/(-4)). Which is greater: y or z?
y
Suppose -16*k = 11*k - 7*k + 5*k. Which is smaller: -2/45101 or k?
-2/45101
Let j be (-4*58/(-20))/((-115)/(-1725)). Suppose 26*x = -j + 1032. Suppose -2*f - 3*z = -61, -f + 3*z - 16 = -60. Do f and x have the same value?
False
Let x = 84.22 + -85. Let f = x + -89.22. Let p = 93 + f. Is p >= 0.07?
True
Let t(f) = 2*f**3 + 31*f**2 - 44*f + 15. Let i be t(-24). Which is smaller: -8722 or i?
-8722
Let z = -18670.3 + 18670. Which is greater: 514/9 or z?
514/9
Let n(k) = 5*k - 69. Let v(t) = -6*t + 67. Let h(u) = 7*n(u) + 6*v(u). Let r be h(-16). Is r < -66?
False
Suppose 0 = -5*i - 2*p, -6*p = -4*i - 3*p - 23. Let h be 423/18 + (-1)/((-4)/i). Which is greater: 25 or h?
25
Suppose 402 = -7*d - 2*m - 318, 3*d - 4*m + 328 = 0. Are -212 and d equal?
False
Suppose 11*a + 6 = 13*a. Suppose -a*y + 13 = -56. Let r = -19 + y. Which is smaller: r or 2?
2
Suppose 28534 = -116*r + 127*r. Is 2594 at most r?
True
Suppose 27*i - 82 = 29*i. Suppose -6*v - 200 = -v + 2*l, -2*l = 2*v + 74. Which is bigger: v or i?
i
Suppose -5*b = 4*m + 6496, -43*m + 1582 = -44*m + 4*b. Which is smaller: m or -4846/3?
-4846/3
Let v(f) = -10*f + 385. Let k be v(38). Suppose -7 = c - 2*g, -5*c + 7*c - k*g + 18 = 0. Is c smaller than -2/283?
False
Let w = -113 - -171. Suppose -2 = -c, 5*c = -h - 2*h + w. Suppose 5*r - 3*x - 68 = 0, 5*r + 4*x - 80 = h. Is 16 less than or equal to r?
True
Suppose 1867*d - 1873*d - 14358 = 0. Is d at least as big as 0.1?
False
Let n = -280.7 + 281.1. Which is bigger: 208 or n?
208
Suppose -89*k + 94*k - 10 = 0. Suppose 0 = -k*a - 6, -b + 3*a = -2*a + 98. Which is smaller: -111 or b?
b
Let t = -5.7 + 6. Let p = 0.1 - t. Let n = 10.44 + -15.44. Is p smaller than n?
False
Let v = 21.031 + -0.031. Let y = -0.285 - -21.285. Let g = v - y. Are -25 and g equal?
False
Suppose -70*c - 61424 = -78*c. Let d be 4/(-12) + c/(-66). Which is greater: -118 or d?
d
Suppose 2*m + 5*x + 25 = -3*m, m + 17 = 3*x. Which is smaller: m or 5.1?
m
Let j(s) = -2*s + 9 + s**3 + 7*s**2 + 0*s - 3*s - 2*s. Let g be (-1 + -2)*8/3. Let c be j(g). Which is bigger: c or 1/50?
c
Let x = 1055 + -2855. Which is greater: x or -1799?
-1799
Let i = 0.247 - -483.753. Is i >= -1/5?
True
Let v = -13901 - -13898.29. Which is smaller: v or -59?
-59
Let p be (130310/(-581))/(1/14). Are p and -3141 unequal?
True
Let h be ((-35)/(-30) - 1)*18. Let r be 1*-22*(-1)/2 - h. Is r equal to -8?
False
Let a = -90.0622 + 1.0922. Let m = a + -0.03. Let d = 88 + m. Which is smaller: d or -48?
-48
Let a(h) be the third derivative of -h**6/120 - 3*h**5/20 + 2*h**4/3 + 9*h**3/2 - 165*h**2. Let k be a(-10). Which is greater: k or -1?
-1
Let u be ((-6)/33 - (-1146)/11)*(-6 + 17). Is 1143 greater than u?
False
Let h be (-9 - 90/(-10))/(0 + 1). Which is greater: h or -13/22?
h
Let d = 79 + -141. Let o = -4369 + 4309. Let k = o - d. Which is greater: 0.18 or k?
k
Let c be -2554*51/34 + 2 + 3. Which is bigger: -7649/2 or c?
-7649/2
Let g be 10*29*108/66. Let z = 5328/11 - g. Which is greater: 9 or z?
z
Let v = 10934 - 4570405/418. Which is smaller: 1 or v?
v
Let r(x) = -x**2 - 651*x - 3900. Let u be r(-6). Which is bigger: -60 or u?
u
Let n = 1535 + -242549/158. Which is smaller: 0 or n?
n
Let z(i) = 2000*i - 2586. Let x be z(1). Which is greater: 13 or x?
13
Let g = -16/71 + 221/2556. Let d = 87018 - 87015. Which is greater: g or d?
d
Let o(a) be the third derivative of -a**6/120 - a**5/12 - 11*a**4/24 - 9*a**3/2 - 9*a**2 + 2. Let n be o(-4). Which is smaller: -2 or n?
-2
Let h = -17.942 + 18. Let n = 0.288 - h. Let m = n + 0.77. Are -2/9 and m unequal?
True
Let y = -4798 - -4796. Does -1349 = y?
False
Let p = 904 - 65087/72. Let l(s) = -s**3 + 9*s**2 - 7*s - 5. Let r be l(8). Suppose 3*d + r*a + 5 = -1, 3*a + 6 = 5*d. Which is greater: d or p?
p
Let g(h) = -h**2 + 3*h - 10. Let c be g(-15). Let x = c - -270. Which is smaller: 0.1 or x?
x
Let g = 140 + -137. Suppose g*r + 50 = u + 4*r, 3*u + 4*r = 145. Suppose -l - 3*v - u = 10, 2 = 2*v. Which is smaller: -67 or l?
l
Let i be 2/(-40) + 59/1180. Does 18/91 = i?
False
Let u(z) = 2*z**2 + 12*z + 21. Let h be u(-4). Let y = -814 + 818. Which is bigger: y or h?
h
Suppose 0 = 1001*x - 1003*x - 8, -2*x - 2 = 3*t. Which is bigger: 2.212 or t?
2.212
Suppose -29*o = -19*o + 1970. Let t = 198 + o. Which is bigger: 1/231 or t?
t
Let b be (-52)/31 + 0 + 2. Suppose -84*x = 90*x - 29*x + 13*x. Which is smaller: b or x?
x
Suppose 5*a - 13*a = 104. Let q be (10/(-15))/(a/(117/(-30))). Is q > -1?
True
Let u(z) = z**3 + 26*z**2 + 47*z - 23. Let l be u(-24). Is 161/85 >= l?
True
Let d(b) = b**2 - 7*b - 5. Let l be d(6). Let q = 794 - 791. Suppose 32 = -4*o - 5*p, q*o + p + 24 = 3*p. Which is smaller: o or l?
l
Suppose -4*u = -s - 62, 4*s - s = -6. Let p be 3/(-25)*(-35)/u. Is p at least as big as -1?
True
Let q = 444 + -1477. Which is bigger: -1032 or q?
-1032
Let x = 0.86 - 0.56. Let v = 161 - 160.8. Is v greater than x?
False
Let y(w) = w**3 + 7*w**2 - 10*w - 13. Let q be y(-8). Suppose -2*k - 22 = -q*j, 0*k - 6 = -2*j - 3*k. Let v be j/(-10) + (-1)/3. Which is greater: 0 or v?
0
Let l = -5 - -9. Supp