et h = 5 - 4.7. Which is smaller: j or h?
j
Suppose 2*k + 4*s + 5 = -s, -6 = -2*s. Let v be 11/(-55) + 58/k. Let d = -8 - -3. Which is smaller: d or v?
v
Let k = 0.11 - 4.11. Let z = 3.7 + k. Let l = -0.4 - z. Is -1 smaller than l?
True
Let v = -44288/61 - -726. Is -1 at least v?
False
Suppose 0 = -5*i + 4*m + 26, 0 = -2*i - 0*i + 4*m + 20. Suppose -j = -i + 7. Are -4 and j non-equal?
True
Let s = 450/1177 + -2/107. Is 1 at most s?
False
Suppose 2*m = 3*r + 16, 2*r = -2*m + 7*m - 18. Is -1 less than or equal to r?
False
Suppose -5*t + 70 = 2*t. Is t at least 2?
True
Let c be 0 - (-3)/(1 - 0). Let f be (-2)/8 + c/(-84). Which is greater: f or 1/2?
1/2
Let b be 0/((9 + -7)/(-1 - -2)). Is b not equal to 18/7?
True
Let o = 6212/37 - 168. Is -1 less than o?
True
Suppose 8*r - 3*r = 0. Which is smaller: 4/5 or r?
r
Let c(w) = -w**2 + 18*w - 53. Let y be c(13). Is y at least as big as 5?
True
Suppose -1 = 3*d - 4. Let y = 12037/29 + -415. Let q = 23/87 + y. Is q < d?
True
Let y be -1 - (-1 - (0 + 0)). Suppose -2*w - v + 3*v = -6, -4*v + 8 = y. Which is smaller: 4 or w?
4
Let p(v) = 4*v + 3. Let i(u) = u + 1. Let t(f) = -7*i(f) + 2*p(f). Let b be t(2). Let d be (-4)/(-14) - 3/(-63). Which is greater: d or b?
b
Let u = 2.26 - 0.26. Which is smaller: u or -7/2?
-7/2
Let i = 0 + 2. Suppose -3*b - i*y + 2 = -12, -3*b - 5*y = -17. Suppose 0 = 7*x - 2*x - 15. Does x = b?
False
Let c be (-15)/2*(-3)/(-30). Which is smaller: c or -2?
-2
Let u = 0.6 + -0.56. Let t = 3 - 4. Which is bigger: t or u?
u
Suppose 0 = -6*u - u - 7. Which is greater: 3/41 or u?
3/41
Let a = -55 - -67. Is a < 11?
False
Let y = -12 + 7. Let b be y*(13/15 - 1). Which is greater: b or 2/5?
b
Let q be 2/4*3/(-4). Let c = 35 - 34.9. Is q greater than c?
False
Let a = 3 + -5. Let v = a - -1. Suppose -3*q + 6 = -3. Is q greater than v?
True
Let r = 40 + -29. Which is smaller: 13 or r?
r
Suppose -5 = 2*t + 1. Let i be (t - -1)/(-1) + 3. Let b(o) = -o**2 + 5*o. Let j be b(i). Is j less than or equal to -1?
False
Let v = 34 - 90. Do v and -57 have the same value?
False
Let a(v) = v**3 - 7*v**2 - 10*v + 9. Let o be a(8). Let g(w) = -w**3 - 8*w**2 - 8*w - 7. Let h be g(o). Does 1 = h?
False
Suppose 0 = -2*v - 3*t + 39, -2*t = 4*v + t - 63. Let q = -11 + v. Which is bigger: 2/17 or q?
q
Let h be -3 - 22*4/(-8). Is 2 bigger than h?
False
Let c = -86 - -85. Which is greater: c or -3/32?
-3/32
Let n be ((-30)/(-25))/(2/5). Suppose -n*k - 360 = 4*t, -t = -4*t. Let j = k + 1562/13. Which is greater: 0 or j?
j
Let s = 3 - -12. Let o = s + -14. Let h = 4 + 0. Which is bigger: h or o?
h
Let o = -4 - -17. Which is greater: 12 or o?
o
Suppose -2*o + 3 = 7. Let z = o - -4. Let n be 3/(1 + z) - 2. Which is bigger: n or 0.2?
0.2
Let a = -73/65 + -1/13. Which is smaller: a or 2?
a
Let b = -134 - -134.1. Which is greater: b or -22?
b
Let g(f) = f**3 - 7*f**2 - 9*f + 12. Let x be g(8). Suppose 0 = -v + 3, -x*k - 2*v = -2*k - 6. Which is smaller: k or -2/7?
-2/7
Let d = -3921/11 + 356. Let k(j) = -j**3 + j**2 - j - 1. Let z be k(0). Is z at least as big as d?
False
Let i = -0.4 - 0.8. Let u = i + 1. Let h = -0.3 - u. Which is smaller: 0.2 or h?
h
Suppose -w - 2 = -7. Let g(y) = -2*y**2 - 2*y**3 + 1 - w + y**3. Let m be g(-3). Is 0.1 less than m?
True
Suppose 4*b + 15 + 143 = 2*n, -b - 4*n - 35 = 0. Let z = b + 428/11. Which is bigger: -1 or z?
z
Let s = 3/182 + -4929/910. Let q = 146/15 + s. Is 5 at least as big as q?
True
Suppose 4*r = -2*r + 12. Let t = 5 + -2. Suppose 5 - t = -r*a. Is a < -2?
False
Let m be 2/7 + 0/(-2). Let w = -2 - -2. Let j = w - 1. Which is greater: m or j?
m
Suppose -2*f = -5*n - 3, -f + 0 = -2*n - 2. Suppose o = -f*o + 5. Is o at least as big as 2?
False
Let m = -353.94 + 351. Let d = -11 - -8. Let h = m - d. Which is smaller: -0.1 or h?
-0.1
Let b be (7746/(-5))/(1/5). Let v = b + 2424496/313. Let f = -640/2191 - v. Which is smaller: -1 or f?
-1
Suppose 0 = 2*r - 4*j + 6*j - 8, 0 = -5*r + j + 8. Suppose 0*q = r*v - 3*q - 12, 4*v + 5*q + 20 = 0. Which is smaller: -5/8 or v?
-5/8
Let x(q) = -q**3 - 3*q**2 + 4*q + 6. Let k be x(-4). Let c be 1 + 2/((-4)/k). Is -2 != c?
False
Let q = 202.1 + -226. Let w = -24 - q. Is w at least 0.3?
False
Suppose 0 = -7*z + 2*z + 10. Suppose 4*o + 0*o - z*k - 6 = 0, o + 3*k + 9 = 0. Which is greater: o or 2/43?
2/43
Let t be 1 - (1 + (-1 - -1)). Suppose 3*i = 8*i - 45. Let k = i - 8. Which is smaller: t or k?
t
Let p(a) = 5 + 2 + a - 2*a. Let q be p(6). Let d = 0.14 + 0.16. Is q at least as big as d?
True
Suppose 0 = x + 2 - 3. Let h be (-27)/15 - 2*-1. Is h at most x?
True
Let v(j) = -j**3 - 8*j**2 - 8*j + 3. Let m be v(-7). Let c = m + -7. Do c and -1 have the same value?
False
Let s(o) = 5*o - 1. Let c be s(-2). Which is smaller: c or -10?
c
Let o = 0.55 + -0.6. Let i = -2.25 + 2. Let z = i - o. Is z != 0?
True
Let s = 2.9 + -0.9. Which is smaller: -0.14 or s?
-0.14
Let v = -0.1 - 0.1. Let p = v - -0.1. Let i be (-2 + (-8)/(-5))*(-40)/(-64). Which is greater: p or i?
p
Let t be (-53)/639 - (-7)/63. Is t >= 0?
True
Let w = 1 - 2. Which is bigger: w or -11?
w
Let n(m) = -m - 1. Let l be n(0). Let g be (1 + -1)/(3 + l). Suppose g*r + 22 = -4*p + 2*r, 3*r - 13 = p. Which is smaller: 1/2 or p?
p
Let n be (-32)/24 + 8/6. Suppose 5*h + 0*h + 5 = n. Which is bigger: 1/3 or h?
1/3
Let x(i) = -i**2 - 13*i - 13. Suppose -3*l - 4*s - 34 = -2*s, 3*l + 4*s + 32 = 0. Let w be x(l). Which is smaller: 4/11 or w?
w
Suppose -13 - 2 = -5*u. Suppose -i - 11 = x, -5*x + u*i - i = 41. Let n = 8 + x. Which is greater: n or -3?
n
Suppose v + 0*x + 7 = -3*x, 5*x = 0. Let q = -4 - -5. Which is bigger: q or v?
q
Let m = 6 + -29/5. Which is smaller: m or -1?
-1
Let p be (-6)/14*2/3. Let a be 4/(-8) - (-18)/4. Let z be (-6)/4*a/(-18). Is z bigger than p?
True
Let s(g) be the third derivative of 0*g - 2*g**2 + 5/6*g**3 - 1/4*g**4 + 1/12*g**5 - 1/120*g**6 + 0. Let f be s(4). Which is greater: f or -2?
-2
Suppose 11*n + 3*n = 280. Is 19 smaller than n?
True
Let u = -5 - -7. Suppose a - 5 = -4*a - u*r, -2*r + 11 = -a. Let o = 2 + a. Does o = -2/9?
False
Let w(p) = -p**2 + 10*p + 11. Let a be w(11). Let r be ((-13)/10 - -1)/1. Do r and a have the same value?
False
Let n = 214 + -1502/7. Which is greater: -3/2 or n?
n
Suppose 6*x = x + 5. Which is smaller: 2/93 or x?
2/93
Let u(c) = -3*c - 2. Let a be u(-1). Is a greater than 4?
False
Let v = 9 - 5. Suppose 6 - 14 = v*x. Let g be (24/(-11))/(-1) + x. Which is bigger: g or 0?
g
Let a be (-2)/(-2)*(-1 + 1). Suppose -3*y + 0*y = a. Suppose -87*q = -77*q - 60. Are y and q unequal?
True
Let f(w) be the first derivative of w**2 + 2. Let z = -2 + 1. Let v be f(z). Is v at most as big as -2?
True
Let d = 5.7 + -0.7. Let f = d + -4. Let o(z) = z**3 + 5*z**2 + 4*z + 4. Let l be o(-4). Is f smaller than l?
True
Let v = 5 + -2. Let s(y) = -3*y**2 - 3 - 11*y - 1 + 4*y**2 + v. Let k be s(11). Is 2/5 greater than or equal to k?
True
Let k be 3/6*4*1. Let z be (1/1)/(-1*1). Let i be k + (-1 - z - 2). Which is smaller: i or -1/5?
-1/5
Let o = -0.03 + -0.17. Is -0.01 >= o?
True
Let d(i) = i**2 + 2*i - 2. Let g(h) = h**2 + 10*h - 3. Let o be g(-10). Let k be d(o). Which is smaller: k or 6/5?
k
Let a be (-3)/4 + (-5)/(-10). Which is greater: -6 or a?
a
Let s be 6/(-33) - (-314)/(-187). Let t = -27/17 - s. Is t equal to 0?
False
Suppose 5*u = 3*u - 4. Do -0.1 and u have the same value?
False
Suppose -1 = -5*t + 2*f + 10, f = 4*t - 10. Suppose -15 = -3*y - 2*y. Is t >= y?
True
Let s(i) = 4*i**3 + 19*i**2 + 15*i + 6. Let q(f) = -3*f**3 - 13*f**2 - 10*f - 4. Let k(n) = -7*q(n) - 5*s(n). Let d be k(5). Do -2 and d have the same value?
True
Let o be (60/52 - 0) + -1. Suppose w = -w + 4*c + 18, -c = -5*w. Which is smaller: o or w?
w
Let k = 10 - 10. Let y be ((-3)/(-2))/(60/496). Let d = y - 13. Which is bigger: d or k?
k
Let g(k) = -k**3 - k**2 + k + 4. Let r be g(0). Suppose 14 - 2 = -r*h. Is -6 > h?
False
Let h = 10 - 6. Suppose 8*n - h*n - 8 = 0. Suppose 3 = -n*s - 1. Is 1 at most as big as s?
False
Let g = 1406 - 15454/11. Which is greater: g or 2?
2
Suppose 4*t - 9 = 3*g, 11 = 5*t + g - 5. Suppose 0*o = t*o - 6. Let a be 4*(1 - 8/10). Which is smaller: o or a?
a
Let l be (-203)/(-63) - (-4)/(-18). Let j be l/12 - 58/8. Is -7 greater than or equal to j?
True