r: s or v?
s
Let h be 11 - 7 - (-71 - 1). Let d be h/(-18) + (-30)/(-135). Is d > -2?
False
Suppose 5*b - 4*h + 15 = 0, h + 25 = 6*h. Which is bigger: 3/5 or b?
b
Suppose 3*x - 4*w = -w + 21, 22 = 2*x - 4*w. Let o = 16 - 8. Let q = -6 + o. Is q <= x?
True
Let t(u) = u**2 + 8*u + 5. Let h be t(-7). Let v be (-1 + 5)*8/(-16). Are v and h equal?
True
Let n = 60 + -46. Are n and 4 non-equal?
True
Suppose -k + 2*l + 34 = 87, -5*l + 25 = 0. Do k and -42 have the same value?
False
Let a = -1054/5 - -212. Let v(w) = -w**3 + 5*w**2 - 2*w + 48. Let l be v(6). Which is smaller: l or a?
l
Let v = -105 - -841/8. Is 7 smaller than v?
False
Let p = 0.1 - -0.2. Let n = 19 + -18.12. Let r = n + 0.12. Which is bigger: p or r?
r
Let f(j) = j - 4. Let t be f(-5). Let a = 25 + -22. Let p be ((-24)/t - a)*-2. Which is bigger: p or 2?
2
Let j = 7 - 7.4. Let d = -0.3 - j. Is 0 >= d?
False
Let l = 4 - 4. Suppose 3*k + 0*k - 2*r + 13 = 0, -4*k + 2*r - 18 = l. Let n be -1 + (-8)/k + -1. Is n less than 0?
True
Let d be 9/10 - ((-18)/(-4) - 4). Which is greater: -3/5 or d?
d
Let b(k) = k**3 - 3*k**2 - k + 1. Let a be b(3). Let c(o) = o - 4. Let y be c(3). Is y greater than or equal to a?
True
Let n be 3 + (116/(-1) - 4). Let c be 12/(-8)*(-12)/n. Is c at most as big as -1?
False
Let o = 20.938 + 0.062. Which is smaller: o or 0.1?
0.1
Let n be -6*1 - 1 - 1. Let w be -2 + 1/(n/(-14)). Let o(p) = p**2 - 4*p - 3. Let a be o(5). Is a at least w?
True
Let w = 0.082 - 0.182. Let i = -0.1 - -0.1. Which is greater: i or w?
i
Suppose 114 - 24 = 5*q. Which is smaller: 1 or q?
1
Let z = 15 + -10. Suppose 18 = z*q + x - 19, -q + 3*x + 1 = 0. Suppose 0 = q*w - 2*w. Is 1 greater than w?
True
Let c = -6 - -4. Let z = c - -1.7. Which is smaller: z or 0.1?
z
Suppose 5*k - 12 = k. Let o be k/(-36)*(-194)/(-182). Let a = 1/84 + o. Is 0 greater than a?
True
Let v = -9 + 11. Suppose -o - 2*k + 16 = v*k, -3*o - 5*k = -27. Suppose 4*j = -16 - o. Which is smaller: j or -4?
j
Let o = 0.15 - -0.85. Is o at most as big as 4?
True
Let a = -77/155 + 3/31. Let x = 6.2 - 7. Let p = x - -1. Is a less than or equal to p?
True
Suppose a - 4*a = -12. Let g(j) = j**2 + 2*j - 3. Let c be g(2). Suppose c = 2*n + 3*t - 5, 2*n + 4*t = 12. Which is smaller: n or a?
n
Suppose -53 = 4*s + 3*h, 2*s = 3*s + h + 14. Which is greater: -19/2 or s?
-19/2
Let y = -139.23 + 140. Let r = y - 0.27. Which is bigger: r or 2/11?
r
Let i = 6/23 - 88/161. Let p be 4/6 - (-4)/(-6). Is i less than p?
True
Let g(p) = -p**2 + 3*p - 3. Let h be g(2). Is h not equal to -1/9?
True
Let q(g) = 2*g**2 - 2. Let u be q(2). Let r be (-2)/u - 4/6. Let f(b) = 2*b**2 - 2*b + 1. Let z be f(1). Which is smaller: z or r?
r
Let i = -3.5 + 3.6. Is i at most as big as -1.7?
False
Let h be (-2)/(-20)*15/(-6). Which is smaller: 0.03 or h?
h
Let d(t) = -7*t + 3. Let j(v) = -8*v + 2. Let r(n) = -7*d(n) + 6*j(n). Let p be r(8). Is -1/3 at most as big as p?
False
Let d be (-5 - 4)*1/(-3). Suppose 4*x = -d*c + 7 - 23, -20 = -c + 5*x. Let k = 43/3 - 14. Is k not equal to c?
True
Let y = -14 + 15. Is y >= -4?
True
Suppose 0*t = 5*t. Suppose 2*b - 5*u = -0*u, -2*b - 2*u = 0. Let m be 0 + b + 3/(-9). Are m and t equal?
False
Suppose 0 = -5*w + 25, 0 = -b - 5*w - 5 + 55. Is b bigger than 26?
False
Suppose -3*a - 4*f = -0*a + 20, 4*a = f - 14. Suppose -2*l = -5*n + l - 9, 3*l = -n - 9. Which is smaller: a or n?
a
Let s = 26 + -16. Let k = 1.3 - -6.7. Let g = k - s. Are -1/2 and g unequal?
True
Let o = 191 + -571/3. Let g = 0.7 + -0.64. Does o = g?
False
Suppose 3*n = -z + 5 - 23, -35 = 5*z + 4*n. Let r(q) = -q - 2. Let g be r(-5). Suppose 7*f - g*f = -12. Does f = z?
True
Let y = 8 + -13. Let q = -2 - y. Let u = 3.1 - q. Which is smaller: u or -1?
-1
Let t be 3/(-9) - (-2)/4. Let g = 73 - 73. Is g not equal to t?
True
Let y = -15.1 + 15. Is 1 at least as big as y?
True
Let g be -1*((-1)/1 + -5). Let j(d) be the first derivative of d**3/3 - 3*d + 2. Let p be j(-3). Is g at most as big as p?
True
Let q(b) = 2 + 5*b**2 - 2*b**2 - 4*b**2 + 6*b. Let m be q(-9). Let k = m - -663/5. Is 1 equal to k?
False
Let f(q) = q**2 - 18*q - 20. Let y be f(19). Which is smaller: y or 5/12?
y
Let n = 6 + -2. Suppose -6*q = -y - 2*q - 8, n*y = 2*q - 4. Is y greater than or equal to 2/7?
False
Let s be (8/6)/(-4) - (-2)/(-3). Which is greater: -6/11 or s?
-6/11
Let u be 0 + -1 - -1 - 0. Suppose 18 = -u*x + 3*x. Suppose 6*l - 5*l = -4*j - x, 2*j = 4*l - 12. Which is smaller: 0 or j?
j
Let q = -23.2 + 19. Let u = q + 4. Let j be 30/8 + -2 + -2. Which is greater: j or u?
u
Let z = 12397/3 - 4085. Let d = z - 47. Is -1 bigger than d?
False
Let y = -8 - -12. Suppose 0 = -2*m - 0*o + 4*o - 14, 4*o + 4 = -y*m. Let v be m + -2*(-2 + 1). Which is smaller: v or 2/7?
v
Let q(p) = p**2 - 14*p + 1. Let y(f) = 13*f**3 + f**2 - f + 1. Let w be y(1). Let a be q(w). Is 8/7 at least as big as a?
True
Let w be (1 - -4)*(-81)/(-45). Suppose -2*m = -6*m + 5*t + 15, 3*t = -5*m - w. Are 1 and m nonequal?
True
Let g(o) = o**2 + 5*o + 1. Let y be g(-3). Let s be (6 + -1)*2/y. Let n be (-6)/4*6/15. Do n and s have the same value?
False
Suppose -2*v - 10 = -7*v. Which is smaller: 0.3 or v?
0.3
Let q(o) = -o - 5. Let b be q(-5). Suppose b = 2*l - 6 - 6. Is 6 smaller than l?
False
Suppose 2*s + 4*z = 26, -2*z - 5 = -15. Let w be (10/(s + -1))/1. Suppose 0 = w*n + 2*o + 7, 2*n = -n + o - 13. Is -4 less than or equal to n?
True
Let y = -0.16 + 0.26. Is y > -0.2?
True
Let g = 101 + -106. Is g > -7?
True
Let l = 746771/3927 - 3238/17. Let o = l - 2/77. Is 2/7 < o?
False
Suppose 4*q = -3*v - 1, 4 - 8 = -5*v - q. Which is bigger: 0 or v?
v
Let s = -1321/45 + 139/5. Which is bigger: -3 or s?
s
Let y = -31 - -22. Let x be ((-2)/(-3))/(6/y). Is x less than 1?
True
Suppose 40 = 27*t - 35*t. Is t less than 2?
True
Let i be (-2)/5 - (-18)/(-580)*-14. Which is bigger: i or 0?
i
Suppose 7 = 2*i - j, 0*i + 4*j - 38 = -3*i. Let y = i - 0. Which is smaller: y or 5?
5
Suppose 3*z - z - 16 = 0. Let a = -4 + z. Let l be (3/(-4))/(a/(-16)). Which is bigger: 2 or l?
l
Let c(g) = -5*g - 26. Let p be c(-6). Let m be (3*1)/(3 + -2). Suppose -m*q + 8 = -q. Are p and q unequal?
False
Let c = 2 + -1. Let i be (-1)/30*(-20)/8. Which is smaller: i or c?
i
Let s(a) = -a**2 + 9*a - 1. Let b = 35 - 26. Let v be s(b). Let z = 9/32 - 53/416. Which is smaller: z or v?
v
Let a = -0.02 + -0.12. Let d = a + 0.24. Which is smaller: d or -0.01?
-0.01
Let c be (-297)/(-1134) + (22/(-12) - -2). Which is greater: c or 5?
5
Let c = 1.9 - 1. Are c and -1/3 nonequal?
True
Let m be 9/(-75)*-5 - 6/10. Is -3/10 less than m?
True
Let v = 16 - 14. Let i = v - -2. Is 1/3 not equal to i?
True
Let q be 2/(-6) - 2/(-6). Let w = -5999 - -29868/5. Let r = w + 25. Which is bigger: q or r?
q
Suppose 4*w = 2*b, -4*b = -w + 3 + 4. Let t = -39 - -39. Which is smaller: t or b?
b
Suppose -t + 2*l + 0 = -4, -t = -l - 3. Suppose -t*m + 4*k = 4, -2*k + 18 = 3*m - 0*k. Let j be (24/(-9))/(m/(-6)). Is 1 bigger than j?
False
Let o(s) = -s**2 + 10*s + 33. Let q be o(13). Let x(f) = -f**2 + 4*f - 6. Let w be x(4). Is q at most as big as w?
True
Let o = -65002541/450 - -144450. Let t = o + 1/90. Which is bigger: t or -1?
t
Suppose 5*j = 5*c - 8 - 2, -5*j - 40 = 5*c. Let g = 0.08 + 0.92. Let z = g + -2. Which is greater: c or z?
z
Let i = 22 + -12. Suppose -2*f + i = -f. Suppose -2*p = -c - 10, 0*c + 3*p - f = -c. Do c and -2 have the same value?
True
Let f(b) = 3*b**2 - b + 1. Let c be f(1). Suppose 0 = 2*j + c*j. Let u be 1/6 + 0/(-2). Which is smaller: j or u?
j
Let o(c) = -2*c**3 + 5*c**2 + c + 4. Let f(k) = -5*k**3 + 11*k**2 + 3*k + 8. Let m(b) = 3*f(b) - 7*o(b). Let g be m(-3). Are g and 1 equal?
False
Let n be (-6)/21*(3/(-1) + 2). Suppose 0 = -s + 5*s + 20. Is s greater than n?
False
Let p = -18 - -17.7. Which is smaller: p or -0.1?
p
Let d be 5*2/(4/2). Let x be -4 + d - (1 + -1). Is x at most -1?
False
Let d be 5/15 - (-11)/(-24). Let l = 2 + -1. Let f = 1 - l. Is d less than f?
True
Suppose -5*a + 5 = -10. Let w be (9/12 - 3)*4. Let h be (-12)/w*a/(-34). Which is bigger: -1 or h?
h
Let l(y) = -2*y - 2. Let x be l(-6). Let p = x + -5. Suppose -2*b = 5*k - 27, 3*k = 2*k + p. Is 2 at most as big as b?
False
Let i be (2 + (-19808)/(-30))/(-2). Let g = 331 + i. Is -1 bigger th