re -1/3 and r equal?
False
Let q = 2 - 4. Let n be 22/(-77) - 145/7. Let g be ((-6)/n)/((-1)/2). Which is smaller: q or g?
q
Let c(k) = -k**3 + 7*k**2 + 1. Let p be c(7). Suppose q - 7 = -2*q - m, q = -5*m - 7. Suppose 3*y + 5 = -4*t, q*t - 2 = -2*y - 5. Is p at least as big as t?
True
Let r = 0.7 - 1. Let l = -0.5 - r. Which is smaller: l or -0.1?
l
Let q = -5 + 15. Let i be (-2)/(-4) + q/(-4). Let c be -5*i/8 - 1. Which is greater: -1 or c?
c
Let d(l) = l - 19. Let z be d(12). Which is smaller: z or -38/5?
-38/5
Let s = 178/381 - -396899/2667. Let z = s - 149. Which is greater: z or 3?
3
Suppose -z - z - 4 = 0. Let b be (z - (0 - 3))/1. Suppose 112*u - 119*u + 21 = 0. Are b and u unequal?
True
Suppose 0 = 3*o - 13*o. Which is bigger: o or -2?
o
Suppose -2*i + 0*i + 4 = 0. Are 5/6 and i unequal?
True
Let x(s) = s**3 + 7*s**2 - s - 2. Let n = 25 + -32. Let k be x(n). Which is greater: k or 6?
6
Let j be (3/2)/(27/342). Suppose 3*p - j + 1 = -f, -3*p + 3 = -4*f. Which is smaller: f or 2?
2
Let g(c) = -c**2 + 3*c + 4. Let p be g(4). Let q = -0.24 + 2.14. Let d = 2 - q. Is d > p?
True
Let c = 24 - 26. Which is smaller: c or -14/3?
-14/3
Let a be ((-2)/(-6))/(8/(-3)). Suppose -2*y - 2 + 0 = 0. Which is greater: a or y?
a
Let m = -20 - -20. Suppose g + 16 = 3*a, -3*g = -0*a + 2*a - 7. Let t be 18/(-40) + g/(-4). Do m and t have the same value?
False
Let w be ((-18)/45)/((-8)/10). Let o = -1 + 3. Which is smaller: o or w?
w
Let b = -17/2 - -9. Let s = -11.92 - -12. Which is greater: s or b?
b
Suppose 2*n + 2*k - 6 = 0, -n - 2*k + 7 = k. Does n = 1?
True
Let k be (-11315)/2*(-1)/2. Let m = k - 2801. Let l = -28 + m. Is 1 at least l?
True
Let a(i) be the third derivative of 1/4*i**4 + 0*i - 2*i**2 + 0 - 1/6*i**3. Let n be a(1). Is 1 > n?
False
Let j be (1/(-4))/(2/(-18)). Suppose 3 = 3*a - 6*a. Let z = a + j. Do 0 and z have the same value?
False
Let l be (-5)/(-5)*(-38 - -1). Is l less than -1/3?
True
Let l(r) = -r**2 + 6 + 4*r - r + r. Let i be l(5). Let d be (-7)/(-21) - i/2. Which is greater: d or 1?
1
Let w = 9.5 - 9.6. Let o = -0.8 + -1. Let s = 2 + o. Does s = w?
False
Let v(l) = -l + 10. Suppose -2*n = g - 10 - 3, -5*g = n - 65. Let u be v(g). Is -2 greater than or equal to u?
True
Let f(i) = 4 + 5*i - 3*i - 7 - 5. Let l be f(5). Which is smaller: 6 or l?
l
Suppose 0*l = l. Let p = -5 + 7. Let c = p + -3. Does c = l?
False
Let u = -0.03 + 2.63. Let k = -0.05 - -0.45. Let n = k + u. Is -1/2 > n?
False
Suppose -2*d + 0*d = -10. Suppose 4*s - 3 = d. Suppose 0 = s*v - 6*v. Are -0.3 and v equal?
False
Let s be (1/2)/((-2)/6). Let j = -29/18 - s. Which is smaller: 0 or j?
j
Let i be (-9)/(-10) + 2 + (-5)/2. Is 1 equal to i?
False
Let f(l) = l**3 + 6*l**2 + 6*l + 4. Let a be f(-5). Let r be ((3 + a)/2)/(-1). Is -1 at least r?
True
Let t(w) = -w + 13. Let q be t(7). Let y be ((-3)/2)/((-3)/q). Let o = 1.1 + -0.1. Is o at least y?
False
Let h be ((-830)/15)/((-14)/6). Let t = -24 + h. Which is bigger: t or -1?
t
Let g = 5 - 4.95. Does -0.1 = g?
False
Let o(x) = -x - 2. Let t be o(-1). Let v be 2/(-9)*5595/(-6). Let s = v + -207. Which is smaller: t or s?
t
Suppose 0 = -6*c + 3*c. Let o = 169 - c. Let i = o + -1185/7. Which is smaller: 1 or i?
i
Let p = -244.165 - 23.815. Let v = -265 - p. Let s = -0.02 - v. Are s and -0.1 unequal?
True
Let s = -50 + 51. Which is bigger: s or 10/13?
s
Let p be (0 - -1)/(2/16). Suppose -2*m = -o + p, 5*o - o = 4*m + 20. Let i be (-1)/6 + m/(-6). Which is smaller: i or 0?
0
Suppose -2*o - 4 + 10 = w, 3*o + 3*w = 6. Suppose 4 + o = -4*v. Which is smaller: -1 or v?
v
Let j = -1.8 - -2. Let o = 4 + -3.8. Let g = j - o. Is g at most as big as -1?
False
Let k = 5265/16951 - -9/3685. Let u = k - -2/23. Let n be (-4)/6*6/(-4). Is n smaller than u?
False
Let i = 18 + -19. Let r be (-10)/(-3)*1/(-2). Which is greater: i or r?
i
Let p(j) = 1499 - 1499 - j**2 - 9*j. Suppose -2*s + 4*n + 4 - 14 = 0, 55 = -5*s - 5*n. Let o be p(s). Which is bigger: 8/7 or o?
8/7
Suppose -2*y + 2*g + 8 = 0, 0 = -3*y + 2*g + 2*g + 11. Which is greater: 0 or y?
y
Suppose 0 = 3*c, c + 3 = 3*n - 0*n. Let g be (-2*n)/(-1*2). Suppose -d + 3*w + 7 = d, 5*d - 14 = 4*w. Which is bigger: g or d?
d
Let v be 6*8/60 - 56/20. Which is smaller: v or -2/13?
v
Let i(f) = -11*f**2 + 3*f - 1. Let l be i(3). Let v = l - -821/9. Is v at most 1?
True
Let n = 4 + -14. Let f = n - -10. Let s = 1 - 1. Is s at least f?
True
Suppose 0 = 5*i + 4*x + x + 5, -7 = i + 3*x. Suppose -3*g + 3 = -3*w, 4*g - 2*w - 1 = 3. Suppose 1 + g = i*a. Is a less than or equal to 1?
True
Let z(r) = -r + 5. Let n be z(-5). Are n and 10 unequal?
False
Let g(c) = -c**2 + 7*c - 1. Let b be g(6). Let n = -23 + 38. Suppose -2*l - 4*a + 19 = 7, 0 = -l - b*a + n. Is 2/3 less than l?
False
Suppose 19*s = -r + 14*s - 26, -8 = 2*r - s. Is r < -10?
False
Suppose -4 = -10*s + 11*s. Let a be 9 + -1 + 0 + 0. Let y = 5 - a. Is s less than y?
True
Let p be ((-7)/(-8)*-2)/((-1)/(-4)). Let r be (1 + 0)*(-30)/5. Which is smaller: r or p?
p
Suppose a + 4*r + 1 + 23 = 0, -2*a = 5*r + 33. Let f be (-2)/a + 4/(-24). Is f at least as big as -2?
True
Let m = -352/5 + 70. Let h(q) = -q + 5. Let r be h(5). Which is smaller: r or m?
m
Let v(g) = -5*g - 8. Let j be v(-7). Let s be -3*15/j*3. Is s at most -4?
True
Suppose -4*a + 3*m = 21, a + 0*m + m + 7 = 0. Let n(b) = b - 3. Let y be n(4). Let p be (y/(-2))/((-3)/a). Is p less than 2/19?
True
Let r = 32 + -16. Suppose 0 = -5*p + 2*o - r, 2*p - 5*o = -2*p - 23. Which is greater: -1 or p?
-1
Suppose 12 = 2*c + 4. Suppose -u - u + b - 10 = 0, c*u + 26 = -b. Which is smaller: -5 or u?
u
Let j be (3/(-1))/((-6)/4). Let s be (-1)/(-2) + 1/j. Let u(g) = -g**3 - 3*g**2 + 4*g. Let c be u(-4). Are c and s non-equal?
True
Let f = -11 - -18. Which is greater: 8 or f?
8
Suppose 7*p - 15 = 2*p. Suppose -9 + p = -3*a. Which is greater: 1 or a?
a
Let v be (-2)/4*(-12)/(-1). Let n = 0.96 + 0.04. Is v at most as big as n?
True
Let f(l) be the first derivative of l**3/3 + 4*l**2 + 3*l - 3. Let c be f(-8). Suppose 0 = -z - u + 4, -5*z + 12 + 8 = c*u. Which is smaller: 6 or z?
z
Let h(v) = v**3 - 11*v**2 - 24*v - 15. Let o be h(13). Which is greater: o or 10?
o
Let y = -5 + 10. Suppose -25 = 3*n - 0*n - y*h, -2*n = -2*h + 10. Let w be 2 + -2 + (1 - n). Is 2/7 not equal to w?
True
Let w(g) = 0 + 4 + 4 + 2*g + 0. Let s be w(-8). Is -8 >= s?
True
Let y(r) = -r**2 + 3*r + 8. Let h be y(4). Suppose 10 = 5*b - 3*v, h*b + 13 = 5*v + 34. Is b at most -1?
True
Let m = -154 - -152. Which is smaller: m or -4?
-4
Let u(d) = d + 3. Let g be u(-3). Let x = 473/16 - 29. Let n = -85/208 + x. Is g less than n?
True
Let q be 0/((-3)/1 + 2). Suppose -4 = -w, -2*w = -2*j - 8 - q. Does j = 3/5?
False
Let z(r) = r**2 + 3*r + 33. Let s be z(0). Do 33 and s have the same value?
True
Suppose 5*s - 31 = 19. Let w be -2*((-18)/s - -2). Does w = -8?
False
Let t = -1231/2431 - 6/187. Which is greater: t or -1?
t
Let j = 1.2 - 0.2. Let v = 449/328 + -11/8. Let l = 325/492 - v. Which is greater: l or j?
j
Suppose -3*r - 21 = 3. Is r at least -8?
True
Let q be ((-22)/5)/(12/(-10)). Is q equal to 3?
False
Let k(r) = r**2 + 3*r - 29. Let m be k(-7). Which is smaller: m or 9/10?
m
Let q = 0.2 - 2.2. Which is smaller: 0.04 or q?
q
Let a be (0 + -32)*6/8. Let z be a/(-108) + (-68)/(-18). Is 4 >= z?
True
Let x(o) = -3*o - 20. Let g be x(-7). Let w be (2/6)/(5/2). Which is bigger: w or g?
g
Let v = -9.4 + 9.4. Does v = -7?
False
Let s(h) = 2*h - 4. Let o be s(3). Let i be (o + -1*2)/1. Let b = 19/145 - -2/29. Is b > i?
True
Let x be -19 - (1 + 0)*(-7 - -7). Which is greater: -18 or x?
-18
Let f = 15 + -11. Suppose 9 = -f*g + 1. Let a = g + 3. Which is smaller: 0 or a?
0
Let o = 155 + -136.4. Let w = 19 - o. Is w > 1/4?
True
Let p = 7 - 6. Is p >= -7/6?
True
Let m be (22/34)/(2/(-22)). Let z = m + 7. Let p = -36 - -36. Is z greater than or equal to p?
False
Let g = -3 + 2.7. Let y = -0.4 - g. Is y greater than or equal to 9?
False
Let h = 1 - 1. Let p(y) be the third derivative of -y**4/12 + y**3/6 + 5*y**2. Let v be p(1). Which is smaller: v or h?
v
Let y = 3.779 - 0.079. Let f = 8 - 4. Let q = f - y. Is -0.1 smaller than q?
True
Suppose 5*r = -17 + 57. Let b = 2 - r. Let a be (-16)/b*(-9)/6. Which is smaller: a or -2?
a
Let x(s) =