-2/7
Suppose -3*v - 9 = -4*v. Let t be ((-2)/(-3))/((-12)/v). Do t and -1 have the same value?
False
Let p = 59/2 + -29. Let y = 28 - 22. Suppose 1 = -5*w + y. Which is smaller: w or p?
p
Let y = -0.36 - -0.46. Which is smaller: 5 or y?
y
Suppose -203 = -5*k + v - 3*v, -2*k + 62 = -4*v. Suppose 5*d - 9 + k = 0. Is -6 greater than d?
False
Suppose -465 = 11*v - 26*v. Is v < 31?
False
Suppose 0 = -4*t - 2*p + 14, -11*t + 19 = -12*t + 4*p. Is -6/19 equal to t?
False
Let m = 3/23 - 61/115. Is 0.04 at least as big as m?
True
Let q be (-548)/(-7) + (-4)/14. Let h be 3 - 2 - 128/q. Let f = 1/39 - h. Which is greater: 3 or f?
3
Suppose z + 2*b - 3 - 6 = 0, 5*b = 5*z + 30. Is z equal to 2?
False
Let t = -4 + 5. Let u be (8/2)/(22/t). Is 1 bigger than u?
True
Let x(v) = -17*v**2 - 2*v - 1. Let j = -2 + 1. Let p be x(j). Which is smaller: -15 or p?
p
Let y = 0.3 + -0.1. Let g = -0.01 + 0.11. Which is smaller: g or y?
g
Suppose 0*g + 4 = m + 4*g, 2*m + 2 = 2*g. Let j = 1103/24 - -11/8. Let h = j - 47. Which is smaller: m or h?
m
Let s be (0 - -3)*4/3. Let u = 3 - s. Is u greater than -1?
False
Let b = -5.2 + -0.8. Is b at most as big as 0?
True
Let b = 654.95 + -680. Let g = b + 26. Let k = g - -0.05. Which is smaller: -5 or k?
-5
Let v be 4/3*3 + 328/(-48). Is v less than 1/2?
True
Let c(q) = 13*q - 9*q**2 + q**2 - 4*q**2 - q**3 + 1. Let p be c(-13). Do p and 1 have different values?
False
Suppose -1 + 5 = 5*r + 3*b, r - b + 4 = 0. Let x(v) = v**2 + 7*v + 8. Let m be x(-6). Suppose -m*j + 2 = -0. Is j < r?
False
Let l be 2/(184/60 - 3). Is l < 30?
False
Let l = -29 - -16. Is -15 <= l?
True
Let x(t) = -t**2 + 4*t + 1. Let d be x(5). Let r be (d/6)/((-2)/3). Is r < 1?
False
Let k = 56446/49 - 1152. Is k not equal to -1?
True
Let n(l) = 19 + 6*l**2 - 4*l + 0*l - l**3 - 26. Let g be n(5). Let f = -2 + 2.2. Which is smaller: f or g?
g
Suppose -5 = z - 2*p, 4*z = -3*p + 4 + 20. Suppose -z*c - c = b + 2, -4*b - c = 8. Is b != -2?
False
Let o(v) = -v - 3. Let d be o(-5). Let i = 3362/93 - -264/31. Let m = i + -44. Which is bigger: m or d?
d
Let j be (-1)/1*(-28)/7. Let l = -4 + j. Is 1/7 greater than or equal to l?
True
Let o(h) = -8*h**2 + 4*h + 5. Let u be o(-2). Is -35 less than or equal to u?
True
Let c be (-1)/(-24) + (-2)/12. Which is smaller: c or -1?
-1
Let x be -6*-2*(-1)/(-4). Suppose -30 = -4*l + 2*z, x*z + 3 = l - 2. Suppose -4*q + l = -0. Which is bigger: -1 or q?
q
Let m = -4.5 - -3.5. Is m >= 0.2?
False
Suppose 2*w = -3 + 7. Let d = -3 + w. Let v = -205 - -206. Is d >= v?
False
Suppose -3*u + 0 + 3 = 0. Let g be (-5)/20 - 1/(-4). Is u at most g?
False
Let h be 8*((-15)/75 - (-3)/(-10)). Which is smaller: 10 or h?
h
Let q = -59.38 + 59. Is q not equal to -2/7?
True
Let i be (-6 - -13)*6/7. Suppose -2*g + 20 = 2*g. Suppose -g*l - 4 - i = 0. Which is smaller: 0 or l?
l
Let j(w) = -18*w**2 - 1. Let x be j(1). Let n = 131/7 + x. Is 0 smaller than n?
False
Let g be -1 + 7 + 4 + 0. Are 7 and g nonequal?
True
Let o = 947/5 + -190. Suppose p = 5*w + 3, 5*p = 4*w + 2 - 8. Is w smaller than o?
True
Let y(u) = -u**2 + 6*u - 4. Let c be y(5). Let f = -45 - -181/4. Which is smaller: f or c?
f
Suppose 4*j = 4*s - 11 - 1, -4*j = -2*s + 10. Is s at least 6/11?
True
Let m be (-93)/(-31)*(9/7 - 0). Is m equal to 4?
False
Let w = -0.04 + 0.14. Are w and -4 nonequal?
True
Let g = 13 + -8. Let b = g - 5. Let z be (-2)/6 + (-6)/(-18). Is z < b?
False
Let l be ((-2)/1928*2)/(1/2). Which is bigger: l or -1?
l
Suppose -5*b = 26 - 1. Let z = 10 + -13. Do z and b have different values?
True
Let w = 5.6 + 0.4. Let t = 4 + 0. Let p = t - w. Are 0.2 and p equal?
False
Let f be (12/(-15))/((-8)/(-20)). Which is smaller: f or -3?
-3
Let t(q) be the second derivative of 2*q**3/3 + q. Let l be t(1). Let r = l - 4. Which is greater: -3/5 or r?
r
Let n be (-1 - 1)/(4/(-8)). Suppose -5*l + 2*g - 3*g = -13, -2*g = l - 8. Which is bigger: n or l?
n
Let b be (-5)/(-30)*3/2. Which is smaller: 0 or b?
0
Let u(t) = t**3 - 3*t - 2. Let c be u(-1). Which is greater: c or -3?
c
Let b be (-24)/9*1*(-3)/36. Let y = -3.05 + 0.05. Is y at least b?
False
Let k = -102 - -117. Which is smaller: 13 or k?
13
Let m = -5 + 6. Let r be (-3)/((-21)/(-2))*m. Let x(k) = k**2 + 3*k + 3. Let d be x(-2). Do r and d have different values?
True
Let w(l) = l**3 - 3*l**2 - 5*l. Let f be w(4). Let k = f + 5. Is 2/15 at most k?
True
Let u be (-2)/(-8) + (54/16 - 3). Which is bigger: 1/2 or u?
u
Suppose a + 5*j = -3*a + 25, j - 5 = 2*a. Suppose a*t - 4*t = q - 1, 3*t = 2*q - 2. Let o = 0.34 - -1.66. Is t at most as big as o?
True
Let y = 1437/8 + -180. Let p(x) = x**3 + 3*x**2 + x - 2. Suppose -4*a = -4*d - 5 + 1, 0 = 2*a + 2*d + 10. Let q be p(a). Which is greater: q or y?
q
Let m = -3 + 4. Let k = m - 0.9. Suppose 0 = -l - 4*l + 15. Do l and k have the same value?
False
Let r be ((-8)/14)/(63/(-49)). Which is bigger: r or -4/5?
r
Let w be 2/(-9)*(-9)/(-6). Is 0.11 smaller than w?
False
Let r = -2 - 0. Let b = -0.224 - -0.024. Is b equal to r?
False
Let g(k) = -k**2 - 11*k. Let z be g(-11). Suppose z*u = -u. Which is smaller: u or 1/13?
u
Let d = 4 + 1. Let g = 430 - 425. Are g and d non-equal?
False
Let s(m) = m**3 + 2*m**2 + m - 4. Let t be s(-3). Let l be (9/4)/(4/t). Is l at least as big as -8?
False
Suppose -3 = -2*u - 5*v - 22, -4*u + 2*v - 2 = 0. Let c be (-4)/u - (0 - -2). Let q be (-42)/280*((-46)/(-30) + -1). Is q equal to c?
False
Let k be (-19)/3 + 6/(-9). Let h = 4 + k. Let g be h*((-2)/6 + 0). Which is greater: g or 2?
2
Let p = -0.08 - -0.38. Let t = -1.3 + p. Let a be 2/(-48)*-3*-2. Is t greater than or equal to a?
False
Suppose 0 = -2*k + 4*u + 24 - 4, -5*k + u = -32. Let d = 4 - k. Let g be -1 - 2/12*d. Which is bigger: g or 1?
1
Let b(a) = a**3 + 5*a**2 + a + 7. Let m(s) = 2*s - 1. Let q be m(-2). Let i be b(q). Which is greater: i or -3?
i
Suppose -4*n - 3*f = -0*n + 7, -4*n - 17 = 5*f. Let u = -3 + n. Let l be (-1 + -2)/(-15) + 0. Is u != l?
True
Suppose -3*i = i + 16. Let h = -2 - i. Is h at least as big as 2?
True
Let b = 679/5 - 34639/255. Is b < 0?
True
Suppose 0 = 2*n - 2*v - 2, 0 = -5*n - v + 2 - 3. Let c(q) be the first derivative of -q**2/2 + 8*q + 6. Let s be c(n). Is s less than or equal to 7?
False
Let w(v) = -5*v - 1. Let k be w(1). Let a(m) = -m**2 - 7*m - 3. Let d be a(k). Suppose d = -3*j - 0. Which is greater: j or -3?
j
Suppose -4*g + 8 = -2*i, i = -0 - 2. Are g and -1/44 non-equal?
True
Let g be 6*-8*1/(-3). Suppose -6*k + k - 24 = 3*v, -2*v = -4*k + g. Let n be v/6 - (-2)/6. Is -1 < n?
False
Suppose 12 = -5*k + 7*k. Let q be -2*1 + k + 0. Which is greater: 3 or q?
q
Let k(d) = -2*d**2 + 19*d - 17. Let i(f) = f**2 - 9*f + 8. Let s(j) = 7*i(j) + 3*k(j). Let w be s(5). Let b = 1 - w. Is 1 <= b?
True
Let x be (2/(-2) + (-12)/(-15))*3. Let k = -2 - -2. Which is greater: x or k?
k
Let p = 0.07 - -0.02. Let m = -0.39 + p. Which is greater: m or 0.1?
0.1
Let h = -0.014 - -0.114. Which is greater: -4/5 or h?
h
Let z be (-1 + 2)*12/(-6). Let m = z + 6. Which is bigger: 3 or m?
m
Let m = 9 - 4. Suppose -m*o + 5 = 5*f, -3*f - 11 = -7*f + 3*o. Suppose 6*s - f*s = 0. Do s and -1/3 have the same value?
False
Suppose 4*r + 5 = v, -v + 0 = 5*r + 4. Let a = 3 + r. Which is greater: a or 1?
a
Let x be (4/(-10))/(7/(-105)). Suppose x = -2*f, -4*c + 3*c = 5*f + 31. Let y be (3/15)/(c/20). Is 1 smaller than y?
False
Let v = 9 - 9. Which is greater: 4/9 or v?
4/9
Suppose 0 = 5*f - 0*f, q - 4*f - 1 = 0. Let c be 0*4/((-24)/(-3)). Which is greater: q or c?
q
Let u be -6 + 8 - (2 + 0). Let a = u + 1. Suppose p - 1 - 1 = 0. Which is smaller: p or a?
a
Suppose 1 = k + 2*l, 20 + 34 = 4*k - 2*l. Which is greater: 12 or k?
12
Suppose -38 = 11*x + 28. Which is smaller: x or 1?
x
Let h = 17.2 + -17. Is h greater than -1?
True
Let y be (-1)/(3 - 0) - -3. Is y at most 2?
False
Let g(q) = q**3 + q. Let n be g(1). Let y be n - -5 - 4/(-1). Is 12 at most y?
False
Let j = 9 - 1. Suppose 0 = -4*r + j, 3 = -4*h + 4*r - 9. Which is greater: h or -1/12?
-1/12
Let p(j) = j**2 - 9*j + 1. Let c be p(9). Suppose 4*b - 6*b - 4 = 0. Let v be (c/(-12))/(b/4). Which is bigger: -1 or v?
v
Let b be -3 - (-5 + 0 - -2). Let r be ((-2)/8)/((-1)/(-894)). Let f = 4015/18 + r. Which is greater: b or f?
b
Let t = -0.29 - -0.29. Whi