or 2/13?
2/13
Let x = -1/32 + -23/288. Is x at most as big as 1?
True
Let n be ((-1)/2)/((-2)/4). Let j = -6 - -7. Suppose j = 5*r - 4*k, -1 = r + 3*k - 5*k. Is r smaller than n?
False
Let i(x) = x**2 - 5*x - 10. Let t be i(7). Suppose t = -3*n - 5. Is n bigger than -5?
True
Suppose 0*b = -4*b + 4. Which is smaller: -3/17 or b?
-3/17
Let x = -7.88 - -8. Let y = -4.88 - x. Which is greater: y or 1?
1
Let x = 0 - 2. Let p(m) = -m**2 - m. Let s be p(x). Is s greater than or equal to -3?
True
Let r be (8/6)/(4/(-18)). Let d be 9/r*28/6. Which is smaller: d or -8?
-8
Let s = 11 + -14. Let t(m) = m**3 - 2*m + 1. Let x be t(1). Suppose h - 4*h = -5*v - 24, x = -2*v - h - 3. Is s at most as big as v?
True
Let z = -4 + 4.03. Let u = z - -0.27. Is u bigger than 1?
False
Suppose 10*n = 9*n - 1. Which is bigger: 2/13 or n?
2/13
Suppose -4*j - 2*f + 4*f = 4, 0 = -5*j + 5*f - 10. Is j not equal to 2/61?
True
Suppose -6*t - 4*m + 16 = -t, -3*m = 2*t - 12. Let b = 29.2 + -29. Which is smaller: b or t?
t
Let m = 1/27 + 89/513. Which is bigger: 0 or m?
m
Let j = -0.14 - 0.51. Let u = j + 0.7. Which is greater: -1 or u?
u
Suppose 0*p + 5*p + 10 = 0. Let l = -2 - p. Is -1/2 greater than l?
False
Let o = 1.04 + -1.1. Let v = -0.04 + o. Which is smaller: v or 9?
v
Suppose -5*t + 6*t = 7. Let v = -11.97 - 0.03. Let w = 13 + v. Is t at most as big as w?
False
Let b be ((-2)/18)/(1/(-5)). Let j = -11/36 + b. Which is bigger: j or -1?
j
Let h = 15003 + -630163/42. Let u = 176 + -2467/14. Let m = h - u. Is m != -1?
True
Let p(v) = -2*v**3 + 29*v**2 - 8*v - 22. Let z be p(14). Which is greater: 63 or z?
63
Let n = 6 + -11/2. Which is smaller: -11 or n?
-11
Let p(x) = -x**3 + 4*x**2 + 5*x + 6. Let h be p(5). Suppose -h*n + 3*n = 0. Does -1 = n?
False
Let i = -2/475 - -1439/3325. Suppose 3*d = -d. Which is greater: d or i?
i
Let a(i) = -i**2 - 6*i + 2. Let y be a(-6). Suppose 1 = -u + 2. Which is smaller: y or u?
u
Let x(c) = 3*c + 1. Let a be x(2). Suppose -5*s + 21 = -2*b - 14, -a = b + s. Which is greater: -8 or b?
-8
Let v = 0.35 - -18.65. Let w = v + -17. Which is smaller: w or 0?
0
Let h = -0.034 + -0.066. Is 18 not equal to h?
True
Let b(g) = -g**2 - 6*g + 2. Let m be b(-6). Let i be -3*(8/6)/m. Suppose 5*r - 6*r - 5*p = -8, p = -2*r - 2. Is r >= i?
True
Let z = -25 + 37. Let w be (2/9)/(z/18). Which is bigger: 0.4 or w?
0.4
Let n = 15 - 15. Which is smaller: n or -9/8?
-9/8
Let n(i) = i. Let f be n(8). Let y = 10 - f. Suppose -u = -y*u. Which is greater: 2/17 or u?
2/17
Let l = 22 - 9. Let b = -11 + l. Are 0.1 and b nonequal?
True
Suppose -18*q + 20*q + 6 = 0. Which is greater: q or -13/8?
-13/8
Let q be (4/8)/((-10)/(-4)). Is -1 > q?
False
Let i = -2.152 - -0.212. Let o = -0.06 + i. Is o greater than or equal to -4?
True
Let t = -19 + 27. Let r = 4 - t. Let p = 0.4 + -0.3. Is p at most r?
False
Suppose 2*p = 5*r + 20, 3*r = p - 3*p + 4. Which is smaller: p or 6?
p
Let i = -1.28 + -0.72. Which is smaller: 1/30 or i?
i
Let v be 1/(-4) + 18/(-8). Let r = -2 - v. Which is smaller: -2 or r?
-2
Suppose 5*l = -3*q + 2, 5*l + 6 + 4 = 0. Suppose -3*d - h + 8 = -0*d, 4*d - 2 = 3*h. Suppose 5*r + 5*w = -10, 13 = -3*r + q*r - d*w. Are r and 4 nonequal?
True
Suppose -5*s = -4*g - 32, -2*s = 3*s - 20. Let y be 58/(-24) - 1/g. Let q = y + 11/4. Is q bigger than 2?
False
Suppose 0 = 5*j + 4*f - 73, -4*j + 56 - 6 = -f. Let d be (2/j)/((-6)/9). Is 0 greater than d?
True
Let y be 1/2*(3 + 1). Suppose 4*t - 3*j - 16 = -t, y*t + j = 2. Suppose 20 = 4*g, 2*n - 6*n - 18 = -t*g. Do n and -2 have the same value?
True
Let u = -2484/7 + 355. Let n be (-2)/(-38)*-2 - 0. Let a = -23/38 - n. Which is smaller: a or u?
a
Suppose -3*n = 2*n. Which is greater: n or -3/29?
n
Let z = -0.2 - -0.1. Let r = -9/10 + 2/5. Is r greater than or equal to z?
False
Let c be (1/4 - 3/12)/1. Suppose 5*t + 4*g = -7, 2 = -4*t - 2*g - 0*g. Which is bigger: t or c?
t
Suppose 0 = 5*g - 8 + 3. Which is smaller: g or 1/18?
1/18
Suppose -3*n = m + 3, -3*m - 5*n + 2 - 7 = 0. Which is smaller: m or 1?
m
Let b(g) = g - 6. Let o be b(5). Which is greater: -2/107 or o?
-2/107
Let u be 2/(-7) - 9/(-7). Suppose c - 4*i - 2 = i, -3*c = 2*i - 6. Let t be 0*(2 - u - c). Is 2 bigger than t?
True
Let l be 44/(-6) + 5/15. Which is greater: l or -9?
l
Let p = -6 + 5.92. Let r = p + 0.02. Is -1 bigger than r?
False
Suppose 0 = 3*l - l. Suppose 0*t - 3*t - 18 = l. Let u be -2*1/(t/(-9)). Which is bigger: -4 or u?
u
Suppose -4*k + 8 = 4*w - 12, -3*k + 29 = 5*w. Are 31/5 and w nonequal?
True
Suppose -1 = -3*i + 5*j, -4*j + 9 = 2*i + j. Let t = 11 + -7. Suppose -6 - 6 = -t*d. Which is smaller: d or i?
i
Suppose a - 9 = -a + 3*n, -5*a - 12 = 4*n. Which is smaller: -3/17 or a?
-3/17
Suppose 0 = -s - 0*s + 28. Suppose -4*q + 0*q = s. Is -8 equal to q?
False
Let s = 77 - 77.07. Is -0.1 less than or equal to s?
True
Suppose -4 + 0 = -4*l - 2*f, 0 = 5*l - f + 2. Is 2/9 equal to l?
False
Let b = -2.1 - -0.1. Let p = -142 - -992/7. Is p at most b?
False
Let s = -1 - -3. Let c be (-3)/(18/15) + s. Is c at least 1?
False
Let g be 170/6 + 0/3. Suppose 3*r - 28 = 4*r. Let s = r + g. Which is bigger: 0 or s?
s
Suppose -3*w - 2*v + 9 = -2*w, -v = -w. Which is smaller: 20/9 or w?
20/9
Let j = -9 + 6.95. Let n = -0.15 - -0.1. Let m = j - n. Which is smaller: m or 2/5?
m
Let k(j) = -8*j**2 - j. Let u be k(-1). Do u and -9 have different values?
True
Let r be 2/(-1)*(-1)/2. Is 9 at most as big as r?
False
Suppose 2*l = -v - 3, 2 + 3 = -2*v - 3*l. Which is bigger: v or -10/13?
-10/13
Suppose 0*m + 24 = 4*m. Let i be (-3)/((-9)/(-6)) - (3 - 11). Is m < i?
False
Let v = -13 + 31. Suppose -m - v = 4*m + b, -5*m + 4*b - 3 = 0. Is m smaller than -4?
False
Let q(p) = -p**3 + 6*p**2 - 11*p + 9. Let t be q(4). Do -7/3 and t have different values?
True
Let r be 2/1 + 1178/(-7). Let z = r + 166. Let d be 9/(-132) - (-4)/(-22). Which is smaller: z or d?
z
Let z(u) = -3*u - 2. Let a be z(3). Which is smaller: a or -10?
a
Let l(h) = 8*h - 24. Let q be l(3). Does q = 7?
False
Suppose -9*i + 21 = -6*i. Let p = 4 - i. Is p < -5?
False
Let v be 8/36 + 68/18. Let i(t) = t - 4. Let f be i(7). Let j = f - v. Does -1/4 = j?
False
Let v be ((-53)/(-2))/((-68)/8 + 9). Is 54 at most as big as v?
False
Let g(q) = -q**2 - 12*q + 5. Let l(d) = 3*d + 1. Let b be l(-4). Let m be g(b). Let w be (-1)/(-12)*m/(-6). Is 0 less than w?
False
Let m be (0 + -2 - -8)/(-2). Let n be ((-4)/16)/(m/12). Is -1/30 at least n?
False
Suppose -5*a = 3*c - 62, 2*a + 31 = 5*c - 31. Let k be 30/(-42) + (-4)/c. Is k less than or equal to 0.1?
True
Let s(d) = -d**2 - 9*d + 11. Let w be s(-10). Is 1 greater than or equal to w?
True
Suppose 4*d = 6*d + 6. Let b be (-3)/(-2)*28/(-21). Which is smaller: d or b?
d
Let o be ((-5)/12)/((-3)/9). Which is smaller: o or 0?
0
Suppose 0 = -v - 3*v + 3*f - 5, 5*v - 2*f = -1. Let y = 12 + -10. Which is bigger: y or v?
y
Let h be 0 - -2*(3 - 2). Suppose 3*s + h*q - 2 = 0, s + 3*q - 6 = q. Let f = -1 - s. Which is bigger: f or 0?
f
Let w = -3 - -3.8. Let b = 0.2 + w. Do -3 and b have the same value?
False
Let d be 3 - (9 - 6 - (-4)/26). Which is smaller: 0.2 or d?
d
Let c(x) be the second derivative of x**4/12 + 7*x**3/6 + 3*x**2 + x. Let f be c(-5). Let l be -2 + 3 + f/(-2). Which is smaller: l or 3/2?
3/2
Let o = 2 + -2. Which is smaller: o or 8/3?
o
Let z be -1 + -2 - (1 - -4). Let y be 92/z*(0 + 10). Let d = 578/5 + y. Is d greater than or equal to 0?
True
Let x = 7 + 4. Which is greater: 9 or x?
x
Let b be 2 + -1 + -1 - 4. Suppose -2*t + 1 = 3. Let i be 4/(-12)*b/t. Is 0 at most as big as i?
False
Let i be 31/((-2)/(-10) - 34/(-5)). Which is bigger: i or 3?
i
Let c be (-146)/(-72) + 4/18 - 2. Which is bigger: c or -16?
c
Let a be ((-4)/(-6))/((-14)/63). Let u be 16/2 - 2/(-1). Suppose -n = -4*s + 10, -4*n + s + 0*s = u. Which is smaller: a or n?
a
Let a be 9/(-9)*(-1 + 2). Is a at least as big as 3?
False
Suppose 0 = -24*s + 31*s - 14. Is s less than or equal to 14/5?
True
Suppose 0 = -0*n + 3*n + 9. Let u be n/(-12) - (-2)/(-72). Let w be (-4)/6 + (-4)/(-6). Which is smaller: w or u?
w
Let x = 2.8 - 3. Let r = x + 0.3. Let i = r - 0.1. Is i at least as big as 4?
False
Suppose 127 = 5*y - 3*g, g = -y - 5 + 32. Is 26 bigger than y?
False
Suppose -4*u = -0*u + 4*n 