v?
True
Let g = -74 + 79. Suppose 3 = 3*r - 6. Which is smaller: g or r?
r
Let i be (-18)/(-8) - (-5)/(-20). Which is bigger: 16/5 or i?
16/5
Suppose -3*p = 4*u - p - 2, 3*u + 2*p - 2 = 0. Suppose u = -h + 6*h - 50. Are 10 and h equal?
True
Suppose 2*k = 7 - 5. Suppose -4*d - k = 3. Is 3/10 >= d?
True
Let l be 32/50*(-10)/6. Are l and -1 unequal?
True
Let o = -1/14318075 - -8230030043/7631533975. Let m = o - 48/41. Let c = m - 153/455. Is c < 2?
True
Suppose 0 = 3*p + 5*v - 55 + 160, -p = -v + 35. Which is smaller: p or -33?
p
Suppose -3*i - 1 = -4. Let f = -79/495 + -1/45. Is i smaller than f?
False
Let h(x) = x - 4. Let j be h(3). Is j bigger than -5/2?
True
Let q(s) = -s**2 - 3*s - 3. Let r = 9 + -6. Suppose -g + a = 3 + 3, -r*a = -5*g - 22. Let c be q(g). Is c less than or equal to -1?
True
Suppose 0*f - 5 = f. Let i = f - -2. Let c(t) = -t**2 + t. Let m be c(-1). Which is bigger: i or m?
m
Suppose -5*z + 4*i = 3, -i = 4*i - 10. Suppose -2*b + 12 = 4*c, -4*b - 5*c - z = -10. Let g(y) = 5*y + 1. Let h be g(-1). Is h at least as big as b?
True
Let g = 11 + -10. Suppose 0 = x - 0*x - g. Which is smaller: -2/5 or x?
-2/5
Let m = 18 + -13.4. Let d = m + -5. Let h = d - -0.2. Is -1 >= h?
False
Let o = -0.194 - 18.806. Is 0.2 >= o?
True
Let j = 0.6 + -0.5. Let q = 1207/210 - -3/35. Let u = q + -11/2. Is j equal to u?
False
Let i = 9 + -7. Suppose i - 4 = j. Is j != -3?
True
Let q = 47748901/38559 + -2/12853. Let k = q - 1226. Let d = k - 12. Which is greater: d or -1?
d
Let d = 26 - 20. Let r be ((-2)/(-6))/(8/d). Which is smaller: r or -2/11?
-2/11
Let o(k) = k**3 - 3*k**2 - 4*k. Let g be o(4). Suppose 5 = -5*r - g. Which is greater: 1/6 or r?
1/6
Let d = 9 + -5. Suppose -g - 18 = -d*g. Suppose -6 - g = -4*y. Is 2 at least y?
False
Let u(b) = 2*b + 6. Let o be u(6). Suppose o = -3*m + 3*w, 3*m - 5*w + 14 = 6*m. Let f be (0 + 0)/(m/(-1)). Is f > 1/5?
False
Let d be (-6)/4 - (-7)/14. Let s be 4 - 7 - (-41)/13. Is s at most d?
False
Let h = 0.55 - 0.7. Let s = h + -5.85. Which is smaller: -2/7 or s?
s
Let w be ((-2)/6)/(34/12). Let v be 3 - (-4)/8*-8. Which is bigger: v or w?
w
Suppose 5*h - 5*o - 25 = 0, 5*o = -3*h - 0*o + 15. Suppose 0 = 2*x - h*x. Suppose 2*u = 4*u - 2. Which is smaller: x or u?
x
Let q be 4/(-1)*(-24)/(-8). Which is smaller: -11 or q?
q
Let k be (-2)/(1/(-1)) - (-72)/(-33). Let x = 0.4 - 0. Let o = x + -0.3. Which is bigger: o or k?
o
Let c = 72 - 67. Let k = 16 + -11. Is k less than c?
False
Let d(r) = 2*r + 7. Let q be d(-5). Let w be ((-4)/(-6)*q)/2. Is -2/5 <= w?
False
Let i be ((-28)/(-8))/((-3)/(-2)). Which is greater: 2 or i?
i
Let c = -4 + 0. Which is greater: c or 0.3?
0.3
Let t(k) = k**3 - 4*k**2 - k + 5. Let g be t(4). Suppose 0 = 6*m - 5*m - 2. Let y be m - (g - (-3 + 2)). Is -2/5 less than or equal to y?
True
Suppose t - 7 = 3*o, -4*t - 2 = 5*o + 4. Let b(a) = -3*a + 3. Let g be b(-3). Let v = g + -13. Which is smaller: t or v?
v
Let t(i) = i**2 + 8*i - 11. Suppose 3*r + 27 = -0*r. Let l be t(r). Let a = -3 + l. Is -5 < a?
False
Let g = -1 + 1. Let s = 1 + 3. Suppose -m = t + 2*t + 3, 0 = -s*m - 4*t - 4. Do m and g have the same value?
True
Let d = -9 + 16. Let x(p) = d + p + p - p. Let t be x(-5). Is 3 less than or equal to t?
False
Suppose 3*i = 4*i - 4*p, 0 = -5*i - 4*p. Let r = -3 - i. Let v = 143/2 - 73. Do v and r have different values?
True
Let p = -48624 + 4619342/95. Let z = -20/19 + p. Let c = 9 - 8. Is c less than or equal to z?
False
Let u be -2 - -2 - 119/(-328). Let h = 1/82 + u. Let j be 2*1/3*9/(-6). Which is bigger: h or j?
h
Let a be 0*(4/(-2) - -3). Suppose -8 - 14 = 3*s - 2*x, -s + 3*x = 19. Let z be 0*((-6)/s - 1). Is a at most as big as z?
True
Let m be (-3)/1*64/(-12). Are m and 15 unequal?
True
Let f(k) = 3 - k + 2 - 1. Let j be f(4). Is j < 2/5?
True
Suppose 0 = -0*r - 2*r + 5*w + 32, -w + 23 = r. Let c = r - 14. Is 7 < c?
False
Let v = -0.2 + 0.8. Let n = v - 0.7. Let o(f) = -f**2 - 5*f. Let w be o(-5). Are w and n nonequal?
True
Let u(g) = -g**3 + g - 1. Let r(d) = 4*d**3 + 5*d**2 - 5*d + 5. Let w(h) = r(h) + 5*u(h). Let t be w(5). Do t and -4/7 have different values?
True
Let l = 0.59 + -4.59. Is l > 0.11?
False
Let v = 1.2 - -1.4. Let i = -0.6 + v. Which is greater: i or 0?
i
Suppose s + 15 = 4*s, -5*s + 5 = -5*p. Let r be (1 + (-2)/4)*3. Are p and r nonequal?
True
Let z = -5 - -5. Suppose 0 = -3*a + 5*a - 460. Let t = 2068/9 - a. Which is greater: z or t?
z
Let l(f) = f**3 + 2*f**2 - 1. Let d be l(-1). Is d <= -2/5?
False
Let b(y) = -y**3 - 6*y**2 + 7*y - 1. Let h be b(-7). Let i = 1 + h. Are i and 0 non-equal?
False
Let b = -0.1 + -5.9. Let z = -1 - 4. Let h = b - z. Which is smaller: h or 0?
h
Let x = -0.1 - -0.1. Let z = -5.1 + 5. Let v = x + z. Is v < -1/4?
False
Let u be 18/4*(-40)/1110. Which is greater: 1 or u?
1
Let k be (18/27)/(4/18). Suppose 27 = -k*o - 0*o. Is o bigger than -8?
False
Let w = -25 + 27. Let z = 363/212 + 2/53. Which is bigger: w or z?
w
Let g = -70.31 - -70. Let b = -0.18 - g. Which is smaller: 1 or b?
b
Suppose 4*s - 1 = -l + 12, -13 = 4*l + 3*s. Which is smaller: -27/4 or l?
l
Suppose v = 3*v - p, 5*v + p = 14. Suppose 0 = v*q + 2 - 0. Which is bigger: 2/5 or q?
2/5
Let b(j) = -j + 5. Let x be b(3). Which is smaller: -6 or x?
-6
Suppose 4*o = -3*k - 12, 0*k = 3*k + 3*o + 9. Let b(q) = -11*q**3 + 1. Let j be b(-1). Let c be ((-2)/j)/(4/(-6)). Which is greater: c or k?
c
Let q be ((-110)/(-6))/((-1)/6). Let r be (-2)/(-10) - (-782)/q. Let u = r + 662/99. Which is bigger: u or 2?
2
Let y be 2/(-13)*1/(-1). Suppose 4*x = x. Let q = 1 + x. Which is smaller: y or q?
y
Let r = -3 + 2. Let y = 362/45 - 76/9. Is r greater than or equal to y?
False
Suppose -n - 6 - 3 = 0. Which is bigger: -11 or n?
n
Let i be (0 - 0) + 0 + 1. Let z be i - -3*(-10)/24. Is 2/7 at most z?
False
Suppose 65 = -8*b - 111. Are b and -23 equal?
False
Let g be 2/((-96)/(-194)) - 4. Is g >= 0?
True
Suppose 0*u + 4 = -2*u. Let c be -20 - 0*u/(-4). Let o be ((-2)/c)/(10/75). Which is bigger: 2 or o?
2
Let a be (2/45 + 0)/((-16)/160). Which is smaller: a or 0?
a
Let l be -1*6*(-1)/1. Is 37/6 less than or equal to l?
False
Let p(o) = 50*o. Let k be p(-2). Let n be ((-8)/k)/((-2)/(-10)). Is n at least as big as 0.4?
True
Suppose -2 + 0 = -2*i - g, -5*g = -10. Suppose 3*l - 5*d - 4 + 27 = i, 0 = -5*l - 4*d - 26. Let n = l - -29/5. Is n != 0?
True
Suppose 7*f = 8*f + 1. Let h = -2/5 + 7/30. Which is bigger: f or h?
h
Let p(f) be the second derivative of -f**3/6 + f**2 + f. Let a be p(2). Which is smaller: 2/5 or a?
a
Let n = -72 - -938/13. Let c be 15/(-9) + (-2)/(-3). Which is smaller: c or n?
c
Suppose -t + 21 = 2*t. Suppose -t*l = -3*l - 8. Suppose -4 = -6*v + l*v. Which is greater: v or -1?
v
Let f(l) = -5*l**2. Let o be f(-1). Let k = 12 + o. Is 7 not equal to k?
False
Let d = -437 + 1328/3. Let x(y) = -y**2 + 6*y + 1. Let l be x(5). Which is smaller: d or l?
d
Suppose 4*o + 44 = 8. Do -7 and o have the same value?
False
Let q(l) = l**3 + 5*l**2 + 2*l - 5. Let j be q(-4). Suppose -o = t - 4, 0 = j*o + 6*t - 2*t - 16. Is -3/5 smaller than o?
True
Suppose 5*v = -3*u + 1 - 44, -3*u = 3. Are -8 and v non-equal?
False
Let u be (-6*1)/((-30)/3). Which is smaller: 0 or u?
0
Suppose 0 = -2*o + 4*o - 5*s + 15, -27 = 5*o - 2*s. Let l be (-13)/o - (-4)/10. Let h be (4/(-20))/((-3)/30). Is l greater than h?
True
Let t be 3*((-21)/18 - -1). Which is smaller: t or 0?
t
Let c be (-1 - 52/(-54))*-1. Let i = 3352 - 90487/27. Let o = c + i. Is 0 <= o?
True
Let d be 20/(-25) + (-84)/20. Let a(r) = r - 7. Let t be a(4). Which is bigger: d or t?
t
Suppose 0 = 5*m - 4*k + 10, -2*k = -5*m - 3*k + 15. Let q = -0.1 - 0.1. Let f = -0.3 - q. Does f = m?
False
Suppose 0 = -4*l + 2*o - 4*o + 16, l - 4 = -4*o. Suppose b = l*b. Let x(m) = m - 2. Let u be x(3). Is u less than b?
False
Let f = 1 - -1. Let a = 2.2 - f. Let s = 0.2 - 0.3. Which is smaller: s or a?
s
Let m(g) = -g**2 - 16*g - 12. Let l be m(-15). Let x be 1/(l + 16/(-5)). Is -4 greater than x?
True
Let a = 25.039 + -0.039. Let k = a - 24. Is k > 1?
False
Suppose -71 + 6 = 5*s. Is s less than -13?
False
Let u = -5 - -5. Suppose u = 3*c - 0*c - 21. Is c < 7?
False
Let j be 1 + 3/(-9)*1. Is j at most 1?
True
Let p = -89 - -86. Is p greater than 2/17?
False
Let t